Lambda the Ultimate

type	title	author	last post
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
Forum topic	Fixed points considered harmful I have no interest in by John Shutt The halting problem appears by John Shutt It is not possible to by John Shutt countable + 1 = countable by John Shutt The only way that "sentences by John Shutt I'd previously read that by John Shutt No there by John Shutt This is simply likely true. by John Shutt The set of outputs from the by John Shutt Why aren't you applying your by John Shutt ...	Hewitt	2015-07-21 06:16
Story	Punctuated equilibrium in the large scale evolution of programming languages Evolution doesn't require by John Shutt - by John Shutt	Allan McInnes	2015-07-20 01:13
Forum topic	Recursive Descent Parser Generators I suspect interoperability by John Shutt Interesting. As a Lisp person, by John Shutt Of course, LISP people don't by John Shutt perspective? by John Shutt With a broad caveat about by John Shutt Okay, now I have a working by John Shutt In the linked post, early on by John Shutt If you want a programming by John Shutt I'm quite sympathetic to a by John Shutt Interesting thought; though, by John Shutt ...	Alexander Morou	2015-07-14 06:50
Forum topic	Strengthening Process Calculi You've repeatedly thrown by John Shutt Every time you start the by John Shutt The point of the by John Shutt He's pointing out that by John Shutt	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? Ockham by John Shutt Not all phrases in natural by John Shutt Natural types? by John Shutt Cewl by John Shutt trade-offs by John Shutt Seemingly, type inference by John Shutt I have no idea why academics by John Shutt	naasking	2015-07-05 19:00
Forum topic	"Simple Made Easy" by Rich Hickey and subsequent discussion fantastic by John Shutt	shahbaz	2015-06-30 15:13
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Discrete and continuous by John Shutt The claim isn't that by John Shutt When general recursive by John Shutt	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) To state the obvious, adding by John Shutt Cool by John Shutt Afaics the result doesn't by John Shutt On my list of things to by John Shutt Indeed by John Shutt Yes, this is my fear, that by John Shutt Finite statements about the transfinite by John Shutt It's entirely possible for by John Shutt Non sequitur by John Shutt The computational part is by John Shutt ...	Hewitt	2015-06-25 00:05
Story	Self-Representation in Girard’s System U The problem is that no-one by John Shutt If you look at the way by John Shutt	naasking	2015-06-18 22:53
Forum topic	XKCD on type theory... As first described, lists in by John Shutt Didn't both early FORTRAN by John Shutt link by John Shutt	Ray Dillinger	2015-06-16 21:32
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