News for hackers. Stuff that matters.

badcryptobitch

Re:Introduction to Formal Verification with Lean Part 1 on Wednesday July 22, 2026 @10:24PM (#49016065)
I've fixed the scroll hijacking. Again, thank you for the feedback
Re:Introduction to Formal Verification with Lean Part 1 on Wednesday July 22, 2026 @10:24PM (#49016058)
I've fixed it. Again, thank you for the feedback
Re:Introduction to Formal Verification with Lean Part 1 on Wednesday July 22, 2026 @05:42PM (#49013858)
I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback
There is no business that's only going to take up 3-4 hours per day of your time without having spent 3-5+ years building it out. Bootstrapped businesses are hard and a lot of work.
Re:I Built a Private Genomics Study with Stoffel MPC on Wednesday July 22, 2026 @12:53PM (#49009771)
Founder of stoffelmpc.com here.

Thank you vishakh82 for sharing.

It's great seeing folks apply PETs to key problems, no matter how theoretical they might seem now as evidenced by the comments. PoCs like this are steps in the right direction to make such work and ideas practical.

If any of you are looking to try out Stoffel, you can check out our docs at docs.stoffelmpc.com or go to our github repo: https://github.com/Stoffel-Labs/stoffel

Re:Introduction to Formal Verification with Lean Part 1 on Wednesday July 22, 2026 @12:24PM (#49009302)
Yeah, his post resulted in a rise in everyone and their mother becoming formal verification "experts" now. But I think he's right. We no longer have good excuses for not trying to secure code with FV in this brave new world of agentic coding
Re:Introduction to Formal Verification with Lean Part 1 on Wednesday July 22, 2026 @12:23PM (#49009278)
I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback
My worse fear has materialized. This is why I've never used an external Obsidian plugin and only my own plugins. It was only a matter of time before some malicious code ended up in one.
Re:Introduction to Beaver Triples on Saturday May 09, 2026 @09:55PM (#48080244)
Can you clarify what you mean? The example is to show concretely the computation. It works as long as you have the basic setup for shamir secret sharing (and other linear secret sharing schemes actually but I didn't go into that in the article)
Re:Introduction to Beaver Triples on Saturday May 09, 2026 @05:22PM (#48078390)
You aren't the only one that has alerted me of framer-based sites crashing on iOS. I'm trying to find a resolution but it appears to be a framer problem. I asked one of my friends and he was able to access the article fine.
Re:Introduction to Beaver Triples on Saturday May 09, 2026 @05:21PM (#48078382)
Most explanations just give formulas and no intuition. I tried to give intuition and a concrete example. If you email me, I can share the images that help with the intuition without the rest of the blog post.
Re:Introduction to Beaver Triples on Saturday May 09, 2026 @05:20PM (#48078373)
Lol, thank you for that. I'll edit it.
This looks great but how does it differ from the many wallet services that offer link sharing built-in without the subscription? As many wallets support tokens across many chains these days, link sharing is essentially a feature and no longer its own product.
Re:I'm helping my dog vibe code games on Wednesday February 25, 2026 @11:46AM (#47154030)
Don't give this to a schnauzer.

Older ยป