Bruno Gavranović's blog posts

LLMs generate code as flat token sequences, then typecheck after the fact.

After four years in the making, I've finally defended, and published my PhD thesis.

In this short blog post I describe two different notions of a prism, describe their relationship, and outline reasons for why one gives us a cleaner operational interpretation than the other.

This is a short blog post accompanying the latest preprint of Mattia Villani and myself which you can now find [on the ArXiv](https://arxiv.org/abs/2212.00542).

I've been thinking about lenses and optics a lot lately.

There's an interesting way to think about lenses and prisms.

Meta learning is an exciting approach to machine learning.

I admire the elegance of your method of computation; it must be nice to ride through these fields upon the horse of true mathematics while the like of us have to make our way laboriously on foot.

Having posted our paper on Categorical Foundations of Gradient-Based Learning on arXiv, I decided to write a short update on the progress we made, and the staggering amount of potential I believe Category Theory has in the field of Deep Learning.

In this blog post I will talk about dinatural transformations, which is a concept found in category theory.