HN blogs - 28/12/22
Human-Oriented Automatic Theorem Proving https://wtgowers.github.io/human-style-atp/ (HN source)
Sick Day Part 2 https://nicky.bearblog.dev/sick-day-part-2/ (HN source)
Show HN: Engineering Consciousness https://miserlou.github.io/Helix/misc/2022/12/27/introducing-helix.html (HN source)
Virtues of Rationality https://www.yudkowsky.net/rational/virtues (HN source)
I spent two months doing nothing https://proofinprogress.com/posts/2022-12-28/How-I-spent-two-months-doing-nothing.html (HN source)
Steps Lead to More Steps https://canolcer.com/post/steps-lead-to-more-steps/ (HN source)
Stop the Scroll: How Muting Everyone on Social Media Can Put You Back in Control https://seanbolton.dev/2022/12/28/stop-the-scroll-how-muting-everyone-on-social-media-can-put-you-back-in-control/ (HN source)
ReDoS “Vulnerabilities” and Misaligned Incentives https://blog.yossarian.net/2022/12/28/ReDoS-vulnerabilities-and-misaligned-incentives (HN source)
Rehearsing a Sabbatical https://mxgrn.com/blog/rehearsing-a-sabbatical (HN source)
Ups and Downs of a Side Project https://jereze.com/blog/4-year-side-project/ (HN source)
Boring Work https://www.borislav.me/boring-work (HN source)
What free, ad-supported Uber rides might look like https://andrewchen.com/this-is-what-free-ad-supported-uber-rides-might-look-like-mockups-economics-and-analysis/ (HN source)
The Catch-22 of Democracy https://praveshkoirala.com/2022/12/28/the-catch-22-of-democracy/ (HN source)
Data Science and Software Engineering https://www.amolas.dev/blog/about-data-science-and-software-engineering-i/ (HN source)
Rack Mounting Home Assistant Yellow https://johnzanussi.com/posts/rack-mounting-home-assistant-yellow (HN source)