⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

MIE: New memory protection only in iPhone 17 & Co.
heise.de·1d
🏷️Memory Tagging
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·1d·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
A Manifesto for the Programming Desperado
github.com·7h·
Discuss: Hacker News
💻Programming languages
Linux SBCs for development + RE
zetier.com·1d
🎯Emulator Accuracy
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust Macros
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·2h·
Discuss: Hacker News
🔐RISC-V Cryptography
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4d
🔧Hardware Verification
JVM stack is about to be massively modernized
medium.com·5h·
Discuss: Hacker News
🔗Dependency Resolution
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Jankiest rpi router
mloduchowski.com·1d·
Discuss: r/homelab
🔌Single Board PC
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·23h·
Discuss: r/rust
🦀Rust Macros
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting