🔬 PLT

Programming Language Theory, Language tooling

Train Board Generator
jochembruijninckx.nl·18h·
Discuss: Hacker News
🔍Type Systems
Show HN: Limitly – the easiest way to secure and manage your API keys
limitly.dev·1h·
Discuss: Hacker News
🔍Type Systems
How I Got My First 100 Email Subscribers
joeldare.com·20h·
Discuss: Hacker News
🔤Text Algorithms
Control over My Airconditioning/Heatpump
firesphere.dev·10h·
Discuss: Hacker News
⚙WebAssembly
Building a Distributed Redis Clone from Scratch – Part 1: In-Memory KV Store with TCP
beyondthesyntax.substack.com·1d·
Discuss: Substack, r/programming
💻Programming
Governance in GNOME
bassi.io·19h·
Discuss: Hacker News
🔓Open Source
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·2d·
Discuss: Hacker News
🔤Text Algorithms
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
Show HN: HydraFlow – Type-safe ML experiment tracking with Hydra and MLflow
github.com·3d·
Discuss: Hacker News
💻Programming
AI and Copyright in the UK
technollama.co.uk·20h·
Discuss: Hacker News
🔓Open Source
Create space-saving clones on macOS with Python
alexwlchan.net·1d·
Discuss: Hacker News
💿OS
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·6d·
Discuss: Substack
🔍Type Systems
Clojure Civitas – Open effort for learning resources with meaningful connections
github.com·2d·
Discuss: Hacker News
⚙️Language Implementation
Drawafish.com Postmortem: Whoops
aldenhallak.com·2h·
Discuss: Hacker News, r/programming
🔓Open Source
Large Language Models
davidtemplin.name·5d·
Discuss: Hacker News
🔤Text Algorithms
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·4d·
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·3d·
Discuss: Hacker News
⚙️Language Implementation
Debugging AMD-Specific Issues with Driver Experiments Tool
asawicki.info·4h·
Discuss: Hacker News
⚡Systems Performance