Tootfinder

Cowboys Get Good News on Potential Return of ‘Breakout Star’ on Defense https://heavy.com/sports/nfl/dallas-cowboys/linebacker-demarvion-overshown-thanksgiving-injury-return/?adt_ei=[email]

LMPVC and Policy Bank: Adaptive voice control for industrial robots with code generating LLMs and reusable Pythonic policies
Ossi Parikka, Roel Pieters
https://arxiv.org/abs/2506.22028

LMPVC and Policy Bank: Adaptive voice control for industrial robots with code generating LLMs and reusable Pythonic policies
Modern industry is increasingly moving away from mass manufacturing, towards more specialized and personalized products. As manufacturing tasks become more complex, full automation is not always an option, human involvement may be required. This has increased the need for advanced human robot collaboration (HRC), and with it, improved methods for interaction, such as voice control. Recent advances in natural language processing, driven by artificial intelligence (AI), have the potential to answ…

Celebrating May Day 🟥
"The people's flag is deepest red,
It shrouded oft our martyred dead,
And ere their limbs grew stiff and cold,
Their hearts' blood dyed its every fold."

Top five NFL draft values of the millennium at LB: Class of 2012 produced pair of true studs https://www.nfl.com/news/top-five-nfl-draft-values-of-the-millennium-at-lb-class-of-2012-produced-pair-of-true-studs…

Scott's Representation Theorem and the Univalent Karoubi Envelope
Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens
https://arxiv.org/abs/2506.22196 …

Scott's Representation Theorem and the Univalent Karoubi Envelope
Lambek and Scott constructed a correspondence between simply-typed lambda calculi and Cartesian closed categories. Scott's Representation Theorem is a cousin to this result for untyped lambda calculi. It states that every untyped lambda calculus arises from a reflexive object in some category. We present a formalization of Scott's Representation Theorem in univalent foundations, in the (Rocq-)UniMath library. Specifically, we implement two proofs of that theorem, one by Scott and one by Hyland.…

Scholars Continue Lambasting Higher Ed While Trump Upends It (Ryan Quinn/Inside Higher Ed)
https://www.insidehighered.com/news/faculty-issues/academic-freedom/2025/06/26/scholars-lambaste-higher-ed-while-trump-upends-it
http://www.memeorandum.com/250626/p28#a250626p28

Towards Scalable and Robust White Matter Lesion Localization via Multimodal Deep Learning
Julia Machnio, Sebastian N{\o}rgaard Llambias, Mads Nielsen, Mostafa Mehdipour Ghazi
https://arxiv.org/abs/2506.22041

Towards Scalable and Robust White Matter Lesion Localization via Multimodal Deep Learning
White matter hyperintensities (WMH) are radiological markers of small vessel disease and neurodegeneration, whose accurate segmentation and spatial localization are crucial for diagnosis and monitoring. While multimodal MRI offers complementary contrasts for detecting and contextualizing WM lesions, existing approaches often lack flexibility in handling missing modalities and fail to integrate anatomical localization efficiently. We propose a deep learning framework for WM lesion segmentation a…

Cowboy Roundup: Top training camp battles, Linebacker roster bubble https://www.si.com/nfl/cowboys/news/dallas-cowboys-top-training-camp-battles-linebacker-roster-bubble

Missing star attraction, Cowboys linebackers a $19 million collection of temporary fixes https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/06/24/cowboys-19-million-linebacker-room-positi…

Projected Dallas Cowboys starter vows defense will stop the run https://www.si.com/nfl/cowboys/news/projected-dallas-cowboys-starter-vows-defense-will-stop-run