Tootfinder

RadGame: An AI-Powered Platform for Radiology Education
Mohammed Baharoon, Siavash Raissi, John S. Jun, Thibault Heintz, Mahmoud Alabbad, Ali Alburkani, Sung Eun Kim, Kent Kleinschmidt, Abdulrahman O. Alhumaydhi, Mohannad Mohammed G. Alghamdi, Jeremy Francis Palacio, Mohammed Bukhaytan, Noah Michael Prudlo, Rithvik Akula, Brady Chrisler, Benjamin Galligos, Mohammed O. Almutairi, Mazeen Mohammed Alanazi, Nasser M. Alrashdi, Joel Jihwan Hwang, Sri Sai Dinesh Jaliparthi, Luke David Nelson…

RadGame: An AI-Powered Platform for Radiology Education
We introduce RadGame, an AI-powered gamified platform for radiology education that targets two core skills: localizing findings and generating reports. Traditional radiology training is based on passive exposure to cases or active practice with real-time input from supervising radiologists, limiting opportunities for immediate and scalable feedback. RadGame addresses this gap by combining gamification with large-scale public datasets and automated, AI-driven feedback that provides clear, struct…

Took me about an hour outside of the DC part of Virginia to run into a dual-wielding Trump hat Kirk shirter.

Today we visited Oyne and Culsamond, two little spots 30 minutes drive west of Aberdeen. Ken's grandparents came from this part of Scotland. We saw his grandfather's home and the church we think he was baptized in. Beautiful part of the world and fun to connect to his story in this way.

Not ordering an appetizer is a crime in Italy that I can get behind. It helps that when paired with a 1st course, the price and portion comes out reasonable.

Structuring Definitions in Mathematical Libraries
Alena Gusakov, Peter Nelson, Stephen Watt
https://arxiv.org/abs/2509.10828 https://arxiv.org/pdf/2509.108…

Structuring Definitions in Mathematical Libraries
Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definitions. This results in a steep learning curve for new users and slow progress in formalizing even undergraduate level mathematics. There are many considerations one has to make, such as level of generality, readability, and ease of use in the type system, and there are typically multiple equivalent or related definition…

NGTS-EB-8: A double-lined eclipsing M M binary discovered by citizen scientists
Sean M. O'Brien, Megan E. Schwamb, Christopher A. Watson, Louise D. Nielsen, Edward M. Bryant, Sarah L. Casewell, Matthew R. Burleigh, Lucy Fortson, Samuel Gill, Chris J. Lintott, Katlyn L. Hobbs, Ioannis Apergis, Daniel Bayliss, Jorge Fern\'andez Fern\'andez, Maximilian N. G\"unther, Faith Hawthorn, James S. Jenkins, Alicia Kendall, James McCormac, Ernst J. W. de Mooij, Toby Rodel, Suman S…

NGTS-EB-8: A double-lined eclipsing M+M binary discovered by citizen scientists
We report the identification and characterization of a new binary system composed of two near-equal mass M-dwarfs. The binary NGTS-EB-8 was identified as a planet candidate in data from the Next Generation Transit Survey (NGTS) by citizen scientists participating in the Planet Hunters NGTS project. High-resolution spectroscopic observations reveal the system to be a double-lined binary. By modeling the photometric and radial velocity observations, we determine an orbital period of 4.2 days and …

Excited for the Indian chicken curry I made myself. It's pretty basic, but it also smells pretty good. Got some special imported chili powder from @… to make it special.

A Compact Cycle Formulation for the Multiperiodic Event Scheduling Problem
Rolf Nelson van Lieshout, Niels Lindner
https://arxiv.org/abs/2507.17566 https://

A Compact Cycle Formulation for the Multiperiodic Event Scheduling Problem
The Periodic Event Scheduling Problem (PESP) is a fundamental model in periodic timetabling for public transport systems, assuming a common period across all events. However, real-world networks often feature heterogeneous service frequencies. This paper studies the Multiperiodic Event Scheduling Problem (MPESP), a generalization of PESP that allows each event to recur at its own individual period. While more expressive, MPESP presents new modeling challenges due to the loss of a global period.…

Arrived London! Still pretty wiped out from travel but we managed to get to Covent Garden for a glass of wine and a bite to eat. Rainy day plan tomorrow is the Churchill War Rooms.

I just attempted to move my Mastodon to a fresh server and forgot how complicated it is to get docker running compared to old school apps. This server is running pretty old Ubuntu plus I made some bad choices in my data storage when I originally set it up.