Lambda the Ultimate

type	title	author	last post
Forum topic	'Mindless coding': following proof steps makes algorithms easy Well, we do have design by Sean McDirmid Even worse: it can't be by Sean McDirmid	raould	2014-07-15 23:30
Forum topic	The Programming Languages Enthusiast I guess it depends on what by Sean McDirmid	Sean McDirmid	2014-07-13 15:58
Forum topic	Covariance issue when extending "enter" part in BETA? Have you looked at dependent by Sean McDirmid	Tess Foley	2014-07-13 15:36
Forum topic	Is Rx FRP? Natura non facit saltus by Sean McDirmid Model view controller is by Sean McDirmid All those applications by Sean McDirmid Human language, thought, and by Sean McDirmid Natural features (that we by Sean McDirmid OOP is quite naturalistic, by Sean McDirmid I'd like to know more, I by Sean McDirmid I think this is the core of by Sean McDirmid Events don't imply action; by Sean McDirmid Our definitions differ: what by Sean McDirmid ...	Sean McDirmid	2014-07-08 18:02
Forum topic	Dynamic Hindley-Milner? I guess my type system is by Sean McDirmid Sure, and I've implemented by Sean McDirmid	Sean McDirmid	2014-07-08 08:42
Forum topic	Gradual Instantiation Scala supports this by Sean McDirmid	David Minor	2014-07-06 17:37
Forum topic	Ambiguous language namespaces Another joke is hiding in by Sean McDirmid How about Make Live? by Sean McDirmid Not to mention "make" is a by Sean McDirmid Make is just such a good by Sean McDirmid Totally serious. I want to by Sean McDirmid This is only a problem if by Sean McDirmid	Sean McDirmid	2014-07-04 03:31
Forum topic	Math.js crashes my iPad For some weird reason, I by Sean McDirmid It works now. Last night, it by Sean McDirmid If they are downloading by Sean McDirmid	Sean McDirmid	2014-07-03 16:05
Forum topic	ICFP accepted papers	Sean McDirmid	2014-06-10 00:17
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open I suffered from Scala by Sean McDirmid Processor time can be by Sean McDirmid Erik does have some valid by Sean McDirmid	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) Friends are important by Sean McDirmid Friends are important by Sean McDirmid	Talin	2014-05-31 05:02
Forum topic	ML-TID Type Interface Debugger I spend a lot of time making by Sean McDirmid Step-based debugging for by Sean McDirmid	raould	2014-05-30 20:41
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal I suspect the 20 goto 10 is by Sean McDirmid I tried this, seems to be an by Sean McDirmid	bashyal	2014-05-30 20:21
Forum topic	Removing User Interface Complexity, or Why React is Awesome I guess I'm not very by Sean McDirmid Isn't that the Rx approach? by Sean McDirmid By continuous, I always mean by Sean McDirmid Yuck. Just modify the com by Sean McDirmid Ya, this is actually kind of by Sean McDirmid If your UI is running in an by Sean McDirmid iterative + incremental = boom! by Sean McDirmid Time can't unravel cycles if by Sean McDirmid There are a lot of by Sean McDirmid Rust goes in that direction, by Sean McDirmid ...	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments It is not aspect oriented by Sean McDirmid I thought about calling this by Sean McDirmid Actually, this is a design by Sean McDirmid Technically, ya. However, by Sean McDirmid	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? Amen. Transparency is still by Sean McDirmid Only a small minority of by Sean McDirmid Taking a broad view of what by Sean McDirmid programming languages are by Sean McDirmid To say "programming by Sean McDirmid Those are more like theorem by Sean McDirmid If a PL was just a by Sean McDirmid We don't live in math, by Sean McDirmid If PL is math then I guess I by Sean McDirmid Yes by Sean McDirmid	Rys McCusker	2014-05-21 23:10
Forum topic	Value-level programming Sounds to me that this is by Sean McDirmid	Vladimir Slepnev	2014-05-08 19:51
Forum topic	Addressing Misconceptions About Code with Always-On Programming Visualizations	Sean McDirmid	2014-05-05 20:28
Forum topic	LtU now supports Mathjax The sad thing is I see no by Sean McDirmid One should only do by Sean McDirmid	Anton van Straaten	2014-05-05 14:47
Forum topic	The Avail programming language Anyone can choose their own by Sean McDirmid	Robbert van Dalen	2014-05-05 13:23
Forum topic	A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation	Sean McDirmid	2014-05-05 00:05
Forum topic	Giant list of visual PLs We don't need strong AI to by Sean McDirmid Speech/NLP and machine by Sean McDirmid	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Aha moment I have been burned by by Sean McDirmid Good question. I avoid using by Sean McDirmid Callback hell is as much by Sean McDirmid How do generators escape by Sean McDirmid	Ehud Lamm	2014-04-29 06:07
Forum topic	You don't mean people actually still use it?! To be fair, Boeing is famous by Sean McDirmid	Ehud Lamm	2014-04-25 01:13
Story	.NET Compiler Platform ("Roslyn") Sounds interesting, it would by Sean McDirmid I'm not sure if anyone has by Sean McDirmid That is just it isn't it? by Sean McDirmid Depends. If I don't care by Sean McDirmid Accept at that point we were by Sean McDirmid Do you have separate your by Sean McDirmid dysfunctional programming by Sean McDirmid But that is just it: parser by Sean McDirmid I once wrote an entire by Sean McDirmid Point taken. We shall see by Sean McDirmid ...	Ehud Lamm	2014-04-22 23:53
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