Tootfinder

CPR renewed for another two years.
Have I mentioned how much I hate bagging mannequins? If they made CPR dummies out of soft fleshy silicone instead of hard plastic they'd seal to the BVM so much better. 50% of the time I squeeze the bag on a dummy it leaks and I barely get any chest rise.

Formally Verified Certification of Unsolvability of Temporal Planning Problems
David Wang, Mohammad Abdulaziz
https://arxiv.org/abs/2510.10189 https://arxi…

Formally Verified Certification of Unsolvability of Temporal Planning Problems
We present an approach to unsolvability certification of temporal planning. Our approach is based on encoding the planning problem into a network of timed automata, and then using an efficient model checker on the network followed by a certificate checker to certify the output of the model checker. Our approach prioritises trustworthiness of the certification: we formally verify our implementation of the encoding to timed automata using the theorem prover Isabelle/HOL and we use an existing cer…

PSA about food labeling in the US
We have a gluten detection service dog because many things that should be gluten free/say they’re gluten free are not actually gluten free.
Stuff gets contaminated when growing (e.g. next to wheat field), by shared equipment, in factories, from packaging, during transport and in-store.
Every US consumer should know:
1. The list of ingredients on food isn't exhaustive
2. Allergen labeling:
a) limited to just some allergens
b) manufacturers don't actually have to test
c) "certified" foods are tested—but not continuously
d) testing only works with enough contamination
Some certifications may require batch-testing, but usually they don't.
A "certified gluten free" product may e.g. contain oats which sometimes are contaminated with gluten—but as not every batch is tested it's impossible to know unless you test yourself (hence the service dog).
Even if the product is properly batch-tested, you might get a part of the product that has the allergen in it, whereas the tested part didn't.
Or the threshold was too low (our dog can detect gluten better than any available lab testing equipment; yes, dogs are amazing).
Food products also contain ingredients that do not have to be included on the label when they're "incidental" (included in an another ingredient) or if they're considered part of the manufacturing process but not of the final product (e.g. various coatings on factory equipment).
Don't need to list flavors or specific spices either. ¯\_(ツ)_/¯
As for allergens, only those responsible for ~90% of food allergies* have to be specifically declared, and they're not tested for as it's simply based on the ingredients list.
Good luck if you have other allergies.
*milk, egg, egg, fish, Crustacean shellfish, tree nuts, wheat, peanuts, soybeans

Just so you can guess where the "AI" thing is headed, look at this listing from a local community college
"AI made simple for everyday life"
... And look at what comes next:
"Flaggers certification"
The exciting thing (for bosses) is the idea that knowledge workers will be as interchangeable (and precarious) as DOT flaggers
#YouDeserveAUnion

#GlasgowInterfaceExplorer is now OSHWA-certified! https://certification.oshwa.org/uk000081.html
(what it is:

Vegetarian Society Reports ‘Significant Rise’ In Brands Adopting Plant-Based Certification https://plantbasednews.org/lifestyle/food/vegetarian-society-rise-plant-based-certification/

Vegetarian Society Reports 'Significant Rise' In Brands Adopting Plant-Based Certification
The UK’s Vegetarian Society has reported seeing a “significant rise” in the number of brands adopting its plant-based certification label

Learning and certification of local time-dependent quantum dynamics and noise
Daniel Stilck Fran\c{c}a, Tim M\"obus, Cambyse Rouz\'e, Albert H. Werner
https://arxiv.org/abs/2510.08500

Learning and certification of local time-dependent quantum dynamics and noise
Hamiltonian learning protocols are essential tools to benchmark quantum computers and simulators. Yet rigorous methods for time-dependent Hamiltonians and Lindbladians remain scarce despite their wide use. We close this gap by learning the time-dependent evolution of a locally interacting $n$-qubit system on a graph of effective dimension $D$ using only preparation of product Pauli eigenstates, evolution under the time-dependent generator for given times, and measurements in product Pauli bases…

Have a small plane and want to get approval for a reasonable change that requires approval? It looks like #aviation

Crosslisted article(s) found for cs.AI. https://arxiv.org/list/cs.AI/new
[7/17]:
- Formally Verified Certification of Unsolvability of Temporal Planning Problems
David Wang, Mohammad Abdulaziz

Can wood be good? Green forestry standards demystified, from FSC to SFI
https://www.theguardian.com/thefilter-us/2025/nov/01/green-forestry-certifications-fsc-sfi-wood
@livingfuture.bsky.social

Can wood be good? Green forestry standards demystified, from FSC to SFI
The tree-shaped badge on your next desk might certify the gold standard of forestry – or very little. Here’s how to tell