







2025-0915_OP-MiniWS-r4.pdf

The Interface of Kai Krause's Software @mprove
Matthias Mรผller-Prove, Innovative Benutzungsschnittstellen, 1998/99, University of Hamburg

https://z.ai/blog/glm-4.5

The HoTT Book
Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6โณ ร 9โณ size, hardโฆ

TTODLer-FM
You can find the list of accepted papers here: Accepted Papers. The workshop program is available here. The workshop will take place on July 18, 2025 in West Meeting Room 215-216 at the Vancouver Convention Center, Vancouver, Canada.
UMTC-Complex Analysis.pdf
An untitled post from Mar 2011
Posted on Thursday 17 Mar 2011. 1,130 words, 10 links. By Matt Webb.

Testing @chive.pub <> @semble.so integration ๐ฅ Interop is the future exhibit #23610 #ATScience
As promised, here's a takehome from my workshop with @tessa.germnetwork.com and @anna.germnetwork.com at @atmosphereconf.org
Dive into research resources
leaflet.pubNot sure how I missed this paper.ore relevant than ever now. aclanthology.org/2023.emnlp-main.797/
We are Who We Cite: Bridges of Influence Between Natural Language Processing and Other Academic Fields
aclanthology.orgContent shared during MIRA workshop (mira.science , June 7-11)

Quantifying causal emergence shows that macro can beat micro | PNAS
๐ MIRA Book Club (by Ronen Tamari) โ Semble
Researchfish | Illuminate your research impact | Elsevier

Technology is Society Made Durable

Bycelium

Content Authenticity Initiative
RRGI ยท Discourse Graph โ lens switch
Scan (@scanash.com)

GitHub Codespaces
Coding w/ AI - References & Resources (by Bee ๐) โ Semble

What is Malleable Software Now | Bryan Min (02-27-2026)

Apps and programming: two accidental tyrannies
Substrates 2025 - Proceedings
pure.au.dk
๐ฎ (@chrisshank.com)

UIST 2019 Visions - Michel Beaudouin-Lafon: A World Without Apps