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. syscall abuser @zeusnetworkhq. quantum cat @jupiterexchange. language maxi. 🇦🇺🇭🇰🇮🇩🇯🇵🇹🇼🇹🇭🦀

加入 February 2019

993 正在關注 15.7K 粉絲

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.