lr0's submissions | Hacker News

1.		Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4 (arxiv.org)
		1 point by lr0 3 days ago \| past \| discuss
2.		The Most Important Design Guideline? (aristeia.com)
		2 points by lr0 3 days ago \| past \| discuss
3.		2026 will not be the 'Year of Linux on the Desktop', and I'm glad (kevinboone.me)
		1 point by lr0 6 days ago \| past \| 1 comment
4.		General Motors Replies to Bill Gates (wussu.com)
		2 points by lr0 10 days ago \| past \| 2 comments
5.		How we release the Spotify app, part 1 (atspotify.com)
		3 points by lr0 13 days ago \| past \| discuss
6.		goto Considered Awesome [video] (youtube.com)
		7 points by lr0 13 days ago \| past \| 1 comment
7.		I don't like imports (kevincox.ca)
		4 points by lr0 13 days ago \| past \| discuss
8.		WhatsApp Encryption, a Lawsuit, and a Lot of Noise (cryptographyengineering.com)
		2 points by lr0 16 days ago \| past
9.		How much "boilerplate tax" different languages have: a 400M LOC analysis (boyter.org)
		2 points by lr0 16 days ago \| past
10.		The unwritten laws of Engineering (1944) [pdf] (archive.org)
		1 point by lr0 22 days ago \| past
11.		Claude Constitution; or love as the solution to the AI alignment problem (nintil.com)
		1 point by lr0 23 days ago \| past
12.		Efail; vulnerabilities in the end-to-end of encryption of OpenPGP and S/MIME (efail.de)
		1 point by lr0 23 days ago \| past
13.		I'm not asking an LLM (lr0.org)
		4 points by lr0 24 days ago \| past
14.		The Death of Hype: What's Next for Scala (lihaoyi.com)
		4 points by lr0 26 days ago \| past \| 1 comment
15.		Ethical source is hot garbage (giovanh.com)
		2 points by lr0 27 days ago \| past
16.		EgyLinux Archive (lr0.org)
		2 points by lr0 30 days ago \| past
17.		I am moving away from Scala (arbuh.medium.com)
		17 points by lr0 31 days ago \| past \| 12 comments
18.		What's so bad about Microsoft? (kmfms.com)
		4 points by lr0 33 days ago \| past \| 1 comment
19.		How to open a file in Emacs (murilopereira.com)
		3 points by lr0 37 days ago \| past \| 1 comment
20.		Anna's Archive loses their .org domain (arstechnica.com)
		3 points by lr0 47 days ago \| past \| 1 comment
21.		The People of Emacs (kelar.org)
		4 points by lr0 48 days ago \| past
22.		How does a Linux machine connect to the internet, really? (pjg1.site)
		5 points by lr0 50 days ago \| past \| 1 comment
23.		Slop slop (roshangeorge.dev)
		2 points by lr0 53 days ago \| past
24.		New LLM Pre-Training and Post-Training Paradigms (sebastianraschka.com)
		2 points by lr0 56 days ago \| past \| 1 comment
25.		PNG in Chrome shows a different image than in Safari or any desktop app (lr0.org)
		70 points by lr0 57 days ago \| past \| 46 comments
26.		nowindows (fefe.de)
		20 points by lr0 69 days ago \| past \| 6 comments
27.		anarchy.html (stanford.edu)
		2 points by lr0 83 days ago \| past
28.		opensource.microsoft.com/thanks (opensource.microsoft.com)
		2 points by lr0 88 days ago \| past \| 1 comment
29.		[flagged] OOP: The worst thing that happened to programming (alexanderdanilov.dev)
		25 points by lr0 3 months ago \| past \| 23 comments
30.		The case against OOP is understated, not overstated (boxbase.org)
		4 points by lr0 3 months ago \| past \| 1 comment
		More