Live data from Hacker News

Viewing profile — rubynl

rubynl

HN member
Joined
Mon, Sep 29, 2014, 4:24 PM UTC
HN karma
1
Public activity
3 items

About rubynl

No profile information was provided.

Recent public activity

  1. comment
    Comment #10039754

    Looks very interesting! I am very curious how a non-trivial program with proof looks :)

  2. comment
    Comment #8567972

    I'm dying to see some more details! What model plane, how does your stabilization algorithm work, how is everything placed on/in the plane, how do the ARM microcontroller and the o…

  3. comment
    Comment #8383610

    Seems nice at first glance, but where the topics start to get a little less trivial (where, for example, the brokenthorn series on OSdev stop being relevant as well: the harddisk d…