original ↗
dandelion-utilitarian.com·1d
Church Encoding
Typing Master
typingmaster-pro.en.lo4d.com·3d
🎯99-Line Tools
The Most Strict #ProgrammingLanguage @KevlinHenney Has Ever Used: #occam
youtube.com·12h
🎮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·
🧩Constraint Solvers
Configuration files are user interfaces
ochagavia.nl·1d·
📚Self-Documenting Code
In the Age of A.I., What Makes People Unique?
newyorker.com·8h
Effect Inference
How AI coding tools can learn to develop secure software
reversinglabs.com·1d
🛡️Security Type Systems
A brief introduction to ZoomEye and similar search engines, and how to perform subdomain collection.
zeroday.forem.com·1d·
Discuss: DEV
🔍Search Algorithms
Discrete Time System Properties- Plainly
pub.towardsai.net·1d
💫Effect Systems
Introducing RecoverCheck: A Golang Linter to catch goroutines that don't have recover attached to it.
reddit.com·10h·
Discuss: r/golang
🔧Error Recovery
R PSI: World models that are “promptable” like LLMs
reddit.com·1d·
Discuss: r/LLM
🔍ML Language
Don’t Trust the Scroll: Stop AI Agents from Running Code
pub.towardsai.net·1d
🛡️Security Type Systems
Our experience with LLMs as evaluators
reddit.com·8h·
Discuss: r/LLM
🔍ML Language
Prompt analytics without the complexity (or vendor lock-in)
dev.to·11h·
Discuss: DEV
💬Interactive REPLs
My Experience with SolveCaptcha: Streamlining Automation and Saving Time
dev.to·13h·
Discuss: DEV
🎮Language Ergonomics
CourseTime Analyzer: Python + Selenium + GUI Project for Tracking YouTube Course Time
github.com·1d·
Discuss: DEV
💬Interactive REPLs
AI's Imperfect Memory: Rewriting the Code of Forgetting
dev.to·14h·
Discuss: DEV
🚂Error Propagation