Twitxy Saved

Joseph Lozano

Verified account This account is verified. Learn more

@jetpackjoe_

Double Agent @testdouble
@opencode ambassador
New York City Joined November 2011
1.4K Following 638 Followers 5.1K Posts

Latest posts 5

Joseph Lozano Verified account @jetpackjoe_
had claude make a formal verification explainer for me
7:14
lauren Verified account @poteto Nov 3
maybe a hot take but i now consider adversarial reviews mostly a waste of tokens. far better to use those tokens on empirical combined with formal verification. i have updated pstack to use the interrogate skill less, and eventually i think i may remove it altogether

i have found very little value with code review in the abstract, agents tend to just get lost in the nitpicks and yagnis
View quoted post on X
Joseph Lozano Verified account @jetpackjoe_
dax Verified account @thdxr Oct 31
hex was fully vibe coded. the app. the landing page. the animations. sound effects were ai generated. issues people open are fixed by opencode. the onboarding. even some of the creative ideas

but i think it's pretty good software. it's fun to use. works on all platforms. performant (not electron!)

our effort didn't go into the code. but there was a lot of effort

it's a small app but i hope it improves your outlook on where we can go
View quoted post on X