Tootfinder

Great news. Canada is doing offering government services (commercial driver’s license tests) in Ojibwe/Anishinaabemowin.
It’s a crime and a tragedy that indigenous languages are in danger of dying and everything that can be done to fight that is for the better, especially by governments using them.

Indigenous man's 'jaw nearly hit the counter' when told he could write driver's test in Ojibwe | CBC News
The former chief of the Chippewas of Kettle and Stony Point First Nation got an early birthday surprise when he was finally able to do his written driver’s test in Ojibwe.   

This is a nice write-up of some complex and careful decisions and collaboration to navigate hard tradeoffs that in the end got the job done
I wish we also had more open discussions about the opposite scenario: "when the right tool is the wrong choice"
https://tern.sh/blog/pagerduty-cassadr

When the Wrong Tool is the Right Choice: PagerDuty's Cassandra Queue | Tern Blog
In 2011, PagerDuty was using MySQL as a queue. If you just winced, you understand the problem.

BVLSM: Write-Efficient LSM-Tree Storage via WAL-Time Key-Value Separation
Ming Li, Wendi Cheng, Jiahe Wei, Xueqiang Shan, Liu Weikai, Xiaonan Zhao, Xiao Zhang
https://arxiv.org/abs/2506.04678

BVLSM: Write-Efficient LSM-Tree Storage via WAL-Time Key-Value Separation
Modern data-intensive applications increasingly store and process big-value items, such as multimedia objects and machine learning embeddings, which exacerbate storage inefficiencies in Log-Structured Merge-Tree (LSM)-based key-value stores. This paper presents BVLSM, a Write-Ahead Log (WAL)-time key-value separation mechanism designed to address three key challenges in LSM-Tree storage systems: write amplification, poor memory utilization, and I/O jitter under big-value workloads. Unlike state…

Free cinematic sound libraries for Kontakt | Native Instruments Blog https://blog.native-instruments.com/free-cinematic-sound-libraries/?utm_source=dlvr.it&utm…

Free cinematic sound libraries for Kontakt | Native Instruments Blog
Write pro-sounding movie scores for free. Explore the 15 best free libraries for cinematic sound, from orchestras to epic synths and more.

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

What Monads Can and Cannot Do with a Few Extra Pages
The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects. Here we present a first systematic study of such combinations. We study both the coinductive delay monad and its guarded recursive cousin, giving concrete examples of combining these with well-known computational effects. We also provide general theorems stati…

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

On the algebraic transfers of ranks 4 and 6 at generic degrees
Let $\mathscr A$ denote the classical singly-graded Steenrod algebra over the binary field $\mathbb Z/2.$ We write $P_k:=\mathbb Z/2[t_1, t_2, \ldots, t_k]$ as the polynomial algebra on $k$ generators, each having a degree of one. Let $GL_k$ be the general linear group of rank $k$ over $\mathbb Z/2.$ Then, $P_k$ is an $ \mathscr A[GL_k]$-module. The structure of the cohomology groups, ${\rm Ext}_{ \mathscr A}^{k, k+\bullet}(\mathbb Z/2, \mathbb Z/2)$, of the Steenrod algebra has, thus far, resi…

Imaginary Rotating Gluonic Matter at Strong Coupling
Kenji Fukushima, Yusuke Shimada
https://arxiv.org/abs/2506.03560 https://arxiv.o…

Imaginary Rotating Gluonic Matter at Strong Coupling
We write down an effective theory of the Polyakov loop to investigate the deconfinement phase transition of imaginary-rotating gluonic matter using the strong-coupling expansion. We find the strength of the nearest-neighbor Polyakov-loop interaction modified by the sum of contributions involving the chair-type loops along the temporal direction. Our results show that the deconfinement transition temperature increases with increasing imaginary angular velocity, which agrees with the predictions …

An analysis of 15M biomedical abstracts from 2010 to 2024 finds researchers using AI to write abstracts use certain words far more often than those who don't (Gina Kolata/New York Times)
https://www.nytimes.com/2025/…

454 Hints That a Chatbot Wrote Part of a Biomedical Researcher’s Paper
Scientists show that the frequency of a set of words seems to have increased in published study abstracts since ChatGPT was released into the world.

Improving LLM Agents with Reinforcement Learning on Cryptographic CTF Challenges
Lajos Muzsai, David Imolai, Andr\'as Luk\'acs
https://arxiv.org/abs/2506.02048

Improving LLM Agents with Reinforcement Learning on Cryptographic CTF Challenges
Large Language Models (LLMs) still struggle with the structured reasoning and tool-assisted computation needed for problem solving in cybersecurity applications. In this work, we introduce "random-crypto", a cryptographic Capture-the-Flag (CTF) challenge generator framework that we use to fine-tune a tool-augmented Llama-3.1-8B with Guided Reinforcement Prompt Optimisation (GRPO), allowing the agent to iteratively write and execute Python inside an isolated REPL. GRPO yields a +53% absolute jum…

EvoGit: Decentralized Code Evolution via Git-Based Multi-Agent Collaboration
Beichen Huang, Ran Cheng, Kay Chen Tan
https://arxiv.org/abs/2506.02049 https:…

EvoGit: Decentralized Code Evolution via Git-Based Multi-Agent Collaboration
We introduce EvoGit, a decentralized multi-agent framework for collaborative software development driven by autonomous code evolution. EvoGit deploys a population of independent coding agents, each proposing edits to a shared codebase without centralized coordination, explicit message passing, or shared memory. Instead, all coordination emerges through a Git-based phylogenetic graph that tracks the full version lineage and enables agents to asynchronously read from and write to the evolving cod…

We Also Broke Into an Airbase to Stop War Crimes. Thankfully, We Were Two Nice White Boys
https://novaramedia.com/2025/06/27/we-also-broke-into-an-airbase-to-stop-war-crimes-thankfully-we-were-two-nice-white-boys/

We Also Broke Into an Airbase to Stop War Crimes. Thankfully, We Were Two Nice White Boys
In 2017, we broke into a BAE Systems airfield to stop jets from going to bomb Yemen, write Sam Walton and Daniel Woodhouse. Our lenient treatment exposes the Palestine Action ban for what it is: racist and politically motivated.

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

High-Energy Fixed-Angle Meson Scattering and the Constituent Counting Rule in Holographic QCD
We investigate the high-energy fixed-angle scattering of pions and $ρ$-mesons in a bottom-up holographic QCD model. To this end, we generalise the approach of Polchinski and Strassler arXiv:hep-th/0109174 to write an ansatz for meson scattering amplitudes based on superstring scattering amplitudes in asymptotically AdS space. We demonstrate that our generalisation of the Polchinski--Strassler proposal is necessary to describe $ρ$-meson scattering consistently with the Nambu--Goldstone boson e…

Check out this compelling rebuttal of Soteria International's claims regarding the OKC case. Get informed about the facts and perspectives presented in the article by visiting: https://blog.rmendes.net/2024/12/15/rebuttal-of-soteria.html

Rebuttal of Soteria International's Claims on the OKC Case - rMdes - a place to write and think freely
Rebuttal of Soteria International’s Claims on the OKC Case As a victim of the Ogyen Kunzang Chöling (OKC) cult and an advocate for justice, I find Soteria …

I always learn something new from @… . This time, it was the existence of this book.
Can you write a whole book about a program? About a *1-line program*?
Turns out you can, and it is totally worth reading:
https://10prin…

10 PRINT CHR$(205.5+RND(1)); : GOTO 10
About 10 PRINT CHR$(205.5+RND(1)); : GOTO 10, a book from the MIT Press

David Cope, a composer and algorithmic composition pioneer who created a program in the 1980s to write music in the style of Bach and others, died at age 83 (Miguel Salazar/New York Times)
https://www.nytimes.com/2025/06/02/technology/david-cope-dead-ai…

David Cope, Godfather of A.I. Music, Is Dead at 83
His EMI algorithm, an early form of artificial intelligence that he developed in the 1980s, prompted searching questions about the limits of human creativity.

Ask your MP to support a ban on the import and sale of fur in the UK #AnimalRights

Ask your MP to urge the government to legislate to ban the import and sale of real fur and foie gras as soon as possible
Please write to your MP straight away ask them to support a ban on the import and sale of fur and foie gras. Thank you

Aus irgendeinem Grund ist gerade die Sonos-Radio-Station "The Lighthouse", über die Brian Eno jede Menge unveröffentlichte Tracks abspielen läßt, gratis (man braucht halt ein Sonos-Gerät dazu), und ich höre mich da nun etwas durch.
DJ Food hat das ein paar Monate lang gemacht übrigens, und mitgeschrieben (Stand 2023):
ht…

Brian Eno – The Lighthouse, what’s on it?
I’ve been compiling this, off and on, all year, while listening to the 340+ unreleased tracks on Brian Eno‘s Sonos HD radio station, The Lighthouse. If I had the phone nearby I’d check what’s playing, make a note of the track number and year and write a short description. I was intrigued to see how often tracks repeated (not very often), how long it would take me to hear all of them (over 6 months) and what the ratio of good to average to bad was. It became quite addictive as I’d fill…

How on earth can NYT write this report with no hint that it reflects on Trump's mental acuity? While endlessly speculating explicitly about Biden's acuity a year ago?
https://www.nytimes.com/2025/06/01/us/politics/trump-musk-isaacman-nasa.ht…

Trump Is Said to Have Known About NASA Nominee’s Donations Before Picking Him
President Trump withdrew his nomination of Jared Isaacman, an ally of Elon Musk, because of donations he had made to Democrats. But people with knowledge of the events say Mr. Isaacman had disclosed the contributions.

"The old-school traditional software engineering approach featured managers trying to get more productivity (measured in function points per day) from their over-stretched workforce. The new-school, post-Agile approach features managers trying to get more productivity from their over-stretched workforce, but now we measure in story points per day so that is progress, right?"

On The Absence Of Management
It is going to be hard to write anything about management for this month's issue, because the entire field is moribund. There has been no innovation in management for decades, supposed sea changes in thought have either failed to take hold or failed to deliver anything new, and we are all still mired in the industrialist, piecework thinking of Taylor's scientific management and workplace surveillance.

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

On products and partial isometry of Toeplitz operators with operator-valued symbols
We solve the following problems associated with Toeplitz operators $T_Φ$ on Hilbert space-valued Hardy spaces $H_{\mathcal{E}}^2(\mathbb{D}^n)$ over the unit polydisc $\mathbb{D}^n$. $(I)$ Given operator-valued bounded analytic functions $Γ, Ψ$ on $\mathbb{D}^n$, we completely characterize when the product $M_ΓM_Ψ^*$ becomes a Toeplitz operator by identifying tractable conditions on the functions. Furthermore, these conditions can be used to explicitly write the product into a sum of simpl…

If You Had to Pitch Your Ideal Software -- Evaluating Large Language Models to Support User Scenario Writing for User Experience Experts and Laypersons
Patrick Stadler, Christopher Lazik, Christopher Katins, Thomas Kosch
https://arxiv.org/abs/2506.23694

If You Had to Pitch Your Ideal Software -- Evaluating Large Language Models to Support User Scenario Writing for User Experience Experts and Laypersons
The process of requirements analysis requires an understanding of the end users of a system. Thus, expert stakeholders, such as User Experience (UX) designers, usually create various descriptions containing information about the users and their possible needs. In our paper, we investigate to what extent UX novices are able to write such descriptions into user scenarios. We conducted a user study with 60 participants consisting of 30 UX experts and 30 novices who were asked to write a user scena…

How (Not) To Write a Software Engineering Abstract
Lutz Prechelt, Lloyd Montgomery, Julian Frattini, Franz Zieris
https://arxiv.org/abs/2506.21634 https://…

How (Not) To Write a Software Engineering Abstract
Background: Abstracts are a particularly valuable element in a software engineering research article. However, not all abstracts are as informative as they could be. Objective: Characterize the structure of abstracts in high-quality software engineering venues. Observe and quantify deficiencies. Suggest guidelines for writing informative abstracts. Methods: Use qualitative open coding to derive concepts that explain relevant properties of abstracts. Identify the archetypical structure of abstra…

Hybrid SLC-MLC RRAM Mixed-Signal Processing-in-Memory Architecture for Transformer Acceleration via Gradient Redistribution
Chang Eun Song, Priyansh Bhatnagar, Zihan Xia, Nam Sung Kim, Tajana Rosing, Mingu Kang
https://arxiv.org/abs/2506.00020

Hybrid SLC-MLC RRAM Mixed-Signal Processing-in-Memory Architecture for Transformer Acceleration via Gradient Redistribution
Transformers, while revolutionary, face challenges due to their demanding computational cost and large data movement. To address this, we propose HyFlexPIM, a novel mixed-signal processing-in-memory (PIM) accelerator for inference that flexibly utilizes both single-level cell (SLC) and multi-level cell (MLC) RRAM technologies to trade-off accuracy and efficiency. HyFlexPIM achieves efficient dual-mode operation by utilizing digital PIM for high-precision and write-intensive operations while ana…

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

Feedback Arc Sets and Feedback Arc Set Decompositions in Weighted and Unweighted Oriented Graphs
For any arc-weighted oriented graph $D=(V(D), A(D),w)$, we write ${\rm fas}_w(D)$ to denote the minimum weight of a feedback arc set in $D$. In this paper, we consider upper bounds on ${\rm fas}_w(D)$ for arc-weight oriented graphs $D$ with bounded maximum degrees and directed girth. We obtain such bounds by introducing a new parameter ${\rm fasd}(D)$, which is the maximum integer such that $A(D)$ can be partitioned into ${\rm fasd}(D)$ feedback arc sets. This new parameter seems to be intere…

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

On the algebraic transfers of ranks 4 and 6 at generic degrees
Let $\mathscr A$ denote the classical singly-graded Steenrod algebra over the binary field $\mathbb Z/2.$ We write $P_k:=\mathbb Z/2[t_1, t_2, \ldots, t_k]$ as the polynomial algebra on $k$ generators, each having a degree of one. Let $GL_k$ be the general linear group of rank $k$ over $\mathbb Z/2.$ Then, $P_k$ is an $ \mathscr A[GL_k]$-module. The structure of the cohomology groups, ${\rm Ext}_{ \mathscr A}^{k, k+\bullet}(\mathbb Z/2, \mathbb Z/2)$, of the Steenrod algebra has, thus far, resi…

Last week I asked Google to stop releasing broken things. Apologists said maybe I needed to contribute more, write code or demos.
Last year I outlined some of what I *have* done and how, for the most part, Google / Web•dev doesn’t give a shit:
https://adrianroselli.com/2024/07…

Don’t Use Web•dev for Accessibility Info
Web.dev is a site from Google Chrome developer relations that provides content both to evangelize Chrome and to more broadly support the web platform. Rachel Andrew’s monthly “new to the platform” posts are effectively required reading to try to stay abreast of the browser support landscape. However, the accessibility content…

Check out this compelling rebuttal of Soteria International's claims regarding the OKC case. Get informed about the facts and perspectives presented in the article by visiting: https://blog.rmendes.net/2024/12/15/rebuttal-of-soteria.html

Rebuttal of Soteria International's Claims on the OKC Case - rMdes - a place to write and think freely
Rebuttal of Soteria International’s Claims on the OKC Case As a victim of the Ogyen Kunzang Chöling (OKC) cult and an advocate for justice, I find Soteria …

Here are a couple of springtime pictures with small associated stories. It’s a thrill to find something positive to write about: https://www.tbray.org/ongoing/When/202x/2025/05/27/Happy-Colors

CL XLVI: Happy Colors

Scaling Human Judgment in Community Notes with LLMs
Haiwen Li, Soham De, Manon Revel, Andreas Haupt, Brad Miller, Keith Coleman, Jay Baxter, Martin Saveski, Michiel A. Bakker
https://arxiv.org/abs/2506.24118

Scaling Human Judgment in Community Notes with LLMs
This paper argues for a new paradigm for Community Notes in the LLM era: an open ecosystem where both humans and LLMs can write notes, and the decision of which notes are helpful enough to show remains in the hands of humans. This approach can accelerate the delivery of notes, while maintaining trust and legitimacy through Community Notes' foundational principle: A community of diverse human raters collectively serve as the ultimate evaluator and arbiter of what is helpful. Further, the feedbac…

#DevOpsDays #prague 2025 was an amazing event. Here is why: https://dev.to/bogomil/devopsday-pragu

DevOpsDays Prague 2025
DevOpsDays Prague 2025 is over, and I sit on my chair today to write something special about it. Not...

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

Reflections of Cultural Wealth: Exploring Identity in Physics through Photo Elicitation
This paper presents a photo elicitation project that invites students to explore their identities in STEM and surface the cultural wealth they bring into the physics classroom. Grounded in critical race theory, educational theory, and affective neuroscience, the project asks students to take original photographs representing aspects of their lived experience-such as motivation, belonging, and support systems-and to write short reflections connecting these images to their journey in science. The…

> “Instead of articulating our own thoughts, we articulate whatever AI helps us to articulate…we become more persuaded.” Without these signals, Naaman warns, we’ll only trust face-to-face communication — not even video calls.
Now I expect generative AI be used to justify return to office policies 🤢
—
You sound like ChatGPT
AI isn’t just impacting how we write — it’s changing how we speak and interact with others. And there’s only more to come.

You sound like ChatGPT
AI isn’t just impacting how we write — it’s changing how we speak and interact with others. And there’s only more to come.

RapidStore: An Efficient Dynamic Graph Storage System for Concurrent Queries
Chiyu Hao, Jixian Su, Shixuan Sun, Hao Zhang, Sen Gao, Jianwen Zhao, Chenyi Zhang, Jieru Zhao, Chen Chen, Minyi Guo
https://arxiv.org/abs/2507.00839

RapidStore: An Efficient Dynamic Graph Storage System for Concurrent Queries
Dynamic graph storage systems are essential for real-time applications such as social networks and recommendation, where graph data continuously evolves. However, they face significant challenges in efficiently handling concurrent read and write operations. We find that existing methods suffer from write queries interfering with read efficiency, substantial time and space overhead due to per-edge versioning, and an inability to balance performance, such as slow searches under concurrent workloa…

"There was once a programming environment made by Microsoft called Visual J . It allowed one to write, debug, and run Java code on Windows. Visual J was the first serious, usable, complete IDE Java ever had, at least until IntelliJ IDEA appeared in 2001."
https://deprogrammaticaipsum.com/w…

Write Anywhere, Run Once
Back in the days when I had a day job in the .NET galaxy, I had a colleague who was a terrific C# developer… born in the island of Java. Given the looks I got from him, I think I was the first to point this fact to him. Or maybe I just pissed him off. In any case, here go some personal anecdotes around Java, stretching back 23 years.

I tried to convince #Claude Code #ai to write a #docker sandbox to run it in. Here are the results.

GitHub - cwensel/claude-sandbox: A docker sandbox for running Claude Code
A docker sandbox for running Claude Code. Contribute to cwensel/claude-sandbox development by creating an account on GitHub.

Words like “prowess” and “tapestry,”
which are favored by ChatGPT,
are creeping into our vocabulary,
while words like “bolster,” “unearth,” and “nuance,”
words less favored by ChatGPT,
have declined in use.
Researchers are already documenting shifts in the way we speak and communicate as a result of ChatGPT
— and they see this linguistic influence accelerating into something much larger.

You sound like ChatGPT
AI isn’t just impacting how we write — it’s changing how we speak and interact with others. And there’s only more to come.

"He has identified three levels of human signals that we’ve lost in adopting AI into our communication. The first level is that of basic humanity signals, cues that speak to our authenticity as a human being like moments of vulnerability or personal rituals, which say to others, “This is me, I’m human.” The second level consists of attention and effort signals that prove “I cared enough to write this myself.” And the third level is ability signals which show our sense of humor, our comp…

You sound like ChatGPT
AI isn’t just impacting how we write — it’s changing how we speak and interact with others. And there’s only more to come.

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

Otter: Generating Tests from Issues to Validate SWE Patches
While there has been plenty of work on generating tests from existing code, there has been limited work on generating tests from issues. A correct test must validate the code patch that resolves the issue. This paper focuses on the scenario where that code patch does not yet exist. Doing so supports two major use-cases. First, it supports TDD (test-driven development), the discipline of "test first, write code later" that has well-documented benefits for human software engineers. Second, it als…

I hate Windows: "Why does the Windows Portable Executable (PE) format have separate tables for import names and import addresses?, part 2".
https://devblogs.microsoft.com/oldnewthing/20231130-00/?p=109084

Why does the Windows Portable Executable (PE) format have separate tables for import names and import addresses?, part 2 - The Old New Thing
Keeping read-only data separate from read-write data.

> She explained, “I just need the paper. I need to write things down. [The iPad script] also has so many passwords and then I would have ADD and then do something else and then it would lock me out … it was so complicated. So I printed it.”
When actors bypass corporate controls to get their work done, it's a showbiz story.

'Andor' Star Stellan Skarsgård Was the Ultimate 'Star Wars' Script Rulebreaker
Co-stars Diego Luna and Adria Arjona reminisced about the lengths the cast went to learn their lines on the highly secretive Disney+ show.

Vibe coding: programming through conversation with artificial intelligence
Advait Sarkar, Ian Drosos
https://arxiv.org/abs/2506.23253 https://

Vibe coding: programming through conversation with artificial intelligence
We examine "vibe coding": an emergent programming paradigm where developers primarily write code by interacting with code-generating large language models rather than writing code directly. We analysed a curated set of videos depicting extended vibe coding sessions with rich think-aloud reflections. Using framework analysis, we investigated programmers' goals, workflows, prompting techniques, debugging approaches, and challenges encountered. We find that vibe coding follows iterative goal satis…

Accessibility for the Working Mathematician
Julius Ross
https://arxiv.org/abs/2505.22667 https://arxiv.org/pdf/2505.22667

Accessibility for the Working Mathematician
If you only take one thing away from this document I would like it tobe this: Creating accessible documents requires authors have a working understanding of accessibility, and write with accessibility in mind.

Quarto Manuscript makes me almost want to write scientific articles again. This could potentially change the process quite a lot. But maybe there is also a good use for it in internal project reports. https://quarto.org/docs/manuscripts/

Quarto Manuscripts – Quarto

Degrowth as an Essential Part of an Eco-Socialist Transition
by Anna Gregoletto* In the series Prospects for Degrowth Many thanks to Mark Burton for encouraging me to write this article and offering so many helpful suggestions. Thank you also to my comrades at Climate Vanguard. Without their teachings I’d have never been able to articulate the ideas in this article. Do check out Climate Vanguard’s incredible work.

Degrowth as an Essential Part of an Eco-Socialist Transition
by Anna Gregoletto* In the series Prospects for Degrowth Many thanks to Mark Burton for encouraging me to write this article and offering so many helpful suggestions. Thank you also to my comrades …

What a great write-up of the bananas ideology currently running ( and ruining ) the world
The Psychology Behind Tech Billionaires
https://www.rollingstone.com/culture/culture-commentary/billionaires-psychology-tech-pol…

What You’ve Suspected Is True: Billionaires Are Not Like Us
Why Elon Musk and other tech billionaires have a different perspective

Random Field Representations of Kernel Distances
Ian Langmore
https://arxiv.org/abs/2505.23141 https://arxiv.org/pdf/2505.23141

Random Field Representations of Kernel Distances
Positive semi-definite kernels are used to induce pseudo-metrics, or ``distances'', between measures. We write these as an expected quadratic variation of, or expected inner product between, a random field and the difference of measures. This alternate viewpoint offers important intuition and interesting connections to existing forms. Metric distances leading to convenient finite sample estimates are shown to be induced by fields with dense support, stationary increments, and scale invariance. …

A group of 17 GOP governors write to Senate majority leader and House speaker urging for the state AI bill moratorium to be removed from the reconciliation bill (Ashley Gold/Axios)
https://www.axios.com/pro/tech-policy/2025

Exclusive: Republican governors want state AI pause out of budget bill
Many Republican-run states have passed AI-related laws and don't want to see them knocked down.

So, @… is working on using LLMs to process XML Except for, the models can’t write legal XML. So he’s using the model to generate a sloppy-XML parser: https://lucumr.pocoo.org/202…

My First Open Source AI Generated Library
In a first for me, I published some agentic programmed AI slop to PyPI.

Exploring the change in scientific readability following the release of ChatGPT
Abdulkareem Alsudais
https://arxiv.org/abs/2506.21825 https://

Exploring the change in scientific readability following the release of ChatGPT
The rise and growing popularity of accessible large language models have raised questions about their impact on various aspects of life, including how scientists write and publish their research. The primary objective of this paper is to analyze a dataset consisting of all abstracts posted on arXiv.org between 2010 and June 7th, 2024, to assess the evolution of their readability and determine whether significant shifts occurred following the release of ChatGPT in November 2022. Four standard re…

Nothing I’m trying to write is "flowing"...it's all laborious.
I'm encouraged by "Your labor isn’t a sign of defeat" from @… wherein she quotes Verlyn Klinkenborg:
"if you accept that writing is hard work, And that’s what it feels like when you’re writing, Then everything is as it should be. Your labor is…

Feedbackless Feed
A (non)social feedbackless feed to nowhere

Hey... you (ᵘˢᶦⁿᵍ ᵗʰᵉ ᴳᵉⁿᵉʳᵃᵗᶦᵛᵉ ᴬᴵ). Write the damn email yourself. Take the notes for the meeting yourself. It's not that hard. Also, stop fooling yourself, you're not THAT busy.
'Tech giants’ carbon emissions up 150% with AI growth'
https://www.

Tech giants’ carbon emissions up 150% with AI growth
International Telecommunication Union (ITU) reported operational emissions of four technology companies increased by average 150%.

To ChatGPT: Write a pitch against the use of visual-to-auditory sensory substitution for the blind. https://chatgpt.com/share/684c2ab3-2c68-8004-bf53-c3b401c10064 "Let's stop romanticizing sensory substitution and start prioritizing solutions that actu…

Phone Flooding Protest

Day 12
version 0.6.0 released
Scoped access is now enforced across all core modules. Each repository operation is tenant-aware via a shared ScopedRepository base class.
Key facts:
12 modules refactored
96 updated tests
1 shared base class (ScopedRepository) used across the board
subscriberId is automatically applied in all find, findOne, save, remove operations
1 very long workday
Commit, tag, release — done

Day#12 — Scoped Access Done Right (12 modules, 80+ tests)
Today I finalized tenant-aware access across all core modules using a shared ScopedRepository abstraction. This was the largest refactori...

Réfutation des affirmations de Soteria International sur la "communauté bouddhiste persécutée OKC" et son fondateur Robert Spatz
https://blog.rmendes.net/2024/12/15/rfutation-des-affirmations.html

Réfutation des affirmations de Soteria International sur la "communauté bouddhiste persécutée OKC" et son fondateur Robert Spatz - rMdes - a place to write and think freely
En tant que victime, survivant de la dérive sectaire Ogyen Kunzang Chöling (OKC) et défenseur de la justice, des droits des enfants, des droits humains et de la …

I have been trialling Substack as a supplement to my blog. Substack has a large community of people interested in local and social history, so it's a good fit for me. I'm not planning to stop blogging, and some posts may appear in both places, but it allows me scope to write on a wider range of topics. https://

Newspapers and Research
The Norwood Review and Sir Archur Conan Doyle

Coming back from holidays in Scotland (😍) I wonder what is the best way to organize photographs in albums, edit them, maybe comment them and share them online with chosen people?
(in a private and controlled way, no AI training of any kind)
#PhotoSharing #PhotoSoftware

Cryptee | Encrypted Secure Photo Storage & Encrypted Documents Editor
Cryptee is an encrypted secure photo storage service, and an encrypted documents editor to write personal docs, notes, journals, store files and more.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
Stephen Mell, Botong Zhang, David Mell, Shuo Li, Ramya Ramalingam, Nathan Yu, Steve Zdancewic, Osbert Bastani
https://arxiv.org/abs/2506.12202

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
Modern large language models (LLMs) are often deployed as agents, calling external tools adaptively to solve tasks. Rather than directly calling tools, it can be more effective for LLMs to write code to perform the tool calls, enabling them to automatically generate complex control flow such as conditionals and loops. Such code actions are typically provided as Python code, since LLMs are quite proficient at it; however, Python may not be the ideal language due to limited built-in support for p…

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, \'Alvaro Silva, Alexandre Abreu, Alexandra Mendes
https://arxiv.org/abs/2506.22370

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Students in computing education increasingly use large language models (LLMs) such as ChatGPT. Yet, the role of LLMs in supporting cognitively demanding tasks, like deductive program verification, remains poorly understood. This paper investigates how students interact with an LLM when solving formal verification exercises in Dafny, a language that supports functional correctness, by allowing programmers to write formal specifications and automatically verifying that the implementation satisfie…

Stories of expanded solidarity: the personal and the political in the degrowth perspective from the European periphery
by Mladen Domazet1 When Mark asked me to contribute to this series, there was an instruction to try to point to any good prospects for degrowth in this conjuncture, and a lingering implication to use my semiperipheral voice to inform the by-now-desperate comrades in the metropole. Combine that with a professional deformation to write essays when given…

Stories of expanded solidarity: the personal and the political in the degrowth perspective from the European periphery
by Mladen Domazet1 When Mark asked me to contribute to this series, there was an instruction to try to point to any good prospects for degrowth in this conjuncture, and a lingering implication to u…

TuneGenie: Reasoning-based LLM agents for preferential music generation
Amitesh Pandey, Jafarbek Arifdjanov, Ansh Tiwari
https://arxiv.org/abs/2506.12083 h…

TuneGenie: Reasoning-based LLM agents for preferential music generation
Recently, Large language models (LLMs) have shown great promise across a diversity of tasks, ranging from generating images to reasoning spatially. Considering their remarkable (and growing) textual reasoning capabilities, we investigate LLMs' potency in conducting analyses of an individual's preferences in music (based on playlist metadata, personal write-ups, etc.) and producing effective prompts (based on these analyses) to be passed to Suno AI (a generative AI tool for music production). Ou…

The $K$-Theory of the Sphere with the Antipodal Involution
Jeffrey L Boersema
https://arxiv.org/abs/2506.16612 https://arxiv.org/pdf/…

The $K$-Theory of the Sphere with the Antipodal Involution
This is a thorough investigation on the real $K$-theory of the sphere $S^d$ associated with the antipodal involution. We calculate the algebraic structure of real $K$-theory and united $K$-theory for all $d$, we write down explicit unitaries representing the generators of all the non-trivial $K$-theory groups for $d \leq 4$, and we describe a recipe for generating such unitaries for all $d$.

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

A note on surjective cardinals
For cardinals $\mathfrak{a}$ and $\mathfrak{b}$, we write $\mathfrak{a}=^\ast\mathfrak{b}$ if there are sets $A$ and $B$ of cardinalities $\mathfrak{a}$ and $\mathfrak{b}$, respectively, such that there are partial surjections from $A$ onto $B$ and from $B$ onto $A$. $=^\ast$-equivalence classes are called surjective cardinals. In this article, we show that $\mathsf{ZF}+\mathsf{DC}_κ$, where $κ$ is a fixed aleph, cannot prove that surjective cardinals form a cardinal algebra, which gives a ne…

I have a habbit of making (too) many (small) packages for functionality that might be reused in different context. {box} might be an alternative by making scripts into modlues that can be loaded: #RStats

‘box’: Write Reusable, Composable and Modular R Code
A modern module system for R. Organise code into hierarchical, composable, reusable modules, and use it effortlessly across projects via a flexible, declarative dependency loading syntax.

Reflections of Cultural Wealth: Exploring Identity in Physics through Photo Elicitation
Zosia Krusberg
https://arxiv.org/abs/2505.21739 https://

Reflections of Cultural Wealth: Exploring Identity in Physics through Photo Elicitation
This paper presents a photo elicitation project that invites students to explore their identities in STEM and surface the cultural wealth they bring into the physics classroom. Grounded in critical race theory, educational theory, and affective neuroscience, the project asks students to take original photographs representing aspects of their lived experience-such as motivation, belonging, and support systems-and to write short reflections connecting these images to their journey in science. The…

Deterministic Switching of the N\'{e}el Vector by Asymmetric Spin Torque
Shui-Sen Zhang, Zi-An Wang, Bo Li, Wen-Jian Lu, Mingliang Tian, Yu-Ping Sun, Haifeng Du, Ding-Fu Shao
https://arxiv.org/abs/2506.10786

Deterministic Switching of the Néel Vector by Asymmetric Spin Torque
Néel vector, the order parameter of collinear antiferromagnets, serves as a state variable in associated antiferromagnetic (AFM) spintronic devices to encode information. A deterministic switching of Néel vector is crucial for the write-in operation, which, however, remains a challenging problem in AFM spintronics. Here we demonstrate, based on analytical derivation and macro-spin simulations, that Néel vector switching can be generally achieved via a current-induced spin torque, provided th…

"I Cannot Write This Because It Violates Our Content Policy": Understanding Content Moderation Policies and User Experiences in Generative AI Products
Lan Gao, Oscar Chen, Rachel Lee, Nick Feamster, Chenhao Tan, Marshini Chetty
https://arxiv.org/abs/2506.14018

"I Cannot Write This Because It Violates Our Content Policy": Understanding Content Moderation Policies and User Experiences in Generative AI Products
While recent research has focused on developing safeguards for generative AI (GAI) model-level content safety, little is known about how content moderation to prevent malicious content performs for end-users in real-world GAI products. To bridge this gap, we investigated content moderation policies and their enforcement in GAI online tools -- consumer-facing web-based GAI applications. We first analyzed content moderation policies of 14 GAI online tools. While these policies are comprehensive i…

Degrowth as an Essential Part of an Eco-Socialist Transition
by Anna Gregoletto, on DegrowthUK
https://degrowthuk.org/2025/06/12/degrowth-as-an-essential-part-of-an-eco-socialist-transition/
Also
Degrowth: …

Degrowth as an Essential Part of an Eco-Socialist Transition
by Anna Gregoletto* In the series Prospects for Degrowth Many thanks to Mark Burton for encouraging me to write this article and offering so many helpful suggestions. Thank you also to my comrades …

Day 11
Implemented password reset functionality using JWT:
/auth/remind-password generates a short-lived token and sends it via email
/auth/reset-password verifies the token and updates the password using bcrypt
Validation handled with class-validator.
Endpoints documented with Swagger.
Token secret and base URL configured via environment variables.

Day#11 Password Reset Flow with JWT in a NestJS Backend
Today I implemented a complete password reset mechanism in a NestJS backend API. It consists of two public endpoints and uses a stateless...

Bhatt Conjectures: On Necessary-But-Not-Sufficient Benchmark Tautology for Human Like Reasoning
Manish Bhatt
https://arxiv.org/abs/2506.11423 https://

Bhatt Conjectures: On Necessary-But-Not-Sufficient Benchmark Tautology for Human Like Reasoning
Debates about whether Large Language or Reasoning Models (LLMs/LRMs) truly reason or merely pattern-match suffer from shifting goal posts. In my personal opinion, two analytic--hence "tautological"--benchmarks cut through that fog in my mental model. In this paper, I attempt to write down my mental model in concrete terms.

Time to write to your MP again!
#ClimateChange
#ClimateEmergency
#JustStopOil
#FossilFuel

Petition: Ban fossil fuel advertising and sponsorship
Advertisements encourage the use of products and sponsorship promotes a positive reputation & creates a social licence of trust & acceptability. In 2003 a ban on all tobacco advertising was introduced and has arguably worked. I believe continued fossil fuel usage will kill more people than smoking.

CXL-GPU: Pushing GPU Memory Boundaries with the Integration of CXL Technologies
Donghyun Gouk, Seungkwan Kang, Seungjun Lee, Jiseon Kim, Kyungkuk Nam, Eojin Ryu, Sangwon Lee, Dongpyung Kim, Junhyeok Jang, Hanyeoreum Bae, Myoungsoo Jung
https://arxiv.org/abs/2506.15601

CXL-GPU: Pushing GPU Memory Boundaries with the Integration of CXL Technologies
This work introduces a GPU storage expansion solution utilizing CXL, featuring a novel GPU system design with multiple CXL root ports for integrating diverse storage media (DRAMs and/or SSDs). We developed and siliconized a custom CXL controller integrated at the hardware RTL level, achieving two-digit nanosecond roundtrip latency, the first in the field. This study also includes speculative read and deterministic store mechanisms to efficiently manage read and write operations to hide the endp…

Compton amplitude and Contact term(s) in the Spinor Helicity formalism
Aakash Kumar, Arnab Rudra, Rahul Shaw
https://arxiv.org/abs/2506.12431 https://

Compton amplitude and Contact term(s) in the Spinor Helicity formalism
In gauge theories, contact terms play an important role in ensuring gauge invariance. In the spinor helicity formalism, the choice of a gauge-fixing condition manifests itself in the form of the choice of reference vector to write the massless polarization vector(s). However, this choice must be irrelevant in any gauge-invariant observable. We use this principle to determine contact term for Electromagnetic Compton amplitude. We considered three-point function between two massive particles \& a…

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
Lifan Hu
https://arxiv.org/abs/2506.08396 https://

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
Linguine is a natural-language-inspired programming language that enables users to write programs in a fluent, controlled subset of English while preserving formal semantics. The language introduces anaphoric constructs, such as pronoun variables (e.g., "it", "them"), that are statically resolved through referent-tracking analysis combined with a Hindley-Milner-style type system. Each pronoun is guaranteed to be unambiguous and well-typed at compile time. The Linguine compiler pipeline includ…

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

BVLSM: Write-Efficient LSM-Tree Storage via WAL-Time Key-Value Separation
Modern data-intensive applications increasingly store and process big-value items, such as multimedia objects and machine learning embeddings, which exacerbate storage inefficiencies in Log-Structured Merge-Tree (LSM)-based key-value stores. This paper presents BVLSM, a Write-Ahead Log (WAL)-time key-value separation mechanism designed to address three key challenges in LSM-Tree storage systems: write amplification, poor memory utilization, and I/O jitter under big-value workloads. Unlike state…

Mycelium: A Transformation-Embedded LSM-Tree
Holly Casaletto, Jeff Lefevre, Aldrin Montana, Peter Alvaro
https://arxiv.org/abs/2506.08923 https://

Mycelium: A Transformation-Embedded LSM-Tree
Compaction is a necessary, but often costly background process in write-optimized data structures like LSM-trees that reorganizes incoming data that is sequentially appended to logs. In this paper, we introduce Transformation-Embedded LSM-trees (TE-LSM), a novel approach that transparently embeds a variety of data transformations into the compaction process. While many others have sought to reduce the high cost of compaction, TE-LSMs leverage the opportunity to embed other useful work to amorti…

New article,
Degrowth as an Essential Part of an Eco-Socialist Transition
by Anna Gregoletto, on DegrowthUK
https://degrowthuk.org/2025/06/12/degrowth-as-an-essential-part-of-an-eco-socialist-transition/

Degrowth as an Essential Part of an Eco-Socialist Transition
by Anna Gregoletto* In the series Prospects for Degrowth Many thanks to Mark Burton for encouraging me to write this article and offering so many helpful suggestions. Thank you also to my comrades …

CnC-PRAC: Coalesce, not Cache, Per Row Activation Counts for an Efficient in-DRAM Rowhammer Mitigation
Chris S. Lin, Jeonghyun Woo, Prashant J. Nair, Gururaj Saileshwar
https://arxiv.org/abs/2506.11970

CnC-PRAC: Coalesce, not Cache, Per Row Activation Counts for an Efficient in-DRAM Rowhammer Mitigation
JEDEC has introduced the Per Row Activation Counting (PRAC) framework for DDR5 and future DRAMs to enable precise counting of DRAM row activations using per-row activation counts. While recent PRAC implementations enable holistic mitigation of Rowhammer attacks, they impose slowdowns of up to 10% due to the increased DRAM timings for performing a read-modify-write of the counter. Alternatively, recent work, Chronus, addresses these slowdowns, but incurs energy overheads due to the additional DR…

Réfutation des affirmations de Soteria International sur la "communauté bouddhiste persécutée OKC" et son fondateur Robert Spatz
https://blog.rmendes.net/2024/12/15/rfutation-des-affirmations.html

Réfutation des affirmations de Soteria International sur la "communauté bouddhiste persécutée OKC" et son fondateur Robert Spatz - rMdes - a place to write and think freely
En tant que victime, survivant de la dérive sectaire Ogyen Kunzang Chöling (OKC) et défenseur de la justice, des droits des enfants, des droits humains et de la …

Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study
Julian Frattini, Anja Frattini
https://arxiv.org/abs/2506.13303 htt…

Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study
Context: Use case (UC) descriptions are a prominent format for specifying functional requirements. Existing literature abounds with recommendations on how to write high-quality UC descriptions but lacks insights into (1) their real-world adoption, (2) whether these recommendations correspond to actual quality, and (3) which factors influence the quality of UCs. Objectives: We aim to contribute empirical evidence about the adoption of UC descriptions in a large, globally distributed case company…

The $\mathcal{W}$-algebra bootstrap of 6d $\mathcal{N}=(2,0)$ theories
Mitchell Woolley
https://arxiv.org/abs/2506.08094 https://arxi…

The $\mathcal{W}$-algebra bootstrap of 6d $\mathcal{N}=(2,0)$ theories
6d (2,0) SCFTs of type $\mathfrak{g}$ have protected subsectors that were conjectured in arxiv:1404.1079 to be captured by $\mathcal{W}_\mathfrak{g}$ algebras. We write down the crossing equations for mixed four-point functions $\langle S_{k_1} S_{k_2}S_{k_3}S_{k_4}\rangle$ of 1/2-BPS operators $S_{k_i}$ in 6d (2,0) theories and detail how a certain twist reduces this system to a 2d meromorphic CFT multi-correlator bootstrap problem. We identify the relevant 6d (2,0) $\mathcal{W}$-algebras of t…

Day 9
TL;DR: Forgejo
Installed Forgejo and configured its native runner from scratch on Debian. Started with Woodpecker, but it turned out unnecessary. Everything now works locally with Docker integration and a working CI workflow.
Edit: added a GitHub backup workflow — every push to main now syncs code and tags to a private mirror repo.

Day#9 — Installing Forgejo and native Forgejo Runner
Today I installed Forgejo and configured its native runner from scratch. Initially I also installed Woodpecker CI, but it turned out unne...

Research and Analysis of Employers' Opinion on the Necessary Skills that Students in the Field of Web Programming Should Possess
Yordan Kalmukov
https://arxiv.org/abs/2506.11084

Research and Analysis of Employers' Opinion on the Necessary Skills that Students in the Field of Web Programming Should Possess
In the era of artificial intelligence (AI) and chatbots, based on large language models that can generate programming code in any language, write texts and summarize information, it is obvious that the requirements of employers for graduating students have already changed. The modern IT world offers significant automation of programming through software frameworks and a huge set of third-party libraries and application programming interfaces (APIs). All these tools provide most of the necessary…

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

Examining Human-AI Collaboration for Co-Writing Constructive Comments Online
This paper examines if large language models (LLMs) can help people write constructive comments on divisive social issues due to the difficulty of expressing constructive disagreement online. Through controlled experiments with 600 participants from India and the US, who reviewed and wrote constructive comments on threads related to Islamophobia and homophobia, we observed potential misalignment between how LLMs and humans perceive constructiveness in online comments. While the LLM was more lik…

Day 7
✅ 24 test suites, 153 tests passing.
Solid coverage across service and controller layers in my modular monorepo. Strict typing (TypeScript), full DTO validation, and realistic mocks across complex relations (TypeORM).
Next: fine-tuning error handling & exploring e2e strategies.

24 Test Suites, 153 Tests Passing — Scaling Confidence with Every Assertion
After several days of shaping a growing service architecture, I've finally reached a point where 24 test suites and 153 individual tests ...

TL;DR:🧵
Today I lost 2 hours because TypeORM ESM NestJS is a fragile combo when it comes to migrations.
No migration:status.
No ESM-compatible CLI.
No schema awareness.
Class name must match filename (with timestamp!).
So I wrote my own migration-status.ts script to compare database state with the migration folder.
Lesson: if you need INSERT INTO "schema"."table", don’t forget the schema.
ORMs give you boilerplate — and tra…

Day#10 Migrations vs Developer: A story of friction
Today was supposed to be a calm day. I just wanted to add a single value to a lookup table using a TypeORM migration. Two hours later, I ...

Day 6
TL;DR: Groups, memberships, hierarchy — all dynamic now.
Released backend v0.3.0 🎉
✅ Users can belong to multiple groups with typed roles
✅ Groups can form hierarchical or overlapping structures
✅ Roles are normalized via reference types
Built with NestJS TypeORM. Documented via Swagger.

Building a Flexible Group Structure with NestJS and TypeORM
TL;DR: I introduced a generic group model into the backend to handle dynamic user-to-organization assignments and relationships. Users ca...

Day 8
TL;DR: Yesterday I took a break. Today I’m back – and permissions are under control :)
Spent the day designing a fine-grained permission model.
I now support 96 distinct permissions across 8 modules, 4 CRUD operations, and 3 scopes: self, group, global.
Three system roles bind these into meaningful sets:
admin: full global access (32 permissions)
supervisor: read self full group scope (32)
employee: read/update self only (16)
That's 80 rol…

Day#8 📊 Designing a Scalable Permission Model
Yesterday I took a break. Today I’m back – and permissions are under control, I hope. I’ve implemented a structured permission model tha...

Day 5
TL;DR: Continued work on backend security — role-based access is now fully wired up.
✅ Got fine-grained role-based access control fully working today.
• Roles loaded from PostgreSQL
• Injected into JWT during login
• Validated via custom `@Roles()` `RolesGuard`
• Authenticated via `@UseGuards(JwtAuthGuard)` globally
• Introduced `@Public()` decorator to bypass guards for public endpoints
• Swagger supports Bearer token for testing …

Continuation: Securing Routes with JWT and Role-Based Access Control
TL;DR: Continuing development on the backend platform — this time focusing on securing routes with JWT, implementing @Roles decorators, h...