⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

CVE-2025-20281: Cisco ISE API Unauthenticated Remote Code Execution Vulnerability
thezdi.com·3d
🧪CBOR Fuzzing
The U.S. Central Intelligence Agency's (CIA) remote viewing experiments
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
📈Entropy Estimation
Ask HN: Building an Overengineered Chicken Coop with Hybrid Energy Harvesting
news.ycombinator.com·18h·
Discuss: Hacker News
🏠Home Automation
How Spotify Saved $18M With Smart Compression (And Why Most Teams Get It Wrong)
systemdr.substack.com·1d·
Discuss: Substack, r/programming
🌊Streaming Compression
The Terminator Delusion
ryanglover.net·2h·
Discuss: Hacker News
🔲Cellular Automata
When Software Engineers Think They Need More Focus Time
jola.dev·21m·
Discuss: Hacker News
⚔️Lean Tactics
Requesting Funding for 90s.dev
90s.dev·4h·
Discuss: Hacker News, r/webdev
🔓Open Source Software
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·3d·
Discuss: Hacker News, r/programming
🤖Lisp Machines
I've created a lightweight tool called "venv-stack" to make it easier to deal with PEP 668 on Linux
reddit.com·4h·
Discuss: r/linux
📦Package Managers
Building a Modern and Frugal Kubernetes Network with Cilium ClusterMesh
medium.com·10h·
Discuss: Hacker News
🏠Homelab Federation
Intel oneDNN 3.9 Making More Preparations For Xe3, Nova Lake & Diamond Rapids
phoronix.com·2d·
Discuss: r/linux
🎯Emulator Accuracy
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.com·3d·
Discuss: r/kubernetes
🌐Protocol Synthesis
i3 versus a suckless window manager?
underlap.org·21h
🕸️WASM Archives
Underwater Waste Detection Using Deep Learning A Performance Comparison of YOLOv7 to 10 and Faster RCNN
arxiv.org·15h
🧠Machine Learning
Weekly Tech Discoveries Part - 03
dev.to·19h·
Discuss: DEV
👁️Observatory Systems
📈 Developer happiness improvement after switching to AI assi
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Raising Exceptions with Custom Messages in Python
dev.to·1h·
Discuss: DEV
🌳Incremental Parsing
Axiomatizing Rumsfeld Ignorance
arxiv.org·3d
🔲Proof Irrelevance
Weak-to-Strong Generalization with Failure Trajectories: A Tree-based Approach to Elicit Optimal Policy in Strong Models
arxiv.org·15h
🧮Kolmogorov Bounds
Show HN: I built a Privacy First local AI RAG GUI for your own documents
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🤖Archive Automation