Building @OpacityHQ (now Zoah). Previously @GitHub. MSc Software Engineering @UniofOxford. zoah.com/community/@rick/fou…
- Tweets 2,721
- Following 2,899
- Followers 759
- Likes 6,424
rewinfrey retweeted
🏆 Congratulations, @brad_rothenberg!
The iPhone Duo is yours!
Thanks to everyone who entered.
Join the Zoah waitlist for early access and updates on what we’re building next at zoah.com
4
2
14
1,480
rewinfrey retweeted
"No one on my teams writes code anymore" is no longer a useful differentiator. The real question is: does anyone on your team _read_ code anymore?
59
21
658
43,460
rewinfrey retweeted
Shift is in alpha: a free, open-source font editor for Mac, Windows and Linux.
12
11
193
13,061
rewinfrey retweeted
As software gets easier to make, what sets you apart?
We spoke with sound designer @neversitdull to explore an often untapped surface within digital products:
Sound.
(We're letting people into Zoah as spots open up! Make sure you're on the waitlist at zoah.com)
1
4
12
3,043
rewinfrey retweeted
Some fun detail shots of a fully parametric vector drawing I did in about 10min.
Along with a procedurally generated pencil on canvas brush.
3
5
37
1,496
Early innings still, but I love how easy it is to use the Zoah MCP server to generate initial ideas for typography, color palettes, and branding. Then have my agent translate to a design system with components, and use those comps to build and deploy a website, all in Zoah!
3
8
1,497
rewinfrey retweeted
calling all designers…
you have 3 days to win an iPhone Duo and get early access to Zoah
not affiliated - just a fan of the product and team
zoah.com/win-an-iphone-duo
Zoah (formerly Opacity)
4
4
9
5,691
rewinfrey retweeted
Win an iPhone Duo.
Join the Zoah waitlist for early access and a chance to win. Enter by October 1 at 11:59 p.m. Pacific.
Already on the waitlist? You’re included.
Join + rules: zoah.com/win-an-iphone-duo
6
16
3,727
rewinfrey retweeted
Design your own brushes. Use and share them. This is not like other vector tools. Nothing comes close!
2
3
34
3,825
rewinfrey retweeted
We've been staring at curves for a long time. Figured we'd show you some.
Want access? Join the Zoah waitlist: zoah.com.
12
61
6,693
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
8
12
37
14,546
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
136
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,889
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
441
Building and testing @OpacityHQ in a bespoke browser that building and testing in parallel is a bit surreal.
3
11
673
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
301
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
689
