🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔧 Hardware Verification

Formal Methods, Circuit Correctness, Model Checking, Silicon Validation

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·17h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.com·2d
🧲RISC-V Archaeology
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Checking data integrity
eclecticlight.co·11h
✅Checksum Validation
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·4h
📡Bluetooth Archaeology
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·5h
🔧RISC-V Assembler
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·3h
💾Persistence Strategies
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·1d
🖥️Terminal Renaissance
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
Asymmetry of Verification and Verifier's Law
jasonwei.net·16h·
Discuss: Hacker News
🔮Proof Search
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Inside The Box: Everything I Did with an Arduino Starter Kit
lopespm.com·1d·
Discuss: Hacker News
🔌Single Board PC
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Evaluating and lowering AI hallucination cost
johndcook.com·4h
⚡Incremental Computation
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·2h·
Discuss: Hacker News
⚡Performance Mythology
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·4h·
Discuss: DEV
📝Concrete Syntax
Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·5h
🔍eBPF
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·20h·
Discuss: Hacker News
🎯Interactive Provers
Loading...Loading more...
AboutBlogChangelogRoadmap