Comment by keybored

15 hours ago

Against Flintstone Engineering.[1] That’s great.

I don’t know about the premises here. All of these articles are written to hammer two points.

- AI is the future/AI has been here since X months ago

- There are still people who don’t believe that—to me an unfathomable position as I have personally spent five gazillion tokens on

And the supposed topic of the article is incidental to that.

But if GenAI is the future I’ll take GenAI formal verification and code generation over mindless code generation, thank you very much.

[1] https://news.ycombinator.com/item?id=47358696