How Much Should You Tell Your AI Agent?
raymondyxu.com·19h·
Discuss: Hacker News
💬Interactive REPLs
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
Discuss: r/programming, r/rust
🪄C Metaprogramming
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
The 'Magic' of LLMs: The Function of Language
lesswrong.com·1d
🔍ML Language
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔗Concatenative Theory
Type Theory and Functional Programming (1999) [pdf]
dev.to·5d·
Discuss: DEV
🎯Type Theory
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🎭Racket Modules
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·3h·
Discuss: Hacker News
🧮Theorem Provers
Souvenir
deprogrammaticaipsum.com·10h
🔗Weak References
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·2h·
Discuss: Hacker News
🪄Macros
Simple hash map in C, for learning purpose
reddit.com·1h·
Discuss: r/C_Programming
🏷️Symbol Interning
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
mariozechner.at·1d
🎮Language Ergonomics
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
µs Human-Readable IDs: A Performance Journey
dev.to·8m·
Discuss: DEV
📋JSON Parsing
Analyzing Latent Concepts in Code Language Models
arxiv.org·4d
🌱Minimal ML
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·9h
✅Type Checking
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·6h·
Discuss: Hacker News
⚡Cache Optimization
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·1d·
Discuss: Substack
🪜Recursive Descent
valuetier.org (and some thoughts on LLMs)
ericphanson.com·19h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code