Check out Bβs work here: without-why.ghost.io
02.04.2025 20:34 β π 1 π 0 π¬ 0 π 0@toposinstitute.bsky.social
US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all. https://topos.institute
Check out Bβs work here: without-why.ghost.io
02.04.2025 20:34 β π 1 π 0 π¬ 0 π 0Watch the talk: www.youtube.com/live/9iO0nEV...
02.04.2025 20:34 β π 1 π 0 π¬ 1 π 0Weβre excited to welcome B. Scot Rousse, a philosopher of technology, to Topos! Drawing on Heidegger and Merleau-Ponty, heβll be joining our work on collective sense-making and AI. He also recently spoke at our colloquium on Language, Technology, and Care.
02.04.2025 20:34 β π 5 π 1 π¬ 1 π 0Check out our latest blog post by Hamidah Oderinwale, diving into the future of library reform! She tackles key issues like version control, preserving procedural knowledge, and ensuring reproducibility in research. How can we rethink documenting discovery?
01.03.2025 09:36 β π 7 π 1 π¬ 1 π 0Check out the interview here: buff.ly/3QEHg9a and learn more about our work on our site: buff.ly/3Vt8dPG
28.02.2025 23:09 β π 2 π 0 π¬ 0 π 0We're building CatColabβsoftware for collaborative formal modelingβleveraging Double Categorical Systems Theory (DCST) to co-design explainable, auditable AI systems.
28.02.2025 23:09 β π 3 π 0 π¬ 1 π 0Thank you to Eric Gilliam for profiling Topos in FreakTakes! Brendan discusses our mission of collective modelling, highlights projects like CatColab and safeguarded AI research with ARIA, and announces an exciting operations role at our Oxford office.
28.02.2025 23:09 β π 7 π 2 π¬ 1 π 0Learn more and try it out here! https://buff.ly/41flfUB
25.02.2025 09:36 β π 2 π 0 π¬ 0 π 0π Announcing CatColab 0.2: Wren!
CatColab is a structured model editor for visualizing complex systems with domain-specific logics.
Since October, we've implemented:
- Users & permissions
- Enhanced docs
- New theories (e.g. Discrete exterior calculus)
- and more!
Every Thursday, we organize virtual colloquiums where we invite speakers to share their work. Yesterday, we hosted Andrew Dudzik, a research scientist @GoogleDeepMind, who discussed his research on Tensor Species, a category theory-based approach to designing neural networks.
22.02.2025 09:36 β π 7 π 0 π¬ 0 π 1Learn more and try it out here! https://buff.ly/41flfUB
06.02.2025 21:50 β π 0 π 0 π¬ 0 π 0π Announcing CatColab 0.2: Wren!
CatColab is a structured model editor for visualizing complex systems with domain-specific logics.
Since October, we've implemented:
- Users & permissions
- Enhanced docs
- New theories (e.g. Discrete exterior calculus, causal loop diagrams)
- and more!
If you're looking for a weekend read. Our 2024 Summer RA, C.B. AberlΓ©, has a post on the Topos site on polynomial universes and natural models.
24.01.2025 03:11 β π 2 π 0 π¬ 0 π 0We have finally combined our two websites into a single website: everything is now at topos.institute , but every link to a page on topos.site should now automatically 301 redirect to the corresponding page on topos.institute. Let us know if you have any problems!
09.12.2024 15:16 β π 12 π 2 π¬ 0 π 0