⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

LSM trees in postgres
notes.billmill.org·8h
🌲B-tree Variants
Back 2 Basics - NMOS Switch
mikecoats.com·1d
🔌Microcontrollers
Genesis CCA: Special Effects and Final Polish
bumbershootsoft.wordpress.com·2d
📼Retro Games
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·1d·
Discuss: Hacker News, r/programming
🐚Shell Calculus
mchav/dataframe
github.com·23h
🧠Lisp Dialects
Just Like a Human
blog.raymond.burkholder.net·8h
🖥️Terminal Renaissance
Complete Beginner's Guide to GenAI Development: From Python to Production-Ready AI Agents
dev.to·1d·
Discuss: DEV
🌳Context free grammars
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·13h·
Discuss: Hacker News
📦Container Security
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
How I keep up with AI research
thijsverreck.com·9h·
Discuss: Hacker News
🧭Content Discovery
The Argument Against Quantum Computers (2018)
quantamagazine.org·8h·
Discuss: Hacker News
⚛️Quantum Circuits
My first homelab: specs, project ideas and what I did so far
preview.redd.it·11h·
Discuss: r/homelab
🏠HomeLab
SCOPE for Hexapod Gait Generation
arxiv.org·20h
🌀Differential Geometry
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com·2d·
Discuss: Hacker News
🔒Secure Boot
Forcing Myself to Vibe Code
kevinhighwater.com·7h·
Discuss: Hacker News
⚔️Lean Tactics
Pico-ITX SBC features Intel Processor N150 or Core 3 N355 Twin Lake CPU, DDR5 SO-DIMM memory slot
cnx-software.com·14h
🔌Operating system internals
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·1d·
Discuss: Hacker News
🔍RISC-V Debug