Lambda the Ultimate

type	title	author	last post
Story	The Three Laws of Programming Language Design Learn the math instead by Hank Thediek	bashyal	2013-07-04 14:32
Story	On the history of the question of whether natural language is “illogical” The surround and conquer by Hank Thediek Re Hilgart by Hank Thediek Thanks for the comments. by Hank Thediek WIE languages are too logical. by Hank Thediek	Ehud Lamm	2013-06-06 15:18
Forum topic	Endofunctions, cycles and chains What language? by Hank Thediek	hbrandl	2013-04-29 17:36
Story	DYNAMO My take on the Macy by Hank Thediek The Macy Conferences by Hank Thediek	Ehud Lamm	2013-04-16 20:53
Forum topic	Five "laws" of programming paradigms Dummy by Hank Thediek Here's one by Hank Thediek Got 2.5 Hours? by Hank Thediek	Peter Van Roy	2013-04-07 20:15
Forum topic	Import Systems Managing Complexity by Hank Thediek	Kay Schluehr	2013-01-14 15:05
Forum topic	Relational Model Considered Obsolete Considered Obsolete by Hank Thediek	Hewitt	2013-01-12 03:12
Forum topic	Visability, state, and Identity	Hank Thediek	2013-01-07 22:21
Forum topic	Career paths and concerns Your second point is a by Hank Thediek	Jonathan Schuster	2012-03-31 18:04
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness Inconsistency Robustness by Hank Thediek	Hewitt	2012-03-05 22:15
Story	Computing Needs Time Agreed by Hank Thediek	Allan McInnes	2012-03-05 19:35
Forum topic	Embedding Prolog in Haskell Neoclassical logic by Hank Thediek Logical Metaphysics by Hank Thediek	Frank Atanassow	2012-02-13 17:04
Story	Diagram showing all programming paradigms and their relationships Clarification by Hank Thediek The meaning isn't simple by Hank Thediek I am thinking about the by Hank Thediek Labels by Hank Thediek	Peter Van Roy	2012-01-13 17:06
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Classic by Hank Thediek	puredanger	2011-11-19 23:37
Forum topic	What is computation? Concurrency versus Turing's Model Constructive proof theory? by Hank Thediek Unbounded Non-determinism by Hank Thediek	Hewitt	2011-02-22 13:52
Story	Guido: Language Design Is Not Just Solving Puzzles I agree that coginition is by Hank Thediek A system for almost everybody? by Hank Thediek My point was that appeals to by Hank Thediek What to choose? by Hank Thediek What interface? by Hank Thediek	Ehud Lamm	2011-01-05 17:06
Story	program verification: the very idea Annotation systems by Hank Thediek Research by Hank Thediek Physical semantics by Hank Thediek Edit: And don't forget to by Hank Thediek I only just briefly read by Hank Thediek Cultures, by Hank Thediek Point of view by Hank Thediek Semantic verification by Hank Thediek	el-vadimo	2010-12-17 18:21
Forum topic	Inconsistency Robustness 2011 at Stanford Pragmatics by Hank Thediek	Hewitt	2010-12-07 14:15
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Is it logic or is it model theory? by Hank Thediek Direct Logic seems to by Hank Thediek	Hewitt	2010-08-10 14:23
Forum topic	Evocative metaphor Activity Theory by Hank Thediek	Ehud Lamm	2010-07-12 13:40
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed What's so bad about rule programming? by Hank Thediek	Isaac Gouy	2010-04-20 22:32
Story	Can a Biologist Fix a Radio? Computer Science under the Microscope by Hank Thediek	James Iry	2010-03-04 03:17
Forum topic	Question: Graceful error recovery during parsing There are two ways to think a by Hank Thediek	Nathan Sobo	2009-12-16 18:30
Forum topic	Academic Commons	Hank Thediek	2009-08-02 14:34
Story	In the Land of Invented Languages Semantics by Hank Thediek What is the agenda? by Hank Thediek Analogy by Hank Thediek	Chris Rathman	2009-07-23 03:23
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation