IRC channel logs

<eliwhitehouse_>Hi channel! I'm a PhD student at UIC who works on software verification, and I'm interesting in verification of bootstrapping compilers. I've been getting to know some of Jeremiah's work, and this was the only contact info that I saw. I don't know if anyone else here is interested in proof assistants; you don't need to be to talk to me! I just wanted to share my interests, and see if anyone else in this channel

<eliwhitehouse_>has thoughts or comments on how/whether to pursue such a project. Thanks for reading! Also, first time using IRC, so please forgive me if I do something noob-ish while trying to interact with you all.

<jleightcap>I usually just lurk here but my interests intersect both

<jleightcap>are you familiar with CakeML?

<jleightcap>a very interesting self-bootstrapping process

IRC channel logs

2025-04-22.log