user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Beyond FRP: physics-inspired programming abstractions? Functional Reactive Physics by dmbarbour True continuous time varying by dmbarbour Good on you. by Ehud Lamm [Admin] Promoted to the front page by James Iry Make it a forum post by Leon P Smith Just because you could by Sean McDirmid Baffles me too by marco Maybe a better versed by Sean McDirmid I agree by marco This seriously deserves its by dmbarbour ...	Sean McDirmid	2013-08-22 19:13
Forum topic	Error reporting strategies during parsing if garbage is shipped, why by dmbarbour Why should a JSON packet be by Sean McDirmid Crowdsource that. by dmbarbour Agreed by Matt Fenwick highlighting by John Shutt Yes, LR parsers have the easiest story for good error messages by neelk Yeah, I agree with that. by dmbarbour Why are we still reporting by Sean McDirmid Perhaps we should learn how by dmbarbour And for LR parsers? by gasche ...	Matt Fenwick	2013-08-15 20:16
Forum topic	Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.) Arbiters can take indefinite time by Z-Bo Implementing unbounded systems requires ever more resources by Hewitt I'll dig out a copy and take by Andrew Moss Unfortunately I don't know date that CSP changed by Hewitt Doesn't help by Andrew Moss Unbounded nondeterminism in CSP by Hewitt Did he? by Andrew Moss What is the use of being Turing-complete? by johnwcowan Please see discussion of arbiters in "What is Computation?" by Hewitt Why did Hoare change CSP to unbounded nondeterminism? by Hewitt ...	Hewitt	2013-08-14 18:34
Forum topic	Future of Programs using Assertions, Goals, and Plans There is no corresponding by dmbarbour Continued on forum topic "Global State Machines Inadequate" by Hewitt None of those problems exist by dmbarbour Performance problems with "batch" Actors by Hewitt You're an idiot. by dmbarbour From above response, I take it that Dmbarbour concedes the point by Hewitt Nah, they don't have by dmbarbour "Batch" Actors also have performance problems by Hewitt Read the paper, Mr. Hewitt. by dmbarbour No, if you want to prove a by dmbarbour ...	Hewitt	2013-08-10 01:07
Forum topic	Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores An attempted semantic summary by Ross Angle Sadly, no relationship to by dmbarbour	Sean McDirmid	2013-08-09 22:24
Story	ILC2002 Proceedings and Videos Still available? by vmcodes Day 1 videos now online by Luke Gorrie Favourite by Luke Gorrie Torrents by Manu Simoni Videos from day 2 now online by Luke Gorrie Mirror by Anton van Straaten Any specific recommendations? by Ehud Lamm Mirrors welcome by Luke Gorrie	Luke Gorrie	2013-08-08 08:11
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Service Abstractions, yes. Interoperable, no. by dmbarbour i read it after the revision by raould Branded class by dmbarbour Please help. by Z-Bo Then you'd clearly be by Ross Angle Show me examples and don't by Sean McDirmid Misinformed by Andreas Rossberg ADTs don't require types by Andreas Rossberg You're right, these weren't by JonathanAldrich Thanks, I'll have a look. by JonathanAldrich ...	Sean McDirmid	2013-08-07 23:59
Forum topic	Parallel Computing in the Julia Language	Greg Buchholz	2013-08-07 16:35
Forum topic	Metascala: A tiny JVM written in Scala Jikes RVM is 100% java I by Sean McDirmid Yeah, it's a pity that the by lihaoyi Someone should really port by Sean McDirmid	lihaoyi	2013-08-06 06:22
Forum topic	The Future of Programming according to Bret Victor Lets start a new topic by Sean McDirmid Imperative by Andreas Rossberg Are properties and by Sean McDirmid In the Real World (tm), I by Sean Childs Off topic and too nested by Sean McDirmid Oh dear by Andreas Rossberg I might believe my evidence by dmbarbour There are no strong facts, by Sean McDirmid One can easily clarify that by dmbarbour Here is another one of by Sean McDirmid ...	Christian Lindig	2013-08-02 14:28
first page previous page next page last page