typetitle sort iconauthorlast post
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
Forum topicYou don't mean people actually still use it?! Ehud Lamm2014-04-25 01:13
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicModern Shell Language Pavel P2014-04-06 11:51
StoryFacebook Introduces ‘Hack,’ the Programming Language of the Future bashyal2014-03-26 03:53
Forum topicParsing expression grammar MohamedIBrahim2014-03-07 14:05
StoryMixed-Site Variance bashyal2013-09-09 21:39
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Forum topicA Case for Gestures/Visualizations and Against Concrete Syntax Thomas Lord2013-08-25 05:05
Forum topicGlobal State Machines Inadequate (contra Dijkstra and Gurevich et. al.) Hewitt2013-08-14 18:34
Forum topicThe Power of Interoperability: Why Objects Are Inevitable Sean McDirmid2013-08-07 23:59
Forum topicQuote Safe unquote JVM language? markt2013-07-30 09:43
Forum topicmobile web apps are slow -- and GC is to blame Christian Lindig2013-07-18 22:05
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
Forum topicLibrary vs. domain specific language Gergely Buday2013-06-28 15:39
Forum topica Scientific Basis for Visual Notations raould2013-06-17 13:12
Forum topicCompile-time constraint solver? George Morrison2013-06-16 10:18
StoryTypesafe Activator Ehud Lamm2013-05-28 15:15
Forum topicTypeScript: Design-Time tool for Application-scale JavaScript development Charles Torre2013-05-21 02:56
Forum topic"Relational Model Outgrown" CACM May 2013 Hewitt2013-05-10 01:56
StoryRule 110 in HTML5 + CSS3 Z-Bo2013-04-09 08:23
StoryWho's online Ehud Lamm2013-04-02 09:09
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45