naasking

typetitleauthorlast post sort icon
Forum topicSubclass, superclass, or siblings under an abstract superclass? Ray Dillinger2015-09-29 15:36
StoryFreer Monads, More Extensible Effects naasking2015-09-14 03:17
Forum topicword2vec Sean McDirmid2015-09-05 18:26
Forum topicModeration on LtU gasche2015-09-05 11:34
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
StoryReagents: Expressing and Composing Fine-grained Concurrency naasking2015-08-29 16:23
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicEric Lippert's Sharp Regrets Wolf Logan2015-08-24 11:10
StoryDraining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development gasche2015-08-22 15:22
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04
Forum topicLimitations of FRP? Sean McDirmid2015-08-04 08:28
Forum topicAggregations (e.g., sets) in Logic Programs Hewitt2015-08-03 00:08
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicWhen are Actors appropriate? raould2015-07-21 16:25
Forum topicFixed points considered harmful Hewitt2015-07-21 06:16
Forum topicLamport: Interprocess Communication Allan McInnes2015-07-07 08:06
Story Don Syme receives a medal for F# Ohad Kammar2015-07-06 18:06
Forum topicStrengthening Process Calculi raould2015-07-06 12:07
Forum topicCompilation to C, a definitive guide? naasking2015-07-05 19:00
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicXKCD on type theory... Ray Dillinger2015-06-16 21:32
StoryThe Unison Programming Platform naasking2015-06-13 14:16
Forum topicThe evolution of Rust qznc2015-06-07 16:54
Forum topicprocess oriented PL boot-strapping Rys McCusker2015-06-05 17:47