3Hydra: Type-aware transformations for data and programs (opens in new tab)(hackage.haskell.org)5wisnesky3y ago2Save
5A Multi-Model Abstract Data Type and Economic Engine [pdf] (opens in new tab)(rredux.com)PDF18wisnesky6y ago0Save
6Mm-ADT VM integrates query languages, processors, and storage systems (opens in new tab)(mm-adt.org)1wisnesky6y ago0Save
7Reddit AMA: Brendan Fong and David Spivak about Applied Category Theory (opens in new tab)(reddit.com)3wisnesky6y ago0Save
8Is the Equal Sign Overrated? Mathematicians Hash It Out (opens in new tab)(wired.com)2wisnesky6y ago0Save
11MIT spinout offering $1.5M to ventures in Applied Category Theory (opens in new tab)(reddit.com)8wisnesky7y ago0Save
12MIT spinout offering up to $1M to ventures in Applied Category Theory (opens in new tab)(conexus.ai)1wisnesky7y ago1Save
