▶ Videos →

📰 Dev.to · Mat Weiss

4 articles · Updated every 3 hours · View all reads

All Articles 169,896 Blog Posts 161,592 Tech Tutorials 45,142 Research Papers 33,047 News 21,622 ⚡ AI Lessons

When Step Five Fails, Undo Steps One Through Four

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