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 377df6bb369972314bf13821fc959988415408e6..0653cc0e7c46ff08b4c2b7d374e58025bea70838 100644 (file)
--- a/meetings/sync_up/sync_up_2024-01-30.mdwn
+++ b/meetings/sync_up/sync_up_2024-01-30.mdwn
@@ -26,14 +26,25 @@ cesar suggest changing time (again)
 
 # Cesar
 
-# Dmitry
+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.
 
-# Sadoon
+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
+
 # Luke
 
 working on crternlogi etc as they are needed for maxloc.