Tootfinder

Is it safe to use toilets in your dreams?

For millions in US mobile home parks, clean and safe tap water isn't a given
https://phys.org/news/2025-07-millions-mobile-home-safe-isnt.html

In a week when the Canadian federal government strongly condemned Israel withholding aid and called human suffering in Gaza "intolerable".
City councillor Shelley Caroll of Don Valley North decided that it was the right week to publicly show her support to.. Walk with Israel. She thinks Israel is the country to support and must walk to support)
(Also present, Mike Colle, Brad Bradford, Rachel Chernos Lin, James Pasternak)

Hawaiian Airlines flights operating safely after cyberattack affects some IT systems https://therecord.media/hawaiian-airlines-cyberattack-flights-safe

Zeroize: The Tiny and Memory-Safe Rust Crate - Sensitive Data in Memory: A Hidden Threat
In a secure environment, one of the most overlooked threats is the presence of sensitive data in memory, such as passwords, tokens, cryptographic keys, or card numbers. Even when using Rust, where we emphasize ownership and thread safety, there's another crucial question to consider: What remains in the heap or stack after we no longer need it?
🛡️

Zeroize: The Tiny and Memory-Safe Rust Crate
Sensitive Data in Memory: A Hidden Threat In a secure environment, one of the most...

Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
Shuang Ao, Yi Dong, Jinwei Hu, Sarvapali Ramchurn
https://arxiv.org/abs/2506.18931

Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
Fine-tuning Large Language Models (LLMs) with Low-Rank Adaptation (LoRA) enhances adaptability while reducing computational costs. However, fine-tuning can compromise safety alignment, even with benign data, increasing susceptibility to harmful outputs. Existing safety alignment methods struggle to capture complex parameter shifts, leading to suboptimal safety-utility trade-offs. To address this issue, we propose Safe Pruning LoRA (SPLoRA), a novel pruning-based approach that selectively remove…

I've been "playing" with emacs-fj / fj.el for #guix a bit today and with the kind help of @… got it to work.
TIL:
* use latest git, the v0.6 shipped in guix is b0Rked
* in .git/config, use: url = git@codeberg.org:guix/guix.git
* (se…

A quick visualization of the Yuba River at highway 49: temperature and flow. Local wisdom is July 4 is when it's safe to swim and that seems about right on the graphs.
I knocked this together with an AI so I'm not 100% sure the visualization is correct. More notes here.

There’s No Safe Place for Legal Immigrants in Trump’s America - The American Prospect https://prospect.org/justice/2025-07-22-no-safe-place-for-legal-immigrants-trumps-america/

There’s No Safe Place for Legal Immigrants in Trump’s America
As Trump’s deportation gangs continue snatching people after scheduled court hearings, more are opting to stay home. But that comes with its own dangers.

Dewalt garden watering tools like hoses & nozzles & sprinklers (safe to get rained on all weekend) should not be colour coded the same as power tools (NOT).
#hottake #brains (It was the former.)

Prediction Says Projected Cowboys Starter’s Job ‘Not Safe’ https://heavy.com/sports/nfl/dallas-cowboys/javonte-williams-job-not-safe/?adt_ei=[email]

Sources: Meta tried to buy Safe Superintelligence earlier this year; Zuckerberg moved to recruit SSI CEO Daniel Gross after Ilya Sutskever rebuffed the offer (Kate Rooney/CNBC)
https://www.cnbc.com/2025/06/19/meta-tried-to-buy-s…

Meta tried to buy Ilya Sutskever's $32 billion AI startup, but is now planning to hire its CEO
Meta plans to hire Safe Superintelligence CEO Daniel Gross and former GitHub Nat Friedman to beef up the company's AI team, according to sources.

Zamilska woke up today and chose violence.
"
This track is dedicated to all those who do not relate to commonly exploited joyousness of Mother's Day. Who felt fear in a place that should have been safe. For whom their mother was not a source of comfort. Who had to survive their childhood. Not every mother deserves a flower.
"

There's No Safe Place for Legal Immigrants in Trump's America (Whitney Curry Wimbish/American Prospect)
https://prospect.org/justice/2025-07-22-no-safe-place-for-legal-immigrants-trumps-america/
http://www.memeorandum.com/250722/p138#a250722p138

Safe Reinforcement Learning-based Automatic Generation Control
Amr S. Mohamed, Emily Nguyen, Deepa Kundur
https://arxiv.org/abs/2507.17868 https://arxiv.or…

Safe Reinforcement Learning-based Automatic Generation Control
Amidst the growing demand for implementing advanced control and decision-making algorithms|to enhance the reliability, resilience, and stability of power systems|arises a crucial concern regarding the safety of employing machine learning techniques. While these methods can be applied to derive more optimal control decisions, they often lack safety assurances. This paper proposes a framework based on control barrier functions to facilitate safe learning and deployment of reinforcement …

You are not safe from the furries

The Singapore Consensus on Global AI Safety Research Priorities
Yoshua Bengio, Tegan Maharaj, Luke Ong, Stuart Russell, Dawn Song, Max Tegmark, Lan Xue, Ya-Qin Zhang, Stephen Casper, Wan Sie Lee, S\"oren Mindermann, Vanessa Wilfred, Vidhisha Balachandran, Fazl Barez, Michael Belinsky, Imane Bello, Malo Bourgon, Mark Brakel, Sim\'eon Campos, Duncan Cass-Beggs, Jiahao Chen, Rumman Chowdhury, Kuan Chua Seah, Jeff Clune, Juntao Dai, Agnes Delaborde, Nouha Dziri, Francisco Eiras, J…

The Singapore Consensus on Global AI Safety Research Priorities
Rapidly improving AI capabilities and autonomy hold significant promise of transformation, but are also driving vigorous debate on how to ensure that AI is safe, i.e., trustworthy, reliable, and secure. Building a trusted ecosystem is therefore essential -- it helps people embrace AI with confidence and gives maximal space for innovation while avoiding backlash. The "2025 Singapore Conference on AI (SCAI): International Scientific Exchange on AI Safety" aimed to support research in this space…

Safe trip Joopie!

A Step-by-step Guide on Nonlinear Model Predictive Control for Safe Mobile Robot Navigation
Dennis Benders, Laura Ferranti, Johannes K\"ohler
https://arxiv.org/abs/2507.17856

A Step-by-step Guide on Nonlinear Model Predictive Control for Safe Mobile Robot Navigation
Designing a Model Predictive Control (MPC) scheme that enables a mobile robot to safely navigate through an obstacle-filled environment is a complicated yet essential task in robotics. In this technical report, safety refers to ensuring that the robot respects state and input constraints while avoiding collisions with obstacles despite the presence of disturbances and measurement noise. This report offers a step-by-step approach to implementing Nonlinear Model Predictive Control (NMPC) schemes …

😎 Edible microlasers made from food-safe materials can serve as barcodes and biosensors
#optics

Edible microlasers made from food-safe materials can serve as barcodes and biosensors
If you've ever consumed food made with olive oil, there's a good chance you've unknowingly ingested materials capable of producing lasers. Researchers have recently demonstrated edible microlasers—tiny lasers made entirely from food-safe materials—that can be used for food monitoring, product authentication and tagging. These edible microlasers are composed of droplets of oil or water–glycerol mixtures doped with natural optical gain substances, such as chlorophyll (the green pigment in l…

If the abundance people were in any way shape or form serious, they'd talk less about magical growth without harms but taking away billionaires' money to lift everyone else up to a decent life.
If their theory worked, the rich folks would be very rich quickly. But why should poorer people wait to eat, have healthcare and safe housing until the magic wealth appears?
It sounds very inconsistent.

Do the #EpsteinFiles really matter? I think this is a good takedown. I do think there's value in pushing that button, but I think it's exactly for the reasons he describes.
Trump has revealed a huge contradiction in the system. Because he doesn't understand or care, he's trying to make it go away. We've been told that the system exists to keep us safe from bad people, but the reality is that the system exists to keep bad people safe from us.
https://yewtu.be/watch?v=Sy-0d1vDVd0
https://youtu.be/Sy-0d1vDVd0

I should really write that blog post about Schrödinger's Snake — explaining the hypervigilance as a woman in tech that comes from not knowing which men are safe, and which rare few are venomous
And the associated Schrödinger's Microaggression phenomenon, when we can't know whether we were treated this way because of systemic oppression or for some mundane reason

from my link log —
Some pitfalls of safe Rust.
https://corrode.dev/blog/pitfalls-of-safe-rust/
saved 2025-04-04 https://

Pitfalls of Safe Rust | corrode Rust Consulting
When people say Rust is a “safe language”, they often mean memory safety. And while memory safety is a great start, it’s far from all it takes to build robust applications. Memory safety is important but not sufficient for overall r…

First session of a new campaign and @… painted my HeroForge mini exactly correctly.
Meet Ned Gnoughuioche, first level lawful good cleric and all-around swell guy. He just wants to make sure you’re safe and have a hot tea.

Contra Karp: the way you keep people safe is by making EVERYONE feel safe.
Scared people make themselves enemies. If you make people scared, they will be your enemy FOR THAT. If you make them feel safe, they will cease to be your enemy, or at least cease to pursue the enmity.
If you spend your life trying to make your adversaries afraid of you, you’ll never be safe.

🇺🇦 #NowPlaying on #BBC6Music's #FocusBeats
Massive Attack:
🎵 Safe From Harm (just a dub)
#MassiveAttack
https://refel.bandcamp.com/track/massive-attack-safe-from-harm-refel-t-remix
https://open.spotify.com/track/4fKD8FHFZmhF9MJcipBqWU

I have always been a copyright sceptic but I wouldn't have wished AI to be the force to crash it. Time to think for new models of how to keep writing and music alive. Maybe a society deciding to prioritize guaranteeing giving everyone the possibility of a safe basic income, food, housing and health care instead of forcing them into competition hell could help? Maybe?

The Fresh And Safe Podcast
Great Australian Pods Podcast Directory: #GreatAusPods

Global ocean acidification has passed safe planetary boundary threshold: Study https://news.mongabay.com/short-article/2025/06/global-ocean-acidification-has-passed-safe-planetary-boundary-threshold-study/

Global ocean acidification has passed safe planetary boundary threshold: Study
A new assessment finds that the world’s oceans crossed the safe threshold for acidification in 2020, breaching a key planetary boundary and posing serious threats to marine life. Ocean acidification is caused when excess atmospheric carbon dioxide, resulting from human activities like burning fossil fuels, dissolves in seawater, forming carbonic acid that increases the water’s […]

The folks in Battle River-Crowfoot have the chance to do the funniest thing ever. . . .
https://www.nationalobserver.com/2025/07/17/opinion/pierre-poilievre-safe-seat-byelection-alberta

Pierre Poilievre’s safe seat isn’t so safe after all
The Conservative leader clearly thinks the byelection in Battle River-Crowfoot is going to be a cakewalk. His opponents have other ideas.

📰 Browsing Seven Mountain Mandate | Safe for Whose Whole “Family?” - Good Faith Media (https://goodfaithmedia.org/seven-mountain-mandate-safe-for-whose-whole-family/).

Assessing the Ship Motion Prediction Capabilities of the Open-Source Model NEMOH Against Field Observations
Tianshi Yu, Ziyue Wang, Filippo Nelli, Ying Tan, Guillaume Ducrozet, Alessandro Toffoli
https://arxiv.org/abs/2506.20186

Assessing the Ship Motion Prediction Capabilities of the Open-Source Model NEMOH Against Field Observations
Accurate ship motion prediction is critical for safe and efficient maritime operations, particularly in open ocean environments. This study evaluates the capability of NEMOH, an open-source potential flow boundary element solver, for predicting ship motions in real-world open ocean conditions. A linear model, known as the Response Amplitude Operator (RAO), is obtained using NEMOH, and is driven by the wave directional spectrum obtained from the WaMoS-II marine radar on the research vessel Akade…

Quasinormal modes and grey-body factors of axial gravitational perturbations of regular black holes in asymptotically safe gravity
Qi-Long Shi, Rui Wang, Wei Xiong, Peng-Cheng Li
https://arxiv.org/abs/2506.16217

Quasinormal modes and grey-body factors of axial gravitational perturbations of regular black holes in asymptotically safe gravity
In this paper, we present a detailed study of axial gravitational perturbations of the regular black hole solution in asymptotically safe gravity, as proposed in \cite{Bonanno:2023rzk}. We analyze the quasinormal mode (QNM) spectrum of this black hole using two numerical techniques: the Bernstein spectral method and the asymptotic iteration method (AIM). These approaches allow us to compute QNM frequencies with high accuracy, even for higher overtones. Our results show that the fundamental mode…

GIFT: Gradient-aware Immunization of diffusion models against malicious Fine-Tuning with safe concepts retention
Amro Abdalla, Ismail Shaheen, Dan DeGenaro, Rupayan Mallick, Bogdan Raita, Sarah Adel Bargal
https://arxiv.org/abs/2507.13598

GIFT: Gradient-aware Immunization of diffusion models against malicious Fine-Tuning with safe concepts retention
We present \textbf{GIFT}: a \textbf{G}radient-aware \textbf{I}mmunization technique to defend diffusion models against malicious \textbf{F}ine-\textbf{T}uning while preserving their ability to generate safe content. Existing safety mechanisms like safety checkers are easily bypassed, and concept erasure methods fail under adversarial fine-tuning. GIFT addresses this by framing immunization as a bi-level optimization problem: the upper-level objective degrades the model's ability to represent ha…

Enhanced Robotic Navigation in Deformable Environments using Learning from Demonstration and Dynamic Modulation
Lingyun Chen, Xinrui Zhao, Marcos P. S. Campanha, Alexander Wegener, Abdeldjallil Naceri, Abdalla Swikir, Sami Haddadin
https://arxiv.org/abs/2506.20376

Enhanced Robotic Navigation in Deformable Environments using Learning from Demonstration and Dynamic Modulation
This paper presents a novel approach for robot navigation in environments containing deformable obstacles. By integrating Learning from Demonstration (LfD) with Dynamical Systems (DS), we enable adaptive and efficient navigation in complex environments where obstacles consist of both soft and hard regions. We introduce a dynamic modulation matrix within the DS framework, allowing the system to distinguish between traversable soft regions and impassable hard areas in real-time, ensuring safe and…

How about non Europeans? Can they safely bath in EU's waters as well?
https://flipboard.com/@euronews/green-news-8pjijreoz/-/a-jJtjBPzBTfaTHp1LnzHMFQ:a:89340020-/0

Safe summer swimming: Europeans can confidently bathe in the majority of the EU's waters, report
Some 95 per cent of coastal waters in Greece and Cyprus are safe for swimming, a new report has found. From the Atlantic to the Mediterranean, …

Matter Spectral Functions from Quantum Gravity
Varun Kher, Brandon King, Daniel F. Litim, Manuel Reichert
https://arxiv.org/abs/2507.17862 https://arxiv.or…

Matter Spectral Functions from Quantum Gravity
We investigate Lorentzian quantum gravity coupled to a template matter sector with gauge fields, scalars and fermions. In the absence of quantised gravity, the matter sector by itself is renormalisable, but UV-incomplete. Provided quantum gravity offers an asymptotically safe UV-completion, we determine the photon and scalar two-point functions in the presence of gravitational fluctuations, and show that both possess a Källén-Lehmann spectral representation. Our results are achieved using fun…

📉 Home, but not safe: How poor housing is harming health
#housing

Home, but not safe: How poor housing is harming health
When Israelis think about health, they may picture hospitals, doctors, or the rising cost of prescription drugs. But a new integrative study by Jordan Hannink Attal (Hebrew University and the University of Melbourne) and Prof. Yehuda Neumark (Hebrew University) suggests the most important factor may be much closer to home—literally.

Reusing Attention for One-stage Lane Topology Understanding
Yang Li, Zongzheng Zhang, Xuchong Qiu, Xinrun Li, Ziming Liu, Leichen Wang, Ruikai Li, Zhenxin Zhu, Huan-ang Gao, Xiaojian Lin, Zhiyong Cui, Hang Zhao, Hao Zhao
https://arxiv.org/abs/2507.17617

Reusing Attention for One-stage Lane Topology Understanding
Understanding lane toplogy relationships accurately is critical for safe autonomous driving. However, existing two-stage methods suffer from inefficiencies due to error propagations and increased computational overheads. To address these challenges, we propose a one-stage architecture that simultaneously predicts traffic elements, lane centerlines and topology relationship, improving both the accuracy and inference speed of lane topology understanding for autonomous driving. Our key innovation …

"Could giving this pod of dolphins the same legal rights as humans help keep them safe?"
#Dolphins #Animals
…

The AI Safe Harbor Moratorium Undermines Mrs. Palsgraf’s Remedy
https://musictechpolicy.com/2025/05/28/the-ai-safe-harbor-moratorium-undermines-mr…

The AI Safe Harbor Moratorium Undermines Mrs. Palsgraf’s Remedy
The AI Moratorium is a rent seeker on a free ride.

Safe-Child-LLM: A Developmental Benchmark for Evaluating LLM Safety in Child-AI Interactions
Junfeng Jiao, Saleh Afroogh, Kevin Chen, Abhejay Murali, David Atkinson, Amit Dhurandhar
https://arxiv.org/abs/2506.13510

Safe-Child-LLM: A Developmental Benchmark for Evaluating LLM Safety in Child-AI Interactions
As Large Language Models (LLMs) increasingly power applications used by children and adolescents, ensuring safe and age-appropriate interactions has become an urgent ethical imperative. Despite progress in AI safety, current evaluations predominantly focus on adults, neglecting the unique vulnerabilities of minors engaging with generative AI. We introduce Safe-Child-LLM, a comprehensive benchmark and dataset for systematically assessing LLM safety across two developmental stages: children (7-12…

Coordinated Control of Autonomous Vehicles for Traffic Density Reduction at a Signalized Junction: An MPC Approach
Rudra Sen, Subashish Datta
https://arxiv.org/abs/2506.21302

Coordinated Control of Autonomous Vehicles for Traffic Density Reduction at a Signalized Junction: An MPC Approach
The effective and safe management of traffic is a key issue due to the rapid advancement of the urban transportation system. Connected autonomous vehicles (CAVs) possess the capability to connect with each other and adjacent infrastructure, presenting novel opportunities for enhancing traffic flow and coordination. This work proposes a dual-mode model predictive control (MPC) architecture that tackles two interrelated issues: mitigating traffic density at signalized junctions and facilitating s…

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- Learning Safe Strategies for Value Maximizing Buyers in Uniform Price Auctions
Negin Golrezaei, Sourav Sahoo

From Bsky (and colleague):
Cargo Bike Test Drive event is this Saturday AM in Arlington (MA). An event where owners of cargo bikes volunteer their time to help those considering cargo bikes figure out the right cargo bike for them. Test drives in a safe for newbies environment.
https://www.familybikeride.org/testdrive

Family Bike Ride - Cargo Bike Test Drive
Register Location: Thorndike Field on Minuteman Trail This will be our 9th crowd sourced event to benefit parents considering cargo bikes to transport their children by helping them to be able talk to a variety current parent owners that live in their community and try out the bikes. The goal is

All the bird types who come and feed in my small bird sanctuary (aka garden) have fledglings right now. Many of them bring the little ones along to feed. This is a great opportunity for me to learn what the various birds look like at different ages.
I can't do much about the mess the human world is in; seeing to it that there is a safe space for these young birds to splash in a bird bath and eat good, tasty food is a better activity than just screaming into the void.

Out-of-towners might not know this, but San Francisco had an officer named Brendan O'Smarty, and the streets were safe then.

Designing Value-Aligned Traffic Agents through Conflict Sensitivity
Astrid Rakow, Joe Collenette, Maike Schwammberger, Marija Slavkovik, Gleifer Vs Alves
https://arxiv.org/abs/2507.18284

Designing Value-Aligned Traffic Agents through Conflict Sensitivity
Autonomous traffic agents (ATAs) are expected to act in ways tat are not only safe, but also aligned with stakeholder values across legal, social, and moral dimensions. In this paper, we adopt an established formal model of conflict from epistemic game theory to support the development of such agents. We focus on value conflicts-situations in which agents face competing goals rooted in value-laden situations and show how conflict analysis can inform key phases of the design process. This includ…

Fins' Tagovailoa aims to 'stay available' all season https://www.espn.com/nfl/story/_/id/45486610/dolphins-tua-tagovailoa-aims-shift-my-mindset-stay-safe

Southern California Edison
PSPS All-Clear:
Due to improved weather, we did not shut off your power.
We understand that planning around outages is inconvenient. Thanks for your patience as we work to keep our communities safe.
If your power is off, please call 1-800-611-1911 or visit
sce.com/psps.
View in more languages: www.sce.com/PSPSAllClear .
To unenroll this phone number from SCE PSPS address alerts, text UNENROLL. View in ASL:

The Protesters' Guide to #Smartphone #Security
https://www.

14 June 2025 is World Blood Donor Day.
"Blood donation is a collective effort and a powerful act of solidarity. By coming together as a community of donors, we ensure a steady and safe blood supply for all who need it.

Anyone, anywhere, who needs a transfusion should have timely access to safe blood."
http…

Meta auf Einkaufstour: Weitere KI-Experten wechseln den Arbeitgeber
Apple, OpenAI, Anthropic und Safe Superintelligence verlieren KI-Experten. Meta baut sein KI-Team konsequent weiter aus.
http…

Automating Steering for Safe Multimodal Large Language Models
Lyucheng Wu, Mengru Wang, Ziwen Xu, Tri Cao, Nay Oo, Bryan Hooi, Shumin Deng
https://arxiv.org/abs/2507.13255

Automating Steering for Safe Multimodal Large Language Models
Recent progress in Multimodal Large Language Models (MLLMs) has unlocked powerful cross-modal reasoning abilities, but also raised new safety concerns, particularly when faced with adversarial multimodal inputs. To improve the safety of MLLMs during inference, we introduce a modular and adaptive inference-time intervention technology, AutoSteer, without requiring any fine-tuning of the underlying model. AutoSteer incorporates three core components: (1) a novel Safety Awareness Score (SAS) that …

Marty McFly had so many missed opportunities.
- see "Folsom Prison Blues" performed live
- save James Dean from his own driving
- see the first version of Kermit live on TV
- interfere with the founding of Westboro Baptist
- visit Disneyland on opening day
- give Emmett Till a safe ride home (in a Delorean)
Educate your kids!

VLM-Empowered Multi-Mode System for Efficient and Safe Planetary Navigation
Sinuo Cheng, Ruyi Zhou, Wenhao Feng, Huaiguang Yang, Haibo Gao, Zongquan Deng, Liang Ding
https://arxiv.org/abs/2506.16703

VLM-Empowered Multi-Mode System for Efficient and Safe Planetary Navigation
The increasingly complex and diverse planetary exploration environment requires more adaptable and flexible rover navigation strategy. In this study, we propose a VLM-empowered multi-mode system to achieve efficient while safe autonomous navigation for planetary rovers. Vision-Language Model (VLM) is used to parse scene information by image inputs to achieve a human-level understanding of terrain complexity. Based on the complexity classification, the system switches to the most suitable naviga…

Interesting and fulsome interview on exactly how NORAD reacted to the plane hijacking in Victoria/Vancouver on Tuesday. They speak to the commander of NORAD, currently a Canadian.
I appreciated the last section most though:
“It's the only bi-national command in the world; it's been a strong bi-national command since 1958, and nothing has changed.
We don't ever talk politics at work. It's not something that we do, nor does it affect what we do.
I would say that we are as tight, and probably tighter than we've ever been. As the world around us gets to be more dangerous, I would say that NORAD is even closer than it's ever been.
But one last thing — we have the watch. That's the slogan here for NORAD.
To give you a great example, all of the assessors, we all live on-base in homes that actually have a safe, we call it the SCIF. It's basically a classified room that has all of our systems. The days that you're on duty, you're either at work or in your house. Because the timelines are so small for answering the phone, you don't walk the dog; you don't do all these other things, and someone covers for you when you're going between work and home.
That's how important this mission is to us down here. It's really important for everybody in Canada to know that at NORAD, we have the watch”
#canpoli #norad #cf18
https://www.cbc.ca/news/canada/british-columbia/us-fighter-jets-bc-alleged-plane-hijacking-1.7588750

It may be advisable for NATO to consider declaring the US a potential combatant.
You can't trust the US, at least not under a #Trump administration. They are no longer willing to abide by international law. The US has gone mad. No one is safe from Trump's arbitrariness and stupidity. 🇺🇸 👎

Quantum-Safe Identity Verification using Relativistic Zero-Knowledge Proof Systems
Yao Ma, Wen Yu Kon, Jefferson Chu, Kevin Han Yong Loh, Kaushik Chakraborty, Charles Lim
https://arxiv.org/abs/2507.14324

Quantum-Safe Identity Verification using Relativistic Zero-Knowledge Proof Systems
Identity verification is the process of confirming an individual's claimed identity, which is essential in sectors like finance, healthcare, and online services to ensure security and prevent fraud. However, current password/PIN-based identity solutions are susceptible to phishing or skimming attacks, where malicious intermediaries attempt to steal credentials using fake identification portals. Alikhani et al. [Nature, 2021] began exploring identity verification through graph coloring-based rel…

I’m using the “1 Blocker” extension for iPadOS and iOS to block ads / enhance web browsing privacy:
#MediaLit

‎1Blocker - Ad Blocker
‎1Blocker lets you block obtrusive ads, sneaky trackers, and annoying elements on sites. With 1Blocker, you’re safe online and nothing will distract you from enjoying sites. 1Blocker is very easy to use — just flip a couple of switches to start blocking ads and trackers. The app will automatically r…

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hern\'an Gagliardi, Victor Braberman, Sebastian Uchitel
https://arxiv.org/abs/2506.16557

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
We present a compositional approach to controller synthesis of discrete event system controllers with linear temporal logic (LTL) goals. We exploit the modular structure of the plant to be controlled, given as a set of labelled transition systems (LTS), to mitigate state explosion that monolithic approaches to synthesis are prone to. Maximally permissive safe controllers are iteratively built for subsets of the plant LTSs by solving weaker control problems. Observational synthesis equivalence i…

Learning-based safety lifting monitoring system for cranes on construction sites
Hao Chen, Yu Hin Ng, Ching-Wei Chang, Haobo Liang, Yanke Wang
https://arxiv.org/abs/2506.20475

Learning-based safety lifting monitoring system for cranes on construction sites
Lifting on construction sites, as a frequent operation, works still with safety risks, especially for modular integrated construction (MiC) lifting due to its large weight and size, probably leading to accidents, causing damage to the modules, or more critically, posing safety hazards to on-site workers. Aiming to reduce the safety risks in lifting scenarios, we design an automated safe lifting monitoring algorithm pipeline based on learning-based methods, and deploy it on construction sites. T…

I learned something new today. #LIDAR can damage the CMOS in digital cameras.
https://www.carscoops.com/2025/05/dont-point-your-phone-at-these-c…

Q&A with Yoshua Bengio on his nonprofit LawZero focusing on AI safety, its research direction, risks of increasingly capable and autonomous AI systems, and more (Sigal Samuel/Vox)
https://www.vox.com/future-perfect/417087/ai-safety-yoshua-bengio-lawze…

He’s the godfather of AI. Now, he has a bold new plan to keep us safe from it.
Humans — not AI systems — should be the ones with agency, says the godfather of AI.

Meta Users Feel Less Safe Since It Weakened ‘Hateful Conduct’ Policy, Survey Finds https://www.404media.co/meta-users-feel-less-safe-since-it-weakened-hateful-conduct-policy-survey-finds/

Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
Zhiting Mei, Christina Zhang, Tenny Yin, Justin Lidard, Ola Shorinwa, Anirudha Majumdar
https://arxiv.org/abs/2506.18183

Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
Reasoning language models have set state-of-the-art (SOTA) records on many challenging benchmarks, enabled by multi-step reasoning induced using reinforcement learning. However, like previous language models, reasoning models are prone to generating confident, plausible responses that are incorrect (hallucinations). Knowing when and how much to trust these models is critical to the safe deployment of reasoning models in real-world applications. To this end, we explore uncertainty quantification…

'They had to use a saw': Trump reportedly burying Epstein drives pried from safe - Raw Story
https://www.rawstory.com/trump-saw-epstein-drives-safe/?utm_source=Iterable&utm_medium=email&utm_campaign=Jul.12.2025_8.56pm

Corridor-based Adaptive Control Barrier and Lyapunov Functions for Safe Mobile Robot Navigation
Nicholas Mohammad, Nicola Bezzo
https://arxiv.org/abs/2507.14700

Corridor-based Adaptive Control Barrier and Lyapunov Functions for Safe Mobile Robot Navigation
Safe navigation in unknown and cluttered environments remains a challenging problem in robotics. Model Predictive Contour Control (MPCC) has shown promise for performant obstacle avoidance by enabling precise and agile trajectory tracking, however, existing methods lack formal safety assurances. To address this issue, we propose a general Control Lyapunov Function (CLF) and Control Barrier Function (CBF) enabled MPCC framework that enforces safety constraints derived from a free-space corridor …

Ten Years After Obergefell: Is Same-Sex Marriage Safe? (Alison Gash/Washington Monthly)
https://washingtonmonthly.com/2025/06/09/is-same-sex-marriage-safe-as-anniversary-approaches/
http://www.memeorandum.com/250609/p16#a250609p16

Spacecraft Safe Robust Control Using Implicit Neural Representation for Geometrically Complex Targets in Proximity Operations
Hang Zhou, Tao Meng, Kun Wang, Chengrui Shi, Renhao Mao, Weijia Wang, Jiakun Lei
https://arxiv.org/abs/2507.13672

Spacecraft Safe Robust Control Using Implicit Neural Representation for Geometrically Complex Targets in Proximity Operations
This study addresses the challenge of ensuring safe spacecraft proximity operations, focusing on collision avoidance between a chaser spacecraft and a complex-geometry target spacecraft under disturbances. To ensure safety in such scenarios, a safe robust control framework is proposed that leverages implicit neural representations. To handle arbitrary target geometries without explicit modeling, a neural signed distance function (SDF) is learned from point cloud data via a enhanced implicit geo…

Harvard Divinity School broke precedent
by refusing to publish a video of its commencement speech
after a speaker went off-script to call attention to the perilous conditions in Gaza.
“There are no safe zones left in Gaza after 600 days and 77 years of genocide,” said Zehra Imam,
who graduated from the Harvard Divinity School this spring and participated in the embattled Religion and Public Life program.
Imam, who is Muslim, was speaking with two other students f…

A Harvard Commencement Speaker Mentioned Gaza. The School Refused to Publish Her Speech.
Divinity School insiders said Harvard’s practices are at odds with the public perception that the university is fighting Trump.

Safe Screening Rules for Group SLOPE
Runxue Bao, Quanchao Lu, Yanfu Zhang
https://arxiv.org/abs/2506.09451 https://arxiv.org/pdf/2506…

Safe Screening Rules for Group SLOPE
Variable selection is a challenging problem in high-dimensional sparse learning, especially when group structures exist. Group SLOPE performs well for the adaptive selection of groups of predictors. However, the block non-separable group effects in Group SLOPE make existing methods either invalid or inefficient. Consequently, Group SLOPE tends to incur significant computational costs and memory usage in practical high-dimensional scenarios. To overcome this issue, we introduce a safe screening …

Safe AF Podcast
Great Australian Pods Podcast Directory: #GreatAusPods

Super Bowl champion launches LGBTQ football camp, aims to create unifying safe space within sports

https://www.cbssports.com/nfl/news/super-b

Replaced article(s) found for cs.CR. https://arxiv.org/list/cs.CR/new
[1/1]:
- Quantum-Safe Hybrid Key Exchanges with KEM-Based Authentication
Christopher Battarbee, Christoph Striecks, Ludovic Perret, Sebastian Ramacher, Kevin Verhaeghe

I learned something new today. #LIDAR can damage the CMOS in digital cameras.
https://www.carscoops.com/2025/05/dont-point-your-phone-at-these-c…

NeHMO: Neural Hamilton-Jacobi Reachability Learning for Decentralized Safe Multi-Agent Motion Planning
Qingyi Chen, Ahmed H. Qureshi
https://arxiv.org/abs/2507.13940

NeHMO: Neural Hamilton-Jacobi Reachability Learning for Decentralized Safe Multi-Agent Motion Planning
Safe Multi-Agent Motion Planning (MAMP) is a significant challenge in robotics. Despite substantial advancements, existing methods often face a dilemma. Decentralized algorithms typically rely on predicting the behavior of other agents, sharing contracts, or maintaining communication for safety, while centralized approaches struggle with scalability and real-time decision-making. To address these challenges, we introduce Neural Hamilton-Jacobi Reachability Learning (HJR) for Decentralized Multi…

Ilya Sutskever becomes the CEO of Safe Superintelligence, the AI startup he co-founded after leaving OpenAI; Meta reportedly poached previous CEO Daniel Gross (Ashley Capoot/CNBC)
https://www.cnbc.com/2025/07/03/ilya-sutsk

Piecewise Control Barrier Functions for Stochastic Systems
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
https://arxiv.org/abs/2507.17703 https://arxiv.o…

Piecewise Control Barrier Functions for Stochastic Systems
This paper presents a method for the simultaneous synthesis of a barrier certificate and a safe controller for discrete-time nonlinear stochastic systems. Our approach, based on piecewise stochastic control barrier functions, reduces the synthesis problem to a minimax optimization, which we solve exactly using a dual linear program with zero gap. This enables the joint optimization of the barrier certificate and safe controller within a single formulation. The method accommodates stochastic dyn…

Safety Certification in the Latent space using Control Barrier Functions and World Models
Mehul Anand, Shishir Kolathaya
https://arxiv.org/abs/2507.13871 h…

Safety Certification in the Latent space using Control Barrier Functions and World Models
Synthesising safe controllers from visual data typically requires extensive supervised labelling of safety-critical data, which is often impractical in real-world settings. Recent advances in world models enable reliable prediction in latent spaces, opening new avenues for scalable and data-efficient safe control. In this work, we introduce a semi-supervised framework that leverages control barrier certificates (CBCs) learned in the latent space of a world model to synthesise safe visuomotor po…

Enhancing Safe and Controllable Protein Generation via Knowledge Preference Optimization
Yuhao Wang, Keyan Ding, Kehua Feng, Zeyuan Wang, Ming Qin, Xiaotong Li, Qiang Zhang, Huajun Chen
https://arxiv.org/abs/2507.10923

Enhancing Safe and Controllable Protein Generation via Knowledge Preference Optimization
Protein language models have emerged as powerful tools for sequence generation, offering substantial advantages in functional optimization and denovo design. However, these models also present significant risks of generating harmful protein sequences, such as those that enhance viral transmissibility or evade immune responses. These concerns underscore critical biosafety and ethical challenges. To address these issues, we propose a Knowledge-guided Preference Optimization (KPO) framework that i…

Lower exposure video shows the detonation more clearly
and also shows a r ank farm (visible on the right.)
https://bsky.app/profile/punkey.org/post/3lrwqx6iznk2l

Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics
Haoming Jing, Yorie Nakahira
https://arxiv.org/abs/2506.17927 https://…

Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics
Many systems contain latent variables that make their dynamics partially unidentifiable or cause distribution shifts in the observed statistics between offline and online data. However, existing control techniques often assume access to complete dynamics or perfect simulators with fully observable states, which are necessary to verify whether the system remains within a safe set (forward invariance) or safe actions are consistently feasible at all times. To address this limitation, we propose a…

Safe. Everywhere. Always. | A Canberra Community Survey
https://docs.google.com/forms/d/e/1FAIpQLSdSrRIhL9NhacbREQUPvZ-KN7VN15VelwkoXwIHFCDLq4qgHg/viewform

Safe. Everywhere. Always. | A Canberra Community Survey
Women should be safe no matter where they are, what they’re doing or what they’re wearing. In response to recent horrific events of men’s violence against women in our community, Senator for the ACT and Minister for Women Katy Gallagher is inviting all Canberra women and girls to share their experiences and ideas for change in the survey below. A summary of key findings from the survey will be made public following its conclusion, alongside a list of commitments and proposed next steps. A…

SMART-Merge Planner: A Safe Merging and Real-Time Motion Planner for Autonomous Highway On-Ramp Merging
Toktam Mohammadnejad, Jovin D'sa, Behdad Chalaki, Hossein Nourkhiz Mahjoub, Ehsan Moradi-Pari
https://arxiv.org/abs/2507.10968

SMART-Merge Planner: A Safe Merging and Real-Time Motion Planner for Autonomous Highway On-Ramp Merging
Merging onto a highway is a complex driving task that requires identifying a safe gap, adjusting speed, often interactions to create a merging gap, and completing the merge maneuver within a limited time window while maintaining safety and driving comfort. In this paper, we introduce a Safe Merging and Real-Time Merge (SMART-Merge) planner, a lattice-based motion planner designed to facilitate safe and comfortable forced merging. By deliberately adapting cost terms to the unique challenges of f…

Safe Robotic Capsule Cleaning with Integrated Transpupillary and Intraocular Optical Coherence Tomography
Yu-Ting Lai, Yasamin Foroutani, Aya Barzelay, Tsu-Chin Tsao
https://arxiv.org/abs/2507.13650

Safe Robotic Capsule Cleaning with Integrated Transpupillary and Intraocular Optical Coherence Tomography
Secondary cataract is one of the most common complications of vision loss due to the proliferation of residual lens materials that naturally grow on the lens capsule after cataract surgery. A potential treatment is capsule cleaning, a surgical procedure that requires enhanced visualization of the entire capsule and tool manipulation on the thin membrane. This article presents a robotic system capable of performing the capsule cleaning procedure by integrating a standard transpupillary and an in…

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
Aditya Singh, Aastha Mishra, Manan Tayal, Shishir Kolathaya, Pushpak Jagtap
https://arxiv.org/abs/2507.13872

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
Ensuring both performance and safety is critical for autonomous systems operating in real-world environments. While safety filters such as Control Barrier Functions (CBFs) enforce constraints by modifying nominal controllers in real time, they can become overly conservative when the nominal policy lacks safety awareness. Conversely, solving State-Constrained Optimal Control Problems (SC-OCPs) via dynamic programming offers formal guarantees but is intractable in high-dimensional systems. In thi…

Risk-Guided Diffusion: Toward Deploying Robot Foundation Models in Space, Where Failure Is Not An Option
Rohan Thakker, Adarsh Patnaik, Vince Kurtz, Jonas Frey, Jonathan Becktor, Sangwoo Moon, Rob Royce, Marcel Kaufmann, Georgios Georgakis, Pascal Roth, Joel Burdick, Marco Hutter, Shehryar Khattak
https://arxiv.org/abs/2506.1760…

Risk-Guided Diffusion: Toward Deploying Robot Foundation Models in Space, Where Failure Is Not An Option
Safe, reliable navigation in extreme, unfamiliar terrain is required for future robotic space exploration missions. Recent generative-AI methods learn semantically aware navigation policies from large, cross-embodiment datasets, but offer limited safety guarantees. Inspired by human cognitive science, we propose a risk-guided diffusion framework that fuses a fast, learned "System-1" with a slow, physics-based "System-2", sharing computation at both training and inference to couple adaptability …

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry, Haoyu Li, Ruikun Zhou, Huan Zhang, Jun Liu
https://arxiv.org/abs/2506.13961

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Analysis of nonlinear autonomous systems typically involves estimating domains of attraction, which have been a topic of extensive research interest for decades. Despite that, accurately estimating domains of attraction for nonlinear systems remains a challenging task, where existing methods are conservative or limited to low-dimensional systems. The estimation becomes even more challenging when accounting for state constraints. In this work, we propose a framework to accurately estimate safe (…

Safety Assurance for Quadrotor Kinodynamic Motion Planning
Theodoros Tavoulareas, Marzia Cescon
https://arxiv.org/abs/2507.17679 https://arxiv.org/pdf/2507…

Safety Assurance for Quadrotor Kinodynamic Motion Planning
Autonomous drones have gained considerable attention for applications in real-world scenarios, such as search and rescue, inspection, and delivery. As their use becomes ever more pervasive in civilian applications, failure to ensure safe operation can lead to physical damage to the system, environmental pollution, and even loss of human life. Recent work has demonstrated that motion planning techniques effectively generate a collision-free trajectory during navigation. However, these methods, w…

Conformal Safety Shielding for Imperfect-Perception Agents
William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
https://arxiv.org/abs/2506.17275

Conformal Safety Shielding for Imperfect-Perception Agents
We consider the problem of safe control in discrete autonomous agents that use learned components for imperfect perception (or more generally, state estimation) from high-dimensional observations. We propose a shield construction that provides run-time safety guarantees under perception errors by restricting the actions available to an agent, modeled as a Markov decision process, as a function of the state estimates. Our construction uses conformal prediction for the perception component, which…

Adaptive Relative Pose Estimation Framework with Dual Noise Tuning for Safe Approaching Maneuvers
Batu Candan, Simone Servadio
https://arxiv.org/abs/2507.16214

Replaced article(s) found for eess.SY. https://arxiv.org/list/eess.SY/new
[1/1]:
- Safe Trajectory Sets for Online Operation of Power Systems under Uncertainty
Florian Klein-Helmkamp, Tina M\"ollemann, Irina Zettl, Steffen Kortmann, Andreas Ulbig

Rapid and Safe Trajectory Planning over Diverse Scenes through Diffusion Composition
Wule Mao, Zhouheng Li, Yunhao Luo, Yilun Du, Lei Xie
https://arxiv.org/abs/2507.04384

Rapid and Safe Trajectory Planning over Diverse Scenes through Diffusion Composition
Safe trajectory planning remains a significant challenge in complex environments, where traditional methods often trade off computational efficiency for safety. Comprehensive obstacle modeling improves safety but is computationally expensive, while approximate methods are more efficient but may compromise safety. To address this issue, this paper introduces a rapid and safe trajectory planning framework based on state-based diffusion models. Leveraging only low-dimensional vehicle states, the d…