

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
Anduril is scary. They seem able to harness the most elegant technologies that idiot government redneck contractors tended to avoid in years past. I’ve seen them in Haskell and Nix forums offering jobs to morally bankrupt autists FAR too often. Fuck you, Anduril.
Or they like to hang the carrot that they will “someday” go open source.
Arctic is good and getting better. But dude is too ashamed of his code to allow our help.
Is he going to do this Brett Favre thing where he pretends to retire every year and there’s this whole media circus following him around obsessing over it?
Just go out without a peep, dude. It’s classier…but then again Quentin isn’t really known for class though he’s certainly capable of recognizing it from others.
What a stupid article.
Hot take: Might be wise to adopt the security by obscurity model and go with an OS that is hardened (ideally, a formally verified microkernel like sel4) or runs in a custom VM/container with almost zero attack surface area.