It's been bothering me for a while, so I created a Racket extension to refer to variables by position: eg,
(define hypotenuse
(lambda 2
(sqrt ( (square $0)
(square $1)))))
Why not. What fun. No more variable name choice paralysis! 🤣
https://github.com/shriram/lambda-n
Measurement of $\Lambda$ Polarization in the $\pi^{-}p \to K^{0} \Lambda$ Reaction at $p_{\pi^{-}}=1.33$ GeV/$c$ toward a New $\Lambda p$ Scattering Experiment
PARC E40 Collaboration, T. Sakao, K. Miwa, J. K. Ahn, Y. Akazawa, T. Aramaki, S. Ashikaga, S. Callier, N. Chiga, S. W. Choi, H. Ekawa, P. Evtoukhovitch, N. Fujioka, M. Fujita, T. Gogami, T. Harada, S. Hasegawa, S. H. Hayakawa, R. Honda, S. Hoshino, K. Hosomi, M. Ichikawa, Y. Ichikawa, M. Ieiri, M. Ikeda, K. Imai, Y. Ishikawa, S.…
from my link log —
A multivalued language with a dependent type system. (A precursor to Epic Verse.)
https://www.leafpetersen.com/leaf/publications/dtp2013/lambda-aleph-overview.pdf
saved 2025-06-12
from my link log —
Dependent types and program equivalence.
https://www.seas.upenn.edu/~sweirich/papers/popl10-lambda-eek.pdf
saved 2025-06-10
Characteristic equations of linearized $\lambda R$ gravity
J. Aldair Pantoja-Gonzalez (Puebla U., Inst. Fis.), D. Vanessa Castro-Luna (Puebla U., Inst. Fis.), Alberto Escalante (Puebla U., Inst. Fis.)
https://arxiv.org/abs/2506.16603
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
Opportunistically Parallel Lambda Calculus
https://
HeII emitters in the cosmic noon and beyond. Characterising the HeII {\lambda}1640 emission with MUSE and JWST/NIRSpec
R. Gonz'alez-D'iaz, J. M. V\'ilchez, C. Kehrig, I. del Moral-Castro, J. Iglesias-P\'aramo
https://arxiv.org/abs/2506.11685
The near infrared airglow continuum conundrum. Constraints for ground-based faint object spectroscopy
J. K. M. Viuho (Cosmic Dawn Center, Niels Bohr Institute, University of Copenhagen, Jagtvej 155A, DK-2200, Copenhagen N, Denmark, Nordic Optical Telescope, Rambla Jose Ana Fernandez Perez 7, ES-38711 Brena Baja, Spain, Department of Physics and Astronomy, Aarhus University, Munkegade 120, DK-8000 Aarhus C, Denmark), J. P. U. Fynbo (Cosmic Dawn Center, Niels Bohr Institute, University of Copenhagen, Jagtvej 155A, DK-2200, Copenhagen N, Denmark), M. I. Andersen (Cosmic Dawn Center, Niels Bohr Institute, University of Copenhagen, Jagtvej 155A, DK-2200, Copenhagen N, Denmark)
#toXiv_bot_toot
Measurement of the branching fractions of the Cabibbo-favored decays $\Lambda_{c}^{ }\to\Lambda K_{S}^{0}K^{ }$ and $\Lambda_{c}^{ }\to\Xi^{0}K_{S}^{0}\pi^{ }$ and search for $\Lambda_{c}^{ }\to\Sigma^{0} K_{S}^{0}K^{ }$
BESIII Collaboration, et al.
https://arxiv.org/abs/2506.02969
GNHeII J1236 6215: A He II $\lambda$1640 emitting and potentially LyC leaking galaxy at $z$ = 2.9803 unveiled through JWST & Keck observations
Chayan Mondal, Kanak Saha, Anshuman Borgohain, Brent M. Smith, Rogier A. Windhorst, Naveen Reddy, Chian-Chou Chen, Keiichi Umetsu, Rolf A. Jansen
https://arxiv.org/abs/2506.06831
The Roman View of Strong Gravitational Lenses
Bryce Wedig, Tansu Daylan, Simon Birrer, Francis-Yan Cyr-Racine, Cora Dvorkin, Douglas P. Finkbeiner, Alan Huang, Xiaosheng Huang, Rahul Karthik, Narayan Khadka, Priyamvada Natarajan, Anna M. Nierenberg, Annika H. G. Peter, Justin D. R. Pierel, Xianzhe TZ Tang, Risa H. Wechsler
https://