IRC channel logs
2022-06-30.log
back to list of logs
<zimoun>
hi!
<civodul>
o/
<zimoun>
civodul: thanks for
https://arxiv.org/pdf/2206.14606v1.pdf
Nice!
<civodul>
zimoun: thanks!