⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Design of Energy Storage System In Power Grid OT Cyber Range
pixelstech.net·8h
🤖Network Automation
Michael Kohn - tin can phone modem
mikekohn.net·1d
🧪Cassette Hacks
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·9h
🖥️Modern Terminals
Sentient Config is a Code Smell
assertnotmagic.com·16h
🔄Language Evolution
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.io·2h·
Discuss: Hacker News
🧪CBOR Fuzzing
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·12h·
Discuss: Hacker News
🎯Proof Tactics
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
Beating the L1 cache with value speculation (2021)
mazzo.li·5d·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture
Intel Fab 52 in Chandler Arizona is Running 18A
servethehome.com·2d·
Discuss: Hacker News
🧲RISC-V Preservation
Generalized Orders of Magnitude (GOOMs)
github.com·7h·
Discuss: Hacker News
🕸️Tensor Networks
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·4d·
Discuss: Substack
🔩Systems Programming
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
10 Data + AI Observations for Fall 2025
towardsdatascience.com·1d
🌊Stream Processing
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·1d
✨Effect Handlers
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·1h·
Discuss: DEV
⚡Z3 Optimization