The Bear Leftist · @harryprayiv
12 followers · 23 posts · Server mstdn.social#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
#Science #anarchosyndicalism #cinematography #cinelighting #leftist #buddhism #biomimicry #parallelization #decentralization #Rust #riscv #Arduino #swift #idris #formalverification #formalmethods #smartcontracts #cardano #Plutus #functionalprogramming #dependenttypes #dependentlytyped #ghc #haskell #FOSS #nixflakes #nixos #engineering #filmmaker #father #Introduction