News for hackers. Stuff that matters.

A comment on I think I know why Collatz does that thing it does. Parent comment

Re:I think I know why Collatz does that thing it does by stuartriffle on Friday April 11, 2025 @11:19PM (#43661044)
Absolutely not, but ChatGPT generated some Lean, I posted it in a comment. I'm not set up to run that, downloading stuff now. I guess we'll see.

[edit] I have deleted the half-ass ChatGPT generated Lean because it doesn't compile yet and that's lame. Working on it.

[ Parent | on HN ]

There are no comments on this comment yet.