🔬 PLT

Programming Language Theory, Language tooling

Show HN: Klotski.org – A web-based Klotski puzzle with 44 handcrafted levels
klotski.org·6h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Systems and Protocol Aspects for Circumstellar Environments Research Group
irtf.org·2d·
Discuss: Hacker News
🔓Open Source
Flag this post
Postgres Internals Hiding in Plain Sight
crunchydata.com·1d·
Discuss: Hacker News
⚡Systems Performance
Flag this post
How to CAD Almost Anything (2024)
ocw.mit.edu·2d·
Discuss: Hacker News
🖥️Computer Architecture
Flag this post
Why to use vector graphics everywhere?
nilostolte.github.io·16h·
Discuss: Hacker News
⚙WebAssembly
Flag this post
original ↗
chrisdeluca.me·2d·
Discuss: Hacker News
💿OS
Flag this post
QuackStack
quackstack.siddharththakkar.xyz·2d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Book Publishing and Technology: The ONIX 3 Debacle
thefutureofpublishing.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
Americans Are Increasingly Alone, but Are They Lonely?
realclearinvestigations.com·18h·
Discuss: Hacker News
🔓Open Source
Flag this post
The Truth Codex – A Charter for Friction-Tolerant Intelligence
news.ycombinator.com·21h·
Discuss: Hacker News
🏛️Philosophy
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
Playing Around with ARM Assembly
blog.nobaralabs.com·4d·
Discuss: Hacker News
🔌RISC-V
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·3d·
Discuss: Hacker News
💻Programming
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·3d·
Discuss: Hacker News
💻Programming
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: 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
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·5d·
Discuss: Hacker News
🌳Tree-sitter
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