Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
Name | Threads | Comments | Posts | Subscriptions |
---|---|---|---|---|
redneckengineering@infosec.pub | 2 | 0 | 0 | |
hailcorporate@infosec.pub | 6 | 12 | 0 |