recent posts

type sort icontitleauthorlast post
StoryAutomating Ad hoc Data Representation Transformations naasking2016-09-29 18:54
StoryProving Programs Correct Using Plain Old Java Types naasking2016-11-11 00:28
StorySalon des Refusés -- Dialectics for new computer science gasche2017-02-19 07:18
StoryPolymorphism, subtyping and type inference in MLsub gasche2018-05-17 10:46
StoryJoe Armstrong Interviews Alan Kay Ehud Lamm2016-11-25 18:23
StoryContextual isomorphisms gasche2017-03-10 16:30
StoryDo Be Do Be Do gasche2017-01-12 18:51
StoryStroustrup's Rule and Layering Over Time Ehud Lamm2017-01-04 21:43
StoryThe complexity of abstract machines gasche2017-01-12 01:09
Storykdb+ 3.5 released last month Z-Bo2017-03-26 23:57