Tootfinder

Auf der #applewatch ein typisches neues #apple-Ding: Optimiertes Laden - als Standardeinstellung. Man findet erst heraus, dass seine Uhr dann um 3 Uhr morgens fertig geladen sein wird, wenn man sich über den zu niedrigen Ladestand vor dem Schlafengehen wundert. Aber dann will man sie ja zur Schlafaufzeichnun…

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Animal Collective:
🎵 Love On the Big Screen
#AnimalCollective
https://anmlcollectve.bandcamp.com/track/love-on-the-big-screen
https://open.spotify.com/track/2arA4UjtVVKh7Gvyi03T68

🇺🇦 Auf radioeins läuft...
Kings Of Leon:
🎵 Radioactive
#NowPlaying #KingsOfLeon
https://goodknightproductions1.bandcamp.com/track/radioactive
https://open.spotify.com/track/60CirPlTOEWOUBus7HxV3B

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si
https://arxiv.org/abs/2507.22086

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
Type inference for dynamic languages like Python is a persistent challenge in software engineering. While large language models (LLMs) have shown promise in code understanding, their type inference capabilities remain underexplored. We introduce TypyBench, a benchmark designed to evaluate LLMs' type inference across entire Python repositories. TypyBench features two novel metrics: TypeSim, which captures nuanced semantic relationships between predicted and ground truth types, and TypeCheck, whi…

Typechecking Is Undecidable When 'Type' Is a Type
Technical Report 458
December 1989
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6
That actually makes *intuitive* sense, since it allo…

LIVE: Brian Schottenheimer Press Conference | 7/28/25 | Dallas Cowboys 2025 https://www.youtube.com/watch?v=J-TPqyzAuEo

This https://arxiv.org/abs/2406.14346 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Atomic Toposes with Co-Well-Founded Categories of Atoms
The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves on that site can be described in a similar fashion. We deduce that these toposes are locally finitely presentable. By applying this to the Malitz-Gregory atomic topos, we obtain a counter-example to the conjecture that every locally finitely presentable topos…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Erika de Casier:
🎵 Miss
#ErikadeCasier
https://jalenjones.bandcamp.com/track/erika-de-casier-miss-jalen-jones-ukg-bootleg
https://open.spotify.com/track/3iewIkYTvvaicW8iysqxuU

🇺🇦 #NowPlaying on KEXP's #MiddayShow
The Pauses:
🎵 The Beginnings of Things
#ThePauses
https://thepauses.bandcamp.com/track/the-pauses-the-beginnings-of-things
https://open.spotify.com/track/2tFHLuVgb1zBsMQqXZtfa4

🇺🇦 #NowPlaying on KEXP's #Early
The Psychedelic Furs:
🎵 President Gas
#ThePsychedelicFurs
https://kevbyker.bandcamp.com/track/president-gas-the-psychedelic-furs
https://open.spotify.com/track/3Xcj4v1Is2v4kdhlxCHXZf