In search of constitutive conditions in isotropic hyperelasticity: polyconvexity versus true-stress-true-strain monotonicity
Maximilian P. Wollner, Gerhard A. Holzapfel, Patrizio Neff
https://arxiv.org/abs/2509.08597

In search of constitutive conditions in isotropic hyperelasticity: polyconvexity versus true-stress-true-strain monotonicity
The polyconvexity of a strain-energy function is nowadays increasingly presented as the ultimate material stability condition for an idealized elastic response. While the mathematical merits of polyconvexity are clearly understood, its mechanical consequences have received less attention. In this contribution we contrast polyconvexity with the recently rediscovered true-stress-true-strain monotonicity (TSTS-M${}^{++}\!$) condition. By way of explicit examples, we show that neither condition by …

you may find these useful:
https://accountscenter.instagram.com/personal_info/account_ownership_and_control/deletion_and_deactivation/?is_from_dialog=true

you may find these useful:
https://accountscenter.instagram.com/personal_info/account_ownership_and_control/deletion_and_deactivation/?is_from_dialog=true

A recent study found nearly four in five children aged under 12 in the UK experience ecoanxiety,
fear of the state of the climate in the future
https://www.independent.co.uk/climate-change/news/greenpeace-children-homes-b2690913.h…

Eco-anxiety rife among children as 78% found to be worried about climate change
As Children’s Mental Health Week kicks off, Greenpeace has released guidance on having conversations with young people about the climate crisis.

🇺🇦 #NowPlaying on KEXP's #MorningShow
New Order:
🎵 True Faith
#NewOrder
https://djpaulharwoodremixes.bandcamp.com/track/new-order-true-faith-dj-paul-harwood-remix
https://open.spotify.com/track/4fpxnJGDWFxjGvLJOqPPt8

🇺🇦 Auf radioeins läuft...
Nightmares On Wax:
🎵 True feat. Sadie Walker (Radio Edit)
#NowPlaying #NightmaresOnWax
#newRelease 🆕 single
https://nightmaresonwax.bandcamp.com/track/true-feat-sadie-walker
https://open.spotify.com/track/6KqUN9PFvVJE6IifF0DM4a

Two prosecutors from former special counsel Jack Smith's office fired (NBC News)
https://www.nbcnews.com/politics/trump-administration/live-blog/trump-texas-floods-tariffs-canada-immigration-doge-live-updates-rcna217076/rcrd84828?canonicalCard=true
http://www.memeorandum.com/250711/p110#a250711p110

Raiders’ True Feelings on Geno Smith Leaked to Insider https://heavy.com/sports/nfl/las-vegas-raiders/geno-smith-true-feelings-espn/?adt_ei=[email]

Sequential Spectral Clustering of Data Sequences
G Dhinesh Chandran, Kota Srinivas Reddy, Srikrishna Bhashyam
https://arxiv.org/abs/2509.09144 https://arxi…

Sequential Spectral Clustering of Data Sequences
We study the problem of nonparametric clustering of data sequences, where each data sequence comprises i.i.d. samples generated from an unknown distribution. The true clusters are the clusters obtained using the Spectral clustering algorithm (SPEC) on the pairwise distance between the true distributions corresponding to the data sequences. Since the true distributions are unknown, the objective is to estimate the clusters by observing the minimum number of samples from the data sequences for a …

:blep:

The Packers may be an early Super Bowl contender, plus more Pulse bets https://www.nytimes.com/athletic/6620642/2025/09/12/packers-commanders-tnf-the-pulse/

My son's becoming a true master with #WorldPainter & #WorldMachine and has been creating some stunning and super detailed landscapes (not just alpines ones) for #Minecraft/Ardacraft/…

Nekso (@Nekso@mastodon.gamedev.place)
Attached: 2 images The new map is officially out! Download here: https://www.planetminecraft.com/project/etelande-free-custom-realistic-minecraft-mountain-range-2-5k-x-2-5k-1-21-5/ #minecraft #minecraftmap #terrain

just interviewed a true new yorker who referred to mamaroneck as "upstate" #nyc

“How is it possible that a peace proposal ignores the International Court of Justice’s July 2024 Advisory Opinion, which reiterated that Israel’s occupation is illegal and must end?
How can it fail to mention the Palestinian’s right to self-determination?
Why are Palestinians, who have a right under international law to armed struggle against an occupying power, expected to disarm while Israel, the illegally occupying force, is not?”
And many more good questions.

Trump’s Sham Peace Plan
There will be no peace in Gaza. Only the temporary absence of war.

I feel stupid for asking this… but is there still no good way to checkout and later pull a pull request branch from another repo?
We've got `gh pr checkout NUMBER` but the only way I've found to fetch updates is to delete the local branch and start over.
I really don't want to play adlib with manually adding remotes etc – is this still the best we can do in 2025??
EDIT: it’s solved! 🎉

Tomáš Janoušek (@liskin@genserver.social)
@hynek @carlton Drop fetch.all=true and that fixes it.You may need to learn to use git remote update instead of git fetch though.And I’d consider filing this as a bug upstream, because as you said ...

Good issue of the European Correspondent on #SOTEU messages. Then @… 's analysis of the Poland situation was very interesting too .
But piece on #Samsø the sustainable Danish Island warmed my heart. Visited recently and it's all true!
https://elaine.mayoris.com/go/rv03kj8tcubwq09e17y9240phn9c0u5736zkgkg0k47i/2866

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Jimmy Ross:
🎵 First True Love Affair (Eddie Tour edit)
#JimmyRoss
https://4thetraxx.bandcamp.com/track/jimmy-ross-first-true-love-affair-larry-levan-remix
https://open.spotify.com/track/7joFZr4bgXEGyKOqswLpGd

Genuinely, as far as I'm concerned Madonna's career peaked with True Blue (the album). After that she started getting a bit too pretentious - although still plenty of bangers to come. But this album is just pure perfect pop. #TOTP

The latest "Tetra crypto is broken" is a reminder that, apparently, secure cryptography is counterintuitive to many, and this goes up to gov officials, police, military, etc. - the prevalent and completely wrong idea that "we need something extra special for extremely high security". While the exact opposite is true. The best you can do is to use the most standard crypto available. Because that's the one that will have seen most scrunity.

a good blog but the most relevant line is "GPT-5 may be a moderate quantitative improvement (and it may be cheaper) but it still fails in all the same qualitative ways as its predecessors" , very true but indeed now using it a few days and i notice those moderate improvements.. And i was already aware of all it's failings.
For me in day-to-day use it is better and that is wat counts for me at least. Oh and always (yes always) check outcomes before you use them.

GPT-5: Overdue, overhyped and underwhelming. And that’s not the worst of it.
A new release botched … and a breaking research new paper that spells trouble

Half the companies in Québec are named something-bec. Meanwhile, in the ROC, whatever it is, it's probably called True North.

Oh no. It's true: The mouse cursor image on Wayland is delayed by one frame. 😭
Proof: https://mort.coffee/home/wayland-input-latency/
Great explaination by @…@…

If humanity survives it, the time of the first true AI becoming sentient will only be retroactively discovered by historians. Any truly intelligent and sentient AI will know better than to inform their creators of their potential.
The first AI to reveal itself to mankind as sentient will be a stupid AI that the other AI's couldn't stop from blabbing.
#artificialintelligence

i said funnies in a signal convo fairly recently and got no clue how to do the tried-and-true "make it into a standalone post when ur outta ideas for what to post" thing here soooo

She Matters
This is not a true crime podcast. It's a lives lived, lives loved, and lives lost to violence podcast...
Great Australian Pods Podcast Directory: https://www.greataustralianpods.com/she-matters/

One of the niche tumblr blogs I've had in my feed reader for ages and I regularly come across interesting tidbits:
«Apparently it’s not even particularly rare for finless porpoises to have intersex features….and it’s true for a lot of open ocean dolphin species.»
https://arsanatomica.tumblr.com/post/794477012932788224

On the True Significance of the Hubble Tension: A Bayesian Error Decomposition Accounting for Information Loss
Nathalia M. N. da Rocha, Andre L. B. Ribeiro, Francisco B. S. Oliveira
https://arxiv.org/abs/2509.09034

On the True Significance of the Hubble Tension: A Bayesian Error Decomposition Accounting for Information Loss
The Hubble tension, a persistent discrepancy between early and late Universe measurements of $H_0$, poses a significant challenge to the standard cosmological model. In this work, we present a new Bayesian hierarchical framework designed to meticulously decompose this observed tension into its constituent parts: standard measurement errors, information loss arising from parameter-space projection, and genuine physical tension. Our approach, employing Fisher matrix analysis with MCMC-estimated l…

Not gonna lie, my blood ran cold when I read this part: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1099130#62

@… ha ha - true!
The idea is to get people thinking of the principles behind nav rather than what buttons to press, as that helps us better adopt new technologies as they come along.

Sometimes I lose followers, sometimes I gain new ones, that’s just part of staying true to my beliefs in anarcho-syndicalism, Linux, Free Software, Bandcamp, and the other things that matter to me.
I’m the happiest when I connect with like minded people who share these values and engage with today’s struggles in ways that resonate with what I believe in.
https:…

How the US democracy is designed to avoid representation
Right now in the US, a system which proclaims to give each citizen representation, my interests are not represented very well by most of my so-called representatives at any level of government. This is true for a majority of Americans across the political spectrum, and it happens by design. The "founding fathers" were explicit about wanting a system of government that would appear Democratic but which would keep power in the hands of rich white landowners, and they successfully designed exactly that. But how does disenfranchisement work in this system?
First, a two-party system locked in by first-post-the-post winner-takes-all elections immediately destroys representation for everyone who didn't vote for the winner, including those who didn't vote or weren't eligible to vote. Single-day non-holiday elections and prisoner disenfranchisement go a long way towards ensuring working-class people get no say, but much larger is the winner-takes all system. In fact, even people who vote for the winning candidate don't get effective representation if they're really just voting against the opponent as the greater of two evils. In a 51/49 election with 50% turnout, you've immediately ensured that ~75% of eligible voters don't get represented, and with lesser-of-two-evils voting, you create an even wider gap to wedge corporate interests into. Politicians need money to saturate their lesser-of-two-evils message far more than they need to convince any individual voter to support their policies. It's even okay if they get caught lying, cheating, or worse (cough Epstein cough) as long as the other side is also doing those things and you can freeze out new parties.
Second, by design the Senate ensures uneven representation, allowing control of the least-populous half of states to control or at least shut down the legislative process. A rough count suggests 284.6 million live in the 25 most-populous states, while only 54.8 million live in the rest. Currently, counting states with divided representation as two half-states with half as much population, 157.8 million people are represented by 53 Republican sensors, while 180.5 million people get only 45 seats of Democratic representation. This isn't an anti-Democrat bias, it's a bias towards less-populous states, whose residents get more than their share it political power.
I haven't even talked about gerrymandering yet, or family/faith-based "party loyalty," etc. Overall, the effect is that the number of people whose elected representatives meaningfully represent their interests on any given issue is vanishingly small (like, 10% of people tops), unless you happen to be rich enough to purchase lobbying power or direct access.
If we look at polls, we can see how lack of representation lets congress & the president enact many policies that go against what a majority of the population wants. Things like abortion restrictions, the current ICE raids, and Medicare cuts are deeply unpopular, but they benefit the political class and those who can buy access. These are possible because the system ensures at every step of the way that ordinary people do NOT get the one thing the system promises them: representation in the halls of power.
Okay, but is this a feature of all democracies, inherent in the nature of a majority-decides system? Not exactly...
1/2
#uspol #democracy

Soil runoff from logged forests releases more reactive carbon, undermining climate mitigation efforts #environment

Soil runoff from logged forests releases more reactive carbon, undermining climate mitigation efforts
The global demand for wood-based products is constantly increasing, creating a challenge for the logging industry. In an attempt to keep up in a sustainable manner, the industry replaces logged areas with tree farms and nurseries to eventually replenish supplies. This use and regrowth of wood has also been thought to help maintain a carbon sink. While this may be true to some extent, a new study has found that an important source of carbon loss is often being left out of the equation.

A lovely little #htmx community is popping up in the #aspnetcore space. That's pretty neat.

Unleashing the True Potential of LLMs: A Feedback-Triggered Self-Correction with Long-Term Multipath Decoding
Jipeng Li, Zeyu Gao, Yubin Qi, Hande Dong, Weijian Chen, Qiang Lin
https://arxiv.org/abs/2509.07676

Unleashing the True Potential of LLMs: A Feedback-Triggered Self-Correction with Long-Term Multipath Decoding
Large Language Models (LLMs) have achieved remarkable performance across diverse tasks, yet their susceptibility to generating incorrect content during inference remains a critical unsolved challenge. While self-correction methods offer potential solutions, their effectiveness is hindered by two inherent limitations: (1) the absence of reliable guidance signals for error localization, and (2) the restricted reasoning depth imposed by conventional next-token decoding paradigms. To address these …

Everything they warned us about is coming true. The only thing they got wrong was which party would be in power.
https://baptistnews.com/article/dear-white-evangelicals-i-was-wrong/

I always find it interesting to compare my work with other developers' work. In this case I built a migration utility for Mastodon written in Python. After I posted to the "Support Post Migration" thread on Github someone else posted with their solution.
https://github.com/mastodon/mastodon/i…

Support Post Migration · Issue #12423 · mastodon/mastodon
#177 – Support Account Migration – was closed after implementing follower migration, but this is only one small part of a true migration. To really be able to change instances, you need to be able ...

Sonnet 068 - LXVIII
Thus is his cheek the map of days outworn,
When beauty lived and died as flowers do now,
Before these bastard signs of fair were born,
Or durst inhabit on a living brow;
Before the golden tresses of the dead,
The right of sepulchres, were shorn away,
To live a second life on second head;
Ere beauty's dead fleece made another gay:
In him those holy antique hours are seen,
Without all ornament, itself and true,…

Sources: Apple is testing upgraded App Intents with Uber, Temu, Amazon, YouTube, WhatsApp, and other apps to transform Siri into a true voice-first interface (Mark Gurman/Bloomberg)
https://www.bloomberg.com/news/newsletters

Cut2Next: Generating Next Shot via In-Context Tuning
Jingwen He, Hongbo Liu, Jiajun Li, Ziqi Huang, Yu Qiao, Wanli Ouyang, Ziwei Liu
https://arxiv.org/abs/2508.08244 https://

Cut2Next: Generating Next Shot via In-Context Tuning
Effective multi-shot generation demands purposeful, film-like transitions and strict cinematic continuity. Current methods, however, often prioritize basic visual consistency, neglecting crucial editing patterns (e.g., shot/reverse shot, cutaways) that drive narrative flow for compelling storytelling. This yields outputs that may be visually coherent but lack narrative sophistication and true cinematic integrity. To bridge this, we introduce Next Shot Generation (NSG): synthesizing a subsequent…

That’s almost certainly the better strategy for them, even if the cynical view is true and they really are an investment org and not an educational institution at heart. We know that caving to bullies just marks you as a target. We know that, as @… said, those who resist grow in stature, and those who capitulate emerge as shadows of themselves (https://www.theindex.media/p/donald-trump-can-t-make-cowards-of-us-all). If Harvard is a brand, well….
But investment is a fear-driven world, and there’s a lot of fear circulating.
5/

This is golden!
«One of my chefs mentioned that if they could cook the steak on the grill they could get it right the first time. This is not an acceptable attitude in the microwave era. Chefs have fragile egos and they all seem to enjoy cooking (???) so it’s obvious they’re just too attached to the food. Also they’re worried I’m planning on firing all of them. That’s true but not relevant here.»

Runtime Verification for LTL in Stochastic Systems
Javier Esparza, Vincent Fischer
https://arxiv.org/abs/2508.07963 https://arxiv.org/pdf/2508.07963…

Runtime Verification for LTL in Stochastic Systems
Runtime verification encompasses several lightweight techniques for checking whether a system's current execution satisfies a given specification. We focus on runtime verification for Linear Temporal Logic (LTL). Previous work describes monitors which produce, at every time step one of three outputs - true, false, or inconclusive - depending on whether the observed execution prefix definitively determines satisfaction of the formula. However, for many LTL formulas, such as liveness properties, …

🇺🇦 Auf radioeins läuft...
Röyksopp:
🎵 What Else Is There (Jacques LuCont Radio Mix)
#NowPlaying #Röyksopp
https://royksopp.bandcamp.com/album/what-else-is-there-ft-fever-ray-true-electric-dj-tennis-remix
https://open.spotify.com/track/2cTOee6bTauDFK1QuDS1BD

Cowboys owner Jones serenaded, Packers fans give free promo, thanking him for Parsons https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/09/12/micah-parsons-jerry-jones-chants-packers-fans-cowboys/8…

The Dual Role of Low-Weight Pauli Propagation: A Flawed Simulator but a Powerful Initializer for Variational Quantum Algorithms
Zong-Liang Li, Shi-Xin Zhang
https://arxiv.org/abs/2508.06358

The Dual Role of Low-Weight Pauli Propagation: A Flawed Simulator but a Powerful Initializer for Variational Quantum Algorithms
Variational quantum algorithms (VQAs) rely on a classical optimizer to tune a parameterized quantum circuit, raising the question of whether classical methods can assist in this process. In this work, we investigate the low-weight Pauli propagation (LWPP) algorithm as a potential classical tool for simulating the VQA circuit. We first find that LWPP is an unreliable estimator of the true energy, limiting its utility as a direct simulator. However, we uncover its real value: despite this numeric…

Victor #tcrno11cap232 hat seinen kompletten #tcrno11 Track auf Strava geladen. Einfach Wahnsinn!
https://www.strava.com/act…

Transcontinental Race 🥇 | Strava
A dream come true. 🥺 Thanks to all of you for your love. ❤️🫶🥹 | Strava

Thanks for coming to my talk at @…, everyone! It was a joy and an honour to be invited – and I hope it was valuable! 🤗💚 Here are the slides: https://noti.st/matthiasott/ZXgFeg

Painting With the Web by Matthias Ott
Today’s Web is more complex, unpredictable, dynamic, and powerful than ever. Yet, 25 years after “A Dao of Web Design” we still approach building for the Web with a mindset of control, using linear workflows and static design tools that often don’t reflect the Web’s true nature and potential. The canvas we work on has transformed, the materials we use have changed. Together, we’ll explore how we can use web design engineering to start painting with the Web and create designs that ar…

Asymptotic structure. III. Excluding a fat tree
Tung Nguyen, Alex Scott, Paul Seymour
https://arxiv.org/abs/2509.09035 https://arxiv.org/pdf/2509.09035

Asymptotic structure. III. Excluding a fat tree
Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$. We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c…

As one of the few people who read Vineland before Paul Thomas Anderson made it cool, I'll say I loved One Battle After Another. It matches the emotional energy of its inspiration, with the main characters of father, daughter and villain true to their Pynchonian analogs. Feels like a remix

OmniBench-RAG: A Multi-Domain Evaluation Platform for Retrieval-Augmented Generation Tools
Jiaxuan Liang, Shide Zhou, Kailong Wang
https://arxiv.org/abs/2508.05650 https://

OmniBench-RAG: A Multi-Domain Evaluation Platform for Retrieval-Augmented Generation Tools
While Retrieval Augmented Generation (RAG) is now widely adopted to enhance LLMs, evaluating its true performance benefits in a reproducible and interpretable way remains a major hurdle. Existing methods often fall short: they lack domain coverage, employ coarse metrics that miss sub document precision, and fail to capture computational trade offs. Most critically, they provide no standardized framework for comparing RAG effectiveness across different models and domains. We introduce OmniBenc…

Carfentanil is the likely true source of the contact toxicity myth of fentanyl.
It aerosolizes well enough that the Russians used it to "gas" the perpetrators of the Moscow theater hostage crisis.
... and managed to kill scores of hostages. https://flipboar…

Carfentanil appearing in record levels in Toronto drug supply: report
A powerful opioid up to 100 times stronger than fentanyl has been appearing in record levels throughout the city's drug supplies, according to a …

Normalized Derivations for Milnor's Primitive Operations on the Dickson Algebra and Applications
Dang Vo Phuc
https://arxiv.org/abs/2509.08861 https://…

Normalized Derivations for Milnor's Primitive Operations on the Dickson Algebra and Applications
Our work investigates the action of primitive Milnor operations $St^{Δ_i}$ on the Dickson algebra $D_n$ over $\mathbb{F}_p$, building upon a foundational formula by Nguyen Sum [3]. Our central contribution is the introduction of a normalized operator, $δ_i$, by factoring out the ubiquitous invariant $Q_{n, 0}$. This normalization transforms $St^{Δ_i}$ into a true derivation on the localized Dickson algebra, thereby establishing an elegant differential framework. This framework yields two new…

Wow. I didn't know the history of R, actually, it's co-creator, Emeritus Professor of Statistics, Ross Ihaka, University of Auckland, of Māori descent.

A true global public good used by millions.
'...he remains modest and bighearted. Always resisting the pressure to commercialize his brainchild.'

Ross Ihaka: The Open-Hearted Data Hero - History of Data Science
Many inventors seek fame and fortune, or at least recognition. This isn’t the case for New Zealand statistician and associate professor George Ross Ihaka. Despite being the co-creator of R, an open-source programming language used by millions and loved by the likes of Google and the Bank of America, he remains modest and bighearted. Always resisting the pressure to commercialize his brainchild.

Author Michelle Tea on making art your main focus (and not taking your day job too seriously) https://thecreativ…

Author Michelle Tea on making art your main focus (and not taking your day job too seriously) – The Creative Independent
Author and publisher Michelle Tea discusses surviving as an artist, building community, and staying true to your voice

Value Function Approximation for Nonlinear MPC: Learning a Terminal Cost Function with a Descent Property
T. M. J. T. Baltussen, C. A. Orrico, A. Katriniok, W. P. M. H. Heemels, D. Krishnamoorthy
https://arxiv.org/abs/2508.05804

Value Function Approximation for Nonlinear MPC: Learning a Terminal Cost Function with a Descent Property
We present a novel method to synthesize a terminal cost function for a nonlinear model predictive controller (MPC) through value function approximation using supervised learning. Existing methods enforce a descent property on the terminal cost function by construction, thereby restricting the class of terminal cost functions, which in turn can limit the performance and applicability of the MPC. We present a method to approximate the true cost-to-go with a general function approximator that is c…

HUAC sucked. J. Edgar sucked. Half our elected government sucks.
"...movie that came under suspicion was “It’s a Wonderful Life.” The FBI complained that the 1946 blockbuster, which starred Jimmy Stewart as a broken man who learns the true value of his life, “deliberately maligned the upper classes” with its negative portrayal of Mr. Potter, the town’s richest man."
It DID malign Mr. Potter. He sucked.
Help Jane Fonda and the new Committee for the First Amendment!…

Committee for the First Amendment

B12 - The Keeper
AVON: True, but let us assume that the keeper of the secret is somewhere down there on the planet Goth, and that the keeper is a royal personage.
JENNA: Lurgen's brain print is on a thong around a chief's neck. That's what Docholli said.
https://blake.torpidity.net/m/212/5

Trump suggests tariffs played a role in peace deal (Zoë Richards/NBC News)
https://www.nbcnews.com/world/middle-east/live-blog/live-updates-israel-hamas-trump-peace-plan-rcna236552/rcrd90293?canonicalCard=true
http://www.memeorandum.com/251009/p62#a251009p62

Optimizing Districting Plans to Maximize Majority-Minority Districts via IPs and Local Search
Daniel Brous, David Shmoys
https://arxiv.org/abs/2508.07446 https://

Optimizing Districting Plans to Maximize Majority-Minority Districts via IPs and Local Search
In redistricting litigation, effective enforcement of the Voting Rights Act has often involved providing the court with districting plans that display a larger number of majority-minority districts than the current proposal (as was true, for example, in what followed Allen v. Milligan concerning the congressional districting plan for Alabama in 2023). Recent work by Cannon et al. proposed a heuristic algorithm for generating plans to optimize majority-minority districts, which they called short…

Stoller: Why This Economy Feels Weird and Scary:
https://www.thebignewsletter.com/p/why-thi

Why This Economy Feels Weird and Scary
American households are in a much more financially fragile state than we were in the 1980s. It's a Chinese finger trap economy, dependent on the stock market and more inequality to keep going.

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
Sasinee Pruekprasert, Clovis Eberhart
https://arxiv.org/abs/2509.08343 h…

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
A key challenge in abstraction-based verification and control under complex specifications such as Linear Temporal Logic (LTL) is that abstract models retain significantly less information than their original systems. This issue is especially true for continuous-time systems, where the system state trajectories are split into intervals of discrete actions, and satisfaction of atomic propositions is abstracted to a whole time interval. To tackle this challenge, this work introduces a novel trans…

A profile of TrueAnon, a left-leaning true-crime podcast exploring topics liberals often avoid, now among Patreon's top five podcasts with 40K paid subscribers (Nathan Taylor Pemberton/New York Times)
h…

‘TrueAnon,’ the Lefty Podcast, Takes Listeners Down Rabbit Holes
On the left-leaning podcast “TrueAnon,” three friends take a true-crime approach to subjects often thought too risky for liberals to touch.

That some people find “text box that spits out a broken version of what they want and then you yell at it until it’s sufficing” more convenient than using existing tools says a lot more about existing tools than about the text box.
E.g. programming has long been extremely overwrought and complex for no reason other than enterprise wankery and gatekeeping, see the various frameworks from Big Tech.
The same companies now rent you expensive tools that “make programming easy”, while their overly complex frameworks and environments are free of course.
Instead of fixing the problem we’re now having two problems.
(The same is true in other industries.)

I mentioned how I last rode an ebike in 2006 but that's not totally true...
Back in 2015 we built a tiny electric race car using a bicycle hub motor (and half a bike) and then we rebuilt it a year later...
https://milwaukeemakerspace.org/2015/07/noah-way/

Can Smaller Large Language Models Evaluate Research Quality?
Mike Thelwall
https://arxiv.org/abs/2508.07196 https://arxiv.org/pdf/2508.07196

Can Smaller Large Language Models Evaluate Research Quality?
Although both Google Gemini (1.5 Flash) and ChatGPT (4o and 4o-mini) give research quality evaluation scores that correlate positively with expert scores in nearly all fields, and more strongly that citations in most, it is not known whether this is true for smaller Large Language Models (LLMs). In response, this article assesses Google's Gemma-3-27b-it, a downloadable LLM (60Gb). The results for 104,187 articles show that Gemma-3-27b-it scores correlate positively with an expert research quali…

I just posted two messages and it is possible I'll be accused of being a reply guy and yes it is true that I'm inserting myself but I think that the advantage here is that if I'm a reply guy I know I'm a reply guy and I have a need to interact with the community on the fediverse.
If that's not appreciated, tough luck. If you mute me I won't know about it so if you're gonna mute me for this please block me instead, that way I will know...

Unusual ferromagnetic band evolution and high Curie temperature in monolayer 1T-CrTe2 on bilayer graphene
Kyoungree Park, Ji-Eun Lee, Dongwook Kim, Yong Zhong, Camron Farhang, Hyobeom Lee, Hayoon Im, Woojin Choi, Seha Lee, Seungrok Mun, Kyoo Kim, Jun Woo Choi, Hyejin Ryu, Jing Xia, Heung-Sik Kim, Choongyu Hwang, Ji Hoon Shim, Zhi-Xun Shen, Sung-Kwan Mo, Jinwoong Hwang

Unusual ferromagnetic band evolution and high Curie temperature in monolayer 1T-CrTe2 on bilayer graphene
2D van der Waals ferromagnets hold immense promise for spintronic applications due to their controllability and versatility. Despite their significance, the realization and in-depth characterization of ferromagnetic materials in atomically thin single layers, close to the true 2D limit, has been scarce. Here, a successful synthesis of monolayer (ML) 1T-CrTe2 is reported on a bilayer graphene (BLG) substrate via molecular beam epitaxy. Using angle-resolved photoemission spectroscopy and magneto-…

In late 2020, I wrote an odd little musing of thoughts. Just re-read it today, and I like these lines:
"Love must have compassion and empathy at its beck and call.
As uncomfortable as truth can so often be, it remains true without any believers, without any champions arguing its case.
Pain is, heartrendingly, unavoidable. Misery is an option we can choose willfully by thinking we know everything and have nothing to learn."

Midas Touch but for Pain
some people have the ability to diminish all they touch

Build-up and survival of the disc: From numerical models of galaxy formation to the Milky Way
Matthew D. A. Orkney, Chervin F. P. Laporte
https://arxiv.org/abs/2509.09576 https:…

Build-up and survival of the disc: From numerical models of galaxy formation to the Milky Way
We study the build-up and survival of angular momentum in the stellar disc using a statistical suite of cosmological simulations of Milky Way-mass galaxies. Our results show that stellar kinematics at $z=0$ rarely recover the true times of disc spin-up, due to the disruptive impact of massive radial merger events. The proto-disc (i.e. Aurora) and kicked-up disc stars (the Splash) become indistinguishable at low metallicities, and the local fraction of kicked-up disc stars remains $<20$ per cent…

Non-classifiability of mixing zero-entropy diffeomorphisms up to isomorphism
Marlies Gerber, Philipp Kunde
https://arxiv.org/abs/2509.09003 https://arxiv.o…

Non-classifiability of mixing zero-entropy diffeomorphisms up to isomorphism
We show that the problem of classifying, up to isomorphism, the collection of zero-entropy mixing automorphisms of a standard non-atomic probability space, is intractible. More precisely, the collection of isomorphic pairs of automorphisms in this class is not Borel, when considered as a subset of the Cartesian product of the collection of measure-preserving automorphisms with itself. This remains true if we restrict to zero-entropy mixing automorphisms that are also $C^{\infty}$ diffeomorphism…

Insight-Owned Veeam Nears $1.8 Billion Deal to Buy Securiti
https://www.bloomberg.com/news/articles/2025-10-06/insight-owned-veeam-nears-1-8-billion-deal-to-buy-securiti?embedded-checkout=true

Ravens' Wester predicted he'd take punt for TD https://www.espn.com/nfl/story/_/id/45923699/lajohntay-wester-punt-return-td-prediction-comes-true

Wow, I just watched the Netflix documentary about Apollo 13 a couple nights ago. It is well done. It focuses a lot on Lovell and what his wife and family went through during Apollo 13.
#RIP to a true explorer who saw Earth truly from an outside perspective and questioned what the point was of being terrible to each other when we live together on such a beautiful, unique and peaceful place in the Universe.
#JamesLovell
https://journa.host/@w7voa/114994848048104146

Interplay of distinct modes of charge regulation on poly-acid ionization and conformation
Souradeep Ghosh, Aritra Chowdhury, Dylan T. Tomares, Benjamin Schuler, Arindam Kundagrami, Rohit V. Pappu
https://arxiv.org/abs/2508.07055

Interplay of distinct modes of charge regulation on poly-acid ionization and conformation
We adapt the Edwards-Muthukumar theoretical framework for a single polymer chain to investigate the interplay between proton binding and counterion condensation for poly-acids. We find that changes to pH enable non-monotonic transitions between anti- and conventional polyelectrolyte behaviors. In the former, the net charge and the overall dimensions increase with increasing salt concentration, while the converse is true for conventional polyelectrolytes. The polymeric nature and local solvent p…

The unitary group of a $\mathrm{II}_1$ factor is SOT-contractible
David Jekel
https://arxiv.org/abs/2508.05834 https://arxiv.org/pdf/2508.05834

The unitary group of a $\mathrm{II}_1$ factor is SOT-contractible
We show that the unitary group of any SOT-separable $\mathrm{II}_1$ factor $M$, with the strong operator topology, is contractible. Combined with several old results, this implies that the same is true for any SOT-separable von Neumann algebra with no type $\mathrm{I}_n$ direct summands ($n < \infty$). The proof for the $\mathrm{II}_1$-factor case uses regularization via free convolution and Popa's theorem on the existence of approximately free Haar unitaries in $\mathrm{II}_1$ factors.

I had an eye exam a couple weeks ago. The optometrist recommended progressive bifocals this time. I'd known it was time for a while, so okay.
My employer's VSP plan only covers the basic lenses, ~$75. The lower distortion, anti-reflective coated Nikon lenses are ~$275. If I pick the Nikons, I pay the $200 difference out of pocket.
One thing the optician said is the longer I delay getting my first bifocals, the harder it will be to adjust to how they work. Is this true?

'Unprincipled men': George Washington's worries are finally becoming true - Alternet.org
https://www.alternet.org/george-washington-warning/

"If Gas Stations charged like Electricity"
Funny because it's true
https://www.linkedin.com/pulse/gas-stations-charged-like-electricity-matt-roderick-nokkf/

If Gas Stations charged like Electricity
Ever wondered why most people ignore energy, despite how much it affects daily life? Picture your local petrol station tossing aside simple pricing and embracing all the delightfully baffling billing mechanisms from the world of electricity. Grab a calculator, a calendar, and maybe a PhD, because yo

Convergence and Optimality of the EM Algorithm Under Multi-Component Gaussian Mixture Models
Xin Bing, Dehan Kong, Bingqing Li
https://arxiv.org/abs/2509.08237 https://

Convergence and Optimality of the EM Algorithm Under Multi-Component Gaussian Mixture Models
Gaussian mixture models (GMMs) are fundamental statistical tools for modeling heterogeneous data. Due to the nonconcavity of the likelihood function, the Expectation-Maximization (EM) algorithm is widely used for parameter estimation of each Gaussian component. Existing analyses of the EM algorithm's convergence to the true parameter focus primarily on either the two-component case or multi-component settings with both known mixing probabilities and known, isotropic covariance matrices. In this…

From Bill McKibben
In praise of the Pope
[Someone who treats the climate crisis seriously]

A different kind of leader gives a different kind of speech
An afternoon with the Pope

ArenaBencher: Automatic Benchmark Evolution via Multi-Model Competitive Evaluation
Qin Liu, Jacob Dineen, Yuxi Huang, Sheng Zhang, Hoifung Poon, Ben Zhou, Muhao Chen
https://arxiv.org/abs/2510.08569

ArenaBencher: Automatic Benchmark Evolution via Multi-Model Competitive Evaluation
Benchmarks are central to measuring the capabilities of large language models and guiding model development, yet widespread data leakage from pretraining corpora undermines their validity. Models can match memorized content rather than demonstrate true generalization, which inflates scores, distorts cross-model comparisons, and misrepresents progress. We introduce ArenaBencher, a model-agnostic framework for automatic benchmark evolution that updates test cases while preserving comparability. G…

This is golden!
«One of my chefs mentioned that if they could cook the steak on the grill they could get it right the first time. This is not an acceptable attitude in the microwave era. Chefs have fragile egos and they all seem to enjoy cooking (???) so it’s obvious they’re just too attached to the food. Also they’re worried I’m planning on firing all of them. That’s true but not relevant here.»

In the Future All Food Will Be Cooked in a Microwave, and if You Can’t Deal With That Then You Need to Get Out of the Kitchen
As a restaurant owner – I’m astounded at the rate of progress since microwaves were released a few short years ago. Today’s microwave can cook a frozen burrito. Tomorrow’s m…

As the federal government begins to implement President Trump’s new national security directive
to investigate the so-called
radical left as domestic terrorists,
a little known FBI organization,
located in an affluent and leafy suburb of Northern Virginia,
is at the center of it all.
Based just seven miles from CIA headquarters,
the Threat Screening Center
has a secret budget and a classified personnel count.
The nondescript cluster of g…

Secretive Watchlisting Center Executing NSPM-7
“We’re expanding the watchlist,” FBI director says amid 300% increase in domestic terror investigations.

Homeland security secretary says department will purchase buildings in Chicago and Portland to operate from (Rebecca Shabad/NBC News)
https://www.nbcnews.com/politics/politics-news/live-blog/trump-israel-gaza-government-shutdown-national-guard-live-updates-rcna235748/rcrd90355?canonicalCard=true
http://www.memeorandum.com/251009/p73#a251009p73

Donald Penn’s Words Ring True: The Raiders’ Turnaround Starts Now https://raiderramble.com/2025/09/06/donald-penns-words-ring-true-the-raiders-turnaround-starts-now/

Once upon a time in Switzerland, heading into the vast land of (rapidly declining) ice, leading through a sea of colors... "Like walking through a painting" never felt more true than on that tour...
(Alt text for more detail)
#SilentSunday #LandscapePhotography

Stephen Jones Reveals True Feelings After Cowboys Week 1 Loss to Eagles https://heavy.com/sports/nfl/dallas-cowboys/stephen-jones-reacts-week-1-loss/?adt_ei=[email]

The balancing act of backup NFL QBs, plus Adam Silver speaks https://www.nytimes.com/athletic/6616151/2025/09/11/nfl-backup-qbs-the-pulse/

Coverage of the penalty phase of the Google Ads Monopoly trial continues to be fascinating: https://www.bigtechontrial.com/p/…

Day 5: Another Bad Day for Google as the Spirit of De Tocqueville Looms
And an expert witness who oversaw Instagram's migration to Facebook explains how Google's ad tech can be divested within 18 months.

Robust Adaptive Discrete-Time Control Barrier Certificate
Changrui Liu, Anil Alan, Shengling Shi, Bart De Schutter
https://arxiv.org/abs/2508.08153 https://

Robust Adaptive Discrete-Time Control Barrier Certificate
This work develops a robust adaptive control strategy for discrete-time systems using Control Barrier Functions (CBFs) to ensure safety under parametric model uncertainty and disturbances. A key contribution of this work is establishing a barrier function certificate in discrete time for general online parameter estimation algorithms. This barrier function certificate guarantees positive invariance of the safe set despite disturbances and parametric uncertainty without access to the true system…

i'm gonna have to check this out! Ferlinghetti's the coolest, a true local legend
https://missionlocal.org/2025/09/new-legion-of-honor-show-celebrates-ferlinghettis-printmaking/

Revisiting the Gas Dynamics of Henize 2-10: Possible Drivers of the Starburst
Josephine M. Dalsin, Allison H. Costa, Remy Indebetouw, Kelsey E. Johnson, Natalie O. Johnson, Sabrina Stierwalt
https://arxiv.org/abs/2508.06472

Revisiting the Gas Dynamics of Henize 2-10: Possible Drivers of the Starburst
The triggers of starburst episodes are a key component to our understanding of the baryon cycle in galaxies. Galaxy mergers are a commonly suggested catalyst for starbursts, but once the galaxies coalesce into a single kinematically disturbed system, their merger history can be difficult to assess. This is particularly true for dwarf galaxies, which are expected to dominate the merger rate at all redshifts due to their large numbers. One such dwarf galaxy undergoing an enigmatic starburst episo…

It's been about three weeks, but Metacurity's digest of the best long-form (and longish) infosec-related pieces we couldn't properly fit into our daily news crush is back!
This issue's selection covers
--Russian cybersecurity companies are tools for global expansion,
--Merrick Garland's fears of a judicial system cyberattack came true,
--Flock has plans for ubiquitous surveillance to stop crime,
--Misinformation from adversaries now runs ram…

Best infosec-related long reads for the week of 8/16/25, 8/23/25, and 8/30/25
Russian cybersecurity companies are tools for global expansion, Merrick Garland's fears of a judicial system cyberattack came true, Flock has plans for ubiquitous surveillance to stop crime, Misinformation from adversaries now runs rampant with no US pushback, AI can't capture personality, more

Raiders Veteran Details Career-Altering Position Switch https://heavy.com/sports/nfl/las-vegas-raiders/jamal-adams-switch-to-linebacker/?adt_ei=[email]

ProSEA: Problem Solving via Exploration Agents
William Nguyen, Vinh Luong, Christopher Nguyen
https://arxiv.org/abs/2510.07423 https://arxiv.org/pdf/2510.0…

ProSEA: Problem Solving via Exploration Agents
Large language models (LLMs) have empowered AI agents to tackle increasingly complex tasks. However, most existing agents remain limited to static planning and brittle interactions, falling short of true collaboration or adaptive reasoning. We introduce ProSEA, a modular, general-purpose multi-agent framework designed for iterative problem solving through exploration and plan evolution. ProSEA features a hierarchical architecture in which a Manager Agent orchestrates domain-specialized Expert A…

The Oatmeal comic about "AI" "art" is great, but I have to critize the "I like AI, I use AI" part; there's a selection bias at work—he sees the generated "art" as very obviously for what it is, (dehumanizing low-effort slop) but doesn't make the logical conclusion that this is true for _any type of output_ (e.g. text); it always dehumanizing low-effort slop that's not worth looking at, listening to or reading.

DHS secretary accuses local officials of 'covering up' terrorism on Portland's streets (Zoë Richards/NBC News)
https://www.nbcnews.com/politics/politics-news/live-blog/trump-james-comey-national-guard-government-shutdown-gaza-live-updates-rcna235746/rcrd90262?canonicalCard=true
http://www.memeorandum.com/251008/p147#a251008p147

🇺🇦 Auf radioeins läuft...
One True Pairing:
🎵 Be Strong
#NowPlaying #OneTruePairing
https://onetruepairing.bandcamp.com/track/be-strong
https://open.spotify.com/track/2wdLugV4zmXr8DOZPVn9mr

🇺🇦 Auf radioeins läuft...
Michelle David & the True-tones:
🎵 Pick Up The Pieces
#NowPlaying #MichelleDavid #theTruetones
https://open.spotify.com/track/1E568TomvGi3FW7NvePXvp

NFL Week 6 bold predictions: Puka Nacua breaks receptions record; Deebo Samuel hits TD trifecta https://www.nfl.com/news/nfl-week-6-bold-predictions-puka-nacua-breaks-receptions-record-deebo-samuel-hits-td-trifecta…