Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·10h
🔗Parser Combinators
Flag this post
Modern perfect hashing
blog.sesse.net·17h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Flag this post
Show HN: I built an 8-bit CPU simulator in Python from scratch
github.com·54m·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Securing the skies with YubiKeys: Insights on cyber resilience in the aviation industry and beyond
yubico.com·7h
🔓Hacking
Flag this post
In-DRAM True Random Number Generation Using Simultaneous Multiple-Row Activation: An Experimental Study of Real DRAM Chips
arxiv.org·10h
⚡Homebrew CPUs
Flag this post
Announcing the 2025 Hackaday Superconference Communicator Badge
hackaday.com·21h
⚡Circuit Archaeology
Flag this post
Why SSA?
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🚀Compiler Optimizations
Flag this post
The Hallelujah Algorithm
dev.to·4h·
Discuss: DEV
🎨Graph Coloring
Flag this post
Pipe Logic
linusakesson.net·9h·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Crafting Software: Writing Maintainable Code
wedgworth.dev·1d·
Discuss: Hacker News, r/programming
📏Code Metrics
Flag this post
AI and Intro Theory
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org
🎯Performance Proofs
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.com·6h·
Discuss: Hacker News
🧬Functional Programming
Flag this post
[$] Safer speculation-free user-space access
lwn.net·23h
🖥️Terminal Renaissance
Flag this post
The long slow death of UML
wolandscat.net·2d·
Discuss: Hacker News
🧩WASM Modules
Flag this post
Barbarians at the Gate: How AI is Upending Systems Research
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🎯Performance Proofs
Flag this post
Enhanced GaN/AlN Heterostructure Growth via Bayesian-Optimized MBE Process Control
dev.to·4h·
Discuss: DEV
🔧Hardware Verification
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.net·1d·
Discuss: Lobsters, Hacker News
👑Isabelle
Flag this post
Large Language Models for Fault Localization: An Empirical Study
arxiv.org·10h
🏗️Compiler Archaeology
Flag this post
5 Talks at KubeCon Atlanta I'm Looking Forward To
metalbear.com·2h
🌊Streaming Systems
Flag this post
Calibration of Parallel Kinematic Machine Based on Stewart Platform-A Literature Review
arxiv.org·10h
🔧Cassette Engineering
Flag this post