Lambda the Ultimate

type	title	author	last post
Story	Is Transactional Programming Actually Easier? I like how it fills out the by dmbarbour STM is the worst possible by dmbarbour Re: Motivation by dmbarbour It depends on what we mean by dmbarbour Simple Expression by dmbarbour Performance was not a metric by dmbarbour Randomized + SIMD by dmbarbour Concurrency vs. Parallelism by dmbarbour Orchestration with Transactions by dmbarbour	Z-Bo	2010-09-10 18:31
Story	Joe Duffy: A (brief) retrospective on transactional memory Transactional Console.WriteLine by dmbarbour	Z-Bo	2010-09-09 12:58
Forum topic	Choosing a VM for a concurrent language I did consider adding an by dmbarbour Conflating concurrency with by dmbarbour Scalable Concurrency by dmbarbour Clojure-CLR by dmbarbour Goto Start by dmbarbour Lessons of OS's and the Internet by dmbarbour Language Toolbox by dmbarbour Different Schools? by dmbarbour languages to solve problems are interesting and useful by dmbarbour Ergonomicists object to hand-waving; strains wrist... by dmbarbour ...	Shrutarshi Basu	2010-09-09 04:19
Forum topic	Dependency injection via parameterized types (?!) Elusive Context by dmbarbour Re: Benefits by dmbarbour Re-editable Configurations and Parameterized Modules by dmbarbour Waterbed Theory by dmbarbour Objects as Modules by dmbarbour	Manuel J. Simoni	2010-09-08 08:40
Forum topic	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only Little Pockets of Solitude by dmbarbour My strong impression was by dmbarbour Relative Benefits by dmbarbour Abstract-only Imports by dmbarbour	scottmcl	2010-08-19 12:33
Forum topic	The ideal style/system for namespaces. Review by dmbarbour	simcop2387	2010-08-16 17:25
Forum topic	Synchronic Computaion Hyperlinks and Abstracts by dmbarbour [no longer relevant] by dmbarbour	Alex Berka	2010-08-11 16:12
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Localizing Inconsistency? by dmbarbour Monkey and the Weasel by dmbarbour Liberating Constraints by dmbarbour Whether logic programming by dmbarbour Distribution vs. Concurrency by dmbarbour Hewitt's presentation leaves by dmbarbour "Overzealous hair-splitting" by dmbarbour That doesn't sound like by dmbarbour You claim malign by dmbarbour Direct Logic is a subset of Classical Logic by dmbarbour ...	Hewitt	2010-08-10 14:23
Forum topic	Lexical Analysis with Extended Identifiers and Disambiguation by Table Look-up. Moderately Related by dmbarbour Done before by dmbarbour	Ed Earl Ross	2010-08-09 23:35
Forum topic	Logic programming based GUI framework Blame by dmbarbour Ur/Web by dmbarbour Solve the Exercise by Letting the Dog Eat It by dmbarbour Safe Templating Engines by dmbarbour Mashups by dmbarbour Parr developed a set of by dmbarbour For undo, you need some sort by dmbarbour Word play by dmbarbour Natural Undo by dmbarbour doesn't really solve the by dmbarbour ...	Tegiri Nenashi	2010-07-30 22:01
Forum topic	Containers and Inheritance C++ Concepts by dmbarbour Java Wildcards by dmbarbour	bfraser	2010-07-28 19:53
Forum topic	The Mirah Language Thank you for explaining. It by dmbarbour No Runtime Dependency? by dmbarbour	Noel	2010-07-28 04:45
Forum topic	The Rust Language Re: Ur/Web by dmbarbour Rust will eat your laundry by dmbarbour	Noel	2010-07-27 23:17
Forum topic	The Clay language Systems Programming by dmbarbour	Vilya Harvey	2010-07-27 01:05
Forum topic	A proof engine for Eiffel Suggestions for Organization by dmbarbour Interest from the community by dmbarbour	hbrandl	2010-07-24 21:09
Story	Scribble: Closing the Book on Ad Hoc Documentation Tools Browser Developer, eh? by dmbarbour Firefox by dmbarbour	Manuel J. Simoni	2010-07-23 23:54
Forum topic	Is mathematics invention or discovery? Still OT by dmbarbour	Justin Johansson	2010-07-20 08:14
Forum topic	App Inventor: Programming for non-programmers... again Environments that can Teach by dmbarbour "NO programming knowledge" by dmbarbour	fogus	2010-07-16 23:11
Story	Why Undergraduates Should Learn the Principles of Programming Languages Teach CTM? by dmbarbour	Z-Bo	2010-07-15 09:08
Forum topic	Questions about Semantics. Infinite Languages and Grammars by dmbarbour	Matt Estes	2010-07-15 05:47
Forum topic	How important is language support for namespace management? Namespaces and Mobility and Security :) by dmbarbour Namespaces and Mobility by dmbarbour Backtracking Parsers by dmbarbour Import Controls by dmbarbour Fully qualified names by dmbarbour Naming conflicts are still possible by dmbarbour Import/Export Controls by dmbarbour Not so orthogonal by dmbarbour Discoverability, Language by dmbarbour Flat Namespace by dmbarbour	Manuel J. Simoni	2010-07-12 18:33
Forum topic	Uncle Bob's talk at RailsConf 2010 Oh. I apologize for that by dmbarbour The most important expressiveness issue of our time by dmbarbour	Marc Hamann	2010-07-07 20:43
Story	An intuitionistic logic that proves Markov's principle Markov's principle in essence by dmbarbour Not Trivial in Intuitionist logics by dmbarbour Thanks for that insight. by dmbarbour Really? by dmbarbour Thanks by dmbarbour	neelk	2010-07-07 08:23
Forum topic	Simulation language ideas? Some References by dmbarbour	James W Hofmann	2010-07-05 22:33
Story	Compiling Structural Types on the JVM Re: Interface Injection by dmbarbour	James Iry	2010-07-02 05:05
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