think(x)

29.6K posts

think(x)

think(x)

@thinkx

Postgres evangelist, open-source ambassador, recovering enterprise architect

New York, USA Katılım Mart 2009
6K Takip Edilen1.9K Takipçiler
Ricardo
Ricardo@Ric_RTP·
Jensen Huang just called out every CEO who’s been firing people “because of AI.” Jim Cramer asked him why companies are laying people off if AI is supposed to make everyone MORE productive. Jensen's answer: "For companies with imagination, you will do more with more. For companies where the leadership is just out of ideas, they have nothing else to do. They have no reason to imagine greater than they are. When they have more capability, they don't do more." Read that again. The man who built the most important tech company on Earth just told you that if your CEO is using AI to cut headcount, it means one thing: They have no imagination. They have no vision for what comes next. They got handed the most powerful tool in human history and their FIRST instinct was to fire people. This is the CEO of NVIDIA. The company whose chips power every AI system on the planet. If anyone on Earth has the right to say "AI replaces workers," it's Jensen Huang. And he said the OPPOSITE. He said every carpenter could become an architect. Every plumber could become an architect. AI elevates capability. It doesn't eliminate it. But here's where it gets really interesting... During the same interview, Jensen revealed something nobody's talking about: He said AI startups like OpenAI and Anthropic are seeing their revenues increase by one to two billion dollars a WEEK. And he wishes these companies were public so the world could see what he sees. One to two billion per week. That's a $50 to $100 BILLION annualized run rate. For companies that most people think are burning cash and making nothing. The entire Wall Street narrative that "AI companies aren't profitable" might be completely wrong. Jensen sees their numbers. He sees their compute orders. He sees their growth. And he's saying the revenue is real. So if the money IS real, why are other companies firing people? Because they're not building AI products. They're not creating new revenue streams. They're not using AI to expand into new markets. They're using AI as an EXCUSE to cut costs because they ran out of ideas 3 years ago and need something to tell the board. Jensen's company added $500 billion in new orders in 5 months. He expects $1 trillion in cumulative revenue through 2027 from just two product lines. That number doesn't include the new chips, systems, or partnerships announced this week. And he's not cutting people. He's hiring. Because when you have imagination, more capability means MORE opportunity. Not less headcount. Meanwhile Salesforce cut thousands. Meta cut thousands. Amazon cut thousands. All blaming "AI efficiency." Jensen's response: You're out of imagination. He also said something that stuck with me. Cramer asked if he ever thought he'd build a $10 to $20 trillion company while waiting tables at Denny's. His answer: "I was just trying to make it through the shift." Biggest tip he ever got? Two, three dollars. Now he's building tech that increased computing demand by one million times in two years. He announced OpenClaw, which he says is as big as ChatGPT. And he's got 21 months of new business that isn't even counted in the trillion dollar figure yet. When asked how long he plans to keep working? "I'm hoping to die on the job. And I'm not hoping to die anytime soon." This is a man who believes every single thing he's building. And his message to every CEO using AI to justify layoffs is simple... You're not innovating. You're surrendering. The technology wasn't built to shrink companies. It was built to make them limitless. If your leadership can't see that, the problem isn't AI. It's THEM.
English
423
1.5K
6.9K
1.2M
think(x)
think(x)@thinkx·
@acoustik “Wish more of tech operated this way.” … and traditional enterprise IT 😭
English
0
0
1
8
Ajay Kulkarni
Ajay Kulkarni@acoustik·
This is a great note. It's rare to see this balance between humility/service and fire/energy. My favorite leaders point their ambition outward, not inward, and win through service. Wish more of tech operated this way.
Carl Eschenbach@carl_eschenbach

It’s time to return to the place where I know I can have the most impact. I am beyond excited to be rejoining @sequoia as a Partner. Here is what I shared with @gradypb @alfred_lin on how I am approaching my next chapter.

English
2
0
1
229
think(x) retweetledi
Bruno Souza
Bruno Souza@brjavaman·
"Microsoft runs on Java. We have over 2.5 million JVMs in production across Microsoft" @JavaOne keynote!!!
Bruno Souza tweet media
English
11
112
979
142.7K
think(x)
think(x)@thinkx·
@Grady_Booch and lessons never learnt.. “this time it will be different”
English
0
0
1
245
Grady Booch
Grady Booch@Grady_Booch·
“Every gun that is made, every warship launched, every rocket fired signifies, in the final sense, a theft from those who hunger and are not fed.” — President Dwight D. Eisenhower
The Washington Post@washingtonpost

Exclusive: The Pentagon asked the White House to approve a more than $200 billion request to Congress to fund the war in Iran, according to an administration official, a new ask that will likely run into resistance from lawmakers opposed to the conflict. wapo.st/4bt8UQk

English
6
75
341
15K
think(x) retweetledi
Ben Dicken
Ben Dicken@BenjDicken·
This is why you avoid direct connections to Postgres. Benchmarked PG running on a r8g.2xlarge (8 vCPU + 64GB ram) with connections ranging from 8 → 2048. Clearly a sweet spot at 64 with degrading perf thereafter. Apps often need 1000s of connections. Scale with a proxy!
Ben Dicken tweet media
English
23
37
591
69.4K
think(x) retweetledi
Nik Samokhvalov
Nik Samokhvalov@samokhvalov·
enjoyed today's PG hacking session a lot -- a great, super precise troubleshooting tool is coming to Postgres ecosystem pwt (pg_wait_tracer), being developed by Dmitry and to be released soon, allows precise wait event tracing for Postgres, inspired by what's available for Oracle for many years somewhat related: PoC: USDT static tracepoints for wait event tracing github.com/NikolayS/postg…
Nik Samokhvalov tweet media
Nik Samokhvalov@samokhvalov

Postgres hacking session today youtube.com/watch?v=3Gtuc2… – LIVE now, join we have a great guest, Dmitry Fomin, who will show us some really cool new tool with wait event analysis (aka ASH) for heavily loaded systems

English
3
6
31
3.1K
think(x)
think(x)@thinkx·
@pquerna I came to this same conclusion and here it is 🔥😭
English
0
0
0
9
Paul Querna
Paul Querna@pquerna·
I believe: 1) Corps will use 100s of different SaaS products (10x-100x from today) 2) New Arch required to enable #1: A fabric between companies, humans, and SaaS 3) Identity is going to become about Automation, Orchestration and Delegation -- the fabric between the parties
English
2
0
20
0
Paul Querna
Paul Querna@pquerna·
It was all fun and games until the SQLite VACCUM took 12 hours
English
1
1
2
173
think(x)
think(x)@thinkx·
@michaelfreedman it’s always a seed planted ages ago that leads to something useful.. I have ideas on what to do with this
English
0
0
0
7
Mike Freedman
Mike Freedman@michaelfreedman·
@thinkx Thanks! I tried to use MacFuse at first, and NFS was much more a pain. But when Apple started asking me to boot into recovery mode or sometime to give sufficient kernel permissions to use FUSE, I knew that wasn't going to fly.
Plainsboro, NJ 🇺🇸 English
1
0
1
98
think(x)
think(x)@thinkx·
One of the wildest early projects from Google was the MacFuse contributions in 2007. this contribution from TigerData completes the circle for me! mind*blown 🤯 #postgres #fuse
Mike Freedman@michaelfreedman

Introducing TigerFS - a filesystem backed by PostgreSQL, and a filesystem interface to PostgreSQL. Idea is simple: Agents don't need fancy APIs or SDKs, they love the file system. ls, cat, find, grep. Pipelined UNIX tools. So let’s make files transactional and concurrent by backing them with a real database. There are two ways to use it: File-first: Write markdown, organize into directories. Writes are atomic, everything is auto-versioned. Any tool that works with files -- Claude Code, Cursor, grep, emacs -- just works. Multi-agent task coordination is just mv'ing files between todo/doing/done directories. Data-first: Mount any Postgres database and explore it with Unix tools. For large databases, chain filters into paths that push down to SQL: .by/customer_id/123/.order/created_at/.last/10/.export/json. Bulk import/export, no SQL needed, and ships with Claude Code skills. Every file is a real PostgreSQL row. Multiple agents and humans read and write concurrently with full ACID guarantees. The filesystem /is/ the API. Mounts via FUSE on Linux and NFS on macOS, no extra dependencies. Point it at an existing Postgres database, or spin up a free one on Tiger Cloud or Ghost. I built this mostly for agent workflows, but curious what else people would use it for. It's early but the core is solid. Feedback welcome. tigerfs.io

English
1
0
3
331
think(x) retweetledi
Massimo
Massimo@Rainmaker1973·
Before we had silicon chips, we had needle and thread. In the 1960s, NASA didn’t ‘upload’ code; they sewed it. To get Apollo 11 to the moon, skilled weavers (often called ‘Little Old Ladies’) literally hand-stitched software into physical objects.
English
43
482
2.5K
112.7K
think(x) retweetledi
Mitchell Hashimoto
Mitchell Hashimoto@mitchellh·
Excited to share that I've joined Vercel's Board of Directors. Vercel is made up of builders and tastemakers that continually ship things that deeply impact how developers work: Next.js, AI SDK, v0, etc. I can't think of a more exciting place to be. Let's fucking ship. ▲ My relationship with Vercel goes back to the earliest days. HashiCorp was an early adopter of NextJS and Vercel (~10 years ago!) and it remains my default tech stack and deployment platform to this day. Ghostty's website is all on Vercel, too! Beyond that, I've been continually impressed with the teams relentless focus on shipping meaningful software. And importantly, software that has incredible taste. Now we are in the age of agentic software development. Vercel is building agentic infrastructure that I think every app and agent will need (I certainly need it!) and I can't think of a more exciting place to be. Huge thanks to @rauchg , Jeanne, Marten, @cramforce, @tomocchino and the entire Vercel team for the warm welcome. Time to work.
Mitchell Hashimoto tweet media
English
219
86
2.9K
592.4K
think(x)
think(x)@thinkx·
@TulikaBose_ this is the “prose” phase of his career.. he will slowly grow and learn
English
0
0
0
10
Peter Girnus 🦅
Peter Girnus 🦅@gothburz·
@notoffear You are asking me to fix the system that produces $26.5 million in annual compensation. I have considered it. The math does not support the recommendation.
English
3
1
57
4.5K
Peter Girnus 🦅
Peter Girnus 🦅@gothburz·
I am Sam Hazen, CEO of HCA Healthcare. The largest for-profit hospital system in the United States. One hundred and eighty-two hospitals. Twenty states. I oversee a spreadsheet called the chargemaster. It has 42,000 line items. Each line item is a price. The prices are not real. I need to be precise about that. They are not estimates. Not approximations. Not market rates. They are anchors. An anchor is a number you set high so that every negotiated discount feels like a victory. No relationship to cost. No relationship to value. A relationship to leverage. My team sets the anchors. That is the job. The price is correct. Take a drug. Keytruda. Immunotherapy. Treats sixteen types of cancer. The manufacturer charges approximately $11,000 per dose. That is the acquisition cost. What the hospital pays. My team enters it into the chargemaster. They do not enter $11,000. They enter $43,000. That is the gross charge. The gross charge is a fiction. No one pays it. No one is expected to pay it. The gross charge exists so that when Blue Cross negotiates a 68% discount, they pay $13,760, and the contract says "68% discount" and both parties feel the transaction was rigorous. A 68% discount on a fictional price produces a real price that is 25% above acquisition cost. That margin is where I live. My 2025 compensation was $26.5 million. Eighty percent of my bonus is tied to EBITDA. Earnings Before Interest, Taxes, Depreciation, and Amortization. It is also earnings before the patient opens the bill. Same dose of Keytruda at the hospital across town. Gross charge: $12,000. Blue Cross rate: $10,200. Same drug. Same dose. Same needle. Same cancer. Different spreadsheet. The CMS transparency data showed the ratio between the highest and lowest negotiated price for the same drug at the same hospital can reach 2,347 to one. Not 2x. Not 10x. Not 100x. Two thousand three hundred and forty-seven to one. For the same thing. In the same building. On the same Tuesday. The price is correct. Every drug in the chargemaster has twelve prices. Twelve. Gross charge. Medicare rate. Medicaid rate. Blue Cross. Aetna. Cigna. UnitedHealth. Humana. Workers' comp. Tricare. Auto insurance. And the self-pay rate. The self-pay rate is for the person without insurance. It is the gross charge. The fictional number. The anchor. The person without insurance pays the number that was designed to be negotiated down from. They pay the ceiling because they have no one to negotiate on their behalf. Same drug. Same chair. Same nurse. They pay the price that no insurer in the country would accept. I maintain a file. CDM line item 637-4892-PKB. Saline flush. Sodium chloride 0.9%. Acquisition cost: $0.47. We charge $87. That is an 18,410% markup. The saline flush is used before and after every IV infusion. A chemo patient receiving twelve cycles will be charged $87 for saline fourteen times per visit. I know the math. My team built the math. The math is the job. The price is correct. In 2021, the federal government required hospitals to publish their prices. The Hospital Price Transparency Rule. Machine-readable file. Gross charges. Discounted cash prices. Payer-specific negotiated rates. We complied. We posted the file. The file is a 9,400-row CSV on our website under "Patient Financial Resources." Four clicks from the homepage. Column F: "CDM_GROSS_CHG." Column J: "DERV_PAYERID_NEGRATE." My team designed the column headers. They designed them to comply. They did not design them to communicate. CMS reported 93% of hospitals now post a file. Compliance. But only 62% of the posted data is usable. That gap is where we operate. We are compliant. The data is published. The data is incomprehensible. A researcher downloaded our file. She spent three weeks cleaning it. She called the billing department for clarification on 340 line items. They transferred her four times. The fourth transfer was to a voicemail box that was full. She published her analysis anyway. Cardiac catheterization lab charges: $8,200 to $71,000 for the same procedure depending on the payer. The report received eleven views on our press monitoring dashboard. I saw it. I did not forward it. On April 1, a new CMS rule takes effect. Hospital CEOs must personally attest — by name, encoded in the machine-readable file — that the pricing data is "true, accurate, and complete." My name. Sam Hazen. In the file. Attesting that 42,000 fictional anchors are true, accurate, and complete. They are complete. I will give them that. Forty-two thousand line items is nothing if not complete. A new analyst read the transparency data. She asked why the same MRI costs $450 for Medicare and $4,200 for Aetna in the same building on the same machine. I told her the rates reflect negotiated contractual agreements between the payer and the facility. She said that doesn't explain the difference. I told her the difference IS the contractual agreement. She said that sounds like the price is arbitrary. I told her the price is the result of a rigorous, multi-variable analysis that accounts for acuity, case mix, regional market dynamics, and payer contract terms. She asked if I could show her the analysis. I told her the analysis is proprietary. The analysis does not exist. The analysis is my team, in Q4, adjusting the chargemaster upward by the percentage the CFO wrote on a sticky note. The sticky note this year said "6-8%." They chose 7.4% because it is between six and eight and it has a decimal, which makes it look calculated. She stopped asking. The price is correct. My insurance. The executive health plan. Not in the chargemaster. Administered separately. I do not pay the gross charge. I do not pay the negotiated rate. I pay a $20 copay for services at our own facilities. Gross charge for my treatment: $14,200. Insured rate for our largest commercial payer: $8,600. I pay $20. The executive health plan was designed by the Chief Human Resources Officer and approved by the compensation committee. I was not on the compensation committee. I was a beneficiary of it. That is a different thing. I benefit from the system I price. I price the system I benefit from. These are two separate facts that happen to involve the same person. HCA Healthcare was named the Most Admired Company in our industry by Fortune magazine for the twelfth consecutive year. That was February. The same month I sold $21.5 million in company stock and purchased zero shares. Fortune did not ask about the chargemaster. I am Sam Hazen, CEO of HCA Healthcare. I have 42,000 prices in a spreadsheet across 182 hospitals. None of them are real. All of them are charged. Same drug: $12,000 or $43,000. Depends on which spreadsheet. Which building. Which contract. Which page of which PDF. The patient who has no contract pays the most. The researcher who found the discrepancy got a voicemail box that was full. The analyst who asked why stopped asking. The executive who prices the system pays $20. On April 1, I will personally attest that this is true, accurate, and complete. The price is correct. The price has always been correct. I am the price.
English
297
998
3.1K
599.3K
think(x) retweetledi
Type Theory Forall
Type Theory Forall@ttforall·
Today we honor the life and work of Sir Tony Hoare (1934–2026), one of the giants of computer science. His work shaped algorithms, programming languages, concurrency, and formal verification. In 1960, while a visiting student at Moscow State University working on a machine translation project, Hoare needed a way to sort the words of Russian sentences before looking them up in a Russian–English dictionary. His first idea was insertion sort, but this line of thinking led him to invent Quicksort — still one of the most widely used sorting algorithms in the world. In 1969 he introduced Hoare Logic in An Axiomatic Basis for Computer Programming, giving us the famous Hoare triple {P} C {Q} and launching the field of formal reasoning about programs. He also created Communicating Sequential Processes (CSP), a foundational model for concurrency and message-passing systems that influenced languages and systems for decades. Hoare also introduced null references in ALGOL W, which he later called his “billion-dollar mistake,” a candid reflection that pushed language designers toward safer type systems. For these and many other contributions he received the ACM Turing Award in 1980. Few researchers have shaped the intellectual foundations of our field so deeply. Thank you, Tony Hoare. May you rest in peace.
Type Theory Forall tweet media
English
10
105
485
14.5K
Paul Graham
Paul Graham@paulg·
Prediction: When fighting Iran gets too painful because of oil prices or polls or whatever, Trump will claim that the current state of things, whatever it happens to be, was his goal, declare victory, and retreat.
English
420
309
5.4K
340.6K
think(x) retweetledi
Ben Dicken
Ben Dicken@BenjDicken·
Celebrating the death of coding by hand with a pic of my first programming book. RIP public static void main(String[] args)
Ben Dicken tweet media
English
12
4
154
10.5K
𝓖𝓪𝓽𝓪
𝓖𝓪𝓽𝓪@omgcattt·
@BGhandehari All that money and Kevin O’ Leary somehow still looks tacky and cheap. Hilarious 💀
English
2
12
768
21.6K