recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Denominated Values - Part numeric and symbolic. (deleted) by Julian Rohrhuber Dimensional Analysis by Julian Rohrhuber Ratios? No. by Ray Dillinger Units by shap Joules vs. newton-meters, length vs. width vs. height by John Cowan	Ray Dillinger	2023-01-31 22:12
Forum topic	Advantages of pointfree? ltu or the other side of dualism by Stefan Cygon [deleted] by Stefan Cygon re currying and parameter objects by dmbarbour Pointfree modified with some operator precedence by Ray Dillinger (Dis-)Advantages of Variables: The Agony of Choice in Pointfree by Stefan Cygon Heavily Labeled Point-free Programming by dmbarbour it sounds strange by Stefan Cygon A point-free self-hosting Haskell compiler by Z-Bo My point of view by Stefan Cygon the use of free variables and the Leibniz principle by Stefan Cygon ...	John Nowak	2023-02-19 16:24
Story	Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes Great slides. by Cyril	Charles Stewart	2023-03-08 05:47
Forum topic	LinearLisp: a proof of concept in full linearization for AST-walking interpreters Hmmm... by Cyril FTR - the vernaculars under test by Cyril Quick update. by Cyril So anyway, for the record by Cyril Well, my bad. by Cyril [Deleted] Double posted. by cdiggins Okay, I think I get it by cdiggins Clearly, though by Cyril Sure, in a nutshell... by Cyril What is "full linearization for AST-Walking interpreters" by cdiggins ...	Cyril	2023-03-10 07:59
Forum topic	Type and Effects systems and Lucassen's Thesis PDF scan available by pnkfelix thanks by Andrei Formiga Try this: by moskvax	Andrei Formiga	2023-03-16 03:22
Story	Platonic C# - Managing Referential Transparency through Unique Types So in the proposed by cdiggins Great point. by cdiggins Commands, Queries, and Responsibilities by mlhaufe Thanks by cdiggins Capabilities for Uniqueness and Borrowing by mlhaufe Any other similar approaches? by cdiggins	cdiggins	2023-04-05 14:26
Forum topic	Ann: The Logic Lab	Mark Tarver	2023-04-17 12:14
Forum topic	Rewrite.js – a minimalist s-expr based term rewriting system Gödel's incompleteness by Ivan V. Most Infinite recursions are evitable with ony a small effort by Ray Dillinger Infinite recursions are evitable by Ray Dillinger The problem with term by Ivan V. You're right by Ivan V. Maybe I'm mixing things up, but by Cyril	Ivan V.	2023-04-23 09:37
Forum topic	Egel v0.1.8 (beta) released - do syntax	marco	2023-05-22 21:23
Forum topic	Egel v0.1.8 (beta) released - do syntax	marco	2023-05-22 21:24
first page previous page next page last page