🔬 PLT

Programming Language Theory, Language tooling

Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·15h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
AWK technical notes (2023)
maximullaris.com·15h·
Discuss: Lobsters
🔤Text Algorithms
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
Handbook of Satisfiability (2021)
iospress.com·23h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·16h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·18h·
Discuss: Hacker News
🔌RISC-V
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·18h·
Discuss: Hacker News
🧰Developer Ergonomics
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·18h·
Discuss: Hacker News
💿OS
Flag this post
Challenge: Improve Multilingual ASR Performance for Mozilla
community.mozilladatacollective.com·16h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·20h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
💿OS
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·23h·
Discuss: Substack
🔤Text Algorithms
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·2h·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Hacker News
💻Programming
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
🏛️Philosophy
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·16h·
Discuss: Substack
🏗️Compiler Design
Flag this post