Log inSign up
Log inSign up
Varun
5,894 posts
Varun profile banner
@typesanitizer

Varun

@typesanitizer
I am once again asking you to expect more from the tools you use every day. OK: English, हिंदी, ગુજરાતી; limited 日本語, 中文. Avatar by @evatrice. He/Him.
Amsterdam, The Netherlands
typesanitizer.com
Joined May 2013
491 Following
1,166 Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·US TIDA·Ads Info·© 2026 X Corp.
  • Pinned
    @typesanitizer
    Varun
    @typesanitizer
    Jul 12, 2022
    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
  • @typesanitizer
    Varun
    @typesanitizer
    Sep 27
    Trying this for now. Let's see. 🤞
    Muted words: GPT, Claude, vibecoding, LLM, AI
    @rsms
    Rasmus Andersson
    @rsms
    Sep 27
    Replying to @yminsky @owickstrom and 3 others
    +1 Don’t fear muting and unfollowing people who “changed.” Twitter only works well when you curate your experience. For example, I’ve muted “AI” and a few other related keywords, which helps bring the noise down
  • @typesanitizer
    Varun
    @typesanitizer
    Sep 27
    Been working on a blog post which cites 'Nobody Ever Gets Credit for Fixing Problems that Never Happened' by Repenning and Sterman; it's a bit of a struggle to pick out specific bits, because the paper is full of these nuggets of wisdom.
    Shortcuts are tempting because there is often a substantial delay between cutting corners and the consequent decline in capability. For example, supervisors who defer preventive maintenance often experience a “grace period” in which they reap the benefits of increased output (by avoiding scheduled downtime) and save on maintenance costs. Only later, as equipment ages and wears
do they begin to experience lower yields and lower uptimes (see section 4). Similarly, a software engineer who forgoes documentation in favor of completing a project on time incurs few immediate costs; only later, when she returns to fix bugs discovered in testing does she feel the full impact of a decision made weeks or months earlier.
  • @typesanitizer
    Varun
    @typesanitizer
    Sep 24
    I guess this is the next level after "The monetization strategy is that my bank account has 3 commas mate"
    @cwarzel
    Charlie Warzel
    @cwarzel
    Sep 24
    Jensen Huang on Ezra this week:
    Quote
    @tracyalloway
    Tracy Alloway
    @tracyalloway
    Sep 24
    Guys will be like “I’ve handed my entire calendar to an AI agent. Game changer. You have to try it. Also, when are we meeting? Where? With who?”
  • @typesanitizer
    Varun
    @typesanitizer
    Sep 22
    Me: I know a little bit about ordinal numbers, can you explain forcing to me? ... (few messages later, where I ask for a simpler formulation of a countable model of ZFC)
    Opus response: The complexity floor — why you can't just write M down as a program. For the domain-ω codings, there's a sharp sandwich:

Upper bound: the completions of ZFC form a Π⁰₁ class, so the low basis theorem gives a model whose atomic diagram is low, hence Δ⁰₂ — computable from the halting oracle 0′. So M is "one jump up from computable."
Lower bound: M is never computable (Δ⁰₁). The Henkin models are nonstandard in their arithmetic, and Tennenbaum's theorem (1959) forbids computable nonstandard models of PA — and a model of ZFC contains a model of PA as its arithmetic. So computable-M is out; Δ⁰₂ is the realistic floor for the ω-coding, and transitive models like L_{α₀} sit far higher in complexity than that.
    1