user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Typographic Programming Languages modal highlighting; be careful of what's always on by Krilnon Correction by Andreas Rossberg So you fix the use of color by Sean McDirmid color doesn't have to be overused by raould I would not buy a car from by Sean McDirmid We had this in the Scala by Sean McDirmid Coloring for optimisations by doublec word, +1, etc. by raould Fair point by Andreas Rossberg Keywords by Keean Schupke ...	Sean McDirmid	2014-08-28 12:39
Forum topic	Invitation for PolyConf conference polyconf link by dmbarbour Link? by Ehud Lamm	kasia	2014-08-27 13:00
Forum topic	A fresh look at AOP - Use classes to define behavior, use aspects to compose behavior No not yet. I'm still by Sean McDirmid Anywhere to read about that? by Eivind Eklund Weird. I'm working on by Sean McDirmid	M Riccobene	2014-08-23 00:18
Story	Cost semantics for functional languages p.s. by raould memory layout aware data structures? by raould Blelloch does discuss the by dmbarbour That's very nice. In by Jules Jacobs Call-by-need by Peter A Jonsson Do I understand correctly by gasche Strict vs non-strict by Vladimir Slepnev Hm by gasche Provable upper bounds by Keean Schupke Incremental GC by Andreas Rossberg ...	gasche	2014-08-21 22:00
Story	Apple Introduces Swift Sure by Andreas Rossberg Abstract interpretation can by Jules Jacobs proper integers by Keean Schupke Because useless by Andreas Rossberg F* by Keean Schupke some day we'll have better tools by raould This really can't last. For by Sean McDirmid Benchmarks for Swift as of August 2014 by JeffB Parse errors by andrewzboard Badly paraphrased by Neil Madden ...	bashyal	2014-08-21 17:54
Forum topic	out of memory Gulwani's SPEED by Peter A Jonsson seL4 or TAL by Keean Schupke yes, static analysis helps establish limits by Rys McCusker (wrong spot) by Rys McCusker Max Memory Bounds by Keean Schupke quota usability for devs vs users by Rys McCusker what languages are such that by dmbarbour Not Necessarily Slower by Keean Schupke and another thing by raould not an obvious answer by raould ...	Rys McCusker	2014-08-17 09:54
Forum topic	A theory of data parallel computing Each processor by Victor Eijkhout sequential consistency by Keean Schupke Doesn't matter by Keean Schupke No. by Victor Eijkhout Sounds the same by Keean Schupke sequential semantics by Victor Eijkhout Performance by Victor Eijkhout Sequential semantics != sequential consistency by Victor Eijkhout Right, but reading the by Sean McDirmid Sequential Semantics by Keean Schupke ...	Victor Eijkhout	2014-08-14 22:16
Forum topic	Call by Meaning We're still constructing knowledgebases by hand, but indirectly by Joshua Taylor elephants don't play chess by Sean McDirmid The term linguists use for by Anders Horn Faster Processing + Probabilistic Approach by Keean Schupke Symbolic vs statistical AI by Vladimir Slepnev Prolog + Meaning Annotations? by Keean Schupke Amusing only to me? by RM Schellhas	Sean McDirmid	2014-08-13 21:44
Story	Safely Composable Type-Specific Languages "shell" and "file" literals using SRFI 108 by Per Bothner SRFI 108 by johnwcowan Embedded Literal Objects by dmbarbour	Allan McInnes	2014-08-13 18:09
Forum topic	Stream Processing with a Spreadsheet	Sean McDirmid	2014-08-13 07:44
first page previous page next page last page