type  title  author  last post 
Forum topic  PuzzleScript  Tim Foley  20140201 15:29 
Story  The marriage of bisimulations and Kripke logical relations  Charles Stewart  20140201 12:46 
Forum topic  Pragmatic aspects of dimension types, and the problem of angles  Douglas McClean  20140114 17:44 
Forum topic  Inconsistency Robustness in Logic Programs  Hewitt  20140101 18:30 
Forum topic  Strong Mathematical Foundations for Computer Science  Hewitt  20131125 14:58 
Forum topic  actors conflate too much  raould  20131116 01:13 
Forum topic  Continuation of Discussion: "Mathematics selfproves its own Consistency (contra GÃ¶del et. al.)"  Hewitt  20131026 19:36 
Forum topic  Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London  paulboca  20131003 17:00 
Forum topic  How is LtU doing?  Sean McDirmid  20130929 23:55 
Story  History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future  Ehud Lamm  20130728 20:42 
Story  The Three Laws of Programming Language Design  bashyal  20130704 14:32 
Story  On the history of the question of whether natural language is â€œillogicalâ€  Ehud Lamm  20130606 15:18 
Forum topic  Endofunctions, cycles and chains  hbrandl  20130429 17:36 
Story  DYNAMO  Ehud Lamm  20130416 20:53 
Forum topic  Five "laws" of programming paradigms  Peter Van Roy  20130407 20:15 
Forum topic  Import Systems  Kay Schluehr  20130114 15:05 
Forum topic  Relational Model Considered Obsolete  Hewitt  20130112 03:12 
Forum topic  Visability, state, and Identity  Hank Thediek  20130107 22:21 
Forum topic  Career paths and concerns  Jonathan Schuster  20120331 18:04 
Forum topic  Wittgenstein versus Turing on Inconsistency Robustness  Hewitt  20120305 22:15 
Story  Computing Needs Time  Allan McInnes  20120305 19:35 
Forum topic  Embedding Prolog in Haskell  Frank Atanassow  20120213 17:04 
Story  Diagram showing all programming paradigms and their relationships  Peter Van Roy  20120113 17:06 
Forum topic  "We Really Don't Know How to Compute!" by Gerald Sussman  puredanger  20111119 23:37 
Forum topic  What is computation? Concurrency versus Turing's Model  Hewitt  20110222 13:52 

Recent comments
59 min 25 sec ago
1 hour 47 min ago
3 hours 14 min ago
4 hours 31 min ago
4 hours 39 min ago
5 hours 20 min ago
6 hours 51 min ago
7 hours 30 min ago
7 hours 40 min ago
13 hours 7 min ago