Show HN: Fuzz Forge, vulnerability discovery with AI and fuzzinggithub.com11 points·by unbalancedparen·10 เดือนที่ผ่านมา·1 comments
Interview about Austral, a systems programming language with linear typesblog.lambdaclass.com111 points·by unbalancedparen·3 ปีที่แล้ว·43 comments
unbalancedparen·4 ปีที่แล้ว·discuss>For one, the computational work for checking everyone's transactions on everyone's computer (i.e. blockchain) is consuming the computing power of the people interested.With ZKP there won't be a need to run every transaction on everyone's computer
unbalancedparen·4 ปีที่แล้ว·discussThat is the main purpose. But check SNARKs and STARKs, they have a great future outside of blockchain too.
With ZKP there won't be a need to run every transaction on everyone's computer