Skip to main content
Image

r/haskell

Feed About
Best
Open sort options
Change post view
Norman is back to being part of the action—and back to his old self. With once-monthly Librela (bedinvetmab injection), Norman’s osteoarthritis (OA) pain is under control. See more of Norman’s real results with Librela at Librela.com.

Please see Prescribing Information for Librela.

media poster
zoetispetcare.com
Learn More
the philosophical mismatch between functional programming and current ai
u/grogger133
the philosophical mismatch between functional programming and current ai
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 Energey Based Models 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.