Discussion and feedback on CEPS #56 Visual debugging in secondary files - Jim
Advertisement for memprof-limits (reliable "fuel" and RAM usage limits); how to get started with its integration in Coq? Also, free discussion around asynchronous exceptions and all that if you want (postponed from the previous week) - gadmm
Automatic failed CI tests minimization with coqbot + Jason's bug minimizer (Théo & Jason)