C3, but with a caveat: The negative externalities the row A highlights are real, and not to be dismissed. However, these are not a fundamental aspect of this technology, but at the moment a result of its lackluster deployment, lagging regulation, and practically absent consequences for unethical and exploitative practices. We can and should use this technology to empower, and humbly confront how it redefines human exceptionalism.

List of papers studying machine learning through the lens of category theory - bgavran/Category_Theory_Machine_Learning

State abstraction plays a key role in scaling reinforcement learning to complex but structured systems. In studying such systems, a wide range of behavioral structures have been studied in reinforceme...

I am firmly an A3, which is a difficult position to live with

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2 - bgavran/TensorType

Browse the publicly accessible channels in Category Theory without logging in.

Browse the publicly accessible channels in Category Theory without logging in.

New blog post: Sequents for sequence II: Balancing the strangeness budget Ending with a teaser reveal https://julesh.com/posts/2026-03-23-sequents-sequence-ii.html

Attached: 1 image New blog post! Autodiff through function types: Categorical semantics the ultimate backpropagator https://julesh.com/posts/2026-02-20-categorical-semantics-ultimate-backpropagator.html

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2 - bgavran/TensorType

Glaive has a new blog post aimed at curious engineers https://glaive-research.org/2026/01/21/Generalised-tensors.html

Glaive Research Report Q4 2025