1 # Tuesday 30th January 17:00 UTC
3 * Previous notes: [[meetings/sync_up/sync_up_2024-01-23]]
4 * Next day's notes: [[meetings/sync_up/sync_up_2024-01-31]]
5 * Next week's notes: [[meetings/sync_up/sync_up_2024-02-06]]
9 * reminder of **only 4 weeks** until march 1st deadline
10 for completion of cavatools and cryptoprimitives.
14 * Outstanding Cavatools tasks:
15 - [bug #980](https://bugs.libre-soc.org/show_bug.cgi?id=980)
16 * Outstanding Cryptorouter tasks:
17 - Poly1305, [bug #1157](https://bugs.libre-soc.org/show_bug.cgi?id=1157)
18 [bug #1158](https://bugs.libre-soc.org/show_bug.cgi?id=1158),
19 [bug #1159](https://bugs.libre-soc.org/show_bug.cgi?id=1159)
21 [bug #1151](https://bugs.libre-soc.org/show_bug.cgi?id=1151),
22 [bug #1166](https://bugs.libre-soc.org/show_bug.cgi?id=1166),
23 [bug #1167](https://bugs.libre-soc.org/show_bug.cgi?id=1167)
25 cesar suggest changing time (again)
29 presentation in markdown, use dia for diagrams, pandoc converts.
30 jacob did something similar.
31 question, should i commit autogenerated, ans no. jacob has a makefile.
32 "add a resource" to pretalx, then it can be downloaded from fosdem
35 https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/
47 working on crternlogi etc as they are needed for maxloc.
48 [bug #1034](https://bugs.libre-soc.org/show_bug.cgi?id=1034)
49 [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
53 completing slides for his FOSDEM talk
56 [[!tag meeting_sync_up]]