Varun / 王潤 / げんじ
@typesanitizer
Followers
1K
Following
23K
Media
577
Statuses
6K
I am once again asking you to expect more from the tools you use every day. OK: English, हिंदी, ગુજરાતી. Learning: 日本語, 中文. Avatar by @evatrice. He/Him.
Taipei City, Taiwan
Joined May 2013
Give a man a counterexample, and he will question his instincts for a day. Teach a man to find counterexamples, and he will be trapped in mental agony forever wondering if his inability to find a counterexample is a counterexample for his skillfulness in finding counterexamples.
1
13
76
TIL Ultraman is called "salted egg superman" in Taiwan. https://t.co/2fVQFSaAMr
en.wiktionary.org
1
0
1
Insightful discussion on key considerations when using assertions; the point about correlated failures in particular is one I haven't considered deeply before, or seen so sharply focused on elsewhere.
How should we think about error handling in distributed systems? Let's see what you think: ✅ means you think we should crash the process server, ❌ means you don't.
0
0
3
How should we think about error handling in distributed systems? Let's see what you think: ✅ means you think we should crash the process server, ❌ means you don't.
14
10
94
Unsaid: Our founding team is 4 guys. Said: We hire largely through outbound referrals + a dash of "gifts" Unsaid: Our existing recruiting process is really so cool Said: We have very few women in product and engineering -- this a p0 to fix I mean, who are you trying to fool?
1
0
1
New blog post: "On the purported benefits of effect systems" which does a closer analysis of some of the claims made related to effect systems, finding that most of them do not really hold up to scrutiny.
1
0
6
This seems to have spread through word of mouth, so I think I should give this a boost. Over the past 3 years or so, I've seen a number of "what to do about AI posts". Most of them are bad, because they are built around a flawed idea: that you have to predict the future to act.
1
5
26
Short blog post, inspired by 'Six blind men and the elephant', but with programmers and static type systems instead. https://t.co/YZHRhm75C0
0
0
1
It feels so weird to be holding the book that very directly shaped my direction in life for 10+ years
0
0
0
Cleaning out the bookshelf, opened up "Badass: Making users awesome" by Kathy Sierra and came to this page OK, this one is staying
1
0
1
Was looking at Oxide's web framework (library?) Dropshot; it has a quite well thought out trait for representing errors. https://t.co/C870hLjAWu
0
0
3
My extreme opinion is that anything other than serializable isolation is a scam. Database people haven't figured out how to make it fast, so we have ended up with other half baked isolation levels.
9
5
111
I'm considering creating a social media account on Bluesky or Mastodon, might be more active there than here. Thoughts? If you've tried both, how would you summarize the differences?
3
0
2
Today I talked at the IWACO workshop about my ideas on Modular Borrowing Without Ownership or Linear Types. You can check out the slides and recording on the website!
4
11
48
New blog post on assertions ( https://t.co/kmiwL8bXjx), where I talk about some personal history of using assertions at work, the technical side of how to use assertions, as well as the organizational side of getting (or trying to get) assertions adopted widely at work.
1
1
12
I found this insightful. If you're saying you're making a tradeoff, but you're not sure that you're operating at the frontier (in terms of perf, but I think this could potentially be generalized to hings like correctness too), then maybe you're not really making a tradeoff.
@thegeeknarrator Both write and read paths (as explained) became faster/simpler for (most) workloads. We often assume in industry (almost as a mantra) that “engineering is tradeoffs” but I think our mental models can more often shift to a global maxima (or “superidea” per early Nintendo
0
1
8
Comment by ex-GitHub engineer on blog post about GitHub's UI getting slower over time Source: https://t.co/vbxlrBfCKH
2
2
31