Hacker News

1.		Tinyalloc: replacement for malloc/free in unmanaged, linear memory situations (github.com)
		95 points by ingve 3 hours ago \| hide \| 12 comments
2.		The Verified CakeML Compiler Backend (2018) [pdf] (cmu.edu)
		35 points by fanf2 3 hours ago \| hide \| discuss
3.		Ask HN: How did you decide what problems to solve in your lifetime?
		323 points by amadk 9 hours ago \| hide \| 167 comments
4.		Single C file TLS 1.2/1.3 implementation using tomcrypt (github.com)
		38 points by adulau 3 hours ago \| hide \| 14 comments
5.		Build your own Mint (github.com)
		83 points by meagher 4 hours ago \| hide \| 18 comments
6.		Would you still pick Elixir in 2019? (github.com)
		186 points by kristerv 4 hours ago \| hide \| 90 comments
7.		The Sounds That Haunted US Diplomats in Cuba? Lovelorn Crickets, Scientists Say (nytimes.com)
		112 points by Someone 7 hours ago \| hide \| 61 comments
8.		Interactive Deep Learning Book (UC Berkeley) (d2l.ai)
		26 points by left-left 2 hours ago \| hide \| 1 comment
9.		Tree Style Tabs (addons.mozilla.org)
		333 points by gamma-male 15 hours ago \| hide \| 128 comments
10.		Understanding Parser Combinators (2015) (fsharpforfunandprofit.com)
		25 points by signa11 5 hours ago \| hide \| 12 comments
11.		Why Telegram is insecure (gitlab.com)
		205 points by known 7 hours ago \| hide \| 180 comments
12.		C programmers with Mac experience wanted for revival of Eudora eMail client (reddit.com)
		62 points by lproven 4 hours ago \| hide \| 26 comments
13.		Why is Maxwell's theory so hard to understand? (2007) [pdf] (cam.ac.uk)
		29 points by fanf2 7 hours ago \| hide \| 8 comments
14.		In Its First Decades, the United States Nurtured Schoolgirl Mapmakers (atlasobscura.com)
		10 points by prismatic 4 hours ago \| hide \| discuss
15.		Show HN: Founder Stuff – The webpage for founders (founderstuff.xyz)
		18 points by adithvictor 5 hours ago \| hide \| 2 comments
16.		The Last Question (multivax.com)
		16 points by throwaway2419 1 hour ago \| hide \| 3 comments
17.		Lasers vs. Microwaves: A Billion-Dollar Bet on the Future of Magnetic Storage (ieee.org)
		50 points by amynordrum 9 hours ago \| hide \| 3 comments
18.		Ask HN: How do you keep track of your creative thoughts?
		159 points by jianzong 9 hours ago \| hide \| 157 comments
19.		Class of 2019: artists and writers whose works have entered the public domain (publicdomainreview.org)
		53 points by benbreen 12 hours ago \| hide \| 6 comments
20.		What I Learned from Working 32 Hours a Week (atomicobject.com)
		77 points by ingve 5 hours ago \| hide \| 57 comments
21.		Zalando/skipper:HTTP router and reverse proxy for service composition (github.com)
		13 points by kiyanwang 5 hours ago \| hide \| discuss
22.		Two Monkeys (riowang.blogspot.com)
		33 points by acsillag 9 hours ago \| hide \| 6 comments
23.		What Can a President Do During a State of Emergency? (theatlantic.com)
		5 points by aaronbrethorst 32 minutes ago \| hide \| 1 comment
24.		Growing Caltrain into an 8-Lane Freeway (2018) (caltrain-hsr.blogspot.com)
		24 points by jseliger 8 hours ago \| hide \| 32 comments
25.		The Price of a Hack (npr.org)
		5 points by danso 2 hours ago \| hide \| discuss
26.		Olive: new non-linear video editor (libregraphicsworld.org)
		49 points by app4soft 4 hours ago \| hide \| 12 comments
27.		DAN64, an AVR based 8-bit microcomputer (usebox.net)
		72 points by bjoko 14 hours ago \| hide \| 14 comments
28.		Ask HN: How do you organise your hard drive?
		193 points by cogs 14 hours ago \| hide \| 161 comments
29.		The trouble with writing a pop-econ book (reddit.com)
		53 points by RepAgent 15 hours ago \| hide \| 19 comments
30.		SageDB: A Learned Database System [pdf] (alexbeutel.com)
		56 points by ngaut 14 hours ago \| hide \| 2 comments
		More