#Introduction
I’m a #father, a #filmmaker, dabbler in #engineering of many types.
Technologically, my interests lie in the bleeding edge of possibility wherever I see it.
#nixos #nixflakes #foss
#haskell #GHC #dependentlytyped #dependenttypes #functionalprogramming
#plutus #cardano #smartcontracts #formalmethods #formalverification
#idris #swift #arduino #riscv #Rust
#decentralization #parallelization #biomimicry #buddhism #leftist
#cinelighting #cinematography
#anarchosyndicalism #science

#Introduction
I’m a #father, a #filmmaker, dabbler in #engineering of many types.
Technologically, my interests lie in the bleeding edge of possibility wherever I see it.
#nixos #nixflakes #foss
#haskell #GHC #dependentlytyped #dependenttypes #functionalprogramming
#plutus #cardano #smartcontracts #formalmethods #formalverification
#idris #swift #arduino #riscv #Rust
#decentralization #parallelization #biomimicry #buddhism #leftist
#cinelighting #cinematography
#anarchosyndicalism #science