Anders Horn

typetitleauthorlast post sort icon
Forum topicCognition and Coding Alex Berka2021-01-30 07:48
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
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
Forum topicRope jocob_knight2019-08-08 00:28
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-02-25 23:25
StoryNotes on notation and thought Ehud Lamm2018-08-05 22:54
Forum topicProof system for learning basic algebra Edwin Zacharias2018-05-25 20:27
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2018-01-26 06:42
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
Forum topicThe question of the possibility of a simple formal foundation to the natural languages. Enrique Perez Arnaud2017-08-16 01:24
Forum topicRestructor: Full Program Automatic Refactoring Wouter2017-06-16 21:17
Forum topicA language for blind uncomprehending idiots who have no idea how programs work. Ray Dillinger2016-08-08 13:51
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicTyped Data Andrew Moss2015-12-31 08:59
StoryCompilers as Assistants bashyal2015-12-04 15:35
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
StoryFreer Monads, More Extensible Effects naasking2015-09-14 03:17
Forum topicContinuous feedback in PL Sean McDirmid2015-08-21 14:39
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
Forum topicmanaging closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Rys McCusker2015-01-10 00:45
Forum topicExperiments in Code Typography Sean McDirmid2014-09-06 03:56