See the other post:
As many of you know, I’ve had a deep and abiding interest in dependently-typed programming, formal verification, compile-time metaprogramming, and programmer tooling. A rare opportunity came by to work on all of these at once, and I will be returning to a full-time developer role at the beginning of October.