recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
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
Forum topic	counterexamples.org	raould	2021-05-14 19:18
Story	A Next Generation Smart Contract and Decentralized Application Platform Smart contracts for the Stellar payment network by Charles Stewart Indeed, EVM features by naasking Process calculi for chain code by Charles Stewart Further to this, the number by naasking The E language for smart contracts by naasking The difficulty with the by naasking The minefield by Charles Stewart Smart contracts have a long history by naasking Typecoin by adrieng Implicitness and mutable state costing tens of millions of USD by kmag ...	Manuel J. Simoni	2021-05-12 10:13
Story	Coq will be renamed Needs doing by davidb Very cool, by the way. by Thomas Lord	Ohad Kammar	2021-05-10 14:44
Forum topic	Objective-S Some answers by marcel Some comments by const	raould	2021-04-30 13:44
Forum topic	Cognition and Coding Curious parallel with art appreciation. by Alex Berka Dependency by Alex Berka λ by John Shutt Re: Module names are expressions & strategy by Alex Berka Verticality by Alex Berka Re: Strategy by dmbarbour vertical and horizontal by John Shutt Module names are expressions, too. by dmbarbour Graph rewriting by adrieng Problems with Process Algebras and their offshoots. by Alex Berka ...	Alex Berka	2021-04-24 06:46
Forum topic	Abstraction Tiers of Notations Tier 6 by const Thoughts about tier 5 by Mats Physics by dmbarbour Naming etc by Keean Schupke re copying and abstraction by dmbarbour - by Keean Schupke Copying and Abstraction by Keean Schupke re abstracting people by dmbarbour re fixpoint combinator for MSE by dmbarbour abstracting people into market forces by const ...	const	2021-03-30 16:43
first page previous page next page last page