Lambda the Ultimate

type	title	author	last post
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
Forum topic	The evolution of Rust Turn it around: if current by John Shutt That conclusion likely comes by John Shutt ignorance by John Shutt I think special purpose by John Shutt the paradigm imperative by John Shutt	qznc	2015-06-07 16:54
Forum topic	Paper journals are in bad shape; priority established in HAL ... There are potential by John Shutt	Hewitt	2015-06-07 15:39
Forum topic	Types are fundamental to both logic and computation I'm puzzling over that by John Shutt It's not an axiom, it's a by John Shutt Current trends in logic by John Shutt Constructibility and ominiscience by John Shutt On the Richard paradox, it by John Shutt Avoiding logical flaws is a by John Shutt well... by John Shutt We've named people at the by John Shutt I'm simplifying, of course. by John Shutt LEM has been suspected by John Shutt ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions There's more room near the edge by John Shutt Crowd sourcing is the by John Shutt insert title here by John Shutt dislike by John Shutt revisionism by John Shutt	gasche	2015-05-30 21:12
Forum topic	More information about Albatross Missing the point by John Shutt The obvious question is why by John Shutt typo by John Shutt	hbrandl	2015-05-29 13:47
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) I intended no assumptions by John Shutt Hoare and separation logic by John Shutt programming and markup by John Shutt If you take a procedure with by John Shutt Tempus fidgets by John Shutt Is haskell readable?No. by John Shutt Oh, the 'Lisp syntax' thing by John Shutt just valuing different by John Shutt classic talking-past-each-other by John Shutt Ah, COBOL by John Shutt ...	Sean McDirmid	2015-05-20 12:15
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community About the Common Lisp misfeature by John Shutt I should know better than to by John Shutt I also know that quote and by John Shutt more of a challenge, yes by John Shutt note by John Shutt smoothness by John Shutt Turns out the impression by John Shutt every expression is by John Shutt One gets the impression, by John Shutt Of possible interest by John Shutt ...	Phil Miess	2015-05-18 14:25
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment You can have mechanized by John Shutt	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary It seems like the two by John Shutt Alternatively, by John Shutt	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available what you make of it by John Shutt	hbrandl	2015-05-08 19:57
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