Foliage season is _so_ over.

Bonus points to the 7 year old saying "bro, that's Fela."

(Fela is our dog).

Video from neighbors!

(It was a small bear. Friend shaped and sized.)

Walking to school this morning, our neighbors who often walk with us drive by, and shout out the car window: “Look out for the bear! They just knocked over our trash can!”

why is this so-called "lean" proof 20,000 pages long??

hackernews: "You can always exhaustively run all Turing machines of a given size, at each step comparing the state & tape to all previous steps"

PACK IT IN Y'ALL, FIELD'S SOLVED

One weird trick to go faster by breaking the loop-carried dependency chain. Validation suites hate it!

Thanks, Google. Thoogle.

I read some post about how Mastodon consists primarily of German-speaking creatures talking in English. I'm gonna do a poll, need to test that. Boosts highy appreciated!

So, do you speak German?

Something that’s largely flown under the news radar:

The Trump administration recently made changes — capricious, xenophobic, deliberately hurtful, almost certainly illegal changes — to a program called CPT. These changes make it effectively impossible for most international students to get internships. It’s wrecked the fall plans of multiple students I know personally. I am •pissed•.

Today a coalition of educational institutions announced that they’re fighting to shut this down in court. I’m proud to say that Macalester is part of this effort — but for once we’re not unique in that. This is truly all hands on deck.

Go get ’em.

https://www.presidentsalliance.org/press/the-association-of-american-universities-presidents-alliance-on-higher-education-and-immigration-nafsa-association-of-international-educators-and-the-association-of-independent-colleges-a/

her work on constant-time algorithms was highly influential on the lo-phi indie compiler scene

Picked a good day to come back to doing Anthropeum!

Anthropeum.com · Oct 7 2026
🟩🟦🟩🟩🟩🟩🟦🟨🟨🟩
74,873 · top 15% of players today!

A sneak peek, if you will https://theonion.com/dnc-releases-preemptive-autopsy-into-why-they-lost-midterms/

He likes to jump over the railing and lie down on the skylight in the evening so everyone can look up at him from the living room below.

Nebbi is enjoying it, too.

is this AGI?

Roof garden won’t last much longer this year, but I’m enjoying it as long as it does.

Dispatches from the neighborhood email list:

"We have seen a black dog eating our garbage a couple of times. He growled at us when we approached. Does anyone know whose dog this is?"

That's a bear, Paul. A bear.

This is the funniest thing I've seen today, possibly ever