Ai coding tools just turned me into an exhausted babysitter

Posted by frankgetsu@reddit | ExperiencedDevs | View on Reddit | 60 comments

spent like three hours today debugging a PR that looked syntactically perfect but had a massive logical race condition buried inside it. our juniors are basically just pasting LLM output now and praying it passes review.

Management thinks we are shipping way faster but im honestly just spending all my time acting as a human linter for a glorified autocomplete bot. Probabalistic models guessing the next token are fundamentally flawed for core business logic. it just doesnt scale without burning out the senior engineers

it does give me a little hope seeing the research side finally pivot toward formal verification. like seeing newer reasoning agents like Aleph being evaluated on strict machine-readable proofs rather than just checking if a python script runs once without crashing

until the enterprise tools move from probabilistic guessing to mathematically provable state transitions, this whole era is just generating an ocean of technical debt that we are gonna have to clean up later