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

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

In GPU programming, performance depends critically on how data is stored and accessed in memory. While the data we care about is typically multi-dimensional, the GPU’s memory is fundamentally one-d…

Framework for type-safe pure functional tensor processing, supporting non-cubical tensors - bgavran/TypeSafe_Tensors

The AI research community plays a vital role in shaping the scientific, engineering, and societal goals of AI research. In this position paper, we argue that focusing on the highly contested topic of ...

Accelerated machine learning with dependent types. Contribute to joelberkeley/spidr development by creating an account on GitHub.

The internal model principle, originally proposed in the theory of control of linear systems, nowadays represents a more general class of results in control theory and cybernetics. The central claim o...