[Haskell-cafe] Simplest reference for how to build GHC head + get it running w/ cabal/haskell-platform?

2010-06-03 Thread Ryan Newton
What's the easiest reference for how to build GHC head and get it up and running with cabal/haskell-platform? I simply installed 6.12 + haskell-platform then built ghc-6.13.xx and rebuilt only the packages I needed with cabal install --reinstall. Perhaps this is not the recommended way. Indeed,

[Haskell-cafe] Tricks with GMap -- question about conflicts w/ indexed type families

2010-06-04 Thread Ryan Newton
GMaps -- families of map implementations indexed by the key type -- are an example on the wiki:   http://www.haskell.org/haskellwiki/GHC/Type_families I've been using something like this myself.  It sure would be nice to have a fully developed version on Hackage, and I may try to submit this

[Haskell-cafe] Page rank and GHC docs directory organization

2010-07-22 Thread Ryan Newton
GHC docs seem to have the problem that newer versions only gradually overtake older ones in page rank, resulting in the effect that if one uses Google to find library documentation, they may accidentally look at an old version. For example, if I google Data.Data Haskell the first link brings me

Re: [Haskell-cafe] CnC Haskell

2010-09-02 Thread Ryan Newton
Belated update: The haskell-cnc distribution (if you grab it from darcs) now has a front-end that parses the graph description files. http://hackage.haskell.org/package/haskell-cnc For any readers who haven't seen this before -- CnC is a parallel programming model that includes both a

[Haskell-cafe] Why isn't there a cheaper split-in-two operation for Data.Set?

2010-09-22 Thread Ryan Newton
Would there be anything wrong with a Data.Set simply chopping off half its (balanced) tree and returning two approximately balanced partitions -- i.e. Data.Set.split without the pivot argument? Even though it can't quite be constant-time (still need rebalancing) it could still be cheaper than

[Haskell-cafe] Why isn't there a cheaper split-in-two operation for Data.Set?

2010-09-24 Thread Ryan Newton
Would there be anything wrong with a Data.Set simply chopping off half its (balanced) tree and returning two approximately balanced partitions -- i.e. Data.Set.split without the pivot argument? Even though it can't quite be constant-time (still need rebalancing) it could still be cheaper than

[Haskell-cafe] Installing ghc on NFS ... stripping and upx'ing executables, but what about .a/.so libs

2010-10-14 Thread Ryan Newton
This gets the ghc executable itself from 42mb down to 5.6mb, which helps a lot on cruddy NFS installations. For example the libHSghc-*, which are pretty huge (49-137mb). Are these libraries that are used only by GHC for compilation? (Actually, I seem to be able to compile simple files without

[Haskell-cafe] Cobbled together a version of Haskell Platform 2010.2 that works for GHC 7.1

2010-10-14 Thread Ryan Newton
Well, it's not 2010.2 anymore because I had to upgrade a few packages ;-), but if you want to try out some of the new GHC 7 features this can get you a working cabal-install. Download here: http://parfunk.blogspot.com/2010/10/hacking-together-working-version-of.html Apologies if this is

Re: [Haskell-cafe] Why isn't there a cheaper split-in-two operation for Data.Set?

2010-10-19 Thread Ryan Newton
bertram.felgenha...@googlemail.com wrote: Ryan Newton wrote: Would there be anything wrong with a Data.Set simply chopping off half its (balanced) tree and returning two approximately balanced partitions ... cleave :: Set a - (Set a, Set a) cleave Tip = (Tip, Tip) cleave (Bin _ x l r

Re: [Haskell-cafe] Haddock: patch to generate single-index page in addition to perl-letter indexes indices.

2010-10-24 Thread Ryan Newton
for mobile or otherwise low-bandwidth devices this can be a nice alternative. On 24 October 2010 04:41, Ryan Newton new...@mit.edu wrote: When I encounter a split-index (A-Z) page it can be quite frustrating if I don't know the first letter of what I'm searching for. I want to use my browser

[Haskell-cafe] Opportunity: Spring semester internship on Haskell project at Intel

2010-11-15 Thread Ryan Newton
Dear Haskellers, We're looking for outstanding candidates for an internship in Spring 2011. The internship will be in a suburb of Boston (Hudson, MA). Graduate students and talented undergraduates are welcome to apply, but time is a bit short. We are a small research group run directly by the

[Haskell-cafe] Re: Opportunity: Spring semester internship on Haskell project at Intel

2010-11-15 Thread Ryan Newton
was corrupted, the Nikola project can be found here http://www.eecs.harvard.edu/%7Emainland/projects/nikola/. On Mon, Nov 15, 2010 at 11:02 AM, Ryan Newton rrnew...@gmail.com wrote: Dear Haskellers, We're looking for outstanding candidates for an internship in Spring 2011. The internship

Re: [Haskell-cafe] Splittable random numbers

2011-01-21 Thread Ryan Newton
Hi cafe, I want to add the ability to use AES-NI instructions on Intel architectures to GHC. Mainly I'd like to do splittable random number generators based on AES as was suggested at the outset of this email. (I met Burton Smith last week and this topic came up.) I was just reading the below

Re: [Haskell-cafe] Splittable random numbers

2011-01-21 Thread Ryan Newton
[3] http://hackage.haskell.org/package/cryptocipher On Fri, Jan 21, 2011 at 2:19 PM, Ryan Newton rrnew...@gmail.com wrote: Hi cafe, I want to add the ability to use AES-NI instructions on Intel architectures to GHC. Mainly I'd like to do splittable random number generators based

Re: [Haskell-cafe] Splittable random numbers

2011-01-21 Thread Ryan Newton
On Wed, Nov 10, 2010 at 11:33 AM, Lauri Alanko l...@iki.fi wrote: So a naive implementation of split would be: split g = (mkGen seed, g') where (seed, g') = random g Just to be clear, that is the same as Burton Smith's original proposal that Simon mentioned at the outset, right?

[Haskell-cafe] Cabal ignores ld-options? - 2011 remix

2011-01-30 Thread Ryan Newton
Hi cafe, I am trying to link a .a file built by a separate makefile into my library. GHC has no problem with it, but I need to convince cabal to do it for the package to be hackage-friendly. There's a thread about this back in 2007:

Re: [Haskell-cafe] Cabal ignores ld-options? - 2011 remix

2011-01-30 Thread Ryan Newton
/libintel_aes.so obj/x64/intel_aes.o obj/x64/iaesx64.o obj/x64/do_rdtsc.o On Sun, Jan 30, 2011 at 12:22 PM, Duncan Coutts duncan.cou...@googlemail.com wrote: On Sun, 2011-01-30 at 05:20 -0500, Ryan Newton wrote: I am trying to link a .a file built by a separate makefile into my library. GHC has

Re: [Haskell-cafe] Splittable random numbers

2011-01-30 Thread Ryan Newton
. -Ryan P.S. Checkout command: git clone git://github.com/rrnewton/intel-aes.git On Sat, Jan 29, 2011 at 8:52 AM, Ryan Newton rrnew...@gmail.com wrote: perhaps performance? Is this approach less robust with a faster, non-cryptographic RNG? Yes, I don't understand that either

Re: [Haskell-cafe] Cabal ignores ld-options? - 2011 remix

2011-01-31 Thread Ryan Newton
Oops, I guess I misinterpreted package description. It did sound a little dangerous ;-). What you suggested also worked. I'm in good shape now. Thanks again, -Ryan On Mon, Jan 31, 2011 at 11:24 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: On Mon, 2011-01-31 at 09:52 -0500, Ryan

Re: [Haskell-cafe] Splittable random numbers

2011-01-31 Thread Ryan Newton
in Haskell loop] This is what Burton Smith originally thought, that AES based RNG would be pretty fast and even faster with hardware acceleration. -Ryan On Mon, Jan 31, 2011 at 1:25 AM, Ryan Newton new...@mit.edu wrote: Hi Cafe, I've included Gladman's efficient, portable C implementation

Re: [Haskell-cafe] AES on 32-bit system

2011-02-07 Thread Ryan Newton
Hi all, I released the intel-aes package which has support for AESNI (and as a fallback uses the same C code as AES, both with Thomas's Crypto.Classes.BlockCipher interface). But it has a long way to go to be portable. I'm afraid of exactly these sorts of compiler problems. For arguments sake,

[Haskell-cafe] Current heap size and other runtime statistics -- API for accessing in GHC?

2011-04-10 Thread Ryan Newton
Hi cafe, The rtsopts (-s etc) can provide some nice debugging information regarding memory management. And System.Mem.performGC can initiate garbage collection. But are there APIs for querying the current state of the heap? I've googled and come up dry. In this case I'm running benchmarks and

[Haskell-cafe] Does this library already exist? template haskell + generate/compile C code + dlopen

2011-06-08 Thread Ryan Newton
The Nikola GPU programming system has a very neat, flexible approach to how you compile the EDSL-generated code. You can do it dynamically, calling nvcc at runtime, OR it can play a trick where it calls nvcc at compile time (via template haskell) and caches the result in a string literal within

[Haskell-cafe] Type checking oddity -- maybe my own confusion

2011-07-12 Thread Ryan Newton
Hi all, Is there something wrong with the code below? My anticipation was that the type of test would include the class constraint, because it uses the Assign constructor. But if you load this code in GHCI you can see that the inferred type was test :: E m - E m. Thanks, -Ryan {-# LANGUAGE

Re: [Haskell-cafe] Type checking oddity -- maybe my own confusion

2011-07-12 Thread Ryan Newton
? ** ** Thanks d- ** ** ** ** *From:* haskell-cafe-boun...@haskell.org [mailto: haskell-cafe-boun...@haskell.org] *On Behalf Of *Ryan Newton *Sent:* 12 July 2011 16:02 *To:* Haskell Cafe *Subject:* [Haskell-cafe] Type checking oddity -- maybe my own confusion** ** ** ** Hi all

Re: [Haskell-cafe] Haskell Actors, Linda, publish / subscribe models?

2011-08-15 Thread Ryan Newton
It seems that the recent Cloud Haskell paper is relevant: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf The repo is here: https://github.com/jepst/CloudHaskell I haven't tried it yet myself but would like to. Cheers, -Ryan On Mon, Aug 15, 2011 at

Re: [Haskell-cafe] why is Random in System?

2011-08-17 Thread Ryan Newton
Hi all, I'm the maintainer of random. If people could decide on what the alternative name would be we could put it through the library proposal process. It seems that one problem at this moment is the lack of a single, clear right answer. Replacing one debatable not-quite-right choice with

Re: [Haskell-cafe] why is Random in System?

2011-08-17 Thread Ryan Newton
and RC4. Both are in Wikipedia. RC4 has 256 bytes of key state, still bigger than I would like. Another scheme is to make the number of rounds an option. With AESNI, this could scream. Burton On Wed, Aug 17, 2011 at 12:26 PM, Ertugrul Soeylemez e...@ertes.de wrote: Ryan Newton rrnew

Re: [Haskell-cafe] why is Random in System?

2011-08-17 Thread Ryan Newton
The more fundamental problem is that splitting is neither well understood nor generally safe, and as such it should not be in the basic Random class. Would you mind elaborating? Splitting was not well-understood by the original authors of System.Random; that much is in the comments. Nor is

Re: [Haskell-cafe] why is Random in System?

2011-08-19 Thread Ryan Newton
Yep, but don't conflate determinism with splitting. In the imperative world, you normally know how many CPUs you have, so you initialize one PRNG per CPU, and simply go from there; there's no need for splitting. In the parallel community, people are going out of their way to *avoid*

Re: [Haskell-cafe] Package descriptions on hackage

2011-09-12 Thread Ryan Newton
On Sun, Sep 11, 2011 at 1:14 PM, wren ng thornton w...@freegeek.org wrote: On 9/11/11 6:37 AM, Neil Mitchell wrote: Why not email the maintainers of packages you think need a better description - ideally giving suggestions? I'd welcome that for any of my packages. +1. +1 Actually this

Re: [Haskell-cafe] DSL for data definition (e.g. compiling Haskell type defs into Google's protocol buffers type defs)

2011-10-04 Thread Ryan Newton
An interesting and semi-related project was just presented at ICFP by Kathleen Fisher. It's called Forest and uses template haskell to create schema's for FileStores from Haskell definitions. But they're not plain-old-haskell type definitions... -Ryan On Tue, Oct 4, 2011 at 12:11 PM, Edward

Re: [Haskell-cafe] SMP parallelism increasing GC time dramatically

2011-10-05 Thread Ryan Newton
Hi Tom, I think debugging this sort of problem is exactly what we need to be doing (and making easier). Have you tried Duncan's newest version of Threadscope by the way? It looks like -- completely aside from the GC time -- this program is not scaling. The mutator time itself, disregarding GC,

[Haskell-cafe] Best bit LIST data structure

2011-10-07 Thread Ryan Newton
Hi Cafe, We are lucky to have a plethora of data structures out there. But it does make choosing one off hackage difficult at times. In this case I'm *not* looking for a O(1) access bit vector (Data.Vector.Unboxed seems to be the choice there), but an efficient representation for a list of bits

Re: [Haskell-cafe] Best bit LIST data structure

2011-10-09 Thread Ryan Newton
in the next component -} b [b] Write an isomorphism between @BitList b@ and @ListStep (BitList b)@ where data ListStep e rc = Nil | Cons e rc On 07.10.11 17:52, Ryan Newton wrote: Hi Cafe, We are lucky to have a plethora of data structures out there. But it does make choosing one off hackage

Re: [Haskell-cafe] Best bit LIST data structure

2011-10-10 Thread Ryan Newton
On Sun, Oct 9, 2011 at 12:11 PM, Roman Beslik ber...@ukr.net wrote: Yes, if you do not use high-level concepts and optimize everything by hand, it requires a lot of testing. :) There are probably more constructive, jibe-free ways to frame this suggestion... Regarding testing: my preference

Re: [Haskell-cafe] Package documentation complaints -- and a suggestion

2011-10-24 Thread Ryan Newton
Good point. On the other hand, nobody points package authors to the Debian documentation (and Debian also has review for newly uploaded packages, as far as I know). Re: review process -- Perhaps there would be a use for a review process somewhere between haskell-platform and the unwashed

[Haskell-cafe] Who is working on high performance threadsafe mutable data structures in Haskell?

2011-10-27 Thread Ryan Newton
Hello cafe, In the context of the monad-par project we're just getting to the point of trying to replace our work stealing Deque's with something more efficient (in Haskell). Based a quick perusal of Hackage there does not seem to be a lot of work in this area. Of course, for Haskell the

Re: [Haskell-cafe] What is the status of GPU-accelerated Haskell?

2011-10-28 Thread Ryan Newton
There are CUDA bindings: http://hackage.haskell.org/package/cuda And that is what the higher-level GPU-programming package, Accelerate, is based on: http://hackage.haskell.org/package/accelerate On Thu, Oct 27, 2011 at 4:04 PM, serialhex serial...@gmail.com wrote: Hi, there is an

Re: [Haskell-cafe] Amazon AWS storage best to use with Haskell?

2011-10-31 Thread Ryan Newton
For distributed execution you can look at the recent work on CloudHaskell: https://github.com/jepst/CloudHaskell http://groups.google.com/group/cloudhaskell As for a programming model -- Philip Trinder et. al have a version of monad-par that works in a distributed way over CloudHaskell,

Re: [Haskell-cafe] Amazon AWS storage best to use with Haskell?

2011-10-31 Thread Ryan Newton
Any example code of using hscassandra package would really help! I'll ask my student. We may have some simple examples. Also, I have no idea as to their quality but I was pleasantly surprised to find three different amazon related packages on Hackage (simply by searching for the word Amazon

[Haskell-cafe] The type class wilderness + Separating instances and implementations into separate packages

2011-11-02 Thread Ryan Newton
What is the right interface for a queue? What is the right interface for a random number generator? I don't know, but in both cases you will find many packages on hackage offering different takes on the matter. In fact, there is a wilderness of alternative interfaces. We've had various

Re: [Haskell-cafe] The type class wilderness + Separating instances and implementations into separate packages

2011-11-03 Thread Ryan Newton
I think the best option at the moment is to break out type classes in their own packages. That's what I did with hashable. Indeed! I greatly believe in this mantra now. Really, my point was only this banal one -- packages with only interfaces in them have no dependencies and are much less

Re: [Haskell-cafe] Message

2011-11-03 Thread Ryan Newton
I have interfaced Erlang and Haskell... And delivered it as a product.  I just came up with a dead-simple text based communication syntax from Erlang to Haskell that was very easily testable.  It allowed for complete isolation Interesting. I can't imagine there are too many people who have

[Haskell-cafe] Tool to brute-force test against hackage libraries to determine lower bounds?

2011-11-09 Thread Ryan Newton
I don't know about you, but I personally haven't found the time to cast back in time for each of my package's dependencies to find a true lower bound version. Do we have any tools that would do the following? - ask Hackage for the available versions of package foo - use cabal-dev to build

Re: [Haskell-cafe] Tool to brute-force test against hackage libraries to determine lower bounds?

2011-11-09 Thread Ryan Newton
What about dependency interactions? If you depend on foo and bar there might be versions of foo and bar that don't build together that you might not discover by varying their versions independently. Indeed. But assuming for a moment that foo bar have correctly specified their own

Re: [Haskell-cafe] Module name space question

2011-12-12 Thread Ryan Newton
I don't know why Hoogle didn't find one of the packages. I've often wondered about this related question: * Is there a place to browse the union of all namespaces in all hackage packages? This would show the global Haskell/Hackage namespace as it currently stands and I think would be useful

Re: [Haskell-cafe] strict version of Haskell - does it exist?

2012-02-01 Thread Ryan Newton
Even though advertised as parallel programming tools, parMap and other functions that work in parallel over *sequential* access data structures (i.e. linked lists.) We want flat, strict, unpacked data structures to get good performance out of parallel algorithms. DPH, repa, and even vector

Re: [Haskell-cafe] Evaluating parallel computations in order of finishing (approximately)

2012-02-07 Thread Ryan Newton
In stream processing frameworks this is a (common) non-deterministic merge operation. Because it's nondeterministic it would need to happen in IO: parCompletionOrder :: [a] - IO [a] But it can be nonblocking (returns immediately, and lazy IO happens in the background). The Chan library has a

Re: [Haskell-cafe] The State of Testing?

2012-02-07 Thread Ryan Newton
By the way, has anyone else had trouble with cabal test diverging? I've been running into this issue with cabal 0.10.2, but ONLY in conjunction with GHC 6.12.3. It's hard to make a small reproducer for (and therefore I haven't filed a bug yet), but you can see the below Jenkins run stalled for

Re: [Haskell-cafe] How do I get official feedback (ratings) on my GSoC proposal?

2012-02-15 Thread Ryan Newton
I'm interested in mentoring any projects related to concurrent data structure implementation. Is it too late to propose new projects? http://parfunk.blogspot.com/2012/02/potential-gsoc-haskell-lock-free-data.html -Ryan On Mon, Feb 13, 2012 at 7:19 PM, Johan Tibell

[Haskell-cafe] New GSoC on Concurrent Data Structures -- was: How do I get official feedback (ratings) on my GSoC proposal?

2012-02-16 Thread Ryan Newton
johan.tib...@gmail.com wrote: On Wed, Feb 15, 2012 at 7:40 PM, Ryan Newton rrnew...@gmail.com wrote: I'm interested in mentoring any projects related to concurrent data structure implementation.  Is it too late to propose new projects?  http://parfunk.blogspot.com/2012/02/potential-gsoc-haskell

[Haskell-cafe] Preventing leaked open file descriptors when catching exceptions

2012-02-21 Thread Ryan Newton
Hi all, I'm trying to run a loop that repeatedly attempts to open a file until it succeeds. The file is a named pipe in nonblocking mode, so the writer can only connect after the reader has connected. (Perhaps there is some way to determine this by stat'ing the pipe, but I don't know it yet.)

Re: [Haskell-cafe] Preventing leaked open file descriptors when catching exceptions

2012-02-21 Thread Ryan Newton
/pipe_9083984821255795683 PingPipes 25115 rrnewton 137r FIFO8,2 0t0 25166171 /tmp/pipe_9083984821255795683 PingPipes 25115 rrnewton 138r FIFO8,2 0t0 25166171 /tmp/pipe_9083984821255795683 On Tue, Feb 21, 2012 at 11:13 AM, Ryan Newton rrnew...@gmail.com wrote: Hi all, I'm trying

Re: [Haskell-cafe] Preventing leaked open file descriptors whencatching exceptions

2012-02-21 Thread Ryan Newton
not thinking of. I'll make a self contained test of this and send it out. On Tue, Feb 21, 2012 at 12:53 PM, Donn Cave d...@avvanta.com wrote: Quoth Bryan O'Sullivan b...@serpentine.com, On Tue, Feb 21, 2012 at 8:16 AM, Ryan Newton rrnew...@gmail.com wrote: FYI, lsof confirms that there are indeed

Re: [Haskell-cafe] Functional programming podcast

2012-02-22 Thread Ryan Newton
+1 I'm always at a loss for good technical podcasts. The popular ones that come up (with a simple search) are such fluff! On Wed, Feb 22, 2012 at 12:00 PM, Clint Moore cl...@ivy.io wrote: On Wed, Feb 22, 2012 at 5:50 AM, Christopher Done chrisd...@googlemail.com wrote: Show of hands, who

Re: [Haskell-cafe] Fwd: Now Accepting Applications for Mentoring Organizations for GSoC 2012

2012-02-29 Thread Ryan Newton
Is there any official way that mentors should sign up to become part of the org? For one thing I heard a rumor that bigger orgs look better from Google's end. -Ryan On Tue, Feb 28, 2012 at 11:23 AM, Johan Tibell johan.tib...@gmail.comwrote: Hi all, Anyone interested in acting as an admin

[Haskell-cafe] Best way to use the google visualization (javascript) API rather than static image charts (hs-gchart)?

2012-03-16 Thread Ryan Newton
Hello cafe, I've got a benchmarking script which currently generates gnuplot scripts (of simple lines and points) and I'd like to port it to use two** new backends: (1) Chart for PDF generation and gtk viewing (2) Something-or-other for generating pretty interactive charts in the browser,

Re: [Haskell-cafe] Prettier pretty-printing of data types?

2012-03-17 Thread Ryan Newton
Hi all, I've got a question that pertains to any of these identify-region, parse, make-expandable approaches. The main use I'd like to use the trick for (esp. Chris's Emacs version) is to deal with large intermediate compiler ASTs. But if a compiler produces a long stream of output to stdout,

Re: [Haskell-cafe] Prettier pretty-printing of data types?

2012-03-17 Thread Ryan Newton
to a wrapper function around Chris's folder/expander. -Ryan On Sat, Mar 17, 2012 at 9:10 AM, Brandon Allbery allber...@gmail.comwrote: On Sat, Mar 17, 2012 at 08:55, Ryan Newton rrnew...@gmail.com wrote: - If the source is available, the compiler could be tweaked to obey a protocol

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-18 Thread Ryan Newton
HJScript is OK, hpaste.org uses it here: https://github.com/chrisdone/amelie/blob/master/src/Amelie/View/Script.hs output here: http://hpaste.org/js/amelie.js Mini-summary of my experience: You're still stuck with JS semantics, and it can be a little odd when you confuse what level of code

Re: [Haskell-cafe] Best way to use the google visualization (javascript) API rather than static image charts (hs-gchart)?

2012-03-18 Thread Ryan Newton
Thanks David, As an update, HJScript is a bit of a nightmare to figure out (missing documentation, examples). And the model of JS values: http://hackage.haskell.org/packages/archive/language-javascript/0.4.10/doc/html/Language-JavaScript-Parser.html#t:Node Seems less human comprehensible than,

Re: [Haskell-cafe] Google Summer of Code - Lock-free data structures

2012-03-19 Thread Ryan Newton
wrote: A lock-free concurrent queue alone would be worth a summer project IMO. G Ryan Newton is already doing that (https://github.com/rrnewton/haskell-lockfree-queue). ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] GSoC and Data Parallel Haskell

2012-03-21 Thread Ryan Newton
The big topic would seem to be using Geoff Mainland's new simd-ghc support. http://hackage.haskell.org/trac/ghc/wiki/SIMD Geoff, is that already under way or is it too big a project for a GSOC? Dmitry, do you already have GHC-internals hacking experience? -Ryan On Tue, Mar 20, 2012 at

Re: [Haskell-cafe] Mathematics and Statistics libraries

2012-03-21 Thread Ryan Newton
I think such libraries are high priority! My own experience with them is not deep, but I'll echo what I think is a common observation: - Matrix libraries are good - Statistics libs need more work And as far as wrappers around machine learning or computer vision libs (openCV)... I'm not

[Haskell-cafe] Need a backup GSOC to apply for? Last minute new proposal -- memory reuse analysis for GHC

2012-03-26 Thread Ryan Newton
Hi potential GSOC'ers, If there are multiple students interested in the project you're applying to it's a good idea to put in more than one application. This is a project proposal that would focus on performance analysis -- in particular in reusing some of the tools for analyzing memory access

Re: [Haskell-cafe] Google Summer of Code - Lock-free data structures

2012-03-28 Thread Ryan Newton
GHC already has a CAS primitive on MutVar#, it just needs to be extended to MutableArray# and MutableByteArray# (at all of the bit-widths the CAS instruction would support, e.g. see readWordXxArray# in http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-prim-0.2.0.0/GHC-Prim.html). The

Re: [Haskell-cafe] Google Summer of Code - Lock-free data structures

2012-03-29 Thread Ryan Newton
On Thu, Mar 29, 2012 at 9:01 AM, Gregory Collins g...@gregorycollins.netwrote: On Thu, Mar 29, 2012 at 6:57 AM, Ryan Newton rrnew...@gmail.com wrote: The ByteArray versions will be more annoying, requiring more variations, but they are also less essential, because the user can always use

Re: [Haskell-cafe] Google Summer of Code - Lock-free data structures

2012-03-29 Thread Ryan Newton
I think so. Atomically reading and writing a single memory location (which CAS does) is just a very simple transaction. But using a CAS instruction should be more efficient, since STM has to maintain a transaction log and commit transactions, which creates some overhead. Ah, I see. In that

Re: [Haskell-cafe] Google Summer of Code - Lock-free data structures

2012-04-05 Thread Ryan Newton
+1 -- the reagents model is interesting and it would be good to see a Haskell implementation. On Thu, Apr 5, 2012 at 3:05 PM, Ben Gamari bgamari.f...@gmail.com wrote: Ben midfi...@gmail.com writes: perhaps it is too late to suggest things for GSOC -- but stephen tetley on a different

Re: [Haskell-cafe] Offer to mirror Hackage

2012-04-19 Thread Ryan Newton
Hello all, Right now I'm trying to answer a simple question: - Would the current Haskell.org / hackage infrastructure benefit from the donation of a dedicated VM with good bandwidth/uptime? Whoever already knows how to do this could configure it. In trying to answer the above question I

[Haskell-cafe] Administrative questions about Haskell GSOC (Google Summer of Code)

2012-04-19 Thread Ryan Newton
Hello, As someone new to the GSOC system there are some things I'm confused about. There's a bunch of info out there, and I certainly haven't read all of it. Who are the program administrator and organization administrator for the Haskell organization? Those roles are mentioned in the manual

Re: [Haskell-cafe] Fwd: Now Accepting Applications for Mentoring Organizations for GSoC 2012

2012-04-20 Thread Ryan Newton
Did anyone end up being the co-admin? On Thu, Mar 1, 2012 at 4:50 PM, Johan Tibell johan.tib...@gmail.com wrote: On Thu, Mar 1, 2012 at 1:42 PM, Ganesh Sittampalam gan...@earth.liwrote: On 01/03/2012 21:37, Johan Tibell wrote: On Thu, Mar 1, 2012 at 12:54 PM, Ganesh Sittampalam

Re: [Haskell-cafe] Offer to mirror Hackage

2012-04-24 Thread Ryan Newton
There's two options I think: 1. a machine for the central hackage server, 2. a machine for doing package builds The former will require more organisation, partly because we need the haskell.org people to have some degree of control over the system. The latter is easier because the

Re: [Haskell-cafe] Offer to mirror Hackage

2012-04-24 Thread Ryan Newton
I wonder if this could get to the point where it could be done seti-at-home style, farmed out via a VM image. That is people would run the image to provide resources (and geographic distribution) to the build server cloud. Maybe they get a fast local mirror as a reward. If it were every

[Haskell-cafe] Multi-site haddock documentation with proper links?

2012-04-24 Thread Ryan Newton
Hello cafe, For various reasons, some packages don't build documentation on hackage: http://hackage.haskell.org/package/accelerate Therefore I want to locally install documentation for a set of packages like this and host them on a separate website. I want all of these ~ten packages'

Re: [Haskell-cafe] Multi-site haddock documentation with proper links?

2012-04-24 Thread Ryan Newton
this. But I'll give it a whirl.) On Tue, Apr 24, 2012 at 8:34 PM, Ryan Newton rrnew...@gmail.com wrote: Hello cafe, For various reasons, some packages don't build documentation on hackage: http://hackage.haskell.org/package/accelerate Therefore I want to locally install documentation

Re: [Haskell-cafe] Multi-site haddock documentation with proper links?

2012-04-25 Thread Ryan Newton
to allow a set of sibling packages to point to one another. -Ryan On Tue, Apr 24, 2012 at 8:51 PM, Ryan Newton rrnew...@gmail.com wrote: This is sort of related to ticket #130: http://trac.haskell.org/haddock/ticket/130 And this one seems to hint at a solution to the problem in the more

Re: [Haskell-cafe] Annoyed at System.Random

2012-05-03 Thread Ryan Newton
Hi Thomas, Personally, I would love to see that happen. It seems like the best way to make split acceptable. Is Brian Gladman's C implementation still best in class? In my tests even without AESNI it could exceed the traditional System.Random in performance (

Re: [Haskell-cafe] Annoyed at System.Random

2012-05-04 Thread Ryan Newton
1. cprng-aes is painfully slow. when using the haskell AES implementation yes. with AESNI it fly, and even more when i'll have time to chunk the generation to bigger blocks (says 128 AES block at a time) One data-point -- in intel-aes I needed to do bigger blocks to get decent

Re: [Haskell-cafe] Annoyed at System.Random

2012-05-04 Thread Ryan Newton
My end goal is to have the user use transparently the fastest implementation available to their architecture/cpu providing they use the high level module. I've uploaded the cpu package which allows me to detect at runtime the aes instruction (and the architecture), but i've been distracted

[Haskell-cafe] ANN: meta-par, meta-par-accelerate and friends -- heterogeneous parallel programming

2012-05-04 Thread Ryan Newton
Hi all, I'm happy to announce a release of meta-par, a parallel programming library that is a successor to monad-par. - http://hackage.haskell.org/package/abstract-par - http://hackage.haskell.org/package/monad-par - http://hackage.haskell.org/package/meta-par -

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-10 Thread Ryan Newton
through the trouble of writing my algorithms in C/C++, but simple-minded people often have a desire to get the best performance possible, in which case you really want to use C, C++, Fortran or whatever high level assembler language you like. I think this is a bit of an unfair accusation

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-14 Thread Ryan Newton
Well, if it's in many ways the same as C, then again it's probably not idiomatic Haskell. It's just a recursive equation for mandelbrot fractals. I should have been precise, I didn't mean that the source is literally the *same* as the C source (i.e. there's no for loop, no mutable

[Haskell-cafe] Safe Haskell at the export symbol granularity?

2012-05-14 Thread Ryan Newton
Separate from whether or not we actually want this -- is it feasible? Here's my situation. When working on parallel programming libraries in Haskell there are very often unsafe operations one wants to do within an otherwise pure model. For example, Accelerate currently violates safe haskell

Re: [Haskell-cafe] Safe Haskell at the export symbol granularity?

2012-05-17 Thread Ryan Newton
Thanks David. I'm glad to see it was discussed in the wiki. (Btw, my 2 cents is that I like the comment pragmas more than new keywords.) The issue that I think doesn't make it into the wiki is of splitting, not modules, but* type-classes*. That's where I think it becomes a more serious issue.

Re: [Haskell-cafe] Safe Haskell at the export symbol granularity?

2012-05-17 Thread Ryan Newton
Good point, Antoine! I think that does the trick. On Thu, May 17, 2012 at 10:48 AM, Antoine Latter aslat...@gmail.com wrote: On Thu, May 17, 2012 at 8:50 AM, Ryan Newton rrnew...@gmail.com wrote: Thanks David. I'm glad to see it was discussed in the wiki. (Btw, my 2 cents is that I

Re: [Haskell-cafe] cool tools

2012-05-17 Thread Ryan Newton
Indeed, cabal-install 0.14.0 has been *excellent* for me so far. Thanks Andres! On Thu, May 17, 2012 at 10:05 AM, Chris Dornan ch...@chrisdornan.comwrote: I have been playing around with the latest cabal-install (0.14.0) and it is working really nicely. Having unpacked a cabal bundle you can

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-21 Thread Ryan Newton
The unconditional desire for maximum possible object code performance is usually very stupid, not to mention impossible to reach with any high level language and any multi-tasking operating system. Definitely. I don't know if we have a catchy term for kneejerk optimization or if it falls

Re: [Haskell-cafe] Parallel cooperative multithreading?

2012-05-22 Thread Ryan Newton
Personally, I think cooperative concurrency is making a big comeback. Especially in a compiler-supporting form that relies on limited CPS (continuation-passing-style) transformation. There are server and web services applications that motivate it (i.e. in Scala, F# async work flows). In Haskell

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-24 Thread Ryan Newton
Oops, forgot to reply-to-all. This was a minor clarification on Wren's behalf (he can correct me if I'm wrong). But I agree with Bryan that it's time for the thread to die: Do bear in mind that Java doesn't optimize ---that's the JIT's job What are we supposed to make of that? Why write

Re: [Haskell-cafe] Possible bug in Criterion or Statistics package

2012-08-13 Thread Ryan Newton
Terrible! Quite sorry that this seems to be a bug in the monad-par library. I'm copying some of the other monad-par authors and we hopefully can get to the bottom of this. If it's not possible to create a smaller reproducer, is it possible to share the original test that triggers this problem?

Re: [Haskell-cafe] Cabal install fails due to recent HUnit

2012-08-27 Thread Ryan Newton
Well, this one looks like it was my fault because I never read this thread and this morning I uploaded that package (abstract-deque) with the conditional in the test-suite. The reason this conditional isn't there now is that the package was hacked in place to remove tests, which is fine.

Re: [Haskell-cafe] a parallel mapM?

2012-10-03 Thread Ryan Newton
Several of the monad-par schedulers COULD provide a MonadIO instance and thus liftIO, which would make them easy to use for this kind of parallel IO business: http://hackage.haskell.org/packages/archive/monad-par/0.3/doc/html/Control-Monad-Par-Scheds-Direct.html And that would be a little more

Re: [Haskell-cafe] a parallel mapM?

2012-10-03 Thread Ryan Newton
(i.e. have instances of the same classes -- ParFuture, ParIVar...), so generic algorithms like parMap will still work for either. -Ryan Regards, - Clark On Wed, Oct 3, 2012 at 10:24 AM, Ryan Newton rrnew...@gmail.com wrote: Several of the monad-par schedulers COULD provide a MonadIO

[Haskell-cafe] FunPtr to C function with #arguments determined at runtime?

2013-02-17 Thread Ryan Newton
Hello cafe, I've been poking around and I haven't seen this addressed anywhere except obliquely in the end of section 8.5.1 of the report, where it says that variable argument C functions aren't supported: http://www.haskell.org/onlinereport/haskell2010/haskellch8.html The scenario is pretty

Re: [Haskell-cafe] FunPtr to C function with #arguments determined atruntime?

2013-02-17 Thread Ryan Newton
The scenario is pretty simple. I generate C code at runtime. I compile it to a .so. I know how many arguments it expects (but only at runtime), and I get a FunPtr back from 'dlsym'. How do I call it? I feel that I might be confused about the problem, but since I don't see anyone

[Haskell-cafe] ANNOUNCE: hydra-print-0.1.0.0

2013-04-06 Thread Ryan Newton
Hello cafe, This is an NCurses front end for visualizing a dynamic collection of text streams (e.g. as produced by make -j or cabal -j). It just splits the window when more streams appear. http://hackage.haskell.org/package/hydra-print http://parfunk.blogspot.com/2013/04/hydra-print.html

[Haskell-cafe] Can any hackage library do JWT signing

2013-04-09 Thread Ryan Newton
I want to enable a Haskell benchmarking bot that would upload its data to a Google Fusion Table each time it runs. That seems to require the service-to-service mode for Google's OAuth2: https://developers.google.com/accounts/docs/OAuth2ServiceAccount There are a bunch of libraries on Hackage

[Haskell-cafe] What symbol / atom/ interned-string package is currently preferred?

2013-05-07 Thread Ryan Newton
Hi cafe, I use symbols all the time when manipulating code. I vacillate between using stringtable-atom, symbol, and simple-atom. Unfortunately: - Stringtable-atom is has a broken build right now (GHC 7.6). (Also I've had some crashes with it in the past.) - simple-atom has dependency

  1   2   >