Tootfinder

Maryland works to replace parking lots at train stations with dense housing & mixed use development.

Maryland announces $1.25 million in grants for development around rail stations
The announcement comes as Maryland is trying to double down on a bet that transit hubs can help turn the tide on climate and housing affordability issues.

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
The present dissertation introduces the research project on HOLMS (\textbf{HOL} Light Library for \textbf{M}odal \textbf{S}ystems), a growing modular framework for modal reasoning within the HOL Light proof assistant. To provide an accessible introduction to the library, the fundamentals of modal logic are outlined first, followed by a concise manual for the proof assistant itself. The core contribution of this work on HOLMS is the development of a unified and modular strategy for proving adequ…

Apparently I’ve heard the Thunderpuss mix of “It’s Not Right, But It’s Okay” by Whitney Houston so much that I thought it was the definitive version.
How wrong I was! https://youtu.be/Y9ZoD0wNsJM

ICU-TSB: A Benchmark for Temporal Patient Representation Learning for Unsupervised Stratification into Patient Cohorts
Dimitrios Proios, Alban Bornet, Anthony Yazdani, Jose F Rodrigues Jr, Douglas Teodoro
https://arxiv.org/abs/2506.06192

ICU-TSB: A Benchmark for Temporal Patient Representation Learning for Unsupervised Stratification into Patient Cohorts
Patient stratification identifying clinically meaningful subgroups is essential for advancing personalized medicine through improved diagnostics and treatment strategies. Electronic health records (EHRs), particularly those from intensive care units (ICUs), contain rich temporal clinical data that can be leveraged for this purpose. In this work, we introduce ICU-TSB (Temporal Stratification Benchmark), the first comprehensive benchmark for evaluating patient stratification based on temporal pat…

Generalized Modulated Symmetries in $\mathbb{Z}_2$ Topological Ordered Phases
Gustavo M. Yoshitome, Heitor Casasola, Rodrigo Corso, Pedro R. S. Gomes
https://arxiv.org/abs/2506.10819

Generalized Modulated Symmetries in $\mathbb{Z}_2$ Topological Ordered Phases
We study $\mathbb{Z}_2$ topological ordered phases in 2+1 dimensions characterized by generalized modulated symmetries. Such phases have explicit realizations in terms of fixed-point Hamiltonians involving commuting projectors with support $h=3,5,7,\ldots$ in the horizontal direction, which dictates the modulation of the generalized symmetries. These symmetries are sensitive to the lattice sizes. For certain sizes, they are spontaneously broken and the ground state is degenerated, while for the…

Yakiudon. Mit Sojaschnetzeln statt Schweinefleisch, Pak Choi und Cremechampignons (Restlessen), Sauce Typ A vom Rezept, vegetarisch is das wegen Dashi & Katsuobushi nicht, aber himmlisch.
#nommention
https://www.

#Dog fans: Please watch "The Art of Racing in the Rain".
(I ugly cried at AMC during these clips & hugged a complete stranger in the lobby.)
▶️ Enzo's final lap with Denny
https://yout…