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
<xentrac>yup
<rain1>night
<xentrac>night!
<rain1>morning
<xentrac>yo
<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...