Lambda the Ultimate

type	title	author	last post
Forum topic	Earl Grey; the story of a new programming language if then else endif by John Shutt parentheses by John Shutt Operator precedence and extensibility by John Shutt	Greg Buchholz	2016-03-31 23:37
Forum topic	Is the "Getting started"-guide up-to-date? Expressiveness by John Shutt	filipallberg	2016-03-29 06:03
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” People also matter by John Shutt to boldly go by John Shutt Forward into the mud by John Shutt language modularity support by John Shutt verily by John Shutt sociopoliticoeconomics by John Shutt	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception Adding to the database by John Shutt Quoting, eww by John Shutt	Keean Schupke	2016-03-07 06:17
Forum topic	Whither actual generality/customizability/flexibility? miscue by John Shutt I suspect you're by John Shutt Basic research by John Shutt Open-closed by John Shutt	raould	2016-03-06 14:59
Story	Second-order logic explained in plain English You might want to consider by John Shutt	Charles Stewart	2016-02-19 12:40
Forum topic	Programmatic and Direct Manipulation, Together at Last Recognizing the elephant by John Shutt	Sean McDirmid	2016-02-13 20:21
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Possibly misuse of terminology by John Shutt	raould	2016-01-31 00:31
Story	Static vs. Dynamic Languages: A Literature Review Symbolic thought comes with by John Shutt Sapience is fuzzy, to some extent by John Shutt feline by John Shutt experience by John Shutt looking up the answer by John Shutt Testing by John Shutt Whenever I sit down with a by John Shutt You seem to have concluded by John Shutt "correctness" without a by John Shutt does anyone actually solve by John Shutt ...	naasking	2016-01-11 06:22
Forum topic	Typed Data I don't think correct by John Shutt If it were that easy, by John Shutt Human intelligence just by John Shutt	Andrew Moss	2015-12-31 08:59
Forum topic	Nesting imperative into functional code What would be so special by John Shutt small clarifications by John Shutt Unromantic by John Shutt Who, me? by John Shutt smart enough to qualify as stupid by John Shutt Methinks you underestimate by John Shutt robot step? by John Shutt different subgenre of romance by John Shutt	Ivan V.	2015-12-23 02:46
Story	Compilers as Assistants to-read list by John Shutt Is thinking purely by John Shutt programming as mathematics? by John Shutt It's easy, when working with by John Shutt Muddiness by John Shutt region by John Shutt Location, location by John Shutt	bashyal	2015-12-04 15:35
Forum topic	Hacker’s Brain – The Psychology of Programming Theorem proving by John Shutt	Sean McDirmid	2015-11-23 03:27
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Classic "theorems" like by John Shutt	naasking	2015-11-18 18:04
Forum topic	PL vs. PX Of the various meanings one by John Shutt that's not what I said by John Shutt Sounds like somebody's been by John Shutt The mutually supporting by John Shutt Personal expression? Seems by John Shutt The Cavendish quote by John Shutt "Engineers build things; by John Shutt	Sean McDirmid	2015-10-26 18:24
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Once upon a time by John Shutt	Ray Dillinger	2015-09-29 15:36
Forum topic	meta: September "propose a post" post (proposal) could be interesting by John Shutt	Thomas Lord	2015-09-15 10:27
Story	Freer Monads, More Extensible Effects cons and expression by John Shutt	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU A letter to a journal or by John Shutt What better organization by John Shutt I see three kinds of by John Shutt	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". cognitive strategies by John Shutt	Hewitt	2015-09-04 10:12
Forum topic	Big questions Not every specific by John Shutt McCarthy never intended S by John Shutt Some forms of language by John Shutt Re: The Two Cultures of Computing by John Shutt All geeks are computer geeks, Nellie is a geek, therefore... by John Shutt One term, when the by John Shutt Our cat is quite vocal with by John Shutt ambiguity by John Shutt Sigh by John Shutt It's a cultural by John Shutt ...	Ehud Lamm	2015-08-27 03:57
Forum topic	inline vs scatter/gather separate annotation I'm somewhat reminded of by John Shutt	Rys McCusker	2015-08-04 04:33
Forum topic	Aggregations (e.g., sets) in Logic Programs Sure. But the by John Shutt Imo it's at least partly a by John Shutt	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU Although I'd been told that by John Shutt homo sap by John Shutt Perhaps to do with the by John Shutt I do think we somehow need by John Shutt I've been struggling with by John Shutt The context of a discussion by John Shutt	Blaisorblade	2015-07-28 16:57
Forum topic	When are Actors appropriate? A fair question fairly by John Shutt thx by John Shutt I wrote a long and detailed by John Shutt Fwiw by John Shutt Hewitt's account of the by John Shutt Goedel's first theorem by John Shutt If the formal system can by John Shutt Progress? by John Shutt Maybe we should start a by John Shutt You can define by John Shutt ...	raould	2015-07-21 16:25
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