todsacerdoti's submissions

1.		Polyglot-image: A disk image that boots on multiple architectures (github.com/blitz)
		2 points by todsacerdoti 4 hours ago \| past \| discuss
2.		Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me)
		1 point by todsacerdoti 4 hours ago \| past \| discuss
3.		We asked four AI coding agents to rebuild Minesweeper–the results were explosive (arstechnica.com)
		2 points by todsacerdoti 4 hours ago \| past \| discuss
4.		LAVD: Meta's New Default Scheduler [pdf] (lpc.events)
		19 points by todsacerdoti 6 hours ago \| past \| 1 comment
5.		Folder.zone: Share end-to-end encrypted folders live (folder.zone)
		2 points by todsacerdoti 10 hours ago \| past \| discuss
6.		Reproducing the NixOS 25.11 Minimal Installation ISO (engelen.eu)
		5 points by todsacerdoti 10 hours ago \| past \| discuss
7.		Logical gates on Floquet codes via folds and twists (arxiv.org)
		3 points by todsacerdoti 11 hours ago \| past \| discuss
8.		Schrödinger's test: The /dev/mem case (elisa.tech)
		2 points by todsacerdoti 11 hours ago \| past \| discuss
9.		Dirlock (steamos.cloud)
		4 points by todsacerdoti 12 hours ago \| past \| discuss
10.		Meeting could have been an Email (substack.com)
		2 points by todsacerdoti 13 hours ago \| past \| discuss
11.		Are We Loong Yet? (areweloongyet.com)
		23 points by todsacerdoti 15 hours ago \| past \| 18 comments
12.		Why Quantum Cryptanalysis Is Bollocks (youtube.com)
		2 points by todsacerdoti 16 hours ago \| past \| discuss
13.		The lightest notes app implementation in 111 loc (github.com/antonmedv)
		3 points by todsacerdoti 18 hours ago \| past \| 1 comment
14.		FreeBSD Closes the Laptop Gap: Year One Project Update (freebsdfoundation.org)
		5 points by todsacerdoti 20 hours ago \| past \| discuss
15.		Open Forms (aryank.in)
		2 points by todsacerdoti 22 hours ago \| past \| discuss
16.		Lua 5.5 Released (lua.org)
		51 points by todsacerdoti 1 day ago \| past \| 1 comment
17.		Towards a secure peer-to-peer app platform for Clan (clan.lol)
		2 points by todsacerdoti 1 day ago \| past \| discuss
18.		Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with T (sine.foundation)
		2 points by todsacerdoti 1 day ago \| past \| discuss
19.		Understanding your Linux graphics driver stack (timur.hu)
		4 points by todsacerdoti 1 day ago \| past \| 1 comment
20.		Installing Void Linux on ZFS with Hibernation Support (dragas.net)
		3 points by todsacerdoti 1 day ago \| past \| 1 comment
21.		Tinyfront (mooo.com)
		1 point by todsacerdoti 1 day ago \| past \| 1 comment
22.		Debian's Git Transition (diziet.dreamwidth.org)
		3 points by todsacerdoti 2 days ago \| past \| discuss
23.		The Cognitive Burden of Garbage Collection vs. Move Semantics (2023) (insanitybit.github.io)
		3 points by todsacerdoti 2 days ago \| past \| discuss
24.		Dumbphone journey – eight month update (frog.equipment)
		1 point by todsacerdoti 2 days ago \| past \| discuss
25.		Inverse Parentheses (kellett.im)
		4 points by todsacerdoti 2 days ago \| past \| discuss
26.		Computational complexity of New York Times games (arxiv.org)
		1 point by todsacerdoti 2 days ago \| past \| discuss
27.		You Can't Opt-Out of Accessibility (vale.rocks)
		10 points by todsacerdoti 2 days ago \| past \| 2 comments
28.		How I protect my Forgejo instance from AI web crawlers (esy.fun)
		182 points by todsacerdoti 2 days ago \| past \| 93 comments
29.		The atomic time scale at NIST Boulder has failed (journa.host)
		3 points by todsacerdoti 2 days ago \| past \| 1 comment
30.		Web/HTML Things to Avoid (catb.org)
		1 point by todsacerdoti 2 days ago \| past \| 1 comment
		More