Hacker News

1.		I can’t believe that I can prove that it can sort (adacore.com)
		105 points by Raphael_Amiard 3 hours ago \| hide \| 27 comments
2.		Functional programming jargon in plain English (github.com/hemanth)
		248 points by mgliwka 7 hours ago \| hide \| 77 comments
3.		Ask HN: How to keep my daughter busy while tickling her curiosity
		97 points by mquarks 3 hours ago \| hide \| 56 comments
4.		Indie Microblogging (book.micro.blog)
		88 points by JNRowe 4 hours ago \| hide \| 14 comments
5.		Police CyberAlarm Uses Alarming Cryptography (scottarc.blog)
		21 points by todsacerdoti 2 hours ago \| hide \| 6 comments
6.		Project Helix by Adobe (hlx.live)
		41 points by thefilmore 4 hours ago \| hide \| 55 comments
7.		Tesla Autopilot Almost Steers Model 3 into Oncoming Train (thedrive.com)
		43 points by samizdis 1 hour ago \| hide \| 31 comments
8.		Ubuntu Unity desktop back from the dead after several years' hiatus (theregister.com)
		143 points by samizdis 11 hours ago \| hide \| 133 comments
9.		My New Sony NW-A55 Walkman (rubenerd.com)
		228 points by Tomte 12 hours ago \| hide \| 205 comments
10.		Kable (YC W22), Billing for API Companies, Is Hiring (kable.io)
		1 hour ago \| hide
11.		We are splitting our database into Main and CI (about.gitlab.com)
		85 points by hardwaresofton 7 hours ago \| hide \| 20 comments
12.		Ask HN: First-time dad-to-be. What do you wish you'd known back then?
		9 points by lllllll0 29 minutes ago \| hide \| 8 comments
13.		A Journey into the Linux Scheduler (maxgio.me)
		9 points by maxgio92 2 hours ago \| hide \| 2 comments
14.		Robertson vs. Torx screw drives (2021) (pedriana.wordpress.com)
		151 points by nkurz 12 hours ago \| hide \| 161 comments
15.		Kubernetes is a red flag signalling premature optimisation (jeremybrown.tech)
		376 points by tenfourty 6 hours ago \| hide \| 330 comments
16.		From aardvark to woke: inside the Oxford English Dictionary (newstatesman.com)
		10 points by memorable 2 hours ago \| hide \| 3 comments
17.		Keep calm and use the runbook (cortex.io)
		68 points by kiyanwang 8 hours ago \| hide \| 28 comments
18.		Hardening attack surfaces with formally proven binary format parsers (microsoft.com)
		106 points by mbrodersen 11 hours ago \| hide \| 30 comments
19.		macOS: App sandboxing via sandbox-exec (2020) (karltarvas.com)
		108 points by emdashcomma 10 hours ago \| hide \| 17 comments
20.		Pirate Library Mirror: Preserving 7TB of books (that are not in Libgen) (pilimi.org)
		824 points by ValentineC 17 hours ago \| hide \| 335 comments
21.		Why nobody ever wins the car at the mall (2018) (thehustle.co)
		454 points by paulpauper 14 hours ago \| hide \| 211 comments
22.		Ask HN: Can competitors catch up to Apple Silicon?
		43 points by carlycue 3 hours ago \| hide \| 81 comments
23.		Popcorn Time Is Back (github.com/popcorn-official)
		293 points by lawgimenez 12 hours ago \| hide \| 128 comments
24.		Is the Ride over for Uber? (smartcompany.com.au)
		116 points by ekeating 14 hours ago \| hide \| 221 comments
25.		Goodbye Medium, hello Ghost (cryptofireside.com)
		161 points by goindeep 12 hours ago \| hide \| 117 comments
26.		Show HN: Beast – The Build System (github.com/gauravdawra)
		10 points by gaurav1804 4 hours ago \| hide \| 25 comments
27.		A carnivorous plant that traps prey underground (cnn.com)
		89 points by FeaturelessBug 13 hours ago \| hide \| 15 comments
28.		Vauld suspends all withdrawals, trading and deposits on the platform (vauld.com)
		98 points by sreekars 7 hours ago \| hide \| 79 comments
29.		About the Reactor (reed.edu)
		24 points by Hooke 7 hours ago \| hide \| 12 comments
30.		Give Up GitHub (sfconservancy.org)
		6 points by croes 14 minutes ago \| hide \| 1 comment
		More