Submissions from unnamed.website

		Proving a stupid sort algorithm with Dafny (unnamed.website)
		1 point by fanf2 2 days ago \| past \| discuss
		Floats Are Weird (unnamed.website)
		3 points by 082349872349872 4 days ago \| past \| 3 comments
		Haskelling My Python (unnamed.website)
		170 points by barrenko 7 days ago \| past \| 70 comments
		RNG and Cosine in Nix (unnamed.website)
		42 points by todsacerdoti 13 days ago \| past \| discuss
		ICanProveItCanSort (unnamed.website)
		1 point by todsacerdoti 61 days ago \| past
		Fenwick Trees Are Awesome (unnamed.website)
		1 point by fanf2 67 days ago \| past \| 1 comment
		Dodecahedra (unnamed.website)
		5 points by vismit2000 3 months ago \| past \| 2 comments
		Fenwick Trees Are Awesome (unnamed.website)
		2 points by todsacerdoti 3 months ago \| past