Thread

1. GPerson · 1789743584 · focus · HN ↗

   [dead]

   1. dcre · 1789743899 · focus · HN ↗

      What is stopping anyone from finding the value they would have found before?
   2. nbulka · 1789743973 · focus · HN ↗

      He seems genuinely interested in Surreal numbers. Seems like he found value in exploring them and the Lean process, devoting time and interest to it and understanding what it's like to be a mathematician. I think a lot of people who go into Computer Science may have been mathematicians in the 30s before they became separate majors at the university level.

      1. GPerson · 1789789145 · focus · HN ↗

         The blog literally says he had no idea what was going on for the entire time.
   3. addlatt · 1789744121 · focus · HN ↗

      Nihilistic view

      1. idjeicjejdjej · 1789744418 · focus · HN ↗

         Idiotic view, more like.

         Let’s not infuse good faith into what is clearly meant as a derogatory comment.

         1. GPerson · 1789789208 · focus · HN ↗

            [flagged]
      2. GPerson · 1789789182 · focus · HN ↗

         It’s not nihilism to see the death of my career.
   4. AIiscoming · 1789744348 · focus · HN ↗

      Every human has to go through this in modern times.

      I got quite frustrated and disappointed when taking pictures because everyone was doing it and my picture of x was similiar to others taking picture of x.

      Either you learn from it and accept that and still do it, or you don't.

      But its not new

Unofficial Hacker News client; not affiliated with Y Combinator.