Lambda the Ultimate

type	title	author	last post
Forum topic	alternate basic models of framing code behavior and purpose? If two features are totally by Jules Jacobs	Rys McCusker	2015-10-15 04:27
Forum topic	Optimal efficiency Indeed, what is and what by Jules Jacobs Just for fun I ran a by Jules Jacobs I know that gasche was by Jules Jacobs Not hard to calculate by Jules Jacobs The O(1) assumption is by Jules Jacobs	Keean Schupke	2015-10-12 06:19
Forum topic	Live programming in APX, an early peek If you've done some by Jules Jacobs Without this, live by Jules Jacobs The way I view it is that by Jules Jacobs I have an implementation of by Jules Jacobs Very interesting. How do you by Jules Jacobs Visual Studio can show you by Jules Jacobs	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? No idea, but it appears to by Jules Jacobs Both clang++ and g++ compile by Jules Jacobs Nice work. If I'm not by Jules Jacobs Have you verified that the by Jules Jacobs The point of the pointer is by Jules Jacobs Yes, roughly, with a small by Jules Jacobs For example I think by Jules Jacobs Yes, agreed. Rust goes in by Jules Jacobs What's wrong with everything by Jules Jacobs If your concern is by Jules Jacobs	Ray Dillinger	2015-09-29 15:36
Forum topic	meta: September "propose a post" post (proposal) I really like this list, by Jules Jacobs Those things are still being by Jules Jacobs I think an interesting topic by Jules Jacobs	Thomas Lord	2015-09-15 10:27
Forum topic	After over two years and 1700 commits, the Nu Game Engine (the world's first practical pure functional game engine) reaches v1.0 I'm not familiar with by Jules Jacobs You have to manage them by Jules Jacobs	bryanedds	2015-09-14 14:37
Story	Freer Monads, More Extensible Effects That's what you get with a by Jules Jacobs	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU Consider that giving the by Jules Jacobs	gasche	2015-09-05 11:34
Forum topic	Another "big" question Thank you too :) Maybe the by Jules Jacobs The function foo is indeed by Jules Jacobs I don't have a different by Jules Jacobs radiusEarth is not of type by Jules Jacobs That's closer, but I don't by Jules Jacobs Yes, that's why you either by Jules Jacobs meter is just an arbitrary by Jules Jacobs RadiusEarth is 6.4e6 times by Jules Jacobs That's the traditional view by Jules Jacobs Units are all about which by Jules Jacobs ...	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions I don't think heritability by Jules Jacobs Time spent doing something by Jules Jacobs Some speculation by Jules Jacobs Translating a human language by Jules Jacobs However, they were off by by Jules Jacobs Nominal types aren't by Jules Jacobs I guess that's a good test by Jules Jacobs How do you envision by Jules Jacobs Look at programming 25 years by Jules Jacobs I agree that work on non by Jules Jacobs ...	Ehud Lamm	2015-08-27 03:57
Forum topic	Eric Lippert's Sharp Regrets Very nice! by Jules Jacobs You can do higher kinded by Jules Jacobs Two languages implemented on by Jules Jacobs What kind of things are by Jules Jacobs Type erasure is a mistake. by Jules Jacobs	Wolf Logan	2015-08-24 11:10
Forum topic	Continuous feedback in PL Modularity by Jules Jacobs	Sean McDirmid	2015-08-21 14:39
Forum topic	Are Actors a Good Model for Computation. Are Actors a Good Topic for Forum Posts? by Jules Jacobs	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore PIC's might not be by Jules Jacobs The only advantage of by Jules Jacobs	adrieng	2015-08-18 16:42
Forum topic	Limitations of FRP? Synchronous dataflow by Jules Jacobs Streams are not a primitive by Jules Jacobs Do you have a link to those by Jules Jacobs Yes. by Jules Jacobs That sounds like the by Jules Jacobs That is exactly what's by Jules Jacobs I don't think relying on a by Jules Jacobs Nice. Do you have any ideas by Jules Jacobs As far as I know, history is by Jules Jacobs SAC is about taking a by Jules Jacobs	Sean McDirmid	2015-08-04 08:28
Forum topic	Aggregations (e.g., sets) in Logic Programs Aggregation in Datalog by Jules Jacobs	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU In my opinion a more by Jules Jacobs Should a proxy that can be by Jules Jacobs Motivation for dependent types by Jules Jacobs If you want blood you need by Jules Jacobs You could say that "is quick by Jules Jacobs I agree, but the point I'm by Jules Jacobs I don't think bug free by Jules Jacobs What does homotopy type theory have to do with PL? by Jules Jacobs Your argument seems to be by Jules Jacobs Not even wrong! by Jules Jacobs ...	Blaisorblade	2015-07-28 16:57
Forum topic	When are Actors appropriate? There is no ostracizing by Jules Jacobs	raould	2015-07-21 16:25
Forum topic	Who can make LtU2? The software already exists, by Jules Jacobs	raould	2015-07-19 21:56
Story	Don Syme receives a medal for F# And units of measure and by Jules Jacobs	Ohad Kammar	2015-07-06 18:06
Forum topic	Strengthening Process Calculi If you might be tempted to by Jules Jacobs	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? Perhaps the winner of by Jules Jacobs Editors, debuggers, crash by Jules Jacobs	naasking	2015-07-05 19:00
Forum topic	Good syntax for single argument methods? I don't know about Scala, by Jules Jacobs So do you want textual by Jules Jacobs In Ruby draw circle(1,2) by Jules Jacobs Ruby supports this syntax by Jules Jacobs	Sean McDirmid	2015-06-17 21:36
Story	The Unison Programming Platform Even if it isn't a good by Jules Jacobs A version control system by Jules Jacobs The limitation is with git, by Jules Jacobs	naasking	2015-06-13 14:16
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions A problem with up and down by Jules Jacobs Isn't that already what by Jules Jacobs Performance of a database is by Jules Jacobs	gasche	2015-05-30 21:12
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation