LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Why is there no widely accepted progress for 50 years?4128 weeks 3 days ago
by Milton Silva
3 days 21 hours ago
by cpurdy
 What is a type?85 weeks 1 day ago
by Mats
6 days 19 hours ago
by dmbarbour
 Specialized File/Disk Systems for Actor Environments14 weeks 3 days ago
by mfidelman
3 weeks 3 days ago
by mfidelman
 Tackling the Awkward Squad for Reactive Programming15 weeks 5 days ago
by raould
4 weeks 2 days ago
by dmbarbour
 Limits of Computability04 weeks 3 days ago
by hbrandl
n/a
 Use Cases for Shared-Memory Concurrency?156 weeks 3 days ago
by shap
5 weeks 2 days ago
by cpurdy
 Is character as a type meaningless?2510 weeks 1 day ago
by Mats
5 weeks 4 days ago
by John Shutt
 Godel and Meta-Circularity 26 weeks 3 hours ago
by Matt M
5 weeks 4 days ago
by jpt4
 BNFT (Backus Naur Form Transformation) tool released511 years 6 weeks ago
by Poul Krogh
6 weeks 2 days ago
by Poul Krogh
 Async/await vs coroutines?87 weeks 4 days ago
by Matthew OConnor
6 weeks 3 days ago
by shap
 Exhaustiveness checks for algorithms that manipulate imperative data structures48 weeks 1 day ago
by Eduardo León
8 weeks 7 hours ago
by Eduardo León
 Abstraction Tiers of Notations1311 year 38 weeks ago
by const
10 weeks 1 day ago
by Mats
 Programming in Lambda Calculus317 weeks 2 days ago
by hbrandl
17 weeks 1 day ago
by John Shutt
 Idris2 is self-hosting122 weeks 5 days ago
by Ohad Kammar
19 weeks 4 days ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.022 weeks 6 days ago
by Enrique Perez Arnaud
n/a
 Owl: A parser generator for visibly pushdown languages.025 weeks 1 day ago
by helltone
n/a
 IEEE Scheme expiring soon904 years 29 weeks ago
by johnwcowan
27 weeks 5 days ago
by Tommi Höynälänmaa
 Deterministic Concurrency333 weeks 2 days ago
by Alex Berka
28 weeks 2 days ago
by Alex Berka
 Functional Constructors in Theme-D033 weeks 5 hours ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness140 weeks 2 days ago
by raould
37 weeks 2 days ago
by John Shutt
 Stepanov and McJones: Elements of Programming411 years 11 weeks ago
by Tom Duff
40 weeks 4 days ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy61 year 15 weeks ago
by cpurdy
49 weeks 6 days ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.050 weeks 1 day ago
by Ray Dillinger
n/a
 Type Mapping in Source-To-Source Translation31 year 4 days ago
by thomash
51 weeks 5 days ago
by thomash
 Advantages of pointfree?3611 years 32 weeks ago
by John Nowak
1 year 1 week ago
by dmbarbour
XML feed