user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness Interesting that the by naasking How does this compare to Garrigue's paper... by yminsky	naasking	2015-10-14 15:30
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml It is confusing while the by Sean McDirmid Meh by gasche French version by pjmlp source as docs by NickP good catch by NickP Hm by gasche link by NickP here's the link by NickP Hard data point by Andrew Moss Fair enough by Allan McInnes ...	Allan McInnes	2015-10-12 22:15
Forum topic	Optimal efficiency GPUs and Parallel vs Serial by Keean Schupke Serial? by skaller Depends by Andrew Moss Declarative by Keean Schupke Isn't O(log N) for NUMA or clusters? by Blaisorblade Indeed, what is and what by Jules Jacobs Cheating: you didn't close the loophole, IMHO by Blaisorblade Memory reuse in CHR implementations by gasche Nice by gasche Just for fun I ran a by Jules Jacobs ...	Keean Schupke	2015-10-12 06:19
Story	Tangible Functional Programming This is why I'm trying to by Sean McDirmid ditto frustration by raould I've seen the video (Google by Sean McDirmid video still exists by raould The citation trail is cold by Sean McDirmid Two more pointers by Conal Elliott Hey, I did a talk about the by reinier punkt de Additional context by Conal Elliott Note the "comments please" by Ehud Lamm	James Hague	2015-10-09 23:28
Story	Optimizing Closures in O(0) time	naasking	2015-10-04 17:46
Forum topic	Joining Forces: LVars & CvRDTs Lindsey's dissertation: by naasking	raould	2015-10-03 15:57
Forum topic	Live programming in APX, an early peek Changing the code by by Sean McDirmid No worries by Sean McDirmid Backing up by Matt M I didn't add snapping to by Sean McDirmid Don't get me wrong, fancy by Sean McDirmid Agreed by Matt M If you've done some by Jules Jacobs Changing code by manipulating output is hard by Matt M Without this, live by Jules Jacobs "Breaking out of the 2D box" by Sean McDirmid ...	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Computed Goto For Efficient Dispatch Tables by Keean Schupke True. by Andrew Moss Inlining by Andreas Rossberg "Dynamic tables" aren't a by Blaisorblade Clang just botched the by Blaisorblade If you want to be sure to by Blaisorblade Constant propagation is a form of partial evaluation by Andrew Moss Constant propagation is a form of partial evaluation by Andrew Moss Compilers not good at partial evaluation. by Keean Schupke Partial Evaluation by Andrew Moss ...	Ray Dillinger	2015-09-29 15:36
Forum topic	SPLASH Call for Participation	tvdstorm	2015-09-29 11:21
Forum topic	Implementing "Elements of Programming" in Actor Script Correct as far as I can tell. by Keean Schupke re: the absence of further comments I have to assume by Thomas Lord Not Suitable For Generic Programming? by Keean Schupke I give up by Josh Scholar re That's a prickly and obnoxious response. by Thomas Lord Unpleasant by Josh Scholar re So are there any problems with the reposted version in the po by Thomas Lord Your comments were about the code that was there. by Keean Schupke obnoxious by Thomas Lord Where? by Keean Schupke ...	Keean Schupke	2015-09-24 08:07
first page previous page next page last page