recent posts

typetitleauthorlast post sort icon
Forum topicLambdas and objects as an existential type const2018-12-07 11:42
Forum topicPOLA Would Have Prevented the Event-Stream Incident MarkM2018-12-06 14:51
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2018-12-04 20:06
StoryThe Little Typer Anton van Straaten2018-11-13 20:59
StoryOn compositionality Charles Stewart2018-10-23 17:45
Forum topicVideo on Continuations johnnyb2018-10-12 02:55
Forum topicFlix on the JVM for static analysis raould2018-10-11 22:52
Forum topicCPS for the win? raould2018-10-10 03:15
Forum topicCo-continuations: a dual to shift/reset? xkapastel2018-10-08 14:34
Forum topicA pointer is an integer with a shiv Charles Stewart2018-09-26 09:02