Lambda the Ultimate

type	title	author	last post
Forum topic	Higher order versus Object order I was only surprised that by Sean McDirmid Such an old thread. I by Sean McDirmid	Francis McCabe	2012-05-17 17:45
Forum topic	Why and How People Use R The point is not if Scala is by Sean McDirmid I'm not sure what your point by Sean McDirmid Ecosystem = libraries + by Sean McDirmid I wonder if we are talking about the same thing? by Sean McDirmid What contrast are you by Sean McDirmid We put out knowledge, the by Sean McDirmid I should have said "don't by Sean McDirmid Worse is better by Sean McDirmid Its not that bad of a by Sean McDirmid One thing that shader by Sean McDirmid ...	Charles Torre	2012-05-14 20:31
Forum topic	On the Naturalness of Software We can include known by Sean McDirmid . In general if you have by Sean McDirmid Hybrid approaches by Sean McDirmid The draft watermark kind of by Sean McDirmid Fixed. Sorry, I shouldn't by Sean McDirmid	Sean McDirmid	2012-05-08 23:24
Forum topic	Evaluating the Design of the R Language	Sean McDirmid	2012-04-25 07:53
Story	Adding Delimited and Composable Control to a Production Programming Environment Just wanted to add: this is by Sean McDirmid	Manuel J. Simoni	2012-04-22 23:57
Forum topic	Erik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming The main problem I've always by Sean McDirmid	Charles Torre	2012-04-04 15:50
Forum topic	Disruptive PLT Revisited I think Don Sym's type by Sean McDirmid I believe Google has many by Sean McDirmid There are many ways about by Sean McDirmid Again, just because a new by Sean McDirmid Ah yes, overflow, I wasn't by Sean McDirmid Not really. There is big by Sean McDirmid The big disruptive trend in by Sean McDirmid The type system I'm working by Sean McDirmid Already there are people out by Sean McDirmid I think you misunderstood my by Sean McDirmid ...	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design It sounds like we should by Sean McDirmid Yes, and plenty of by Sean McDirmid CHI/UIST used to be cooler... by Sean McDirmid In PL, a proof cannot be by Sean McDirmid Again, doing the proof isn't by Sean McDirmid I think we value different by Sean McDirmid Type systems might be PL, by Sean McDirmid PCs are weird. You'll see a by Sean McDirmid In this case my primary by Sean McDirmid Actually, a proof is tedious by Sean McDirmid ...	giuseppemag	2012-03-30 05:42
Forum topic	How to Generate (Hard) Real-Time Code from Declarative Programming Languages? I wrote a paper once that by Sean McDirmid	bryanedds	2012-03-29 23:06
Forum topic	Coding at the Speed of Touch Well, speech can be sign by Sean McDirmid Weird, assuming a frame rate by Sean McDirmid Believe me, we have been by Sean McDirmid But allowing badly typed by Sean McDirmid Flexibility of the language by Sean McDirmid My current research is by Sean McDirmid Mind rot by Sean McDirmid Wrong place. by Sean McDirmid Accept accept. by Sean McDirmid I borrowed this from Kodu. by Sean McDirmid ...	Sean McDirmid	2012-03-27 18:25
Forum topic	crazy PL idea: prescriptive trait inference Here is how I think about by Sean McDirmid It would be an instance of by Sean McDirmid You don't use functions or by Sean McDirmid If you have control of the by Sean McDirmid I'm thinking perhaps a by Sean McDirmid Sure. This approach easily by Sean McDirmid Each instantiation is unique by Sean McDirmid There are two nodes for each by Sean McDirmid It's not equivalence at all, by Sean McDirmid Each method call adds a by Sean McDirmid ...	Sean McDirmid	2012-03-26 23:20
Story	Language mystery: identify the source language to a worm based on its object code You are definitely correct, by Sean McDirmid If another tool was pumping by Sean McDirmid Its more like a dialect of C by Sean McDirmid I invented v-tables myself by Sean McDirmid	James Iry	2012-03-20 23:15
Forum topic	Long rant on Erlang-style Actors: Lost Dimension Yet its not apparent enough by Sean McDirmid Adding these delays just by Sean McDirmid I'm OK with encapsulated by Sean McDirmid I dislike the explicit delay by Sean McDirmid Embracing the glitches by Sean McDirmid	const	2012-03-20 08:57
Forum topic	Software Cartography and Code Navigation I think the constraining by Sean McDirmid	Sean McDirmid	2012-03-16 00:17
Forum topic	Research in Programming Languages The essay seems concerned by Sean McDirmid Some supporting discussion by Sean McDirmid I'm going to disagree with by Sean McDirmid Whether there is some by Sean McDirmid	Sean McDirmid	2012-03-10 11:01
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness Trying to close the rogue by Sean McDirmid	Hewitt	2012-03-05 22:15
Forum topic	Bret Victor's Inventing on Priniciple E.g., impact / taint / by Sean McDirmid	Sean McDirmid	2012-03-05 10:44
Story	A Concept Design for C++ But architect majors learn autocad... by Sean McDirmid Google spends a lot of time by Sean McDirmid 10 years is about right, its by Sean McDirmid	James Iry	2012-03-04 21:35
Forum topic	[Meta] Are we Reddit? Well, reddit's moderation by Sean McDirmid Given how many of us have by Sean McDirmid	James Iry	2012-02-29 02:46
Story	Programming as collaborative reference Siri-ous programming by Sean McDirmid	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Active Variables in Common Lisp In Bling, you can create a by Sean McDirmid	kruhft	2012-02-08 18:02
Forum topic	Evolution of mainstream programming language paradigms The physics of reactive programming by Sean McDirmid Szyperski's component book by Sean McDirmid Your components sound by Sean McDirmid	const	2012-02-08 02:01
Forum topic	Peak Abstraction Peak abstraction identifies by Sean McDirmid My last job more than 4 by Sean McDirmid Interesting point. As part by Sean McDirmid	Sean McDirmid	2012-02-06 17:19
Forum topic	Graphics primitives? You should have a basic by Sean McDirmid	danbst	2012-01-27 14:10
Forum topic	LastCalc: A web-based REPL for a pure functional programming language with a flexible syntax and parser Wolfram alpha's parser is by Sean McDirmid	sanity	2012-01-27 03:15
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