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

LOL!
I'd also be protesting if I were Malaysian. 😂
https://assortedflotsam.com/@NewsBot/114875349534575720

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…

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…

So, in an effort to not be locked into only a few companies, I found via @… alternatives to google translate.
https://www.deepl.com/

DeepL Translate: The world's most accurate translator
Translate texts & full document files instantly. Accurate translations for individuals and Teams. Millions translate with DeepL every day.

And it again means absolutely nothing.
When are people going to learn to stop acting as if the orange goon's bullshit is anything other than bullshit?
https://assortedflotsam.com/@NewsBot/115226176874391087

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…