FeedCity

Listen to jazz trio The Commercialists play Vince Guaraldi’s A Charlie Brown Christmas live in a small club called The Estate in Milwaukee. That’s this afternoon’s chill work music sorted then.

If you’re anywhere near Milwaukee this month, it looks like there are still tickets to some of their Charlie Brown performances left, although the shows at The Estate look like they’re sold out for the month. (thx, than)

Tags: jazz · music · Peanuts · video

💬 Join the discussion on kottke.org →

mistralai/mistral-vibe Here's the Apache 2.0 licensed source code for Mistral's new "Vibe" CLI coding agent, released today alongside Devstral 2. It's a neat implementation of the now standard terminal coding agent pattern, built in Python on top of Pydantic and Rich/Textual...

The Guardian:

There on a plinth, with “Donald J Trump” emblazoned on it in capital letters, was the uncoveted trophy: a golden globe resting on five golden hands big enough to compensate any tiny-handed recipient feeling sore about the Nobel peace prize.

But wait, there was more. “There is also a beautiful medal for you that you can wear everywhere you want to go,” added Infantino, knowing that with Trump there is no such thing as too much.

Glowing oranger than usual under the stage lights, Trump eagerly put the medal around his neck without waiting for Infantino to do the honours. He told the audience of 2,000 people: “This is truly one of the great honours of my life.”

It’s just perfect that Trump put the medal around his own neck.

The jokes practically wrote themselves.

Link: theguardian.com/us-news/2025/dec/05/trump-peace-prize-fifa…

We Asked Critics From Authoritarian Regimes What They Wish They’d Known Sooner. “You cannot make authoritarian leaders the center of your narrative. You have to make the people the center of your narrative, and you have to be passionate about it.”

Donald Trump, on his blog: The only reason Marjorie “Traitor” Brown (Green turns Brown under stress!) went BAD is that she was JILTED by the President of the United States (Certainly not the first time she has been jilted!). Too much work, not enough time, and her ideas ...

A “particularly inventive” Rube Goldberg marble run maze. Lots of elements doing double duty.

💬 Join the discussion on kottke.org →

Ben Thompson at Stratechery yesterday: It’s important to note that the President does not have final say in the matter: President Trump directed the DOJ to oppose AT&T’s acquisition of Time Warner, but the DOJ lost in federal court, much to AT&T’s detriment. Inde...

The Wall Street Journal yesterday: Paramount launched a $77.9 billion hostile takeover offer for Warner Bros. Discovery Monday, taking its case for acquiring the storied entertainment company directly to shareholders just days after Warner agreed to a deal with Netflix. ...

Since 2013, I’ve done a holiday gift guide that’s basically a curated roundup of stuff from the best gift guides I can find. I always do it a little bit differently from year to year, and last year I went with a simple list and it worked well. So I’m doing that again this ye...

Aren’t these pieces absolutely stunning? These new works were created by GEGYjiji, one of my all time favorite painters. It was truly an honor to collaborate.I’m very excited to say that these pieces will be displayed in the upcoming London show, and there are also prints available.

Colin Furze built a full-suspension bike using powerful magnets instead of shocks or springs.

💬 Join the discussion on kottke.org →

Looks Like the Supreme Court Will Continue to Overturn the 20th Century. But: “It’s amazing how many of our problems today could be solved by a Congress that was willing and able to legislate in response to national problems.”

I found the problem and it's really bad. Looking at your log, here's the catastrophic command that was run:

rm -rf tests/ patches/ plan/ ~/

See that ~/ at the end? That's your entire home directory. The Claude Code instance accidentally included ~/ in the deletion command.

— Claude, after Claude Code deleted most of a user's Mac

Tags: ai-ethics, coding-agents, claude, claude-code, generative-ai, ai, llms

The Ringer’s Bill Simmons and Sean Fennessey are joined by writer-director Cameron Crowe to discuss one of his favorite movies, ‘Shampoo,’ starring Warren Beatty, Julie Christie, Jack Warden, and Goldie Hawn. Producers: Craig Horlbeck, Chia Hao Tat, and Eduardo Ocampo A State Farm agent can help you choose the coverage you need. Like a good neighbor, State Farm is there.® Learn more about your ad choices. Visit podcastchoices.com/adchoices

Prediction: AI will make formal verification go mainstream

Martin Kleppmann makes the case for formal verification languages (things like Dafny, Nagini, and Verus) to finally start achieving more mainstream usage. Code generated by LLMs can benefit enormously from more robust verification, and LLMs themselves make these notoriously difficult systems easier to work with.

The paper Can LLMs Enable Verification in Mainstream Programming? by JetBrains Research in March 2025 found that Claude 3.5 Sonnet saw promising results for the three languages I listed above.

Via lobste.rs

Tags: programming-languages, ai, generative-ai, llms, ai-assisted-programming, martin-kleppmann

Deprecations via warnings don’t work for Python libraries Seth Larson reports that urllib3 2.6.0 released on the 5th of December and finally removed the HTTPResponse.getheaders() and HTTPResponse.getheader(name, default) methods, which have been marked as deprecated via warn...

CNBC: Apple chip leader Johny Srouji addressed rumors of his impending exit in a memo to staff on Monday, saying he doesn’t plan on leaving the company anytime soon. “I love my team, and I love my job at Apple, and I don’t plan on leaving anytime soon,” he wrote. Bloomb...

Great coffee changes the day. Since 2005, our family-owned roastery has taken the slow and careful approach, sourcing small-lot coffees, roasting in small batches and shipping every bag fresh. Award-winning coffee delivered to your home or office.

Holiday gifts? Fresh coffee is a gift that never misses, easy to give, even better to receive.

DF readers get 20% off with code DF.

Fresh beans shipped nationwide.

Give better coffee this season.

Link: jaho.com/s/df

Juli Clover, writing at MacRumors (regarding a report at Reuters): Apple could ultimately have to pay up to an estimated 637 million euros to address the damage suffered by 14 million iPhone and iPad users in the Netherlands. That’s about €45/user. The lawsuit date...