user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos	craiganslow	2015-06-15 10:13
Story	The Unison Programming Platform The author has now written a by raboof Conflict-free merging by raboof Even if it isn't a good by Jules Jacobs I don't think it's that clear by Matt M A version control system by Jules Jacobs Simultaneous Editing and Change Tracking by Keean Schupke Fluidity (constrained input by Sean McDirmid Post reply below by const Limitation is that for by const The limitation is with git, by Jules Jacobs ...	naasking	2015-06-13 14:16
Forum topic	Functors are Type Refinement Systems Monoidal structure by Ross Angle Thumbs up. by Matt M Interesting question by adrieng I like it! by marco	adrieng	2015-06-12 20:12
Forum topic	Structuring F# Programs with Abstract Data Types [Presentation on Vimeo]	bryanedds	2015-06-08 19:22
Forum topic	Live Coding at Come Alive Looks good. We are still far by Sean McDirmid BTW the live coding of music by yaxu Super, will look forward to by yaxu Good, I feel better now. I by Sean McDirmid Manifesto by yaxu if you can't beat them, join them by Sean McDirmid Territory by yaxu Reality by Sean McDirmid Territory by yaxu Not about territory, but confusion by Sean McDirmid ...	marco	2015-06-08 12:05
Forum topic	The evolution of Rust not fallacious: it's about knowledge by Thomas Lord This argument is fallacious. by naasking a free will theorem lemma by Thomas Lord I was replying more to your by naasking re deterministic QM by Thomas Lord I think the picture is a by naasking I actually think the work on by naasking The idea that some state's by Sean McDirmid Another example by Ben L. Titzer The "reality" fallacy by Andreas Rossberg ...	qznc	2015-06-07 16:54
Forum topic	Paper journals are in bad shape; priority established in HAL ... Openness in HAL: censorship versus categorization by Hewitt There are potential by John Shutt What are the arXiv censorship policies? by Hewitt Duplication by Andrew Moss HAL is newer than arXiv, also more open and international by Hewitt Paper-based journals are Procrustean :-( by Hewitt HAL doesn't have the censorship limitations of arXiv by Hewitt Length limitations by shap HAL and arXiv by adrieng HAL vs Arxiv by Charles Stewart	Hewitt	2015-06-07 15:39
Forum topic	process oriented PL boot-strapping re actors are base on.... by Thomas Lord Actors are based on message-passing semantics; not preemption by Hewitt sort of by raould re enlightenment by Thomas Lord batch efficiency by Rys McCusker seeking enlightenment by raould re non-preemptive actors by Thomas Lord non-preemptive actors (or processes) by Rys McCusker I do not follow by raould rip typestate by raould ...	Rys McCusker	2015-06-05 17:47
Forum topic	Types are fundamental to both logic and computation Translating SOL to FOL. by Keean Schupke Is second order logic sound? by Keean Schupke In CS, unpaid article reviewing: not adding value to articles by Hewitt Infinite integers in models of FOL axioms are highly undesirable by Hewitt Fine by marco True by Matt M First order interpretation by Matt M "it doesn't even rule out these non-standard naturals" by marco "A cycle in succ violates the injectivity of succ" by marco Ah by marco ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions No "correctness" for large-scale; only Inconsistency Robustness by Hewitt How fast must an algorithm by dmbarbour Performance paramount; Inconsistency Robustness must follow by Hewitt re: performance first, correctness second by dmbarbour Not Ironic by marco Thanks for the counterpoint by Blaisorblade It'd be nice to be able to by Blaisorblade solves a real problem such as Facebook might have by jeremygibbons Unconvincing by marco Final post and summary by naasking ...	gasche	2015-05-30 21:12
first page previous page next page last page