recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Tackling the Awkward Squad for Reactive Programming Transaction Machines by dmbarbour	raould	2020-09-24 22:41
Forum topic	Limits of Computability	hbrandl	2020-09-24 13:12
Forum topic	Use Cases for Shared-Memory Concurrency? implementation approach by cpurdy re deep freeze by dmbarbour deep freeze by cpurdy Use Cases for Parallel Update of Memory by dmbarbour I have apparently been misusing terms by shap Parallelism and Concurrency by dmbarbour re Concurrently by dmbarbour Bullet responses by shap Clarifying by shap Interesting thoughts by shap ...	shap	2020-09-18 21:51
Forum topic	Godel and Meta-Circularity Self-Verifying Theories by jpt4 Universe Quota by dmbarbour	Matt M	2020-09-16 03:37
Forum topic	BNFT (Backus Naur Form Transformation) tool released Own algoritm. Just a brute by Poul Krogh algorithm by Ivan V. Good things come to those who wait :-) by Poul Krogh Come back! by cpurdy BNFT Update by Poul Krogh	Poul Krogh	2020-09-11 19:42
Forum topic	Async/await vs coroutines? Something else by shap Ah, thank you for clarifying. by Matthew OConnor Interesting. Are there known by Matthew OConnor To be clear by John Shutt KISS by John Shutt Bad assumption by cpurdy Interesting. So a coroutine by Matthew OConnor Coroutines are typically by naasking	Matthew OConnor	2020-09-10 16:33
Forum topic	Exhaustiveness checks for algorithms that manipulate imperative data structures Thanks! F* looks by Eduardo León Constraint Solver Type Checker by dmbarbour I do not mind manually by Eduardo León Dependent Types by Matt M	Eduardo León	2020-08-30 14:57
Story	The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy It is elegant, but is it useful? by Eduardo León Tensors and typing by Eduardo León Wow by John Shutt	Manuel J. Simoni	2020-08-25 22:44
Forum topic	Programming in Lambda Calculus Elegance by John Shutt Thanks for the hint. Maybe I by hbrandl History by John Shutt	hbrandl	2020-06-27 02:58
Forum topic	Idris2 is self-hosting Even more exciting, for some of us by Charles Stewart	Ohad Kammar	2020-06-10 06:49
first page previous page next page last page