recent posts

typetitleauthorlast post sort icon
Forum topicMonads vs Applicative Functors. Keean Schupke2021-08-19 13:27
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
Forum topicDo names and symbols really imply semantics? If so what to do about it? Ray Dillinger2021-08-07 18:11
Forum topicWhat is a type? cpurdy2021-08-05 01:10
StoryIntroducing PathQuery, Google's Graph Query Language Z-Bo2021-07-27 13:34
Forum topicJava / CPython Language Bridge davidnichols2021-07-12 10:14
Forum topicEmacs modes: what is it? Qiantan Hong2021-07-09 15:09
Forum topicCFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems eeide2021-07-02 21:34
StoryGoogle announces Logica: organizing your data queries, making them universally reusable and fun Z-Bo2021-06-25 19:13
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2021-06-09 23:27