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,843
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,719
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
When @drewwilson goes on stage to speak, who gives Drew a “Drew Wilson” style intro? 🤔 break a leg man!
38
Building and testing @OpacityHQ in a bespoke browser that building and testing in parallel is a bit surreal.
3
11
649
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
It's a huge moment! Lots of hard work to get here, lots of hard work ahead, and couldn't be more stoked!
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!
6
492
Love this. I paraphrase as ownership is to own the thinking of all aspects of a problem and its solution, from the execution to delivery, communication, and future maintenance. Ownership is a tall glass of water that is easy to underestimate!
1
5
768
Yep, and I think a good heuristic for producing less code is de-conditionalizing code. An easy tell for AI generated code is the wild conditional expressions littered throughout multiple layers of abstraction. LLM’s aren’t very good at “Imperative shell, functional core.”
Starting to wonder if the smartest way to reduce slop is just to produce less code
Force code review to continually reduce code while ALSO keeping cyclomatic complexity low
Less code means less code to maintain, fewer bugs
1
3
269
Love our dev tooling at @OpacityHQ. Makes it so easy to spin worktrees up, and spin worktrees down.
1
2
343
From Opacity -> Zoah, a startup story...
It is a bummer to have to leave behind all the branding and recognition we've developed behind the name Opacity.
But we are just as excited and pumped to operate under Zoah. Dropping from 3 syllables to 2 syllables is pretty nice!
Goodbye Opacity! 👋
We've been forced to change our name.
Check out the video for our new name reveal!
3
1
5
1,545
Welcome to the team @lookingforlouj! 🙌
If you've liked our videos lately, you've been enjoying @lookingforlouj's awesome work...and he just joined full time!
Everyone, help welcome Louj! 🙌
1
4
226
You heard it here first, MVB - "minimum viable brand". Great conversation between @drewwilson and @NotoriousUSB with some special behind the scenes peaks into what we're building!
We shipped a minimum viable brand this week, on purpose.
@drewwilson and @NotoriousUSB talk through the reasoning:
What a full brand system actually costs a company at our stage, and why we put that time into the product instead.
1
2
161
Some amazing things coming down the pipe! So lucky to be a part of this crew 🙌
As @NotoriousUSB said, “We’re banding back together to fix the internet” :D
The @OpacityHQ team has been at this a whole internet thing a while. Shout out to @KaikdbyKai and @OffscreenMag!
2
147
It was so great to meet you at the @opacityhq design meetup, and at @stripe Sessions! I can't wait to see the full video!
1
2
62
Congrats to the winner of the MacBook Neo, and amazingly is a designer!
Insane! @OpacityHQ had the largest turn out at all of @stripe Sessions!
Thanks everyone for hanging out with us!!! Mind blowing!
1
1
7
1,625