▶ Videos →

📰 Dev.to · Mat Weiss

5 articles · Updated every 3 hours · View all reads

All Articles 106,187 Blog Posts 118,235 Tech Tutorials 26,764 Research Papers 22,112 News 16,296 ⚡ AI Lessons

When Step Five Fails, Undo Steps One Through Four

Dev.to · Mat Weiss 2w ago

When Step Five Fails, Undo Steps One Through Four

The previous articles built up a picture of what a compiler can verify about individual operations:...

You Can't Launch What Hasn't Been Approved

Dev.to · Mat Weiss 📐 ML Fundamentals ⚡ AI Lesson 3w ago

You Can't Launch What Hasn't Been Approved

I designed resources because I was tired of reasoning about async I/O. Every developer knows the...

Five Ways to Fail a Transport

Dev.to · Mat Weiss 1mo ago

Five Ways to Fail a Transport

(Ruuk shares syntax with F#. A brief introduction to F# is provided here if you need it.) As a tech...

From Braces to Pipes

Dev.to · Mat Weiss 1mo ago

From Braces to Pipes

The previous article argued that compilers could check more than they currently do — and that the...

Your Compiler Is Missing from the Party

Dev.to · Mat Weiss 💻 AI-Assisted Coding ⚡ AI Lesson 2mo ago

Your Compiler Is Missing from the Party

Handwriting code is the new cursive. AI agents write code competently, and they're improving fast. My...