kovirobi / connectal Goto Github PK

• 🔭 I’m currently working for Carallon
  • embedded (C, C++)
  • embedded Linux (Buildroot/Yocto)
• 🌱 I’m currently learning Bluespec SystemVerilog (BSV)
• 🖮 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)

  • Coredump on the RP2040 without debugger https://github.com/KoviRobi/pico-bootrom-crashdump
  • Mechanical keyboard
  • Tiny tapeout and BSV
  • 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?

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.