recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Racket is ‘Scheme all the way down’ with v8 on Chez Scheme	spdegabrielle	2021-02-14 12:49
Forum topic	High level languages with optimal code generation Are there any languages that by cpurdy Not just "parity" by cpurdy I suggest reading Leroy's by naasking Mostly it's more work than people want to do. by Ray Dillinger "That level of analysis by Milton Silva Are there any languages that by Milton Silva 1. Yes, it seems the answer by Milton Silva Always a tradeoff by Ray Dillinger Then there's GC, footprint, and thermal optimization by shap optimal cache-oblivious algorithms by dmbarbour ...	Milton Silva	2021-02-13 04:47
Forum topic	Concurrent System Programming with Effect Handlers effects, types, and continuations by dmbarbour I could implement ocap by naasking effects with or without continuations by dmbarbour Arguably, this paper is more by naasking async await with caps by dmbarbour I'm curious how you would by naasking re: effects vs ocaps by dmbarbour Effects vs Capability Security Model by const	raould	2021-01-26 03:50
Forum topic	Loop and recursion Both by dmbarbour Tail recursions and first class functions by Mats Fascinating by John Shutt A pseudocode example of what I had imagined.... by Ray Dillinger maybe I've got it now by John Shutt explicit or implicit continuation passing by dmbarbour That's classic continuation passing. Good but not the same. by Ray Dillinger Sorry, I guess I wasn't clear. by Ray Dillinger Choice of continuations (example) by dmbarbour Continuation-passing syle by naasking ...	Mats	2021-01-21 21:50
Forum topic	A problem about programming with macros vs Kernel F-exprs Use macros by Anders Horn Hmm by John Shutt Expressive power by Qiantan Hong Syntactically distinct macro calls by John Shutt	Qiantan Hong	2021-01-19 04:39
Story	Google Brain's Jax and Flax	Z-Bo	2021-01-15 15:01
Forum topic	Is there an existing name for my higher-order function? Overdue Follow-up by shawnbrown But, I'm not talking about by John Shutt Single argument by Keean Schupke Better by John Shutt Alternatively, by John Shutt Perhaps right-apply can be by John Shutt Currying does not imply partial evaluation by Keean Schupke This is 100% correct, in a by neelk I've never encountered that usage by John Shutt Currying by Keean Schupke ...	shawnbrown	2021-01-05 04:44
Forum topic	Object graph 'integrals' Interaction nets by dmbarbour	const	2020-12-31 16:30
Story	Built to Last Cassandra's replication model by chetmurthy The problem with what Oracle by const Re: CRDTs and serializability by chetmurthy Data lakes make sense to me, by naasking Serialized is expensive by const data is forever, access-paths, not so much by chetmurthy Current trends on data and software development by const Generally, the low-level by naasking Requirements vs Design and Cognitive Scaling by const software design and programming languages by Thomas Lord ...	Ehud Lamm	2020-12-17 03:14
Forum topic	looking for dependent research proof system language implemented in C++ Lean by adrieng	AaronNGray	2020-12-16 14:12
first page previous page next page last page