Ray Dillinger

typetitleauthorlast post sort icon
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
Forum topicNegation in Logic Languages Keean Schupke2015-02-19 17:21
Forum topicConstraint-Based Type Inference and Parametric Polymorphism Sean McDirmid2015-02-13 23:43
Forum topicsymbols and loosely coupled concurrent apps part II Rys McCusker2015-02-10 22:23
Forum topicSome notes on Rust, the language. John Nagle2015-02-09 07:25
Forum topicHow can languages help us in terms of achieving correct program design? bryanedds2015-02-02 17:56
Forum topicHow can middle school algebra help with domain specific languages? shahbaz2015-01-21 17:18
Forum topicmanaging closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Rys McCusker2015-01-10 00:45
Forum topicHow can be a interpreter faster than C (aka: kdb+) mamcx2014-12-31 14:26
Forum topicFunction Readability & Understandability Keean Schupke2014-12-28 20:07
Forum topicLet's kick continuations around for a while... Ray Dillinger2014-12-26 18:05