Lambda the Ultimate

type	title	author	last post
Forum topic	Compilation to C, a definitive guide? It's messy by marco Or Rule 34? by marco Somewhat gold by marco Signed Code by marco Whut? by marco Point taken by marco There's enough horsepower to do IDE's by marco No more exponential speed-ups. Been wondering about that. by marco Auto is (also) a compiler optimization by marco Darcs performance by marco ...	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Ah Well by marco	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) If I try to reason about numbers, I throw away numbers by marco I might not like that an infinite number of primes exists by marco Feels like meta-theory confusion to me by marco	Hewitt	2015-06-25 00:05
Forum topic	The Page-Fault Weird Machine: Lessons in Instruction-less Computation Yeah by marco	marco	2015-06-24 18:46
Forum topic	The single instruction compiler	marco	2015-06-21 12:16
Story	Self-Representation in Girard’s System U Looks nice by marco Looks like the opposite to me by marco Yah. That's what the other by marco I haven't found the type by marco The problem isn't that Hewitt makes wild claims by marco You can do this too in ActorScript! by marco	naasking	2015-06-18 22:53
Forum topic	Good syntax for single argument methods? Could try analyzing the parse tree by marco	Sean McDirmid	2015-06-17 21:36
Forum topic	XKCD on type theory... Maybe by marco I thought it was Prolog, but I was not sure by marco Well. It's been nice talking to you by marco Mercury by marco Lisp is an operational model, not a language by marco Not likely by marco There are various reasons by marco I already did that by marco Yeah well. I only have one life by marco Too declarative a language by marco ...	Ray Dillinger	2015-06-16 21:32
Forum topic	Symbol Flux: abstract visual debugging How does this relate to your work? by marco	Sean McDirmid	2015-06-16 03:15
Forum topic	Functors are Type Refinement Systems I like it! by marco	adrieng	2015-06-12 20:12
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
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