badcryptobitch

Joined 2 years ago

Karma
171
Submissions
57
Member since
Nov 7
@badcryptobitch on Twitter/X CEO @hashcloak - Cryptography R&D consulting, hashcloak.com CEO @StoffelMPC - Making MPC accessible to non-cryptographers, stoffelmpc.com
View on Hacker News

Recent submissions

Comment · 3 months ago
I've fixed the scroll hijacking. Again, thank you for the feedback
Comment · 3 months ago
I've fixed it. Again, thank you for the feedback
Comment · 3 months ago
I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback
Comment · 3 months ago
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.
Comment · 3 months ago
Comment · 3 months ago
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
Comment · 3 months ago
I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback
Comment · 5 months ago
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.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton