recent posts

type sort icontitleauthorlast post
StoryIdris 1.0 Released Ehud Lamm2017-04-02 22:33
StoryType Systems as Macros naasking2017-06-25 11:19
StoryDatabases from finite categories Charles Stewart2017-05-24 06:43
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
StoryJean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89 bashyal2017-06-08 14:50
StoryCo-hygiene and quantum gravity Manuel J. Simoni2017-06-17 16:22
StoryThe APL Idiom List Ehud Lamm2017-07-20 09:13
StoryYOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Ehud Lamm2017-07-12 11:44
StoryUndefined Behavior in 2017 bashyal2017-07-07 17:02
StoryRustBelt: Securing the Foundations of the Rust Programming Language naasking2017-07-10 15:17