Hacker News

1.		The Most Satisfying Checkbox (andy.works)
		267 points by feross 3 hours ago \| hide \| 145 comments
2.		CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)
		187 points by ingve 5 hours ago \| hide \| 41 comments
3.		Physicists link two time crystals in seemingly impossible experiment (space.com)
		38 points by galaxyLogic 1 hour ago \| hide \| 6 comments
4.		Writing like a pro with Vale and Neovim (bhupesh.me)
		121 points by feross 4 hours ago \| hide \| 66 comments
5.		The Celera 500L passenger plane gets hydrogen powertrain (newatlas.com)
		56 points by clouddrover 3 hours ago \| hide \| 46 comments
6.		The Privatized Internet Has Failed Us (slatereport.com)
		5 points by hyperluz 14 minutes ago \| hide \| discuss
7.		Polar bears that can survive without sea ice (nature.com)
		54 points by gmays 4 hours ago \| hide \| 32 comments
8.		Ask HN: Best dev tool pitches of all time?
		85 points by swyx 2 hours ago \| hide \| 42 comments
9.		Alien intelligence and the concept of technology (stephenwolfram.com)
		61 points by MtNeerJK81 3 hours ago \| hide \| 29 comments
10.		Leaked Amazon memo warns the company is running out of people to hire (vox.com)
		400 points by Umofomia 6 hours ago \| hide \| 475 comments
11.		Adding a Rust compiler front end to GCC [video] (youtube.com)
		135 points by blopeur 8 hours ago \| hide \| 34 comments
12.		US prison workers produce $11B worth of goods and services for little to no pay (thehill.com)
		95 points by O__________O 56 minutes ago \| hide \| 124 comments
13.		Ante: A low-level functional language (antelang.org)
		307 points by cheesestain 13 hours ago \| hide \| 155 comments
14.		Parallel Search Speeds Up Time Travel Debugging by 4x (undo.io)
		9 points by mark_undoio 1 hour ago \| hide \| discuss
15.		Smarking (YC W15) is hiring ML engineers to scale dynamic pricing for parking (lever.co)
		3 hours ago \| hide
16.		Do we need a better understanding of 'progress'? (bbc.com)
		32 points by pmoriarty 3 hours ago \| hide \| 23 comments
17.		Making the collective knowledge of chemistry open and machine actionable (nature.com)
		66 points by bryanrasmussen 6 hours ago \| hide \| 20 comments
18.		Erik Brynjolfsson on automation, productivity, work, and the future (rootsofprogress.org)
		11 points by feross 2 hours ago \| hide \| discuss
19.		Nanokelvin-resolution thermometry at room temperature (nature.com)
		40 points by pcrh 4 hours ago \| hide \| 10 comments
20.		A Visual Guide to the Aztec Pantheon (pudding.cool)
		230 points by sdoering 12 hours ago \| hide \| 45 comments
21.		A hackable hobby programming language (colorfield.space)
		8 points by creative_spirit 1 hour ago \| hide \| 1 comment
22.		Redbean 2.0 turned into more than a hobby project (justine.lol)
		912 points by jart 1 day ago \| hide \| 188 comments
23.		Probiotics can support the effect of antidepressants (unibas.ch)
		161 points by NickRandom 8 hours ago \| hide \| 141 comments
24.		Gnome has no thumbnails in the file picker and my toilets are blocked (2021) (jayfax.neocities.org)
		304 points by weberer 6 hours ago \| hide \| 211 comments
25.		SpaceX said to fire employees involved in letter rebuking Elon Musk (nytimes.com)
		499 points by danso 13 hours ago \| hide \| 1435 comments
26.		Internet Archive opens Vancouver headquarters, meeting space for the tech world (vancouversun.com)
		190 points by danbolt 14 hours ago \| hide \| 54 comments
27.		Nintendo wasn't the first to introduce region locking, after all (nintendolife.com)
		63 points by adrian_mrd 8 hours ago \| hide \| 35 comments
28.		US Army deploys its first floating solar array (theverge.com)
		157 points by imartin2k 11 hours ago \| hide \| 158 comments
29.		Bundling binary tools in Python wheels (simonwillison.net)
		90 points by pcr910303 8 hours ago \| hide \| 26 comments
30.		Calculating the differential cost of code changes (amazon.science)
		27 points by reckel 4 hours ago \| hide \| discuss
		More