recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Do we need exactly two binding constructs? Self 4.0 ... by John Cowan It may be too subtle for me.... by Ray Dillinger The question is about a potential subtle difference by Qiantan Hong There is no necessary difference. by Ray Dillinger	Qiantan Hong	2022-08-31 17:07
Forum topic	Thomas Lord an LtU regular, dies at 56 May his memory be a blessing by jdougan	Anders Horn	2022-07-20 00:36
Forum topic	The hidden cost of exception handling Nice write-up! by cpurdy	Christophe de Dinechin	2022-06-19 14:20
Forum topic	CUE: An open-source data validation language ltu by cpurdy Nice references by Robbert van Dalen Programming with lattice structure by Charles Stewart A nice overview by Robbert van Dalen	Robbert van Dalen	2022-06-04 04:46
Forum topic	My article on state machines and DSL evolution	const	2022-05-05 12:54
Forum topic	Shen Standard Library Thesis-Antithesis by raould	Mark Tarver	2022-02-06 21:06
Forum topic	Cicada language -- a new dependently typed language	xieyuheng	2021-12-21 20:14
Story	Lightweight Static Capabilities Updated link by naasking Bump -- what about proving by lmeyerov match-functions vs GADTs by paritoshshroff Polymorphic variants seem by Brandon Moore match-functions vs GADTs by MarkM What about arguments? by MarkM Can a membrane be built on by naasking Membrance pattern by naasking Skepticism by Paul Snively Sign me up by MarkM ...	Paul Snively	2021-12-02 13:45
Forum topic	Do names and symbols really imply semantics? If so what to do about it? cutting the tower by dmbarbour The tower of dependencies must be cut somehow at basement level by Ray Dillinger re fragile towers by dmbarbour re: contradictory by dmbarbour re: I'd be more interested in... by Thomas Lord Yup, this must hold for everything in the whole universe by Cyril On humans' complexity by Cyril AI complete by dmbarbour I'd be more interested in by dmbarbour We have quite a history to by dmbarbour ...	Ray Dillinger	2021-11-22 16:49
Forum topic	Trojan Source: Unicode Bidi Algorithm abuses in source code	Ray Dillinger	2021-11-05 03:43
first page previous page next page last page