recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Denominated Values - Part numeric and symbolic. (deleted) by Julian Rohrhuber Dimensional Analysis by Julian Rohrhuber Ratios? No. by Ray Dillinger Units by shap Joules vs. newton-meters, length vs. width vs. height by John Cowan	Ray Dillinger	2023-01-31 22:12
Forum topic	What is a type? What's a type, take #2 by cpurdy Not quite the same as axiomatic ADT by Bakul Shah Code Contracts by Z-Bo Definition of the term "behavior" by cpurdy The program you describe can by dmbarbour Computability and halting by dmbarbour re It is also true that (naasking) by Thomas Lord re: A TM is a model of computation that ... by Thomas Lord re: Infinite vs. unbounded by Thomas Lord Did misread you, Ray - sorry by Thomas Lord ...	cpurdy	2023-01-25 22:53
Forum topic	Basic building blocks of a programming language Why category theory by Mats Give it a few days... by Ray Dillinger <Removed> by Mats Category theory to the rescue? by Mats	Mats	2023-01-22 11:40
Forum topic	JIT: it's complimicated	raould	2022-12-16 01:07
Story	Computer History Museum releases PostScript source	Matt Hellige	2022-12-13 00:15
Forum topic	Pico Scheme (A purely functional subset of scheme)	jrincayc	2022-12-09 22:49
Story	LtU is now running in a new, more stable environment (dupe) by Matt Hellige (dupe) by Matt Hellige "contributing editors" by Matt Hellige Who is promoting topics? by shap What I did on my summer vacation by Anton van Straaten Why it’s better by Anton van Straaten about the double post by Geoff Knauth Curious about the new environment by Geoff Knauth HTTPS by Anton van Straaten How about switching to HTTPS? by Sergey Lozhkin ...	Anton van Straaten	2022-11-28 23:40
Forum topic	Deallocation patterns and linear types (e.g. Rust) Regions provide this order by shap Wasn't this idea in the Dragon Book? by Ray Dillinger	shap	2022-11-16 22:24
Forum topic	Denominated Values - Part numeric and symbolic. I've seen this implemented before by Michiel Helvensteijn	Ray Dillinger	2022-10-18 17:27
Forum topic	A Manufacturer's Perspective on PL Progress Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Kind classes by shap Template Metaprogramming. by Ray Dillinger That's a bit strong by shap Conflicting Goals by cpurdy c++ will have modules by marco ...	shap	2022-10-02 17:33
first page previous page next page last page