recent posts

typetitleauthorlast post sort icon
Forum topicCognition and Coding Alex Berka2021-01-30 07:48
Forum topicConcurrent System Programming with Effect Handlers raould2021-01-26 03:50
Forum topicLoop and recursion Mats2021-01-21 21:50
Forum topicA problem about programming with macros vs Kernel F-exprs Qiantan Hong2021-01-19 04:39
StoryGoogle Brain's Jax and Flax Z-Bo2021-01-15 15:01
Forum topicIs there an existing name for my higher-order function? shawnbrown2021-01-05 04:44
Forum topicObject graph 'integrals' const2020-12-31 16:30
StoryBuilt to Last Ehud Lamm2020-12-17 03:14
Forum topiclooking for dependent research proof system language implemented in C++ AaronNGray2020-12-16 14:12
Forum topicThe AST Typing Problem (a bleg, also "why did attribute-grammars fail?") chetmurthy2020-12-15 19:40