Chad Wellington

typetitleauthorlast post sort icon
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicSome notes on Rust, the language. John Nagle2015-02-09 07:25
Forum topicThe broad ML Family workshop Oleg2014-07-31 10:07
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
Forum topicAmbiguous language namespaces Sean McDirmid2014-07-04 03:31
Forum topicSymbol visibility (public, private, protected, etc.) Talin2014-05-31 05:02
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicjavascript shift-reduce parser Ivan V.2013-11-16 00:54
Forum topicInteractive Parsing Theory Alexander Morou2013-11-09 06:15
Forum topicParsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) jurgenv2013-08-28 06:56
Forum topicA New Kind of Type System Sean McDirmid2013-07-03 18:06
Forum topicNimrod: A new statically typed, compiled programming language which supports metaprogramming dom962013-05-29 22:46
Forum topicGo-style defer-recover exception handling is better than try-catch style? Limin Fu2013-05-13 01:54
StoryParsing: The Solved Problem That Isn't James Iry2012-08-26 09:11
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
Forum topic[Meta] Are we Reddit? James Iry2012-02-29 02:46
Forum topicSyntax Desugaring Algorithm Question bryanedds2012-02-23 23:46
Forum topicCritical Programming Language Design Sean McDirmid2011-10-04 23:00
Forum topicLanguage/Compiler design blogs? Azh2011-10-04 09:20
StoryGoogle's "The Future of JavaScript" internal memo leaked Z-Bo2011-09-27 16:31
StoryProgramming and Scaling Manuel J. Simoni2011-08-23 16:56
StoryYacc is dead James Iry2011-08-10 17:06
StoryOne Pass Real-Time Generational Mark-Sweep Garbage Collection James Iry2011-05-18 23:10