🔬 PLT

Programming Language Theory, Language tooling

How I Got My First 100 Email Subscribers
joeldare.com·17h·
Discuss: Hacker News
🔤Text Algorithms
Governance in GNOME
bassi.io·16h·
Discuss: Hacker News
🔓Open Source
Control over My Airconditioning/Heatpump
firesphere.dev·8h·
Discuss: Hacker News
⚙WebAssembly
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Show HN: HydraFlow – Type-safe ML experiment tracking with Hydra and MLflow
github.com·2d·
Discuss: Hacker News
💻Programming
AI and Copyright in the UK
technollama.co.uk·17h·
Discuss: Hacker News
🔓Open Source
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·2d·
Discuss: Hacker News
💿OS
Create space-saving clones on macOS with Python
alexwlchan.net·21h·
Discuss: Hacker News
💿OS
Clojure Civitas – Open effort for learning resources with meaningful connections
github.com·2d·
Discuss: Hacker News
⚙️Language Implementation
Large Language Models
davidtemplin.name·5d·
Discuss: Hacker News
🔤Text Algorithms
The AI 'algorithmic audit' could be coming to hotel room checkout
cnbc.com·22h·
Discuss: Hacker News
⚡Systems Performance
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·6d·
Discuss: Substack
🔍Type Systems
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·4d·
Discuss: Hacker News
⚙️Language Implementation
Fermat's Last Theorem in Lean – Imperial College London
github.com·3d·
Discuss: Hacker News
🔓Open Source
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·2d·
Discuss: Hacker News, r/cpp
🏗️Compiler Design
Mun Programming Language
mun-lang.org·2d·
Discuss: Hacker News
⚙️Language Implementation
Debugging AMD-Specific Issues with Driver Experiments Tool
asawicki.info·1h·
Discuss: Hacker News
⚡Systems Performance
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·1d·
Discuss: Hacker News
🔍Type Systems
Amp Code Deep Dive
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🧰Developer Ergonomics
Speak, Don't Type
typeless.com·2d·
Discuss: Hacker News
🔤Text Algorithms