Tootfinder

"Mommy, I want a retro train!" "We have a retro train at home."
#Retro #train at home:
(It's non-modernized EN57-1278 in #Leszno. Unusual in these parts, apparently arrived from Wrocław. No, it doesn't have AC. But it's likely they've mounted a vacuum toilet already.)

Wikipedia has a population density map for Merrimack County now, and I just want to say how proud I am of how sharp the contrast is between the red and green areas in Concord: https://en.wikipedia.org/wiki/File:Merrimack_County_population_density.png
(Bow is a bit of a problem, though)

Modern programmers: "oh, let's hijack all #Python package managers in your bashrc without asking for consent, what could possibly go wrong."
And the best joke is, I didn't even really install the package — I was just making a random bugfix and running its test suite in a virtual environment.
#Gentoo #security

Worries of a typical Polish person: "I need to get a better car. Although I only use it to commute to work, one day I may need to transport a plane, and then it will turn out that my truck is not big enough!"
#FuckCars

I'm beyond excited that we're taking Heiner Müller's "Quartet" to the Edinburgh Fringe from Aug 4 thru Aug 9.
If you're in town, check us out. (Or if not, consider coming - the Fringe is a great place for a vacation!)
https://www.theater-u34.de/quartet/

Surprisingly, it (FaceID) actually worked properly when I unlocked my phone to take this pic mid-beard-trim:

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.

While stuck in Ilulissat I have tried to deal with the email backlog (again). But they come in way faster than I can deal with them.
I love the idea of inbox 0 but would literally achieve nothing else if I practiced it, and work would be very boring.
Anyone have suggestions for good systems that work for overwhelming numbers of emails?
I receive around 50-60 a day, at least half of them need me to do something, often something substantial so they're not just for info. #LifeOfAScientist #Emails #EmailEttiquette

Didn't take long. Brother's kid came, and tried to put an airplane onto a truck.

19.000 Kilometer dichter dran: US-Startup will GPS-Alternative liefern
Das US-Startup Xona Space Systems plant eine erdnahe GPS-Alternative. 258 Satelliten sollen präzisere und störungsresistentere Navigationsdaten liefern.

The lethal trifecta for #AI agents: private data, untrusted content, and external communication
https://simonwillison.net/2025/Jun/16/the-lethal-trifecta/

Can Smart Technology Help Decarbonise the UK Heat System? (2019) - Brief notes on learnings from the Energy Systems Catapult Smart Systems and Heat (SSH) programme. - https://www.earth.org.uk/Smart-Systems-and-Heat-Phase-2-learnings.html

Can Smart Technology Help Decarbonise the UK Heat System? (2019)
Brief notes on learnings from the Energy Systems Catapult Smart Systems and Heat (SSH) programme.

@… I’m very much in the same boat, but given that there’s Akrapovič, well-known manufacturer of exhaust systems for motorcycles and performance cars, I could very well imagine someone saying, “bro, I had an Akropovič exhaust fitted to my Kosmaczewski MX-100, it’s so freaking fast now, gotta install Piotrowski brakes!”

@… I’m very much in the same boat, but given that there’s Akrapovič, well-known manufacturer of exhaust systems for motorcycles and performance cars, I could very well imagine someone saying, “bro, I had an Akropovič exhaust fitted to my Kosmaczewski MX-100, it’s so freaking fast now, gotta install Piotrowski brakes!”

Upcoming GÉANT infoshare - Part 2 🚀
🔐 Quantum KMS Architectures and Services
This session will explore the key aspects of Key Management Systems (KMS) in enabling secure, scalable Quantum Key Distribution. Gain insights on architecture, standardisation, and integration—from both research and industry voices.
🔗 Sign up here: https://…

Infoshare: Quantum KMS Architectures and Services
The infoshare will focus on the aspects of Key Management Systems (KMS) for Quantum Key Distribution systems. KMS is a crucial component that allows to build, manage, scale QKD networks, define the interfaces for key delivery. The presentations will show KMS architectures, standardization, integration examples and strategies. KMS technologies are integral part of EuroQCI infrastructure and interconnectivity. The presentations will be provided by research institutions and also companies.The...

This https://arxiv.org/abs/2409.19434 has been replaced.
link: https://scholar.google.com/scholar?q=a

Energy-Efficient Computation with DVFS using Deep Reinforcement Learning for Multi-Task Systems in Edge Computing
Finding an optimal energy-efficient policy that is adaptable to underlying edge devices while meeting deadlines for tasks has always been challenging. This research studies generalized systems with multi-task, multi-deadline scenarios with reinforcement learning-based DVFS for energy saving for periodic soft real-time applications on edge devices. This work addresses the limitation of previous work that models a periodic system as a single task and single-deadline scenario, which is too simplif…

A Tale of Two Systems: Characterizing Architectural Complexity on Machine Learning-Enabled Systems
Renato Cordeiro Ferreira (University of S\~ao Paulo, Jheronimus Academy of Data Science, Technical University of Eindhoven, Tilburg University)
https://arxiv.org/abs/2506.11295

A Tale of Two Systems: Characterizing Architectural Complexity on Machine Learning-Enabled Systems
How can the complexity of ML-enabled systems be managed effectively? The goal of this research is to investigate how complexity affects ML-Enabled Systems (MLES). To address this question, this research aims to introduce a metrics-based architectural model to characterize the complexity of MLES. The goal is to support architectural decisions, providing a guideline for the inception and growth of these systems. This paper brings, side-by-side, the architecture representation of two systems that …

"We think of generating source code from a prompt as an AI-powered feature of modern IDEs, but the general problem has a rich history in research efforts and domain-specific programming systems." Join William Benton at this year's Berlin Buzzwords to hear him talk about the history of program synthesis, its relationship to the history of AI, and the lessons we can learn from it today.
Learn more:

from my link log —
What is systems programming, really?
https://willcrichton.net/notes/systems-programming/
saved 2024-10-10

Purely quantum memory in closed systems observed via imperfect measurements
Jorge Tabanera-Bravo, Alja\v{z} Godec
https://arxiv.org/abs/2506.13689 https://…

Purely quantum memory in closed systems observed via imperfect measurements
The detection and quantification of non-Markovianity, a.k.a. memory, in quantum systems is a central problem in the theory of open quantum systems. There memory is as a result of the interaction between the system and its environment. Little is known, however, about memory effects induced by imperfect measurements on closed systems, where an entanglement with the environment is not possible. We investigate the emergence and characteristics of memory in closed systems observed via imperfect stro…

Since Kristi Noem doesn't appear to know what habeas corpus is, I'm updating my fantasy version of the Constitution (where I imagine how I might edit it) to spell it out a bit more explicitly:
https://github.com/cooljeanius/w_Constitution/compare/f0deb279b70e2768ff16e53ceb00896b82f67259...ca1304a3c0ecb78f50f263d5bfedda0f3a08b78e

A Logic For Fresh Labelled Transition Systems
Mohamed H Bandukara, Nikos Tzevelekos
https://arxiv.org/abs/2506.14538 https://arxiv.or…

A Logic For Fresh Labelled Transition Systems
We introduce a Hennessy-Milner logic with recursion for Fresh Labelled Transition Systems (FLTSs). These are nominal labelled transition systems which keep track of the history, i.e. of data values seen so far, and can capture fresh data generation. In particular, FLTSs generalise the computations of Fresh-Register Automata, which in turn are one of the simplest classes of history-dependent automata operating on infinite input alphabets. Each automaton comes equipped with a finite set of regist…

ADRD: LLM-Driven Autonomous Driving Based on Rule-based Decision Systems
Fanzhi Zeng, Siqi Wang, Chuzhao Zhu, Li Li
https://arxiv.org/abs/2506.14299 https:…

ADRD: LLM-Driven Autonomous Driving Based on Rule-based Decision Systems
How to construct an interpretable autonomous driving decision-making system has become a focal point in academic research. In this study, we propose a novel approach that leverages large language models (LLMs) to generate executable, rule-based decision systems to address this challenge. Specifically, harnessing the strong reasoning and programming capabilities of LLMs, we introduce the ADRD(LLM-Driven Autonomous Driving Based on Rule-based Decision Systems) framework, which integrates three co…

So I didn't eat ice cream for 3 years, because sugar.
Recently I've looked at a random label, and it turns out there are ice cream that don't have that much sugar after all.
Three years of life irrevocably lost.
#t1d #diabetes

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 (…

Projected integral control of impedance passive nonlinear systems
Nicolas Vanspranghe (CRAN), Pietro Lorenzetti (CRAN), Lassi Paunonen (TUT), George Weiss (TAU)
https://arxiv.org/abs/2506.14267

Projected integral control of impedance passive nonlinear systems
We propose an abstract framework for solving the constrained set-point tracking problem for impedance passive infinite-dimensional nonlinear systems. The class of systems considered is governed by monotone differential inclusions and allows us to exploit the theory of contraction semigroups. To account for possible operational constraints, e.g., bounds on the input, we replace a classical integral controller with a projected integral controller. This guarantees that the integrator state remains…

HR-VILAGE-3K3M: A Human Respiratory Viral Immunization Longitudinal Gene Expression Dataset for Systems Immunity
Xuejun Sun, Yiran Song, Xiaochen Zhou, Ruilie Cai, Yu Zhang, Xinyi Li, Rui Peng, Jialiu Xie, Yuanyuan Yan, Muyao Tang, Prem Lakshmanane, Baiming Zou, James S. Hagood, Raymond J. Pickles, Didong Li, Fei Zou, Xiaojing Zheng
https://

HR-VILAGE-3K3M: A Human Respiratory Viral Immunization Longitudinal Gene Expression Dataset for Systems Immunity
Respiratory viral infections pose a global health burden, yet the cellular immune responses driving protection or pathology remain unclear. Natural infection cohorts often lack pre-exposure baseline data and structured temporal sampling. In contrast, inoculation and vaccination trials generate insightful longitudinal transcriptomic data. However, the scattering of these datasets across platforms, along with inconsistent metadata and preprocessing procedure, hinders AI-driven discovery. To addre…

A Contemporary Survey on Fluid Antenna Systems: Fundamentals and Networking Perspectives
Hanjiang Hong, Kai-Kit Wong, Hao Xu, Xinghao Guo, Farshad Rostami Ghadi, Yu Chen, Yin Xu, Chan-Byoung Chae, Baiyang Liu, Kin-Fai Tong, Yangyang Zhang
https://arxiv.org/abs/2506.13317

A Contemporary Survey on Fluid Antenna Systems: Fundamentals and Networking Perspectives
The explosive growth of teletraffic, fueled by the convergence of cyber-physical systems and data-intensive applications, such as the Internet of Things (IoT), autonomous systems, and immersive communications, demands a multidisciplinary suite of innovative solutions across the physical and network layers. Fluid antenna systems (FAS) represent a transformative advancement in antenna design, offering enhanced spatial degrees of freedom through dynamic reconfigurability. By exploiting spatial fle…

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation
Alexander Geiger, Immanuel Hacker, \"Omer Sen, Andreas Ulbig
https://arxiv.org/abs/2506.12466

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation
The increasing complexity of cyberphysical power systems leads to larger attack surfaces to be exploited by malicious actors and a higher risk of faults through misconfiguration. We propose to meet those risks with a declarative approach to describe cyberphysical power systems and to automatically evaluate security and safety controls. We leverage Semantic Web technologies as a well-standardized framework, providing languages to specify ontologies, rules and shape constraints. We model infrastr…

Tonga Ministry of Health hit with cyberattack affecting website, IT systems https://therecord.media/tonga-ministry-of-health-hit-with-cyberattack

Subjective Experience in AI Systems: What Do AI Researchers and the Public Believe?
Noemi Dreksler, Lucius Caviola, David Chalmers, Carter Allen, Alex Rand, Joshua Lewis, Philip Waggoner, Kate Mays, Jeff Sebo
https://arxiv.org/abs/2506.11945

Subjective Experience in AI Systems: What Do AI Researchers and the Public Believe?
We surveyed 582 AI researchers who have published in leading AI venues and 838 nationally representative US participants about their views on the potential development of AI systems with subjective experience and how such systems should be treated and governed. When asked to estimate the chances that such systems will exist on specific dates, the median responses were 1% (AI researchers) and 5% (public) by 2024, 25% and 30% by 2034, and 70% and 60% by 2100, respectively. The median member of th…

Thermodynamic control of non-equilibrium systems
Dana Kamp, Karel Proesmans
https://arxiv.org/abs/2506.14416 https://arxiv.org/pdf/25…

Thermodynamic control of non-equilibrium systems
We study the thermodynamic cost associated with driving systems between different non-equilibrium steady states. In particular, we combine a linear-response framework for non-equilibrium Markov systems with Lagrangian techniques to minimize the dissipation associated with driving processes. We then apply our framework to a simple toy model. Our results show several remarkable properties for the optimal protocol, such as diverging parameters and finite entropy production in the slow-driving limi…

Enhancing eLoran Timing Accuracy via Machine Learning with Meteorological and Terrain Data
Taewon Kang, Seunghyeon Park, Pyo-Woong Son, Jiwon Seo
https://arxiv.org/abs/2506.15235 …

Enhancing eLoran Timing Accuracy via Machine Learning with Meteorological and Terrain Data
The vulnerabilities of global navigation satellite systems (GNSS) to signal interference have increased the demand for complementary positioning, navigation, and timing (PNT) systems. To address this, South Korea has decided to deploy an enhanced long-range navigation (eLoran) system as a complementary PNT solution. Similar to GNSS, eLoran provides highly accurate timing information, which is essential for applications such as telecommunications, financial systems, and power distribution. Howev…

"The jury found that two of Lindell’s statements about Eric Coomer, the former security and product strategy director at Denver-based Dominion Voting Systems, including calling him a traitor, were defamatory."
https://apnews.com/article/mike-lindel…

Jury finds MyPillow founder defamed former employee for a leading voting equipment company
A federal jury in Colorado has found MyPillow founder Mike Lindell defamed a former employee for a leading voting equipment company. Jurors reached the verdict Monday for Lindell, one of the nation’s most prominent election conspiracy theorists. He had called the employee for Dominion Voting Systems, Eric Coomer, a traitor. Lindell’s online media platform also streamed an event where a conservative podcaster accused Coomer of helping rig the 2020 election. During the trial in Denver, Lindel…

#NHPolitics https://www.boston.com/news/business/2025/05/19/campaign-against-an-airline-that-flies-deportees-sets-off-a-legal-fight/

Multi-Agent, Multi-Scale Systems with the Koopman Operator
Craig Bakker
https://arxiv.org/abs/2506.15589 https://arxiv.org/pdf/2506.1…

Multi-Agent, Multi-Scale Systems with the Koopman Operator
The Koopman Operator (KO) takes nonlinear state dynamics and ``lifts'' those dynamics to an infinite-dimensional functional space of observables in which those dynamics are linear. Computational applications typically use a finite-dimensional approximation to the KO. The KO can also be applied to controlled dynamical systems, and the linearity of the KO then facilitates analysis and control calculations. In principle, the potential benefits provided by the KO, and the way that it facilitates th…

PermRust: A Token-based Permission System for Rust
Lukas Gehring, Sebastian Rehms, Florian Tschorsch
https://arxiv.org/abs/2506.11701 https://

PermRust: A Token-based Permission System for Rust
Permission systems which restrict access to system resources are a well-established technology in operating systems, especially for smartphones. However, as such systems are implemented in the operating system they can at most manage access on the process-level. Since moderns software often (re)uses code from third-parties libraries, a permission system for libraries can be desirable to enhance security. In this short-paper, we adapt concepts from capability systems building a novel theoretical…

A Survey of Physics-Informed AI for Complex Urban Systems
En Xu, Huandong Wang, Yunke Zhang, Sibo Li, Yinzhou Tang, Zhilun Zhou, Yuming Lin, Yuan Yuan, Xiaochen Fan, Jingtao Ding, Yong Li
https://arxiv.org/abs/2506.13777

A Survey of Physics-Informed AI for Complex Urban Systems
Urban systems are typical examples of complex systems, where the integration of physics-based modeling with artificial intelligence (AI) presents a promising paradigm for enhancing predictive accuracy, interpretability, and decision-making. In this context, AI excels at capturing complex, nonlinear relationships, while physics-based models ensure consistency with real-world laws and provide interpretable insights. We provide a comprehensive review of physics-informed AI methods in urban applica…

From Static to Dynamic: Exploring Temporal Networks in Systems Biology
Abir Khazaal, Fatemeh Vafaee
https://arxiv.org/abs/2505.10741 https://

From Static to Dynamic: Exploring Temporal Networks in Systems Biology
Network science has become an essential interdisciplinary tool for understanding complex biological systems. However, because these systems undergo continuous, often stimulus-driven changes in both structure and function, traditional static network approaches frequently fall short in capturing their dynamic nature. Dynamic network analysis (DNA) addresses this limitation and offers a powerful framework to investigate these evolving relationships. This work focuses on temporal networks, a centra…

Now whose genius idea was it to limit calendar event colors to precisely the named colors of CSS in RFC7986, which were never intended as a sole palette because CSS also supports hex colors? 🤯
(Explicitly *not* blaming the author here; this probably comes from legacy systems and was reviewed by any number of people that could have caught it.)
#iCal

I don't recall at what time my train departs, but I do recall what time I set the wake-up alarm for, so I can approximately infer the former. Brains are a crazy thing.

Microphysical Origins of Gravitational Potentials in Astrophysical Systems
Meir Shimon
https://arxiv.org/abs/2506.13528 https://arxiv…

Microphysical Origins of Gravitational Potentials in Astrophysical Systems
Most astrophysical systems (except for very compact objects such as, e.g., black holes and neutron stars) in our universe are characterized by shallow gravitational potentials, with dimensionless compactness parameter. While the existence and characteristic scales of such virialized systems depend on gravity, we demonstrate that the value of the compactness -- and thus the non-relativistic nature of most astrophysical objects -- arises from microphysical parameters, specifically the fine struct…

Impact of a Deployed LLM Survey Creation Tool through the IS Success Model
Peng Jiang, Vinicius Cezar Monteiro de Lira, Antonio Maiorino
https://arxiv.org/abs/2506.14809

Impact of a Deployed LLM Survey Creation Tool through the IS Success Model
Surveys are a cornerstone of Information Systems (IS) research, yet creating high-quality surveys remains labor-intensive, requiring both domain expertise and methodological rigor. With the evolution of large language models (LLMs), new opportunities emerge to automate survey generation. This paper presents the real-world deployment of an LLM-powered system designed to accelerate data collection while maintaining survey quality. Deploying such systems in production introduces real-world complex…

An efficient co-simulation and control approach to tackle complex multi-domain energetic systems: concepts and applications of the PEGASE platform
Mathieu Vallee (DTCH), Roland Baviere (DTCH), Val\'erie Seguin (DTCH), Val\'ery Vuillerme (DTCH), Nicolas Lamaison (DTCH), Michael Nikhil Descamps (DTCH), Antoine Aurousseau (DTCH)
https://

An efficient co-simulation and control approach to tackle complex multi-domain energetic systems: concepts and applications of the PEGASE platform
In this paper, we present a novel research software, called PEGASE, suitable for the design, validation and deployment of advanced control strategies for complex multi-domain energy systems. PEGASE especially features a highly efficient cosimulation engine, together with integrated solutions for defining both rule-based control strategies and Model-Predictive Control (MPC). The main principle behind the PEGASE platform is divide-and-conquer. Indeed, rather than trying to solve a problem as a mo…

You know what I really have about "long weekends"?
Not just the timetable changes — but the fact that for smaller bus companies, you just can't find any information whether they follow the regular timetable or the weekend timetable. And both timetables are so disjoint that you can't simply choose one bus that would run either way.
#PublicTransport

Code Researcher: Deep Research Agent for Large Systems Code and Commit History
Ramneet Singh, Sathvik Joel, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna B Bairi, Aditya Kanade, Nagarajan Natarajan
https://arxiv.org/abs/2506.11060

Code Researcher: Deep Research Agent for Large Systems Code and Commit History
Large Language Model (LLM)-based coding agents have shown promising results on coding benchmarks, but their effectiveness on systems code remains underexplored. Due to the size and complexities of systems code, making changes to a systems codebase is a daunting task, even for humans. It requires researching about many pieces of context, derived from the large codebase and its massive commit history, before making changes. Inspired by the recent progress on deep research agents, we design the fi…

[2025-05-22 Thu (UTC), no new articles found for cs.OS Operating Systems]
#toXiv_bot_toot

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
Craig Steven Wright
https://arxiv.org/abs/2506.13246

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
This paper presents a formalised architecture for synthetic agents designed to retain immutable memory, verifiable reasoning, and constrained epistemic growth. Traditional AI systems rely on mutable, opaque statistical models prone to epistemic drift and historical revisionism. In contrast, we introduce the concept of the Merkle Automaton, a cryptographically anchored, deterministic computational framework that integrates formal automata theory with blockchain-based commitments. Each agent tran…

A Data-Integrated Framework for Learning Fractional-Order Nonlinear Dynamical Systems
Bahram Yaghooti, Chengyu Li, Bruno Sinopoli
https://arxiv.org/abs/2506.15665

A Data-Integrated Framework for Learning Fractional-Order Nonlinear Dynamical Systems
This paper presents a data-integrated framework for learning the dynamics of fractional-order nonlinear systems in both discrete-time and continuous-time settings. The proposed framework consists of two main steps. In the first step, input-output experiments are designed to generate the necessary datasets for learning the system dynamics, including the fractional order, the drift vector field, and the control vector field. In the second step, these datasets, along with the memory-dependent prop…

Scale AI emphasizes that it remains an independent company and says Meta will not have access to Scale's internal systems or customers' confidential information (Scale AI)
https://scale.com/blog/customer-trust-scale-meta-deal

Scale Remains Independent After Meta Investment | Scale
Customer trust and data security remain Scale’s top priorities.

I've managed to narrow down my photos from yesterday's #NoKings protest here in Concord NH to just 4 for this platform. #NHPolitics

Normal forms of piecewise-smooth systems with a monodromic singular point
Jiahao Li, Xingwu Chen, Weinian Zhang
https://arxiv.org/abs/2506.13200 https://…

Normal forms of piecewise-smooth systems with a monodromic singular point
Normal form theory is developed deeply for planar smooth systems but has few results for piecewise-smooth systems because difficulties arise from continuity of the near-identity transformation, which is constructed piecewise. In this paper, we overcome the difficulties to study normal forms for piecewise-smooth systems with FF, FP, or PP equilibrium and obtain explicit any-order normal forms by finding piecewise-analytic homeomorphisms and deriving a new normal form for analytic syste…

Benchmarks for protocol control in nonequilibrium statistical mechanics
Stephen Whitelam, Corneel Casert, Megan Engel, Isaac Tamblyn
https://arxiv.org/abs/2506.15122

Benchmarks for protocol control in nonequilibrium statistical mechanics
We present a set of computer codes designed to test methods for optimizing time-dependent control protocols in fluctuating nonequilibrium systems. Each problem consists of a stochastic model, an optimization objective, and C++ and Python implementations that can be run on Unix-like systems. These benchmark systems are simple enough to run on a laptop, but challenging enough to test the capabilities of modern optimization methods. This release includes five problems and a worked example. The pro…

SIC-Free Rate-Splitting Multiple Access: Constellation-Constrained Optimization and Application to Large-Scale Systems
Sibo Zhang, Bruno Clerckx, David Vargas
https://arxiv.org/abs/2506.12668

SIC-Free Rate-Splitting Multiple Access: Constellation-Constrained Optimization and Application to Large-Scale Systems
Rate-Splitting Multiple Access (RSMA) has been recognized as a promising multiple access technique for future wireless communication systems. Recent research demonstrates that RSMA can maintain its superiority without relying on Successive Interference Cancellation (SIC) receivers. In practical systems, SIC-free receivers are more attractive than SIC receivers because of their low complexity and latency. This paper evaluates the theoretical limits of RSMA with and without SIC receivers under fi…

So there's this new "#eDoręczenia" (~ "eDelivery") system that's supposed to replace the previous "ePUAP" system for exchanging signed messages between citizens and offices. I've finally had the opportunity of testing it today, and I have to say, it's magic.
So I wrote the message, attached the ~300 KiB attachment and clicked "Send". Now a status bar appeared on top, saying (in translation):
> Sending message, it can take up to 20 minutes!
Roughly two minutes later the status bar disappeared and I got a blank new message form. So I go into "sent", nothing there. I go into "drafts", there's my message, apparently listed with "delivery data". I click it, click "send" again — the same bar appears, but after a few seconds I'm back to the list. I click "sent", it's finally sent. Magic!
#Poland

I don't get the OnlyFans phenomena. I get that it's hot, but so many people preferring fans over other cooling methods?

[2025-05-21 Wed (UTC), no new articles found for cs.OS Operating Systems]
#toXiv_bot_toot

Systems-Theoretic and Data-Driven Security Analysis in ML-enabled Medical Devices
Gargi Mitra, Mohammadreza Hallajiyan, Inji Kim, Athish Pranav Dharmalingam, Mohammed Elnawawy, Shahrear Iqbal, Karthik Pattabiraman, Homa Alemzadeh
https://arxiv.org/abs/2506.15028

Systems-Theoretic and Data-Driven Security Analysis in ML-enabled Medical Devices
The integration of AI/ML into medical devices is rapidly transforming healthcare by enhancing diagnostic and treatment facilities. However, this advancement also introduces serious cybersecurity risks due to the use of complex and often opaque models, extensive interconnectivity, interoperability with third-party peripheral devices, Internet connectivity, and vulnerabilities in the underlying technologies. These factors contribute to a broad attack surface and make threat prevention, detection,…

Polish people since yesterday: lawks, religious festivities coming, masses, processions, religious songs!
Me since the early morning: "the children of the damned" in my head.

Another thing that defeats FaceID: having your cheeks puffed out like a chipmunk (which I had done in my most recent case due to having taken a drink of water without swallowing yet)

Distribution of polynomial orbits in Toeplitz systems
Kosma Kasprzak
https://arxiv.org/abs/2506.12942 https://arxiv.org/pdf/2506.1294…

Distribution of polynomial orbits in Toeplitz systems
We examine the convergence of ergodic averages along polynomials in Toeplitz systems and prove that it is possible for averages along one polynomial to converge, and along another to diverge. We also study density of the polynomial orbits in Toeplitz systems -- we show that it implies equidistribution of the polynomial orbits in the class of regular Toeplitz systems, but not in the class of strictly ergodic ones.

Me: taking a day off.
Also me, at 5:20 on the day off: "oh, I have 10 minutes still, let's work."

Towards Bug-Free Distributed Go Programs
Zhengqun Koo
https://arxiv.org/abs/2506.15135 https://arxiv.org/pdf/2506.15135

Towards Bug-Free Distributed Go Programs
Programmers of distributed systems need to reason about concurrency to avoid races. However, reasoning about concurrency is difficult, and unexpected races show up as bugs. Data race detection in shared memory systems is well-studied (dynamic data race detection [13], behavioral types [15], dynamic race detection [31]). Similar to how a data race consists of reads and writes not related by happens-before at a shared memory location, a communication race consists of receives and sends not relate…

Fronthaul-Aware User-Centric Generalized Cell-Free Massive MIMO Systems
Zahra Mobini, Ahmet Hasim Gokceoglu, Li Wang, Gunnar Peters, Hien Quoc Ngo
https://arxiv.org/abs/2506.14494

Fronthaul-Aware User-Centric Generalized Cell-Free Massive MIMO Systems
We consider fronthaul-limited generalized zeroforcing-based cell-free massive multiple-input multiple-output (CF-mMIMO) systems with multiple-antenna users and multipleantenna access points (APs) relying on both cooperative beamforming (CB) and user-centric (UC) clustering. The proposed framework is very general and can be degenerated into different special cases, such as pure CB/pure UC clustering, or fully centralized CB/fully distributed beamforming. We comprehensively analyze the spectral e…

New favorite Wikipedia list: https://en.wikipedia.org/wiki/List_of_classical_music_concerts_with_an_unruly_audience_response

#Android / #GrapheneOS experts, if I run on battery saver and data saver all the time, is there a point in disabling mobile data before I lock the phone? My main concern is battery saving. I also run RethinkDNS, if that could be a factor.
#AskFedi

Imagine that there's a combined walking and cycling path that splits into separate path for pedestrians and bikes. Now, imagine that they're marked "PEDESTRIANS" and "BICYCLES" in large lettering. Now, imagine that there are also barriers on the entry to the pedestrian path.
Of course there's also an arc of destroyed grass showing how cyclists keep riding around the barrier and into the pedestrian path.
#Września, #Poland.
#cycling

Evaluation Pipeline for systematically searching for Anomaly Detection Systems
Florian Rokohl, Alexander Lehnert, Marc Reichenbach
https://arxiv.org/abs/2506.15388

Evaluation Pipeline for systematically searching for Anomaly Detection Systems
Digitalization in the medical world provides major benefits while making it a target for attackers and thus hard to secure. To deal with network intruders we propose an anomaly detection system on hardware to detect malicious clients in real-time. We meet real-time and power restrictions using FPGAs. Overall system performance is achieved via the presented holistic system evaluation.

Who do you think should be the new @… CEO? https://wikimediafoundation.org/about/jobs/our-2025-chief-executive-officer-search/

Nowadays in quality #Python: #Gentoo is running #ProtoBuf-related test suite via #PyTest-forked to workaround protobuf segfaulting during GC.
Of course, it implies random programs can segfault on exit too.
https://github.com/protocolbuffers/protobuf/issues/22067
https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-python/protobuf/protobuf-6.31.1.ebuild?id=54e20d4bb0ec99ab868695a2980c4307d179cb10#n150

Full album available on FB: https://www.facebook.com/share/p/1YyN9QvvGm/

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
Craig Steven Wright
https://arxiv.org/abs/2506.13246

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
This paper presents a formalised architecture for synthetic agents designed to retain immutable memory, verifiable reasoning, and constrained epistemic growth. Traditional AI systems rely on mutable, opaque statistical models prone to epistemic drift and historical revisionism. In contrast, we introduce the concept of the Merkle Automaton, a cryptographically anchored, deterministic computational framework that integrates formal automata theory with blockchain-based commitments. Each agent tran…

'shrooms!
Somewhere near Antoniewo, near Skoki, Greater Poland.
#fungi #hiking

The hell froze over. I took a day off tomorrow.

A relic of the past — the train station in #Dąbroszyn. You can still see the opening hours of the ticket office.
#ruins #rail

I relied on machine translation for this sign; looking for a human who speaks Arabic to verify that it's correct:

PLpol, pseudoliberalism
Tell me, is a "liberal" the kind of person to claim that a woman must not become a president, as she'll get mad with power? Does a "liberal" declare their tolerance for specific people by using insulting names for them? Does a "liberal" call certain minorities "loafers"? Does a "liberal" support dismantling public services for "cost reduction"? Yet these are the views held by the voters of PO/KO, the Polish party often called "liberal".
It is not a liberal party, and it won't be one, because they have too much to lose. For years now, they exist only as an alternative to the "conservative" PiS party — not as something truly opposite, but as a comfortable alternative that's not all that different. So the Polish can gladly focus their contrarian, hateful nature into voting against one or the other party, without having to worry too much that some immoral rainbow force will try to shatter the bubble of their worldview.
#PLpol

What am I doing instead of resting? Well, I'm playing with generating EPYTEST_DESELECT from `epytest --junit-xml=…`
#Gentoo #PyTest #Python

#AbolishICE

#TIL that sloths can turn their heads 270°. Cats can't keep up.
(Explanation for non-maths people: this means back and even further to sidewards.)

Remember #shareware? Like, the demo / trial versions that you could use for free but only for limited time?
Nowadays, a lot of commercial software is like that, except that you pay for being able to use it for a limited time.

Happy Mother's Day! Grateful to have had such a wonderful mom for 34 years now.

I'm sitting at a platform in Miłosław, and inhaling country smells. Not a fan.

My personal recommendation would be to stay away from the "#Python Code Quality Authority". The projects have been pretty much taken over by a toxic and mean-spirited person. #Ruff is a good replacement, with very friendly upstream.
#PyCQA

likewise with how often my head is resting on something and thus partially obscured

Whoever at Apple invented FaceID didn't anticipate how often I use my mouth as a 3rd hand for holding things (spoons, pens, water bottles, etc.)

So apparently I have a photo whose orientation is stored in EXIF metadata. When I upload it to pol.social, #Mastodon rotates it correctly. When I upload it to treehouse.systems, it comes out wrong.

Isn't it great how #GitHub makes it nearly impossible to download GHA build artifacts with dumb tools like wget, so instead I need to download the 10 GiB file with my browser and then upload it to the test machine?
#Microsoft quality.

@… @…
screenshot of the relevant portion

Not that I want you to be jealous…
#Kostrzyn [nad Odrą] train station
#rail

Cons: it's mud
Pros: it's cold

Isn't it absurd that a medical practice has to keep telling successive people that they need a new referral to set up an appointment for their child, because they have a referral to a medical practice dedicated to children, while their doctor for children is technically employed by a regular practice?
#Poland #HealthCare

Me: I need to finally start reading #SkyScraperCity to know what's happening to the railway lines.
Me after reading SSC: I know a lot now. Especially I know there's nothing final to know.
#rail

🤚 Petit beurre
👉 Petty bear

🤚 of short stature
👉 compact

1. Check your blood sugar.
2. Eat a small home-made doughnut (without taking extra insulin).
3. 10 minutes later, check your blood sugar again.
> You get a lower value.
(incidentally)
#t1d #diabetes

"Private property. No mowing grass !!"

> Polish "patriot"
Look inside.
> fascinated by the USA
> dependent on corporations from the USA
> dependent on wares from China
> dependent on immigrant workers
> speaks a mix of Polish with English loan words
> can't handle Polish spelling
> weak with Polish history
> Putin's puppet

In principle, I don't remove old contacts from my phone. I've figured out, if one of them ever calls me, I'd know who is calling.
Because surely some random name will tell me a lot, 15 years later. In some cases, I've even literally added a question mark already.

Time for the periodic check of my ~/.cache directory:
ccache: 4G
uv: 2.2G
pre-commit: 2.1G
rattler: 1.7G
mozilla: 1.1G
thumbnails: 1G
evolution: 550M
fotema: 511M
pip: 404M
Not assuming infinite space in home directory is overrated.
#Gentoo #Python