recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	We've got big balls ... of mud ... Who owns Planet Mud? by dmbarbour I see this kind of like 'keyhole optimization' in compilers. by Ray Dillinger	Ray Dillinger	2021-10-13 19:42
Forum topic	Bespoke: live graphical language for granular synthesis	Thomas Lord	2021-10-05 17:52
Story	Google announces Logica: organizing your data queries, making them universally reusable and fun The motivating goal by jmyounker Basic boolean algebra manipulations are easier w/ Horn clauses by Z-Bo Logica is a datalog subset that compiles to SQL? by davidb LINQ by mt99	Z-Bo	2021-09-24 17:33
Forum topic	Monads vs Applicative Functors. re first class names by dmbarbour First class names by Keean Schupke monadic parsers by dmbarbour GADTs by Keean Schupke re type checking by dmbarbour Type Checking by Keean Schupke Sum, products, and ASTs by dmbarbour re named vars by dmbarbour Named Variables by Keean Schupke re forth-like by dmbarbour ...	Keean Schupke	2021-08-19 13:27
Story	Turnstile+: Dependent Type Systems as Macros architects and programmers by dmbarbour dup by dmbarbour yes - we've been here before by Mark Tarver yes - we've been here before by Mark Tarver it seems obvious by chrisoliver re oh really by dmbarbour Oh really? by chrisoliver Formalism and sapience by dmbarbour separating issues by John Shutt Are humans intelligent? by an AI by dmbarbour ...	Charles Stewart	2021-08-17 17:18
Story	Introducing PathQuery, Google's Graph Query Language PathQuery's foundation by Charles Stewart	Z-Bo	2021-07-27 13:34
Forum topic	Java / CPython Language Bridge Re: compared to what? by davidnichols compared to what? by raould	davidnichols	2021-07-12 10:14
Forum topic	Emacs modes: what is it? words like: adaptability, parsimony, composability, extensibilit by Thomas Lord Levien's xi-editor by Charles Stewart More useful than that by Charles Stewart I totally agree. In fact by Qiantan Hong Hmm... by Z-Bo lisp machine experience by Thomas Lord A more elegant Emacs by Z-Bo The Craft of Text Editing; or, Emacs for the Modern World by CF by Z-Bo understanding and using emacs lisp by Thomas Lord This essentially just by Qiantan Hong ...	Qiantan Hong	2021-07-09 15:09
Forum topic	CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems	eeide	2021-07-02 21:34
Forum topic	Why is there no widely accepted progress for 50 years? Bluespec by Bakul Shah ATS by dmbarbour dup by dmbarbour Maybe we're looking in the wrong place? by Ray Dillinger Safety is simple but it isn'e easy by davidb Safety isn't new by Charles Stewart I reject the core proposition by davidb Two of my favorite books on by edw Haskell, Agad, Rust, Coq, HOL ? by AaronNGray Well said, John, in many by cpurdy ...	Milton Silva	2021-06-09 23:27
first page previous page next page last page