News for hackers. Stuff that matters.

A comment on Peano arithmetic is enough, because Peano arithmetic encodes computation. Parent comment

Re:Peano arithmetic is enough, because Peano arithmetic enc... by RcouF1uZ4gsC on Saturday June 14, 2025 @09:53AM (#44276462)
This proves that ChatGPT sells your data to HN which then decides which posts to put on the front page.
[ Parent | on HN ]
Re:Peano arithmetic is enough, because Peano arithmetic enc... by billyjmc on Saturday June 14, 2025 @01:37PM (#44277640)
Incidentally, this also proves that GP is the main character.
[ Parent | on HN ]