⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Thoughts during GUADEC 2025
samthursfield.wordpress.com·2d
🐧FOSS
Claude Finds Contradictions in My Thinking
angadh.com·1h·
Discuss: Hacker News
🧲Magnetic Philosophy
Libfive: Solid modeling (CAD) library/tools with Scheme/Python bindings and GUI
libfive.com·21h·
Discuss: Hacker News
🔓Open Source Software
AI Boom Sparks Fight Over Soaring Power Costs
hardware.slashdot.org·1h
🖥️Self-hosted Infrastructure
Save the date: Itanium will die at the end of 2025 (2019)
techrepublic.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
Google Gemini security flaw could have let anyone access systems or run code
techradar.com·27m
🚀Indie Hacking
Jibril Runtime Security v2.4: Programmable Reactions to OS Security Events
jibril.garnet.ai·3d·
Discuss: Hacker News
🛡️eBPF Security
So, you're inspecting strings on the hot path
clipperhouse.com·9h·
Discuss: Hacker News
🌳Trie Structures
[$] Smaller Fedora quality team proposes cuts
lwn.net·23h
❄️Nix Flakes
Privacy-First Research with OpenSAFELY • Eli Holderness & Hannes Lowette
youtube.com·3h
🔒Privacy Preserving
Modern infrastructure without Bitnami charts
reddit.com·5h·
Discuss: r/kubernetes
🖥️Modern Terminals
ShrinkBox: Backdoor Attack on Object Detection to Disrupt Collision Avoidance in Machine Learning-based Advanced Driver Assistance Systems
arxiv.org·1d
🕵️Vector Smuggling
I think I just spent like 3x as much time figuring out to handle errors properly instead of coding real functionality.
reddit.com·1d·
Discuss: r/rust
🌳Incremental Parsing
Systematic AI Development: A Demo Project Breakdown
dev.to·3d·
Discuss: DEV
⚡Proof Automation
📈 Code quality improvement after switching to workflow optim
dev.to·2d·
Discuss: DEV
⚙️Batch Processing
Smooth Reading: Bridging the Gap of Recurrent LLM to Self-Attention LLM on Long-Context Tasks
arxiv.org·1d
💻Local LLMs
Geometric Operator Learning with Optimal Transport
arxiv.org·11h
🌀Riemannian Computing
Convergent Weight and Activation Dynamics in Memristor Neural Networks
arxiv.org·11h
🔲Cellular Automata
Learning to See Inside Opaque Liquid Containers using Speckle Vibrometry
arxiv.org·11h
📊Spectrograms
Stop Copy-Pasting From ChatGPT; Build Smarter, Faster With This
dev.to·9h·
Discuss: DEV
🏗️Compiler Archaeology