FeedCity

Justin Elliott, Robert Faturechi, and Alex Mierjeski, reporting for ProPublica: For months, the Trump administration has been accusing its political enemies of mortgage fraud for claiming more than one primary residence. President Donald Trump branded one foe who did so ...

Joe Flint, Brian Schwartz, and Natalie Andrews, reporting for The Wall Street Journal (gift link, also in News+): “Just tried calling you about new bid we have submitted,” Ellison texted Zaslav. “I heard you on all your concerns and believe we have addressed them in our ...

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

We visit the taverns of colonial America to take a frothy sip of the hot ale flip and how it helped pave the way for contemporary mixology.

 

Hosted by Simplecast, an AdsWizz company. See pcm.adswizz.com for information about our collection and use of personal data for advertising.

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...