
The industry's tolerance for "mostly right" code is driving me crazy
I swear every time i talk to dev friends who work strictly in python or ts, they rave about how much boilerplate they can generate now. but then they spend hours debugging weird edge case hallucinations because the model just statistically guessed teh next syntax token without any underlying logical grounding. it feels like the whole industry is just happily accepting a massive regression in software safety
working in haskell lately feels like a completely different universe. we actually care about mathematical soundness and types. the idea of just letting an autoregressive model brute-force a solution and hoping the test suite catches the fatal flaws is just wild to me
I did have a bit of a sudden realization today though that maybe the hype cycle is finally hitting a wall. I was reading up on how the newer ai reasoning benchmarks are starting to shift heavily towards formal verification and theorem proving environments. like, people are finally admitting that just throwing more compute at a standard transformer doesn't magically spawn deterministic logic
idk. it just makes me appreciate our ecosystem so much more. Pure functions and a ridiculously strict type checker are basically the only things keeping me sane when the rest of the tech world seems perfectly fine drowning in probabilistic slop