The Heartbleed Bug

Re:The Heartbleed Bug by codygman on Monday April 07, 2014 @09:15PM (#7550842)

I believe Haskell could be up to the job, but I heard that there were some difficulties in guarding against timing attacks. However those could have just been noise. I know that a functional (I believe and haha) operating system was made in Haskell.

Aren't Operating Systems lower level than OpenSSL?

[ Parent | on HN ]

Re:The Heartbleed Bug by nknighthb on Monday April 07, 2014 @09:48PM (#7550955)

I look forward to reading the hilarious threads that will be spawned when you take to linux-kernel, freebsd-hackers, openbsd-misc, etc. and inform them they should be developing their kernels in Haskell.

Functional programming's unpopularity is not rooted in any real or imagined inability to write operating systems.

[ Parent | on HN ]

Re:The Heartbleed Bug by codygman on Monday April 07, 2014 @11:49PM (#7551332)

Well you also have to account for the fact that they've spent a lot of time working with their tools and are quite invested in them.

Perhaps they would balk at the idea of writing a kernel in Haskell, but it has been done before.

[ Parent | on HN ]

Re:The Heartbleed Bug by nandemo on Tuesday April 08, 2014 @05:49AM (#7552383)

If you mean Metasepi, it's still under development:

http://metasepi.org (mostly in Japanese) http://www.ipa.go.jp/files/000036232.pdf (Slides in English)

[ Parent | on HN ]

Re:The Heartbleed Bug by codygman on Tuesday April 08, 2014 @09:18AM (#7553159)

Thanks, I had forgotten about Metasepi!

[ Parent | on HN ]

Re:The Heartbleed Bug by mercurial on Tuesday April 08, 2014 @09:32AM (#7553249)

There is HalVM, but it's only for Xen.

[ Parent | on HN ]