recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Abstractionless programming Abstractionless programming.. by Wouter Non-Prototype Literate Programming via Outlines, w/Cloned Nodes by Paul Snively Managing Duplicated Code with Linked Editing by Andris Birkmanis Same paper? by Frank Atanassow Published by Charles A Stewart ... by Wouter Yes, it is very strongly rela by Wouter P = NP, up to sharing by Frank Atanassow Premature sharing considered harmful :-) by Andris Birkmanis Optimal sharing by Darius Bacon ...	Wouter	2017-06-10 16:36
Forum topic	SK Calculus not Consider SeKsy? Abstractionless programming.. by Wouter Types by lennart Abstract Machines by Per Vognsen programming in SK-combinators by Kragen Sitaker I wonder by cdiggins Size explosion by Klaus Ostermann Building languages on top by Chris Rathman Supercombinators by pkhuong I think #4 is true by sigfpe Funny that you should ask. by cdiggins ...	cdiggins	2017-06-10 16:33
Forum topic	Living it up with a Live Programming Language Abstraction-free programming.. by Wouter Congratulations! by Paul Snively It got in! by Sean McDirmid Tell the user to download by Gavin Harrison I am not the proper person to answer that! by Achilleas Margaritis I mean languages whose by Sean McDirmid Examples? by raould What works? by raould The limiting factor is by Sean McDirmid better movie formats by Kragen Sitaker ...	Sean McDirmid	2017-06-10 16:27
Story	Jean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89 More than COBOL by Barak A. Pearlmutter	bashyal	2017-06-08 14:50
Forum topic	Free links to all (or practically all) recent SIGPLAN papers Many articles inaccessible by johnwcowan The ACM DL remains a second choice for me by gasche	emery	2017-06-04 03:32
Story	Imperative Functional Programs that Explain their Work I can't read your example by Andrew Moss Yes I agree by chrisoliver But the "everyday language" by Andrew Moss Oystein Ore the culprit by chrisoliver Galois connections by chrisoliver	gasche	2017-05-31 09:03
Forum topic	Finding Solutions vs. Verifying Solutions I should probably be more by Blaisorblade Tx for support, by Ivan V. Retract, new try by Blaisorblade This definition is closely by Blaisorblade You are interested in the by Blaisorblade (deleted comment) by Ivan V. Criticism by gasche relative complexity by John Shutt Godel's Revenge by Keean Schupke I think I will, thank you by Ivan V. ...	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem generally correct by Enrique Perez Arnaud depends on the algorithm? by Enrique Perez Arnaud This is what I meant by Enrique Perez Arnaud Goodstein by Enrique Perez Arnaud Godel did first prove a by Matt M It would be awesome by Ivan V. the usual thing is to by Matt M Other undecidable propositions in PA by James Lottes Whatever one chooses by Enrique Perez Arnaud Free variables by Matt M ...	Enrique Perez Arnaud	2017-05-25 18:11
Story	Databases from finite categories	Charles Stewart	2017-05-24 06:43
Forum topic	Any thoughts on WanaDecrypt0r? Yes. Assuming sane managers, by Blaisorblade Not like that by marco Smart people by Andrew Moss If you raise the bar high enough, people will walk underneath it by marco Why would they? by marco My money's on "fuzz it 'til by simon.stapleton The team that wrote it by Andrew Moss Ah, I was wondering by marco Exploits are old by Andrew Moss	marco	2017-05-21 21:12
first page previous page next page last page