⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Magic LEDs
revk.uk·1d·
Discuss: www.revk.uk
⚡Homebrew CPUs
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.com·1d
🔌Single Board PC
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·15h
🌊Stream Processing
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·1h
🖥️Modern Terminals
Intel Fab 52 in Chandler Arizona is Running 18A
servethehome.com·2d·
Discuss: Hacker News
🧲RISC-V Preservation
Intel signals strong comeback with next-gen Core Ultra 3 and Xeon 6+ chips
techspot.com·2d
🖥️Terminal Renaissance
A Year of Gentoo
arch.dog·1d·
Discuss: Lobsters, Hacker News
❄Nix
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·5d·
Discuss: r/programming
⚡Cache Coherence
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·14h·
Discuss: Hacker News
🎧Learned Audio
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·1d
🔓Hacking
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·1d·
Discuss: r/programming
🧠Lisp Dialects
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
MIE: New memory protection only in iPhone 17 & Co.
heise.de·2d
🏷️Memory Tagging
Beating the L1 cache with value speculation (2021)
mazzo.li·4d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·2d·
Discuss: Hacker News
🛡️eBPF Security
Neuro-Symbolic AI
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Cellular Automata
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism