IRC channel logs

2026-04-04.log

back to list of logs

<ekaitz>avigatori: let me make sure
<ekaitz>we have two, one is written by hand and the other is the result of expanding it
<ekaitz>i don't know which one is which lol
<avigatori>It's impressive ... and scary!
<ekaitz>avigatori: the -pp one is the generated one
<ekaitz>the source for it is the non -pp one
<ekaitz>avigatori: bootstrapping is scary
<avigatori>yeah the whole circulartiy thing certainly makes my head spin
<kimothy>Hi! Anyone here with some experience using Artanis on Guile?
<rlb>Are all character NAMEs for #\NAME just ascii? (Double-checking some code I switched from all-latin-1 to all-ascii in the utf8 branch.)
<jcowan>Yes.
<rlb>OK, thanks.
<jcowan>Indeed, they are limited to upper case letters, digits, hyphen, and space.