jcsalterego.bsky.social
1x winner of the "oh i'm pretty sure that's just jerry spreading misinformation" award 🥇🏆 "a merchant, selling microdoses of pleasant fictions" - tyler thanked by darth july 20, 2023 thanked by diedrich bader oct 23, 2026 📍Austin, TX
👤 Joined on 23 abril 2023
Followers
Following
Total Posts
@jcsalterego.bsky.socialwell, also, what a lot of this conversation is actually about is "different people have their own idiosyncratic reasons for tolerating or even supporting an argument that is somewhat directionally correct but wrong on the merits"
Show PostMy first blog post for @antithesis.com is out! Ostensibly it's about why a formal methods person would want to join the company. Actually it's a romp through formal methods, the problems of abstraction, how we can break nondeterminism over our knee. antithesis.com/blog/2026/hi...
Show PostYou broke Bsky by dipping into the shark infested water of candy preference. The audacity of going after candy bars is pure Jerry Chen
Show Post