🔬 PLT

Programming Language Theory, Language tooling

What 43 Voters Told an AI About the Future of New York
thirdear.co·8h·
Discuss: Hacker News
🗳️Élections
Flag this post
Leo: Auto-Typing Tool for Teaching Coding
github.com·10h·
Discuss: Hacker News
💿OS
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·1d·
Discuss: Hacker News
🔌RISC-V
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
This Month in Ladybird – October 2025
ladybird.org·18h·
Discuss: Hacker News
🔓Open Source
Flag this post
Code execution with MCP: Building more efficient agents
anthropic.com·1d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·16h·
Discuss: Hacker News
🧰Developer Ergonomics
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·3d·
Discuss: Hacker News
🏛️Philosophy
Flag this post
Speedrunning an RL Environment
sidb.in·3d·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
Coding Agents Are Outliers
vivekhaldar.com·11h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·10h·
Discuss: Hacker News
⚡Systems Performance
Flag this post
Small Vs. Large Language Models
semiengineering.com·1d·
Discuss: Hacker News, r/LLM
🖥️Computer Architecture
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·12h·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·17h·
Discuss: Hacker News
⚙️Language Implementation
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
🔌RISC-V
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·12h·
Discuss: Hacker News, Hacker News
🧰Developer Ergonomics
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·1d·
Discuss: Hacker News, r/devops
⚡Systems Performance
Flag this post
Pivots, Paths, and Prototypes
debliu.substack.com·10h·
Discuss: Substack
🧰Developer Ergonomics
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·23h·
Discuss: Hacker News
🧰Developer Ergonomics
Flag this post