tinyspacewizard's submissions

1.		Tying the Knot (haskell.org)
		3 points by tinyspacewizard 80 days ago \| past
2.		Zippers: Making Functional "Updates" Efficient (2010) (goodmath.org)
		63 points by tinyspacewizard 85 days ago \| past \| 15 comments
3.		Why isn't differential dataflow more popular? (2021) (scattered-thoughts.net)
		2 points by tinyspacewizard 4 months ago \| past
4.		RelationalFactQA: A Benchmark for Evaluating Tabular Fact Retrieval from LLMs (arxiv.org)
		1 point by tinyspacewizard 6 months ago \| past
5.		Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)
		141 points by tinyspacewizard on July 28, 2024 \| past \| 10 comments
6.		The Moirai Programming Language (github.com/moirai-lang)
		2 points by tinyspacewizard on June 22, 2024 \| past
7.		The Kernel Programming Language (wpi.edu)
		2 points by tinyspacewizard on Jan 14, 2023 \| past \| 1 comment
8.		UK to extend compulsory math education to 18 (bbc.co.uk)
		9 points by tinyspacewizard on Jan 4, 2023 \| past \| 1 comment
9.		Why calculating is better than scheming (1987) [pdf] (kent.ac.uk)
		3 points by tinyspacewizard on Nov 11, 2022 \| past \| 1 comment