Gravity
(xkcd.com)
December 2022 Archive
9871.
9872.
Thoughts on user interfaces for theorem provers
(lawrencecpaulson.github.io)
9873.
9876.
I created a spreadsheet software demo with React
(fatih-erikli.github.io)
9877.
Researchers find that groundwater gets recharged faster than expected
(agupubs.onlinelibrary.wiley.com)
9881.
9882.
LexGrep Grep through all of Lex Fridman podcasts
(share.streamlit.io)
9883.
China lacked a 'zero Covid' exit strategy. Its people are paying the price
(japantimes.co.jp)
9884.
Show HN: SkyFrom – Bring the stars home with custom star maps
(skyfrom.earth)
9885.
9886.
Kindle novelists are using ChatGPT
(theverge.com)
9887.
9890.
9891.
How Would a Self-Driving Car Handle the Trolley Problem?
(gizmodo.com)
9894.
9895.
10k+ GPUs for Inference Jobs (waitlist giveaway)
(salad.com)
9896.
What Should Be on the Roadmap?
(sharedphysics.com)
9897.
9899.
Show HN: Track Institutional Investors
(quiverquant.com)
9900.