Lambda the Ultimate

type	title	author	last post
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
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad undecidability by John Shutt Intension by John Shutt possible by John Shutt	marco	2017-05-16 02:03
Forum topic	Domain specific language for playing games How about a nice game of chess? by John Shutt	davidb	2017-05-03 22:47
Forum topic	Making a one-pass compiler by generating fexprs that generate code Looking forward by John Shutt	Josh Scholar	2017-04-14 19:51
Story	Salon des Refusés -- Dialectics for new computer science Programmers by John Shutt Fire and ice by John Shutt Nostalgia ain't what it used to be by John Shutt language groupies by John Shutt Belief and doubt by John Shutt	gasche	2017-02-19 07:18
Forum topic	How will look a modern imperative language? All love here is functional only.. perspective by John Shutt continuum by John Shutt tangles by John Shutt Metaprogramming by John Shutt cognitive qualities by John Shutt thinking by John Shutt military hierarchies by John Shutt to be clear by John Shutt expressed in the IO monad, by John Shutt Expression by John Shutt ...	mamcx	2017-02-18 18:58
Forum topic	Archaeological dig to find the first Lisp example of the Y-combinator Likely reference by John Shutt	filipallberg	2017-01-31 00:42
Story	Stroustrup's Rule and Layering Over Time Oh. by John Shutt Let's say by John Shutt A custom error combiner on by John Shutt explaining stuff by John Shutt Ideally, by John Shutt Deep understanding by John Shutt Word choice by John Shutt syntactic semantics by John Shutt Error messages on mud by John Shutt Rigid simplicity by John Shutt ...	Ehud Lamm	2017-01-04 21:43
Forum topic	Eliminating left recursion decent language by John Shutt That's not an ambiguity, it's a feature by John Shutt Priorities by John Shutt	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance Not even wrong? by John Shutt	shap	2016-11-24 01:04
Story	Philip Wadler: Category Theory for the Working Hacker error by John Shutt forest and trees by John Shutt The phrase "side effects" in by John Shutt I expect my best efforts by John Shutt Any type system by John Shutt side-effects by John Shutt He's just described the by John Shutt Turnstile by John Shutt	Ehud Lamm	2016-09-23 20:29
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