Hacker News

1.		The Most Satisfying Checkbox (andy.works)
		64 points by feross 57 minutes ago \| hide \| 31 comments
2.		CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)
		105 points by ingve 2 hours ago \| hide \| 20 comments
3.		Writing like a pro with Vale and Neovim (bhupesh.me)
		32 points by feross 1 hour ago \| hide \| 23 comments
4.		Kickstarter Union voted 97.6% to ratify one of the first tech union contracts (twitter.com/ksr_united)
		97 points by vivekmgeorge 1 hour ago \| hide \| 54 comments
5.		Adding a Rust compiler front end to GCC [video] (youtube.com)
		113 points by blopeur 5 hours ago \| hide \| 28 comments
6.		Nanokelvin-resolution thermometry at room temperature (nature.com)
		26 points by pcrh 1 hour ago \| hide \| 4 comments
7.		Leaked Amazon memo warns the company is running out of people to hire (vox.com)
		203 points by Umofomia 3 hours ago \| hide \| 278 comments
8.		Smarking (YC W15) Is Hiring ML Eng to scale dynamic pricing for $655B parking (lever.co)
		58 minutes ago \| hide
9.		Making the collective knowledge of chemistry open and machine actionable (nature.com)
		37 points by bryanrasmussen 3 hours ago \| hide \| 6 comments
10.		Ante: A low-level functional language (antelang.org)
		271 points by cheesestain 10 hours ago \| hide \| 130 comments
11.		Probiotics can support the effect of antidepressants (unibas.ch)
		129 points by NickRandom 5 hours ago \| hide \| 115 comments
12.		Gnome has no thumbnails in the file picker and my toilets are blocked (2021) (jayfax.neocities.org)
		226 points by weberer 3 hours ago \| hide \| 142 comments
13.		Polar bear population discovered that can survive without sea ice (nature.com)
		11 points by gmays 1 hour ago \| hide \| discuss
14.		A Visual Guide to the Aztec Pantheon (pudding.cool)
		192 points by sdoering 9 hours ago \| hide \| 31 comments
15.		US Army deploys its first floating solar array (theverge.com)
		131 points by imartin2k 8 hours ago \| hide \| 121 comments
16.		Nintendo Wasn't the First to Introduce Region Locking, After All (nintendolife.com)
		45 points by adrian_mrd 5 hours ago \| hide \| 28 comments
17.		Bundling binary tools in Python wheels (simonwillison.net)
		76 points by pcr910303 5 hours ago \| hide \| 22 comments
18.		Redbean 2.0 turned into more than a hobby project (justine.lol)
		883 points by jart 1 day ago \| hide \| 184 comments
19.		SpaceX said to fire employees involved in letter rebuking Elon Musk (nytimes.com)
		378 points by danso 10 hours ago \| hide \| 1131 comments
20.		Internet Archive opens Vancouver headquarters, meeting space for the tech world (vancouversun.com)
		157 points by danbolt 11 hours ago \| hide \| 41 comments
21.		World's most efficient passenger plane gets hydrogen powertrain (newatlas.com)
		4 points by clouddrover 1 hour ago \| hide \| discuss
22.		Android Booting Shenanigans (topjohnwu.github.io)
		69 points by cab404 8 hours ago \| hide \| 17 comments
23.		The bait-and-switch hidden in today’s cookie announcement (webdevlaw.uk)
		285 points by DyslexicAtheist 5 hours ago \| hide \| 188 comments
24.		FDA Denies Petition to Ban All Phthalates in Food Packaging (consumerreports.org)
		72 points by ParksNet 3 hours ago \| hide \| 27 comments
25.		Quantum Algorithm Implementations for Beginners (acm.org)
		84 points by rg111 9 hours ago \| hide \| 40 comments
26.		16-bit RISC-V processor made with carbon nanotubes (2019) (arstechnica.com)
		35 points by signa11 7 hours ago \| hide \| 3 comments
27.		Calculating the differential cost of code changes (amazon.science)
		5 points by reckel 1 hour ago \| hide \| discuss
28.		Battered Crypto Hedge Fund Three Arrows Capital Considers Asset Sales, Bailout (wsj.com)
		97 points by uptown 4 hours ago \| hide \| 68 comments
29.		Tell HN: Trivially bot banned from Google Play Store twice in a year
		4 points by giorgioz 19 minutes ago \| hide \| discuss
30.		A sketch of the biggest idea in software architecture (oilshell.org)
		69 points by harperlee 10 hours ago \| hide \| 22 comments
		More