Hacker News

1.		The Most Satisfying Checkbox (andy.works)
		144 points by feross 1 hour ago \| hide \| 84 comments
2.		CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)
		134 points by ingve 3 hours ago \| hide \| 26 comments
3.		Alien Intelligence and the Concept of Technology (stephenwolfram.com)
		27 points by MtNeerJK81 1 hour ago \| hide \| discuss
4.		Polar bear population discovered that can survive without sea ice (nature.com)
		34 points by gmays 2 hours ago \| hide \| 16 comments
5.		Writing like a pro with Vale and Neovim (bhupesh.me)
		53 points by feross 2 hours ago \| hide \| 37 comments
6.		Adding a Rust compiler front end to GCC [video] (youtube.com)
		124 points by blopeur 6 hours ago \| hide \| 29 comments
7.		World's most efficient passenger plane gets hydrogen powertrain (newatlas.com)
		21 points by clouddrover 2 hours ago \| hide \| 9 comments
8.		Nanokelvin-resolution thermometry at room temperature (nature.com)
		32 points by pcrh 2 hours ago \| hide \| 7 comments
9.		Leaked Amazon memo warns the company is running out of people to hire (vox.com)
		275 points by Umofomia 4 hours ago \| hide \| 344 comments
10.		Smarking (YC W15) is hiring ML engineers to scale dynamic pricing for parking (lever.co)
		1 hour ago \| hide
11.		Ante: A low-level functional language (antelang.org)
		282 points by cheesestain 11 hours ago \| hide \| 136 comments
12.		Making the collective knowledge of chemistry open and machine actionable (nature.com)
		44 points by bryanrasmussen 4 hours ago \| hide \| 11 comments
13.		Gnome has no thumbnails in the file picker and my toilets are blocked (2021) (jayfax.neocities.org)
		258 points by weberer 4 hours ago \| hide \| 166 comments
14.		A Visual Guide to the Aztec Pantheon (pudding.cool)
		211 points by sdoering 10 hours ago \| hide \| 37 comments
15.		Probiotics can support the effect of antidepressants (unibas.ch)
		140 points by NickRandom 6 hours ago \| hide \| 127 comments
16.		Redbean 2.0 turned into more than a hobby project (justine.lol)
		891 points by jart 1 day ago \| hide \| 185 comments
17.		Nintendo wasn't the first to introduce region locking, after all (nintendolife.com)
		51 points by adrian_mrd 6 hours ago \| hide \| 32 comments
18.		Calculating the differential cost of code changes (amazon.science)
		15 points by reckel 2 hours ago \| hide \| discuss
19.		US Army deploys its first floating solar array (theverge.com)
		141 points by imartin2k 9 hours ago \| hide \| 139 comments
20.		Bundling binary tools in Python wheels (simonwillison.net)
		78 points by pcr910303 6 hours ago \| hide \| 23 comments
21.		Internet Archive opens Vancouver headquarters, meeting space for the tech world (vancouversun.com)
		169 points by danbolt 12 hours ago \| hide \| 45 comments
22.		SpaceX said to fire employees involved in letter rebuking Elon Musk (nytimes.com)
		428 points by danso 11 hours ago \| hide \| 1240 comments
23.		Android Booting Shenanigans (topjohnwu.github.io)
		74 points by cab404 9 hours ago \| hide \| 20 comments
24.		Kickstarter Union voted 97.6% to ratify one of the first tech union contracts (twitter.com/ksr_united)
		155 points by vivekmgeorge 2 hours ago \| hide \| 181 comments
25.		FDA Denies Petition to Ban All Phthalates in Food Packaging (consumerreports.org)
		92 points by ParksNet 4 hours ago \| hide \| 44 comments
26.		Quantum Algorithm Implementations for Beginners (acm.org)
		92 points by rg111 10 hours ago \| hide \| 42 comments
27.		Ask HN: What news subscription is worth it?
		26 points by lawgimenez 2 hours ago \| hide \| 77 comments
28.		The bait-and-switch hidden in today’s cookie announcement (webdevlaw.uk)
		298 points by DyslexicAtheist 6 hours ago \| hide \| 193 comments
29.		16-bit RISC-V processor made with carbon nanotubes (2019) (arstechnica.com)
		41 points by signa11 8 hours ago \| hide \| 4 comments
30.		A sketch of the biggest idea in software architecture (oilshell.org)
		87 points by harperlee 11 hours ago \| hide \| 23 comments
		More