Submissions from unnamed.website

		3D-Printing a Trombone (unnamed.website)
		30 points by surprisetalk 44 days ago \| past \| 4 comments
		The Evolution of a Lean Programmer (unnamed.website)
		5 points by aebtebeten 3 months ago \| past \| 1 comment
		Haskelling My Typst (unnamed.website)
		6 points by todsacerdoti 5 months ago \| past
		Installing Every NixOS Package (unnamed.website)
		2 points by OuterVale 5 months ago \| past
		Installing Every NixOS Package (unnamed.website)
		7 points by todsacerdoti 5 months ago \| past
		Bad Apple but it's Lean Tactics (unnamed.website)
		6 points by isaacimagine 10 months ago \| past
		Proving a stupid sort algorithm with Dafny (unnamed.website)
		1 point by fanf2 on April 23, 2025 \| past
		Floats Are Weird (unnamed.website)
		3 points by aebtebeten on April 21, 2025 \| past \| 14 comments
		Haskelling My Python (unnamed.website)
		172 points by barrenko on April 18, 2025 \| past \| 70 comments
		RNG and Cosine in Nix (unnamed.website)
		42 points by todsacerdoti on April 13, 2025 \| past
		ICanProveItCanSort (unnamed.website)
		1 point by todsacerdoti on Feb 24, 2025 \| past
		Fenwick Trees Are Awesome (unnamed.website)
		1 point by fanf2 on Feb 17, 2025 \| past \| 1 comment
		Dodecahedra (unnamed.website)
		5 points by vismit2000 on Jan 17, 2025 \| past \| 2 comments
		Fenwick Trees Are Awesome (unnamed.website)
		2 points by todsacerdoti on Jan 15, 2025 \| past