▶ Videos →

📰 Dev.to · Mat Weiss

4 articles · Updated every 3 hours · View all reads

All Articles 149,899 Blog Posts 150,027 Tech Tutorials 39,281 Research Papers 29,121 News 20,281 ⚡ AI Lessons

When Step Five Fails, Undo Steps One Through Four

Dev.to · Mat Weiss 💻 AI-Assisted Coding 1mo 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:...

Five Ways to Fail a Transport

Dev.to · Mat Weiss 💻 AI-Assisted Coding 2mo 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 💻 AI-Assisted Coding 2mo 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 3mo 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...