matteo retweeted
Introducing Boski, the personal agent that understands your goals and works 24/7 to get things done for you.
Compared to other agents, we are building Boski to be maximally proactive, focused on getting to know you and achieving your goals.
You don’t have to connect your calendar, email, or give Boski any of your personal data. Just like your best friend doesn’t need to see your inbox, Boski executes on your goals without it.
When you start using Boski, it will attempt to move you a step forward with your most ambitious goals every day. It will literally find you a girlfriend.
We’ve been working together with @glica_lukasz @radek_baczynski @futurammi @wiktorklu for 3 months. We first launched Boski 2 months ago and we’ve been in private beta since then. Now, Boski is open to everyone.
Boski in the future will be 100% free, but for now we are launching with an experimental pricing of $5/week. This will help us protect against spammers and onboard high quality people first as we scale compute
Please check it out! We are running user interviews with every single new user right now
We raised $2.2M to build Mio, your best hire yet
Last week, Mio gave our team back >130 hours
Led by @caseykcaruso at @topology_vc & @windychester1 at @fabric_vc
Get started for free at mio . xyz
A month later, Zolt v0.1.0 is here!
- Code is good enough to make an official release
- Faster than Jolt on the @eth_proofs' SHA256 benchmarks 😱
- Huge refactoring effort
- Really fun to work on!
- Still a lot of work to do to match Jolt with bigger programs (2^28+)
Introducing Zolt: the first pure-Zig zkVM
Fully compatible with @a16zcrypto's Jolt, the entire cryptography is made from scratch in @ziglang , only using the stdlib!
No arkworks FFI or other dependencies 🫡
The first benchmarks:
Check it out here: github.com/MatteoMer/zolt
This version include two new packages `zolt-arith` (for the field operations) and `zolt-pool` (my rayon equivalent), that you can use in your own @ziglang projects.












