Building @OpacityHQ (now Zoah). Previously @GitHub. MSc Software Engineering @UniofOxford. zoah.com/community/@rick/fou…
- Tweets 2,709
- Following 2,873
- Followers 755
- Likes 6,374
rewinfrey retweeted
🚨 BREAKING: We're giving away an iPhone Duo!
Join the Zoah waitlist for early access and a chance to win. One lucky winner. Entries close October 1 at 11:59 p.m. PT.
Already on the waitlist? You're entered.
One entry per person. Winner announced October 2.
zoah.com/win-an-iphone-duo
4
7
30
6,832
This is unbelievably cool. Agents making it possible to formally verify code and check invariants for concurrent programs is incredibly valuable. I'm excited to see how well this approach works for verifying @OpacityHQ's custom event-driven sync engine.
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
1
120
rewinfrey retweeted
Crews working on a City of Oceanside infrastructure project made a remarkable discovery this month: the fossilized remains of a large, hoofed mammal that walked the ancient floodplains of Oceanside, some 40 to 45 million years ago! Thunder Beast? More: ci.oceanside.ca.us/Home/Comp…
6
40
375
18,716
One of my favorite talks at @valiocon this year by @WesleyBancroft
Stopping and thinking about work as an offering to others is a refreshing perspective. It's like a flash of lightning in a dark sea of AI abyssdoomaxxing.
May your work be of benefit and a gift to others.
A handful of slides from the talk that I gave at @valiocon
Gathering my thoughts from the conference and the amazing people I met while there (was only able to attend the last day unfortunately).
Thanks again @drewwilson for the invite and everyone who made it a success!
1
8
429
Building and testing @OpacityHQ in a bespoke browser that building and testing in parallel is a bit surreal.
3
11
649
I wish for all software devs the freedom from an identity defined by a programming language.
Rust, Go, Ruby, JS, TS, Elixir, Erlang, C, C++, Haskell, etc.
The tool is not identity.
Instead I like to ask:
What is your purpose?
What are your goals?
What change do you create?
1
1
299
What an amazing response to @brdrck vector system! What’s not shared easily in a demo is the hard work Jeff has invested into also making this system fast and performant. Stellar work all around 👏👏👏
1
6
685
rewinfrey retweeted
Visual Diffs! For design AND code.
Real-time look at me building @OpacityHQ!
We have our OWN version control that has nothing to do with Git. Y'all, it's time to move off Github and Figma (genuinely love them both, but there's a new kid on the block) and onto Zoah!
5
5
124
9,553
rewinfrey retweeted
I really have an unfair advantage with vectors...@NotoriousUSB wishes he could keep up.
opacity.com -> zoah.com
3
6
40
4,187
rewinfrey retweeted
Finally got into @OpacityHQ (Zoah)! What an amazing onboarding experience! It has it's own soundtrack! So good, @NotoriousUSB @drewwilson
3
4
9
1,035
rewinfrey retweeted
@OpacityHQ's (ZOAH) onboarding is unnecessarily cool.
Excited to sink my teeth into it!
2
2
3
381
rewinfrey retweeted
What a fun onboarding, excited to poke around Zoah zoah.com/community/@Davidelg…
@OpacityHQ @drewwilson
2
2
255
rewinfrey retweeted
after being wowed by @OpacityHQ our engineer (@iangerado) decided to create company member cards for the whole team. legend.
1
2
4
260
rewinfrey retweeted
So excited to see where Zoah goes!
Claimed at 0099!
FIRST REAL PAID CUSTOMER! 🚀
Just a minute after our exclusive access email went out to our waitlisters :D
Thanks for everyone who believed early and got on our waitlist!
And congrats to team @OpacityHQ!
2
2
3
969
rewinfrey retweeted
extremely unnecessarily sick onboarding
can't wait to try out making a design surface source of truth for component code & build a design system that way - zoah already looks like what I always wished existed as a more composable code-first webflow type thing, css native etc.
FIRST REAL PAID CUSTOMER! 🚀
Just a minute after our exclusive access email went out to our waitlisters :D
Thanks for everyone who believed early and got on our waitlist!
And congrats to team @OpacityHQ!
3
1
8
2,912