Viewing profile — rubynl
rubynl
HN member- Joined
- Mon, Sep 29, 2014, 4:24 PM UTC
- HN karma
- 1
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About rubynl
No profile information was provided.
Recent public activity
-
comment
Comment #10039754
Looks very interesting! I am very curious how a non-trivial program with proof looks :)
-
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…
-
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…