Lambda the Ultimate

type	title	author	last post
Forum topic	C++ fun Error messages in general by John Shutt	chrisoliver	2018-06-11 02:05
Forum topic	I have a problem with arguments passed as non-evaluated expressions wrap by John Shutt	artemonster	2018-06-01 10:46
Forum topic	Proof system for learning basic algebra focus by John Shutt	Edwin Zacharias	2018-05-25 20:27
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Fiddler on the roof by John Shutt fragments by John Shutt Sigh by John Shutt depends upon what the meaning of the word 'is' is by John Shutt Thoughts by John Shutt So... by John Shutt while I used to, like you, by John Shutt signs of weakness by John Shutt unquoted symbols by John Shutt composing fragments of code by John Shutt ...	Andris Birkmanis	2018-05-21 07:37
Forum topic	terminology for scope of discourse, i.e. CS-domain hm by John Shutt	Rys McCusker	2018-05-01 23:49
Forum topic	ADMIN: You NEED to set up HTTPS soon Hmm by John Shutt Exploits by John Shutt	Bárður Árantsson	2018-04-15 23:49
Story	Graydon Hoare: What next for compiled languages? neonatal by John Shutt previously on this channel by John Shutt	Ehud Lamm	2018-04-06 02:24
Story	Why Is SQLite Coded In C Low dependency by John Shutt	Ehud Lamm	2018-03-16 13:23
Forum topic	Are Monads a Waste of Time? Indeed by John Shutt Verily by John Shutt I disagree that "The by John Shutt sigh by John Shutt vau (of course) by John Shutt (throat lozenge?) by John Shutt You have afaict consistently by John Shutt I contribute to LtU because by John Shutt Yet, you based the analogy by John Shutt Your analogy relies on by John Shutt ...	Keean Schupke	2018-03-16 00:59
Forum topic	Bottom There's a catch by John Shutt Undecidability and inconsistency by John Shutt Sic et non by John Shutt	marco	2018-03-10 18:20
Forum topic	Anything recent happening with multi-stage programming? Multi-stage vs fexprs by John Shutt	David Teller	2018-03-08 16:18
Forum topic	Programming by poking: why MIT stopped teaching SICP Quietly inquiring? Who by John Shutt I'd thought the point intended by John Shutt Haskell definitely wouldn't by John Shutt Sic et non by John Shutt Iirc, Shriram Krishnamurthi by John Shutt	Sean McDirmid	2018-01-26 06:42
Forum topic	Algebra Of Pointers Even modules by John Shutt machine address by John Shutt coordinate system by John Shutt	Keean Schupke	2017-12-30 13:48
Forum topic	Help with Herbelin Good question by John Shutt myoo by John Shutt	jimdesu	2017-12-21 16:01
Forum topic	A Functional Representation of Data Structures with a Hole (1998) cross-paradigm linkage by John Shutt Time and time again by John Shutt indeed by John Shutt exploiting time by John Shutt Sic et non by John Shutt beauty is truth, truth beauty by John Shutt my list, fwiw by John Shutt Control/sate by John Shutt	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Non-determinism: a sublanguage rather than a monad Copenhagen by John Shutt Co-hygiene by John Shutt	Greg Buchholz	2017-10-28 07:57
Forum topic	The Platonic Solids of Software Construction and Their Realization in C early lisp history refs by John Shutt old stuff by John Shutt reification by John Shutt Abstract reflection by John Shutt reflectivity versus reflection by John Shutt postmodernism by John Shutt Priorities by John Shutt Miscellania by John Shutt Whence the solids by John Shutt	bryanedds	2017-09-29 19:00
Forum topic	Something I forgot a passing thought by John Shutt	marco	2017-08-26 06:44
Story	Happy Birthday, dear Lambda: 17 is good edition Still sounds very LtUy to me :-) by John Shutt	Ehud Lamm	2017-08-18 06:51
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. mabye still a bit to say by John Shutt Ontological quest v linguistic quest by John Shutt uncarriable meaning by John Shutt people and language by John Shutt implicit fexprs by John Shutt fexprs, idioms, and whatnot by John Shutt holding meaning by John Shutt a programmer, a linguist, and a logician walk into a bar... by John Shutt The nature of sapience is by John Shutt /Fexprs/ exist in NL by John Shutt ...	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	Question: do you have to climb the tower of interpreters? Nature of the tower by John Shutt Link by John Shutt	artemonster	2017-07-26 19:26
Forum topic	What would be involved in moving logic beyond FOL? a function result can't be by John Shutt Progress in mathematics by John Shutt sorts of terms by John Shutt Possible by John Shutt 404 by John Shutt First-class-ness by John Shutt As I recall, Ehud had by John Shutt	Charles Stewart	2017-07-14 15:18
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters sarcasm and ball-of-mud-ness by John Shutt Associativity by John Shutt panaceas by John Shutt COBOL by John Shutt I find this interesting from by John Shutt	Ehud Lamm	2017-07-12 11:44
Forum topic	Finding Solutions vs. Verifying Solutions relative complexity by John Shutt I suggest sticking around by John Shutt P is the set of problems by John Shutt Passing thoughts by John Shutt	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem truth and consequences by John Shutt dialog by John Shutt reason by John Shutt all in your head (or, someone's) by John Shutt $DEITY by John Shutt true names by John Shutt spending a lifetime by John Shutt meta-vocabulary by John Shutt gear shift by John Shutt essence by John Shutt ...	Enrique Perez Arnaud	2017-05-25 18:11
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