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…

Contribute to bardia01/Direction-Preserving-Number-Representations development by creating an account on GitHub.

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...

Efficient neural networks (NNs) leveraging lookup tables (LUTs) have demonstrated significant potential for emerging AI applications, particularly when deployed on field-programmable gate arrays (FPGA...

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…