Nima ๐๏ธ
@0xNimaRa
programmer who says ni! founder @mirageprivacy
Privacy on Ethereum needs an upgrade. Weโre building for it, and weโre hiring. Details below.
1/3 Weโre hiring to build the future of privacy on Ethereum. The next wave of adoption will demand stronger privacy guarantees. We're laying the groundwork now. Weโre looking for paranoid minds who believe in tackling hard problems. If that sounds like you, read on.๐
God is dead. God remains dead. And we have killed him.
BREAKING: Mercedes-Benz is integrating Microsoft, $MSFT, Teams into its vehicles
It's simple guys. It doesn't matter how perfect your product is, if no one uses it.
โณ Final push next week. Our lawyers and experts are working around the clock โ weโve forgotten what normal sleep feels like. Every hour counts, and so do the costs. If you believe in fairness, open-source, and freedom, please help us finish strong. ๐ ๐โฆ
People love writing and discussing manifestos, but rarely ask what great good has a manifesto ever done.
ok one annoying issue me: hey v0, can you please just add a button here v0: i've added the button you requested, also changed the colors of all buttons in the same page, refactored the landing page, and also added light/dark mode I think the sysprompt makes it too eager
vercel's v0 has got to be one of the best ai tools I've used. really cool how almost everyday new little features are added or removed and you notice them because they actually matter.
vercel's v0 has got to be one of the best ai tools I've used. really cool how almost everyday new little features are added or removed and you notice them because they actually matter.
I may get backlash for this comment but so be it. I do NOT think anyone should be held accountable for open source / decentralized protocols I do NOT think privacy is illegal and it should be a right I do think teams should be held liable for centralized frontends theyโฆ
the kind of privacy you would actually use
Privacy is a right, but great UX is a gift.
halmos v0.3.0 release highlights! (quick reminder: halmos is a symbolic testing tool for EVM bytecode which interfaces nicely with foundry projects and supports multiple SMT solvers) 1. we (finally) added support for stateful invariant testing
jealous of this guy
iโm working on a formal verification system for an obfuscator do you even know how cool that is?
Privacy coins like zcash and monero will never gain adoption for payments and that is fine. They serve a different purpose.
@mirageprivacy takes care of this btw
for more context, a program obfuscator is basically O. O is a compiler such that O(P) == P in functionality but not in syntax or symbolic representation and O(P1) == O(P2) i.e P1 and P2 are computationally indistinguishable. now, obfuscating the evm bytecode plays a dual role:โฆ
Childhood's End is one of the most impressive works of sci-fi I've ever read.
The people still calling this app Twitter are making a huge mistake. Itโs X now: a platform that shows us ads even when we pay, breaks constantly, and puts a Grok button everywhere for some reason.