meetings/sync_up/sync_up_2024-01-30.mdwn

   1 # Tuesday 30th January 17:00 UTC
   2
   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]]
   6
   7 # Main Agenda
   8
   9 * reminder of **only 4 weeks** until march 1st deadline
  10   for completion of cavatools and cryptoprimitives.
  11
  12 Meeting notes:
  13
  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)
  20   - Ed25519,
  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)
  24
  25 cesar suggest changing time (again)
  26
  27 # Cesar
  28
  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
  33 live site.
  34
  35 https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/
  36
  37 # Jacob
  38
  39 mentioned [fosdem talk](https://git.libre-soc.org/?p=libreriscv.git;a=tree;f=conferences/fosdem2024/fosdem2024_bigint;hb=0cdc9a4724aff056d941297aacb9a5332d3bc320).
  40
  41 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).
  42
  43 # Rita (Aarhuis)
  44
  45 listening! :)
  46
  47 ~~todo, write to mailing list asking how to join IRC,
  48 for coordinating on FOSDEM meetups~~
  49
  50 joined IRC
  51
  52 # Luke
  53
  54 working on crternlogi etc as they are needed for maxloc.
  55   [bug #1034](https://bugs.libre-soc.org/show_bug.cgi?id=1034)
  56   [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
  57
  58 # Tobias
  59
  60 completing slides for his FOSDEM talk
  61
  62 [[!tag meeting2024]]
  63 [[!tag meeting_sync_up]]
  64