IRC channel logs

2019-10-25.log

back to list of logs

***ng0_ is now known as ng0
<oriansj>janneke: and progress with mes-m2
<oriansj>well I managed to stop the segfaulting in mes-m2
<oriansj>however now it seems to not which to apply any primitives
<oriansj>I'll work on that tomorrow
***ng0_ is now known as ng0
***ng0_ is now known as ng0
<gio> https://arxiv.org/pdf/1910.10703.pdf?fname=cm&font=TypeI mentions bootstrappable.org. I don't remember if it was mentioned here already or not.
<oriansj>gio: no this is brand new to me
<pder>I noticed M2-Planet does not seem to support // style comments. Is that intentional?
<stikonas>pder: it also uses # as line comments