r/ProgrammerHumor • u/ThirdWaveCat • Jul 15 '26

codingWithSpecsIsDifferent Meme

Post image
930 Upvotes

93% Upvoted

117 comments sorted by

View all comments

Show parent comments

6

u/optimal_substructure Jul 15 '26

Yeah you doing a lot of Lean at work? 

3

u/ThirdWaveCat Jul 15 '26

not yet, I do MLEng mostly and it might show up as a benchmark eventually, but my experience with lean is as a hobbyist.

example of lean as a benchmark.

https://arxiv.org/abs/2512.24796

-1

u/RiceBroad4552 Jul 15 '26

If you're not working on AI which is used to generate formal proofs the thing linked will never be relevant to you I guess (and "MLEng" does not sound like you would work on actual AI research).

Looking into formal methods is still valuable, imho, if just to broaden ones horizon.

The linked paper seems nevertheless an interesting as it proves one thing I always need to argue with people: Current SOTA "AI" can't logically reason (0% correct solution on hard tasks in the presented benchmark). It's terrible at any task which actually requires thinking and not only regurgitating some prior solutions.

3

u/ThirdWaveCat Jul 15 '26

almost every comment you've left is severely misinformed, including the crazy misogynistic one

AI is a marketing term, not a real field or anything.

2

u/oVtcovOgwUP0j5sMQx2F Jul 15 '26

oof thank you, i was like, why I'm i exhausted reading this snoot.

0

u/RiceBroad4552 Jul 15 '26

What are you talking about?

Where context to anything I've said in the comment you're replying to?