mietek

68 ms·

661.
by mietek 14y ago
iOS devices mostly does away with both concepts, and I hear they've sold a few.
662.
by mietek 14y ago
There is nothing about C or C++ which would make programs written in these languages especially suitable for formal verification. You could argue the one language which actually does lend itself to formal verification is the one which has b
663.
by mietek 15y ago
Yeah... About that... http://www.panic.com/blog/2011/07/the-worlds-first-emoji-dom...
664.
by mietek 15y ago
I would really like to know the answer to this, as well.
665.
by mietek 15y ago
You're describing recently introduced optional multi-finger gestures. The standard way to get to the iOS home screen is to press the hardware home screen button.
666.
by mietek 15y ago
There is just one more difficult biological problem; namely, death.
667.
by mietek 15y ago
Fred Brooks writes in "The Mythical Man-Month": "Programming managers have long recognized wide productivity variations between good programmers and poor ones. But the actual measured magnitudes have astounded all of us. In one of their stu
668.
by mietek 15y ago
Not all expressive generic programming techniques have run time costs. The parent poster mentioned Lisp, in which macros are also usually expanded at compile time. Furthermore, Template Haskell offers type-safe compile time metaprogrammin
669.
by mietek 15y ago
Of course, PageMaker wasn't created by Adobe — you're thinking of Aldus, who also published the excellent FreeHand. Note the ongoing efforts to get Adobe to free FreeHand, including the recent antitrust lawsuit: http://freefreehand.wordpre
670.
by mietek 15y ago
Whitespace-based layout works quite well in Haskell: http://www.haskell.org/onlinereport/lexemes.html#lexemes-lay...
671.
by mietek 15y ago
The hockey puck was a miserable failure. Other than that, there's no problem with Apple input devices. In particular, the multi-touch trackpads are the meow part of the cat.
672.
by mietek 15y ago
If you count C as low-level, here I am. Now what?
673.
by mietek 15y ago
No, you're not the only one. There's simply more switchers than ever before, and they're vocal about their complaints.
674.
Swedish e-signing company Scrive builds in Haskell, closes second angel round(mynewsdesk.com)
34 points by mietek 15y ago|0 comments
675.
by mietek 15y ago
Indeed, there is a pool of OS threads, a pool of Haskell lightweight threads, and a spark pool. Check out these papers: * Runtime Support for Multicore Haskell[1] * Seq no more: Better Strategies for Parallel Haskell[2] [1]: http://commun
676.
by mietek 15y ago
No special hardware is required — it's all in the runtime. Quoting from Parallel Haskell Digest[1]: """You may have heard of sparks and threads in the same sentence. What's the difference? A Haskell thread is a thread of execution for IO c
677.
by mietek 15y ago
What you've described has been available for a while in Haskell[1]. These tiny, parallelizable units of computation are called "sparks", and are spawned off as easily as "par x y". [1]: http://www.haskell.org/ghc/docs/7.0.3/html/users_gui
678.
by mietek 15y ago
Clearly, the reason is that he's not happy with an unfinished version of his work floating around.
679.
by mietek 15y ago
The OS X menu fade is a good example of a well thought-out UI animation. Note that the menu does not fade in , since this would actually slow the user down. Contrast this with certain other implementations.
680.
by mietek 15y ago
Funnily enough, I just picked up today my first ever daily disposable lenses for correcting astigmatism. These are the most comfortable lenses I've ever worn, including regular daily disposables.
681.
by mietek 15y ago
Have you tried doing that?
682.
by mietek 15y ago
Rejewski[1], Zygalski and Różycki have actually been reading the Enigma messages for over six and a half years before the war began. They built mechanical devices called "bomby kryptologiczne", known outside Poland as "bombas", which then
683.
by mietek 15y ago
The "Culture" series of novels by Iain M. Banks explores these issues in some detail.
684.
by mietek 15y ago
Are there any companies which work in this field and need programmers? In Europe?
685.
by mietek 15y ago
Help is on the way. Support for accepting all top-level declarations in GHCi has been recently added to GHC HEAD: http://www.reddit.com/r/haskell/comments/kmxf2/ghci_now_supp...
686.
by mietek 15y ago
Countless Galaxy S2 manufacturers, you mean?...
687.
by mietek 15y ago
The list price is actually $100 for a block of steel: http://shop.cwandt.com/
688.
by mietek 15y ago
The digits map to "LOVE".
689.
by mietek 15y ago
I haven't read this story before, and while I appreciate the link, I wish you hadn't spoiled it.
690.
by mietek 15y ago
Fun fact: I was asked to find a solution to this problem during an interview at a proprietary trading firm last year. I wish I had read this paper before.

More ›