Y Hacker News new | ask | show | jobs

user: zuzatm created: 2020-01-01 karma: 168 https://people.inf.ethz.ch/gzuzic/ submissions: Accelerating Mathematical and Scientific Discovery with Gemini Deep Think 10 points | 0 comments 0 points | 0 comments Alphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf] 2 points | 1 comments 0 points | 0 comments Graph Mining Library 306 points | 101 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments A Modern Big-O Without Notation Abuse 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments A fun 4-minute talk on the latest developments in crypto 1 points | 0 comments Leg-lengthening: cosmetic height-increasing surgeries (2020) 2 points | 0 comments Purdue professor urges for aggressive social distancing in the US 3 points | 0 comments Multiplicative weights or how to approximate maxflow with O(log n) Dijkstras 2 points | 0 comments