dons

67 ms·

421.
Nikki and the Robots 0.3 is out - Haskell-based open source game(joyridelabs.de)
14 points by dons 15y ago|1 comments
422.
by dons 15y ago
I prefer http://www.haskell.org/haskellwiki/Simple_unix_tools An oldie, but a goodie.
423.
by dons 15y ago
"Functional/reactive" has a very specific meaning, unrelated to parallelism.
424.
by dons 15y ago
Here's the original announcement: http://www.haskell.org/pipermail/haskell-cafe/2011-May/09229... And the HaLVM, one of the platforms on which HaNS runs, http://halvm.org/ Galois uses it to build OS-less, pure Haskell network appliances
425.
Formally Verifying Chess Endgames in HOL4 - solve chess for small values of n(corp.galois.com)
13 points by dons 15y ago|3 comments
426.
by dons 15y ago
Note that a lot of this work evolved into HaLVM and HaNS http://halvm.org
427.
Multicore Garbage Collection with Local Heaps for Haskell(community.haskell.org)
2 points by dons 15y ago|0 comments
428.
by dons 15y ago
Note, the Hackage url is case sensitive: http://hackage.haskell.org/package/hans
429.
Galois releases HaNS: a pure Haskell network stack - no OS required(haskell.org)
7 points by dons 15y ago|1 comments
430.
Generating tic-tac-toe maps with the Haskell diagrams package(byorgey.wordpress.com)
1 points by dons 15y ago|0 comments
431.
Automatically parallel, multi-dimensional array programming in Haskell(haskell.org)
3 points by dons 15y ago|0 comments
432.
Parallel and Concurrent Programming in Haskell: a new online tutorial(community.haskell.org)
13 points by dons 15y ago|0 comments
433.
by dons 15y ago
Indeed. I'd really like to see the Haskell servers, warp and snap, thrown in, since the infrastructure there was actually built for raw performance.
434.
by dons 15y ago
Yeah, that's the idea I think. Multiscale parallelism: distributed parallelism across multiple nodes, shared-memory parallelism on each (multicore) node, all in one language.
435.
The Parallel Haskell Digest: Spring Edition(well-typed.com)
7 points by dons 15y ago|0 comments
436.
Recursion patterns in functional programming(patternsinfp.wordpress.com)
2 points by dons 15y ago|0 comments
437.
Jobs: Galois is hiring computer scientists(corp.galois.com)
1 points by dons 15y ago|0 comments
438.
The Roots of Haskell(szamitogepesnyelveszet.tumblr.com)
6 points by dons 15y ago|0 comments
439.
Choose the order of your parameters to make the best use of currying(stackoverflow.com)
4 points by dons 15y ago|0 comments
440.
More points for laziness(augustss.blogspot.com)
7 points by dons 15y ago|0 comments
441.
The Functional Web: May Article: Warp: A Haskell Web Server (steve.vinoski.net)
2 points by dons 15y ago|0 comments
442.
by dons 15y ago
The horror!!
443.
by dons 15y ago
Precisely. The burden is on the programmer to provide the evidence that the conditions for calling `unsafePerformIO` are satisfied. (That is, that any side effects are hidden). Most languages have `unsafePerformIO` on every single computati
444.
SO: Can a type system distinguish between different units of dimension?(stackoverflow.com)
3 points by dons 15y ago|0 comments
445.
Tying the Knot: mutually recursive data structures in Haskell(haskell.org)
2 points by dons 15y ago|0 comments
446.
by dons 15y ago
I'd have liked to see the Haskell rendered "unexecutable" by reducing it to pure, typed lambda calculus. Just a matter of a few rewrite rules from the Haskell specification ...
447.
How the Grinch stole the Haskell Heap (a generational GC in pictures)(blog.ezyang.com)
2 points by dons 15y ago|0 comments
448.
by dons 15y ago
There are 16 official moderators on the #haskell channel, as well. I apologize (as one of those moderators) if the OP has had a bad experience: with so many people in the channel, not everyone gets exactly what they need, however, we do try
449.
by dons 15y ago
Ad hominem attacks have no place here.
450.
by dons 15y ago
Specifically, with respect to openssl and unicode * The language standard specifies Unicode strings * The Haskell Platform library standard adds support for Unicode IO based on packed text buffers * OpenSSL is provided via the venerable hop

More ›