rewinfrey @bashrw

Building @OpacityHQ (now Zoah). Previously @GitHub. MSc Software Engineering @UniofOxford. https://t.co/6UVlXpFRHY rickwinfrey.com Joined May 2010

Tweets

3K
Followers

753
Following

3K
Likes

6K

rewinfrey @bashrw

2 hours ago

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.

Boris Cherny @bcherny

11 hours ago

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.

335 199 4K 831K 3K

0 0 0 19 0

View Details

City of Oceanside @CityofOceanside

7 hours ago

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/Component…

0 3 40 1K 3

View Details

rewinfrey @bashrw

6 hours ago

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.

Wes @WesleyBancroft

15 hours ago

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!

14 3 100 5K 39

1 0 3 194 0

View Details

rewinfrey @bashrw

15 hours ago

@drewwilson When @drewwilson goes on stage to speak, who gives Drew a “Drew Wilson” style intro? 🤔 break a leg man!

0 0 0 29 0

View Details

Jason @jptksc

18 hours ago

Building and testing @OpacityHQ in a bespoke browser that building and testing in parallel is a bit surreal.

0 3 10 531 1

View Details

rewinfrey @bashrw

4 days ago

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 0 1 296 0

View Details

rewinfrey @bashrw

4 days ago

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 👏👏👏

Drew Wilson @drewwilson

5 days ago

Wow! @brdrck’s vector demo got a standing ovation @valiocon! Absolutely incredible!

11 8 98 21K 38

1 0 6 683 0

View Details

rewinfrey @bashrw

6 days ago

Enjoying an amazing conference at @valiocon with my wife! It’s our first conference together!

0 1 13 607 0

View Details

Jason @jptksc

a week ago

I've been cooking up a brand builder for @OpacityHQ ... it's good🫰

2 2 10 562 2

View Details

Drew Wilson @drewwilson

2 weeks ago

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 123 9K 72

View Details

Jeff Broderick @brdrck

2 weeks ago

I really have an unfair advantage with vectors...@NotoriousUSB wishes he could keep up. opacity.com -> zoah.com

3 6 40 4K 14

View Details

Seth Jenks @sethjenks

2 weeks ago

Finally got into @OpacityHQ (Zoah)! What an amazing onboarding experience! It has it's own soundtrack! So good, @NotoriousUSB @drewwilson

3 4 9 1K 5

View Details

rewinfrey @bashrw

2 weeks ago

@jarradgrigg @OpacityHQ @dillonfrd can you please help @jarradgrigg with an invite to the Slack?

1 0 1 29 0

View Details

Jarrad Grigg @jarradgrigg

2 weeks ago

@OpacityHQ's (ZOAH) onboarding is unnecessarily cool. Excited to sink my teeth into it!

2 2 3 380 0

View Details

rewinfrey @bashrw

2 weeks ago

@jeneksco @OpacityHQ 👋 @jeneksco thank you for subscribing and for the support! Please send an email to [email protected], and we'll be happy to help with a receipt / invoice.

0 0 1 38 0

View Details

Zoah (formerly Opacity) @OpacityHQ

2 weeks ago

By designers, for designers. @brdrck's been heads-down building our new vector editor. This week he shared a few thoughts. Want early access? Join the waitlist at zoah.com