🛠 Language Design

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

QUIC! Jump to User Space!
hackaday.com·1d
🌐Network Protocols
My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.com·9h
🦀Rust Macros
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·1d·
Discuss: Hacker News
📟Terminal Typography
What's new in Python 3.14
docs.python.org·3d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Generalized Orders of Magnitude (GOOMs)
github.com·2h·
Discuss: Hacker News
🕸️Tensor Networks
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
The Trillion Dollar AI Software Development Stack
a16z.com·20h·
Discuss: Hacker News
⚡Proof Automation
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·11h·
Discuss: DEV
🛡️Error Boundaries
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🔗Lisp
Stop Worrying and Love the Bomb
bitbytebit.substack.com·3h·
Discuss: Substack
⚙️Build Archaeology
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·2d
🔗Monadic Parsing
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·3d
📝Concrete Syntax
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·1d
💻Local LLMs