🔬 PLT

Programming Language Theory, Language tooling

Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔍Type Systems
Semlib: LLM-powered Data Processing
anishathalye.com·1d·
Discuss: Lobsters
🔤Text Algorithms
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·8h·
Discuss: Hacker News
⚙️Language Implementation
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·23h·
Discuss: Hacker News
💻Programming
Writing effective tools for LLM agents–using LLM agents
anthropic.com·11h·
Discuss: Hacker News
⚡Systems Performance
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·1d·
Discuss: Hacker News
🔤Text Algorithms
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
⚙️Language Implementation
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·20h·
Discuss: Hacker News
🔍Type Systems
Dicio: Open-Source Voice Assistant for Android
github.com·14h·
Discuss: Hacker News
🔤Text Algorithms
Issue 489
haskellweekly.news·19h·
Discuss: Hacker News
🔍Type Systems
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·19h·
Discuss: Hacker News
💻Programming
Moldable Development: shaping tools to fit the context of your code
moldabledevelopment.com·16h·
Discuss: Hacker News
🧰Developer Ergonomics
Dissecting Batching Effects in GPT Inference
le.qun.ch·9h·
Discuss: Hacker News
⚡Systems Performance
Compiling a Functional Language to LLVM
danieljharvey.github.io·3d·
Discuss: Lobsters, Hacker News
🏗️Compiler Design
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🔍Type Systems
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·1h·
Discuss: Lobsters, Hacker News
🔤Text Algorithms
Creating larger projects with LLM (as a coder)
medium.com·22h·
Discuss: Hacker News
🏗️Compiler Design
How Python Implements List Comprehensions
pythonkoans.substack.com·3d·
Discuss: Substack
⚙️Language Implementation
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·22h·
Discuss: Hacker News
🔤Text Algorithms
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
🔍Type Systems