Dona Eus�bia - Lista dos aprovados divulgada

2013-06-05 Thread David Anderson
Dona Eusébia ANA CLARA DE MORAES HOLANDA, LORENNA DOS SANTOS SILVA, FRANCISCO JEFERSON GUERRA DA COSTA, PEDRO AMARANTE SILVA FILHO, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL AGUIAR DE SOUSA, MARIA ISABELA DE BRITO MORAIS, JARDEL SOUSA DA SILVA. SILVANA FERREIRA DE ARAÚJO, ARTHUR MAURICIO DE

Dores do Indai� - Nomes dos aprovados

2013-06-05 Thread David Anderson
Dores do Indaiá ANA KARINE PAULINO DA SILVA, LUAN VICTOR VASCONCELOS NOBERTO, FRANCISCO MARKAN NOBRE DE SOUZA FILHO, PEDRO SIQUEIRA FONTENELE, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL MOREIRA ALVES DA SILVA, MARIA JOELMA BEZERRA DA SILVA, JESSICA DE PONTES GOMES. SINELANDIA MARIA DA SILVA,

Re: [Haskell-cafe] How to daemonize a threaded Haskell program?

2011-03-07 Thread David Anderson
On Mon, Mar 7, 2011 at 12:39 AM, Bas van Dijk v.dijk@gmail.com wrote: Sterling, Gregory, Brandon and David thanks for your suggestions. On 6 March 2011 05:38, David Anderson d...@natulte.net wrote: I humbly recommend doing such daemonizations from outside your program. Programs

Re: [Haskell-cafe] How to daemonize a threaded Haskell program?

2011-03-05 Thread David Anderson
I humbly recommend doing such daemonizations from outside your program. Programs that daemonize on startup make it very difficult to monitor them by direct means, instead forcing you to rely on PID files and other mechanisms which may not always be available or fresh. For reference, Upstart, the

Re: [Haskell-cafe] ANNOUNCE: secure-sockets version 1.0

2010-09-08 Thread David Anderson
On Wed, Sep 8, 2010 at 1:05 PM, Mads Lindstrøm mads.lindstr...@gmail.comwrote: Hi David On Mon, 2010-09-06 at 13:50 -0700, David Anderson wrote: - Simple timing attacks: If code path A takes longer than code path B to execute, an attacker can use that information to reverse engineer

Re: [Haskell-cafe] ANNOUNCE: secure-sockets version 1.0

2010-09-06 Thread David Anderson
for the midnight haddocking can see the docs here: http://web.cecs.pdx.edu/~dubuisst/secure-sockets-1.0/html/ Or if you prefer the shiny new templates (upgrade your haddock!), http://natulte.net/random/secure-sockets/ . - Dave Cheers, Thomas On Sun, Sep 5, 2010 at 10:26 PM, David Anderson d

Re: [Haskell-cafe] ANNOUNCE: secure-sockets version 1.0

2010-09-06 Thread David Anderson
On Mon, Sep 6, 2010 at 12:45 PM, Thomas DuBuisson thomas.dubuis...@gmail.com wrote: David said: I'd be interested with breaking the dependency on OpenSSL, for various reasons: [snip] Can't say I'm surprised by these. Its unfortunate the situation hasn't improved. I recall a half

Re: [Haskell-cafe] ANNOUNCE: secure-sockets version 1.0

2010-09-06 Thread David Anderson
On Mon, Sep 6, 2010 at 2:08 PM, Thomas DuBuisson thomas.dubuis...@gmail.com wrote: You could have gone to Hackage and checked your protocols correctness using CPSA, not that the side-channel attacks would be discovered by such a tool. Interesting. I had seen CPSA announced at one

[Haskell] ANNOUNCE: secure-sockets version 1.0

2010-09-05 Thread David Anderson
Hi, I'm happy to announce the first release of secure-sockets, a library which aims to simplify the task of communicating securely between two authenticated peers. -- What it is The API mimicks that of

[Haskell-cafe] ANNOUNCE: secure-sockets version 1.0

2010-09-05 Thread David Anderson
Hi, I'm happy to announce the first release of secure-sockets, a library which aims to simplify the task of communicating securely between two authenticated peers. -- What it is The API mimicks that of

Re: [Haskell-cafe] ANNOUNCE: Takusen 0.8.6

2010-08-01 Thread David Anderson
Congrats on the release. Just one humble suggestion: your email assumes that the reader already knows what Takusen is. Reading the email, all I can infer is that it has something to do with databases, because of the ODBC reference. The only link in the email also does nothing to explain, since it

Re: [Haskell-cafe] How does one get off haskell?

2010-06-17 Thread David Anderson
2010/6/17 Günther Schmidt gue.schm...@web.de: Hi list, I'm facing a really tough problem. About 3 years ago I stopped doing freelance and quite nicely paid projects in Java, PHP and C#. Now I'm dire straits, again, and need to get back into the project market which seems to have picked up

Re: [Haskell-cafe] Re: LLVM - Haskell

2010-05-30 Thread David Anderson
On Sun, May 30, 2010 at 11:26 PM, Aaron Tomb at...@galois.com wrote: On May 30, 2010, at 7:01 AM, Tom Hawkins wrote: Is there any work being done to read LLVM object code into Haskell? I've looked through the llvm library [1], but it appears focused on code generation. -Tom I was just

Re: [Haskell-cafe] I need help getting started

2010-04-25 Thread David Anderson
On Sun, Apr 25, 2010 at 6:34 AM, mitch...@kaplan2.com wrote: Hi, I’m just starting to learn, or trying to learn Haskell.  I want to write a function to tell me if a number’s prime.  This is what I’ve got: f x n y = if n=y   then True   else   if gcd x n ==

Re: [Haskell-cafe] ANN: forkable-monad 0.1

2010-04-21 Thread David Anderson
missing something? Cheers, - Dave 2010/4/21 David Anderson d...@natulte.net Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial release of forkable-monad. The short version is that forkable-monad exports a replacement forkIO that lets you do this: type

Re: [Haskell-cafe] ANN: forkable-monad 0.1

2010-04-21 Thread David Anderson
useful and/or correct, though. Hmm. Good question. I haven't quite wrapped my head around ContT yet, but I'll make a note to meditate over your implementation. If it makes sense in the context of forking threads, I'll add it to the collection. Thanks again, - Dave David Anderson wrote: Dear

Re: [Haskell-cafe] Re: ANN: forkable-monad 0.1

2010-04-21 Thread David Anderson
[-haskell] On Wed, Apr 21, 2010 at 5:54 PM, Heinrich Apfelmus apfel...@quantentunnel.de wrote: David Anderson wrote: Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial release of forkable-monad. The short version is that forkable-monad exports a replacement

[Haskell] ANN: forkable-monad 0.1

2010-04-20 Thread David Anderson
Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial release of forkable-monad. The short version is that forkable-monad exports a replacement forkIO that lets you do this: type MyMonad = ReaderT Config (StateT Ctx IO) startThread :: MyMonad ThreadId startThread =

[Haskell-cafe] ANN: forkable-monad 0.1

2010-04-20 Thread David Anderson
Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial release of forkable-monad. The short version is that forkable-monad exports a replacement forkIO that lets you do this: type MyMonad = ReaderT Config (StateT Ctx IO) startThread :: MyMonad ThreadId startThread =