| *** sambishop has joined #trustable | 09:08 | |
| *** tiagogomes has joined #trustable | 09:13 | |
| *** ctbruce has joined #trustable | 09: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 |
|---|---|---|
| persia | Sadly 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 IRC | 10:29 | |
| *** sambishop has joined #trustable | 10:58 | |
| *** sambishop has quit IRC | 11:30 | |
| *** sambishop has joined #trustable | 12:14 | |
| *** toscalix has joined #trustable | 14:22 | |
| *** AlisonChaiken has quit IRC | 15:43 | |
| *** AlisonChaiken has joined #trustable | 16:05 | |
| *** ctbruce has quit IRC | 17:12 | |
| *** tiagogomes has quit IRC | 17:58 | |
| *** toscalix has quit IRC | 18:05 | |
| *** AlisonChaiken has quit IRC | 23:34 | |
| *** AlisonChaiken has joined #trustable | 23:40 | |
Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!