Haskell Weekly News: August 20, 2008

Submitted by byorgey on Wed, 08/20/2008 - 12:39pm.
Haskell Weekly News: August 20, 2008

Welcome to issue 82 of HWN, a newsletter covering developments in the Haskell community.


Lava2000 on Hackage. Emil Axelsson announced that Lava2000 has been uploaded to Hackage. Lava is a structural hardware description library embedded in Haskell. This version of Lava focuses on verification, and connects to a number of different verification engines (although only Smv and Satzoo are maintained in this version).

QuickCheck and HPC Tutorial. Andy Gill announced a half day tutorial on QuickCheck and HPC to be held at DEFUN, taught by Andy Gill and Koen Claessen. The latest version of QuickCheck will also be released in conjunction with the tutorial.

Compiler Construction course using Haskell?. Johannes Waldmann announced that he plans to give a course in compiler construction, using Haskell as the implementation language. Any comments are appreciated, especially from anyone who has given or taken such a course.

witness 0.1, open-witness 0.1. Ashley Yakeley announced the release of these new packages and the draft paper on which they are based.

posix-realtime 0.0.1. Vasili Galchin announced the release of the posix-realtime package.

benchpress 0.2.1. Johan Tibell announced the first public release of benchpress, a micro-benchmark library that produces statistics such as min, mean, standard deviation, median, and max execution time.

wavconvert 0.1.1. Tim Chevalier announced the release of wavconvert, a tool which takes a directory tree as an argument, and converts any .wav files in it to .ogg (using an external OGG encoder) while filling in the ID3 tags based on the directory names.

darcs hacking sprint (25-26 October). Eric Y. Kow announced a darcs hacking sprint, to be held on the 25-26 of October, in Cambridge and Portland (and over IRC). The perfect opportunity to get involved, if you are interested in doing some hacking on darcs. Let Eric know if you are interested.

X Haskell Bindings. Antoine Latter announced that he is slowly porting XCB (the X C Bindings) to Haskell, and would like input from any interested parties.

logfloat. wren ng thornton announced the release of the logfloat package for manipulating log-domain floating numbers. The main reason for casting numbers into the log-domain is to prevent underflow when multiplying many small probabilities as is done in Hidden Markov Models and other statistical models often used for natural language processing. The log-domain also helps prevent overflow when multiplying many large numbers.

Roguestar 0.2.2. Christopher Lane Hinson announced the release of version 0.2.2 of Roguestar.

Google Summer of Code

Progress updates from participants in the 2008 Google Summer of Code.

Hoogle 4. Neil Mitchell (ndm) is working on Hoogle 4. This week, he worked on getting out the last kinks to make Hoogle 4 usable as a replacement for Hoogle 3. Although this is the last official week of the GSoC, he plans to continue working on it when he has time.

DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a physics engine using Data Parallel Haskell.

GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC.

Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a make-like dependency analysis framework for Cabal.

Language.C. Benedikt Huber (visq) is working on Language.C, a standalone parser/pretty printer library for C99.

Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries.

GHC API. Thomas Schilling (nominolo) is working on improvements to the GHC API.


Platform Architect at Peerium, Inc.. Don Stewart forwarded a job opportunity for a Haskell programmer at Peerium, Inc. Peerium is building a new software platform for direct, real-time communication and collaboration within graphically rich environments, and is looking for a platform architect proficient in Haskell to work with the founders to design and implement components of the runtime and supporting libraries for our software platform. Resumes should be forwarded to hr peerium.com.

Blog noise

Haskell news from the blogosphere.

Quotes of the Week

  • SimonM: People don't seem to believe me when I say this. In retrospect we shouldn't have called it forkOS, we should have called it forkReallyExpensiveOnlyNecessaryForCallingOpenGL_IO.
  • quicksilver: unsafeInterleaveIO gives you a way to cheat if you're happy to descend into a mire of programs with no semantics.
  • dmhouse: Eurgh, metastereo quotes.
  • quicksilver: [on @yhjulwwiefzojcbxybbruweejw] it's the noise a haskell developer makes if you kick him in the de bruijn index.

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to the Haskell Sequence and Planet Haskell. RSS is also available, and headlines appear on haskell.org.

To help create new editions of this newsletter, please see the information on how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get http://code.haskell.org/~byorgey/code/hwn/ .