Lambda the Ultimate

type	title	author	last post
Forum topic	Big questions Autism is a great example. by Sean McDirmid It is both about the by Sean McDirmid You just think you are in by Sean McDirmid Web developers in an by Sean McDirmid I've implemented my fair by Sean McDirmid Maybe check out Burak's by Sean McDirmid But the best syntax is no by Sean McDirmid That kind of extensibility by Sean McDirmid McCarthy never intended S by Sean McDirmid Peer review doesn't scale. by Sean McDirmid ...	Ehud Lamm	2015-08-27 03:57
Forum topic	Haskell for Mac I think that is the context by Sean McDirmid Neither, it is obviously by Sean McDirmid Understood. The value by Sean McDirmid Money buys you future by Sean McDirmid	Sean McDirmid	2015-08-26 23:11
Forum topic	Python, Machine Learning, and Language Wars. A Highly Subjective Point of View	Sean McDirmid	2015-08-25 02:11
Forum topic	Implementing the communication semantics of actors This is most constructive by Sean McDirmid	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets No, pure OOP has never by Sean McDirmid Just edit the code of the by Sean McDirmid I don't think Scala was ever by Sean McDirmid Well, that is the main point by Sean McDirmid Note that C#/Linq made the by Sean McDirmid Does haskell's rich by Sean McDirmid It seems fine, actually. It by Sean McDirmid Well, think about what VM by Sean McDirmid Sorry, this is just a sore by Sean McDirmid You know, many people took by Sean McDirmid ...	Wolf Logan	2015-08-24 11:10
Forum topic	Continuous feedback in PL Not meant as an analogy. It by Sean McDirmid "Learnability" is a tricky by Sean McDirmid I'm not sure what the dials by Sean McDirmid This sounds right. by Sean McDirmid I've been revisiting Eros by Sean McDirmid There is more to PL than by Sean McDirmid and most days I would sign a by Sean McDirmid I've been doing this since by Sean McDirmid Continuity is implausible at by Sean McDirmid	Sean McDirmid	2015-08-21 14:39
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore I don't think this is quite by Sean McDirmid The branch prediction being by Sean McDirmid	adrieng	2015-08-18 16:42
Story	Using Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs The results don't seem by Sean McDirmid	Manuel J. Simoni	2015-08-17 12:34
Forum topic	Limitations of FRP? Well, there is always Why is by Sean McDirmid VTM is what I'm calling by Sean McDirmid ML of course supports by Sean McDirmid Imperative is typically by Sean McDirmid Because what is out there by Sean McDirmid Rx is just event streams by Sean McDirmid They are separated by more by Sean McDirmid The Onward! season is upon by Sean McDirmid So history is not a part of by Sean McDirmid Perhaps you are referring to by Sean McDirmid ...	Sean McDirmid	2015-08-04 08:28
Forum topic	NOOL 2015 Taken at face value, I agree by Sean McDirmid And that was left over from by Sean McDirmid Maybe the point is to look by Sean McDirmid You would find your answer by Sean McDirmid	Sean McDirmid	2015-07-31 00:19
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
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