lemper's submissions | Hacker News

1.		CHERI Myths: I don't need CHERI if I have safe languages (cheriot.org)
		3 points by lemper 21 days ago \| past
2.		Toyota's killer firmware: Bad design and its consequences (2013) (edn.com)
		2 points by lemper 46 days ago \| past \| 1 comment
3.		Venera Space Probes (wikipedia.org)
		2 points by lemper 66 days ago \| past
4.		Omakub: Opinionated Ubuntu Setup (github.com/basecamp)
		3 points by lemper 3 months ago \| past
5.		SerpentOS (serpentos.com)
		3 points by lemper 3 months ago \| past
6.		In which five different paths lead to methods (technomancy.us)
		16 points by lemper 3 months ago \| past
7.		The C++ Iceberg (fouronnes.github.io)
		1 point by lemper 4 months ago \| past \| 1 comment
8.		KMonad: An Advanced Keyboard Manager (github.com/kmonad)
		3 points by lemper 4 months ago \| past
9.		What Computers Cannot Do: The Consequences of Turing-Completeness (gavinhoward.com)
		2 points by lemper 4 months ago \| past \| 1 comment
10.		Exploiting the NT Kernel in 24H2 (exploits.forsale)
		2 points by lemper 4 months ago \| past
11.		Getting your Haskell executable statically linked without Nix (hasufell.github.io)
		5 points by lemper 4 months ago \| past
12.		[flagged] Type Safety Doesn't Matter (2023) (fpcomplete.com)
		20 points by lemper 4 months ago \| past \| 24 comments
13.		Bluefin Effect System (haskell.org)
		5 points by lemper 4 months ago \| past \| 1 comment
14.		Beckhoff achieves a smaller footprint by switching from Windows to FreeBSD (freebsdfoundation.org)
		4 points by lemper 4 months ago \| past
15.		Automated Stitching of Chip Images (bunniestudios.com)
		73 points by lemper 5 months ago \| past \| 14 comments
16.		Why the OpenSSL punycode vulnerability was not detected by fuzz testing (2022) (allsoftwaresucks.blogspot.com)
		112 points by lemper 5 months ago \| past \| 53 comments
17.		Hardest Problem in Computer Science: Centering Things (tonsky.me)
		6 points by lemper 5 months ago \| past \| 3 comments
18.		Zoomer Tries RSS: In Praise of Yarr (tudorr.ro)
		7 points by lemper 5 months ago \| past \| 1 comment
19.		A lazy and flippant classification of programming languages (brycekerley.net)
		83 points by lemper 5 months ago \| past \| 19 comments
20.		Nix from the Bottom Up (chriswarbo.net)
		2 points by lemper 7 months ago \| past
21.		Darktable: Crashing into the wall in slow-motion (ansel.photos)
		165 points by lemper 10 months ago \| past \| 106 comments
22.		From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (adacore.com)
		1 point by lemper 10 months ago \| past
23.		Tracing vs. Partial Evaluation (stefan-marr.de)
		1 point by lemper 11 months ago \| past
24.		How to Download and Install Linux (microsoft.com)
		50 points by lemper 11 months ago \| past \| 71 comments
25.		Gnome Merge Requests Opened That Would Drop X.org Session Support (phoronix.com)
		12 points by lemper 11 months ago \| past \| 5 comments
26.		Introduction to Web Sustainability (developer.mozilla.org)
		2 points by lemper 11 months ago \| past
27.		Literature review on the benefits of static types (2014) (danluu.com)
		43 points by lemper 11 months ago \| past \| 69 comments
28.		Comparing request handlers in Scotty, Yesod, and Servant (nicolashery.com)
		1 point by lemper on Sept 1, 2023 \| past
29.		From $Erverless to Elixir (bus-hit.me)
		2 points by lemper on Aug 30, 2023 \| past
30.		Elixir saves Pinterest $2M a year in server costs (paraxial.io)
		396 points by lemper on Aug 29, 2023 \| past \| 462 comments
		More