We've been studying the cognitive science of *diagrams*, and have recently put out a new (very) lightweight programming language and tool for diagramming models in formal methods. Check it out here!
https://blog.brownplt.org/2025/06/09/copeanddrag.html
This https://arxiv.org/abs/2505.13453 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…
This https://arxiv.org/abs/2502.20799 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
This https://arxiv.org/abs/2409.17458 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
The Xbox Showcase is LIVE NOW, and they opened with (the comical) Outer Worlds 2!
▶️ [4K] Xbox Games Showcase 2025 | The Outer Worlds 2 Direct
https://youtube.com/live/_M3QwLBrg8g?si=ePJp1jD9cS2n7ulp
Heftige Druckwelle - Kamin explodiert: Ofenteile durchschlugen Fenster #News #Nachrichten
🛡️ DAY 1 at GÉANT #SecurityDays | “Trust is Everything”
An inspiring start in Prague with 150 participants! Alf Moens opened on the shifting #cybersecurity landscape shaped by #AI & geopolitics.…
This https://arxiv.org/abs/2504.20118 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…
This https://arxiv.org/abs/2403.07061 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…