Linked by David Adams on Thu 15th Oct 2009 18:00 UTC
Original OSNews Interviews In the past, OSNews' interview volume was quite a bit higher than it has been lately. I had the pleasure of having lunch with Eugenia and her husband last week, and she mentioned that we haven't done as many interviews, and that in the past they were always very popular. So I decided that I'm going to make it a personal priority to publish more interviews. I'd like to crowdsource the idea, and ask the OSNews community who they'd like to see us interview. Please let us know in the comments of this story who you'd like us to talk to, and what specific questions you'd like us to ask. Shoot for the moon. It's not as hard to get an email-based interview as you might think. Obviously OS-world luminaries will always be a priority, but feel free to recommend people from the larger tech community, or even geek-oriented popular culture.
E-mail Print r 5   · Read More · 88 Comment(s)
Thread beginning with comment 389407
To read all comments associated with this story, please click here.
Proven kernel
by samad on Thu 15th Oct 2009 19:29 UTC
Member since:

Maybe an interview with the group that wrote a kernel that was mathematically proven to work would be interesting on several levels: engineering dealing with the knitty-gritty details of reality, and the mathematics that operates in the clouds. This project is deeply rooted in the direct interaction between these two fields. The mathematics area is not dealth with much in operating systems, since they are so close to the hardware. This project is unique in that it is so heavily grounded in Platonic mathematics. Unfortunately their website doesn't provide much information, nor did articles about their work. Here are some questions I think would be interesting:

- What motived them to write a mathematically proven kernel?

- How do they address issues with drivers, which are most often the source of crashes, not the kernel itself?

- The project aimed to reach a Platonic mathematical ideal in code, but what sort of engineering challenges did they face?

- Why did they choose Haskell and not some other functional programming language?

- How did they convert Haskell to C?

- What does the group think about the situation of operating systems today?

- Do they think their approach will have an impact on computer science? Why?

- How do they feel about their project being open source?

Reply Score: 3

RE: Proven kernel
by reflect on Thu 15th Oct 2009 19:49 in reply to "Proven kernel"
reflect Member since:

.. you left out the project name, and the url ?

Reply Parent Score: 1

RE[2]: Proven kernel
by samad on Fri 16th Oct 2009 13:02 in reply to "RE: Proven kernel"
samad Member since: