Ray Dillinger

typetitle sort iconauthorlast post
StoryHow to Build Static Checking Systems Using Orders of Magnitude Less Code naasking2016-06-12 18:06
Forum topicProgramming with a Differentiable Forth Interpreter Sean McDirmid2016-06-06 19:46
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicSTEPS Toward the Reinvention of Programming, 2012 Final Report Greg Buchholz2016-05-26 05:14
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicAlgebra Of Pointers Keean Schupke2016-05-10 23:01
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicBest successor to Scheme? raould2016-05-03 06:31
Forum topicRemora: An Array-Oriented Language with Static Rank Polymorphism raould2016-04-24 16:35
Forum topicBinary Representation - Is it something to rise above? Ray Dillinger2016-04-24 02:14
Forum topicIEEE Scheme expiring soon johnwcowan2016-04-16 17:32
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
Forum topicEarl Grey; the story of a new programming language Greg Buchholz2016-03-31 23:37
Forum topic¿How can a dynamically typed language not actively prevent static checking? raould2016-03-31 23:06
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicNew Regexp Ivan Vodišek2016-03-24 12:55
Forum topicWhy not C++? raould2016-03-22 14:41
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
Forum topicSubclass, superclass, or siblings under an abstract superclass? Ray Dillinger2015-09-29 15:36
StoryDraining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development gasche2015-08-22 15:22
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicXKCD on type theory... Ray Dillinger2015-06-16 21:32
Forum topicTypes are fundamental to both logic and computation Hewitt2015-06-02 11:07
Forum topicWhy we don't believe in Visual Programming Tiago Simoes2015-04-14 15:24