Tootfinder

from my link log —
A programmer's field guide to assertions.
https://typesanitizer.com/blog/assertions.html
saved 2025-08-17 …

“Great Badges!!”
For the #accordion crowd who refuses to be pro-fascist
https://accordionbruce.etsy.com/listing/1344908552

US DNI Tulsi Gabbard says the UK has agreed to drop its mandate requiring Apple to provide a backdoor for accessing users' encrypted data (Kanishka Singh/Reuters)
https://www.reuters.com/sustainability/boa

Hot, cold, and multi-component accretion flows around supermassive black hole binaries
Christopher Tiede, Daniel J. D'Orazio
https://arxiv.org/abs/2508.11748 https://…

Hot, cold, and multi-component accretion flows around supermassive black hole binaries
We develop a model for supermassive black hole binaries (SMBHBs) accreting below their Eddington limit, focusing on systems where hot, advection-dominated flows become viable. We specifically explore the spectral appearance of multi-component accretion flows where the solution can independently transition between cold, thin disks and hot, advection-dominated torii depending on the local accretion rate. Using a three-disk model, we compute spectral energy distributions for four possible accretio…

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao, Tiancheng Wang, Huawei Li
https://arxiv.org/abs/2509.14668

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
Assertion-Based Verification (ABV) is a crucial method for ensuring that logic designs conform to their architectural specifications. However, existing assertion generation methods primarily rely on information either from the design specification, or register-transfer level (RTL) code. The former methods are typically limited to generating assertions for the top-level design. As the top-level design is composed of different modules without module-level specifications, they are unable to genera…

Mathew Dowd, the political analyst fired by MSNBC over his Charlie Kirk commentary,

says his former employer agreed with him that his remarks were being misconstrued as “insensitive”
– but said “it didn’t matter” to the network, and they dismissed him anyway.

Bucs' McMillan out with 'severely strained neck' https://www.espn.com/nfl/story/_/id/46016094/bucs-wr-jalen-mcmillan-neck-miss-awkward-fall

Punk’s 10 Best Accordion Players: A Tribute to Squeezebox Rockers
(Discuss)
https://dyingscene.com/archive/heroes-of-the-punk-accordion-a-tribute-to-squeezebox-rockers/
This is a few years old so there’s been some lineup chang…

The Italian port of Ravenna on Thursday refused to load two containers filled with explosives for shipment to Israel,
following a request by local authorities,
according to a statement issued by the city’s municipality.
Ravenna’s mayor, Alessandro Barattoni, said in a statement: 
“Thanks to courageous dockers,
we were informed last night of the scheduled arrival today of two containers to the Ravenna port” 
Ravenna, along with provincial leaders and the re…

Italian port refuses to load containers of explosives bound for Israel
The Italian port of Ravenna on Thursday refused to load two containers filled with explosives for shipment to Israel, following a request by local authorities, according to a statement issued by th…

Let's be clear; the Senate Dems' government funding bill received a majority, 47-45, but was blocked by a GOP filibuster.
The Senate GOP's funding bill failed, receiving 44 yes votes to 48 no votes.
Please make sure you report accurately.
@nytimes.com @talkingpointsmemo.com @washingtonpost.com
https://

Lee Fink (@leekfink.bsky.social)
Let's be clear; the Senate Dems' government funding bill received a majority, 47-45, but was blocked by a GOP filibuster. The Senate GOP's funding bill failed, receiving 44 yes votes to 48 no votes. Please make sure you report accurately. @nytimes.com @talkingpointsmemo.com @washingtonpost.com