recent posts

typetitleauthorlast post sort icon
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-02-21 18:01
Forum topicVarious desired forms of reasonableness raould2020-02-07 15:53
Forum topicStepanov and McJones: Elements of Programming Tom Duff2020-01-15 00:50
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-11-11 13:37
StoryTensor Considered Harmful Z-Bo2019-11-09 02:27
Forum topicBjarne Stroustrup interview on Youtube. Ray Dillinger2019-11-08 23:32
Forum topicType Mapping in Source-To-Source Translation thomash2019-10-29 17:23
Forum topicAdvantages of pointfree? John Nowak2019-10-17 16:20
Forum topicHistogram: You have to know the past to understand the present by Tomas Petricek spdegabrielle2019-09-24 22:04
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22