🔬 PLT

Programming Language Theory, Language tooling

Show HN: Klotski.org – A web-based Klotski puzzle with 44 handcrafted levels
klotski.org·10h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Show HN: PixSprout – Create custom stamps from text or images using AI
pixsprout.com·16h·
Discuss: Hacker News
🔓Open Source
Flag this post
Systems and Protocol Aspects for Circumstellar Environments Research Group
irtf.org·2d·
Discuss: Hacker News
🔓Open Source
Flag this post
Why to use vector graphics everywhere?
nilostolte.github.io·20h·
Discuss: Hacker News
⚙WebAssembly
Flag this post
original ↗
chrisdeluca.me·2d·
Discuss: Hacker News
💿OS
Flag this post
Americans Are Increasingly Alone, but Are They Lonely?
realclearinvestigations.com·21h·
Discuss: Hacker News
🔓Open Source
Flag this post
The Noise and the Signal
russmiles.substack.com·4d·
Discuss: Substack
⚡Systems Performance
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·6d·
Discuss: Lobsters, Hacker News, Hacker News
⌨️Keyboards
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·5d·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·1d·
Discuss: Hacker News
🔀Concurrency Models
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·3d·
Discuss: Hacker News
💻Programming
Flag this post
Show HN: I've built a story-to-video AI generator website
visimagine.com·2d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·5d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·3d·
Discuss: Hacker News
⚡Systems Performance
Flag this post
Show HN: When 7 Codex Agents Sent Each Other 1k Messages over 2 Days
dicklesworthstone.github.io·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·4d·
Discuss: Hacker News
⌨️Keyboards
Flag this post
One-Second Voice-to-Voice Latency with Modal, Pipecat, and Open Models
modal.com·4d·
Discuss: Hacker News, r/LocalLLaMA
🔓Open Source
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·2d·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
Jensen Huang Gets It Wrong
oreilly.com·2d·
Discuss: Hacker News, Hacker News
🧰Developer Ergonomics
Flag this post
Coding Agents Are Outliers
vivekhaldar.com·4d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post