It's hard to overstate how powerful a clear, well-defined spec can be for a software project with multiple teams working on different system components. Now that I've had a taste of this I'm ruined.

I'm on a quest for my next role. Looking to contribute ~20 hrs/week to help build something awesome, preferably in Rust. Also handy with Solidity, Huff, Sway. Super interested in building tooling & libraries, ZK, Web Proofs, and the intersection of web2 & blockchain. Remote only

Hear me out... "Work to Earn". Do a job well and paid for it. It's a bit of an unhinged idea, but it may actually work.

What teams out there (if any) are actively working on things that relate to proof-carrying data? maybe Argument ?

Banger presentation by Dominik Tornow on the Distributed Async Await model! youtu.be/hofEKFZtBj8?si…

Time for a restart?

I've started to play around with the declarative programming model introduced by Essential , and am finding that it maps nicely to another concept known as a Rank 1 Constraint System (R1CS) I learned about during the The Rare Skills Set zk bootcamp last winter.

Join us in NYC next week for Intents Day, hosted by Archetype. Our CEO Liesl Eichholz will be sharing her insights, and we'd love for you to be a part of it. Hope to see you there! ✨ RSVP here: lu.ma/9x7lrvou

Calling all ETHGlobal SF hackers! Come visit our booth, grab some swag, and learn more about building declarative applications on Essential

PumpkinDao. Decide the fate of a pumpkin via a governance token.

Who's in Bangkok for Devcon?

Cracked devs know that invariant testing your smart contracts is super powerful. Under the declarative model, contracts written in Pint on Essential get this for free, as invariants are enforced onchain as `constraints`.

As a mode of transportation in Bangkok, are motorcycles: a.) Efficient b.) Exhilarating c.) Terrifying d.) Dangerous Me: "yes."

Cool opportunity here! jobs.lever.co/ethereumfounda…

x.com/i/article/1988…