LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Elements of Programming in Rust01 year 26 weeks ago
by Keean Schupke
n/a
 IEEE Scheme expiring soon841 year 29 weeks ago
by johnwcowan
1 year 27 weeks ago
by Ray Dillinger
 Some questions concerning P != NP171 year 28 weeks ago
by Carter Cheng
1 year 27 weeks ago
by Andrew Moss
 Good books on theoretical aspects of type theory when it applies to computer science and languages01 year 28 weeks ago
by Carter Cheng
n/a
 Best opening sentence ever, in a paper on S-Exprs for IDEs.101 year 29 weeks ago
by raould
1 year 29 weeks ago
by johnwcowan
 SFI Talk: Four the hard way: Computer design and living software01 year 29 weeks ago
by marco
n/a
 Onward 2016 call41 year 34 weeks ago
by Sean McDirmid
1 year 29 weeks ago
by Sean McDirmid
 Formalization and programming language design -- explained to all1291 year 37 weeks ago
by gasche
1 year 29 weeks ago
by Keean Schupke
 Fabula programming language72 years 6 weeks ago
by rmovchan
1 year 29 weeks ago
by rmovchan
 Earl Grey; the story of a new programming language671 year 37 weeks ago
by Greg Buchholz
1 year 29 weeks ago
by marco
 ¿How can a dynamically typed language not actively prevent static checking?931 year 29 weeks ago
by raould
1 year 29 weeks ago
by naasking
 Is the "Getting started"-guide up-to-date?231 year 31 weeks ago
by filipallberg
1 year 29 weeks ago
by Sean McDirmid
 New Regexp131 year 35 weeks ago
by Ivan Vodišek
1 year 30 weeks ago
by Ivan Vodišek
 Why not C++?131 year 33 weeks ago
by raould
1 year 30 weeks ago
by skaller
 Logic Programming with Failure as an Exception891 year 36 weeks ago
by Keean Schupke
1 year 33 weeks ago
by Keean Schupke
 Whither actual generality/customizability/flexibility?121 year 34 weeks ago
by raould
1 year 33 weeks ago
by John Shutt
 Learning two dialects simultaneously (CL/Scheme)41 year 35 weeks ago
by filipallberg
1 year 35 weeks ago
by Ehud Lamm
 Programmatic and Direct Manipulation, Together at Last181 year 37 weeks ago
by Sean McDirmid
1 year 36 weeks ago
by Sam Tobin-Hochstadt
 Andl is a New Database Language71 year 37 weeks ago
by davidb
1 year 37 weeks ago
by davidb
 SPREAD: Authenticated reusable computations111 year 37 weeks ago
by Robbert van Dalen
1 year 37 weeks ago
by Matt M
 Challenges Facing a High-Level Language for Machine Knitting501 year 39 weeks ago
by marco
1 year 37 weeks ago
by Sean McDirmid
 Need to Talk561 year 41 weeks ago
by marco
1 year 37 weeks ago
by Thomas Lord
 Typed X (Racket, Clojure, Lua) just doesn't pan out?141 year 40 weeks ago
by raould
1 year 38 weeks ago
by adrieng
 PECAN: Persuasive Prediction of Concurrency Access Anomalies01 year 38 weeks ago
by raould
n/a
 Project Lamdu91 year 39 weeks ago
by Greg Buchholz
1 year 39 weeks ago
by Sean McDirmid
XML feed