Ben L. Titzer

typetitleauthorlast post sort icon
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
StoryCompilers as Assistants bashyal2015-12-04 15:35
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
Forum topicSubclass, superclass, or siblings under an abstract superclass? Ray Dillinger2015-09-29 15:36
Forum topicWhen are Actors appropriate? raould2015-07-21 16:25
Forum topicCompilation to C, a definitive guide? naasking2015-07-05 19:00
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicThe evolution of Rust qznc2015-06-07 16:54
Forum topicGenerating compiler back ends at the snap of a finger raould2015-05-28 15:24
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
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 topicVirgil: a statically-typed language balancing functional and OO features Kartik Agaram2014-10-25 23:08
Forum topicJonathan Blow's next foray into game language design jdougan2014-10-21 20:35
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
StoryInteractive scientific computing; of pythonic parts and goldilocks languages gasche2014-07-24 16:28
StoryDeca, an LtU-friendly bare metal systems programming language Anton van Straaten2014-04-23 16:10
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
Forum topicInheritance is the Base Class of Evil Charles Torre2014-02-26 22:16
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
Forum topicCompile-time constraint solver? George Morrison2013-06-16 10:18
Forum topicA little comparison of some programming lanugages raould2013-06-15 20:14