[msp-interest] Fwd: Fwd: Talk

[Fredrik Nordvall Forsberg]

Dear all,

I have been asked to forward the below talk announcement by MSP alumnus 
Bruno. Personally I'm looking forward to it!

Best wishes,
Fred

---------- Forwarded message ---------
From: *Neil Ghani* <neil at kodamai.com>
Date: Wed, Nov 12, 2025 at 2:06 PM
Subject: Fwd: Talk
To: Riu Sakamoto <riu at kodamai.com>


Dear All

Kodamai is hosting the following talk this Friday 14 November at 4pm UK 
time in the general area of Category Theory and AI. If you are 
interested, please contact neil at kodamai.com for the online url

*Speaker: Bruno Gavranovic*

*TensorType: Implementing and extending Deep Learning with Types*

Category theory has seen a rise in applications in deep learning, 
bringing with it ideas and tools from functional programming and 
dependent type theory. However, implementing these ideas in practice 
faces significant friction because successful neural network frameworks 
only exist in dynamically typed languages such as Python. Attempts to 
implement these ideas in statically-typed languages have struggled with 
expressiveness and ergonomics, typically only replicating what exists 
without imagining what can be.

In this talk, I will introduce TensorType, a tensor processing framework 
implemented in Idris 2 aiming to demonstrate that ergonomics and rigor 
need not be at odds. TensorType provides tensor operations checked at 
compile-time while enabling fundamentally new capabilities: tensors that 
branch and recurse instead of being confined to rectangular shapes. I 
will walk through the design choices behind TensorType, showcase how 
containers power its core abstractions, and explore strange new worlds 
it enables.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20251112/5d3f6bff/attachment.html