⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Magic LEDs
revk.uk·1d·
Discuss: www.revk.uk
⚡Homebrew CPUs
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Linux SBCs for development + RE
zetier.com·1d
🎯Emulator Accuracy
JVM stack is about to be massively modernized
medium.com·11h·
Discuss: Hacker News
🔗Dependency Resolution
Patina project – a Rust implementation of UEFI firmware
github.com·22h·
Discuss: Hacker News
🦀Embedded Rust
Planning Out My First Home Server/Camera System
i.redd.it·1h·
Discuss: r/homelab
🏠HomeLab
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·6h·
Discuss: Hacker News
⚡Proof Automation
SSH Security: Why You Should Touch to Verify
ubicloud.com·21h·
Discuss: Hacker News
🔒Hardware Attestation
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Intel takes the wraps off Panther Lake — first 18A client processor brings the best of Lunar Lake and Arrow Lake together in one package
tomshardware.com·1d·
Discuss: Hacker News
⚡Nordic Processors
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·4d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·21h·
Discuss: Hacker News
⚙️Proof Engineering
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
English - the hottest programming language of the future
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·9h·
Discuss: DEV
🔍Concolic Testing