| *** paulsherwood has joined #trustable | 06:57 | |
| *** toscalix has joined #trustable | 09:15 | |
| *** ikerperez has joined #trustable | 09:20 | |
| *** shaunmooney has joined #trustable | 09:43 | |
| adds68 | https://cacm.acm.org/magazines/2018/10/231372-formally-verified-software-in-the-real-world/fulltext | 10:02 |
|---|---|---|
| adds68 | Boeing doing some interesting work with a new kernel and autonomous helicopters | 10:03 |
| reiterative | adds68 Very interesting article! | 11:06 |
| reiterative | I was most interested by the claim that this "demonstrated that significant improvement is feasible by applying formal techniques strategically to the most critical parts of the overall system" | 11:06 |
| reiterative | Which echoes some of the safety conversations I've had with paulsherwood recently | 11:08 |
| *** traveltissues has joined #trustable | 11:22 | |
| adds68 | reiterative, yea i found it quite interesting, especially the last bit yes, it's good to think they are at least being rational about security | 11:36 |
| *** toscalix has quit IRC | 13:39 | |
| *** toscalix has joined #trustable | 14:20 | |
| *** toscalix has joined #trustable | 14:21 | |
| reiterative | I've pushed an update to the core concepts (https://gitlab.com/trustable/documents/merge_requests/51), which I now feel is complete, although subsequent alignment of / with the existing documentation may be needed. | 14:23 |
| reiterative | This also includes a proposed set of minimal evidence (required to assess whether the defined policies have been applied) that persia and I came up with yesterday. Feedback on this would be appreciated! | 14:24 |
| *** sambishop has joined #trustable | 15:11 | |
| *** sambishop has quit IRC | 17:05 | |
| *** toscalix has quit IRC | 17:37 | |
| *** traveltissues has quit IRC | 20:21 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!