Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
Announcing coreboot 25.09 release
blogs.coreboot.org·2h
🔌Operating system internals
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·16h
💎Information Crystallography
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·23h·
Discuss: DEV
🧩RISC-V
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·8h·
Discuss: Hacker News
🛡️RISC-V Security
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·22h
⛪Church Encoding
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·6h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·7h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·3h·
Discuss: Hacker News
⬌Bidirectional Typing
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🦀Rust Verification
[Help] ProArt X670E-Creator - IOMMU groups for dual passthrough? (pre-purchase)
reddit.com·14h·
Discuss: r/homelab
🖥Home Lab Setup
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
Cactus Language • Semantics 3
inquiryintoinquiry.com·10h
🔢Denotational Semantics
MIE: New memory protection only in iPhone 17 & Co.
heise.de·1d
🏷️Memory Tagging
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·1d·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·2d
🔍eBPF
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·5h·
Discuss: Hacker News
🔐RISC-V Cryptography