recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Expressions of Change Yeah, that discussion on by Matt M You might be thinking of the by vanschelven Exposing deltas by Matt M undo/redo by vanschelven Regarding the purpose by vanschelven Undo/redo by Matt M What's the purpose of the language? by Matt M	vanschelven	2018-04-30 16:30
Forum topic	The Heron Programming Language	cdiggins	2018-04-27 04:46
Forum topic	Popr Tutorial: Dot Machines Ordered pushl/popr is necessary by Dustin DeWeese popr wormholes? by dmbarbour I think I get it by Dustin DeWeese problems with popr, rephrased by dmbarbour nope by Dustin DeWeese It's a work in progress by Dustin DeWeese re: arity inference part nauseum by dmbarbour Arity inference just won't work by Dustin DeWeese not just display is incorrect by dmbarbour PoprC is not a term rewriting machine by Dustin DeWeese ...	Dustin DeWeese	2018-04-18 22:18
Forum topic	LIVE 2018 CFP Some links by Roly Perera	Sean McDirmid	2018-04-16 17:30
Forum topic	ADMIN: You NEED to set up HTTPS soon Hmm by John Shutt Ordinary security measures are sufficient by Anton van Straaten Exploits by John Shutt Firefox is already warning that the site is not secure by Bruce Rennie Can we at the same time get by Ehud Lamm Huge risks by Anton van Straaten This was addressed a few by Anton van Straaten Mitigation by Matt M	Bárður Árantsson	2018-04-15 23:49
Forum topic	Representing Type Information in Dynamically Typed Languages Stanley Shebs's report by johnwcowan Interface Method by Michael Pavone However, the Pentium M, the by naasking BaLinda K by Z-Bo Modern Processors by Michael Pavone Just think of if-else by naasking Well, I guess it is pathological. by Ray Dillinger That's surprising. by Ray Dillinger Mutability by Tony Finch It was a reference book by lmeyerov ...	Ray Dillinger	2018-04-06 21:50
Story	Graydon Hoare: What next for compiled languages? neonatal by John Shutt everything old is new again by John R. Williams Beware selection bias, and by Bárður Árantsson More generally, it sounds by neelk Some slides on the Noether by naasking Thanks! I seem to remember by Ehud Lamm previously on this channel by John Shutt We once linked to an ancient by Ehud Lamm It's a fine list, and the by Ehud Lamm Solid, but suspiciously typed by gasche ...	Ehud Lamm	2018-04-06 02:24
Story	Sequent Calculus as a Compiler Intermediate Language GHC sequent-core by dmbarbour Where is the implementation? by mamcx	Andris Birkmanis	2018-04-03 01:18
Forum topic	An impure solution to the problem of matching fans A better counterexample by Anton Salikhmetov Lambdascope fixed by Anton Salikhmetov Data collected by Anton Salikhmetov Details unknown by Anton Salikhmetov Understanding by gasche Counterexamples found by Anton Salikhmetov Quick update by Anton Salikhmetov Thanks! by Anton Salikhmetov Nice! by gasche Some results by Anton Salikhmetov ...	Anton Salikhmetov	2018-03-28 15:47
Forum topic	Egel Language v0.0.2 You have to experiment a bit by marco It's not documented very well, yet by marco atomic strings? by dmbarbour Untyped!=unstructured by Andris Birkmanis Oh right.. by marco Doesn't look bad. You may by Andris Birkmanis	marco	2018-03-23 22:12
first page previous page next page last page