Logo
Picture

Charlie Robbins ⏚ @indexzero

Engineer 🏗️ Leader🧘Founder 🌎 It is written — when you write it New York, NY Joined February 2008
  • Tweets
    12K
  • Followers
    6K
  • Following
    1K
  • Likes
    3K
indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

3 days ago

🪾 If a tree falls in the forest, & no one is around to hear it: does it make a sound? 🧮 If a mathematical problem is solved with certainty, & no one gains a deeper understanding: was it truly solved? For fifty years, mathematics was focused on one thing: proving basic arithmetic. Then in 1930, at age 24, in a discussion session at a conference Gödel announced the First Incompleteness Theorem almost trolling every mathematician that what they were after was itself unprovable. Sitting in the audience was John von Neumann, who independently derived the Second Incompleteness Theorem within weeks. When he wrote Gödel about it, Gödel responded he had already derived it himself & published that same week. That mutual derivation & exchange is what set up Alan Turing just a few years later to think creatively about "Turing Machines" & what they could or could not decide. In the spring of 1935 von Neumann was lecturing at Cambridge & Turing took his class where von Neumann later said he "knew Mr. Turing very well". Reading the history of how these seminal minds influenced each other is why I could not agree more with the 27 Fields medalists who agreed that open problems are "landmarks and lighthouses," because we have seen time & time again that merely solving the foundational mathematics problem is only the beginning. It is the shared understanding that empowered Turing's breakthrough. To remove that human aspect of the outcome is indeed a form of strip-mining as Tao suggests. This piece from two applied mathematicians shows many more examples of the value derived from cross disciplinary shared understanding between pure & applied mathematicians. It is worth reading it instead of summarizing it nytimes.com/2026/09/22/sci…

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

11 months ago

I hope you enjoy the story 💚 all-docs.talks.charlie.dev

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

11 months ago

Mikeal knew this, and I will be forever in his debt for what I learned from him. I'm looking forward to integrating his pkv (public key value cryptography) ideas into _all_docs in the coming months 🧠 we both didn't see it then, but he was onto something important 🚀

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

11 months ago

I knew speaking at @jsconf 2025 would be hard, because so much of what I had to talk about I learned from @mikeal – and am still learning even now. The goal of the talk was to tell part of that story, a story about how the web isn't finished, yet 💡 all-docs.talks.charlie.dev

Charlie Robbins ⏚ retweeted
matteocollina Profile Picture

Matteo Collina @matteocollina

12 months ago

🚀 BIG NEWS: We just shipped @platformatic/python to help you run Python ASGI apps INSIDE your Node.js process! This changes everything for AI/ML + Node.js apps 🧵

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

a year ago

Coming soon: make-dlx-from 'npm:<pkg>'

alexalbert__ Profile Picture

Alex Albert @alexalbert__

a year ago

We've simplified local MCP usage by creating something new we call Desktop Extensions (.dxt files). These package your local server, handle dependencies, and provide secure configuration so you can one-click share and install local servers on Claude Desktop and other apps.

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

a year ago

Life is chaos. Be kind 💔

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

May the force of my heart breaking over Mozilla's villainous choices echo for history. To join the forces of Surveillance Capitalism as a last gasp before following Netscape to the grave spits in the face of what the Web they swore to me they would protect above all else ✊ A decade ago, I cheered hope on that FirefoxOS could break through the walled gardens of mobile phones. With this decision, FirefoxOS 2.0 would be of no higher moral fiber or ethical character than Android or iOS 😢 techcrunch.com/2025/02/28/moz…

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

💔

BrendanEich Profile Picture

BrendanEich @BrendanEich

2 years ago

W T F mozilla.org/en-US/about/le… "When you upload or input information through Firefox, you hereby grant us a nonexclusive, royalty-free, worldwide license to use that information to help you navigate, experience, and interact with online content as you indicate with your use of

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

@SlexAxton @peduarte Dope AF 🔥 next time you're in NYC come check out some more of his greatest hits

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

@SlexAxton @peduarte Dope AF 🔥 when you're in NYC next come check out some more

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

@SlexAxton modernizr.ai, amirite? 🫣

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

Isn't it nice to see that the Hitler Youth are alive & well in Germany? theguardian.com/environment/20…

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

It's chaos. Be kind ❤️

mikeal Profile Picture

Mikeal Rogers @mikeal

2 years ago

Cancer Diaries - Day One github.com/mikeal/cancer-…

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

@mikeal I believe that this is not your time. May that belief bring you strength 🙏

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

My arrogance is warranted from years of interactions where most people have a cursory understand of the idea but lack a truly deep or formal education on it To call what exists today "free media" is to fly in the face of hundreds of years of US history & caselaw that led to how First Amendmend protections for Freedom of the Press are interpreted by US Courts If you're educated in this field I'd love to know what US caselaw decisions you find most interesting on this topic from both a legal & historical context. Or what how Section 230 of the CDA and/or the current FCC rules should be changed to strengthen a free press in the US And I'm not trying to shame you Tony – but we've got to be on the same page about what educated means here. That's what it means to me: formal legal education that is deep enough to have opinions on policy to improve it

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

"Free as in Free Press" is not "Free as in Beer" @rauchg Please educate yourself my friend. Please 🙏 I was fortunate to know this because I was raised by an ACLU attorney who argued First Amendment issues in front of the high court – his SCOTUS bar admission hangs behind me every day. A truly "free press" is one that is free from the bias that is implicit in centralized ownership. For the last 100 years this can be loosely summed up as "you can't own all the newspapers / tv stations in the same city" (see: FCC Broadcast Ownership Rules) Sadly, those rules & regulations are decades out of date for social media platforms like 𝕏 because they are not considered media companies under Section 230. I agree with Trump on Section 230 needing to change, but in different ways. Specifically: social media platforms should have safe harbor protections but they should also be subject to the same diversity in media ownership laws that apply to newspapers and TV stations because – for most intents and purposes – the content they served is consumed in lieu of TV & newspapers. This should be implemented via a US-equivalent of GDPR that protects the privacy of Americans enshrined in the US Constitution by requiring social media platforms to report anonymous usage statistics for measuring reach & cross-market penetration so that content may be automatically injected & cross posted between them. The open standards & open web to power a world like that would be exciting, but we are not there yet. I hope you will see that over time

rauchg Profile Picture

Guillermo Rauch @rauchg

2 years ago

Congrats President Trump 🇺🇸 Excited about the impact 𝕏, prediction markets, citizen journalism, podcasts, and the open web played in fostering democracy and a free media. It's a new world.

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

But for now, uninstalling this executable from my phone. Oligarchs are antipathy to American ideals

indexzero Profile Picture

Charlie Robbins ⏚ @indexzero

2 years ago

The Republic will endure thanks to the wisdom from FDR's populist Presidency When the pendulum swings back we will apply that same wisdom to the Judicial & Legislative branches Because it was only possible by eroding the voting rights of the suppressed ✊

Trends for United States

Clemson
Northwestern
Indiana
Ashton Hampton
Tosh
#iufb
Gideon Davidson
Aidan Chiles
#AFLGF
Mize
Air Force One
#LaGranjaVPMX
#SmackDown
LR Kid Buu
Jordan Somerville
Tait
olivia
Surf City
Hoover
Wash

You might like

npm inventor. he/whatever. If I blocked you, might be a mistake. https://t.co/Ys5NAG5nfF https://t.co/iwFRnce31a
isaacs
@izs
25K Followers
@heapwolf
@heapwolf
5K Followers
Lodash creator • sometimes TC39 delegate • protecting supply chains at https://t.co/eYz05o0Rgu • Ex (Bun, Salesforce, Node core, Electron WG, Microsoft)
John-David Dalton
@jdalton
26K Followers
CEO, Wind Stream 🌱 @windstreamai
Dan Shaw
@dshaw
18K Followers
…
Jeremy Ashkenas
@jashkenas
27K Followers
reaching light through the struggle | https://t.co/Zj8k5VSSwS | https://t.co/kVwpeAPNvj | https://t.co/l0O9uyddVq
Nuno Job
@dscape
5K Followers
Domenic Denicola
@domenic
15K Followers
👾 Software Engineer @GraphyHQ 🚀 Curious. My opinions are my own.
Pedro Teixeira
@pgte
5K Followers
Building @workflowsdk | Employee #6 @vercel | Former @nodejs core committer | Before you ask, I'm 6’6”
Nathan Rajlich
@TooTallNate
6K Followers
work at @opencode. prev @stripe, maker of @actualbudget, @mozilla. also started prettier.
James Long
@jlongster
33K Followers
high functioning weirdo https://t.co/IjGNgypcEC retired from tech!
Dominic Tarr
@dominictarr
5K Followers
Rick Waldron
@rwaldron
10K Followers
Ever tried, ever failed, no matter. Try again, fail again, fail better.
Juriy Zaytsev 🇺�...
@kangax
15K Followers
@vercel CEO
Guillermo Rauch
@rauchg
883K Followers
Lover of all things good in life including Family, Friends, Food, and Functional Programs. ⚒️ Creator of https://t.co/DcmmmjzGuU, JS.git, and https://t.co/jjkLYugcAt
Tim Caswell
@creationix
8K Followers