LtU Forum

 TopicReplies sort iconCreatedLast reply
 Fixed points considered harmful6255 years 17 hours ago
by Hewitt
4 years 46 weeks ago
by Thomas Lord
 Mathematics self-proves its own Consistency (contra Gödel et. al.)4706 years 45 weeks ago
by Hewitt
4 years 49 weeks ago
by Ross Angle
 Nullable type is needed to fix Tony Hoare's "billion dollar mistake".3834 years 41 weeks ago
by Hewitt
4 years 39 weeks ago
by Keean Schupke
 Experiment3666 years 5 days ago
by Ehud Lamm
5 years 35 weeks ago
by raould
 how many lines of code can civilization support?3035 years 11 weeks ago
by Thomas Lord
5 years 8 weeks ago
by Rys McCusker
 Types are fundamental to both logic and computation2835 years 7 weeks ago
by Hewitt
5 years 5 days ago
by Keean Schupke
 Strengthening Process Calculi2744 years 50 weeks ago
by raould
4 years 48 weeks ago
by Andrew Moss
 Buried Treasure - No Fluff Just Stuff24814 years 1 week ago
by Isaac Gouy
14 years 2 days ago
by Paul Snively
 What will programming look like in 2020? 2477 years 25 weeks ago
by Sean McDirmid
7 years 14 weeks ago
by Rys McCusker
 Why do we need modules at all?2465 years 30 weeks ago
by Sean McDirmid
5 years 26 weeks ago
by dmbarbour
 Big questions2424 years 42 weeks ago
by Ehud Lamm
4 years 40 weeks ago
by Bruce Rennie
 Aha! Programming Language2338 years 1 day ago
by rmovchan
7 years 33 weeks ago
by rmovchan
 Quantitative comparison of unit testing vs. static typing?2318 years 9 weeks ago
by lmeyerov
7 years 50 weeks ago
by Cyril
 Different approaches to letting a programmer define interface implementations.2246 years 22 weeks ago
by Kannan Goundan
6 years 20 weeks ago
by dmbarbour
 Objective scientific proof of OOP's validity? Don't need no stinkun' proof.21914 years 44 weeks ago
by Riaan Moll
14 years 41 weeks ago
by Jonathan Tang
 Research vs implementation, theory vs practice, and LtU2184 years 46 weeks ago
by Blaisorblade
4 years 44 weeks ago
by Keean Schupke
 expressivity of "idiomatic C++"21715 years 10 weeks ago
by el-vadimo
9 years 30 weeks ago
by Josh Stern
 Seeking thoughtful criticisms of functional programming and languages21710 years 7 weeks ago
by scottmcl
7 years 9 weeks ago
by Michael Moser
 What do you believe about Programming Languages (that you can't prove (yet))?21514 years 5 weeks ago
by John Carter
11 years 2 weeks ago
by dmbarbour
 managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps2155 years 29 weeks ago
by Rys McCusker
5 years 21 weeks ago
by Rys McCusker
 The Next Mainstream Programming Languages19714 years 18 weeks ago
by Per Vognsen
10 years 19 weeks ago
by smoore3
 From Programming Language Design (PLD) to Programmer Experience Design (PXD)1965 years 3 weeks ago
by Sean McDirmid
5 years 2 weeks ago
by marco
 Why type systems are interesting18715 years 47 weeks ago
by Anton van Straaten
10 years 13 weeks ago
by Ray Dillinger
 PL vs. PX1854 years 39 weeks ago
by Sean McDirmid
4 years 32 weeks ago
by raould
 Compilation to C, a definitive guide?18310 years 34 weeks ago
by naasking
4 years 48 weeks ago
by johnwcowan
XML feed