Blaisorblade

typetitleauthor sort iconlast post
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicLogic Programming with Failure as an Exception Keean Schupke2016-03-07 06:17
Forum topicWhither actual generality/customizability/flexibility? raould2016-03-06 14:59
Forum topicNeed to Talk marco2016-02-02 05:56
Forum topicTyped X (Racket, Clojure, Lua) just doesn't pan out? raould2016-01-31 00:31
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
Forum topicTyped Data Andrew Moss2015-12-31 08:59
Forum topicLanguages for SIMT Architectures Keean Schupke2015-12-23 04:49
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
StoryBreaking Through the Normalization Barrier: A Self-Interpreter for F-omega naasking2015-11-18 18:04
Forum topicRumors in Complexity Theory marco2015-11-13 01:41
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicOn type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" Blaisorblade2015-10-24 14:35
Forum topicFree JFP papers Ehud Lamm2015-10-24 14:03
StoryDependent Types for Low-Level Programming naasking2015-10-16 07:59
Forum topicOptimal efficiency Keean Schupke2015-10-12 06:19
Forum topicSubclass, superclass, or siblings under an abstract superclass? Ray Dillinger2015-09-29 15:36
Forum topicword2vec Sean McDirmid2015-09-05 18:26
Forum topicModeration on LtU gasche2015-09-05 11:34
Forum topicNullable type is needed to fix Tony Hoare's "billion dollar mistake". Hewitt2015-09-04 10:12
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicHaskell for Mac Sean McDirmid2015-08-26 23:11
Forum topicUnstructured casting considered harmful to security Hewitt2015-08-25 14:11