🔬 PLT

Programming Language Theory, Language tooling

The Responsibility of Engineers in the Age of AI
julien.ch·1h·
Discuss: Hacker News
🧰Developer Ergonomics
Fintech Dystopia: Finance and Applied Statistics
fintechdystopia.com·1d·
Discuss: Hacker News
🔓Open Source
Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·1d·
Discuss: Hacker News
💿OS
Coding agents provide fast data visualization tools
mnky9800n.substack.com·3d·
Discuss: Substack
🧰Developer Ergonomics
A First-Timer's Guide to Curating a Technical Conference Track – InfoQ
infoq.com·12h·
Discuss: Hacker News
🔓Open Source
Jackdaw, a keyboard-focused Digital Audio Workstation
github.com·22h·
Discuss: Hacker News
💿OS
Why Observability Isn’t Just for SREs (and How Devs Can Get Started)
signoz.io·12h·
Discuss: Hacker News, r/programming
⚡Systems Performance
A Sea of Nodes IR Tutorial
github.com·1d·
Discuss: Hacker News
🏗️Compiler Design
Anukari has macros, and a preset API
anukari.com·1d·
Discuss: Hacker News
⌨️Keyboards
Incremental Font Transfer Moves to Candidate Recommendation
w3.org·2d·
Discuss: Hacker News
🔤Text Algorithms
Building Software for Medical Clinics in Ethiopia
alexcwatt.com·3h·
Discuss: Hacker News
⚙️Language Implementation
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2d·
Discuss: Hacker News
🏗️Compiler Design
AI at IMO 2025: a round-up
xenaproject.wordpress.com·1d·
Discuss: Hacker News
🔍Type Systems
Applications That Work with Motif/Lesstif (2005)
lesstif.sourceforge.net·1d·
Discuss: Hacker News
💿OS
Building AI flag cleanup
bucket.co·3d·
Discuss: Hacker News, r/programming
🚀JIT Compilation
Apache Hamilton (incubating): a Python library for DAGs of data transformations
github.com·14h·
Discuss: Hacker News
⚙️Language Implementation
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·2d·
Discuss: Hacker News, Hacker News
💻Programming
The hidden engineering behind foundation model building
poolside.ai·1d·
Discuss: Hacker News
🔍Type Systems
AI Thinking, Fast and Slow
danmu.nz·1d·
Discuss: Hacker News
🔍Type Systems
Addressing Source Code Leaks Across the Ecosystem – A Retrospective
green.sapphi.red·11h·
Discuss: Hacker News
⚙WebAssembly