GamePad: A learning environment for theorem proving

How to Take Notes at Conferences on iPhone (System That Works)

'Evanescent interactions': the surprising power of connecting with strangers

Article URL: https://news.uga.edu/evanescent-interactions/ Comments URL: https://news.ycombinator.com/item?id=50485904 P

California Flood Risk Map

Article URL: https://floodmap.robennals.org/ Comments URL: https://news.ycombinator.com/item?id=50485956 Points: 1 # Com

Zoox robotaxi is now driving in Atlanta

Article URL: https://zoox.com/journal/atlanta-expansion-robotaxi Comments URL: https://news.ycombinator.com/item?id=5048

Fitting the real Earth into Minecraft at 1:1: cubic chunks, open DEMs [video]

Article URL: https://www.youtube.com/watch?v=NQNGaTGcdZQ Comments URL: https://news.ycombinator.com/item?id=50485978 Poi

Thundering Herd Problem

Article URL: https://en.wikipedia.org/wiki/Thundering_herd_problem Comments URL: https://news.ycombinator.com/item?id=50