News for hackers. Stuff that matters.

A comment on Don't fall into the anti-AI hype. Parent comment

Re:Don't fall into the anti-AI hype by Almondsetat on Wednesday January 14, 2026 @07:08AM (#46615132)
Be honest: how many things do you do in your day-to-day SW tasks that have been formally proven and have studies supporting it?
[ Parent | on HN ]
Re:Don't fall into the anti-AI hype by oulipo2 on Thursday January 15, 2026 @07:14AM (#46631385)
That's just... not the point of that discussion?

1. Most of CS has been formally proven (that's what it's called computer science)

2. Here we were discussing someone who pretends to have "facts" and then just say "just play with it you will understand"...

[ Parent | on HN ]