mietek

44 ms·

421.
by mietek 13y ago
Lots of official UK government or healthcare forms. Still surprises me every time I see it. http://en.wikipedia.org/wiki/Classification_of_ethnicity_in_...
422.
by mietek 13y ago
> Does the average reader of Nature need to be shown a graph of what a linear, constant, logarithmic, and inverse relationship looks like? I don't think so. Representing simple, familiar relationships visually and interactively may
423.
by mietek 13y ago
Check this out: http://webdemo.visionobjects.com/home.html#equation
424.
by mietek 13y ago
Tiny screens weren't a requirement. 14", 16", and 21" color displays were available since 1992, with resolutions of 640x480, 832x624, and 1152x870. A 1987 Mac II supported up to 6 displays, forming a single desktop. Not
425.
by mietek 13y ago
It's worth pointing out she used the full version of her name herself.
426.
by mietek 13y ago
Again, PostScript. http://en.wikipedia.org/wiki/PostScript#.22Hello_world.22
427.
by mietek 13y ago
Notifications on GitHub are still too coarsely-grained to be useful.
428.
by mietek 13y ago
I wish there was a service like this.
429.
by mietek 13y ago
Also featuring: non-preemptive multitasking! Yes, in 2013!
430.
by mietek 13y ago
This has been demonstrated to be false over and over again. There is a surplus of functional programmers, and a deficit of functional jobs.
431.
by mietek 13y ago
Put me down for another video pass. $100 sounds about right.
432.
by mietek 13y ago
Looks like I'm behind on my programming language theory research! Typed Racket and soon, Typed Clojure, are actually adding optional static typing to duck-typed languages. Are you doing something similar?
433.
by mietek 13y ago
Splinter Cell did this to great effect, with the scroll wheel used to smoothly progress between creeping/walking/jogging/sprinting.
434.
by mietek 13y ago
How about MetaFilter?
435.
by mietek 13y ago
It's difficult to have a conversation with someone using their own terms for well-established concepts. If I understand you correctly, what you're calling "geometric polymorphism" is usually called structural typing or s
436.
by mietek 13y ago
The question posed by colanderman's expression is valid if and only if there is a type containing both 5 and "foo". Here's Haskell's answer: Prelude> \ a b -> a == b && b == 5 && a == &qu
437.
by mietek 13y ago
Same here. It's grim on the wrong side of the pond.
438.
by mietek 13y ago
Next step: http://i.imgur.com/Sptabbs.jpg
439.
by mietek 13y ago
It looks like they are still available on eBay.
440.
by mietek 13y ago
Thanks for pointing it out!
441.
by mietek 13y ago
Let's not confuse Hindley-Milner type inference with Haskell's (or ML's) type system. While Haskell's type system can be complex, depending on the exact language extensions in play, Hindley-Milner type inference is simpl
442.
by mietek 13y ago
Dialyzer is decent, given the constraints for which it was designed, but nowhere near as helpful as a ML-derived static type system. For example, Dialyzer won't reject a function declared to return values of type A and actually returni
443.
by mietek 13y ago
In my view, CPU speed advances and a high-quality optimizing compiler mean there aren't many reasons to use macros in Haskell. People do, though; for examples of extensive Template Haskell use, see Yesod.
444.
by mietek 13y ago
The video shows an utterly fascinating mixture of Lisp, Erlang, Plan 9, and Bitcoin. The only missing ingredient is a proper static type system!
445.
by mietek 13y ago
I will not comment on the judgement passed upon the education system. The second article exhibits eristic tricks, obfuscatory language, and a plain confusion of ideas, especially when speaking about proof-carrying code and type theory. It&
446.
by mietek 13y ago
That's a bit underwhelming.
447.
by mietek 13y ago
In practice, using a language with Hindley-Milner type inference is massively more simple than you appear to think it is. There are countless other warts, but this ain't it.
448.
by mietek 13y ago
Wow! This is seriously impressive.
449.
by mietek 13y ago
Oh man, an analogy which actually makes sense! This has got to be a first. Please spread it far and wide.
450.
by mietek 13y ago
Wish granted: Open Dictionary.app, go to Preferences, and select extra reference sources. German and French are included, among others.

More ›