2Zippers: Making Functional "Updates" Efficient (2010) (opens in new tab)(goodmath.org)63tinyspacewizard8mo ago15Save
3Why isn't differential dataflow more popular? (2021) (opens in new tab)(scattered-thoughts.net)2tinyspacewizard10mo ago0Save
4RelationalFactQA: A Benchmark for Evaluating Tabular Fact Retrieval from LLMs (opens in new tab)(arxiv.org)arXiv1tinyspacewizard1y ago0Save
5Higher-kinded bounded polymorphism in OCaml (2021) (opens in new tab)(okmij.org)141tinyspacewizard1y ago10Save
8UK to extend compulsory math education to 18 (opens in new tab)(bbc.co.uk)9tinyspacewizard3y ago1Save
9Why calculating is better than scheming (1987) [pdf] (opens in new tab)(cs.kent.ac.uk)PDF3tinyspacewizard3y ago1Save