recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Who can make LtU2? Some of us dilettantes enjoy this site by mtenright Thanks by Matt M Conflicted is normal by Blaisorblade I'll reply to myself here by simon.stapleton Sure. by simon.stapleton If there is anyone to make little fixes by Josh Scholar Can you elaborate? by Matt M This is about form, not content by gasche People are conflicted in by Sean McDirmid Oh I get it, assignment and sharing by Josh Scholar ...	raould	2015-07-19 21:56
Story	Punctuated equilibrium in the large scale evolution of programming languages Wikipedia by Allan McInnes Evolution doesn't require by John Shutt - by John Shutt evolution and natural selection of languages? by AntC Raw data by Andrew Moss by Roly Perera	Allan McInnes	2015-07-20 01:13
Forum topic	Fixed points considered harmful closure axioms (re How would you model integer rings in DL?) by Thomas Lord Modeling machine integers by Keean Schupke re bamboozled by Thomas Lord quantifier elimination in DL re Forall g? by Thomas Lord Forall g? by Keean Schupke not a multiverse re models by Thomas Lord re How would you model integer rings in DL? by Thomas Lord Models by Matt M Finite and Infinite by Keean Schupke Sets◅ℕ▻ is a type, but not a set in Mathematics by Hewitt ...	Hewitt	2015-07-21 06:16
Forum topic	When are Actors appropriate? A CreateReal.[ ] is one of uncountably many Actors by Hewitt you only need some axioms (re I think that just...) by Thomas Lord I think that just makes by Ross Angle re ProvableComputableTotal by Thomas Lord ProvableComputableTotal by Ross Angle re Yes, but the gap by Thomas Lord Yes, but the gap by Ross Angle i thought you quit, Josh. by Thomas Lord the deliberately incomplete structure of CDL by Thomas Lord Direct Logic or whatever you call it needs to split off a useabl by Josh Scholar ...	raould	2015-07-21 16:25
Forum topic	Unreal Blueprints Visual Scripting Edit by chrisoliver C++..... by marco interop and debugging by Rys McCusker Another issue by Sean McDirmid Exactly by chrisoliver Differences between Blueprints and scripting languages? by Tess Foley Those who program are by Sean McDirmid Programmer? by chrisoliver I get that, but as you by Sean McDirmid Its not the novelty by chrisoliver ...	chrisoliver	2015-07-21 18:11
Forum topic	Database programming language review Andl website by Ross Angle Hi again, the link you by mamcx Yes, I'm still working on by davidb Hi, are you interested in by mamcx UserLand Frontier by Manuel J. Simoni The biggies by JeffB I understand that alf is by mamcx And before Foxpro by davidb As a developer that start by mamcx Thanks for the pointers by davidb ...	davidb	2015-07-23 00:44
Story	mbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems Taming C by raould Know the feeling by Allan McInnes Nice by raould	Allan McInnes	2015-07-24 21:05
Forum topic	"Prep" in programming languages Maybe not in implementation, but maybe in proof-checking by Ross Angle second other topic by Thomas Lord Please start a new topic. by Hewitt Probably veering off into a new topic by Andrew Moss re Misleading? by Thomas Lord Two Comments by Keean Schupke Misleading? by Keean Schupke sheesh by Josh Scholar re Partly it's because you seem really competent, by Thomas Lord offense seems both dose and context dependent by Rys McCusker ...	Hewitt	2015-07-25 23:26
Forum topic	Functor You get correctly by Blaisorblade If I get it correctly: Type Theory by marco Mbeddr-ish by Allan McInnes Interesting by Allan McInnes	marco	2015-07-27 09:23
Forum topic	New paper: Theory of Programs To me, it looks roughly by Matt M No notion of computation? by Blaisorblade Why so simple? by Matt M Rant on axiomatic methods by Blaisorblade Specification vs. Program by Matt M UTP by Allan McInnes Active link by Allan McInnes	Bertrand_Meyer	2015-07-27 16:21
first page previous page next page last page