🛠 Language Design

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

Teaching Rust the SQL Language
news.ycombinator.com·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
two-dimensional category
ncatlab.org·1d
🔀Category Theory
Flag this post
a go parser for Claude Skills
reddit.com·7h·
Discuss: r/golang
🌳Incremental Parsing
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·1d
🔤DSLs
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
medium.com·1h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·10h
👑Isabelle
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·46m·
Discuss: Lobsters
🔗Dependently Typed
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·3d·
Discuss: Lobsters, Hacker News
🔤DSLs
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·2d
🔩Systems Programming
Flag this post
Day 36: Python Integer Sequence Generator, Efficiently Concatenate Numbers from 1 to n with Interactive Input
dev.to·22h·
Discuss: DEV
🔗Concatenative Languages
Flag this post
Monday Morning Haskell: Serializing an HTTP Response & Running the Server
mmhaskell.com·6h
🌐Network Protocols
Flag this post
Show HN: KFR 7 – major update for C++ DSP library
github.com·28m·
Discuss: Hacker News
💿FLAC Archaeology
Flag this post
Why Diffusion Models Could Change Developer Workflows in 2026
blog.jetbrains.com·7h·
Discuss: Hacker News
⚡Incremental Computation
Flag this post
Parsl
danmackinlay.name·14h
⚙️PL Implementation
Flag this post
Lang’s theorem — Pt. I: the classical result
ayoucis.wordpress.com·1d
🔀Category Theory
Flag this post
Updated paper: Moduli spaces of semiorthogonal decompositions in families
pbelmans.ncag.info·15h
🧮Algebraic Archives
Flag this post
Weekly Bookmarks
inkdroid.org·1d
💿FLAC Archaeology
Flag this post
Which Class Is Better?
news.ycombinator.com·20h·
Discuss: Hacker News
📄Text Segmentation
Flag this post
WebAssembly Limitations
qouteall.fun·2h·
Discuss: Hacker News
⚙️WASM Runtime
Flag this post
All Your Coworkers Are Probabilistic Too
scatterarrow.com·2h·
Discuss: Hacker News
🔗Topological Sorting
Flag this post