🛠 Language Design

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

Rethinking Distributed Computing for the AI Era
cacm.acm.org·19h
⚡Incremental Computation
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·3d
💾Binary Linguistics
Helix Editor Release 25.07 Highlights
helix-editor.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Programming Languages: Application and Interpretation
plai.org·3d·
Discuss: Hacker News
📝Concrete Syntax
Explaining information architecture to a 6-year-old and an 82-year-old
littlelanguagemodels.com·21h·
Discuss: Hacker News
🗂️Information Architecture
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
The C3 Programming Language
c3-lang.org·1d·
Discuss: Hacker News
💧Liquid Types
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·1h·
Discuss: Hacker News
🤝Distributed Consensus
Effective Practices for Coding with a Chat-Based AI
infoq.com·15h·
Discuss: Hacker News
🔄Language Evolution
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·9h·
Discuss: DEV
🔄Language Evolution
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·17h·
Discuss: Hacker News
💻Programming languages
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·2d
🔢Denotational Semantics
Deep Generative Methods and Tire Architecture Design
arxiv.org·10h
🌀Riemannian Computing
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·2d
✨Effect Handlers
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The Best C++ Library
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·1d
🎙️Whisper