Stream: Coq users

Topic: twitch


view this post on Zulip Quinn (Nov 04 2023 at 00:39):

Hey everyone, in what channel would people find notifications that my twitch is up non-invasive? I haven't streamed in years but I was working on a linear algebra library weekly for a few months during pandemic. I'm thinking about getting back into it to talk through acquiring a taste for the IEEE754 apis (like how flocq and vcfloat interact with different takes on real numbers)

view this post on Zulip Huỳnh Trần Khanh (Nov 04 2023 at 01:04):

#Miscellaneous

view this post on Zulip Notification Bot (Nov 04 2023 at 07:40):

This topic was moved to #Miscellaneous > twitch by Karl Palmskog.


Last updated: Jun 13 2024 at 19:02 UTC