dons

32 ms·

301.
A skill set everyone: computational thinking(cs.cmu.edu)
2 points by dons 14y ago|1 comments
302.
by dons 14y ago
Indeed, its easy these days to do something, but it's hard to do it well. This is a particularly interesting effort as it is by far the most mature (7 years of work has gone into it - originally targetted Brook; then CUDA; and now OpenCL);
303.
by dons 14y ago
There is an MSR-funded pilot study taking place with 6 labs and startups, http://www.haskell.org/haskellwiki/Parallel_GHC_Project
304.
GPU accelerated arrays for Haskell(justtesting.org)
100 points by dons 14y ago|5 comments
305.
by dons 14y ago
Installing the "same" package doesn't overwrite previous versions -- all packages are persistent -- so dependencies continue to work. It is the mutation of packages, silently breaking API and ABI compatibility, that is the bane of distro ma
306.
by dons 14y ago
The phrase "fighting against the type system" usually indicates some misconceptions about the language -- the approach is to program with the type system as a tool to help you get the right code written, sooner. Approach it more as a thorou
307.
by dons 14y ago
Hmm printf "%10.2f" -- Haskell, 1990.
308.
by dons 14y ago
Personal bodyguards for life will be a lot cheaper.
309.
by dons 14y ago
> The US tax regime where expat US citizens still have to pay full tax to the US (except where there's a tax treaty that limits double taxation) is exceptionally harsh - almost no other countries do that. This. The US keeps taxing you
310.
by dons 14y ago
git has plenty of properties that are supposed to be true. The developers write tests for them. The properties being tested could be proven instead.
311.
by dons 14y ago
> (literally) 100's of libraries We passed 4000 libraries last month :)
312.
by dons 14y ago
Are you expecting git to be verified soon too?
313.
by dons 14y ago
However, there is a lot of work on generating C code from formal models in Haskell or ML. Verify the high level code; verify the compiler; target a subset of C whose semantics you understand. See e.g. L4; Lustre; Copilot.
314.
by dons 14y ago
Yes and no. Yes. * they encourage competition, which leads to better implementations * they help the language reach new niches (e.g. on the web; in embedded systems; ...) * they encourage language standardization, which reduces risk to user
315.
Write hybrid CPU/GPU programs in Haskell(parfunk.blogspot.com)
131 points by dons 14y ago|11 comments
316.
New major revision of the Haskell containers library(blog.johantibell.com)
2 points by dons 14y ago|0 comments
317.
by dons 14y ago
Discussed below. The Scala containers library contains an implementation of Bagwell's HAMT type; which first gained fame in its Clojure implementation. HAMTs have since appeared in many language library suites.
318.
by dons 14y ago
You might argue that Erlang has influenced Haskell. (E.g. Erlang -> Haskell exists). In two respects: * the view patterns syntax was built to enable bit level parsing, inspired by the Erlang support (I wrote the binary library to emulat
319.
by dons 14y ago
My guess was that it was going to be the container library, rather than the language itself. If libraries are included, then Clojure-inspired HAMTs are in Haskell as well. But really, Clojure, Haskell and Scala are all just implementing Bag
320.
by dons 14y ago
What reference do you have for Clojure influencing the language Scala? Scala is older, so that seems surprising to me.
321.
by dons 14y ago
a) it focuses /less/ on functional languages, since it includes many fewer. The nice one about this graph is that it is relatively complete.
322.
by dons 14y ago
Last time this was posted, this is what happened: http://news.ycombinator.com/item?id=1396532 It's full of nasty, personal attacks that have no place on this forum.
323.
by dons 14y ago
The first comp sci degree in the US wasn't offered until 1962 (though cambridge com. lab had coined it in 1953)
324.
by dons 14y ago
Friends don't let friends cite TIOBE. BTW, for fun, see this recent job for a Haskell expert in India - http://www.simplyhired.co.in/job-id/jh4gosrgqr/haskell-exper... -- turns out (I asked) they're developing tools to translate COBOL int
325.
by dons 14y ago
Maybe you write FP code differently to me, but I'm constantly trying to minimize the complexity of the code, so that it only contains the essential complexity. I gave a talk on how FP approaches force you to minimize accidental complexity r
326.
by dons 14y ago
"hold in your head" == minimizing complexity by minimizing the state space. "Mathematical" == stateless, pure functions. If the states are fewer, the code is simpler. I can only hold simple things in my head :) I think everyone's basically
327.
by dons 14y ago
They're targetting slightly different points on the power/safety spectrum. * Erlang: fault tolerance, distributed systems, absolute performance less important. * Haskell: correctness important, multicore+shared memory performance a main foc
328.
by dons 14y ago
One of his other children is a US champion freestyle skier. http://www.deseretnews.com/article/700109560/Skier-Jen-Hudak...
329.
Adding SIMD Support to Data Parallel Haskell(ghc-simd.blogspot.co.uk)
8 points by dons 14y ago|0 comments
330.
by dons 14y ago
For Haskell jobs (and FP jobs) the best places to look are: * announcements on the Haskell reddit - http://www.reddit.com/r/haskell/search?q=job&sort=new&#3... * LinkedIn's Haskell and FP group. * Haskellers.com - http://www.haskell

More ›