🔬 PLT

Programming Language Theory, Language tooling

Scala vs. F#
alexn.org·21m·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·14h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Our newest model: Chandra (OCR)
datalab.to·18h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
Show HN: Polym – App for knowledge retention and recall. Remember what you learn
polymapp.com·21h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·15h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
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
A/B Testing Could Lead LLMs to Retain Users Instead of Helping Them
newsletter.danielpaleka.com·8h·
Discuss: Hacker News
⚡Systems Performance
Flag this post
Ajla Tutorial
ajla-lang.cz·3d·
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·14h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
🔓Open Source
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
🔤Text Algorithms
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔤Text Algorithms
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
Creating a Gridogram
gridogram.com·16h·
Discuss: Hacker News
⌨️Keyboards
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·12h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
💻Programming
Flag this post