todsacerdoti's submissions

1.		Pulling a New Proof from Knuth's Fixed-Point Printer (swtch.com)
		5 points by todsacerdoti 1 hour ago \| past \| discuss
2.		LLMs have burned Billions but couldn't build another Tailwind (omarabid.com)
		10 points by todsacerdoti 2 hours ago \| past \| 4 comments
3.		Continuous Snapshotting Filesystem (nilfs.sourceforge.io)
		2 points by todsacerdoti 3 hours ago \| past \| discuss
4.		I Use Jujutsu (abhinavsarkar.net)
		2 points by todsacerdoti 3 hours ago \| past \| discuss
5.		Bare metal programming with RISC-V guide (2023) (popovicu.com)
		2 points by todsacerdoti 4 hours ago \| past \| 1 comment
6.		Hongdown: An opinionated Markdown formatter in Rust (github.com/dahlia)
		1 point by todsacerdoti 6 hours ago \| past \| discuss
7.		Gleam's Design and Compiler (youtube.com)
		1 point by todsacerdoti 6 hours ago \| past \| discuss
8.		Phosh 2025 in Retrospect (phosh.mobi)
		4 points by todsacerdoti 10 hours ago \| past \| discuss
9.		Prompting 101: Show, don't tell (haskellforall.com)
		7 points by todsacerdoti 19 hours ago \| past \| discuss
10.		An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (brics.dk)
		1 point by todsacerdoti 19 hours ago \| past \| discuss
11.		How we made Python's packaging library 3x faster (iscinumpy.dev)
		13 points by todsacerdoti 20 hours ago \| past \| 2 comments
12.		Answer Set Programming (2019) [pdf] (utexas.edu)
		2 points by todsacerdoti 23 hours ago \| past \| discuss
13.		Xous: A Pure-Rust Rethink of the Embedded Operating System [video] (youtube.com)
		2 points by todsacerdoti 1 day ago \| past \| discuss
14.		Handling secrets (somewhat) securely in shells (schreibt.jetzt)
		2 points by todsacerdoti 1 day ago \| past \| discuss
15.		&&&&&&&&&&&&&&Str (ohadravid.github.io)
		6 points by todsacerdoti 1 day ago \| past \| discuss
16.		Automatic TLS Certificates for Common Lisp with pure-TLS/acme (atgreen.github.io)
		4 points by todsacerdoti 1 day ago \| past \| discuss
17.		Celeste and TowerFall Physics (maddymakesgames.com)
		2 points by todsacerdoti 1 day ago \| past \| discuss
18.		Shell Scripts (f5n.org)
		3 points by todsacerdoti 1 day ago \| past \| discuss
19.		Magicall: End-to-end encrypted videoconferencing in the browser, now in alpha (magicall.online)
		4 points by todsacerdoti 1 day ago \| past \| discuss
20.		Jxl-Rs Merged into Chromium (github.com/chromium)
		4 points by todsacerdoti 1 day ago \| past \| discuss
21.		A Year of Typing: My NumPy Fellowship Retrospective (scientific-python.org)
		3 points by todsacerdoti 1 day ago \| past \| discuss
22.		Who Benefited from the Aisuru and Kimwolf Botnets? (krebsonsecurity.com)
		6 points by todsacerdoti 1 day ago \| past \| discuss
23.		Why SemVer fails when you patch old versions and what to do instead (tuxen.de)
		1 point by todsacerdoti 1 day ago \| past \| discuss
24.		Jujutsu v0.37.0 Released (github.com/jj-vcs)
		2 points by todsacerdoti 1 day ago \| past \| discuss
25.		Clang Hardening Cheat Sheet – Ten Years Later (quarkslab.com)
		3 points by todsacerdoti 1 day ago \| past \| discuss
26.		I Program in Awk (maximullaris.com)
		7 points by todsacerdoti 2 days ago \| past \| discuss
27.		Dialogue Between a Developer and a Kid (riggraz.dev)
		4 points by todsacerdoti 2 days ago \| past \| discuss
28.		Some Things I've Learned About Software [video] (youtube.com)
		4 points by todsacerdoti 2 days ago \| past \| discuss
29.		FreeBSD Home NAS, part 8: Backing up NFS and Samba data with restic (co.ua)
		3 points by todsacerdoti 2 days ago \| past \| discuss
30.		What would make OCaml serverless ready? (chrisarmstrong.dev)
		3 points by todsacerdoti 2 days ago \| past \| discuss
		More