Zulip Chat Archive

Stream: general

Topic: yay

Scott Morrison (Mar 07 2018 at 05:15):

I feel like having to pick a topic makes me less likely to post random garbage. Is this a good thing? Or should we have a 'party' thread? :-)

Anyway, Leo just fixed two of my issues within 24 hours (turned out they were just one issue, but hey).

Mario Carneiro (Mar 07 2018 at 06:15):

I think "ASSERTION VIOLATION" is one of the things that turns his head

Scott Morrison (Mar 07 2018 at 06:34):

I'm on 6 assertion violation issues. Gotta catch 'em all.

Scott Morrison (Mar 07 2018 at 06:37):

Oooh, and 5 more segfaults. :-)

Andrew Ashworth (Mar 07 2018 at 07:16):

that's a pretty good track record. I wonder if it's worth setting up fuzz testing for Lean

Last updated: Dec 20 2023 at 11:08 UTC