🚨Course Announcement 🚨

Building with AI Agents From Idea to Production | IntelliJ IDEA + Spring Boot

www.youtube.com/watch?v=tmMw...

In this video series, I will walk you through how I use AI Agents to build an application.

#AIAssistedCoding #AIAgents #SpringBoot #IntelliJIDEA #JetBrainsAir

“What TLA+ Can And Can’t Check”, Hillel Wayne (buttondown.com/hillelwayne/...).

On HN: news.ycombinator.com/item?id=4990...

On Lobsters: lobste.rs/s/3ufaju/wha...

#TLA+ #FormalVerification #Programming #AIAssistedCoding #AutomatedTheoremProvers #LLMs #AI

👌🏽👇🏽:

“Coding Is NOT Solved”, Alex Ewerlöf (blog.alexewerlof.com/p/coding-is-...).

Via HN: news.ycombinator.com/item?id=4987...

#AI #LLMs #Programming #Coding #AIAssistedCoding #CodingIsSolved #SoftwareEngineering #Quality #YOLO #Myths

This seems too…naive and optimistic 🧐:

“If AI Coding Is Lowering Your Code Quality, You’re Not Managing Quality Right”, Iouri Khramtsov (www.i-kh.net/p/if-ai-codi...).

Via HN: news.ycombinator.com/item?id=4977...

#AI #LLMs #GenAI #AIAssistedCoding #SoftwareEngineering #Quality #Tests #Bugs

Software complexity is scaling beyond human comprehension.

This #InfoQ presentation explores how complexity is evolving - and why creativity is becoming critical for senior ICs working with AI-generated code.

🎬 Watch now: buff.ly/1SjETA4

#AIAssistedCoding #CodeQuality #Testing #Productivity