Tootfinder

💦 Boosting work engagement through a simple smartphone diary
#work

Boosting work engagement through a simple smartphone diary
Work engagement is a positive and persistent state of mind related to one's work. It is characterized by high energy and mental resilience (vigor), enthusiasm and involvement (dedication), and complete concentration in the task at hand (absorption). Engaged workers are not merely more productive; they are more likely to be proactive, creative, and less susceptible to burnout. Most importantly, work engagement has been consistently linked to many health benefits and overall well-being.

On Computing Top-$k$ Simple Shortest Paths from a Single Source
Mattia D'Emidio, Gabriele Di Stefano
https://arxiv.org/abs/2509.26094 https://arxiv.org…

On Computing Top-$k$ Simple Shortest Paths from a Single Source
We investigate the problem of computing the top-$k$ simple shortest paths in weighted digraphs. While the single-pair variant -- finding the top-$k$ simple shortest paths between two specified vertices -- has been extensively studied over the past decades, with Yen's algorithm and its heuristic improvements emerging as the most effective solving strategies, relatively little attention has been devoted to the more general single-source version, where the goal is determining top-$k$ simple shorte…

Acquiring solar panels at home can be an expensive hassle for people in the US.
But small, simple, plug-in solar panels for use on balconies are soon to become available for millions of Americans,
with advocates hoping the technology will quickly go mainstream.
Balcony solar panels are now widespread in countries such as Germany
– where more than 1m homes have them
– but have until now been stymied in the US by state regulations.
This is set to change, wit…

We’re at a point where these sorts of simple genetic disorders are going to be falling to CRISPR-Cas9 treatments one after another in an accelerating fashion until we run out of targets.
They raise troubling questions about access to care and cost. Ask why we still have people with active Sickle Cell disease, years after the CURE was demonstrated.
The reason is that no one is stepping up with the megabuck per patient. @…

🇺🇦 Auf radioeins läuft...
Widowspeak:
🎵 Everything Is Simple
#NowPlaying #Widowspeak
https://widowspeak.bandcamp.com/track/everything-is-simple
https://open.spotify.com/track/1p0zRpMuzAx8AUlhB150G8

Friday was an adventure in tech futility. Started with a gifted laptop, Dell Latitude, and the simple task of wiping its poor excuse for an OS and installing something sensible.
#Ubuntu wasn't it. OMG Ubuntu, what HAVE you done?! Tried first #UbuntuStudio then stock Ubuntu, 24.04, 25.04, 25.11, all the installers simply hung, no log, no journalctl, CPU chugging but nada detectable action, even hours later, just "Preparing…"
Net advice is old, of course, but points to the snap bootstrap service, fix has no effect but Kee-riced look at the mount table?! Snaps crackle and pop all over! Wtf, why? 🤯
And it is tedious. These 'DVD' iso files are 7GB, so, after 6 hours frustration, I thought, let's try something smaller to cut the turnaround time. #Debian13 simple bare-bones net-install seemed a good candidate …
And it was. Seemless install. 😊

Master class today for the team on how to automate bulk transfer of files to the PC.
simple XLS file. Inserted the library name and then copied the list of members they asked for. a simple formula and it generated the GET commands for FTP. It takes maybe two minutes to create, copy into my generic FTP batch job and run it. Two minutes they have a copy of 247 files.
AUTOMATE, AUTOMATE, AUTOMATE!

Simple Yetter-Drinfeld modules over infinite-dimensional Taft algebras
Xiangjun Zhen, Gongxiang Liu, Jing Yu
https://arxiv.org/abs/2509.26154 https://arxiv…

Simple Yetter-Drinfeld modules over infinite-dimensional Taft algebras
Let H be an infinite-dimensional Taft algebra over an algebraically closed field k of characteristic 0. We find all the simple Yetter-Drinfeld modules V over H, and classifies those V with B(V) is finite-dimensional.

the real sign of becoming middle-aged is when you start writing unit tests for even "simple" code

Periodic patterns in simple biological differential delay models
A. Ivanov, S. Shelyag
https://arxiv.org/abs/2509.25396 https://arxiv.org/pdf/2509.25396

Periodic patterns in simple biological differential delay models
Periodic patterns in dynamical behaviours of biological models described by simple form differential delay equations are studied. Mathematical models are given by a class of scalar delay differential equations with a multiplicative time periodic mixed coefficient and a nonlinear delayed negative feedback. The dynamics is studied analytically with supportive numerical simulation and justification of the theoretical outcomes. The principal nonlinearity involving the state variable is of the negat…

I've added another script to my bikeStats Python scripts. It's all pretty simple stuff, but maybe someone will find it useful.
I need to clean up and release all the bike mapping GPX stuff I've been working on lately as well.
https://codeberg.org/raster/milesBiked

milesBiked
A Python script to make bar graphs showing how many miles I've biked...

Ever run some random ass installer on Linux (or make install) and wondered where all the files ended up? I gotcha
https://gist.github.com/ruario/a59036672d412ce38b34ace44273ede2

A simple script to locate files associated with a software install (Linux only as it uses GNU extensions)
A simple script to locate files associated with a software install (Linux only as it uses GNU extensions) - related.sh

Signless Laplacian characterization of cones over disjoint unions of cycles, edges and isolated vertices
Jiachang Ye, Jianguo Qian, Zoran Stanic
https://arxiv.org/abs/2509.25925

Signless Laplacian characterization of cones over disjoint unions of cycles, edges and isolated vertices
Two graphs are said to be $Q$-cospectral if they share the same signless Laplacian spectrum. A simple graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if there exists no other non-isomorphic simple graph with the same signless Laplacian spectrum. In this paper, we establish the following results: (1) Let$G \cong K_{1} \vee \bigl(C_{k} \cup qK_{2} \cup sK_{1}\bigr),$ with $q,s \geq 1$, $k \geq 4$, and at least $21$ vertices. If $k$ is odd, then $G$ is DQS.…

I'm especially interested in a few things if anyone is willing to help...
1) missing words and simple typos - My ADHD brain skips words coming out and fulls them in when reading, so it's easy for me to make mistakes and hard for me to catch them.
2) questions - I tend to work from a lot of assumed knowledge, collected from all over, and I'm really trying to make my work more accessible. I assume I'm talking about a bunch of stuff most folks don't know, but I don't know which of them come from some rabbit hole I went down and which are more common knowledge.
3) challenges - I get bored when having things explained to me so I have a tendency to keep explanations light... Which can mean I leave out a bunch of critical context or logical steps.

Why Raiders Must Keep It Simple in the 2026 NFL Draft https://www.si.com/nfl/raiders/onsi/las-vegas-must-keep-it-simple-2026-draft

Dear IT Friends – We Are Called To Action
If you are like me, you have probably experienced your neighbors, friends and family asking you to help them fix their PCs and give them technical advice. That was always a bit odd for me as I was a big systems guy and relied on our internal IT team for PC advice and support.
But the times are changing, aren’t they?
It feels like we are facing so much new danger. And some groups are definitely targets. In my company our success was…

🤯 stable-pretraining-v1: Foundation Model Research Made Simple
#ai #llm

stable-pretraining-v1: Foundation Model Research Made Simple
Foundation models and self-supervised learning (SSL) have become central to modern AI, yet research in this area remains hindered by complex codebases, redundant re-implementations, and the heavy engineering burden of scaling experiments. We present stable-pretraining, a modular, extensible, and performance-optimized library built on top of PyTorch, Lightning, Hugging Face, and TorchMetrics. Unlike prior toolkits focused narrowly on reproducing state-of-the-art results, stable-pretraining is de…

Just wasted some time thanks to AI slop suggesting a "git fix-perms" command that is entirely fictional. Maybe should have been suspicious earlier...
If anyone on here knows of:
1. A simple command to re-instate in-repo permissions for git or...
2. A Firefox (yes, I know...) extension to let users collaboratively label AI slop pages...
I'd love to hear about it.

Free download of #Earwicker’s “Wring Out Your Dead” CDr. Electroclash from San Francisco-based purveyors of everything weird, Dolor del Estamago. https://www.mediafire.com/folder/fcrh3t4ea…

MediaFire
MediaFire is a simple to use free service that lets you put all your photos, documents, music, and video in a single place so you can access them anywhere and share them everywhere.

🇺🇦 #NowPlaying on KEXP's #AstralPlane
La Ciencia Simple:
🎵 Cruz del sur
#LaCienciaSimple
https://lacienciasimple.bandcamp.com/track/cruz-del-sur
https://open.spotify.com/track/3f1z6R5BtJbUh8AKiUrbaZ

@… a little idea for your next party?
😊
https://cocktailvirgin.blogspot.com/2025/12/voorhees.html

Kinetic Monte Carlo prediction of the morphology of pentaerythritol tetranitrate
Jacob Jeffries, Himanshu Singh, Romain Perriot, Christian Negre, Antonio Redondo, Enrique Martinez
https://arxiv.org/abs/2509.25490

Kinetic Monte Carlo prediction of the morphology of pentaerythritol tetranitrate
In this work, we develop an atomistic, graph-based kinetic Monte Carlo (KMC) simulation routine to predict crystal morphology. Within this routine, we encode the state of the supercell in a binary occupation vector and the topology of the supercell in a simple nearest-neighbor graph. From this encoding, we efficiently compute the interaction energy of the system as a quadratic form of the binary occupation vector, representing pairwise interactions. This encoding, coupled with a simple diffusio…

Demystifying Codensity Monads via Duality
Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat
https://arxiv.org/abs/2509.26197 https://arxiv.org/pdf/…

Demystifying Codensity Monads via Duality
Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probabilistic computation, such as several incarnations of the ultrafilter monad, the Vietoris monad, and the Giry monad, have been presented as codensity monads, using complex arguments. We propose a unifying categorical approach to codensity presentations of monads, based on the idea of relating the presenting functor to …

VisualOverload: Probing Visual Understanding of VLMs in Really Dense Scenes
Paul Gavrikov, Wei Lin, M. Jehanzeb Mirza, Soumya Jahagirdar, Muhammad Huzaifa, Sivan Doveh, Serena Yeung-Levy, James Glass, Hilde Kuehne
https://arxiv.org/abs/2509.25339

VisualOverload: Probing Visual Understanding of VLMs in Really Dense Scenes
Is basic visual understanding really solved in state-of-the-art VLMs? We present VisualOverload, a slightly different visual question answering (VQA) benchmark comprising 2,720 question-answer pairs, with privately held ground-truth responses. Unlike prior VQA datasets that typically focus on near global image understanding, VisualOverload challenges models to perform simple, knowledge-free vision tasks in densely populated (or, overloaded) scenes. Our dataset consists of high-resolution scans …

Symmetric quantum walks on Hamming graphs and their limit distributions
Robert C. Griffiths, Shuhei Mano
https://arxiv.org/abs/2509.26243 https://arxiv.org…

Symmetric quantum walks on Hamming graphs and their limit distributions
We study a class of symmetric quantum walks on Hamming graphs, where the distance between vertices specifies the transition probability. A special model is the simple quantum walk on the hypercube, which has been discussed in the literature. Eigenvalues of the unitary operator of the quantum walks are zeros of certain self-reciprocal polynomials. We obtain a spectral representation of the wave vector, where our systematic treatment relies on the coin space isomorphic to the state space and the …

Javonte Williams' resolution for 2026: 'To win the Super Bowl' https://www.dallascowboys.com/news/javonte-williams-resolution-for-2026-to-win-the-super-bowl

football_tsevans: NCAA college football 2000 (corrected metadata)
A network of American football games between Division IA colleges during regular season Fall 2000. This version contains some corrections made by T. S. Evans, in particular:.
This network has 115 nodes and 613 edges.
Tags: Social, Sports, Unweighted
https://

A note on general isolation result in Diophantine Approximation
Sergei Pitcyn, Nikolay Moshchevitin
https://arxiv.org/abs/2509.25628 https://arxiv.org/pdf/…

A note on general isolation result in Diophantine Approximation
In the present paper we give very simple general statements which deal with approximation of a real number by rationals and are related to isolation phenomenon. In particular we study functions $ f(x)>f_1(x)>0$ such that existence of solutions $\frac{p}{q}$ of Diophantine inequality $ \left| α-\frac{p}{q}\right|< \frac{f(q)}{q^2} $ leads to the existence of solutions of inequality $ \left| α-\frac{p}{q}\right|< \frac{f_1(q)}{q^2} $.

Enabling Time-Aware Priority Traffic Management over Distributed FPGA Nodes
Alberto Scionti, Paolo Savio, Francesco Lubrano, Federico Stirano, Antonino Nespola, Olivier Terzo, Corrado De Sio, Luca Sterpone
https://arxiv.org/abs/2509.26043

Enabling Time-Aware Priority Traffic Management over Distributed FPGA Nodes
Network Interface Cards (NICs) greatly evolved from simple basic devices moving traffic in and out of the network to complex heterogeneous systems offloading host CPUs from performing complex tasks on in-transit packets. These latter comprise different types of devices, ranging from NICs accelerating fixed specific functions (e.g., on-the-fly data compression/decompression, checksum computation, data encryption, etc.) to complex Systems-on-Chip (SoC) equipped with both general purpose processor…

Fundamental groups of strata of abelian differentials of low codimension
Nick Salter
https://arxiv.org/abs/2509.25357 https://arxiv.org/pdf/2509.25357

Fundamental groups of strata of abelian differentials of low codimension
We show that for a stratum of projectivized abelian differentials with sufficiently many simple zeroes, the inclusion into the appropriate moduli space of pointed curves induces an injection at the level of orbifold fundamental group, thereby confirming part of a 1997 conjecture of Kontsevich-Zorich. Combined with previous work of the author with Calderon, this describes the orbifold fundamental groups of these strata as framed mapping class groups. Our approach is algebro-geometric in nature, …

How Legalized Bribery Works in America
https://www.inequalitymediacivicaction.org/debunking-myths/how-legalized-bribery-works-in-america

How Legalized Bribery Works in America — Inequality Media Civic Action
“Corporate political donations are free speech.” Give me a break. Corporate political donations are legalized bribery, plain and simple.

@… check out this simple Datasette app a friend of mine made with exe.xyz. His entire input was: "There is publicly available data on service requests for Arlington VA available at: https://data.arlingtonva.us/dataset/100?tab=2
Can you make me a datasette instance to explore this data?"
Not that different from other vibe coding except that exe.xyz seems remarkably easy to use.

A solution to the mystery of the sub-harmonic series and to the combination tone via a linear mathematical model of the cochlea
Ugo Boscain (SU, CNRS, CaGE, LJLL), Xiangyu Ma (SU, CNRS, CaGE, LJLL), Dario Prandi (L2S, CNRS), Giuseppina Turco (LLF - UMR7110, CNRS, UPCit\'e)
https://arxiv.org/abs/2509.26395…

A solution to the mystery of the sub-harmonic series and to the combination tone via a linear mathematical model of the cochlea
In this paper, we study a simple linear model of the cochlea as a set of vibrating strings. We make hypothesis that the information sent to the auditory cortex is the energy stored in the strings and consider all oscillation modes of the strings. We show the emergence of the sub-harmonic series whose existence was hypothesized in the XVI century to explain the consonance of the minor chord. We additionally show how the nonlinearity of the energy can be used to study the emergence of the combina…

Loss-Transformation Invariance in the Damped Newton Method
Alexander Shestakov, Sushil Bohara, Samuel Horv\'ath, Martin Tak\'a\v{c}, Slavom\'ir Hanzely
https://arxiv.org/abs/2509.25782

Loss-Transformation Invariance in the Damped Newton Method
The Newton method is a powerful optimization algorithm, valued for its rapid local convergence and elegant geometric properties. However, its theoretical guarantees are usually limited to convex problems. In this work, we ask whether convexity is truly necessary. We introduce the concept of loss-transformation invariance, showing that damped Newton methods are unaffected by monotone transformations of the loss - apart from a simple rescaling of the step size. This insight allows difficult losse…

Machine learning approach to QCD kinetic theory
Sergio Barrera Cabodevila, Aleksi Kurkela, Florian Lindenbauer
https://arxiv.org/abs/2509.26374 https://arx…

Machine learning approach to QCD kinetic theory
The effective kinetic theory (EKT) of QCD provides a possible picture of various non-equilibrium processes in heavy- and light-ion collisions. While there have been substantial advances in simulating the EKT in simple systems with enhanced symmetry, eventually, event-by-event simulations will be required for a comprehensive phenomenological modeling. As of now, these simulations are prohibitively expensive due to the numerical complexity of the Monte Carlo evaluation of the collision kernels. I…

Simple but tasty – Halles de Wazemmes, Lille / France https://askan.biz/2025/12/30/simple-but-tasty-halles-de-wazemmes-lille-france/

Plant-Based Berry Scones with Lemon Hibiscus Cashew Cream #plantbased

Plant-Based Berry Scones with Lemon Hibiscus Cashew Cream
Make these plant-based berry scones with lemon hibiscus cashew cream from Clean Food Dirty Girl for a simple bake you can enjoy anytime

Researchers demonstrated a major WhatsApp flaw that exposed 3.5B users' phone numbers, with 57% also showing a profile photo; Meta fixed the enumeration problem (Andy Greenberg/Wired)
https://www.wired.com/story/a-simple-whatsapp-security-flaw-…

A Simple WhatsApp Security Flaw Exposed 3.5 Billion Phone Numbers
By plugging tens of billions of phone numbers into WhatsApp’s contact discovery tool, researchers found “the most extensive exposure of phone numbers” ever—along with profile photos and more.

On Hamiltonian stationarity of twisted Lagrangian tori in ${\mathbb{C}}^2$
Jingyi Chen, Patrik Coulibaly
https://arxiv.org/abs/2509.25493 https://arxiv.org…

On Hamiltonian stationarity of twisted Lagrangian tori in ${\mathbb{C}}^2$
Chekanov's exotic tori have been playing an important role in symplectic geometry as they are the only known examples of Lagrangian tori in ${\mathbb{C}}^2$ that are not Hamiltonian isotopic to a product torus. In this paper, we explore the differential geometry of a wider range of tori constructed by twisting simple closed planar curves, which include both certain product tori and Chekanov's exotic tori. In particular, we investigate the minimality of area of such twisted tori under Hamiltonia…

Representation Theory of $0$-Schur Algebras and Related Categories
Woo-Seok Jung, Young-Tak Oh
https://arxiv.org/abs/2509.26194 https://arxiv.org/pdf/2509.…

Representation Theory of $0$-Schur Algebras and Related Categories
Jensen, Su, and Yang described the projective indecomposable modules of the $0$-Schur algebra $\mathbf{S}_0(n,r)$ using its geometric realization. In this paper, the simple modules of $\mathbf{S}_0(n,r)$ are identified by computing the tops of the projective indecomposable modules. Furthermore, functorial relations among the module categories $\mathbf{H}_r(0)$\textsf{-mod}, $\mathbf{S}_0(n,r)$\textsf{-mod}, and $U_0(\mathfrak{gl}_n)$\textsf{-mod} are examined, where $\mathbf{H}_r(0)$ denotes th…

How Google predicts the near-future availability of #EV charging points. This new Google Maps feature not only shows current real-time availability, but also predicts availability at the time of your arrival.

Reducing EV range anxiety: How a simple AI model predicts port availability

I was asking Claude Sonnet 4.5 some questions about how to transfer some old Fortran 90 progs into R. It's the sort of simple rules based question that AI is supposed to be good at. It's helpful on the rules of R, but took a lot of prompting to get it right -it would not have worked for someone who didn't understand the maths.
But it sure knows how to be creepily sycophantic. It's a machine and shouldn't pretend to be human.

Windmilling clusters of active quadrupoles
Margaret Rosenberg, Hartmut L\"owen
https://arxiv.org/abs/2509.26369 https://arxiv.org/pdf/2509.26369

Windmilling clusters of active quadrupoles
Active matter has thrived in recent years, driven both by the insight that it underlies fundamental processes in nature, and by its vast potential for applications. This allows for innovation both inspired by experimental observations, and by construction of novel systems with desired properties. In this paper, we develop a novel system in the search for a new kind of pattern formation: microstructural motifs with orthogonal alignment. Taking a simple active Brownian particle (ABP) model applie…

Joint Inference for the Regression Discontinuity Effect and Its External Validity
Yuta Okamoto
https://arxiv.org/abs/2509.26380 https://arxiv.org/pdf/2509.…

Joint Inference for the Regression Discontinuity Effect and Its External Validity
The external validity of regression discontinuity (RD) designs is essential for informing policy and remains an active research area in econometrics and statistics. However, we document that only a limited number of empirical studies explicitly address the external validity of standard RD effects. To advance empirical practice, we propose a simple joint inference procedure for the RD effect and its local external validity, building on Calonico, Cattaneo, and Titiunik (2014, Econometrica) and Do…

Ich mache mal den Rant, den die @… üblicherweise macht, aber andersherum:
Warum gibt es für Mastodon keine simple und moderne docker-compose-Variante als Basis für lokale Tests?
Ich bastle gerade an einem eigenen Client und für lokale Integrationstests werde ich sicherlich kein Installationsdokument durcharbeiten oder mit Vagrant und Virtual…

A Tractable Family of Smooth Copulas with Rotational Dependence: Properties, Inference, and Application
Micha\"el Lalancette, Robert Zimmerman
https://arxiv.org/abs/2509.26635

A Tractable Family of Smooth Copulas with Rotational Dependence: Properties, Inference, and Application
We introduce a new family of copula densities constructed from univariate distributions on $[0,1]$. Although our construction is structurally simple, the resulting family is versatile: it includes both smooth and irregular examples, and reveals clear links between properties of the underlying univariate distribution and the strength, direction, and form of multivariate dependence. The framework brings with it a range of explicit mathematical properties, including interpretable characterizations…

Laptop backup day. I have a reminder for the last Sunday of each month. It doesn't take much time and being a Sunday I am normally not using my laptop.
Simple batch script using XCOPY. Low tech and it works. Upside is that any other machine & O/S can read the contents of the drive. I cycle between two drives (Eventually I will buy a third). Cheap insurance in case of a machine failure.
Why? Well I have the condo newsletters I write with the templates, photos and ba…

You're thinking: what a nice playground. Just simple things like concrete pipes or wooden ramps suffice for kids to have fun. Then you realize it's for dogs.

Sonnet 138 - CXXXVIII
When my love swears that she is made of truth,
I do believe her though I know she lies,
That she might think me some untutored youth,
Unlearned in the world's false subtleties.
Thus vainly thinking that she thinks me young,
Although she knows my days are past the best,
Simply I credit her false-speaking tongue:
On both sides thus is simple truth suppressed:
But wherefore says she not she is unjust?
And wher…

"Seafloor survey in Cambodia finds simple anti-trawling blocks help seagrass recover"
#Cambodia #Environment #Oceans

Seafloor survey in Cambodia finds simple anti-trawling blocks help seagrass recover
A recent study provides the first detailed map of Cambodia’s coastal seafloor habitats and finds that simple, low-cost anti-trawling structures are helping seagrass meadows recover and support small-scale fishers in the Kep Marine Fisheries Management Area in the Gulf of Thailand. The study was published in Frontiers in Marine Science by researchers from Marine Conservation […]

Many people are cheering for the popping of the "AI" bubble. Maybe it's not that simple though
https://tante.cc/2025/11/23/desire-to-pop/

Desire to Pop
Abstractions are powerful tools. Given enough abstraction everything gets somewhat simple. Somewhat clear. Also somewhat wrong. Abstraction turns everything real, material, consequential into mostly nothing. The abstraction of “a relationship” hides all the love and care and desire it might entail. The abstraction of “the border” hides the violence its defense entails. Given enough abstraction […]

The pluricomplex Poisson kernel for convex finite type domains
Leandro Arosio, Filippo Bracci, Matteo Fiacchi
https://arxiv.org/abs/2509.26230 https://arxi…

The pluricomplex Poisson kernel for convex finite type domains
Given a bounded convex domain $D\subset \mathbb C^n$ of finite D'Angelo type and a boundary point $ξ\in \partial D$, we prove that the homogeneous complex Monge-Ampère equation $(dd^cu)^n=0$ possesses a continuous strictly negative solution $Ω_ξ$ that vanishes on $\partial D\setminus \{ξ\}$ and has a simple pole at $ξ$. We establish that $Ω_ξ(z)$ equals (up to sign) the normal derivative at $ξ$ of the pluricomplex Green function $G_z$, and its sublevel sets are the horospheres centered…

Nominal Sets in Rocq
Fabr\'icio Sanches Paranhos (Nethermind - London, UK), Daniel Ventura (INF-UFG)
https://arxiv.org/abs/2509.25883 https://arxiv.org…

Nominal Sets in Rocq
Nominal techniques have been praised for their ability to formalize grammars with binding structures closer to their informal developments. At its core, there lies the definition of nominal sets, which capture the notion of name (in)dependence through a simple, and uniform, metatheory based on name permutations. We present a formal constructive development of nominal sets in Rocq (formerly known as Coq), with its main design and project decisions. Furthermore, we formalize the concepts of fresh…

Interestingly a simple kWh/HDD regression for our full electricity imports fits reasonably well R^2>0.75) and gives a total year prediction close to that of our electricity supplier #Ecotricity partly because almost all imports are in winter for space heat...

16WW Heat-pump Control
Settings and control of the heat pump at 16WW. #heatPump #controls #DHW #spaceHeat

I am trying to print a spool winder at the moment. To be honest I do this for the last days already.
(Hope I did the simple present and present progressive right on this one, so my english teacher can be proud. ;-))
Various printing failures are driving me crazy. I just want a tool to transfer the wood filament from the large spool to a small one. It can't be that difficult.
So todays hashtag is

I've been using khal for years to quickly display the calendar in the terminal and schedule events as reminders. It's simple and fast.
Another good option is calcurse. It's just as fast and you can also manage events, although it has a cooler interface.
#linuxtips #cli

Replaced article(s) found for physics.atom-ph. https://arxiv.org/list/physics.atom-ph/new
[1/1]:
- A simple fourth order propagator based on the Magnus expansion in the Liouville space: Applicatio...
Taner M. Ture, Changbong Hyeon, Seogjoo J. Jang

Quantum Simulation of Random Unitaries from Clebsch-Gordan Transforms
Dmitry Grinko, Satoshi Yoshida
https://arxiv.org/abs/2509.26623 https://arxiv.org/pdf…

Quantum Simulation of Random Unitaries from Clebsch-Gordan Transforms
We present a general method for simulating an action of $t$ copies of a Haar random unitary for arbitrary compact groups. This construction can be viewed as a representation-theoretic generalization of Zhandry's compressed function oracle technique. It is conceptually simple, exact and utilizes Clebsch-Gordan transforms as main building blocks. In particular, for the unitary group, our method is efficient in space and time. Finally, our general oracle for forward queries can be easily modified …

Teaching students simple #WebScraping was always quite rewarding. It opens up numerous relevant, real-world data sources that are the foundation for any further analysis. Things already got more complicated with dynamic content loading, but now bot-exclusion-mechanisms make it almost impossible in many cases. Is web scraping for the

Method for backtracking the layer thermal conductivities of multilayer thin film structure using coupled Newton Raphson approach and 3-omega approach
Aigbe Awenlimobor, Jiajun Xu
https://arxiv.org/abs/2509.26408

Method for backtracking the layer thermal conductivities of multilayer thin film structure using coupled Newton Raphson approach and 3-omega approach
The thermal conductivity of thin films is commonly estimated using the 3-omega experimental method. When calibrating the test setup, it is customary to use a specimen with a known thermal conductivity for validation. However, when determining the thermal conductivity of samples with unknown values, numerical approximations can provide a means to validate experimental results and ensure the integrity of the setup. A simple analytical or finite element analysis (FEA) method can be used to achieve…

Currently reading the collection «Practicing Embodied Thinking in Research and Learning» edited by Donata Schoeller, Sigridur Thorgeirsdottir, and Greg Walkerden and it is really very good! Not only does the concept of «embodied critical thinking» resonate with everything I’ve been working towards in my own research, but it also offers a really simple and common-sense antidote to AI in higher education, based on the notion of bringing our own embodied experiences and felt sense to critical t…

Practicing Embodied Thinking in Research and Learning | Donata Schoell
This book delves into the embodied ground of thinking, illuminating the transition from theorising about the embodied mind to actively practising embodied

Arena Group, BuzzFeed, USA Today, and Vox Media join the Really Simple Licensing Collective AI licensing framework, which now has 50 partners to set AI terms (Sara Guaglione/Digiday)
https://digiday.com/media/arena-group-buzzfeed…

Arena Group, BuzzFeed, USA Today Co, Vox Media join RSL’s AI content licensing efforts
Arena Group, BuzzFeed, USA Today Co and Vox Media are participating in the RSL Collective's efforts to license content to AI companies.

Zeros of Hecke polynomials arising from weak eigenforms
Kevin Gomez
https://arxiv.org/abs/2509.26519 https://arxiv.org/pdf/2509.26519

Zeros of Hecke polynomials arising from weak eigenforms
We attach Hecke polynomials $P_n(F;x)$ to weak Hecke eigenforms $F$ of weight $2-k$ and show that, for large $n$, every zero is simple, lies in $[0,1728]$, and the zeros equidistribute on this interval. The construction pulls back a weakly holomorphic Hecke combination of $F$ along $j$; the analysis follows Hecke orbits on the unit-circle arc $\mathcal{A}$, isolating a dominant "cosine" term and controlling the tail via Maass-Poincaré series and Whittaker/Bessel bounds. This extends the Rankin…

"Des lobbyistes « proches de Trump » facturent 1 million de dollars, voire plus, pour obtenir des grâces présidentielles pour leurs clients, certains payant jusqu'Š 6 millions de dollars.
Le Wall Street Journal décrit un processus simple : vous leur donnez l'argent, ils parlent Š quelqu'un de l'entourage proche de Trump, comme son fils, puis Trump vous accorde sa grâce."

@… draw for me an image of a middle aged man with pale skin and hollow eyes sitting infront of a beat up laptop with duct tape holding it together. The man has a suit and his tie is put on sloppy. The background is a smoke filled tavern or restaurant with a simple interior.

🇺🇦 #NowPlaying on #BBC6Music's #CraigCharles
Simple Minds:
🎵 I Travel
#SimpleMinds
https://leaetherstrip.bandcamp.com/track/i-travel-a-tribute-to-simple-minds-2
https://open.spotify.com/track/3GRyWgNPX5rBdh0VQctl5P

I’ve been using Telex to build #WordPress plugins right in the browser, and it makes the whole process surprisingly simple.
https://josvelasco.com/simplifying-wor

⭐ The Simple Habit That Saves My Evenings | alikhil | software engineering, kubernetes & self-hosting
https://alikhil.dev/posts/the-simple-habit-that-saves-my-evenings/
Spoiler alert:
Here are the two main ideas of it:
* Don’t overwork
*…

I read the OpenAI paper a out hallucinations, and it does not say what everybody here is saying it says.
The proof is pretty simple. I might try to go through the whole paper in a thread as an experiment.

Which version best conveys the message "ISO 8601. Every over date/time format is inferior"?
Based on different versions of the original logo I made multiple attempts. One of them will become a sticker. White on red, Blue on White or White on Blue?
#iso8601 #iso8601ultras

»You already have a git server:
If you have a git repository on a server with ssh access, you can just clone it.«
Actually, this is only logical and correspondingly simple, but you should also use this. Now I came across this with the help of a link to this guide.
🧑‍💻 https://maurycyz.com/misc/easy_git/

cell phones and tablets:
https://mastodon.social/@simple_sabotage/115504195285748004

Ballot Box Scotland 2025 in review: council by-elections
"remember the most important aspect of STV – that the nice simple language used for FPTP of “gain/loss/hold” isn’t as applicable here. Whoever vacated one of three or four seats is not always the same as the overall winner at the last election. It’s entirely possible for the vacating party, the party that had a first preference lead, and the party that would have won a single seat election ... to all be different"

2025 in Review: Council By-Elections
A bad year for Labour in by-elections bodes ill for May, no matter how much they may spin one fluke and one narrow Parliamentary by-election win.

$\mathbb{Z}^{2}$-dimension groups
Thierry Giordano, Ian F. Putnam, Christian F. Skau
https://arxiv.org/abs/2509.26444 https://arxiv.org/pdf/2509.26444

$\mathbb{Z}^{2}$-dimension groups
We study a class of simple dimension groups in which the cyclic subgroup generated by the order unit is replaced by a copy of $\mathbb{Z}^{2}$ satisfying some strict conditions. Our main results are necessary and sufficient conditions on a Bratteli diagram which provides inductive limit structures for such groups. This result has an important application in constructing a version of the Bratteli-Vershik model for minimal actions of $\mathbb{Z}^{2}$ on the Cantor set which will be the subject of…

It would be great if there was one simple trick for winning elections. But 'just be more moderate' isn't it.
In fact, you can use the NYT's exact method to 'prove' a 'Progressive Advantage' of 1.4 pts.
This piece shows what's really going on: funded candidates do better than unfunded ones.
-- Adam Bonica

The New York Times’ “Moderation Advantage” Is a Statistical Illusion
After accounting for money and incumbency the supposed electoral bonus for moderate candidates vanishes entirely.

Scientists say this simple diet change can improve sleep fast #nutrition

Scientists say this simple diet change can improve sleep fast
A new study shows that eating more fruits and vegetables during the day can significantly improve sleep that same night. Researchers found a clear link between diet quality and sleep depth, with participants who met the CDC’s daily produce recommendations seeing a 16% boost in sleep quality. The findings suggest that small dietary changes could make a big difference in how well we rest.

Initial spin fluctuations in heavy-ion collisions and where to find them
Giuliano Giacalone, Enrico Speranza
https://arxiv.org/abs/2509.26424 https://arxiv…

Initial spin fluctuations in heavy-ion collisions and where to find them
Collective spin phenomena in the final states of heavy-ion collisions are typically understood to originate from vorticity and shear in the quark-gluon plasma. Here, we ask whether spin could already be present in the initial condition of the collisions. In particular, we argue that if a spin density exists at the beginning of the QGP expansion, it should experience event-by-event fluctuations due to the finite number of participant nucleons. In this contribution, we propose a simple model of f…

The youtube channel of Vietnamese engineer Nguyen Duc Thang is a really soothing way to relax. He has simple animated videos for hundreds of mechanical contraptions. From the most basic gearbox to some inventions that seem to be overly complex but brilliant at the same time.
Like this "push to lock and unlock" mechanism here:
https://www.

from my link log —
VBARE / versioned BARE: A simple alternative to Protobuf & Cap'n Proto for schema evolution.
https://www.rivet.dev/blog/2025-09-24-vbare-simple-schema-evolution-with-maximum-performance
saved 2025-…

VBARE: A simple alternative to Protobuf & Cap'n Proto for schema evolution
At Rivet, we're building an open-source alternative to Cloudflare Durable Objects — a tool for running stateful compute workloads. VBARE is a small but crucial component in meeting the demanding performance requirements of Rivet Actors.

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…

Self-hosting is becoming popular among a certain kind of user,
-- say the typical readership of ItsFoss.
There is a simple explanation for this shift:
people want their data, dollars, and destiny back.
Centralized platforms optimized for engagement and extraction are colliding with real-world needs
— privacy, compliance, predictability, and craft.
Linux, containers, and a flood of polished open-source apps have turned what used to be an enthusiast’s pro…

Self-Hosting is Rising and Linux Users are Leading This Revolution
Self‑hosting isn’t anti‑cloud; it’s pro‑agency. It’s choosing the right locus of control for the things you care about.

Das erste mal seit langem wieder einen Blog Post geschrieben.
In Wordpress hab ich dann erst einmal alles was in Verbindung zu X, Insta & FB steht rausgenommen. War mir gar nicht mehr bewußt, daß ich das noch drin hatte.
Jetzt sind #Mastodon und #Bluesky eingetragen.
#did
https://askan.biz/2025/12/30/simple-but-tasty-halles-de-wazemmes-lille-france/

A look at Journalist.net, a global marketplace that connects 10K freelance journalists with clients, from major newsbrands to creators (Freddy Mayhew/Press Gazette)
https://pressgazette.co.uk/publishing-se…

Journalist.net: The platform enabling any publisher to draw on global newsroom
Journalist.net provides a simple way to find and pay freelance journalists.

Simple, an AI-powered health coaching app to help users lose weight, raised a $35M Series B led by Kevin Hart's HartBeat Ventures (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2025/10/01/kevin-harts-vc-firm-leads-35m-series-…

Kevin Hart’s VC firm leads $35M Series B for weight-loss app Simple | TechCrunch
Simple is an AI-powered health coaching app that helps people lose weight.

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…

🇺🇦 #NowPlaying on KEXP's #MorningShow
Simple Minds:
🎵 Alive and Kicking
#SimpleMinds
https://djaf.bandcamp.com/track/simple-minds-alive-kicking-af-redrum
https://open.spotify.com/track/2x5IXUFOcvvBUtEpnCBNlp

🇺🇦 Auf radioeins läuft...
Simple Minds:
🎵 East At Easter
#NowPlaying #SimpleMinds
https://110berlin.bandcamp.com/track/simple-minds-east-at-easter-ambient-remix-unofficial
https://open.spotify.com/track/1BVT3yUaNqAkjuitUnArmG
Schon gewusst❓
Wenn Du einen Beitrag des Bots ⭐ FAVORISIERST, erfährt das nur der Bot - nicht Deine FollowerInnen.
Wenn Du einen Song weitererempfehlen möchtest, dann 🔁 TEILE ihn❗

🐼 Why We Built Lightpanda in Zig
#software

Why We Built Lightpanda in Zig - Blog | Lightpanda
We chose Zig over C++ and Rust because we wanted a simple, modern systems language. Here's what we learned building a browser with it.

This is a subtweet...
People who are not anti-capitalist sometimes wonder: "Why is there a monopoly on X life-critical thing?" (E.g., epipens, insulin, web search).
This one is really simple actually: because monopolies are more profitable than competition, and the foundation of capitalism is that capital = power.
Various societies have recognized the necropolitical outcomes of monopolies and have tried to erect barriers to monopoly; we all know that monopolies are bad, death-and-suffering-causing things. But since these societies mostly remain capitalist, they allow these barriers to be eroded by the power of capital (to do otherwise would be to repudiate capitalism because it puts a limit on the power of money). The barriers are ineffective, and the capital = power equation holds, and monopolies result and get to do their killing & maiming thing (remember: even things like social media monopolies that you wouldn't expect to pay for political assassinations like a mining company still profit from inciting genocides). *Sometimes* there are oligopolies instead of monopolies, but instances of really competitive markets are pretty rare for things that are widely sought-after.
The "government will manage the markets to prevent bad outcomes like monopolies" strategy has failed repeatedly, spectacularly, and almost universally. To actually prevent monopolies you need a population that no longer believes that money should equal power, it's that simple. Sadly, it's actually not that simple, since all of the alternatives which equate something else to power, like "the king" or "party loyalty as judged by the supreme leader" have the same problems or worse. The attitude you need to cultivate is "nobody should have power," which is hard because *all* of the power-systems we have constantly propagandize against this attitude in myriad ways. Still, in the future once we've broken free of this age where hierarchy is accepted, people will look back and wonder whether the historical records are even credible given how much needless death and suffering were endured with little resistance.
#anarchy #capitalism

I love the abstraction of the "AI" bubble popping. But the very probable effects haunt me.
(Original title: Desire to Pop)
https://tante.cc/2025/11/23/desire-to-pop/

Desire to Pop
Abstractions are powerful tools. Given enough abstraction everything gets somewhat simple. Somewhat clear. Also somewhat wrong. Abstraction turns everything real, material, consequential into mostly nothing. The abstraction of “a relationship” hides all the love and care and desire it might entail. The abstraction of “the border” hides the violence its defense entails. Given enough abstraction […]

"Plastic pollution could linger at ocean surfaces for over a century, new research finds"
#Plastic #Plastics #Oceans

Plastic pollution could linger at ocean surfaces for over a century, new research finds
Scientists from the Department of Geography and Environmental Science at Queen Mary University of London have developed a simple model to show how buoyant plastic can settle through the water column and they predict it could take over 100 years to remove plastic waste from the ocean's surface.

By plugging tens of billions of phone numbers into WhatsApp’s contact discovery tool, researchers found
“the most extensive exposure of phone numbers” ever—along with profile photos and more
A Simple WhatsApp Security Flaw Exposed 3.5 Billion Phone Numbers
https://www.

A Simple WhatsApp Security Flaw Exposed 3.5 Billion Phone Numbers
By plugging tens of billions of phone numbers into WhatsApp’s contact discovery tool, researchers found “the most extensive exposure of phone numbers” ever—along with profile photos and more.

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…