-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2020 06 10
reiniscirpons edited this page Mar 7, 2023
·
3 revisions
- Marina Anagnostopoulou-Merkouri
- Reinis Cirpons
- Tom Conti-Leslie
- Luke Elliott
- Samantha Harper
- Simon Jurina
- Olexandr Konovalov
- James Mitchell
- Chris Russell
- Maria Tsalakou
- Finn Smith
- Murray Whyte
| Participant | Activity |
|---|---|
| Marina Anagnostopoulou-Merkouri | Looking for task |
| Reinis Cirpons | Working on Radix sort tests and then with James |
| Tom Conti-Leslie | Working with Murray on equality in free bands - normalising strings? |
| Luke Elliott | Improve code coverage of relation parser |
| Peter Ingarfield | Examining paper for generalisation to partial transformations |
| Samantha Harper | Looking for task |
| Simon Jurina | Looking to improve programming skills - working on shell and git SW carpentry tutorials |
| James Mitchell | Looking at is_obviously_infinite, finish off Gilman graph |
| Chris Russell | Writing/Looking at database code |
| Finn Smith | Writing + reviewing any PRs that need it? |
| Maria Tsalakou | Doing more examples with change of reduction algorithm to patch proof |
| Murray Whyte | Working on |
The meeting began at about 14:05. We introduced ourselves, having welcomed several new people (in particular, Simon). We switched from using Jitsi Meet to Teams which seemed to improve audio and video quality. We were then joined by Olexandr, who discussed the potential for work in upcoming VIP. The meeting ended at about 6pm.