recent posts

typetitleauthorlast post sort icon
Forum topicNew simple proof system Edwin Zacharias2017-08-13 22:29
Forum topicNOOL 2017 Roly Perera2017-08-11 12:22
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
Forum topichobbes, Morgan Stanley OSS Kalani2017-07-27 14:55
Forum topicQuestion: do you have to climb the tower of interpreters? artemonster2017-07-26 19:26
StoryThe Syntax and Semantics of Quantitative Type Theory naasking2017-07-26 18:34
StoryA Next Generation Smart Contract and Decentralized Application Platform Manuel J. Simoni2017-07-26 12:09
StoryThe APL Idiom List Ehud Lamm2017-07-20 09:13
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-07-14 15:18
Forum topicJust entertainment: Click, click, click! marco2017-07-13 22:32