IRC logs for #trustable for Monday, 2017-02-06

*** sambishop has joined #trustable09:08
*** tiagogomes has joined #trustable09:13
*** ctbruce has joined #trustable09:36
paulsherwood"" there is a... reality gap between the formal verification people, who tend to be hard-core mathematicians, and the grimy, bitter husks of human beings (such as you and me) that do automotive software. "09:48
persiaSadly true.  The former say things like "Side-effects are not supported in these languages for reasons of logical consistency. Though some previous work, including our own, suggests how to lift this constraint, the proof obligations from these approaches make programming very hard.", which is not usually conducive to solving real-world problems.09:59
*** sambishop has quit IRC10:29
*** sambishop has joined #trustable10:58
*** sambishop has quit IRC11:30
*** sambishop has joined #trustable12:14
*** toscalix has joined #trustable14:22
*** AlisonChaiken has quit IRC15:43
*** AlisonChaiken has joined #trustable16:05
*** ctbruce has quit IRC17:12
*** tiagogomes has quit IRC17:58
*** toscalix has quit IRC18:05
*** AlisonChaiken has quit IRC23:34
*** AlisonChaiken has joined #trustable23:40

Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!