recent posts

typetitleauthorlast post sort icon
Forum topicNullable type is needed to fix Tony Hoare's "billion dollar mistake". Hewitt2015-09-02 18:13
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicThe most obsolete infrastructure money could buy - my worst job ever Manuel J. Simoni2015-09-02 09:11
Forum topicF* (FStar) reworked and released as v0.9.0 raould2015-09-01 00:41
Forum topicword2vec Sean McDirmid2015-08-31 01:30
Forum topicLive programming in APX, an early peek Sean McDirmid2015-08-31 00:01
StoryReagents: Expressing and Composing Fine-grained Concurrency naasking2015-08-29 16:23
Forum topicOcaPic: Programming PIC microcontrollers in OCaml Allan McInnes2015-08-28 06:31
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicverified ML raould2015-08-27 00:17