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. 🇦🇺🇭🇰🇮🇩🇯🇵🇹🇼🇹🇭🦀

가입 February 2019

1K 팔로잉 중 15.8K 팬

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.