- 🔭 I’m currently working for Carallon
- embedded (freestanding) (C, C++)
- embedded (Linux) (Buildroot/Yocto)
- 🖮 Side projects
(Note I allow myself to flit between these as they are only hobby, so I make no promises about ever completing these projects)
- Simple RPC for microcontrollers https://github.com/KoviRobi/comms-ccf
- Simple file-system lite for embedded NOR flash microcontrollers using volatile/non-volatile locking https://github.com/KoviRobi/lockfs
- My write-up of what I learned in CS https://kovirobi.github.io/robs-cs/
- Coredump on the RP2040 without debugger https://github.com/KoviRobi/pico-bootrom-crashdump
- 3am idea of number base for imperial length units https://kovirobi.github.io/imperial_base/
- Mechanical keyboard
- Bootstrapping a language with maximal interaction/visibility -- this is an endless time sink, definitely not serious
- 💬 Ask me about mechanical keyboards, Discworld
- 🙋 Pronouns: any
- 📫 How to reach me: email? Leave an issue/PR here? I appreciate hearing about other people's interests even if I'm not very good at socials. I try to be helpful, like those who were helpful to me when I was learning :)
For a while I was supervising students at Cambridge (St Catharine's College), which I really enjoyed. I supervised
- Complexity Theory
- Computation Theory
- Semantics of Programming Languages
- Concepts of Programming Languages
- Foundations of Computer Science
- Object-Oriented Programming
- Prolog
I also wrote a register machine emulator and a interactive lambda-calculus interpreter you can click through step by step. The latter is also written in a literate style.