Formal verification engineer by day. Hobbyist software tinkerer at night.
-
ARM
- United Kingdom
-
02:12
(UTC) - lewisr.dev
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv