recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Applied Category Theory - The Emerging Science of Compositionality re LabVIEW by dmbarbour I'm pretty sure, NI also by Kay Schluehr Formal notations by adrieng Pictures and words by Kay Schluehr Second look by John Shutt Sure by John Shutt Introductory talk by Manuel J. Simoni Not worth 20 minutes by Matt M Have to shave some yaks. by Manuel J. Simoni Connecting the dots by John Shutt ...	Manuel J. Simoni	2019-09-10 22:22
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	Applications of Blockchain to Programming Language Theory Thanks, fare by Z-Bo The intersection of Game Theory and Game Semantics by François-René Rideau Block chains and PL by dmbarbour Cargo cult computer science by israelrt	Z-Bo	2020-04-23 14:47
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
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
Story	Google Brain's Jax and Flax	Z-Bo	2021-01-15 15:01
Story	LAMBDA: The ultimate Excel worksheet function I really like spreadsheets by Robbert van Dalen Language evolution pressure by const Finance Reaction: "oooohhh" by Z-Bo	bashyal	2021-04-01 21:52
Story	Coq will be renamed Needs doing by davidb Very cool, by the way. by Thomas Lord	Ohad Kammar	2021-05-10 14:44
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
Story	Introducing PathQuery, Google's Graph Query Language PathQuery's foundation by Charles Stewart	Z-Bo	2021-07-27 13:34
first page previous page next page last page