🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Open Lineage
usenix.org·23h
🔌Interface Evolution
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
A gentle introduction to Generative AI: Historical perspective
medium.com·2h·
Discuss: Hacker News
🧠Learned Codecs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
Clarity
robinsloan.com·1d
🧠Intelligence Compression
Lobsters Interview with Zdsmith
lobste.rs·21h·
Discuss: Lobsters
🔗Concatenative Programming
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·13h·
Discuss: Hacker News
🌐Protocol Synthesis
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·3h
🌊Stream Processing
IASC: Interactive Agentic System for ConLangs
arxiv.org·23h
🌳Context free grammars
"i like making things—" no. you like things.
kivikakk.ee·1d
📏Code Metrics
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
💻Programming languages
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·23h
💻Programming languages
Three ways formally verified code can go wrong in practice
buttondown.com·10h
📜Proof Carrying Code
Refactoring: A way to write better Code
dev.to·1h·
Discuss: DEV
⚙️Operational Semantics
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·1d
🧬Functional Programming
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
In-Depth Analysis: "Attention Is All You Need"
dev.to·12h·
Discuss: DEV
🧠Intelligence Compression
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings