Lambda the Ultimate

type	title	author	last post
Forum topic	Symbol Flux: abstract visual debugging I've never went very far by Sean McDirmid	Sean McDirmid	2015-06-16 03:15
Story	The Unison Programming Platform Fluidity (constrained input by Sean McDirmid	naasking	2015-06-13 14:16
Forum topic	Live Coding at Come Alive Looks good. We are still far by Sean McDirmid Good, I feel better now. I by Sean McDirmid if you can't beat them, join them by Sean McDirmid Reality by Sean McDirmid Not about territory, but confusion by Sean McDirmid Yes, but there are always by Sean McDirmid True. A REPL and a code by Sean McDirmid Error tolerant parsing can by Sean McDirmid Reload on save isn't really by Sean McDirmid Orthogonal. A live by Sean McDirmid ...	marco	2015-06-08 12:05
Forum topic	The evolution of Rust The idea that some state's by Sean McDirmid That time and state by Sean McDirmid Note that if information can by Sean McDirmid Entanglement doesn't by Sean McDirmid Actually, that is more big by Sean McDirmid it doesn't work like that in by Sean McDirmid None of that is exclusive to by Sean McDirmid There are of course by Sean McDirmid CUDA is absolutely by Sean McDirmid I didn't say it was by Sean McDirmid ...	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation Is there a list of type by Sean McDirmid	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions I definitely hope so! The by Sean McDirmid Labels are not very useful, by Sean McDirmid Feedback can be provided as by Sean McDirmid What about up and down by Sean McDirmid It is the unfiltered by Sean McDirmid nice vs. blunt by Sean McDirmid	gasche	2015-05-30 21:12
Forum topic	Have tracing JIT compilers won? You can do simple CSE well by Sean McDirmid It really depends on what by Sean McDirmid Roslyn is a static by Sean McDirmid The DLR is really really by Sean McDirmid By conservative, we just by Sean McDirmid Backward type recovery (and by Sean McDirmid You can look at my managed by Sean McDirmid Glitch is the future (maybe) by Sean McDirmid	Peter Michaux	2015-05-26 21:09
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Technically correct, but by Sean McDirmid Ah, crystal clear!So let me by Sean McDirmid I don't get it, can you give by Sean McDirmid You are right: the work does by Sean McDirmid You want both actually. by Sean McDirmid Abstraction is the enemy of by Sean McDirmid Typical FP call chains are by Sean McDirmid I think your position is by Sean McDirmid No irony by Sean McDirmid Yes, with superglue. I gave by Sean McDirmid ...	Sean McDirmid	2015-05-20 12:15
Story	Eve: the development diary of a programming environment aimed at non-programmers What if programming by Sean McDirmid And this is why code by Sean McDirmid	gasche	2015-05-18 20:56
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community That is one way to do it, by Sean McDirmid They also rely on time by Sean McDirmid It's not threads, it's the non-management of time. by Sean McDirmid Same thing happened to me. by Sean McDirmid Sarcasm? I'm not sure how by Sean McDirmid Many grad student careers by Sean McDirmid This is a good point, and by Sean McDirmid In the real world of design by Sean McDirmid	Phil Miess	2015-05-18 14:25
Forum topic	Callisto: building a minimalist language on "versioned objects" Eh, with Glitch, it is the by Sean McDirmid	gasche	2015-05-14 23:00
Forum topic	A sketch of a "design papers/pearls" category in academic conferences Labels are inaccurate. by Sean McDirmid Also note that your proposal by Sean McDirmid design vs. mad science by Sean McDirmid Communities are by Sean McDirmid	gasche	2015-05-12 22:41
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary What about the difference by Sean McDirmid I would love for this to be by Sean McDirmid	naasking	2015-05-09 12:14
Forum topic	What makes LtU more or less enjoyable? It is more like by Sean McDirmid Some people are just too by Sean McDirmid It is not like this view is by Sean McDirmid The context was pretty by Sean McDirmid Ksscript/KsWorld are not by Sean McDirmid I'm not against by Sean McDirmid Ross Tate has been doing by Sean McDirmid I don't think anyone in PL by Sean McDirmid The problem is that the by Sean McDirmid I tried to present a by Sean McDirmid ...	gasche	2015-05-07 06:03
Forum topic	C++ Parser Combinator Library My research topic! But on by Sean McDirmid	Keean Schupke	2015-05-01 13:29
Story	Seemingly impossible programs You can do a lot with by Sean McDirmid Some people see the world by Sean McDirmid	Ohad Kammar	2015-04-18 02:15
Forum topic	The mother of all PL demos None of Bret Victor's demos by Sean McDirmid	Sean McDirmid	2015-04-16 20:21
Forum topic	how many lines of code can civilization support? by Sean McDirmid History of the industrial by Sean McDirmid This is actually a fun by Sean McDirmid Your argument is straight by Sean McDirmid Ride sharing is obviously by Sean McDirmid no bad guys by Sean McDirmid Even the speed of light is by Sean McDirmid Luddism. by Sean McDirmid It doesn't matter what the by Sean McDirmid We are basically building by Sean McDirmid ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging People who are using LLVM by Sean McDirmid I see the usefulness, I'm by Sean McDirmid Once you are implementing a by Sean McDirmid	naasking	2015-04-07 14:58
Forum topic	Constraint typing, subtyping, and separate compilation Again, this is a different by Sean McDirmid This is an old by Sean McDirmid Type classes don't behave by Sean McDirmid Haskell doesn't have by Sean McDirmid Not wild cards, really by Sean McDirmid I think I've come up with an by Sean McDirmid Yes, you at least get that. by Sean McDirmid Ya, I realized this is super by Sean McDirmid I don't allow Foo[S] Also, by Sean McDirmid How does haskell handle the by Sean McDirmid ...	Sean McDirmid	2015-03-12 22:35
Forum topic	Type Inference in Object Oriented Languages How stupid was I? by Sean McDirmid Scala is an OO language that by Sean McDirmid	Johan Tibell	2015-03-09 01:57
Forum topic	Seeking candidates to work on a custom compiler/language in NYC I recently learned that by Sean McDirmid	Kalani	2015-03-04 20:22
Forum topic	general patterns in PL persistence schemes? Aliasing allows multiple by Sean McDirmid Immutable data on its own by Sean McDirmid	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Overloading in C# is dead by Sean McDirmid Overriding a virtual method by Sean McDirmid This is a problem with by Sean McDirmid replace implicits with IDE-based inference by Sean McDirmid	Vladimir Slepnev	2015-02-20 16:07
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