Trade-offs in designing DSLs (in Rust)
forgestream.idverse.com·1d·
Discuss: r/rust
🪆Embedded DSLs
original ↗
dandelion-utilitarian.com·21h
⛪Church Encoding
The Most Strict #ProgrammingLanguage @KevlinHenney Has Ever Used: #occam
youtube.com·9h
🎮Language Ergonomics
How to Debug Chez Scheme Programs (2002)
scheme.com·3d·
Discuss: Hacker News
💬Error Message Design
A Kevin week
blog.mitrichev.ch·4d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Configuration files are user interfaces
ochagavia.nl·21h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
DMEXCO: "No stone left unturned"
heise.de·15h
🔍Fuzzy Indexing
My date with an octopus
timharford.com·3h
✅Type Checking
How AI coding tools can learn to develop secure software
reversinglabs.com·1d
🛡️Security Type Systems
Current AI Labs Evaluation Tier List, September 2025
preview.redd.it·1d·
Discuss: r/singularity
🗺️Region Inference
Smart dogs have a humanlike knack for naming new objects
science.org·5h
🔗Lexical Scoping
Discrete Time System Properties- Plainly
pub.towardsai.net·1d
💫Effect Systems
The $4trn accounting puzzle at the heart of the AI cloud - The Economist
news.google.com·7h
🔄Subinterpreters
R PSI: World models that are “promptable” like LLMs
reddit.com·1d·
Discuss: r/LLM
🔍ML Language
NYT Wordle Hints And Answers For 16-September-2025
boredpanda.com·2d
🌱Tiny Languages
Don’t Trust the Scroll: Stop AI Agents from Running Code
pub.towardsai.net·1d
🛡️Security Type Systems
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·1d
📋S-Expression
AI's Imperfect Memory: Rewriting the Code of Forgetting
dev.to·10h·
Discuss: DEV
🚂Error Propagation
Building a Legal Document Intelligence Platform with BigQuery AI: 99% Efficiency Implementation Guide
dev.to·2d·
Discuss: DEV
🔄Incremental Lexing
Our experience with LLMs as evaluators
reddit.com·5h·
Discuss: r/LLM
🔍ML Language