Daily Hacker News for 2022-06-18
The 10 highest-rated articles on Hacker News on June 18, 2022 which have not appeared on any previous Hacker News Daily are:
-
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
(comments) -
Ask HN: Best dev tool pitches of all time?
(comments) -
Three Arrows Capital reportedly facing insolvency
(comments) -
Show HN: A central bank simulator game with a realistic economic model
(comments) -
Apple has a bug in its disk I/O throttling code that affects raw disk copies
(comments) -
Patreon cuts deep inside creators’ pockets
(comments) -
Construction is life
(comments) -
Japan's NTT to begin remote work as norm for 30k employees
(comments) -
DOE announces breakthrough in residential cold climate heat pump technology
(comments) -
Cold Showers
(comments)
Posted at 2022-06-19 00:00 | Permanent link |