Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
A very short, very blunt, book note
logicmatters.net·13h
Bridging data silos: cross-bounded context querying with Vanguard’s Operational Read-only Data Store (ORDS) using Amazon Redshift
aws.amazon.com·9h
Vector Trifference
arxiv.org·2h
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·2h
Loading...Loading more...