Hacker News

1.		Show HN: A central bank simulator game with a realistic economic model (benoitessiambre.com)
		77 points by BenoitEssiambre 1 hour ago \| hide \| 24 comments
2.		The most satisfying checkbox (andy.works)
		365 points by feross 6 hours ago \| hide \| 172 comments
3.		Online privacy: to what extent should you try to go dark? (cyb3rsecurity.tips)
		31 points by nunorbatista 1 hour ago \| hide \| 3 comments
4.		Physicists link two time crystals in seemingly impossible experiment (space.com)
		88 points by galaxyLogic 4 hours ago \| hide \| 30 comments
5.		CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)
		234 points by ingve 8 hours ago \| hide \| 52 comments
6.		Writing like a pro with Vale and Neovim (bhupesh.me)
		165 points by feross 7 hours ago \| hide \| 84 comments
7.		A hackable hobby programming language (colorfield.space)
		37 points by creative_spirit 4 hours ago \| hide \| 16 comments
8.		The Celera 500L passenger plane gets hydrogen powertrain (newatlas.com)
		83 points by clouddrover 6 hours ago \| hide \| 80 comments
9.		Parallel Search Speeds Up Time Travel Debugging by 4x (undo.io)
		37 points by mark_undoio 4 hours ago \| hide \| 8 comments
10.		Moth wing–inspired sound absorbing wallpaper in sight after breakthrough (phys.org)
		9 points by thedday 2 hours ago \| hide \| discuss
11.		Polar bears that can survive without sea ice (nature.com)
		66 points by gmays 7 hours ago \| hide \| 44 comments
12.		Skio (subscriptions for Shopify, easy ReCharge migrations) is hiring in NYC (skio.com)
		2 hours ago \| hide
13.		Ante: A low-level functional language (antelang.org)
		336 points by cheesestain 16 hours ago \| hide \| 167 comments
14.		Show HN: Let's build an end-to-end encrypted data store (bulwark.id)
		32 points by cmdli 4 hours ago \| hide \| discuss
15.		Erik Brynjolfsson on automation, productivity, work, and the future (rootsofprogress.org)
		27 points by feross 5 hours ago \| hide \| 2 comments
16.		Three Arrows Capital reportedly facing insolvency (fxstreet.com)
		257 points by paulpauper 2 hours ago \| hide \| 262 comments
17.		Ask HN: Best dev tool pitches of all time?
		159 points by swyx 5 hours ago \| hide \| 87 comments
18.		Do we need a better understanding of 'progress'? (bbc.com)
		59 points by pmoriarty 6 hours ago \| hide \| 41 comments
19.		Leaked Amazon memo warns the company is running out of people to hire (vox.com)
		483 points by Umofomia 9 hours ago \| hide \| 572 comments
20.		Adding a Rust compiler front end to GCC [video] (youtube.com)
		149 points by blopeur 11 hours ago \| hide \| 37 comments
21.		Making the collective knowledge of chemistry open and machine actionable (nature.com)
		83 points by bryanrasmussen 9 hours ago \| hide \| 24 comments
22.		Alien intelligence and the concept of technology (stephenwolfram.com)
		78 points by MtNeerJK81 6 hours ago \| hide \| 51 comments
23.		Probiotics can support the effect of antidepressants (unibas.ch)
		180 points by NickRandom 11 hours ago \| hide \| 154 comments
24.		Redbean 2.0 turned into more than a hobby project (justine.lol)
		927 points by jart 1 day ago \| hide \| 190 comments
25.		The Design of SQLite4 (sqlite.org)
		72 points by harporoeder 1 hour ago \| hide \| 12 comments
26.		That Ol’ Thumb (lrb.co.uk)
		10 points by benbreen 2 hours ago \| hide \| 1 comment
27.		How to make sense of ancient Greek colours (2020) (kiwihellenist.blogspot.com)
		19 points by benbreen 3 hours ago \| hide \| 1 comment
28.		Neuromorphic chip dramatically reduces power requirements for rolling robot (techxplore.com)
		18 points by mdp2021 3 hours ago \| hide \| 4 comments
29.		Nanokelvin-resolution thermometry at room temperature (nature.com)
		44 points by pcrh 7 hours ago \| hide \| 12 comments
30.		Calculating the differential cost of code changes (amazon.science)
		44 points by reckel 7 hours ago \| hide \| discuss
		More