Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: Best way to learn modern C++?. Parent comment
For instanced I used it here to write Ada programs for the C API of the Pebble smartwatch: https://blog.adacore.com/make-with-ada-formal-proof-on-my-wr...
There are no comments on this comment yet.
For instanced I used it here to write Ada programs for the C API of the Pebble smartwatch: https://blog.adacore.com/make-with-ada-formal-proof-on-my-wr...