Posted in 2025

30 May 2025 - Refine yourself a code for great good!

10 January 2025 - Relative information and the dual numbers

Posted in 2024

16 October 2024 - Singular learning, relative information and the dual numbers

01 October 2024 - Program Synthesis

24 September 2024 - Safety by shared synthesis

22 May 2024 - Formal AI-assisted code specification and synthesis: concrete steps towards safe sociotechnical systems

08 May 2024 - AI-assisted coding: correct by construction, not by generation

Posted in 2023

11 December 2023 - Online learning for spiking neural networks with relative information rate

25 October 2023 - Relative Information and the Dual Numbers

20 August 2023 - References on information cohomology

26 June 2023 - All you need is relative information

01 April 2023 - Relative information is motivic

Posted in 2022

28 May 2022 - Likelihood, greed and temperature in sequence learning

22 January 2022 - Parametric typeclasses aid generalization in program synthesis

22 January 2022 - Information topos theory - motivation

Posted in 2021

09 September 2021 - All you need is relative information

05 June 2021 - Spiking neural networks

01 June 2021 - Convergence of biased stochastic approximation

10 May 2021 - Path integrals and the Dyson formula

22 April 2021 - Proofs as programs - challenges and strategies for program synthesis

23 March 2021 - Biased stochastic approximation with mutable processes

22 March 2021 - Relative inference with mutable processes

21 March 2021 - Process learning with relative information

Posted in 2020

01 December 2020 - Biased stochastic approximation

23 October 2020 - Machine learning with relative information

14 October 2020 - Path integrals and continuous-time Markov chains

07 October 2020 - Motivic relative information

05 October 2020 - Zeta functions, Mellin transforms and the Gelfand-Leray form

18 September 2020 - Conditional relative information and its axiomatizations

08 September 2020 - Building foundations of information theory on relative information

28 August 2020 - Motivic information, path integrals and spiking networks

07 August 2020 - Processes and variety maximization

23 July 2020 - Adjunctions

26 May 2020 - Directed spaces and types

21 May 2020 - Logical frameworks

Posted in 2018

26 May 2018 - Machine reasoning and deep spiking networks

Posted in 2017

08 May 2017 - Artificial general intelligence for the internet of things

Posted in 2016

03 May 2016 - Exercise on sparse autoencoders

03 May 2016 - Exercise on deep neural networks

04 February 2016 - Hashing

Posted in 2014

13 August 2014 - Statistics and machine learning

02 August 2014 - Boltzmann machines and hierarchical models

Posted in 2012

13 July 2012 - Studying model asymptotics with singular learning theory