recent posts

typetitle sort iconauthorlast post
Forum topic Colorful dominoes game hides an exercise in propositional logic jasha1232010-01-08 10:29
Story Build your own scripting language for Java Chris Rathman2006-05-03 01:12
Story Behaviour: Using CSS selectors to apply Javascript functionality Ehud Lamm2005-07-05 05:58
Forum topic Algorithmically Unbounded Journal of Mathematical Truths Philip Dorrell2004-10-25 18:56
Story A Tutorial on Proof Theoretic Foundations of Logic Programming Ehud Lamm2005-03-21 08:30
Story Constraint-Based Type Inference for Guarded Algebraic Data Types Ehud Lamm2004-06-21 11:36