🔬 PLT

Programming Language Theory, Language tooling

Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·13h·
Discuss: Hacker News
💻Programming
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·51m·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
🔤Text Algorithms
Flag this post
The Development of Pie
terathon.com·16h·
Discuss: Hacker News
💿OS
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·16h·
Discuss: Hacker News
🏛️Philosophy
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·9h·
Discuss: Hacker News
⚡Systems Performance
Flag this post
Our newest model: Chandra (OCR)
datalab.to·6h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·2h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Show HN: Polym – App for knowledge retention and recall. Remember what you learn
polymapp.com·9h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
🔀Concurrency Models
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.com·2h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post