-
Notifications
You must be signed in to change notification settings - Fork 38
Wednesday Meeting, 2026 01 14
Joseph Edwards edited this page Jan 20, 2026
·
1 revision
- Reinis Cirpons
- Joe Edwards
- James Mitchell
- Joey Ruiz
- Jake Swent
- Michael Young
- Wilf Wilson
| Participant | Activity |
|---|---|
| Reinis Cirpons | Talking to James, and doing some formalisation stuff. |
| Joe Edwards | Reviewing PRs and talking to James about KnuthBendix |
| James Mitchell | Attending Alan Hood's celebration, and talking to others |
| Joey Ruiz | Getting a dev version of the semigroups package |
| Jake Swent | Talking to James about Julia and the upcoming semester |
| Michael Young | Finding something to do, then leaving at three |
The meeting began at 13:45 and ended rather abruptly around 14:30 due to a fire in the New Technology Centre. Some attendees joined virtually via Teams.
This very short meeting was the first of 2026, and hopefully the only one to be ended by a fire.