Steven Obua

typetitleauthorlast post sort icon
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
StoryWhy Did M.I.T. Switch from Scheme to Python? Leon P Smith2013-09-12 17:06
Forum topicWittgenstein versus Turing on Inconsistency Robustness Hewitt2012-03-05 22:15
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicCreate Your Own Programming Language (book) Manuel J. Simoni2011-08-23 14:45
Forum topicThe this argument in dynamic programming languages with OO and first-class functions Tom Primožič2011-08-22 19:36
Forum topicIs it possible to write code that works the very first time? M Riccobene2011-08-10 11:43
Forum topicBabel-17 v0.3 is out Steven Obua2011-07-21 23:06
Forum topicdoes your language need a memory model? el-vadimo2011-03-22 03:31
Forum topicI've run out of programming languages to study Josh Griggs2011-02-27 03:20
StoryThe Semicolon Wars James Iry2011-02-20 15:00
Forum topicPoints in the Pattern Matching Design Space Jules Jacobs2011-01-26 21:50
Forum topicguy steele on how (not) to think of parallel programming Thomas Lord2011-01-25 05:56
Forum topicThe AST Typing Problem shap2011-01-19 03:15
Forum topicLinear types, anyone? Ehud Lamm2011-01-14 06:48
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Forum topicRequest for feedback: Epoch Programming Language Mike Lewis2011-01-04 00:25
StoryHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Ehud Lamm2010-12-29 19:26
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
StorySemi-implicit batched remote code execution as staging Manuel J. Simoni2010-12-17 00:17
Forum topicBabel-17 v0.2 spec is out Steven Obua2010-12-11 00:22
Forum topicFirst-class environments. Discuss. ;) Manuel J. Simoni2010-11-18 13:31
StoryIt's been ten years! Ehud Lamm2010-08-11 08:07
Forum topicOverlapping Instances + Functional Dependencies Unsound? shap2010-08-08 15:11