[the stream]()
[sasha]()
question
is it just me, or does the massive push for autoregressive code generation feel like a complete rejection of everything we value in software correctness?
We spend so much time in haskell building strong type systems and pure functions just to guarantee that our logic is mathematically sound and free of unpredictable states. but now the broader industry is obsessed with trying to force probability matrices to do strict logic. it's basically the ultimate side effect - you are literally just rolling the dice on a text distribution and hoping the syntax happens to be structurally sound
I was reading some architectural theory recently about how approach logic as a constraint satisfaction problem instead of token prediction. you basically define the rules, and the system physically settles into a mathematical state that satisfies all constraints
it kinda made me realize how far off track the current ai hype has gotten. Treating logic as a declarative constraint landscape feels so much more aligned with functional paradigms than just guessing the next word. tbh it's just frustrating watching the tech world abandon mathematical certainty for probabilistic slop.
