typetitleauthorlast post sort icon
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicWhither FRP? raould2016-09-03 12:47
Forum topicSTEPS Toward the Reinvention of Programming, 2012 Final Report Greg Buchholz2016-05-26 05:14
Forum topicA Farewell to FRP in Elm Greg Buchholz2016-05-11 15:35
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicMCG: A Visual Functional Programming Language cdiggins2015-11-02 19:34
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicHalide: a language for image processing and computational photography Thomas Lord2015-10-20 22:35
Forum topicThe future of live programming Sean McDirmid2015-10-17 01:38
Forum topicword2vec Sean McDirmid2015-09-05 18:26
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicImplementing the communication semantics of actors Andrew Moss2015-08-24 18:31
Forum topicContinuous feedback in PL Sean McDirmid2015-08-21 14:39
Forum topicLimitations of FRP? Sean McDirmid2015-08-04 08:28
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicWhither Flow Analysis? raould2014-11-14 11:54
Forum topicEigenCFA: Accelerating Flow Analysis with GPUs Alex12014-11-03 02:01
Forum topicPreaching to the already converted: Om raould2014-10-09 20:24
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
Forum topicRe-thinking Prolog Alex12014-09-24 11:21
Forum topicReactive Programming J Storrs Hall2014-08-06 03:32