Tootfinder

Zawsze cieszy, kiedy autorzy paczki zaakceptują trywialną poprawkę, mimo że oczywisty błąd w kodzie w danej chwili ich nie dotyka.
#Gentoo

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Alejandro D\'iaz-Caro, Nicolas A. Monzon
https://arxiv.org/abs/2506.16244 https://

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lambda-SX enables more flexible control and compositional reasoning about measurements. We formalise its syntax, typing rules, subtyping, and operational semantics, and establish its key meta-theoretical properties. This proof-of-concept shows that support for multiple bases can be coherently integrated into the type disc…

Always nice when upstream accepts a trivial fix even though the obvious bug doesn't affect them right now.
#Gentoo #Python

First Observation of $\Lambda$ Hyperon Transverse Polarization in $\psi(3686)\to\Lambda\bar\Lambda$
BESIII Collaboration, et al.
https://arxiv.org/abs/2509.15276 https://…

First Observation of $Λ$ Hyperon Transverse Polarization in $ψ(3686)\toΛ\barΛ$
Based on $(448.1\pm2.9)\times10^{6}$ $ψ(3686)$ events collected with the BESIII detector at the BEPCII collider, we present the first observation of spin transverse polarization of $Λ$ and $\barΛ$ hyperons produced coherently in the decay $ψ(3686)\toΛ(\to pπ^-)\barΛ(\to\bar pπ^+)$. The relative phase between the electric and magnetic hadronic form factors is measured to be $ΔΦ=(21.0\pm3.7_{\rm stat.}\pm0.8_{\rm syst.})^{\circ}$. The angular distribution parameter $α_ψ=0.83\pm0.02_{\…

from my link log —
A tutorial implementation of a dependently typed lambda calculus.
https://webspace.science.uu.nl/~swier004/publications/2010-fundamentae-informatica.pdf
saved 2025-06-06

Spin correlations and Bell nonlocality in $\Lambda\bar\Lambda$ pair production from $e^ e^-$ collisions with a thrust cut
Shi-Jia Lin, Ming-Jun Liu, Ding Yu Shao, Shu-Yi Wei
https://arxiv.org/abs/2507.15387

Spin correlations and Bell nonlocality in $Λ\barΛ$ pair production from $e^+e^-$ collisions with a thrust cut
We present a comprehensive theoretical study of spin correlations in $Λ\barΛ$ production from $e^+e^-$ annihilation, providing the theoretical predictions for the Belle II experiment. Using soft-collinear effective theory, we perform the first resummation of large logarithms for the longitudinal ($C_{LL}$) and transverse ($C_{TT}$) spin correlations for events with a cut on the thrust variable. Our calculation achieves next-to-next-to-leading logarithmic accuracy and incorporates the determin…

Space Tango partners with LambdaVision on NASA Phase II InSPA Award to advance artificial retina manufacturing in space https://spacetango.com/latest/pressreleases/space-tango-partne…

from my link log —
Dana Scott on the lambda calculus, then and now.
https://www.cis.upenn.edu/~cis5110/lambda_calculus_timeline-Scott.pdf
saved 2025-07-18

Universal parameters of the $\Lambda(1380)$, the $\Lambda(1405)$ and their isospin partners from a combined analysis of Lattice QCD and experimental results
Ferenc Pittler, Maxim Mai, Ulf-G. Mei{\ss}ner, Ryan F. Ferguson, Peter Hurck, David G. Ireland, Bryan McKinnon
https://arxiv.org/abs/2507.14283

Universal parameters of the $Λ(1380)$, the $Λ(1405)$ and their isospin partners from a combined analysis of Lattice QCD and experimental results
We perform a global analysis of lattice and experimental data on negative-strangeness meson-baryon scattering using a large set of variations of the theoretical framework based on the Chiral Unitary Approach. For the former, the Lüscher formalism is utilized taking into account all pertinent coupled-channel effects. Through this, systematic uncertainties related to data scarcity, potential ambiguities, and possible framework dependence are quantified for the first time. The implementation of i…

from my link log —
Anaphoric macros introduce hidden bindings in Lisp.
https://letoverlambda.com/index.cl/guest/chap6.html
saved 2025-08-16