Tootfinder

OpenAI restores GPT-4o as default for all paid ChatGPT users, vows "plenty of notice" if 4o is deprecated, raises GPT-5 Thinking rate limits to 3K messages/week (Carl Franzen/VentureBeat)
https://venturebeat.com/a…

OpenAI brings GPT-4o back as a default for all paying ChatGPT users, Altman promises ‘plenty of notice’ if it leaves again
For now, the changes should help placate users who felt frustrated by the sudden shift to GPT-5 and deprecation of OpenAI's older LLMs.

Somebody at Apple had a meeting and came out of it saying, “Yes. Put Freeform in the dock by default. On every Mac.” #imaginethemeeting

@… The only downside with relying on the dialog utility is that it very often is not installed by default. So I spent 66 lines of shell early on doing distro detection and telling the user how to install it. Here is that snippet so you get the idea. 😂

Long post, game design
Crungle is a game designed to be a simple test of general reasoning skills that's difficult to play by rote memory, since there are many possible rule sets, but it should be easy to play if one can understand and extrapolate from rules. The game is not necessarily fair, with the first player often having an advantage or a forced win. The game is entirely deterministic, although a variant determines the rule set randomly.
This is version 0.1, and has not yet been tested at all.
Crungle is a competitive game for two players, each of whom controls a single piece on a 3x3 grid. The cells of the grid are numbered from 1 to 9, starting at the top left and proceeding across each row and then down to the next row, so the top three cells are 1, 2, and 3 from left to right, then the next three are 4, 5, and 6 and the final row is cells 7, 8, and 9.
The two players decide who shall play as purple and who shall play as orange. Purple goes first, starting the rules phase by picking one goal rule from the table of goal rules. Next, orange picks a goal rule. These two goal rules determine the two winning conditions. Then each player, starting with orange, alternate picking a movement rule until four movement rules have been selected. During this process, at most one indirect movement rule may be selected. Finally, purple picks a starting location for orange (1-9), with 5 (the center) not allowed. Then orange picks the starting location for purple, which may not be adjacent to orange's starting position.
Alternatively, the goal rules, movement rules, and starting positions may be determined randomly, or a pre-determined ruleset may be selected.
If the ruleset makes it impossible to win, the players should agree to a draw. Either player could instead "bet" their opponent. If the opponent agrees to the bet, the opponent must demonstrate a series of moves by both players that would result in a win for either player. If they can do this, they win, but if they submit an invalid demonstration or cannot submit a demonstration, the player who "bet" wins.
Now that starting positions, movement rules, and goals have been decided, the play phase proceeds with each player taking a turn, starting with purple, until one player wins by satisfying one of the two goals, or until the players agree to a draw. Note that it's possible for both players to occupy the same space.
During each player's turn, that player identifies one of the four movement rules to use and names the square they move to using that rule, then they move their piece into that square and their turn ends. Neither player may use the same movement rule twice in a row (but it's okay to use the same rule your opponent just did unless another rule disallows that). If the movement rule a player picks moves their opponent's piece, they need to state where their opponent's piece ends up. Pieces that would move off the board instead stay in place; it's okay to select a rule that causes your piece to stay in place because of this rule. However, if a rule says "pick a square" or "move to a square" with some additional criteria, but there are no squares that meet those criteria, then that rule may not be used, and a player who picks that rule must pick a different one instead.
Any player who incorrectly states a destination for either their piece or their opponent's piece, picks an invalid square, or chooses an invalid rule has made a violation, as long as their opponent objects before selecting their next move. A player who makes at least three violations immediately forfeits and their opponent wins by default. However, if a player violates a rule but their opponent does not object before picking their next move, the stated destination(s) of the invalid move still stand, and the violation does not count. If a player objects to a valid move, their objection is ignored, and if they do this at least three times, they forfeit and their opponent wins by default.
Goal rules (each player picks one; either player can win using either chosen rule):
End your turn in the same space as your opponent three turns in a row.
End at least one turn in each of the 9 cells.
End five consecutive turns in the three cells in any single row, ending at least one turn on each of the three.
End five consecutive turns in the three cells in any single column, ending at least one turn on each of the three.
Within the span of 8 consecutive turns, end at least one turn in each of cells 1, 3, 7, and 9 (the four corners of the grid).
Within the span of 8 consecutive turns at least one turn in each of cells 2, 4, 6, and 8 (the central cells on each side).
Within the span of 8 consecutive turns, end at least one turn in the cell directly above your opponent, and end at least one turn in the cell directly below your opponent (in either order).
Within the span of 8 consecutive turns at least one turn in the cell directly to the left of your opponent, and end at least one turn in the cell directly to the right of your opponent (in either order).
End 12 turns in a row without ending any of them in cell 5.
End 8 turns in a row in 8 different cells.
Movement rules (each player picks two; either player may move using any of the four):
Move to any cell on the board that's diagonally adjacent to your current position.
Move to any cell on the board that's orthogonally adjacent to your current position.
Move up one cell. Also move your opponent up one cell.
Move down one cell. Also move your opponent down one cell.
Move left one cell. Also move your opponent left one cell.
Move right one cell. Also move your opponent right one cell.
Move up one cell. Move your opponent down one cell.
Move down one cell. Move your opponent up one cell.
Move left one cell. Move your opponent right one cell.
Move right one cell. Move your opponent left one cell.
Move any pieces that aren't in square 5 clockwise around the edge of the board 1 step (for example, from 1 to 2 or 3 to 6 or 9 to 8).
Move any pieces that aren't in square 5 counter-clockwise around the edge of the board 1 step (for example, from 1 to 4 or 6 to 3 or 7 to 8).
Move to any square reachable from your current position by a knight's move in chess (in other words, a square that's in an adjacent column and two rows up or down, or that's in an adjacent row and two columns left or right).
Stay in the same place.
Swap places with your opponent's piece.
Move back to the position that you started at on your previous turn.
If you are on an odd-numbered square, move to any other odd-numbered square. Otherwise, move to any even-numbered square.
Move to any square in the same column as your current position.
Move to any square in the same row as your current position.
Move to any square in the same column as your opponent's position.
Move to any square in the same row as your opponent's position.
Pick a square that's neither in the same row as your piece nor in the same row as your opponent's piece. Move to that square.
Pick a square that's neither in the same column as your piece nor in the same column as your opponent's piece. Move to that square.
Move to one of the squares orthogonally adjacent to your opponent's piece.
Move to one of the squares diagonally adjacent to your opponent's piece.
Move to the square opposite your current position across the middle square, or stay in place if you're in the middle square.
Pick any square that's closer to your opponent's piece than the square you're in now, measured using straight-line distance between square centers (this includes the square your opponent is in). Move to that square.
Pick any square that's further from your opponent's piece than the square you're in now, measured using straight-line distance between square centers. Move to that square.
If you are on a corner square (1, 3, 7, or 9) move to any other corner square. Otherwise, move to square 5.
If you are on an edge square (2, 4, 6, or 8) move to any other edge square. Otherwise, move to square 5.
Indirect movement rules (may be chosen instead of a direct movement rule; at most one per game):
Move using one of the other three movement rules selected in your game, and in addition, your opponent may not use that rule on their next turn (nor may they select it via an indirect rule like this one).
Select two of the other three movement rules, declare them, and then move as if you had used one and then the other, applying any additional effects of both rules in order.
Move using one of the other three movement rules selected in your game, but if the move would cause your piece to move off the board, instead of staying in place move to square 5 (in the middle).
Pick one of the other three movement rules selected in your game and apply it, but move your opponent's piece instead of your own piece. If that movement rule says to move "your opponent's piece," instead apply that movement to your own piece. References to "your position" and "your opponent's position" are swapped when applying the chosen rule, as are references to "your turn" and "your opponent's turn" and do on.
#Game #GameDesign

@… Not considering MX Linux, which comes with xfce by default?

Still blows my mind that in Germany (and some other European countries) it’s mandatory to put an imprint with your actual address on your personal website. So basically doxing by default, unless you pay a provider to hide behind a proxy address to forward legal letters.*
* There are exemption for private, non-commercial sites but that boils down to .htaccess protection. Anything else is not considered private or non-commercial in legal practice.

I am already self-censoring legal statements and interactions online because I don't want to become a person of interest, so I guess the fuckers have already won by default

@… Hi, you work in accessibility at Apple, right?
I've found a serious issue with the iPhone's RTT call transcription.
By default, it *saves the transcript* of the call in the call log. This constitutes a recording of the call, and this transcript is saved on the iPhone without the knowledge or consent of the other parties on the call. This is ILLE…

Cloudflare will now block AI crawlers by default
The internet architecture provider will also let some publishers make known AI scrapers pay to crawl their sites
https://www.theverge.com/news/695501/cloudflare-block-ai-crawlers-default

Cloudflare will now block AI crawlers by default
Cloudflare has announced that it will now block AI web crawlers by default for new customers. It’s also introducing a new “Pay Per Crawl” fee that will let some publishers make AI companies pay to scrape their content.

After 28 or so years I closed my Amazon Associates account. I long since stopped making any money from it. In the early days I wrote a plugin for a blog engine that used my associates ID by default. I think I made about $200 that way, plus another $50 with my own links. I was never very ambitious about it.

Wyden's big beef with Microsoft: The hackers employed a technique known as Kerberoasting, which exploits an insecure encryption technology from the 1980s known as RC4 that is still supported by Microsoft software in its default configuration.
Wyden Calls for FTC Investigation of Microsoft for Enabling Ascension Hospital Ransomware Hack with Insecure Software

Wyden Calls for FTC Investigation of Microsoft for Enabling Ascension Hospital Ransomware Hack with Insecure Software | U.S. Senator Ron Wyden of Oregon
The Official U.S. Senate website of Senator Ron Wyden of Oregon

Spotify Privacy Quick Guide (Asking for a Friend) https://musictechpolicy.com/2025/09/06/spotify-privacy-quick-guide-asking-for-a-friend/

Spotify Privacy Quick Guide (Asking for a Friend)
Spotify’s defaults trade convenience for exposure. This quick guide explains what Spotify collects, why recent policy changes matter, and the specific settings that curb public-by-default leaks, ad…

What #irc network would be good to start my own channel?
My requirements is: webchat, hidden ip by default, and I guess a good community to join because why add a new irc network to my client without having some other channels to be apart of
also registration services so i can register my channel so not efnet
I was looking at dalnet,rizon,quakenet or geekshead or esper but I don'…

Modelling Prepayment and Default under Changing Credit Market Conditions for a Net Present Value Analysis
Quirini Lorenzo, Vannucci Luigi, Quirini Giovanni
https://arxiv.org/abs/2508.07774

Modelling Prepayment and Default under Changing Credit Market Conditions for a Net Present Value Analysis
A model is developed to assess the profitability of loans or mortgages with a specified repayment schedule. Financial institutions face two competing risks: default and prepayment, both influenced by the stochastic evolution of credit market conditions. This study focuses on the Random Net Present Value (RNPV) as a key performance metric. The analysis evaluates the mean and variance of the RNPV at both the individual loan level and the portfolio level, within a unified framework that accounts f…

Do you need better performance than what the standard #tidyverse functions have? {collapse} might be worth a look: https://sebkrantz.github.io/collapse/

Advanced and Fast Data Transformation in R
A large C/C++-based package for advanced data transformation and statistical computing in R that is extremely fast, class-agnostic, robust, and programmer friendly. Core functionality includes a rich set of S3 generic grouped and weighted statistical functions for vectors, matrices and data frames, which provide efficient low-level vectorizations, OpenMP multithreading, and skip missing values by default. These are integrated with fast grouping and ordering algorithms (also callable from C), an…

Das metadaten.community-Forum war down. Ursache war die Integration von Plugins, in den Discourse-Core (https://meta.discourse.org/t/bundling-more-popular-plugins-with-discourse-core/373574) in Verbindung mit einem bei uns konfigurierten sonttäglich…

@… Oooh, useful tips!
I plan on making everyone use VS Code Live Sharing (with their work Microsoft accounts) by default, but I’ll let them fuck around with something else if they want.
You’re the second person to tell me to get a helper, so… I guess I’ll be getting one!

Interesting debian-user find:
The YouDao plugin of the stardict-plugin package on Debian by default captures the X selection buffer — which can be FROM OTHER APPS — and sends the entire text, unencrypted, to remote servers, without telling the user that it will do this.
The maintainer has marked this bug as "wishlist" because they consider the mention of this in the package description to be sufficient warning.
The package can be pulled in as a Recommends.

So #Gentoo #Python eclasses are pretty modern, in the sense that they tend to follow the best practices and standards, and eventually deal with deprecations. Nevertheless, they have a long history and carry quite some historical burden, particularly regarding to naming.
The key point is that the eclasses were conceived as a replacement for the old eclasses: "distutils" and "python". Hence, much like we revision ebuilds, I've named the matching eclasses "distutils-r1" and "python-r1". For consistency, I've also used the "-r1" suffix for the remaining eclasses introduced at the time: "python-any-r1", "python-single-r1" and "python-utils-r1" — even though there were never "r0"s.
It didn't take long to realize my first mistake. I've made the multi-impl eclass effectively the "main" eclass, probably largely inspired by the previous Gentoo recommendations. However, in the end I've found out that for the most use cases (i.e. where "distutils-r1" is not involved), there is no real need for multi-impl, and it makes things much harder. So if I were naming them today, I would have named it "python-multi", to indicate the specific use case — and either avoid designating a default at all, or made "python-single" the default.
What aged even worse is the "distutils-r1" eclass. Admittedly, back when it was conceived, distutils was still largely a thing — and there were people (like me) who avoided unnecessary dependency on setuptools. Of course, nowadays it has been entirely devoured by setuptools, and with #PEP517 even "setuptools" wouldn't be a good name anymore. Nowadays, people are getting confused why they are supposed to use "distutils-r1" for, say, Hatchling.
Admittedly, this is something I could have done differently — PEP517 support was a major migration, and involved an explicit switch. Instead of adding DISTUTILS_USE_PEP517 (what a self-contradictory name) variable, I could have forked the eclass. Why didn't I do that? Because there used to be a lot of code shared between the two paths. Of course, over time they diverged more, and eventually I've dropped the legacy support — but the opportunity to rename was lost.
In fact, as a semi-related fact, I've recognized another design problem with the eclass earlier — I should have gone for two eclasses rather than one: a "python-phase" eclass with generic sub-phase support, and a "distutils" (or later "python-pep517") implementing default sub-phases for the common backends. And again, this is precisely how I could have solved the code reuse problem when I introduced PEP517 support.
But then, I didn't anticipate how the eclasses would end up looking like in the end — and I can't really predict what new challenges the Python ecosystem is going to bring us. And I think it's too late to rename or split stuff — too much busywork on everyone.

👀
https://www.theverge.com/news/695501/cloudflare-block-ai-crawlers-default

Anubis verifies that any visitor to a site is a human using a browser as opposed to a bot.
🍿One of the ways it does this is by making the browser do a type of cryptographic math with JavaScript or other subtle checks that browsers do by default but bots have to be explicitly programmed to do.
This check is invisible to the user, and most browsers since 2022 are able to complete this test.
In theory, bot scrapers could pretend to be users with browsers as well, but the ad…

The Open-Source Software Saving the Internet From AI Bot Scrapers
Anubis, which block AI scrapers from scraping websites to death, has been downloaded almost 200,000 times.

lowkey wish i had an eye in my hand. but with better (on-by-default) natural cover than eyelids. it'd be an absolute bitch to keep safe the way it's always depicted in art

IMO the Fall Apart desktop effect in #KDE (Apps & Windows -> Window Management -> Desktop Effects) should be enabled by default. Looks even more cool when an app, or a game, crashes. Save and Open dialog boxes? So satisfying - feels like you are getting work done at an explosive rate 😄

Dependent Default Modeling through Multivariate Generalized Cox Processes
Djibril Gueye, Alejandra Quintos
https://arxiv.org/abs/2508.05022 https://arxiv.o…

Dependent Default Modeling through Multivariate Generalized Cox Processes
We propose a multivariate framework for modeling dependent default times that extends the classical Cox process by incorporating both common and idiosyncratic shocks. Our construction uses càdlàg, increasing processes to model cumulative intensities, relaxing the requirement of absolutely continuous compensators. Analytical tractability is preserved through the multiplicative decomposition of Azéma supermartingales under assumptions that guarantee deterministic compensators. The framework ca…

A Type System for Data Privacy Compliance in Active Object Languages
Chinmayi Prabhu Baramashetru (University of Oslo, Norway), Paola Giannini (Universita' del Piemonte Orientale, Italy), Silvia Lizeth Tapia Tarifa (University of Oslo, Norway), Olaf Owe (University of Oslo, Norway)
https://arxiv.org/abs/2508.03831

A Type System for Data Privacy Compliance in Active Object Languages
Data protection laws such as GDPR aim to give users unprecedented control over their personal data. Compliance with these regulations requires systematically considering information flow and interactions among entities handling sensitive data. Privacy-by-design principles advocate embedding data protection into system architectures as a default. However, translating these abstract principles into concrete, explicit methods remains a significant challenge. This paper addresses this gap by propos…

Got a call from ARRL Headquarters today...no one else has put their hat in the ring for Santa Barbara Section Manager, so by default that means I get the position without a messy election and all that entails...you know, kissing hands, shaking babies, etc.
Ironically, they wanted me back in Connecticut NEXT WEEKEND for orientation. Yep, they hold orientation in September for a position that is voted on in November. I'm not going-that's the same weekend as the Expo I am putting…

from my link log —
Activity Monitor anatomy: memory accounting on Mac OS.
https://www.bazhenov.me/posts/activity-monitor-anatomy/
saved 2025-07-30

Y'all, I just ran into this behavior and it's frustrating :/
https://bugzilla.mozilla.org/show_bug.cgi?id=1973769

Mildly interesting: Office 98 for Mac had an anthropomorphized Mac assistant by default (instead of “Clippy”)

Cloudflare launches Pay per Crawl, a marketplace letting sites charge AI crawlers per crawl; new sites set up with Cloudflare will block AI crawlers by default (Maxwell Zeff/TechCrunch)
https://techcrunch.com/2025/07/01/clou

Cloudflare launches a marketplace that lets websites charge AI bots for scraping | TechCrunch
Cloudflare is launching a new marketplace that reimagines the relationship between publishers and AI companies.

Snaps: Bloated and Outdated?
Jukka Ruohonen, Qusai Ramadan
https://arxiv.org/abs/2507.00786 https://arxiv.org/pdf/2507.00786

Snaps: Bloated and Outdated?
Snap is an alternative software packaging system developed by Canonical and provided by default in the Ubuntu Linux distribution. Given the heterogeneity of various Linux distributions and their various releases, Snap allows an interoperable delivery of software directly to users. However, concerns and criticism have also been frequently expressed. Regarding this criticism, the paper shows that currently distributed snap packages are indeed on average bloated in terms of their sizes and outdate…

I don't recall seeing much measurement research on mobile carrier identification from client traffic. Didn't find much in a cursory search.
Does this exist? Is it feasible, particularly with branded devices like this?
Can classification be done by address pools unique, IDs, MACs, user agent strings, default start-up apps, default DNS queries/settings, etc.?
Clue, ideas, and pointers wanted.

Steve Herman (@w7voa@journa.host)
Attached: 1 image CNBC - A company owned by President Trump announces it own branded Trump Mobile cell phone service and will sell a "T1" smartphone, featuring gold-colored metal case etched with an American flag. https://www.cnbc.com/2025/06/16/trump-mobile-phone-plan.html

Where Have All the Firewalls Gone? Security Consequences of Residential IPv6 Transition
Erik Rye, Dave Levin, Robert Beverly
https://arxiv.org/abs/2509.04792 https://

Where Have All the Firewalls Gone? Security Consequences of Residential IPv6 Transition
IPv4 NAT has limited the spread of IoT botnets considerably by default-denying bots' incoming connection requests to in-home devices unless the owner has explicitly allowed them. As the Internet transitions to majority IPv6, however, residential connections no longer require the use of NAT. This paper therefore asks: has the transition from IPv4 to IPv6 ultimately made residential networks more vulnerable to attack, thereby empowering the next generation of IPv6-based IoT botnets? To answer thi…

By default, common LLMs don't use current code features, and even higher-power ones are a coin flip. Go analysis tools, and the associated MCP server, helps push back against this so emitted code gets modernized on the way out of the model. #GophersUnite

Per-sender neural network classifiers for email authorship validation
Rohit Dube
https://arxiv.org/abs/2509.00005 https://arxiv.org/pdf/2509.00005

Per-sender neural network classifiers for email authorship validation
Business email compromise and lateral spear phishing attacks are among modern organizations' most costly and damaging threats. While inbound phishing defenses have improved significantly, most organizations still trust internal emails by default, leaving themselves vulnerable to attacks from compromised employee accounts. In this work, we define and explore the problem of authorship validation: verifying whether a claimed sender actually authored a given email. Authorship validation is a lightw…

Cloudflare launches Pay per Crawl, a marketplace letting sites charge AI crawlers per crawl; new sites set up with Cloudflare will block AI crawlers by default (Maxwell Zeff/TechCrunch)
https://techcrunch.com/2025/07/01/clou

Cloudflare launches a marketplace that lets websites charge AI bots for scraping | TechCrunch
Cloudflare is launching a new marketplace that reimagines the relationship between publishers and AI companies.

@… @… IIRC The Referer header isn't sent by default anymore

The latest uv release (0.8.13) introduced the experimental uv format. It calls Ruff’s formatter to automatically style your code: https://github.com/astral-sh/uv/pull/15017. And you can use [tool.ruff] for both entry points.

Add an experimental `uv format` command by zanieb · Pull Request #15017 · astral-sh/uv
As a frontend to Ruff's formatter. There are some interesting choices here, some of which may just be temporary: We pin a default version of Ruff, so uv format is stable for a given uv version...

@… @… TIL about `expect(1)` which seems to be able to do all this too, and has one cool advantage which is that it ships by default.

Happy SysAdmin Day everyone! Here is a head scratcher. Website kept serving the default new site page. Even when I made a new index.html file. So I made a test.html and got Forbidden. Error log says "client denied by server configuration: /var/www/newwebsite/test.html" Not directory permissions and not selinux. So I made /var/www/newweb2 and moved the files over. Voila, working. Both test.htnl and new index.html. I'm leaving it alone because it's working and it's Friday…

Beyond prior knowledge: The predictive role of knowledge-building in Tutor Learning
Tasmia Shahriar, Mia Ameen, Aditi Mallavarapu, Shiyan Jiang, Noboru Matsuda
https://arxiv.org/abs/2508.18545

Beyond prior knowledge: The predictive role of knowledge-building in Tutor Learning
When adopting the role of a teacher in learning-by-teaching environments, students often struggle to engage in knowledge-building activities, such as providing explanations and addressing misconceptions. Instead, they frequently default to knowledge-telling behaviors, where they simply dictate what they already know or what to do without deeper reflection, thereby limiting learning. Teachable agents, particularly those capable of posing persistent follow-up questions, have been shown to encoura…

#LB Acabei de desabilitar o Gemini no meu celular seguindo esse tutorial aqui. Isso é suficiente ou vocês me recomendam mais alguma coisa?
https://mastodon.social/@Tutanota/114873867718552522…

📣 Sanseito touts 'Japanese First' rhetoric to gain support
https://www.japantimes.co.jp/news/2025/07/01/japan/politics/sanseito-upper-house-election/
🆓

Sanseito touts 'Japanese First' rhetoric to gain support
Some observers say conservative voters who left the Democratic Party for the People are turning to the fledgling opposition party by default.

GreenLLM: SLO-Aware Dynamic Frequency Scaling for Energy-Efficient LLM Serving
Qunyou Liu, Darong Huang, Marina Zapater, David Atienza
https://arxiv.org/abs/2508.16449 https://

GreenLLM: SLO-Aware Dynamic Frequency Scaling for Energy-Efficient LLM Serving
Large Language Models (LLMs) are becoming the backbone of modern cloud services, yet their inference costs are dominated by GPU energy. Unlike traditional GPU workloads, LLM inference has two stages with different characteristics: the prefill phase, which is latency sensitive and scales quadratically with prompt length, and the decode phase, which progresses token by token with unpredictable length. Current GPU power governors (for example, NVIDIA's default) overlook this asymmetry and treat bo…

Hmm, #debian what was on your mind when you replaced the EOL packages `dstat` with `pcp`?
On freshly installed #trixie instead of a "dumb" command line tool I have several daemons listening on all available interfaces by default (and `/etc/pcp` contains 345(!) files, which I woul…

The future of debate: get an LLM to generate your tirade, copy it to the world dog, have it spotted by an LLM spotter and rejected on that basis.
https://lists.debian.org/debian-project/2025/07/msg00031.html

Infinite convex geometries with lower semi-modularity and join semi-distributivity
Adam Mata
https://arxiv.org/abs/2508.15511 https://arxiv.org/pdf/2508.15…

Infinite convex geometries with lower semi-modularity and join semi-distributivity
The following article treats about convex geometries which are lower semi-modular and join semi-distributive lattices. Firstly, it is shown that there is a class $K$ of infinite convex geometries which can be build out of finite ones by using the construction of a union of a chain. Then it is shown that elements of $K$ preserve lower semi-modularity and join semi-distributivity which are not default properties in the infinite setting. It is also discussed that not all of the infinite convex geo…

What can I use to make this? Hopefully easily (as in, the lines all move in a group if I need to reposition), but honestly I don't care if not — I just want it to know about curves and gaps, positioning nicely by default.
#maps #diagram

ColdPress: Efficient Quantile-Based Compression of Photometric Redshift PDFs
Antonio Hern\'an-Caballero
https://arxiv.org/abs/2507.12481 https://

ColdPress: Efficient Quantile-Based Compression of Photometric Redshift PDFs
ColdPress is a Python module that compresses photometric redshift probability distribution functions (PDFs) by encoding quantiles of their cumulative distribution. For a fixed packet size (the default is 80 bytes per PDF), ColdPress attains a reconstruction accuracy comparable to the sparse-basis representation method implemented in the pdf_storage module of Carrasco-Kind & Brunner (2014), yet reduces the computational cost by a factor of ~7000. I describe the implementation and quantify its co…

Towards Next Generation Data Engineering Pipelines
Kevin M. Kramer, Valerie Restat, Sebastian Strasser, Uta St\"orl, Meike Klettke
https://arxiv.org/abs/2507.13892

Towards Next Generation Data Engineering Pipelines
Data engineering pipelines are a widespread way to provide high-quality data for all kinds of data science applications. However, numerous challenges still remain in the composition and operation of such pipelines. Data engineering pipelines do not always deliver high-quality data. By default, they are also not reactive to changes. When new data is coming in which deviates from prior data, the pipeline could crash or output undesired results. We therefore envision three levels of next generatio…

@… @… What if you defined a new Fin which used a binary construction for n, rather than the default Nat?
Then dividing by 2 is generally pretty easy.

In a letter to CEO Aravind Srinivas, the BBC says it has evidence Perplexity's default model used its content and seeks "a proposal for financial compensation" (Financial Times)
https://www.ft.com/content/b743d401-dc5d-44b8-9987-825a4ffcf4ca

BBC threatens legal action against AI start-up Perplexity over content scraping
British broadcaster makes first move to clamp down on alleged infringement of copyright by tech groups

Elliptic flow of charged hadrons in d Au collisions at $\sqrt{s_{NN}} =$ 200 GeV using a multi-phase transport model
Jaideep Tanwar, Ishu Aggarwal, Vipul Bairathi, Lokesh Kumar, Sonia Kabana
https://arxiv.org/abs/2506.22721

Elliptic flow of charged hadrons in d+Au collisions at $\sqrt{s_{NN}} =$ 200 GeV using a multi-phase transport model
This study presents a comprehensive analysis of the elliptic flow coefficient, $v_2$, for charged hadrons at mid-rapidity in d+Au collisions at $\sqrt{s_{\mathrm{NN}}} = 200\mathrm{~GeV}$. Utilizing the AMPT model in both default and string melting modes, we examine the dependence of $v_2$ on transverse momentum, collision centrality, and particle type. Furthermore, we present $v_2$ scaled by participant eccentricity, which indicates a similar level of collectivity across different centrality i…

A comparative analysis of machine learning algorithms for predicting probabilities of default
Adrian Iulian Cristescu, Matteo Giordano
https://arxiv.org/abs/2506.19789

A comparative analysis of machine learning algorithms for predicting probabilities of default
Predicting the probability of default (PD) of prospective loans is a critical objective for financial institutions. In recent years, machine learning (ML) algorithms have achieved remarkable success across a wide variety of prediction tasks; yet, they remain relatively underutilised in credit risk analysis. This paper highlights the opportunities that ML algorithms offer to this field by comparing the performance of five predictive models-Random Forests, Decision Trees, XGBoost, Gradient Boosti…

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Georgios Androutsopoulos, Antonio Bianchi
https://arxiv.org/abs/2506.15648

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Although Rust ensures memory safety by default, it also permits the use of unsafe code, which can introduce memory safety vulnerabilities if misused. Unfortunately, existing tools for detecting memory bugs in Rust typically exhibit limited detection capabilities, inadequately handle Rust-specific types, or rely heavily on manual intervention. To address these limitations, we present deepSURF, a tool that integrates static analysis with Large Language Model (LLM)-guided fuzzing harness generat…

Optimizing Anonymity and Efficiency: A Critical Review of Path Selection Strategies in Tor
Siddique Abubakr Muntaka, Jacques Bou Abdo
https://arxiv.org/abs/2508.17651 https://…

Optimizing Anonymity and Efficiency: A Critical Review of Path Selection Strategies in Tor
The Onion Router (Tor) relies on path selection algorithms to balance performance and anonymity by determining how traffic flows through its relay network. As Tor scales and usage patterns evolve, default strategies such as bandwidth-weighted random selection and persistent guard nodes face increasing performance limitations. This study presents a comparative evaluation of five path selection strategies: Random, Guard, Congestion-Aware, and two Geographic approaches (Diversity Driven and Latenc…

Propagation of carbon price shocks through the value chain: the mean-field game of defaults
Zorana Grbac, Simone Pavarana, Thorsten Schmidt, Peter Tankov
https://arxiv.org/abs/2507.11353

Propagation of carbon price shocks through the value chain: the mean-field game of defaults
We introduce a new mean-field game framework to analyze the impact of carbon pricing in a multi-sector economy with defaultable firms. Each sector produces a homogeneous good, with its price endogenously determined through market clearing. Firms act as price takers and maximize profits by choosing an optimal allocation of inputs-including labor, emissions, and intermediate goods from other sectors-while interacting through the endogenous sectoral price. Firms also choose their default timing to…

In other news, I've sent a few fun patches to improve epytest in #Gentoo.
This includes forcing short summaries, creating junit .xml for machine processing, and most importantly, EPYTEST_PLUGINS to handle specifying the plugins to load. The goal is to eventually move away from plugin autoloading by default.
#PyTest #Python