My notes
I keep my notes here as a digital garden, meaning there will be very rough drafts and things unrelated to computer science or verification kept here.
Computer Science
- Can we (and should we) formally verify spinoza's ethics?
- Constructive logic
- Curry Howard correspondence
- Equivalence checking
- Exporting ocaml from imandra
- Marabou Imandra interfacing
- Markov process model
- Methodology
- Monte carlo process
- Neural network verification 5 levels of explanation
- Proof production for neural network verification
- Type theory with agda
- Useful imandra tips
Programming Notes
Random Musings
- Duelling banjos drama in the world of old time music
- Half marathon afterthoughts
- How to make a sunrise alarm with home assistant + and a smart light bulb (pt 1)
- How to make a sunrise alarm with home assistant + and a smart light bulb (pt. 2)
- How to make a sunrise alarm with home assistant + and a smart light bulb (pt. 3)
- Lairg to john'o'groats bike touring trip