Blog

Find our latest results and news here.

• Tactics with Types and Shapes Jun 29, 2026
  leantacticsidriscontainerpolynomial-functorrenaissance-philanthropy
• The Essence of Multi-Agent Interaction May 5, 2026
  idriscontainerpolynomial-functorcategory-theoryrenaissance-philanthropy
• Types and Neural Networks Apr 20, 2026
  machine-learningdeep-learningautomatic-differentiationrenaissance-philanthropy
• Q1 2026 report Apr 7, 2026
  meta
• Bootstrapping Data Structures From Fixpoints of Containers Mar 18, 2026
  containerpolynomial-functoridrisrenaissance-philanthropy
• Autodiff through function types: Categorical semantics the ultimate backpropagator Feb 20, 2026
  containercategory-theorymachine-learningpolynomial-functorrenaissance-philanthropy
• Generalised Tensors in Idris Jan 21, 2026
  containerpolynomial-functorcategory-theoryidrismachine-learningrenaissance-philanthropy
• Q4 2025 report Dec 8, 2025
  meta
• Categorical Pipelines Feb 24, 2025
  idrisARIA
• Compiler Engineering for Substructural Languages I: The Problem with Polymorphism Feb 24, 2025
  ARIA
• What Kind of Free Category is the Controllability Matrix? Feb 19, 2025
  category-theoryARIA
• Generalized Transformers from Applicative Functors Feb 11, 2025
• Programming Pipelines Using Dependent Types Jan 13, 2025
  idrisARIA
• Building a Neural Network from First Principles using Free Categories and Para(Optic) Apr 15, 2024
  machine-learningcategorical-cyberneticsARIA
• How to Stay Locally Safe in a Global World Jan 16, 2024
  category-theoryARIA