Lambda the Ultimate

type	title	author	last post
Forum topic	Live Coding at Come Alive Sorry. Vim by marco	marco	2015-06-08 12:05
Forum topic	The evolution of Rust What are those? by marco What's wrong with C? And I've got all the performance I need by marco What I take away from that by marco Where did you get that Wisdom? by marco Betting on Disruptive Technology by marco There is no study warranting that idea by marco For personal use, I don't think we will see big many-core by marco I fully agree by marco Clean does this by marco	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation Fine by marco "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 Yah. by marco You assume generative properties whereas you have axioms by marco It doesn't by marco With faith? by marco There is no induction scheme by marco So they were meant as new axioms? by marco ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions Not Ironic by marco Unconvincing by marco Disagree by marco Like LtU should mimic Academia? by marco Ridiculous by marco Does it go both ways? by marco I am unwilling to change my post by marco Not Worried by marco Life is short. In a hundred years everybody here will be dead. by marco Shape Up. by marco ...	gasche	2015-05-30 21:12
Forum topic	More information about Albatross You'll get the invariable by marco	hbrandl	2015-05-29 13:47
Forum topic	message, stream and protocol typing Well. You can lift this to IOA by marco I like Functional Descriptions of Mealy Machines by marco	Rys McCusker	2015-05-25 23:37
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Bugged by marco Oh. I already do that. by marco Agreed. by marco Well. It's either sharing or copying, right? by marco Oh. I disagree. Completely. by marco No Dice by marco Fixed Operator Precedence by marco Unicode and Shared Pointers by marco Ah, ok. by marco No. Handcrafted runs fine atm. But performance. 500KLoc. by marco ...	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? Probably Nothing There by marco I wouldn't know by marco Dependent Types which Don't support Lazy Languages by marco Isn't this a theorem? by marco	Matt M	2015-05-20 00:23
Forum topic	Nanopass Compiler Framework Authors probably well aware by marco There is a lot of work on that subject + Deforestation by marco They did nothing new. It's just multipass. by marco RTFM by marco Bullshit by marco Not going to by marco Compiler = Bookkeeping + Term Rewriting by marco	Bryan Turner	2015-05-13 22:28
Forum topic	C++ Parser Combinator Library More feelings by marco Hah. I found your bank account! by marco You might try a grammar work bench by marco Don't think a lot by marco Holy grail of LL(1) by marco You're a bit peculiar? by marco Too bored to answer by marco Backtracking at the hand of the language designer by marco Yeah I scanned it by marco Feelings by marco ...	Keean Schupke	2015-05-01 13:29
Forum topic	Making implicits less powerful? Duplicate post by marco C++ standards committee by marco It was something Stroustrup acknowledged in a talk by marco Is C++ spinning out of control? by marco	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Looking for a good online forum on compiler design and implementation Yah. by marco Did anyone ever bootstrap Prolog? by marco Sure dude by marco Depends by marco What I wanted to say by marco The practice is horrible by marco Prolog = grammar with unification on attributes by marco Ah well by marco Generative vs Applicative. And don't. by marco The point? by marco ...	Talin	2014-12-03 22:33
Story	Open thread: RIP Steve Jobs The Last American by marco	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment LtU fails to load on iOs with Mathjax by marco Then use the right metrics by marco Opprobrious academic claims and simpleton arguments by marco You are using different dictionaries and metrics than I am by marco Driven by necessity by marco Popular vs Populist by marco C is a populist language? by marco Varied reasoning and moving goalposts by marco You're not going to solve it with applied philosophy either by marco Breaking abstraction allows for machine aimenable machine code by marco ...	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory Going to do the experiment myself by marco Factoring. 14, 27, or many more bits? by marco Found Knuth on a Satisfiability Shootout by marco Yah. Seen it by marco Yeah well by marco Ah by marco Never heard of it. by marco Maybe you'll get lucky by marco Factoring naturally emerges in model checking by marco Only Einstein can discuss God by marco ...	aaditmshah	2014-09-27 15:30
Story	Cost semantics for functional languages If you can pay for the performance penalty you can use FP by marco Lies, damned lies, and functional programming by marco	gasche	2014-08-21 22:00
Story	Apple Introduces Swift PL design is a dead-end field by marco True Machine Intelligence by marco Co- and Contravariance? by marco	bashyal	2014-08-21 17:54
Forum topic	The broad ML Family workshop I thought of submitting by marco	Oleg	2014-07-31 10:07
Story	seL4: Formal Verification of an Operating-System Kernel The most common reason for bit rot by marco	James Iry	2014-07-29 07:19
Forum topic	Compositional let bindings Probably fast enough by marco I am thinking of a C based LLVM or GCC front end to it by marco I roughly implemented the same algorithm by marco I stand corrected. by marco Look at it after the match by marco Looks so by marco Uh, topology? by marco Not sure by marco The trivial type a=a->a by marco Informal reasoning about t0=t1, sub(t0, t1) t2, and Eq(t0, t1) by marco ...	Keean Schupke	2014-07-05 15:36
Forum topic	Ambiguous language namespaces Cannot be worse than Clean by marco	Sean McDirmid	2014-07-04 03:31
Forum topic	Math.js crashes my iPad Something like that may be it by marco It does it on my iOs device too by marco	Sean McDirmid	2014-07-03 16:05
Forum topic	Lambda: A Peek Under the Hood A thunk is a closure awaiting evaluation by marco Thunks expensive in Java by marco	Phil Miess	2014-06-19 21:58
Forum topic	Rank-0 Intersection Type System Fitting an LC by marco Cannot be true by marco Well. You're the one who wants to prove an equivalence by marco Well. You need to prove it I guess by marco Correctness of HM by marco Oleg has spoken by marco You take too big steps by marco You might need a bisimulation proof? by marco Two things I don't understand by marco Scala by marco ...	Keean Schupke	2014-06-15 11:52
Forum topic	Notation for debugging type derivations. Leslie Lamport's How to Write a Proof by marco Hurts my eyes by marco I agree, double is confusing by marco Why don't you copy the reasoning of the Wikipedia HM page? by marco	Keean Schupke	2014-06-06 19:04
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