@danabra.mov on Bluesky
wrote a bit about how proof engineering feels different from software engineering to me https://news.ycombinator.com/item?id=45275058#45317675 i am definitely still in my honeymoon period but i found it helpful to write down| Bluesky Social
