# Tuesday 30th January 17:00 UTC

* Previous notes: [[meetings/sync_up/sync_up_2024-01-23]]
* Next day's notes: [[meetings/sync_up/sync_up_2024-01-31]]
* Next week's notes: [[meetings/sync_up/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:
  - [bug #980](https://bugs.libre-soc.org/show_bug.cgi?id=980)
* Outstanding Cryptorouter tasks:
  - Poly1305, [bug #1157](https://bugs.libre-soc.org/show_bug.cgi?id=1157)
  [bug #1158](https://bugs.libre-soc.org/show_bug.cgi?id=1158),
  [bug #1159](https://bugs.libre-soc.org/show_bug.cgi?id=1159)
  - Ed25519,
  [bug #1151](https://bugs.libre-soc.org/show_bug.cgi?id=1151),
  [bug #1166](https://bugs.libre-soc.org/show_bug.cgi?id=1166),
  [bug #1167](https://bugs.libre-soc.org/show_bug.cgi?id=1167)

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](https://git.libre-soc.org/?p=libreriscv.git;a=tree;f=conferences/fosdem2024/fosdem2024_bigint;hb=0cdc9a4724aff056d941297aacb9a5332d3bc320).

Luke asked about getting Rita on Libera IRC via Matrix, I mentioned that [Libera's Matrix bridge is no more](https://libera.chat/guides/matrix) and that everyone using Matrix is using it via the [Matrix Bridged version of #libre-soc on OFTC](https://matrix.to/#/#_oftc_#libre-soc:matrix.org).

# 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](https://bugs.libre-soc.org/show_bug.cgi?id=1034)
  [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)

# Tobias

completing slides for his FOSDEM talk

[[!tag meeting2024]]
[[!tag meeting_sync_up]]