recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Understand and control allocation by Keean Schupke Reference references by Ben Young GIMPLE by Keean Schupke Reverse References by Keean Schupke GC by Ben Young Substitutions by Ben Young A discrimination of stuff can be used only for discrimination by Hewitt re Discrimination by Thomas Lord Discrimination? by Keean Schupke A discimination ssignature: no signatures of its discriminants by Hewitt ...	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Reader monad by Matt M Never heard of it. by Ehud Lamm Thank you too :) Maybe the by Jules Jacobs Looks uncontroversial by Matt M That looks like the main difference by Matt M Not usually defined: Meter < Meter^2; but can do Meter↦Meter^2 by Hewitt The function foo is indeed by Jules Jacobs A difference by Matt M I don't have a different by Jules Jacobs If you don't see my point, by Matt M ...	Ehud Lamm	2015-09-02 15:49
Forum topic	The most obsolete infrastructure money could buy - my worst job ever	Manuel J. Simoni	2015-09-02 09:11
Story	Reagents: Expressing and Composing Fine-grained Concurrency I think this work would by pkhuong Looks promising! by Brandon Bloom	naasking	2015-08-29 16:23
Forum topic	Big questions I have observed "natural by Bruce Rennie so was mine by raould Words are difficult as a form of communication. by Andrew Moss We should try harder to give people the opportunity. by Keean Schupke Doing what you like by gasche I don't think heritability by Jules Jacobs Heritability of Interests by Keean Schupke Yep, but not all programming by Blaisorblade Autism is a great example. by Sean McDirmid More meh by gasche ...	Ehud Lamm	2015-08-27 03:57
Forum topic	verified ML Proper link for verified PreScheme by johnwcowan	raould	2015-08-27 00:17
Forum topic	Haskell for Mac I think that is the context by Sean McDirmid If I only knew what that by Ehud Lamm Neither, it is obviously by Sean McDirmid I'm not sure if it's by Ehud Lamm Only the latter is an IDE by Blaisorblade Two Haskell for Macs? by Andrew Moss Understood. The value by Sean McDirmid I am not against paying. In by Ehud Lamm Money buys you future by Sean McDirmid Like many on HN I fail to by Ehud Lamm	Sean McDirmid	2015-08-26 23:11
Forum topic	Unstructured casting considered harmful to security Actors for IoT by Hewitt re IoT? by Thomas Lord A major intended application area is IoT by Hewitt Extension type does the heavy lifting in downcasting by Hewitt re downcasting of an interfasce type: to an extension interface by Thomas Lord re formulating good questions by Thomas Lord Downcasting of an interface type: to an extension interface by Hewitt Formulating good questions doesn't scale by Blaisorblade kibitzing by Rys McCusker re not understanding is sort of a default start condition by Thomas Lord ...	Hewitt	2015-08-25 14:11
Forum topic	Python, Machine Learning, and Language Wars. A Highly Subjective Point of View	Sean McDirmid	2015-08-25 02:11
Forum topic	Implementing the communication semantics of actors re static ordering by Thomas Lord Static ordering by Andrew Moss re Clinger's model by Thomas Lord Clinger's model by Andrew Moss Actor Model should be able to simulate any digital computation by Hewitt The goal of ActorScript is to specify implementations of Actors by Hewitt Why don't you just separate out a by Josh Scholar While true, these statements by Andrew Moss Quantum: simulate electron; Actor Model: simulate account by Hewitt Second Order Semantics by Keean Schupke ...	Andrew Moss	2015-08-24 18:31
first page previous page next page last page