I'm a software engineer at Anduril Industries. Previously, I was a Haskell consultant at @Well-Typed LLP.