recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Some questions concerning P != NP Why by Andrew Moss Actually even without by Carter Cheng How do you encode the password? by Andrew Moss Thanks by Carter Cheng Ah alright thanks. by Carter Cheng BTW. LtU has threads by marco I gather that is even normal by marco Actually that's something I by Carter Cheng You already answered that yourself by marco maybe gig rather than gag by Carter Cheng ...	Carter Cheng	2016-04-15 08:07
Forum topic	Good books on theoretical aspects of type theory when it applies to computer science and languages	Carter Cheng	2016-04-06 19:47
Forum topic	Best opening sentence ever, in a paper on S-Exprs for IDEs. Almost certainly orphaned by johnwcowan You are right not a nice by HeikoWengler Feel the Barn! by marco thanks! by raould Sentance by marco to whet by raould The IDE is online by raould Pay lots of money or break by Sean McDirmid It's only lost if you don't by HeikoWengler Interesting work, but they by Sean McDirmid	raould	2016-04-02 22:53
Forum topic	SFI Talk: Four the hard way: Computer design and living software	marco	2016-04-02 22:01
Forum topic	Onward 2016 call LIVE 2016 is probably a by Sean McDirmid best way by d08ble It really depends. An onward by Sean McDirmid what benefits? by Ivan V.	Sean McDirmid	2016-04-01 13:09
Forum topic	Formalization and programming language design -- explained to all Variance. by Keean Schupke Are Cats Animals? by marco Interfaces without subtyping by Keean Schupke I think a language by Josh Scholar upcasting and downcasting... by Ray Dillinger Update by Josh Scholar ML vs. PL by Sean McDirmid Non-human programmers and inventors by dmbarbour models of execution by Thomas Lord Thanks by gasche ...	gasche	2016-04-01 05:40
Forum topic	Fabula programming language Strange by rmovchan New Fabula Programming System by rmovchan I don't get it by Ivan V. FWT activation mail by Ivan V. Fabula's properties by rmovchan Can you describe what are by Ivan V. Still interesting by rmovchan	rmovchan	2016-04-01 04:16
Forum topic	Earl Grey; the story of a new programming language Well. Depends by marco My last hand written lexer by Josh Scholar It's not my impendence match by marco Still not a problem by Josh Scholar Falls into my category of hand written by marco Not hand written. by Josh Scholar So why is nobody doing that? by marco Agreed by Matt M change is in the air... by Josh Scholar Keyboards by Keean Schupke ...	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? I believe this qualifies as by naasking Not sure. by Keean Schupke No secret special ability. It's a NUMBER. by Ray Dillinger How about with a tracing jit by Josh Scholar casual vs technical 'specialize' meanings by Rys McCusker Parametric vs Universally Quantified. by Keean Schupke Linear algebra is a good example by Josh Scholar Non extensible by Keean Schupke Is that really specialization, from the programmer's POV? by Ray Dillinger Probably not coincidentally... by Ray Dillinger ...	raould	2016-03-31 23:06
Forum topic	Is the "Getting started"-guide up-to-date? ML can generate ontologies by Sean McDirmid abstraction by Josh Scholar It depends on what "AI" is. by Sean McDirmid This just looks like a cool by naasking I went through and glanced by Sean McDirmid Where's the reasoning? by Matt M The most exciting thing I've by Sean McDirmid AI? by adrieng Like I said, ML has much by Sean McDirmid Medical errors are actually by neelk ...	filipallberg	2016-03-29 06:03
first page previous page next page last page