-
Notifications
You must be signed in to change notification settings - Fork 41
Wednesday Meeting, 2026 04 22
Joseph Edwards edited this page Apr 23, 2026
·
1 revision
- Reinis Cirpons
- Joe Edwards
- Frankie Gillis
- Josh James-Lee
- James Mitchell
- Rheya Monerasinghe
- Joey Ruiz
- Finn Smith
- Andromeda Stroev
- Jake Swent
- Anuj Thakur
- Joe Ward
- Claire Young
- Isla Young
- Michael Young
| Participant | Activity |
|---|---|
| Reinis Cirpons | Making an architecture change for a formalisation relating to the undecidability of the word problem in groups |
| Joe Edwards | Helping Joey, and picking some issues to slay |
| Frankie Gillis | Working on DigraphsUpToIsomorphism
|
| Josh James-Lee | Reviewing PR for new presentation implementation, and maybe starting something new |
| James Mitchell | Talking about VIP things, reviewing PRs, talking to Jake and Andromeda |
| Rheya Monerasinghe | Working on presentation |
| Joey Ruiz | Fixing Semigroups installation |
| Finn Smith | Came by briefly to say hello |
| Andromeda Stroev | Making a PR for IsBetweenCoverAndLattice
|
| Jake Swent | Talking through Julia stuff |
| Anuj Thakur | Finishing PR, and pulling things together |
| Joe Ward | Finalising notes for graph inverse semigroups presentation |
| Claire Young | Introducing the other attendees to baby Isla |
| Isla Young | Being adorable |
| Michael Young | Reviewing PRs and talking to people, and maybe increasing some digraphs code coverage |
The meeting began at 14:00, where the participants were very happy to be briefly joined Claire and Isla Young. The meeting and ended around 17:00. Some attendees joined virtually via Teams.