News Feed
TheoremDB – A public workspace for machine mathematics
Article URL: https://theoremdb.org/ Comments URL: https://news.ycombinator.com/item?id=49227505 Points: 24 # Comments: 0
Incentives are for losers
Article URL: https://www.experimental-history.com/p/incentives-are-for-losers Comments URL: https://news.ycombinator.com...
"Coding is solved" misses the point
Article URL: https://blog.mastykarz.nl/coding-is-solved-misses-the-point/ Comments URL: https://news.ycombinator.com/ite...
Illinois just told every operating system to start reporting your kid's age
Article URL: https://itsfoss.com/news/illinois-age-verification-bill/ Comments URL: https://news.ycombinator.com/item?id...
The original URL for this prediction will no longer be available in 11 years (2011)
Article URL: http://longbets.org/601/ Comments URL: https://news.ycombinator.com/item?id=49228458 Points: 95 # Comments:...
Microsoft Word for Windows 1.1a, Native X64 Port
Article URL: https://github.com/jmarshall23/msword Comments URL: https://news.ycombinator.com/item?id=49228663 Points: 9...
Perez Hilton faces long recovery after reports he self-harmed during livestream
The US blogger is in a "serious but stable" condition in hospital, according to ...
The Senate eked out a summer break. But bigger fights are coming. - USA Today
The Senate eked out a summer break. But bigger fights are coming. U...