IRC logs for #trustable for Wednesday, 2019-01-23

*** paulsherwood has joined #trustable06:57
*** toscalix has joined #trustable09:15
*** ikerperez has joined #trustable09:20
*** shaunmooney has joined #trustable09:43
adds68Boeing doing some interesting work with a new kernel and autonomous helicopters10:03
reiterativeadds68 Very interesting article!11:06
reiterativeI 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
reiterativeWhich echoes some of the safety conversations I've had with paulsherwood recently11:08
*** traveltissues has joined #trustable11:22
adds68reiterative, yea i found it quite interesting, especially the last bit yes, it's good to think they are at least being rational about security11:36
*** toscalix has quit IRC13:39
*** toscalix has joined #trustable14:20
*** toscalix has joined #trustable14:21
reiterativeI've pushed an update to the core concepts (, which I now feel is complete, although subsequent alignment of / with the existing documentation may be needed.14:23
reiterativeThis 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 #trustable15:11
*** sambishop has quit IRC17:05
*** toscalix has quit IRC17:37
*** traveltissues has quit IRC20:21

Generated by 2.15.3 by Marius Gedminas - find it at!