Tootfinder

Payment Channels with Proofs
Chad E. Brown, Cezary Kaliszyk, Josef Urban
https://arxiv.org/abs/2509.08268 https://arxiv.org/pdf/2509.08268

Payment Channels with Proofs
The fundamental building blocks of the Bitcoin lightning network are bidirectional payment channels. We describe an extension of payment channels in the Proofgold network which allow the two parties to bet on whether a proposition will be proven by a certain time. These provide the foundation for a Proofgold lightning network that would allow parties to request proofs (by betting there will be no proof by a certain time) and other parties to provide proofs (and be rewarded by betting there will…

Hierarchical Lexical Graph for Enhanced Multi-Hop Retrieval
Abdellah Ghassel, Ian Robinson, Gabriel Tanase, Hal Cooper, Bryan Thompson, Zhen Han, Vassilis N. Ioannidis, Soji Adeshina, Huzefa Rangwala
https://arxiv.org/abs/2506.08074

Hierarchical Lexical Graph for Enhanced Multi-Hop Retrieval
Retrieval-Augmented Generation (RAG) grounds large language models in external evidence, yet it still falters when answers must be pieced together across semantically distant documents. We close this gap with the Hierarchical Lexical Graph (HLG), a three-tier index that (i) traces every atomic proposition to its source, (ii) clusters propositions into latent topics, and (iii) links entities and relations to expose cross-document paths. On top of HLG we build two complementary, plug-and-play ret…

A simple ghost free and caustic free mimetic scalar field dark matter model
Emmanuel Kanambaye
https://arxiv.org/abs/2507.05290 https://

A simple ghost free and caustic free mimetic scalar field dark matter model
Chamseddine and Mukhanov have promoted the concept of mimetic dark matter as alternative dark matter candidate coming from gravitation. Unfortunately although being very interesting, their proposition turned out to have weakness among which ghost and caustic instabilities. In this paper I propose among the simplest ghost free and caustic free scalar field dark matter extension of their model; a proposition capable of challenging $Λ$CDM model or even capable of doing better.

A Formal Refutation of the Blockchain Trilemma
Craig Wright
https://arxiv.org/abs/2507.05809 https://arxiv.org/pdf/2507.05809

A Formal Refutation of the Blockchain Trilemma
The so-called blockchain trilemma asserts the impossibility of simultaneously achieving scalability, security, and decentralisation within a single blockchain protocol. In this paper, we formally refute that proposition. Employing predicate logic, formal automata theory, computational complexity analysis, and graph-theoretic measures of relay topology--specifically Baran's model of network path redundancy--we demonstrate that the trilemma constitutes a category error, conflates distinct analyti…

"Academic Libraries Need a New Value Proposition" @ Katina magazine:
https://katinamagazine.org/content/article/future-of-work/2025/academic-libraries-need-a-new-value-proposition
"The eli…

It might be time for #dotnet conferences to reevaluate their value proposition to the community, or else they won't survive.
The "sales pitch" or "hype" model is less effective in drawing people, primarily when these elements exist online and are commoditized.
#godotcon2025

Today I saw this quote
> Conservatism consists of exactly one proposition, to wit: There must be in-groups whom the law protects but does not bind, alongside out-groups whom the law binds but does not protect.
attributed to Francis M. Wilhoit. I took some political science classes from him at Drake University but couldn't recall him saying anything like this.
It turns out the quote was incorrectly attributed to him. It was really Frank Wilhoit in Ohio.

In the case of the Iraq war, the administration of George W Bush believed that Saddam Hussein was building weapons of mass destruction, and
– determined to act on that belief
– sought proof of its proposition.
Convinced that he was right,
Bush sought to streamline information that confirmed its bias.
What fell by the wayside were conflicting views.
Because intelligence is ultimately about assessing the likelihood of things which are difficult to know,

After graduating with an engineering degree from #MIT, current US Senator, and son of #Mexican immigrants, #AlexPadilla recalls being lured into politics in 1990s in wake of

Californians once supported denying immigrants social services and education
Now, most Californians see immigrants as a benefit to the state. What changed in the 31 years since they approved Proposition 187?

"'We can and will continue to pursue the same goal we have had from the outset — for each member of Congress to represent both urban and rural voices,' Schultz and Adams said."
Objecting to this reasoning is how Proposition 4 passed with the majority of #Utah voters in 2018.
We know this because of how many rural Republican constituents showed up at public meetings th…

I guess I should add that Firebase’s security model is still broken in the sense of being dangerously easy to mess up (despite its maintainers’ heroic efforts), that this is a problem that’s fundamentally baked into it the product’s whole value proposition of eliminating huge swaths of server-side development and is thus not readily solvable, and that these ongoing Firebase breaches are a classic case study in how far and how stubbornly the effects of abstraction choices can reach.

A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
Christoph Beierle, Alexander Hahn, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald
https://arxiv.org/abs/2508.21441

A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
Forgetting as a knowledge management operation deliberately ignores parts of the knowledge and beliefs of an agent, for various reasons. Forgetting has many facets, one may want to forget parts of the syntax, a proposition, or a conditional. In the literature, two main operators suitable for performing forgetting have been proposed and investigated in depth: First, variable elimination is a syntactical method that blends out certain atomic variables to focus on the rest of the language. It has …

@… J’aurais une proposition pour «optimiser les solutions proposées dans le contexte budgétaire complexe que nous vivons toutes et tous»: on se débarrasse de Microsoft, voilŠ, des millions économisés.

@… J’aurais une proposition pour «optimiser les solutions proposées dans le contexte budgétaire complexe que nous vivons toutes et tous»: on se débarrasse de Microsoft, voilŠ, des millions économisés.

Choosing a hash function for 2030 and beyond: SHA-2 vs SHA-3 vs BLAKE3
As everyone knows, "temporary fixes" are nothing but temporary.
Unfortunately, the same is true for cryptography: unless security is your core value-proposition, crypto algorithms are almost never updated, and that's how we end up with SHA1-hashed password in 2024 🤦‍♂️
#

Nambu Non-equilibrium Thermodynamics II:Reduction of a complex system to a simple one
So Katagiri, Yoshiki Matsuoka, Akio Sugamoto
https://arxiv.org/abs/2508.19455 https://

Nambu Non-equilibrium Thermodynamics II:Reduction of a complex system to a simple one
Non-equilibrium thermodynamics far from equilibrium is investigated in terms of a generalized ``Nambu dynamics'' (termed Nambu non-equilibrium thermodynamics (NNET)); NNET consists of Nambu dynamics with multiple Hamiltonians and an entropy causing dissipation. It is shown that a general complex non-linear non-equilibrium system far from equilibrium can be reduced to a simple NNET, on the basis of an existence proposition of NNET. This proposition is, however, proved only formally, so that th…

Limn Issue 12: Climate's Interiors is out now online and in print.
Read anywhere with the link below.
https://limn.press/issue/climates-interiors/

Climate's Interiors - Limn
We tend to think about climate solutions from the exterior. Mitigating emissions, climate-proofing crops, erecting solar panels and windmills. But what happens when we shift our perspective? What if we think of climate change from inside cells, bodies, buildings, and systems? This issue of Limn takes the interior as a counterintuitive starting point for thinking about planetary change. Our proposition: Thinking from the interior fundamentally shifts how we understand our warming world and, cruc…

Global regularity and incompressible limit of 2D compressible Navier-Stokes equations with large bulk viscosity
Shengquan Liu, Jianwen Zhang
https://arxiv.org/abs/2506.22235

Global regularity and incompressible limit of 2D compressible Navier-Stokes equations with large bulk viscosity
In this paper, we study the global regularity of large solutions with vacuum to the two-dimensional compressible Navier-Stokes equations on $\mathbb{T}^{2}=\mathbb{R}^{2}/\mathbb{Z}^{2}$, when the volume (bulk) viscosity coefficient $ν$ is sufficiently large. It firstly fixes a flaw in [10, Proposition 3.3], which concerns the $ν$-independent global $t$-weighted estimates of the solutions. Amending the proof requires non-trivially mathematical analysis. As a by-product, the incompressible lim…

Ranked choice voting (RCV)
is an increasingly popular electoral institution that has been posited by reformers and media outlets to produce transformative effects on electoral outcomes and representation.
This article finds no empirical support for the proposition that RCV changed fiscal outcomes or the ideological composition of city councils
— both on absolute terms and relative to mass opinion.
Furthermore, the roll-call based ideal points of legislators serving …

Piecewise linear cusp bifurcations in ultradiscrete dynamical systems
Shousuke Ohmori, Yoshihiro Yamazaki
https://arxiv.org/abs/2506.23451 https://

Piecewise linear cusp bifurcations in ultradiscrete dynamical systems
We investigate the dynamical properties of cusp bifurcations in max-plus dynamical systems derived from continuous differential equations through the tropical discretization and the ultradiscrete limit. A general relationship between cusp bifurcations in continuous and corresponding discrete systems is formulated as a proposition. For applications of this proposition, we analyze the Ludwig and Lewis models, elucidating the dynamical structure of their ultradiscrete cusp bifurcations obtained fr…

ChatbotManip: A Dataset to Facilitate Evaluation and Oversight of Manipulative Chatbot Behaviour
Jack Contro, Simrat Deol, Yulan He, Martim Brand\~ao
https://arxiv.org/abs/2506.12090

ChatbotManip: A Dataset to Facilitate Evaluation and Oversight of Manipulative Chatbot Behaviour
This paper introduces ChatbotManip, a novel dataset for studying manipulation in Chatbots. It contains simulated generated conversations between a chatbot and a (simulated) user, where the chatbot is explicitly asked to showcase manipulation tactics, persuade the user towards some goal, or simply be helpful. We consider a diverse set of chatbot manipulation contexts, from consumer and personal advice to citizen advice and controversial proposition argumentation. Each conversation is annotated b…

Neuromorphic Computing: A Theoretical Framework for Time, Space, and Energy Scaling
James B Aimone
https://arxiv.org/abs/2507.17886 https://arxiv.org/pdf/2…

Neuromorphic Computing: A Theoretical Framework for Time, Space, and Energy Scaling
Neuromorphic computing (NMC) is increasingly viewed as a low-power alternative to conventional von Neumann architectures such as central processing units (CPUs) and graphics processing units (GPUs), however the computational value proposition has been difficult to define precisely. Here, we explain how NMC should be seen as general-purpose and programmable even though it differs considerably from a conventional stored-program architecture. We show that the time and space scaling of NMC is equ…

WZW Partition Functions from Supersymmetric Localization
Boan Zhao
https://arxiv.org/abs/2507.11673 https://arxiv.org/pdf/2507.11673

WZW Partition Functions from Supersymmetric Localization
We prove a conjecture of Murthy and Witten which expresses modular invariant WZW partition functions as lattice sums. We show that when the sum is over the root lattice of SU(N), the result correctly reproduces the diagonal modular invariants of SU(N)_k whenever N > 2 and N + k is even. Beyond these cases, the proposition is not always true and we provide a counterexample when k >> N > 2 and k + N is odd. This proof generalizes the proof by Murthy and Witten for the SU(2) case. We then move ont…

Rational Bubbles on Dividend-Paying Assets: A Comment on Tirole (1985)
Ngoc-Sang Pham, Alexis Akira Toda
https://arxiv.org/abs/2507.12477 https://

Rational Bubbles on Dividend-Paying Assets: A Comment on Tirole (1985)
Tirole (1985) studied an overlapping generations model with capital accumulation and showed that the emergence of asset bubbles solves the capital over-accumulation problem. His Proposition 1(c) claims that if the dividend growth rate is above the bubbleless interest rate (the steady-state interest rate in the Diamond economy without bubbles) but below the population growth rate, then bubbles are necessary in the sense that there exists no bubbleless equilibrium but there exists a unique bubbly…

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09458

Syntactic Effectful Realizability in Higher-Order Logic
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that handles realizability as a syntactic translation of propositions into new propositions that describe what it means to realize the input proposition. This paper introduces EffHOL (Effectful Higher-Order Logic), a novel framework that expands syntactic realizability to uniformly support modern programming paradigms with sid…

#Newsom plan to #Gerrymander #California #voting districts in obvious overwhelming favor of