⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

AI Safety Course Intro Blog
windowsontheory.org·8h
🔲Cellular Automata
The case of the invalid instruction exception on an instruction that should never have executed
devblogs.microsoft.com·2d
🧪Hardware Fuzzing
Google DeepMind Formal Conjectures
google-deepmind.github.io·16h·
Discuss: Hacker News
🕸️Algebraic Topology
Fmtlib / fmt A modern formatting library
github.com·15h·
Discuss: Hacker News
🦀Rust Macros
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com·1d·
Discuss: Hacker News
🔒Secure Boot
Responsible AI in Enterprise Applications: A Practitioner's View
jjude.com·20h·
Discuss: Lobsters, Hacker News
🔐Capability Systems
Canadian Cross
en.wikipedia.org·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com·15h·
Discuss: Substack
🌀Brotli Internals
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·14h·
Discuss: Hacker News
🎫Kerberos Exploitation
The borrowchecker is what I like the least about Rust
viralinstruction.com·1d
🦀Rust Borrowing
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·3d
🛡️Proof-Carrying Archives
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.net·10h·
Discuss: Hacker News
🔌Interface Evolution
SCOPE for Hexapod Gait Generation
arxiv.org·7h
🌀Differential Geometry
Pico-ITX SBC features Intel Processor N150 or Core 3 N355 Twin Lake CPU, DDR5 SO-DIMM memory slot
cnx-software.com·31m
🔌Operating system internals
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·2d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nix Flakes
[R] SherlockBench benchmark and paper
reddit.com·1d·
Discuss: r/MachineLearning
🌊Streaming Algorithms
Don't Trust Machines
campbellramble.ai·14h·
Discuss: Hacker News
🔲Cellular Automata
This Should Not Be Possible
ghuntley.com·2d·
Discuss: Hacker News
🛡️eBPF Security
Welcome to Teratai888: A New Journey Begins
hackster.io·1d
🖥️Terminal Renaissance
LLMs Are Still in Their Infancy, or Why Programmers Aren't Being Replaced
amatriz.net·22h·
Discuss: Hacker News
💻Local LLMs