sync_up_2024-01-30: fill in my section

[libreriscv.git] / meetings / sync_up / sync_up_2024-01-30.mdwn

diff --git a/meetings/sync_up/sync_up_2024-01-30.mdwn b/meetings/sync_up/sync_up_2024-01-30.mdwn
index 763bcf96473bd0384ac7d836933696aa75dd315c..0653cc0e7c46ff08b4c2b7d374e58025bea70838 100644 (file)
--- a/meetings/sync_up/sync_up_2024-01-30.mdwn
+++ b/meetings/sync_up/sync_up_2024-01-30.mdwn
@@ -34,14 +34,17 @@ live site.
 
 https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/
 
-# Dmitry
+# Jacob
 
-# Sadoon
+mentioned [fosdem talk](https://git.libre-soc.org/?p=libreriscv.git;a=tree;f=conferences/fosdem2024/fosdem2024_bigint;hb=0cdc9a4724aff056d941297aacb9a5332d3bc320).
 
-# Jacob
+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
+
 # Luke
 
 working on crternlogi etc as they are needed for maxloc.