Lambda the Ultimate

type	title	author	last post
Forum topic	Is STL algorithms doing damage to the cause? Thanks, that makes perfect sense. by sigfpe The goal here is to solve difficult problems. by sigfpe Simple solution by sigfpe I don't think it's bad PR by sigfpe	Koray Can	2006-02-13 15:17
Forum topic	What is a Proposition? Counterexample by sigfpe	andrew cooke	2006-02-03 17:04
Forum topic	What is a monad, why should I use it, and when is it appropriate? It's not just for Maybes by sigfpe	Jonathan Allen	2006-02-03 10:54
Story	Djinn, a theorem prover in Haskell, for Haskell. The main result isn't that deep by sigfpe Could this be adapted to find isomorphisms... by sigfpe	shapr	2006-01-24 18:58
Forum topic	What is considered source code? Why be tied to a definition? by sigfpe	Jonathan Allen	2006-01-17 09:26
Forum topic	The breaking point of language usability? As a programmer... by sigfpe	raould	2005-12-12 15:35
Forum topic	Expressivity ...a field/idea originating from Gregory Chaitin... by sigfpe	David B. Held	2005-08-11 17:17
Forum topic	Language support for generating functions? Reading most of generatingfunctionology... by sigfpe What support do you need? by sigfpe	Greg Buchholz	2005-07-29 21:08
Forum topic	Why recursing is better than looping This isn't really addressing my point... by sigfpe See my comments on the Tower of Hanoi. by sigfpe where you won't find iteration at all by sigfpe The recursive function for by sigfpe You took the words out of my mouth! by sigfpe	johnnyb	2005-06-29 20:27
Story	Differentiating Data Structures An informal explanation... by sigfpe	Ehud Lamm	2005-05-28 15:17
Forum topic	Competitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution You can already see what happens... by sigfpe	Amir Michail	2005-05-27 06:17
Forum topic	Cyc Knowledge Server Cyc was the baby of Doug Lenat by sigfpe	marco	2005-05-19 12:23
Story	Computer generates verifiable mathematics proof Perhaps they should care... by sigfpe Interesting claim by sigfpe Structure and Interpretation... by sigfpe It's a little behind the leading edge... by sigfpe More shortcut than assumption by sigfpe What mathematicians really do is different by sigfpe Minor matter by sigfpe	Ehud Lamm	2005-04-27 10:44
Story	On the Unusual Effectiveness of Logic in Computer Science Exactly what did we gain? by sigfpe And I disagree too! by sigfpe I'm more amazed by the unreasonable... by sigfpe	Charles A Stewart	2005-04-21 11:14
Forum topic	Journals and papers? Tip by sigfpe	BigZaphod	2005-03-22 17:56
Forum topic	Call-by-what? Linear computer programs by sigfpe	Andris Birkmanis	2005-02-21 08:28
Forum topic	The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software OT, but you were discussing concurrency with whom? by sigfpe	ade_oshineye	2005-02-15 21:26
Story	Killer Props for Computer Scientist! Most thanked company: IBM by sigfpe	Noel	2004-12-18 02:16
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