Lambda the Ultimate

type	title	author	last post
Forum topic	Eventually consistent distributed STM Merging Transactions by dmbarbour Types for Eventual Consistency by dmbarbour	cypof	2012-12-10 06:15
Forum topic	Distributed Transactional Memory Nice by dmbarbour	cypof	2012-12-08 05:40
Forum topic	The Programming Language Tag Clouds Sweet (Everyone here should try to contribute) by dmbarbour	blambeau	2012-12-02 11:41
Forum topic	Abolishing zeros Multiplicative Inverse by dmbarbour If I was forced to make a by dmbarbour	Robbert van Dalen	2012-12-01 04:39
Forum topic	Learnable Programming I can't see where Aha! by dmbarbour Any PL is unusable without by dmbarbour Do you think that if we by dmbarbour PLs need to first solve the by dmbarbour Models of Models are common by dmbarbour We were talking about by dmbarbour Most errors caused by by dmbarbour Not Sequitur by dmbarbour No, it's an argument against by dmbarbour No implementation can avoid by dmbarbour ...	dmbarbour	2012-11-29 21:57
Forum topic	Libraries suck anything globally accessible by dmbarbour Precise control of export is by dmbarbour There are insecure by dmbarbour automatic mix of proofs and tests by dmbarbour I'm just hoping to provide by dmbarbour Organizational units are not by dmbarbour Construction by Proof by dmbarbour So? That you need details of by dmbarbour Human input on import by dmbarbour The phrase "correctness of by dmbarbour ...	Kartik Agaram	2012-11-26 22:16
Forum topic	Something you can do with Terms Quotation of logical by dmbarbour	Enrique Perez Arnaud	2012-11-17 20:30
Forum topic	Testing in the absence of side effects The advantage is simple: no by dmbarbour	giuseppemag	2012-11-14 17:49
Forum topic	Emscripten now (sort of) self-hosting GC Perf. by dmbarbour	shap	2012-11-13 19:52
Forum topic	Incremental computation with divide and conquer memoization memoization is not about by dmbarbour Explicit memoization is the by dmbarbour Memoization is a common by dmbarbour	Robbert van Dalen	2012-11-10 17:46
Forum topic	How to handle errors Exceptions by dmbarbour Simple Approximations by dmbarbour It is possible to enumerate by dmbarbour I can imagine an IDE that by dmbarbour The tradeoff you propose by dmbarbour Error Handling Patterns by dmbarbour Thanks for providing and by dmbarbour The use of `inotify` is to by dmbarbour You can develop by dmbarbour Linear logic has direct by dmbarbour ...	Mats	2012-11-09 05:58
Forum topic	Let's fix spreadsheets "Near miss" use-cases are by dmbarbour [meta] broken link by dmbarbour Existing Efforts by dmbarbour Consistency in RDP by dmbarbour RDP by dmbarbour	Robbert van Dalen	2012-11-03 12:23
Forum topic	Axiomatic Language William Cook is doing some by dmbarbour	Walter W. Wilson	2012-11-01 15:43
Story	Strange Loop 2012 Video Schedule what gives you such faith in by dmbarbour take away all scissors by dmbarbour One might understand by dmbarbour It only seems nutty from a by dmbarbour Even theoretically, you by dmbarbour Suppose an AI is trained by dmbarbour Why is it impossible that by dmbarbour That's an irrelevant by dmbarbour Imagine "overlord AI" which by dmbarbour An overlord AI is not by dmbarbour ...	Ehud Lamm	2012-10-28 21:46
Story	Visi.io The code is available, but by dmbarbour	Ehud Lamm	2012-10-28 16:26
Forum topic	The SPREAD programming language It does not offer me an by dmbarbour There are a few things I by dmbarbour	Robbert van Dalen	2012-10-27 05:12
Forum topic	"Next Page" comment links not working It's easy to widen the posts by dmbarbour When I complained about this by dmbarbour	Sean McDirmid	2012-10-25 08:09
Forum topic	The Terms language You speak generally of by dmbarbour Loves is Exists by dmbarbour	Enrique Perez Arnaud	2012-10-20 23:22
Forum topic	Aha! Programming Language Random? by dmbarbour Logical Time by dmbarbour I know of a teacher who does by dmbarbour Temporal Semantics with a Simpler Foundation by dmbarbour If I wished to prove by dmbarbour My first lines above by dmbarbour Wrong Problem by dmbarbour A primary use of total by dmbarbour Runtime detection of recursion by dmbarbour Total Fail by dmbarbour ...	rmovchan	2012-10-19 03:50
Forum topic	Real-Time Programming and the Big Ideas of Computational Literacy Live, Interactive by dmbarbour	Sean McDirmid	2012-10-19 02:48
Forum topic	Strongly-Typed Language Support for Internet-Scale Information Sources: F# Type Providers What is *really* needed to by dmbarbour Code Distribution, not Type Providers by dmbarbour	Charles Torre	2012-10-15 18:32
Forum topic	DRAKON-Erlang: Visual Functional Programming Abstraction is language by dmbarbour Deep Syntactic Properties by dmbarbour Structural Reasoning by dmbarbour You referred to declarative by dmbarbour If there are no limits on by dmbarbour Many worlds by dmbarbour The declarative expression by dmbarbour The extent to which a by dmbarbour Enable lines in a data flow by dmbarbour Make me a lie by dmbarbour ...	Stepan Mitkin	2012-10-12 08:32
Forum topic	P = NP question Given DFA, D, that directly by dmbarbour Information is physical by dmbarbour Mathematics are many and by dmbarbour We're not talking about the by dmbarbour Pushing complexity outside a by dmbarbour How is that relevant? Carter by dmbarbour Where do you account for by dmbarbour	Carter Cheng	2012-10-10 22:26
Forum topic	How to type polymorphic variants with open generic functions? It's probably good to by dmbarbour Maybe reframe the question by dmbarbour	Manuel J. Simoni	2012-10-09 04:23
Forum topic	In defense of semicolon I agree with that. by dmbarbour Feature Buffet by dmbarbour Orders of magnitude by dmbarbour Syntax not Dismissed by dmbarbour Innovation in Mainstream by dmbarbour invisible and transient ... by dmbarbour	Sean McDirmid	2012-10-08 22:32
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation