Lambda the Ultimate

type	title	author	last post
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
Forum topic	The programming language of crash test dummies. Maybe Logo or Emacs Lisp by dmbarbour Dude, he's obviously talking by dmbarbour	Ray Dillinger	2012-10-05 17:18
Story	Informed dissent: William Cook contra Bob Harper on OOP C++ has plenty of that. by dmbarbour	Ehud Lamm	2012-09-29 09:12
Forum topic	Designing a languge — what theory is a must? Typestate or Null Object by dmbarbour	pgregory	2012-09-28 19:01
Forum topic	Proof formats Linear logic could, for by dmbarbour I think you're doing a lot by dmbarbour	hbrandl	2012-09-27 14:47
Forum topic	Are scalars "just" degenerate matrices? Parsing by dmbarbour Scalars to Identity Matrix by dmbarbour I've often thought it would by dmbarbour	Douglas McClean	2012-09-22 21:38
Forum topic	How much power should programmers have? Behaviors and Strategies by dmbarbour Programs are not by dmbarbour Ends and Means by dmbarbour There are many by dmbarbour Crypto-fascist by dmbarbour Agree by dmbarbour	Ray Dillinger	2012-09-19 03:12
Forum topic	Alien worlds, values, and you can't touch this Very nice. I might need to by dmbarbour Frequency by dmbarbour Batching by dmbarbour Progammer's Time by dmbarbour Even between lightweight by dmbarbour Partition Types by dmbarbour	Sean McDirmid	2012-09-11 13:15
Forum topic	IDE design for immediate feedback Look into F* (Fstar) from by dmbarbour	David Wagner	2012-09-04 09:14
Forum topic	Enso: William Cook's new programming model Excellent. Front page. by dmbarbour Lock-based implementation not relevant by dmbarbour A Language of Micro Databases by dmbarbour Scalable models are compositional by dmbarbour Re: Transactions at scale by dmbarbour Imperative cycles by dmbarbour Cyclic Graphs by dmbarbour	Rafael	2012-08-29 17:46
Story	Parsing: The Solved Problem That Isn't Stateful Semantics by dmbarbour Allowances and constraints by dmbarbour The state in my example is by dmbarbour Art of the State by dmbarbour May not Should by dmbarbour Countering some Skepticisms by dmbarbour Parse as a Stable Model by dmbarbour Expressive Power by dmbarbour	James Iry	2012-08-26 09:11
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