3 ms·
The title of the article is awful, the article is about porting Tetris to a Pebble smartwatch, the fact the code is formally proven isn't important.
by ZenoArrow 11y ago
The title of the article is awful, the article is about porting Tetris to a Pebble smartwatch, the fact the code is formally proven isn't important.
- junke 11y agoOn the contrary, the article is all about promoting formal methods and in particular Adacore's tools. I agree that including Tetris in the title (like the previous article did) could attract more people.
- ZenoArrow 11y agoIf that was the intention, a better title would be 'Running formally-verified code on the Pebble smartwatch'.
- dang 11y agoWe've put that info in the title. If someone suggests a better title we can change it again. (Submitted title was "Formal proof on a Pebble smartwatch in Ada".)
- ZenoArrow 11y agoThank you dang.