Article URL: https://www.reuters.com/markets/us/reddit-files-us-ipo-2021-12-16/ Comments URL: https://news.ycombinator.com/item?id=29574359 Points: 105
Comments: 78
https://www.reuters.com/markets/us/reddit-files-us-ipo-2021-12-16/
Melden Sie sich an, um einen Kommentar hinzuzufügen
Andere Beiträge in dieser Gruppe
Article URL: https://research.swtch.com/diffcover
Comments URL: https://news.ycomb

Article URL: https://arxiv.org/abs/2504.17192
Comments URL: https://news.ycombinator.c

Article URL: https://arxiv.org/abs/2504.11651
Comments URL: https://news.ycombinator.c

Article URL: https://curry-lang.org/
Comments URL: https://news.ycombinator.com/item?id=4379721

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru
3y | 16.12.2021, 13:07:59
16years 52M active user per month 100k communities (/r subdirectories) 100M$ in second quarter (3x more than in previous year)
10-15B$ valuation (with current rate of inflation, possible target)
Curious about final IPO, is pretty challenging to live these days with meta, crypto, nft, inflation and memes everywhere. Better to go IPO quickly.