recent posts

type sort icontitleauthorlast post
StoryPlatonic C# - Managing Referential Transparency through Unique Types cdiggins2023-04-05 14:26
StoryComputer History Museum releases PostScript source Matt Hellige2022-12-13 00:15
StoryThe Verse Calculus: a Core Calculus for Functional Logic Programming cdiggins2024-01-11 00:12
StoryLtU is now running in a new, more stable environment Anton van Straaten2022-11-28 23:40
StoryGraydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes Charles Stewart2023-03-08 05:47
StoryLatent Effects for Reusable Language Components naasking2021-10-14 14:02
StoryIntroducing PathQuery, Google's Graph Query Language Z-Bo2021-07-27 13:34
StoryGoogle announces Logica: organizing your data queries, making them universally reusable and fun Z-Bo2021-09-24 17:33
StoryCoq will be renamed Ohad Kammar2021-05-10 14:44
StoryLAMBDA: The ultimate Excel worksheet function bashyal2021-04-01 21:52