lr0's submissions | Hacker News

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