Top
Best
New

Posted by m-hodges 4 days ago

I vibed a proof of Conway's conjecture(overreacted.io)
https://github.com/gaearon/conway-refinement#why-i-think-its...
271 points | 294 commentspage 4
math_dandy 4 days ago|
[dead]
tonetheman 4 days ago||
[dead]
31276ahq 4 days ago||
[flagged]
manwe150 4 days ago||
Several of my coworkers — it’s not that unusual that if you can max out a couple accounts, the companies will obviously notice you (as a high cost customer), and sometimes offer more
dcre 4 days ago|||
$200 a month is what people pay for morning coffee in the Bay Area.
Retr0id 4 days ago|||
I don't see why that's weird
memonkey 4 days ago||
ah, if it's anyone it'd be dan abramov
GPerson 4 days ago|
[flagged]
nbulka 4 days ago||
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.
GPerson 4 days ago||
The blog literally says he had no idea what was going on for the entire time.
dcre 4 days ago|||
What is stopping anyone from finding the value they would have found before?
AIiscoming 4 days ago|||
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

addlatt 4 days ago||
Nihilistic view
GPerson 4 days ago|||
It’s not nihilism to see the death of my career.
idjeicjejdjej 4 days ago|||
Idiotic view, more like.

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

GPerson 4 days ago||
Being derogatory is not incompatible with good faith, idiot.