Chris Peterson

And don’t have the unlimited free access to Claude’s most advanced coding models that Anthropic’s engineers do

a man in a suit is waiting for a train at a station with a sign that says pa ALT: a man in a suit is waiting for a train at a station with a sign that says pa

Are Deutsche Bahn employees allowed to bet? 🤔

Thanks! I’ll check it out

What is the book’s title?

Plot twist: it was ChatGPT betting. 🤖

Or it was Sam and this is how he raised $110B for OpenAI this week.

Hopefully there is enough competition and free models to keep prices low.

They’ll just renew them

nope

I read that Anthropic chose to build Claude Code in TypeScript specifically because it was “on distribution”, their term for “the LLM can write it well”.

I’ve seen too many “key results” that are unmeasurable or binary, like “ship feature X”.

There was a Jetsons/Flintstones crossover film (“The Jetsons Meet the Flintstones”). The Jetsons go back in time and meet the Flintstones.

They’re part of the same timeline, so there is still hope for our own Jetsons future!

We need ad blockers for texts

Fewer humans = less (mis)communication overhead

Can you use Firefox’s History > Recently Closed Tabs menu if the keyboard shortcut doesn’t work?

support.mozilla.org/en-US/kb/bro...

Silicon Valley accurately predicted the vibe coding era.

There’s also the opportunity cost of companies building bespoke copycat software instead of focusing on their actual business

Bummer they had to paint over the beautiful brick at the bottom, probably to cover graffiti. 🧱🥺

“Galt’s Gulch Resort & Spa”

AI controls is coming to Firefox | The Mozilla Blog AI is changing the web, and people want very different things from it. We’ve heard from many who want nothing to do with AI. We’ve also heard from

For the full details, see the Firefox blog blog.mozilla.org/en/firefox/a...

They should include ChatGPT as a board member. Give it a stake in its fate.

Here's a round-up of recent security & privacy work that went into Firefox, including:

➡️ Improvements to tracker blocking
➡️ Integrity-Policy header support
➡️ Compressed Elliptic Curve Points in WebCrypto

attackanddefense.dev/2026/01/30/f...

This is why DHS wants states’ voter rolls. Voters = domestic terrorists.

A benchmark for vericoding: formally verified program synthesis We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications - in contrast to vibe coding, which generates potentially buggy code from ...

Here’s a relevant paper evaluating LLM generation of formally verified code from specifications. They compare Dafny, Verus/Rust, and Lean code written by nine different LLMs. Seems like a promising path ahead! 🤓

arxiv.org/abs/2509.22908

Flow state?

Here’s ChatGPT’s imagining of a Gormenghast Castle set. (Autocorrect changed “imagining” to “infringing” 😅)

Source: x.com/ZohranKMamda...

It’s always been hypocritical. The “Don’t Tread On Me” Gadsden flag was designed by Christopher Gadsden, a slave owner who didn’t mind treading on other people.

Sow around and see