🔬 PLT

Programming Language Theory, Language tooling

Lichess Mobile App Official Release
lichess.org·1d·
Discuss: Hacker News
🔓Open Source
Show HN: (YC S23) OCR that works on the messiest PDFs
trycardinal.ai·2d·
Discuss: Hacker News
🔤Text Algorithms
Bali is a JavaScript engine written in Nim
github.com·6d·
Discuss: Hacker News
⚙️Language Implementation
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·4d·
Discuss: Hacker News
🔍Type Systems
Markdoc and OpenAPI/Swagger spec generator
scheduleddowntime.com·5d·
Discuss: Hacker News
🔓Open Source
GPT-5's Router: how it works and why Frontier Labs are now targeting the Pareto Frontier
latent.space·2d·
Discuss: Hacker News
🔓Open Source
When vibe coding, isn't the source code the prompt?
boston.conman.org·5d·
Discuss: Lobsters, Hacker News
💿OS
Remembrance Agent A continuously running automated information retrieval system
bradleyrhodes.com·4d·
Discuss: Hacker News
🔤Text Algorithms
We're Building the Future of the Startup Economy with AI
angellist.com·3d·
Discuss: Hacker News
🧰Developer Ergonomics
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·5d·
Discuss: Hacker News
🧰Developer Ergonomics
OpenAI Progress
progress.openai.com·2d·
Discuss: Hacker News
🖥️Computer Architecture
Before AI Slop We Had Spaghetti Code
chatbotkit.com·3d·
Discuss: Hacker News
💻Programming
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·4d·
Discuss: Hacker News
🏗️Compiler Design
Software Development with AI – Perspective from an experienced software engineer
nootn.com.au·3d·
Discuss: Hacker News
🧰Developer Ergonomics
Master Your Questioning Skills
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🧰Developer Ergonomics
Line Length
blog.glyph.im·2d·
Discuss: Hacker News
⌨️Keyboards
How Python Grew From a Language to a Community
thenewstack.io·6d·
Discuss: Hacker News
🔓Open Source
Show HN: Blueprint, a desktop app to guard against rogue LLMs
github.com·2d·
Discuss: Hacker News
🧰Developer Ergonomics
Show HN: Belgian parliamentary data, scraped and published
github.com·3d·
Discuss: Hacker News
🗳️Élections
Ask HN: Do you struggle with flow state when using AI assisted coding tools?
news.ycombinator.com·3d·
Discuss: Hacker News
🚀JIT Compilation