Tootfinder

Some impressions from the double #stratosphere balloon launch in Bochum, Germany, today - more pictures in the album https://www.facebook.com/media/set/?vanity=dan.fischer.393&set=a.10230589908466338

Under-the-radar Dallas Cowboys offensive lineman 'set up to have a great year' https://www.si.com/nfl/cowboys/news/under-the-radar-dallas-cowboys-o-lineman-set-up-to-have-great-year

Browns set to keep four QBs in 2025: Building the perfect starter using best skills of each Cleveland option

https://www.cbssports.com/nfl/news/browns-…

ACA premiums set to spike (The Hill)
https://thehill.com/homenews/5440172-aca-premiums-set-to-spike/
http://www.memeorandum.com/250806/p139#a250806p139

Which 10 NFL Rookies Are Set To Make an Impact During The 2025 Season? https://www.foxsports.com/stories/nfl/which-10-nfl-rookies-set-make-impact-during-2025-season

Authenticated Private Set Intersection: A Merkle Tree-Based Approach for Enhancing Data Integrity
Zixian Gong, Zhiyong Zheng, Zhe Hu, Kun Tian, Yi Zhang, Zhedanov Oleksiy, Fengxia Liu
https://arxiv.org/abs/2506.04647

Authenticated Private Set Intersection: A Merkle Tree-Based Approach for Enhancing Data Integrity
Private Set Intersection (PSI) enables secure computation of set intersections while preserving participant privacy, standard PSI existing protocols remain vulnerable to data integrity attacks allowing malicious participants to extract additional intersection information or mislead other parties. In this paper, we propose the definition of data integrity in PSI and construct two authenticated PSI schemes by integrating Merkle Trees with state-of-the-art two-party volePSI and multi-party mPSI pr…

A driver going 283 mph while trying to set a land speed record at a racing event at Utah’s famed Bonneville Salt Flats
-- died on Sunday
-- after he lost control of his rocket-like vehicle called the Speed Demon.
Driver Chris Raschke lost control about two and a half miles into a run
and was treated by medical professionals at the scene,
but died from his injuries,

cora: CORA citations (1998)
Citations among papers indexed by CORA, from 1998, an early computer science research paper search engine. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) Self-loops may be present. The dates of these snapshots are uncertain.
This network has 23166 nodes and 91500 edges.
Tags: Informational, Citation, Unweighted

EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design
Fei Liu, Yilu Liu, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
https://arxiv.org/abs/2508.03082 https:…

EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design
Automated Heuristic Design (AHD) using Large Language Models (LLMs) has achieved notable success in recent years. Despite the effectiveness of existing approaches, they only design a single heuristic to serve all problem instances, often inducing poor generalization across different distributions or settings. To address this issue, we propose Automated Heuristic Set Design (AHSD), a new formulation for LLM-driven AHD. The aim of AHSD is to automatically generate a small-sized complementary heur…

On Setting Up a Raspberry Pi Off-grid PV-Powered Server (2014) - How I set up a Raspberry Pi (Model B then B ) after the SheevaPlug. ~1.6W consumption typical, 400x less than my original server rack! #RPi #frugal #offGrid

On Setting Up a Raspberry Pi Off-grid PV-Powered Server (2014)
How I set up a Raspberry Pi (Model B then B+) after the SheevaPlug. 1.6W consumption typical, 400x less than my original server rack! #RPi #frugal #offGrid

Connectedness of independence attractors of graphs with independence number three
Moumita Manna, Tarakanta Nayak
https://arxiv.org/abs/2508.04083 https://a…

Connectedness of independence attractors of graphs with independence number three
An independent set in a simple graph $G$ is a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$, denoted by $I_G$ is defined as $1 + a_1 z + a_2 z^2+\cdots+a_d z^{d}$, where $a_i$ denotes the number of independent sets with cardinality $i$ and $d$ is the cardinality of a largest independent set in $G$. This $d$ is known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, den…

Set Smoothness Unlocks Clarke Hyper-stationarity in Bilevel Optimization
He Chen, Jiajin Li, Anthony Man-cho So
https://arxiv.org/abs/2506.04587 https://…

Set Smoothness Unlocks Clarke Hyper-stationarity in Bilevel Optimization
Solving bilevel optimization (BLO) problems to global optimality is generally intractable. A common alternative is to compute a hyper-stationary point -- a stationary point of the hyper-objective function formed by minimizing/maximizing the upper-level function over the lower-level solution set. However, existing approaches either yield weak notions of stationarity or rely on restrictive assumptions to ensure the smoothness of hyper-objective functions. In this paper, we remove these impractica…

Aaron Judge set to return to Yankees' lineup; no timeline on Caitlin Clark to return to Fever

https://www.cbssports.com/mlb/news/aaron-j

Index Ventures is set to receive $11B in proceeds after Figma's IPO, Google's Wiz acquisition, and Meta's investment in Scale AI, which paid out shareholders (Wall Street Journal)
https://www.wsj.com/finance/investing/figm

Medicaid Cuts Set to Drain Revenue at Elite Teaching Hospitals (Bloomberg)
https://www.bloomberg.com/news/articles/2025-08-07/medicaid-cuts-set-to-drain-revenue-at-elite-teaching-hospitals
http://www.memeorandum.com/250807/p64#a250807p64

Things are all set for the Fysh.Org server migration later today.
Announced window is 12:00-17:00 UTC (so 13:00-18:00 BST).
I'll reply in this thread (hopefully remembering to set the posts as Unlisted/Quiet Public) with progress as and when I remember and have time.
#FyshOrg

Wow such AI https://social.lol/@keenan/114801484115645305

Keenan (@keenan@social.lol)
Attached: 1 image iOS 26 beta broke the only thing that Siri has ever been reliably good for. “Set a timer for X minutes” now results in this, rather than a timer being set.

An Efficient Candidate-Free R-S Set Similarity Join Algorithm with the Filter-and-Verification Tree and MapReduce
Yuhong Feng, Fangcao Jian, Yixuan Cao, Xiaobin Jian, Jia Wang, Haiyue Feng, Chunyan Miao
https://arxiv.org/abs/2506.03893

An Efficient Candidate-Free R-S Set Similarity Join Algorithm with the Filter-and-Verification Tree and MapReduce
Given two different collections of sets, the exact set similarity R-S Join finds all set pairs with similarity no less than a given threshold, which has widespread applications. While existing algorithms accelerate large-scale R-S Joins using a two-stage filter-and-verification framework along with the parallel and distributed MapReduce framework, they suffer from excessive candidate set pairs, leading to significant I/O, data transfer, and verification overhead, and ultimately degrading the pe…

The portable air conditioner unit we have in the bedroom is reasonably advanced: it has WiFi connectivity, a remote control, and the ability to switch between heating and cooling. It's annoying, though, that you can only set a sleep timer on the unit itself, which isn't great when you're all nice and comfy in bed. It also takes several button presses when you're there. Fixed thanks to #HomeAssistant, meaning it can be set through the app or voice 😄

An O(log log n)-approximate budget feasible mechanism for subadditive valuations
Rian Neogi, Kanstantsin Pashkovich, Chaitanya Swamy
https://arxiv.org/abs/2506.04665

An O(log log n)-approximate budget feasible mechanism for subadditive valuations
In budget-feasible mechanism design, there is a set of items $U$, each owned by a distinct seller. The seller of item $e$ incurs a private cost $\overline{c}_e$ for supplying her item. A buyer wishes to procure a set of items from the sellers of maximum value, where the value of a set $S\subseteq U$ of items is given by a valuation function $v:2^U\to \mathbb{R}_+$. The buyer has a budget of $B \in \mathbb{R}_+$ for the total payments made to the sellers. We wish to design a mechanism that is tr…

My attempt to bike 1,000 miles this year is going well! And I also learned how to make bar graphs in Python...
➡️ #bike

Miles Biked (so far)…
Sometimes I set goals...

at tv eye, totally ripping set by takaat, 3 members of mdou moctar, ecstatic tuareg desert blues dialled up until reaching, like, horse lords levels of rhythmic facemelt. saw one very excellent local drummer basically (politely) elbow his way up front to watch agog. #nyc #guitar

Finally decided on a name for my newsletter and set up a landing page for it.

It's still the same newsletter (or newsletters) I've always had, just with a name that resonates with me. :)

My Next Heartbeat
https://heartbeat.email

Hausdorff dimension of specification for the $(\alpha,\beta)$-shifts
Hiroki Takahasi
https://arxiv.org/abs/2508.04345 https://arxiv.org/pdf/2508.04345

Hausdorff dimension of specification for the $(α,β)$-shifts
Specification is an important concept in dynamical systems introduced by Bowen. Schmeling proved that the set of $β>1$ such that the corresponding $β$-shift has specification is of Hausdorff dimension $1$. Hu et al. proved that the set of $β>1$ such that the corresponding $(-β)$-shift has specification is of Hausdorff dimension $1$. We show that the set of $(α,β)\in[0,1)\times(1,\infty)$ such that the corresponding $(α,β)$-shift has specification is of Hausdorff dimension $2$. A new dif…

arxiv_citation: arXiv citation networks (1993-2003)
Citations among papers posted on arxiv.org under the hep-ph and hep-th categories, between 1993 and 2003. This time begins a few months after axiv was launched. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) These data were originally released as part of the 2003 KDD Cup.
This network has 27770 nodes and 352807 edges.
Tags: Informational,…

Har netop set Cloud Atlas for fŸrste gang - efter anbefaling af min mand. YngsteSŸn så endda med, yay 😊
Jeg elskede den, er helt overvældet af indtryk!

I was really angry last night about the fireworks being set off in our neighborhood. Our dog is severely traumatized by them. She hides under a chair and pants until about an hour after they stop going off.
However, my posts were much more generalized and that was not called for.
*** If I offended you with my posts, I apologize. ***
I do not apologize for wanting to end the use of fireworks.

Finitary codings and stochastic domination for Poisson representable processes
Yinon Spinka
https://arxiv.org/abs/2506.04797 https://…

Finitary codings and stochastic domination for Poisson representable processes
Construct a random set by independently selecting each finite subset of the integers with some probability depending on the set up to translations and taking the union of the selected sets. We show that when the only sets selected with positive probability are pairs, such a random set is a finitary factor of an IID process, answering a question of Forsström, Gantert and Steif. More generally, we show that this is the case whenever the distribution induced by the size of the selected sets has s…

Time to set the DVR.
Original post: https://bsky.app/profile/did:plc:k5nskatzhyxersjilvtnz4lh/post/3lr252pbj4k2a

@rzeta0@mastodon.social @…
There is no single truth to seek. Personally, I think that it was a mistake to set up Israel at the expense of Palestinians, after WW2, but it's far too late to fix that. Israel has gone too far in its response to Hamas, though Hamas started the current war. What do you think should be done?

This https://arxiv.org/abs/2408.06200 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Dirichlet improvability in $L_p$-norms
For a norm $F$ on $\mathbb{R}^2$, we consider the set of $F$-Dirichlet improvable numbers $\mathbf{DI}_F$. In the most important case of $F$ being an $L_p$-norm with $p=\infty$, which is a supremum norm, it is well-known that $\mathbf{DI}_F = \mathbf{BA}\cup \mathbb{Q}$, where $\mathbf{BA}$ is a set of badly approximable numbers. It is also known that $\mathbf{BA}$ and each $\mathbf{DI}_F$ are of measure zero and of full Hausdorff dimension. Using classification of critical lattices for unit …

D-ideal of generic mass banana integrals in dimensional regularization
Wojciech Flieger
https://arxiv.org/abs/2508.04309 https://arxiv.org/pdf/2508.04309…

D-ideal of generic mass banana integrals in dimensional regularization
We present a set of $\ell + 3$ simple differential operators and prove that they annihilate an $\ell$-loop generic mass banana integral in dimensional regularization. We study the singular locus of the ideal generated by these operators and show that it is contained in the set of Landau singularities of the first and second type. Through the Macaulay matrix method, we calculate the corresponding holonomic rank up to $\ell = 8$, obtaining $2^{\ell +1}-1$, which agrees with the number of master i…

just noticed that my #Facebook account has not been deleted.
Sent a delete request .. AGAIN and set a reminder for in 30 days to check. This is really annoying.

Shedeur Sanders set to make his debut: Where to watch Browns vs. Panthers NFL preseason game on TV, streaming

https://www.cbssports.com/nfl/news/shedeur…

Context-aware gate set tomography: Improving the self-consistent characterization of trapped-ion universal gate sets by leveraging non-Markovianity
Pablo Vi\~nas, Alejandro Bermudez
https://arxiv.org/abs/2507.02542

Context-aware gate set tomography: Improving the self-consistent characterization of trapped-ion universal gate sets by leveraging non-Markovianity
To progress in the characterization of noise for current quantum computers, gate set tomography (GST) has emerged as a self-consistent tomographic protocol that can accurately estimate the complete set of noisy quantum gates, state preparations, and measurements. In its original incarnation, GST improves the estimation precision by applying the gates sequentially, provided that the noise makes them a set of fixed completely-positive and trace preserving (CPTP) maps independent of the history of…

“Where to Put Focus When Opening a Modal Dialog”
https://adrianroselli.com/2025/06/where-to-put-focus-when-opening-a-modal-dialog.html
TL;DR: blanket statements about where to put focus when opening a modal dialog are wrong, in…

Where to Put Focus When Opening a Modal Dialog
TL;DR: blanket statements about where to put focus when opening a modal dialog are wrong, including this one. This post is meant to help guide you, an intelligent and thoughtful and empathetic reader, figure out where you should set focus. The scenarios are non-exhaustive. Messages I’m artificially breaking these into…

The Internet IS a *set* of physical things that can be blown up by bombs.
However, where there used to be about a dozen places where you’d need to plant a substantial bomb to wreck the Internet, while now there are hundreds you’d need to hit simultaneously to affect most users. It isn’t even really feasible to figure out where those places all are, because the live interconnections are so complex and the fallback links are entirely invisible normally.

jwz (@jwz@mastodon.social)
Attached: 1 image I am really enjoying this series W0rldtr33, which takes the positions that A) the Internet is very literally evil, and B) the Internet is a physical thing that can be blown up with bombs... https://jwz.org/b/ykoy

Neue #Pedale für #Lurchi

Do You know how to #batch? by Stefano Fago

This guest post explores a small set of techniques that help with more scalable and efficient solutions in Java-based systems, introducing some differences due to Cloud environments.
https://

5 handstand push-ups, set 2. (Ties my record.) Wednesdays are usually my handstand and pike day.
#seniorfitness #nogym #calisthenics

So the idea that Musk’s time in Washington is over is an obvious farce. To promulgate this notion is to be either ignorant or nefarious. The destruction that Musk set in motion remains running in the background as an ambient menace to our safety and livelihoods. Musk’s legacy is still being written.
Alex Shepard - The New Republic #USA

Elon Musk’s Reign of Terror Is Only Just Beginning
His “departure” from the government is anything but.

There is a tiny chance that a very short impact flash occurred on #Saturn on July 5th 2025, between 09:00 and 09:15 UT. It is very important we could get other videos of Saturn taken during that time frame: https://www.facebook.com/photo/?fbid=10093114884107100&set=a.808337092584972 - keep your Saturn videos taken on 2025.07.05 09h00UT-09:15UT (only original videos could confirm an impact).

Brazil set to blast 35 km river rock formation for new Amazon shipping route https://news.mongabay.com/2025/06/brazil-set-to-blast-35-km-river-rock-formation-for-new-amazon-shipping-route/

Brazil set to blast 35 km river rock formation for new Amazon shipping route
The Brazilian environmental agency, IBAMA, approved a license to blast a natural rock barrier on the Tocantins River in Pará state to enable boats to pass during the dry season, as part of wider efforts to build a massive waterway for commodities.

Another set of services has been disconnected from Gmail, including Apple.
#degoogle #degoogleAdventures #apple #ipad

Preordered #Daggerheart core set on Amazon end of May because no other shop even let me order it in Europe. Turned out Amazon was lying about their stock as well and just postponed my order indefinitely, so I cancelled it now. On the positive side, Thalia.de now lists it as deliverable within six weeks and I can pay on pickup, so nothing lost if it turns out to take longer. Also it's …

Finding Colorings in One-Sided Expanders
Rares-Darius Buhai, Yiding Hua, David Steurer, Andor V\'ari-Kakas
https://arxiv.org/abs/2508.02825 https://arx…

Finding Colorings in One-Sided Expanders
We establish new algorithmic guarantees with matching hardness results for coloring and independent set problems in one-sided expanders and related classes of graphs. For example, given a $3$-colorable regular one-sided expander, we compute in polynomial time either an independent set of relative size at least $1/2-o(1)$ or a proper $3$-coloring for all but an $o(1)$ fraction of the vertices, where $o(1)$ stands for a function that tends to $0$ with the second largest eigenvalue of the normaliz…

On the diameter and girth of zero-divisor graphs of inverse semigroups
Yanhui Wang, Xinyi Zhu, Pei Gao
https://arxiv.org/abs/2508.03632 https://arxiv.org/p…

On the diameter and girth of zero-divisor graphs of inverse semigroups
Let $S$ be an inverse semigroup with zero and let $Z(S)^\times$ be its set of non-zero divisors with respect to the natural partial order $\le $ on $S$, that is, $a \in Z(S)^\times $ if there exists $b\in S\setminus\{0\}$ with $ω(a, b) = \{c \in S: c \leq a\ \mbox{and}\ c \leq b\}=\{0\}$. The set $Z(S)^\times$ makes up the vertices of the corresponding {\it zero-divisor graph} $Γ(S)$, with two distinct vertices $a, b$ forming an edge if $ω(a, b)=\{0\}$. We characterize {\it zero-divisor grap…

The 82nd edition of De Programmatica Ipsum is out!
This month, we look at hits and misses (mostly misses, let us be honest) in our long tradition of predicting the future; in the Library section, we review "The Dream Machine" by M. Mitchell Waldrop and famous papers authored by J. C. R. Licklider; and in our Vidéothèque section, we watch "The Mother of all Demos" by Doug Engelbart.

Issue 082: Futurism
Welcome to the 82nd issue of De Programmatica Ipsum, about Futurism. In this edition, we look at hits and misses (mostly misses, let us be honest) in our long tradition of predicting the future; in the Library section, we review "The Dream Machine" by M. Mitchell Waldrop and famous papers authored by J. C. R. Licklider; and in our Vidéothèque section, we watch "The Mother of all Demos" by Doug Engelbart.

🌝 Reverse engineering the mysterious Up-Data Link Test Set from Apollo
http://www.righto.com/2025/07/reverse-engineering-mysterious-up-data.html
#electronics

Reverse engineering the mysterious Up-Data Link Test Set from Apollo
Back in 2021, a collector friend of ours was visiting a dusty warehouse in search of Apollo-era communications equipment. A box with NASA-st...

🇳🇴 En vennlig påminnelse for dagen: #NorskTut #Norge

Volle Fahrt voraus im Rückwärtsgang!
[Full speed ahead in reverse gear!]
What this TV report opens with seems to be a new motto for the German automotive industry.
https://www.linkedin.com/posts/jaapburger_

MDR SACHSEN-ANHALT HEUTE: Rückwärts-Weltrekord: Die Fahrt ging noch weiter… | Jaap Burger
Volle Fahrt voraus im Rückwärtsgang! [Full speed ahead in reverse gear!] What this TV report opens with seems to be a new motto for the German automotive industry. This week, a German manufacturer set a new world record for reversing in an electric truck. The German automotive industry as a whole is also attempting to reverse in electric mode: it has presented a 10-point plan to postpone, water down, weaken, undermine, regret, delay, reduce, replace, backtrack on and ridicule European CO2 re…

Spectroscopic ages for 4 million main-sequence dwarf stars from LAMOST DR10 estimated with data-driven approach
Jia-Hui Wang, Maosheng Xiang, Meng Zhang, Jiwei Xie, Jian Ge, Jinghua Zhang, Lanya Mou, Jifeng Liu
https://arxiv.org/abs/2508.03019

Spectroscopic ages for 4 million main-sequence dwarf stars from LAMOST DR10 estimated with data-driven approach
Stellar age determination for large samples of stars opens new avenues for a broad range of astronomical sciences. While precise stellar ages for evolved stars have been derived from large ground- and space-based stellar surveys, reliable age determination for cool main-sequence dwarf stars remains a challenge. In this work, we set out to estimate the age of dwarf stars from the LAMOST spectra with a data-driven approach. We build a training set by using wide binaries that the primary component…

Just finished "Leap" by Simina Popescu. A really wonderful queer teen graphic novel that weaves romantic and platonic relationships together into a beautiful and hopeful story. The way Popescu captures choreography on an illustrated page is kinda magical, and since the whole book is set in a ballet school, we get to see plenty of it.
#AmReading

High-ranking federal officials have suggested that #birdflu virus should be left to "rip" through poultry farms across the U.S.
— but experts warn that this hands-off approach could hasten the beginning of a new pandemic

RFK's proposal to let bird flu spread through poultry could set us up for a pandemic, experts warn
HHS Secretary Robert F. Kennedy Jr. and Secretary of Agriculture Brooke Rollins have expressed interest in letting H5N1 outbreaks spread unchecked through U.S. poultry farms. Health experts warn it could lead to a new pandemic.

Embedded systems often avoid fpu save/restore where possible, so I've been hacking GCC to avoid aarch64 fp regs when inlining memory copy/set operations. This series adds a new -msimd-memops command line option to control this. https://gcc.gnu.org/pipermail/gcc-patches/2025-A…

#Blakes7 Series C, Episode 06 - City at the Edge of the World
CALLY: That's what we think.
AVON: [Pointing gun at soldier] What do you think?
[In room]
SHERM: All the guards are in place captain, he can't have got away.
BAYBAN: He must have done.

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Knowledge-guided Contextual Gene Set Analysis Using Large Language Models
Zhizheng Wang, Chi-Ping Day, Chih-Hsuan Wei, Qiao Jin, Robert Leaman, Yifan Yang, Shubo Tian, Aodong Qiu, Yin Fang, Qingqing Zhu, Xinghua Lu, Zhiyong Lu
https://arxiv.org/abs/2506.04303

Knowledge-guided Contextual Gene Set Analysis Using Large Language Models
Gene set analysis (GSA) is a foundational approach for interpreting genomic data of diseases by linking genes to biological processes. However, conventional GSA methods overlook clinical context of the analyses, often generating long lists of enriched pathways with redundant, nonspecific, or irrelevant results. Interpreting these requires extensive, ad-hoc manual effort, reducing both reliability and reproducibility. To address this limitation, we introduce cGSA, a novel AI-driven framework tha…

Norming Sets for Tensor and Polynomial Sketching
Yifan Zhang, Joe Kileel
https://arxiv.org/abs/2506.05174 https://arxiv.org/pdf/2506.…

Norming Sets for Tensor and Polynomial Sketching
This paper develops the sketching (i.e., randomized dimension reduction) theory for real algebraic varieties and images of polynomial maps, including, e.g., the set of low rank tensors and tensor networks. Through the lens of norming sets, we provide a framework for controlling the sketching dimension for \textit{any} sketch operator used to embed said sets, including sub-Gaussian, fast Johnson-Lindenstrauss, and tensor structured sketch operators. Leveraging norming set theory, we propose a ne…

Aaron Rodgers set to become oldest player in Steelers' 92-year history: QB will also be NFL's elder statesman

https://www.cbssports.com…

CrossSet: Unveiling the Complex Interplay of Two Set-typed Dimensions in Multivariate Data
Kresimir Matkovic, Rainer Splechtna, Denis Gracanin, Helwig Hauser
https://arxiv.org/abs/2508.00424

CrossSet: Unveiling the Complex Interplay of Two Set-typed Dimensions in Multivariate Data
The interactive visual analysis of set-typed data, i.e., data with attributes that are of type set, is a rewarding area of research and applications. Valuable prior work has contributed solutions that enable the study of such data with individual set-typed dimensions. In this paper, we present CrossSet, a novel method for the joint study of two set-typed dimensions and their interplay. Based on a task analysis, we describe a new, multi-scale approach to the interactive visual exploration and an…

Strolled through the Elizabethan Gardens this afternoon.

The set-theoretic Kaufmann-Clote question
Zachiri McKenzie
https://arxiv.org/abs/2507.01176 https://arxiv.org/pdf/2507.01176

The set-theoretic Kaufmann-Clote question
Let $\mathsf{M}$ be the set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $Δ_0$-formulae and adding an axiom asserting that every set is contained in a transitive set. Let $Π_n\textsf{-Collection}$ denote the restriction of the collection scheme to $Π_n$-formulae. In this paper we prove that for $n \geq 1$, if $\mathcal{M}$ is a model of $\mathsf{M}+Π_n\textsf{-Collection}+\mathsf{V=L}$ and $\mathcal{N}$ is a $Σ_{n+1}$-elementary end extens…

My thoughts go out to all the terrorized pets every holiday people set off fireworks.

Ripple plans to acquire stablecoin payments platform Rail for $200M, set to close in Q4 2025; Rail says it handles 10% of all global stablecoin payment activity (Hannah Lang/Reuters)
https://www.reuters.com/legal/transactional/ripple-bu…

Despite being a person who gets confused by SSH keys every time I have to set them up I actually got things working today. Huzzah!

Unravelling the Probabilistic Forest: Arbitrage in Prediction Markets
Oriol Saguillo, Vahid Ghafouri, Lucianna Kiffer, Guillermo Suarez-Tangil
https://arxiv.org/abs/2508.03474 h…

Unravelling the Probabilistic Forest: Arbitrage in Prediction Markets
Polymarket is a prediction market platform where users can speculate on future events by trading shares tied to specific outcomes, known as conditions. Each market is associated with a set of one or more such conditions. To ensure proper market resolution, the condition set must be exhaustive -- collectively accounting for all possible outcomes -- and mutually exclusive -- only one condition may resolve as true. Thus, the collective prices of all related outcomes should be \$1, representing a c…

A robust approach to sigma point Kalman filtering
Shenglun Yi, Mattia Zorzi
https://arxiv.org/abs/2506.04815 https://arxiv.org/pdf/25…

A robust approach to sigma point Kalman filtering
In this paper, we address a robust nonlinear state estimation problem under model uncertainty by formulating a dynamic minimax game: one player designs the robust estimator, while the other selects the least favorable model from an ambiguity set of possible models centered around the nominal one. To characterize a closed-form expression for the conditional expectation characterizing the estimator, we approximate the center of this ambiguity set by means of a sigma point approximation. Furthermo…

Terence Steele is ‘set up to have a great year’ for Cowboys in 2025, per Brian Schottenheimer https://www.dallascowboys.com/news/terence-steele-is-set-up-to-have-a-great-year-for-cowboys-in-2025-per-brian-scho…

Taiwan says TSMC will not have to pay 100% tariffs on US chip imports, as it has set up US plants; UMC may see reduced impact through its cooperation with Intel (Bloomberg)
https://www.bloomberg.com/news/articles/20

Partitioning set $[n] = \{1, \dots, n\}$ into subsets of size at most $m$ such that all sums are powers of $m$
Vladimir Gurvich, Mariya Naumova
https://arxiv.org/abs/2508.00946 …

Partitioning set $[n] = \{1, \dots, n\}$ into subsets of size at most $m$ such that all sums are powers of $m$
Given integer $n > 0$ and $m > 1$, we call a partition of set $[n] = \{1, \dots, n\}$ {\em $m$-good} if each of the partitioning sets is of size at most $m$ and the sum of numbers in it is a power of $m$, that is, $m^t$ for some $t \geq 0$. It is easily seen that a unique 2-good partition exists for each $n$ and, in contrast, for each fixed $m>3$, for infinitely many $n$, no $m$-good partition exists. Case $m=3$ is more difficult. We conjecture that 3-good partitions exist for each $n$ and pr…

Urge FIFA to Help Stop the Slaughter of Cats and Dogs in Morocco! #AnimalRights

Urge FIFA to Stop the Slaughter of Cats and Dogs in Morocco!
Homeless animals are being shot, poisoned, or set on fire in Morocco as the country prepares to co-host the 2030 FIFA World Cup – urge FIFA to intervene.

This https://arxiv.org/abs/2411.04846 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDS_…

On the Complexity of 2-club Cluster Editing with Vertex Splitting
Editing a graph to obtain a disjoint union of s-clubs is one of the models for correlation clustering, which seeks a partition of the vertex set of a graph so that elements of each resulting set are close enough according to some given criterion. For example, in the case of editing into s-clubs, the criterion is proximity since any pair of vertices (in an s-club) are within a distance of s from each other. In this work we consider the vertex splitting operation, which allows a vertex to belong …

On Setting Up a Raspberry Pi Off-grid PV-Powered Server (2014) - How I set up a Raspberry Pi (Model B then B ) after the SheevaPlug. ~1.6W consumption typical, 400x less than my original server rack! #RPi #frugal #offGrid

On Setting Up a Raspberry Pi Off-grid PV-Powered Server (2014)
How I set up a Raspberry Pi (Model B then B+) after the SheevaPlug. 1.6W consumption typical, 400x less than my original server rack! #RPi #frugal #offGrid

polblogs: Political blogs network (2004)
A directed network of hyperlinks among a large set of U.S. political weblogs from before the 2004 election. Includes blog political affiliation as metadata.
This network has 1490 nodes and 19090 edges.
Tags: Informational, Web graph, Unweighted, Metadata
https://networks.skewed.d…

Trump was set to officially begin levying higher import taxes on dozens of countries Thursday,
-- just as the economic fallout of his monthslong tariff threats has begun to create visible damage for the U.S. economy.
The White House said that starting just after midnight that goods from more than 60 countries and the European Union would face tariff rates of 10% or higher.
Products from the European Union, Japan and South Korea will be taxed at 15%, while imports from Taiw…

Series D, Episode 09 - Sand
AVON: Let's get going.
REEVE: Fine landing, Chasgo. You certainly put the lady out of business. [To Servalan] If there is anyone on this planet, you'll have to leave them to me now.
https://blake.torpidity.net/m/409/37 B7B5

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Apple is investing another $100 billion in the US, Trump set to announce (Lisa Eadicicco/CNN)
https://cnn.com/2025/08/06/business/apple-investment-us-trump
http://www.memeorandum.com/250806/p59#a250806p59

CoreWeave says it agreed to acquire bitcoin miner Core Scientific in a ~$9B all-stock deal, set to close in Q4 2025, to expand its AI data center capacity (Dana Wollman/Bloomberg)
https://www.bloomberg.com/news/articles/20

Ben Johnson preparing his set of trick plays in Chicago: 'We've got some toys to work with' https://www.nfl.com/news/ben-johnson-preparing-trick-plays-chicago-some-toys-to-work-with

sp_colocation: Social co-locations (2018)
Network of colocations between peoople, based on the information on which RFID readers received information from the RFID tags. Namely, we define two individuals to be in co-presence if the same exact set of readers have received signals from both individuals during a 20s time window.
This network has 100 nodes and 394247 edges.
Tags: Social, Offline, Unweighted, Weighted, Temporal, Metadata

Resilient Pattern Mining
Pengxin Bian, Panagiotis Charalampopoulos, Lorraine A. K. Ayad, Manal Mohamed, Solon P. Pissis, Grigorios Loukides
https://arxiv.org/abs/2506.04935

Resilient Pattern Mining
Frequent pattern mining is a flagship problem in data mining. In its most basic form, it asks for the set of substrings of a given string $S$ of length $n$ that occur at least $τ$ times in $S$, for some integer $τ\in[1,n]$. We introduce a resilient version of this classic problem, which we term the $(τ, k)$-Resilient Pattern Mining (RPM) problem. Given a string $S$ of length $n$ and two integers $τ, k\in[1,n]$, RPM asks for the set of substrings of $S$ that occur at least $τ$ times in $S$,…

Exoplanet Atmospheric Refraction Effects in the #Kepler Sample: https://arxiv.org/abs/2507.02126 -> "We present an analysis on the detection viability of refraction effects in Kepler's exoplanet atmospheres using binning techniques for their light curves in order to compare against simulated refraction effects. We split the Kepler exoplanets into sub-populations according to orbital period and planetary radius, then search for out-of-transit changes in the relative flux associated with atmospheric refraction of starlight. The presence of refraction effects - or lack thereof - may be used to measure and set limits on the bulk properties of an atmosphere, including mean molecular weight or the presence of hazes.
In this work, we use the presence of refraction effects to test whether exoplanets above the period-radius valley have H/He atmospheres, which high levels of stellar radiation could evaporate away, in turn leaving rocky cores below the valley. We find strong observational evidence of refraction effects for exoplanets above the period-radius valley based on Kepler photometry, however those related to optically thin H/He atmospheres are not common in the observed planetary population. This result may be attributed to signal dampening caused by clouds and hazes, consistent with the optically thick and intrinsically hotter atmospheres of Kepler exoplanets caused by relatively close host star proximity."

Anthropic unveils a new set of Claude Gov models tailored for US national security customers and designed to be applied to planning, analysis, and more (Kyle Wiggers/TechCrunch)
https://techcrunch.com/2025/06/05/anthropic-u…

Anthropic unveils custom AI models for U.S. national security customers | TechCrunch
Anthropic says that it has released a new set of AI models tailored for U.S. national security customers.

Series A, Episode 02 - Space Fall
DAINER: You drink it first.
[Avon crawls through the service channel. He reaches the hatch leading into the computer room. He quietly opens the hatch, sees the technician, and closes the hatch again. The technician doesn't see this, and continues to check the computer. Avon waits for a bit, and opens the hatch again.]

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Wimbledon organisers have apologised after the electronic line-calling system on Centre Court was turned off in error and missed three calls in one game.
Anastasia Pavlyuchenkova said a game was 'stolen' from her after there was no 'out' call when a Sonay Kartal backhand went long in the first set of their fourth-round match

Wimbledon 2025: Organisers apologise after missing three calls after electronic line-calling system deactivated in one game
Wimbledon organisers apologise after the electronic line-calling system on Centre Court is turned off in error and misses three calls in one game.

Zac Taylor details 'better' performances from Joe Burrow as Bengals set sights on AFC North

https://www.cbssports.com/nfl/news/zac-tay

The Trump administration is warning states that they risk losing access to broadband funds if they set price caps on low-cost ISP plans (Jon Brodkin/Ars Technica)
https://arstechnica.com/tech-policy/2025/08/trump-admin-warns-states-don…

Trump admin warns states: Don’t try to lower broadband prices
ISPs getting grants must offer “low-cost” plan, but they get to pick the price.

Scarsdale High School grad released after being detained by ICE for several days (Joe Torres/abc7NY)
https://abc7ny.com/post/scarsdale-high-school-grad-yeonsoo-go-detained-ice-rally-prayer-vigil-set-thursday/17431965/
http://www.memeorandum.com/250804/p126#a250804p126

The Republican budget measure that Donald Trump signed into law late last week contains a provision that analysts say will
🔥allow private jet owners to write off the full cost of their aircraft in the first year of purchase,
❌a boon to the ultra-rich that comes as millions of people are set to lose healthcare under the same legislation.
FlyUSA, a private aviation provider, gushed in a blog post that with final passage of the unpopular budget reconciliation package,
…

The Return of 100% Bonus Depreciation: How 2025 Made Private Aircraft Ownership More Valuable Than Ever
The One Big Beautiful Bill Act (H.R.1) was permanently reinstated 100% bonus depreciation for capital equipment, including business & aviation aircraft.

Series B, Episode 10 - Voice from the Past
JENNA: Well, maybe that's not related.
CALLY: Well, Jenna, remember there was something else - earlier, in the rest room.
JENNA: Complaining of some sort of noise.
AVON: A sort of tone, he said.
https://blake.torpidity.net/m/210/83

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

White House official: President Trump plans to announce today that Apple will commit to spending another $100B on US manufacturing; Tim Cook is set to attend (Hadriana Lowenkron/Bloomberg)
https://www.bloomberg.com/news/articles/20

cora: CORA citations (1998)
Citations among papers indexed by CORA, from 1998, an early computer science research paper search engine. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) Self-loops may be present. The dates of these snapshots are uncertain.
This network has 23166 nodes and 91500 edges.
Tags: Informational, Citation, Unweighted

Court records: from 2017 to 2022, 400,181 US Uber trips had sexual assault and sexual misconduct reports, far exceeding its public disclosure of 12,522 reports (Emily Steel/New York Times)
https://www.nytimes.com/2025/08/06/business/uber-sexual-assault.html

Uber’s Festering Sexual Assault Problem
The company has tested tools that make rides safer, court records show. Measures to stem the violence have been set aside in favor of protecting the company’s business.

Series B, Episode 09 - Countdown
AVON: Approximately six million. It was colonized in the last century of the Old Calendar. At first they resisted political affiliation, but then they joined the Federation, and they have remained unswervingly loyal.
VILA: Then they're not likely to welcome us with open arms.
https://

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Vikings' J.J. McCarthy to play in preseason opener: Minnesota QB set to return a year after knee injury

https://www.cbssports.com/nfl/news/vikings

A councilman in Danville, Virginia, was attacked and set on fire on Wednesday over what police are describing as a “personal matter” not related to his position or politics.
According to a statement released by the Danville police department, the councilman, Lee Vogler, 38,
was attacked at the offices of a local magazine, where he is also employed.
The police said officers were dispatched at about 11.30am after receiving a report that a man had been set on fire.
Witnes…

Ranking NFL's 13 new coach-quarterback duos of 2025: Bears, Vikings set to surge? Raiders poised to rebound?

https://www.cbssports.com/nfl/new…

Donald Trump’s budget bill is set to make ICE the single largest federal law enforcement agency in US history.
The mass deportations the far right fantasizes about will remain unrealistic,
-- but not for lack of funds.
https://jacobin.com/2025/07/ice-trump-

ICE Is About to Get More Money Than It Can Spend
Donald Trump’s budget bill is set to make ICE the single largest federal law enforcement agency in US history. The mass deportations the far right fantasizes about will remain unrealistic, but not for lack of funds.

Seven-round NFL mock draft for 2025 season: Every team's full set of win-now picks https://www.nfl.com/news/seven-round-nfl-mock-draft-for-2025-season-every-team-s-full-set-of-win-now-picks

Fantasy football 2025: Justin Fields, Caleb Williams among breakout candidates https://www.nfl.com/news/fantasy-football-2025-breakout-candidates