Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔗Concatenative Theory
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🎭Racket Modules
Souvenir
deprogrammaticaipsum.com·4h
🔗Weak References
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
mariozechner.at·1d
🎮Language Ergonomics
Analyzing Latent Concepts in Code Language Models
arxiv.org·4d
🌱Minimal ML
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·3h
✅Type Checking
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·21h·
Discuss: Substack
🪜Recursive Descent
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·1h·
Discuss: Hacker News
⚡Cache Optimization
Functional Threading “Macros”
aartaka.me·1d
🪄Syntax Macros
valuetier.org (and some thoughts on LLMs)
ericphanson.com·13h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·3h
🚀Tokenizer Performance
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.org·3h
🪞Homoiconicity
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
Multi Client TCP Chat with Tkinter
dev.to·1d·
Discuss: DEV
🌍Minimal HTTP
My personal expectations of the GLM finetune
preview.redd.it·12h·
Discuss: r/NovelAi
🏷️Attribute Grammars
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·18h·
Discuss: DEV
🧮Theorem Provers
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·3h
🔍ML Language
Why did the über-protocols fail? A history of OOP RPC
medium.com·13h·
Discuss: Hacker News
📡Network Serialization