Lambda the Ultimate

type	title	author	last post
Forum topic	Aha moment From 2002 by dmbarbour	Ehud Lamm	2014-04-29 06:07
Forum topic	Inquiry into the nature of software complexity. There are ways to precisely by dmbarbour opaque with respect to the dimension under study by dmbarbour re AI by dmbarbour messes and markets by dmbarbour absolute or relative? by dmbarbour Looking around at the market by dmbarbour	bryanedds	2014-04-24 20:30
Forum topic	Diseases in Code Falsifiability by dmbarbour *** * ** ***** by dmbarbour	bryanedds	2014-04-23 15:23
Story	.NET Compiler Platform ("Roslyn") Slate by dmbarbour notoriously hard to debug, by dmbarbour by converting control flow by dmbarbour what do you gain by that by dmbarbour N-1 or N+1 of N features by dmbarbour OMeta is a library that has by dmbarbour Parsers should be argued from toolset, not hosting paradigm by dmbarbour Parser combinators by dmbarbour traits, dci by dmbarbour Pattern Matching by dmbarbour ...	Ehud Lamm	2014-04-22 23:53
Forum topic	Detected contradictions in large information systems That is only the case if 'P' by dmbarbour	Hewitt	2014-04-22 11:45
Forum topic	Designing an alternative to s-expressions for language extensibility [meta] broken EMSIP links by dmbarbour O expressions by dmbarbour	Olivier Breuleux	2014-04-20 21:03
Story	Study finds that when no financial interests are involved programmers choose DECENT languages More fundamental than DNN by dmbarbour AI needs good PLs with by dmbarbour	Ehud Lamm	2014-04-15 05:59
Forum topic	Leslie Lamport: Thinking for Programmers Exploratory programming by dmbarbour	Charles Torre	2014-04-12 13:41
Forum topic	HyperCard and PL as powerful but hard to use interface PL as UI by dmbarbour	Rys McCusker	2014-04-11 03:39
Forum topic	Multimethods over structural types Favoring Explicit by dmbarbour	Benjohn Barnes	2014-04-07 13:08
Forum topic	Toward a better programming Useful Coupling of Concerns by dmbarbour	ibdknox	2014-04-01 05:35
Story	What Are The Resolved Debates in General Purpose Language Design? String Representation not resolved... by dmbarbour Agreed, but... by dmbarbour Not in general, no... by dmbarbour No language expressive by dmbarbour Formal Semantics Unresolved by dmbarbour Is Formal Semantics a Resolved Debate? by dmbarbour Language defined in Language by dmbarbour If you point at the by dmbarbour First Class Locality by dmbarbour UTF-8 reading, writing, and by dmbarbour ...	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future nonces with assertEq by dmbarbour and check that the reference by dmbarbour control of effects by dmbarbour	bashyal	2014-03-26 03:53
Forum topic	"null" is to tagged unions as ???? is to records Pointer arithmetic by dmbarbour	Kannan Goundan	2014-03-22 20:06
Forum topic	Julia has no dependent types Ideally, dependent types are by dmbarbour	andrew cooke	2014-03-13 16:43
Forum topic	Resilient Languages I already provided by dmbarbour Reuse is necessary for by dmbarbour Reuse as prerequisite for Right by dmbarbour Developing an architecture by dmbarbour Easier and More Fun in PL by dmbarbour technical merit by dmbarbour there is no strong boundary by dmbarbour Confronted with the by dmbarbour value that they place on by dmbarbour if only people would resolve by dmbarbour ...	spdegabrielle	2014-03-11 00:57
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Yes, that post is a nice by dmbarbour Informally, concurrent by dmbarbour But the actor model. by dmbarbour Futures and promises have a by dmbarbour Misleading title by dmbarbour	Allan McInnes	2014-03-05 19:33
Story	Wirth Symposium The most stable resolution by dmbarbour Concrete Languages by dmbarbour Cost and price are not dual by dmbarbour Cost is not Price by dmbarbour the economic analysis in my by dmbarbour Activation Energy by dmbarbour Real cost of tools by dmbarbour Oh. That makes much more by dmbarbour Which kernels in mainstream by dmbarbour	Luke Gorrie	2014-03-04 20:32
Forum topic	Wolfram Language Very impressive demo. Thanks by dmbarbour Symbolic Computation by dmbarbour	Sean McDirmid	2014-02-26 09:48
Forum topic	Disallow shadowing? Tags are useful. For by dmbarbour Heuristic Techniques by dmbarbour the mapping step is implicit by dmbarbour Not a killer by dmbarbour Positional indices are great. by dmbarbour 😒 by dmbarbour History is useful for by dmbarbour Control flow is paradigmatic flaw by dmbarbour Bottleneck on Abstractive Power by dmbarbour Grasp the bottleneck by dmbarbour ...	Y	2014-02-25 02:06
Forum topic	Parallelism and Concurrency in the Actor Model CCA by dmbarbour Research is always ongoing. by dmbarbour What is your evidence that by dmbarbour What does 'organizational by dmbarbour	Hewitt	2014-02-21 05:06
Forum topic	Booleans vs strings Language can hinder clean by dmbarbour Kiwi coercions are by dmbarbour Booleans as data by dmbarbour Refinements by dmbarbour So you'd suggest we never by dmbarbour Because these assumptions by dmbarbour Patterns help only if they refine by dmbarbour Program refactoring by dmbarbour Coupling structure and logic by dmbarbour when we're writing code to by dmbarbour ...	jamii	2014-02-15 22:49
Forum topic	Limitations of Prolog-style clausal programs Modal by dmbarbour	Hewitt	2014-02-11 10:53
Forum topic	Verification games: Making verification fun How practical? by dmbarbour	George Morrison	2014-02-08 16:31
Forum topic	PuzzleScript Modularity by dmbarbour REBOL seems to have been by dmbarbour	Tess Foley	2014-02-01 15:29
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