Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@shriramk@mastodon.social
2025-06-26 03:34:08

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! 🤣
github.com/shriram/lambda-n

@arXiv_hepph_bot@mastoxiv.page
2025-06-27 09:37:19

SCET sum rules for $\Lambda_b \to \Lambda \ell^ \ell^-$, $\Lambda \gamma$ decays
Long-Shun Lu, Cai-Dian L\"u, Yue-Long Shen, Yan-Bing Wei
arxiv.org/abs/2506.21419

@jake4480@c.im
2025-06-27 15:42:14

It's #GrindayFriday! Brazil's LYMPHATIC PHLEGM are pathological goregrind legends, and their 2007 record 'Show-Off Cadavers - The Anatomy of Self-Display' is my favorite of theirs. Dynamics, melodies, killer riffs- you can hear how they've influenced Lipoma, Sulfuric Cautery, Tunkio, etc.
(2018 reprint):

@fanf@mendeddrum.org
2025-06-28 14:42:03

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

@mgorny@pol.social
2025-07-20 16:34:48

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

@arXiv_nuclex_bot@mastoxiv.page
2025-07-28 12:11:29

Replaced article(s) found for nucl-ex. arxiv.org/list/nucl-ex/new
[1/1]:
- Binding energy of $^{3}_{\Lambda}\rm{H}$ and $^{4}_{\Lambda}\rm{H}$ via image analyses of nuclear...
Ayumi Kasagi, et al.

@arXiv_csLO_bot@mastoxiv.page
2025-06-23 09:12:50

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

@arXiv_hepph_bot@mastoxiv.page
2025-07-28 09:23:51

Determination of the sensitivity of $\Lambda$ and $\Lambda^ _c$ electric dipole moments using a full angular analysis
R. T. Ovsiannikov, A. Yu. Korchin, E. Kou
arxiv.org/abs/2507.19056

@arXiv_hepph_bot@mastoxiv.page
2025-08-27 09:58:13

$\lambda$ and $\rho$ Regge trajectories for bottom-charm tetraquarks $(bq)(\bar{c}\bar{q}')$ and $(cq)(\bar{b}\bar{q}')$
Jiao-Kai Chen, He Song, Xin-Ru Liu
arxiv.org/abs/2508.18899