[Haskell-cafe] Galois internships available

any other relevant details. Send this to Lee Pike (leepike at galois.com) with the subject line "Internship 2012". If you follow these directions, you'll get a confirmation from me. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.o

[Haskell-cafe] Posix IO & Unicode lookup exception

Hi, I wanted to see if anyone had an idea about why the following program results in an exception. The issue seems to be related to stdin to a POSIX file descriptors for a subprocess, and GHC's Unicode encoding lookup. I've tried to make the program as simple as possible to make the issue obviou

Re: [Haskell-cafe] Unrecognized function symbols in .prof

Iavor, Thanks. > One way to test this would be to name the equality function explicitly.  For > example, something like this: > myEquality x y = ... > instance Eq MyType where (==) = myEquality Good idea (but a little painful!). > Another option would be to look at the generated core by using -

[Haskell-cafe] Unrecognized function symbols in .prof

Hi, I am profiling a Haskell program using GHC, and after executing the program with +RTS -p, I get a .prof file that lists the cost centers of the program. Some of the cost centers listed are for function symbols that do not exist in the given module. For example, I have in my .prof file: COST

[Haskell-cafe] ANN: Copilot 0.25

Copilot[1] is a dataflow stream language built on Atom[2] for writing hard real-time C monitors of embedded systems. Copilot is a Haskell eDSL. The current release includes the following improvements: * Added true & false Specs (Spec Bool). * Removed generic const -- unneeded, since Spec is

Re: [Haskell-cafe] Re: internship opportunities in France

You are correct. We're looking for someone for 3-4 months, but that is negotiable. Regards, Lee > 2010/11/8 Lee Pike > Hi, > > On a (possibly-related) note: Galois, Inc. and the National Institute of > Aerospace (NIA) will likely be hosting a Visiting Scholar this summ

[Haskell-cafe] Re: internship opportunities in France

Hi, On a (possibly-related) note: Galois, Inc. and the National Institute of Aerospace (NIA) will likely be hosting a Visiting Scholar this summer for a joint NASA-sponsored project, located in Virginia, on the East coast of the U.S. (Since this particular opportunity is a visiting scholar pos

[Haskell-cafe] ANN: Atom 1.0.7

Announcing Atom 1.0.7 http://hackage.haskell.org/package/atom/ Recent changes include: atom 1.0.6: Support for math.h expressions (contributed by Sebastian Niller) atom 1.0.7: Support for using a HW clock to control the duration of phases. The patch to atom 1.0.7 adds the ability to use your HW

[Haskell-cafe] Re: [fp-embedded] Which Haskell DSL for writing C? (Was ANN: Copilot 0.22 -- A stream DSL for writing embedded C.)

>> The best reference for Copilot's constraints is this paper: >> . > > Non-Haskell programmers should note that paper has a few typos (Lee, > please correct me if I'm mistaken). Section 4.1 is where I'm at so > far and I see missing backt

[Haskell-cafe] Which Haskell DSL for writing C? (Was ANN: Copilot 0.22 -- A stream DSL for writing embedded C.)

Oh, one thing I should mention is that there are a few Haskell DSLs for generating embedded C now: * Atom http://hackage.haskell.org/package/atom * Feldspar http://hackage.haskell.org/package/feldspar-language * cmonad http://hackage.haskell.org/package/cmonad * Copilot http://hackage.haskell

[Haskell-cafe] ANN: Copilot 0.22 -- A stream DSL for writing embedded C.

AGE: http://leepike.github.com/Copilot/ (with more info). PICS/VIDEO of Copilot's maiden flight: http://picasaweb.google.com/105722675808588603973 A PAPER (PDF): http://www.cs.indiana.edu/~lepike/pub_pages/rv2010.html The Copilot Team * Maintainer: Lee Pike (leep...@galois.com), Galois, Inc

Re: [Haskell-cafe] Data.Graph?

Oh, I thought you had done what most of us do: seen Data.Graph in containers and promptly dismissed it... >_> (IIRC, it doesn't really have many graph operations defined there.) Yes, you're right---I just wanted to acknowledge that I'd missed that there was *something* there... Lee

Re: [Haskell-cafe] Data.Graph?

. Lee On Mar 30, 2010, at 7:23 PM, Ivan Miljenovic wrote: Sorry for the duplicate email Lee, but I somehow forgot to CC the mailing list :s On 31 March 2010 13:12, Lee Pike wrote: I'd like it if there were a "Data.Graph" in the base libraries with basic graph-theoretic opera

[Haskell-cafe] Data.Graph?

Apologies if this request isn't 'appropriate' for this venue (perhaps it's a Haskell' request and/or has been discussed before)... I'd like it if there were a "Data.Graph" in the base libraries with basic graph-theoretic operations. Is this something that's been discussed? For now, it ap

[Haskell-cafe] Re: Atom bug(?)

Tom, Ah, right. The top-most rule is implied with the compile command. This makes it appear as if the assignment doesn't belong to a rule, when if fact it belongs to the implicit top level rule. The top level rule always has a period of 1. Period constraints are only applied to sub-rules, no

[Haskell-cafe] Testing for statistical properties

Greg, Hey everyone! I have some computations that satisfy statistical properties which I would like to test --- that is, the result of the computation is non-deterministic, but I want to check that it is sampling the distribution that it should be sampling. Is anyone aware of a Haskell

[Haskell-cafe] Announcing a summer internship for a NASA-sponsored project

odloe (NIA) and Dr. Lee Pike (Galois, Inc.)---contact below. The visitor's work will depend on the skills and interests of the student, but it will likely focus on the development and application of of a monitor synthesis tool, CoPilot. Copilot takes property specification and synthesize

[Haskell-cafe] Fwd: Timing and Atom

[Tom -- resending my reply---I forgot to post to the list.] Neil, could you provide a reference (more on the practical side than the theory side) for the Stochastic Process Algebras you mention? And is there an embedding in Haskell? :) Lee Begin forwarded message: From: Lee Pike Date

Re: [Haskell-cafe] ANN: atom 0.1.0

Note too that there's an example Atom program included with the source: http://hackage.haskell.org/packages/archive/atom/0.1.0/doc/html/Language-Atom-Example.html Lee dons wrote: We've had a few people playing with Atom to program the Arduino, and John van Enk's been hacking too, Atom & Ardu

[Haskell-cafe] Parsing .dot files?

Hi, Does anybody know of a Haskell library for parsing .dot graph files? (I know Andy Gill wrote dotgen for *generating* .dot files .) Thanks, Lee -- ___ Haskell-Ca

[Haskell-cafe] FP simulators for real-time systems?

Hello, I'm interested to hear if anyone out there has used Haskell (or other functional languages for that matter) to build simulators for real- time systems. I'm somewhat familiar with Timber and similar languages for actually constructing real-time systems.