Lambda the Ultimate

type	title	author	last post
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
Forum topic	Term Rewrite System Implementations? I'm not sure of that by John Shutt Well, fwiw, by John Shutt They take a typed input and by John Shutt well, sort of by John Shutt Confluence by John Shutt Rewriting schemata as a language? by John Shutt That link isn't working. by John Shutt	Ivan V.	2016-09-18 00:10
Forum topic	Lecturing birds how to fly lecture styles by John Shutt I'm not sure "leader" by John Shutt Plato and Aristotle by John Shutt	Charles Stewart	2016-09-07 18:46
Forum topic	Programming Languages as Mathematical Representations state of mathematics by John Shutt applied by John Shutt thinking previously impossible thoughts by John Shutt o_O by John Shutt priorities by John Shutt Hmm by John Shutt problems by John Shutt human conversation by John Shutt programming intent by John Shutt	mfidelman	2016-09-03 23:25
Forum topic	Is there a language with the ability to write arbitrary type functions? Turing-powerful first-class types by John Shutt	davidb	2016-08-24 18:18
Forum topic	Microscript It's convenient to allocate by John Shutt	Ivan V.	2016-08-08 22:31
Forum topic	A language for blind uncomprehending idiots who have no idea how programs work. recessive genes by John Shutt Advanced organisms should be by John Shutt I favor higher-level views by John Shutt Well... by John Shutt Yeah, the gene-meme analogy by John Shutt And yet, memetics. by John Shutt The evolutionary approach to by John Shutt	Ray Dillinger	2016-08-08 13:51
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Natural-language programming by John Shutt	Rys McCusker	2016-07-15 20:51
Forum topic	Theory of syntax extensions: does it exist? extensibility / IDE by John Shutt stasis by John Shutt My distrust of voting of by John Shutt crowdsourcing by John Shutt lol by John Shutt unsure by John Shutt Dangerous things should be by John Shutt Yes, it does seem curious by John Shutt Do you mean, what should the by John Shutt tuppence by John Shutt	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report From context, it looks to be by John Shutt Well, a PL without its by John Shutt Yes. by John Shutt How much is expressed by a by John Shutt Asymptotic by John Shutt	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? Hm by John Shutt abstract return addresses by John Shutt Values on the control stack are... by John Shutt	Alex Shpilkin	2016-05-13 11: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