int_ijk

informed spouse and youngest that air-land battle still applies, only we're the warsaw pact forces being dorked in our time-space domain as infrastructure is weakened took jonah to the local tier-1. got greeted by name by security and reception - he wanted a sleep-over, i just wanted controled meds

They found a long-dead plague flea at the library. There is so much cool stuff to be found in old books. Not just history but also biology and even genetics in the gunk. Eraser dust from cleaning, for instance, holds information about sheep pox. Libraries are cool. www.youtube.com/shorts/xKuaG...

cats in sheet music

and eugene/springfield. drove out to oakridge and back, rain all the way, both ways.

In 1969 WMAR-TV reporter Susan White interviewed DON RICKLES on location in Yugoslavia whilst he was shooting “Kelly’s Heroes” (working title at the time “The Warriors”). RICKLES had a reputation for not letting reporters get a word in edgeways, so Susan decided to hilariously turn the tables…

kwel pic. so many q's.

beach day with jonah. he shot 13 videos, many featuring some of the ten (yes 10) seals clamming in the lagoon formed behind the north jetty. very nice day out.

Lorenzo Bresolin, Marcello Mamino Reflections on Trusting Lean https://arxiv.org/abs/2610.30433

Friend in the chat who got their PhD with me suggested the following for a t-shirt, and I would 100% wear it: "You think you can hurt me? I survived Columbia's art history department."

4 nsm in a t20, with a 250km range. cute. flatbed or flatdeck.

Adeyemi, Buckmire, Clark, Gao, Kauba, Legette-Jones, Mate, Ortega, Pab\'on, Wilson: Counting Who Counts: Black Women Mathematicians in the United States https://arxiv.org/abs/2610.27395 https://arxiv.org/pdf/2610.27395 https://arxiv.org/html/2610.27395

ymmv, but i find the fom list's explosion of detail on the ins and outs of provers and the underlying type theories the best part of the openai/math dump Frédéric Blanqui is a joy, as is Lawrence Paulson still, there is an unbelievable level of naivete: openai & anthropic chose microsoft's lean

complete agreement.

today's very odd read. www.haaretz.com/archaeology/...

lovely coffee wash. also a math pun.

Textbook distribution before the start of the school year. Tehran, #Iran. August 20, 1977. Source: Rastakhiz Daily

droll. it puts the openai/math dump and today's promise of 2x700 post-docs for two months each in context. spirit money burned before ipo time.

consistent with announcing that the cable plans transiting the straight of hormuz, and by extension, the suez/red sea cable plans, are within the legitimate target set.

dprk: under new management.

wow! even here on the wrong coast the research library has multiple versions in stacks! Garin le Lorrain : chanson de geste du XIIe siècle Garin le Loherenc

kwel! jack is going to london.

so there is like, um, no reason to read the grey lady any longer.

jonah shot 10 videos at north jetty today (while work was done at home) and spent above 90m elevated, costing us the mickey shirt from disney -- the last shirt. another dozen shirts came in today's mail. i'll take them to him in the morning. as a playwright, i'll take any scene with a passing dog.

A majestic rainbow 22° halo with impressive tangent arcs recorded in the Alps. [📹 mysockshurt1] Original post

Heavy rainfall on Hormuz Island washes iron oxide rich soil into the sea, turning the coastline blood red. Original post

from arxiv:2610.22123

Marching drop boxes at #NoKings Eugene, Oregon!

AI you can drink. a lemonade that minds a glass and melts in your mind.

big numbers. www.publishersweekly.com/pw/by-topic/...

France: Anthropic spends $413B in compute, burning $4.7B per quarter. NPV confirms, but rates are rising. The IPO doesn't settle the debts. Context: Financial growth is extremely costly. Source: https://www.pressbeat.org/the-oh-shit-actually-anthropics-amodei-and-the-13-billion-delusion/

big O notation. everything else is just cheerios.

Abraham Cupeiro plays a Roman cornu, a 3-meter curved brass horn used by Roman cornicines to relay military signals, in a duet with Sabela Caamaño on pipe organ inside Galicia's Catedral de Mondoñedo. IG: @abrahamcupeiro ~ Spain instagram.com/abrahamcupei...

In a paper I'm currently working on, I'm legitimately able to cite Lewis Carroll, Richard Lewontin, and John Milnor. I feel like I'm doing something right.

Soviet World War 3 Plans For Europe More about the plans: brilliantmaps.com/ww3-europe/

65bn in freefall, which is only 0.07% of anthropic or openai.

on the fom list today, frédéric blanqui's reply to the q re fol/zfc formalization (in $ms's lean) is a wealth of information. link to a foundational paper and links to works in coq, agda, lean, and rocq rdcu.be/EVqDx7YTGTta jfr.unibo.it/article/view... link.springer.com/content/pdf/...

The Complete Mathematical Works of Theodore J. Kaczynski, formalized in Lean 4 (someone had to check his work) github.com/micah541/kac...

Nothing special to see, just a bunch of surfing ducks. Original post

@mbwilliams.bsky.social -- a trowel story you'll enjoy.