@Théo Zimmermann Want to hack on coqbot / the bug minimizer at some point during the hackathon?
Hey! I won't have lots of time, but if people are interested, I could allocate some to this.
@Jason Gross I'd love at least to discuss some of the ideas I've been thinking about
@Emilio Jesús Gallego Arias I'm happy to do that. Should we do so in a breakout room now, or schedule a session? (I'm generally available starting ~6:30am PST / 15:30 CET each day)
@Jason Gross I have to tweak my upcoming talk
after it I'm fine, if not tomorrow / Thu is fine too
Last updated: Jan 29 2023 at 15:02 UTC