🔬 PLT

Programming Language Theory, Language tooling

Project Follow Through
nifdi.org·1d·
Discuss: Hacker News
🗳️Élections
The Simple Brilliance of the Illudium PU-36 Explosive Space Modulator
flamingmonocle.com·2h·
Discuss: Hacker News
⌨️Keyboards
The Day MOOCs Died: Coursera's Preview Mode Kills Free Learning
classcentral.com·1d·
Discuss: Hacker News
🔓Open Source
Train Board Generator
jochembruijninckx.nl·1d·
Discuss: Hacker News
🔍Type Systems
Control over My Airconditioning/Heatpump
firesphere.dev·20h·
Discuss: Hacker News
⚙WebAssembly
Exclusive: retraction-prone editors identified at megajournal <i>PLoS ONE</i>
nature.com·4h·
Discuss: Hacker News
🔓Open Source
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·2d·
Discuss: Hacker News
🔤Text Algorithms
Show HN: HydraFlow – Type-safe ML experiment tracking with Hydra and MLflow
github.com·3d·
Discuss: Hacker News
💻Programming
The Parallel Lives of an AI Engineer
worksonmymachine.ai·2d·
Discuss: Hacker News
🧰Developer Ergonomics
Clojure Civitas – Open effort for learning resources with meaningful connections
github.com·2d·
Discuss: Hacker News
⚙️Language Implementation
Drawafish.com Postmortem: Whoops
aldenhallak.com·12h·
Discuss: Hacker News, r/programming
🔓Open Source
Large Language Models
davidtemplin.name·6d·
Discuss: Hacker News
🔤Text Algorithms
My current guess at AI automation effect on jobs
sortega.substack.com·1h·
Discuss: Substack
🚀JIT Compilation
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·4d·
Discuss: Hacker News
⚙️Language Implementation
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·3d·
Discuss: Hacker News, r/cpp
🏗️Compiler Design
Mun Programming Language
mun-lang.org·3d·
Discuss: Hacker News
⚙️Language Implementation
Debugging AMD-Specific Issues with Driver Experiments Tool
asawicki.info·14h·
Discuss: Hacker News
⚡Systems Performance
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·2d·
Discuss: Hacker News
🔍Type Systems
Speak, Don't Type
typeless.com·2d·
Discuss: Hacker News
🔤Text Algorithms
Amp Code Deep Dive
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
🧰Developer Ergonomics