Dean 利迪恩 (⚛️,🐱) | sbpf/acc(@deanmlittle):great work from @shek_dev. honestly, most of the optimizations from falcon lend themselves to hawk really nicely as well. it's so insane to be able to have formal verification for all our new cryptography and iterate fearlessly while ai documents our improvements.

Dean 利迪恩 (⚛️,🐱) | sbpf/acc

@deanmlittle

curator @blueshift. quantum cat @jupiterexchange. language maxi. 🇦🇺🇭🇰🇮🇩🇯🇵🇹🇼🇹🇭🦀

Joined February 2019

1K Following 15.8K Followers

Dean 利迪恩 (⚛️,🐱) | sbpf/acc@deanmlittle

2026.05.18 02:36

great work from @shek_dev. honestly, most of the optimizations from falcon lend themselves to hawk really nicely as well. it's so insane to be able to have formal verification for all our new cryptography and iterate fearlessly while ai documents our improvements.