Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·21h
🐪OCaml
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·9h·
Discuss: r/rust
🦀Rust Macros
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
New C++ Conference Videos Released This Month - September 2025
reddit.com·1d·
Discuss: r/cpp
🎓Teaching Compilers
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
🌱Minimal Lisps
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·17h
🔧Scheme Macros
Why I Still Reach for C for Certain Projects
dev.to·4h·
Discuss: DEV
🪄C Metaprogramming
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·12h
🗺️Region Inference
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·17h
🧪Testing Compilers
Java 25 LTS and IntelliJ IDEA
blog.jetbrains.com·10h
📚Self-Documenting Code
[$] Comparing Rust to Carbon
lwn.net·5h
⚙️TOML Parsers
How to Debug Chez Scheme Programs (2002)
scheme.com·23h·
Discuss: Hacker News
💬Error Message Design
The pirate-based logic of Rust shared references
ais523.me.uk·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Here’s how far I’ve come after 7 days of grinding on system design.
github.com·7h·
Discuss: DEV
🧱First Principles
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
How I’m Learning to Code in the AI Age (2025-2026 Edition)
dev.to·13h·
Discuss: DEV
🎓Teaching Compilers
Model Viewer in C
reddit.com·2h·
Discuss: r/C_Programming
🔮Type Inference Visualization
PHP: A fractal of bad design (2012)
eev.ee·7h·
Discuss: Hacker News
🔄Bootstrapping
Status Week 37
blogs.gnome.org·1d
⚙️TOML Parsers
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·1d·
Discuss: Hacker News
🏗️Cranelift