recent posts

type sort icontitleauthorlast post
StoryLAMBDA: The ultimate Excel worksheet function bashyal2021-01-27 03:27
StoryGoogle Brain's Jax and Flax Z-Bo2021-01-15 15:01
StoryBuilt to Last Ehud Lamm2020-12-17 03:14
StoryThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Manuel J. Simoni2020-08-25 22:44
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-08-21 15:42
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
StoryTensor Considered Harmful Z-Bo2019-11-09 02:27
StorySeven Sketches in Compositionality: An Invitation to Applied Category Theory Andris Birkmanis2019-05-24 22:34
Story"Three Things I Wish I Knew When I Started Designing Languages" Charles Stewart2019-05-14 00:54