Jason Gross (Feb 15 2022 at 15:08): Jason Gross (Feb 15 2022 at 15:08):@Théo Zimmermann Want to hack on coqbot / the bug minimizer at some point during the hackathon?
Théo Zimmermann (Feb 15 2022 at 15:09):Hey! I won't have lots of time, but if people are interested, I could allocate some to this.
Emilio Jesús Gallego Arias (Feb 15 2022 at 15:22):@Jason Gross I'd love at least to discuss some of the ideas I've been thinking about
Jason Gross (Feb 15 2022 at 15:24):@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)
Emilio Jesús Gallego Arias (Feb 15 2022 at 15:30):@Jason Gross I have to tweak my upcoming talk
Emilio Jesús Gallego Arias (Feb 15 2022 at 15:30):after it I'm fine, if not tomorrow / Thu is fine too
Last updated: Oct 08 2024 at 14:01 UTC