IRC channel logs
2019-08-20.log
back to list of logs
<rain1>it's funny to think you have proved a compiler correct, but by linking to somenthing (e.g. libc) you could break correctness <OriansJ>it is almost as if correctness beyound the trivial cases are insanely difficult to formally prove and modern libraries and compilers have alot of handy wavvy correctness involved...