recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” ship it! by raould I like the lambda calculus a lot. by Ray Dillinger Well, the lambda calculus is by naasking QBasic by Ivan V. People also matter by John Shutt Hardware Debugging is (was) Very Costly by marco re no abstraction by Thomas Lord A working definition. by Andrew Moss Heretical! by Josh Scholar No abstraction by Josh Scholar ...	Allan McInnes	2016-03-25 19:25
Story	Usability of Programming Languages SIG at CHI'2016	Ehud Lamm	2016-03-24 20:25
Forum topic	New Regexp Re: left recursion by Ivan V. left recursion by Josh Scholar I would write the definition by Ivan V. One thing about pattern matching is you always want binding. by Ray Dillinger re how does the matcher work by Thomas Lord Yes, that's the idea, by Ivan V. The dot was subtle by Andrew Moss Operator "!" by Ivan V. I would actually like to by Ivan V. Not really syntactic sugar by Andrew Moss ...	Ivan V.	2016-03-24 12:55
Forum topic	Why not C++? move semantics by skaller My preferred subset is to reduce visual ambiguity. by Ray Dillinger There is a tool working with by HeikoWengler like the idea of tools generally by Rys McCusker Quote is exact. by Andrew Moss "When I work on old code, I by HeikoWengler The pioneering claim is in the context of c++. by Giovanni Deretta An amusing claim by Andrew Moss resource management static analysis of references by Rys McCusker Subset enforcement by Matt M ...	raould	2016-03-22 14:41
Forum topic	Logic Programming with Failure as an Exception Intensional Negation by Keean Schupke Not Committed Choice by Keean Schupke SMT in one paragraph by Keean Schupke Sound Unification by Keean Schupke Not Closed Domains by Keean Schupke I will bother you later if by Josh Scholar Already read it by Keean Schupke links to both are here by Josh Scholar Understanding by Keean Schupke idk by Josh Scholar ...	Keean Schupke	2016-03-07 06:17
Forum topic	Whither actual generality/customizability/flexibility? miscue by John Shutt perfect abstraction by skaller I suspect you're by John Shutt Mathematics doesn't avoid the problem by Blaisorblade Sean Parent Videos by Keean Schupke thank you by raould Adam an Eve by Keean Schupke yes but no by raould Generalisability by Keean Schupke Basic research by John Shutt ...	raould	2016-03-06 14:59
Story	Second-order logic explained in plain English "Scientists use theories as a bag of working tools" by Charles Stewart Incompleteness theorem for ℕ by Hewitt Wiedijk's List by j4n bur53 Types can help with the monsters by Hewitt Riding the Monsters by j4n bur53 Models first-order theories: infinite integers & infinitesimals by Hewitt Toolbox approach by Charles Stewart You might want to consider by John Shutt Ranges by Keean Schupke Monstrosities, inc. by Ray Dillinger ...	Charles Stewart	2016-02-19 12:40
Forum topic	Learning two dialects simultaneously (CL/Scheme) Only tangentially related, by Ehud Lamm Rewarding responses by filipallberg mostly a good idea because contrast can lend clarity by Rys McCusker In my experience they are by Ehud Lamm	filipallberg	2016-02-18 11:13
Forum topic	Programmatic and Direct Manipulation, Together at Last Haskell programs only prove by Sam Tobin-Hochstadt Most programs don't prove anything useful? by Keean Schupke Rhetoric and related work by gasche Degenerate is fine by Keean Schupke The program is the proof by Keean Schupke Maya Ascii by chrisoliver i wish the cake were not a lie by raould Visual programming by chrisoliver Recognizing the elephant by John Shutt Degenerate solutions by Matt M ...	Sean McDirmid	2016-02-13 20:21
Forum topic	Andl is a New Database Language No UI by davidb Thanks by davidb Fixed by davidb by davidb "marketing" feedback by Brandon Bloom So you actually can program by Ivan V. Your links are missing by naasking	davidb	2016-02-08 03:43
first page previous page next page last page