-
Notifications
You must be signed in to change notification settings - Fork 41
Wednesday Meeting, 2026 03 11
Joseph Edwards edited this page Mar 11, 2026
·
1 revision
- Reinis Cirpons
- Joe Edwards
- Frankie Gillis
- Gabrielle Glass
- Josh James
- James Mitchell
- Rheya Monerasinghe
- Finn Smith
- Andrew Stroev
- Jake Swent
- Anuj Thakur
- Joe Ward
- Michael Young
| Participant | Activity |
|---|---|
| Reinis Cirpons | Reviewing a GAP PR and working on some Rocq formalisation |
| Joe Edwards | Fixing Semigroups memory leaks |
| Frankie Gillis | Addressing comments on IsCoraph pull request, then using the Cograph code to make things faster |
| Gabrielle Glass | Working on dissertation and talking to Michael |
| Josh James-Lee | Fixing the PR for comparisons of constants in libsemigroups, and doing more Julia bindings |
| James Mitchell | Talking to Finn, talking to Andrew, sending Joe some code, enabling AI reviews |
| Rheya Monerasinghe | Making a draft PR for Colour Refinement |
| Finn Smith | Fixing PRs |
| Andrew Stroev | Talking to James and figuring out what to do next |
| Jake Swent | Looking at the GAP/Semigroups segfault, and work on jll bindings |
| Anuj Thakur | Working on MapGraph stuff, and getting more familiar with GAP |
| Joe Ward | Finishing graph-inverse semigroups one-sided congruences proof |
| Michael Young | Talking to Gabby, having attended a meeting with the senate |
The meeting began at 14:00 and ended around 17:00. Some attendees joined virtually via Teams.