Tootfinder

from my link log —
The Epic Verse calculus: a core calculus for functional logic programming.
https://simon.peytonjones.org/verse-calculus/
saved 2025-06-12

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

Interpolation for the two-way modal mu-calculus
The two-way modal mu-calculus is the extension of the (standard) one-way mu-calculus with converse (backward-looking) modalities. For this logic we introduce two new sequent-style proof calculi: a non-wellfounded system admitting infinite branches and a finitary, cyclic version of this that employs annotations. As is common in sequent systems for two-way modal logics, our calculi feature an analytic cut rule. What distinguishes our approach is the use of so-called trace atoms, which serve to ap…

Brightify: A tool for calculating brightness in neutron sources
Mina Akhyani, Luca Zanini, Henrik R{\o}nnow
https://arxiv.org/abs/2505.22431 https://

Brightify: A tool for calculating brightness in neutron sources
Brightness is a critical metric for optimizing the design of neutron sources and beamlines, yet there is no direct way to calculate brightness within most Monte Carlo packages used for neutron source simulation. In this paper, we present Brightify, an open-source Python-based tool designed to calculate brightness from Monte Carlo Particle List (MCPL) files, which can be extracted from several Monte Carlo simulation packages. Brightify provides an efficient computational approach to calculate br…

The judicial cases in OKC are closely linked to the silence and accountability of Tibetan Buddhist Heads of Nyigmapa Lineages in 🇫🇷🇧🇪🇵🇹. To grasp the full extent of responsibility and complacency, let's delve deeper into the matter. #TibetanBuddhism #Responsibility
1/2

Rear Admiral Eileen Laubacher (Retired)
United States Navy here
In less than 72 hours, both Lauren Boebert and I are facing a federally-mandated fundraising deadline.
After June 30, both of our campaigns will be required by law to file a report with the Federal Election Commission (FEC) showing how much we’ve raised.
This is our very first FEC report,
and our fundraising numbers are going to be closely compared with Boebert’s.
It’s also our first chance …

Rear Admiral Eileen Laubacher | Democrat for Congress
Rear Admiral Eileen Laubacher, a candidate for Congress in Colorado’s 4th District, is on a new mission after a lifetime of service: Defeat Lauren Boebert.

"Out of pain and righteous anger I took apart the stained glass windows of my childhood faith. Over time I looked more closely at the glass shards at my feet and chose to reconstruct my faith life."
—Sandra L. Fischer ’12 M.Div. writing in the new issue of our journal, Reflections, which addresses whether Christianity is losing its religion.

Confession time: I’m totally addicted to Coca Cola. Zero surprise to my family, they’ve seen the rainbow-fueled caffeine calculations in action.
But for my fellow fediverse friends, I know this might come as a major plot twist. Welcome to my neurodivergent soda saga! 🏳️‍🌈🧠🥤
#ActuallyAutistic

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

Tools for Characterizing the Numerical Error of Stellar Oscillation Codes
Stellar oscillation codes are software instruments that evaluate the normal-mode frequencies of an input stellar model. While inter-code comparisons are often used to confirm the correctness of calculations, they are not suitable for characterizing the numerical error of an individual code. To address this issue, we introduce a set of tools -- 'error measures' -- that facilitate this characterization. We explore the behavior of these error measures as calculation parameters, such as the number …

Currently running the ultimate queer-autistic mental math: do I get up now for a Coke, or do I turn on my PC first and then embark on the sacred quest for caffeine?
Welcome to my rainbow-brained world, where every decision involves calculating the exact number of steps, seconds, and spoons required. 🏳️‍🌈🤓✨
#ActuallyAutistic

Pebble Games and Algebraic Proof Systems
Lisa-Marie Jaser, Jacobo Toran
https://arxiv.org/abs/2506.21149 https://arxiv.org/pdf/2506.2…

Pebble Games and Algebraic Proof Systems
Analyzing refutations of the well known 0pebbling formulas Peb$(G)$ we prove some new strong connections between pebble games and algebraic proof system, showing that there is a parallelism between the reversible, black and black-white pebbling games on one side, and the three algebraic proof systems Nullstellensatz, Monomial Calculus and Polynomial Calculus on the other side. In particular we prove that for any DAG $G$ with a single sink, if there is a Monomial Calculus refutation for Peb$(G)$…