Lambda the Ultimate

type	title	author	last post
Forum topic	Research vs implementation, theory vs practice, and LtU Neat! I really need to take by Sean McDirmid That is a good point. When I by Sean McDirmid I don't think recursion can by Sean McDirmid Identity isn't state, it is by Sean McDirmid It is simply hard for by Sean McDirmid I did say ECS and clojure's by Sean McDirmid Possibly. I'm fascinated by Sean McDirmid Well, the object is its by Sean McDirmid http://clojure.org/state by Sean McDirmid I see what you are getting by Sean McDirmid ...	Blaisorblade	2015-07-28 16:57
Forum topic	adopt convention to define local sense of word in footnote? At the end of the day, we by Sean McDirmid	Rys McCusker	2015-07-28 00:19
Forum topic	Unreal Blueprints Visual Scripting Another issue by Sean McDirmid Those who program are by Sean McDirmid I get that, but as you by Sean McDirmid I'm not sure if there is by Sean McDirmid	chrisoliver	2015-07-21 18:11
Forum topic	Who can make LtU2? People are conflicted in by Sean McDirmid If we had more users, by Sean McDirmid Why bother? We could just by Sean McDirmid	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators They see syntax as something by Sean McDirmid For example, you could layer by Sean McDirmid	Alexander Morou	2015-07-14 06:50
Forum topic	Compilation to C, a definitive guide? That is why training has to by Sean McDirmid We've have known that by Sean McDirmid Maybe I'll just address this by Sean McDirmid The flower ate the car in by Sean McDirmid Forking this. Stay tuned. by Sean McDirmid Ugh by Sean McDirmid Not all phrases in natural by Sean McDirmid Type inference is pervasive by Sean McDirmid Nice. I wonder what he would by Sean McDirmid Did you hear that from Gilad by Sean McDirmid ...	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey The Lambda Calculus is by Sean McDirmid To history, Turing is more by Sean McDirmid No one seems to care about by Sean McDirmid Publishing overrated by Sean McDirmid Its not just uploading the by Sean McDirmid $1k for a airplane ticket, by Sean McDirmid That makes sense, and it is by Sean McDirmid Oh, I know why we have by Sean McDirmid Jan said something about the by Sean McDirmid	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) LtU has no problem with first person sources by Sean McDirmid	Hewitt	2015-06-25 00:05
Forum topic	Good syntax for single argument methods? It would be weird to have a by Sean McDirmid How do I tell the difference by Sean McDirmid Oh that is nice! Either by Sean McDirmid Unicode isn't a problem for by Sean McDirmid	Sean McDirmid	2015-06-17 21:36
Forum topic	XKCD on type theory... This isn't a very by Sean McDirmid Concerned? Ya, but not by Sean McDirmid Really I can't wait for all by Sean McDirmid Oh ya! by Sean McDirmid	Ray Dillinger	2015-06-16 21:32
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
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