Submissions from unnamed.website

		Installing Every NixOS Package (unnamed.website)
		2 points by OuterVale 14 days ago \| past
		Installing Every NixOS Package (unnamed.website)
		7 points by todsacerdoti 15 days ago \| past
		Bad Apple but it's Lean Tactics (unnamed.website)
		6 points by isaacimagine 5 months ago \| past
		Proving a stupid sort algorithm with Dafny (unnamed.website)
		1 point by fanf2 8 months ago \| past
		Floats Are Weird (unnamed.website)
		3 points by aebtebeten 8 months ago \| past \| 14 comments
		Haskelling My Python (unnamed.website)
		172 points by barrenko 8 months ago \| past \| 70 comments
		RNG and Cosine in Nix (unnamed.website)
		42 points by todsacerdoti 8 months ago \| past
		ICanProveItCanSort (unnamed.website)
		1 point by todsacerdoti 10 months ago \| past
		Fenwick Trees Are Awesome (unnamed.website)
		1 point by fanf2 10 months ago \| past \| 1 comment
		Dodecahedra (unnamed.website)
		5 points by vismit2000 11 months ago \| past \| 2 comments
		Fenwick Trees Are Awesome (unnamed.website)
		2 points by todsacerdoti 11 months ago \| past