recent posts

typetitleauthorlast post sort icon
Forum topicThe hidden cost of exception handling Christophe de Dinechin2022-05-10 06:23
Forum topicMy article on state machines and DSL evolution const2022-05-05 12:54
Forum topicDo we need exactly two binding constructs? Qiantan Hong2022-03-30 22:03
StoryGraydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes Charles Stewart2022-02-27 21:50
Forum topicShen Standard Library Mark Tarver2022-02-06 21:06
Forum topicCUE: An open-source data validation language Robbert van Dalen2021-12-28 22:29
Forum topicCicada language -- a new dependently typed language xieyuheng2021-12-21 20:14
StoryLightweight Static Capabilities Paul Snively2021-12-02 13:45
Forum topicDo names and symbols really imply semantics? If so what to do about it? Ray Dillinger2021-11-22 16:49
Forum topicTrojan Source: Unicode Bidi Algorithm abuses in source code Ray Dillinger2021-11-05 03:43