Amateur mathematician. I enjoy researching different fields from applied maths to number theory. I like building RaspberryPi projects. Quant developer by day.
- London
- in/bsdz
- @[email protected]
- @bsdzuk
Highlights
- Pro
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Mark Everitt
markjeveritt
Quantum Systems Engineering | Quantum Systems Modelling | Novel Technology Transfer | Physics Curriculum Development | Educational Innovation
Consultant Loughborough, UK
Kannan
kannansingaravelu
Building with AI. Learning like it’s a life mod. Debugs life in Python and operates on tab overload. A programmer in denial, running on coffee and curiosity.
Mumbai
Peter Norvig
norvig
Author, Programmer, Teacher, Research Director at Google
Google Palo Alto, CA, USA