IRC channel logs

<oriansj>pder: yes that is entirely intensional; as it allows one to mix features not supported in the C language into M2-Planet.

<oriansj>the use of # as line comments to allow the same file to be valid C code, to allow development with modern compilers like GCC

<oriansj>such that only differences in functional behavior need to be adjusted

<oriansj>janneke: something needs to be done about guix pull; as it is doing a full bootstrap from MesCC when the bootstrap GCC compiler has already been built locally and multiple versions of GCC exist locally.

<oriansj>because honestly full bootstrap on guix pull is straight up insanity

<xentrac>gio: I didn't know about Metamath Zero but it is very relevant to my interests!

<gio>Yes, it's a very interesting thing. There is also some HN discussion here: https://news.ycombinator.com/item?id=21358674

<oriansj>gio: don't forget the important bit: https://github.com/digama0/mm0

<janneke>oriansj: i don't fully understand, maybe you can take this to #guix -- i'll be back in ~4h

<oriansj>ok

IRC channel logs

2019-10-26.log