rubynl

4 ms·

1. 1.▲
   by rubynl 11y ago

   Looks very interesting! I am very curious how a non-trivial program with proof looks :)
2. 2.▲
   by rubynl 12y ago

   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 original controller work together, etc!
3. 3.▲
   by rubynl 12y ago

   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 driver), the draft ends.