Lambda the Ultimate

type	title	author	last post
Forum topic	Workshop on Probabilistic Programming in December If the sampling is by dmbarbour simply replicate the whole by dmbarbour A language for ML could be by dmbarbour The important questions by dmbarbour Correct in the sense that it by dmbarbour Heterogeneity by dmbarbour Probabilistic programming by dmbarbour The phrase "conditioning on by dmbarbour I was unable to extract by dmbarbour Modeling with probabilities by dmbarbour ...	Daniel Roy	2013-01-23 15:36
Forum topic	Import Systems Static reasoning in by dmbarbour Modules are compatible with by dmbarbour DI, plugins, reflection by dmbarbour	Kay Schluehr	2013-01-14 15:05
Forum topic	Relational Model Considered Obsolete SQL can represent bitemporal by dmbarbour A primary key isn't really by dmbarbour [dup] by dmbarbour SQL supports Relational by dmbarbour They are one way. by dmbarbour Paraconsistent logics are by dmbarbour No, it doesn't and isn't. by dmbarbour I did not ask how relational by dmbarbour Actor concurrency may by dmbarbour Why actors? by dmbarbour	Hewitt	2013-01-12 03:12
Forum topic	Pointer-Free Parallel Programming Re: Haskell comparison by dmbarbour manual GC not a problem here by dmbarbour Typically I'd call that "no by dmbarbour This looks pretty good. You by dmbarbour	sttaft	2013-01-11 15:58
Story	Rob Pike on Go at Google Have you considered that by dmbarbour Not hung up on 'dev time' by dmbarbour dev-time is poor excuse for bad abstractions by dmbarbour Multiple development models by dmbarbour Meh two by dmbarbour Not as much need for names as you assume by dmbarbour But for once I think I by dmbarbour Certainly we must use by dmbarbour I haven't a clue how Ben L. by dmbarbour Natural language doesn't by dmbarbour ...	Ehud Lamm	2013-01-09 22:52
Forum topic	Seeking feedback for a tutorial paper draft about GADTs Try the Haskell google by dmbarbour	Anton Dergunov	2013-01-08 22:02
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" New by dmbarbour Aliasing by dmbarbour Typeclasses, Collections, Existentials by dmbarbour In practice, OOP is not by dmbarbour Has-a and Is-a by dmbarbour Re: Inheritance by dmbarbour I share your cynicism about by dmbarbour The overhead of implementing by dmbarbour Of course you should invent by dmbarbour Re: Multmethods by dmbarbour ...	w7cook	2013-01-08 20:02
Forum topic	Type evolution during construction Typestate and Linear Types by dmbarbour	shap	2013-01-08 18:45
Forum topic	Multimap unification Considering that unification by dmbarbour Lazy evaluation was not by dmbarbour Unification has undesirable by dmbarbour	Robbert van Dalen	2012-12-23 23:20
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) Mixfix precedence by dmbarbour	Greg Buchholz	2012-12-20 20:48
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
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