Miscellaneous classical and other mathematical results, formalised in Lean 4 on top of Mathlib - geoconuk/lean-misc-math

Miscellaneous classical and other mathematical results, formalised in Lean 4 on top of Mathlib - geoconuk/lean-misc-math

Sarah O’Connor’s We Are Not Machines: The Fight for the Future of Work accompanied me on my summer holiday, but it has continued to unsettle how I think about work. It is an engaging, accessible bo…

This is the third post in a sequence relating to the geometry of block number formats as angle preservers. In my previous post, I argued that block number formats remain direction preservers even w…

In a couple of recent posts [1,2], I have been trying to reason through the geometric properties of block number formats. The basic idea is that when a group of numbers shares a scale factor, the s…

Written evidence submission publications for The use of Artificial Intelligence and EdTech in Education.

Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...

YouTube video by The Royal Institute of Philosophy

In my previous post, I argued that block number formats can be understood geometrically as direction preservers. That argument relied on an idealization: once a block direction had been chosen, its…

I’ve recently returned from the SIAM PP 2026 conference and as always, conferences help provide time for research reflection. One thing I’ve been reflecting on during my journey back is…

MPs will examine the role of artificial intelligence (AI) and EdTech in education, in a new inquiry launched today.