BmoreDaniel

5 ms·

1. 1.▲
   How to do induction on the real numbers(ucsd-pl.github.io)

   1 points by BmoreDaniel 11y ago|0 comments
2. 2.▲
   by BmoreDaniel 11y ago

   Education of beginner pilots is definitely important, but I think the author makes a mistake in dismissing the potential of new safety software (e.g. prevent drones from flying in dangerous places), especially if it is formally verified (e.
3. 3.▲
   by BmoreDaniel 11y ago

   I work on the VeriDrone project. We did not receive any funding from the HACMS project, but we have begun working with some folks from the SMACCMPilot project ( http://smaccmpilot.org/index.html ) that was funded by HACMS. We
4. 4.▲
   VeriDrone project: building quadcopters people can bet their lives on [video](ucsd-pl.github.io)

   21 points by BmoreDaniel 11y ago|4 comments
5. 5.▲
   by BmoreDaniel 12y ago

   The most important skill for a programmer is to learn to think before you code: http://www.wired.com/2013/01/code-bugs-programming-why-we-ne... .
6. 6.▲
   by BmoreDaniel 12y ago

   Formal verification can prove the absence of bugs.
7. 7.▲
   by BmoreDaniel 12y ago

   The fact that specification and documentation are abandoned is pretty sad. Software should be adequately specified and specs should be kept up to date with code. Code is not a spec.
8. 8.▲
   by BmoreDaniel 12y ago

   1) The code that users write in Reflex is the code that actually runs. This means that any guarantee about a Reflex program is a guarantee about the real life implementation of that program. 2) Reflex does not use testing to verify a user&#