🔬 Nanopasses

Tiny Compilers, Educational Frameworks, Incremental Transformation, Scheme

Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
More hardware won’t fix bad engineering
infoworld.com·12h
🔮Branch Predictors
Cap'n Proto - structured data serialziation format
capnproto.org·3h
📦Message Serialization
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🧮Theorem Provers
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
EmbeddingGemma AI for Mobile Devices : Say Goodbye to Cloud Dependence
geeky-gadgets.com·4h
🤖Embedded Go
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·16h·
Discuss: Hacker News
🛡️Error Ergonomics
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·17h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·5h·
Discuss: Hacker News
🎮Language Ergonomics
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·3h·
Discuss: Hacker News
🔗Lexical Scoping
Show HN: Semlib – Semantic Data Processing
github.com·7h·
Discuss: Hacker News
🔍ML Language
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·58m·
Discuss: Hacker News
🏗️Cranelift
Writing an operating system kernel from scratch
popovicu.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/Zig, r/programming
🖥️Minimal VMs
You can't test if quantum uses complex numbers
algassert.com·9h·
Discuss: Hacker News
⚡Control Synthesis
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·9h
🔧Error Recovery
Ian Bos
hackaday.com·10h
🐹Minimal Go
[CS 2881r AI Safety] [Week 1] Introduction
lesswrong.com·1d
🏰Capability Machines
Meet Embedible: Your AI Hardware Copilot Microcontrollers
embedible.io·1d·
Discuss: DEV, Hacker News
🤖Embedded Go
The kids are going to be alright
joshuawold.com·8h
🏠indieweb
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory