Tuesday 30th January 17:00 UTC
- Previous notes: sync up 2024-01-23
- Next day's notes: ?sync up 2024-01-31
- Next week's notes: sync up 2024-02-06
Main Agenda
- reminder of only 4 weeks until march 1st deadline for completion of cavatools and cryptoprimitives.
Meeting notes:
- Outstanding Cavatools tasks:
- Outstanding Cryptorouter tasks:
cesar suggest changing time (again)
Cesar
presentation in markdown, use dia for diagrams, pandoc converts. jacob did something similar. question, should i commit autogenerated, ans no. jacob has a makefile. "add a resource" to pretalx, then it can be downloaded from fosdem live site.
https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/
Jacob
mentioned fosdem talk.
Luke asked about getting Rita on Libera IRC via Matrix, I mentioned that Libera's Matrix bridge is no more and that everyone using Matrix is using it via the Matrix Bridged version of #libre-soc on OFTC.
Rita (Aarhuis)
listening! 
todo, write to mailing list asking how to join IRC,
for coordinating on FOSDEM meetups
joined IRC
Luke
working on crternlogi etc as they are needed for maxloc. bug #1034 bug #676
Tobias
completing slides for his FOSDEM talk