Chirag Goel

[KC Sivaramakrishnan @kc_srk]

I'm offering "Functional Programming with OCaml" on the NPTEL platform in July 2026 sem. Enrollment is open now.

The first 8 modules of the interactive book should be fairly stable. The rest is still in development. Sharing early in the spirit of building in the open.

[himanshu @himanshustwts]

dude i love how dwarkesh keeps scaling the podcasting experience and every time it boils down to first principles of learning

[Ihtesham Ali @ihteshamali]

PhD students right now:

[EU–INC @euinc_petition]

President Ursula von der Leyen officially announced the EU–INC today at Davos!

A single legal entity for all European founders to grow massive companies in Europe. Online incorporation in 48 hours. No more bureaucratic mess across European borders.

All of you made this happen!

[Math Cafe @Riazi_Cafe_en]

Mathematics of Choice
by Ivan Niven

PDF: https://t.co/KYzf2rGVrC

[Math Cafe @Riazi_Cafe_en]

MIT's Games, Puzzles, and Computation
by Erik Demaine

Lecture notes: https://t.co/eU4SHBujgG

[Math Cafe @Riazi_Cafe_en]

MIT's Game Theory 2024
by Muhamet Yildiz and Alexander Wolitzky

Lecture notes: https://t.co/jvS8UtpjPA

[Chirag Goel @chiggshiggs]

Life goal - dressup as light and misa with my bae someday for halloween party. #halloween2026

[Zed @zeddotdev]

🤠

[Chirag Goel @chiggshiggs]

Game of Thrones S07 E07, peak stuff🤌🤌🤌🤌

[Renç Korzay @renckorzay]

OpenAI fired this 23-year-old from their Superalignment team.

But he turned his insider knowledge into a $1.5B fund that's outperforming Wall Street by 700% this year.

He says maybe ~200 people in SF understand what's *actually* happening in AI right now.

Here's his thesis: 🧵

[Audiencon⚡️ @audiencon]

https://t.co/0a5ynN86GT

[Gary Marcus @GaryMarcus]

For years I warned that OpenAI might take a serious hit if GPT-5 was disappointing.

We finally soon see whether I was right.

In a rational world, their valuation would take a hit.

• They no longer have anything like a clear technical lead.
• GPT-5 is unlikely to be ahead of the pack for more than a couple months. (And Grok 4 Heavy is already better on the ARC-AGI-2 measure)
• Many of their best people have left.
• Many of those people left to start competitors.
• Elon is moving faster. Anthropic and Google and many others are nipping at their heels. Their relationship with Microsoft has frayed.
• OpenAI still isn’t making profit.
• Instead they are being forced to cut prices.
• People are wising up that LLMs are not in fact AGI-adjacent.
• People are becoming more skeptical about the company and its CEO.

OpenAI has the name brand recognition, and good UX. Will that be enough to sustain a $300-500B valuation?

[Chirag Goel @chiggshiggs]

Spicejet you deserved this, stop looting passengers and start flying on-time -

‘Jaw broken, spine injured’: Army official assaults SpiceJet staff over baggage fee; says he was mistreated, files FIR | Srinagar News - Times of India https://t.co/ZHEFDOKUs4

[Bart ⚡ @bzagrodzki]

Pitch your SaaS 🥳

Include a link if you've shipped it 💪

[X Freeze @XFreeze]

You can now launch Grok with just one click on your laptop....

You don't need to open Chrome anymore....

And here's how you can install it with just three simple steps...

Head to grok .com on Chrome

Step 1 ➝ Click the icon at the top-right of the search bar
Step 2 ➝ Hit “Install App” – Shortcut created instantly
Step 3 ➝ Pin it to taskbar ✅

now you're not loading the entire crap (Chrome) when you open Grok... it is much faster... Extremely efficient.....

Since there is no nonsense drama with Chrome...I just open Grok as soon as I turn on my laptop and keep it there forever.......

This simple stuff made it so much easier that I am using Grok like every other minute...

Pro Tip:
Assign a HOTKEY for the shortcut:
→ Right-click shortcut → Properties → Shortcut tab
→ Click “Shortcut key” field → Press G (auto adds Ctrl+Alt)

✅ Ctrl + Alt + G = Instant Grok

Click on any source/link inside Grok? It smart-launches your browser... This won't hold you back

This tiny change = workflow 10x better

More incoming... Stay tuned.....

[Chirag Goel @chiggshiggs]

Never flying spicejet again, 3 hr late flight and the audacity to extort 11k for extra luggage at freaking 750/Kg. Is this price/weight even legit?

[Chirag Goel @chiggshiggs]

Humanity prevailed this time, but how long is it before we start losing to AI

[Psyho @FakePsyho]

Humanity has prevailed (for now!)

I'm completely exhausted. I figured, I had 10h of sleep in the last 3 days and I'm barely alive.

I'll post more about the contest when I get some rest.

(To be clear, those are provisional results, but my lead should be big enough)

[Psyho @FakePsyho]

Humanity has prevailed (for now!)

I'm completely exhausted. I figured, I had 10h of sleep in the last 3 days and I'm barely alive.

I'll post more about the contest when I get some rest.

(To be clear, those are provisional results, but my lead should be big enough)

[sehoonkim @sehoonkim418]

Grok4 is indeed a good model, ranking #1 on every major benchmark🔥
Blogpost: https://t.co/TsYvavywhI