Tootfinder

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

No exact results. Similar results found.
@mpsgoettingen@academiccloud.social
2025-07-10 07:50:19

Hoping for a #flare: During the final days of our 2 week observation campaign with #GREGORSolarTelescope on Tenerife, scientists work remote from the “GREGOR Operations Center” at #MPSGoettingen

Two scientists are seated at tables in a lab room with three small monitors in front of them and two large screens mounted on the wall. The large monitors show various monitoring images of a telescope and the data it is taking.
Zoom-in on the contents of one of the large screens: Various windos showing a full-disk magnetogram image of the Sun and two versions of a zoom onto an active region.
A zoom-in onto one of the large screens showing various context images: the observatory from a birds-eye view, its surroundings, close-ups of the telescope from different angles, and select scientific data panels.
A full view of the operations center again, from a different angle as before and this time showing the backs of three busy scientists facing various monitors both directly in front of them as well as the two large screens on the wall of the room. The scientist in the middle is busy using her mouse clicking on things, and her upright posture suggests a high level of concentration.
@BBC3MusicBot@mastodonapp.uk
2025-07-09 05:30:32

🔊 #NowPlaying on #BBCRadio3:
#Breakfast
- Embrace the morning calm of classical music and birdsong
Tom McKinney presents Radio 3's Breakfast show. To get in touch, email 3breakfast@bbc.co.uk
Relisten now 👇
bbc.co.uk/programmes/m002f7gt

@mpsgoettingen@academiccloud.social
2025-09-08 13:59:28

Here are some lovely shots of last night’s #LunarEclipse taken by Kamlesh Bora, Maxime Piralla and Adrian Tuschinsky from #mpsgoettingen. The first two photos were taken in #Goettingen

collage of six photos showing the second half of the lunar eclipse
the Moon during partial lunar eclipse phase: about a third of the lunar disk appears extremely dark to the point of being almost invisible, while the non-eclipsed part is structured in brighter and darker grays (dark at the site of maria)
lunar disk appearing distinctly red, with a bite missing at the upper right
@radioeinsmusicbot@mastodonapp.uk
2025-07-10 11:35:38

🇺🇦 Auf radioeins läuft...
Peter and Kerry:
🎵 All I've Got Are My Dreams
#NowPlaying #PeterandKerry
peterandkerry.bandcamp.com/tra
open.spotify.com/track/3GvMPgH

@arXiv_csLO_bot@mastoxiv.page
2025-07-09 08:24:12

A Formalization of Divided Powers in Lean
Antoine Chambert-Loir, Mar\'ia In\'es de Frutos-Fern\'andez
arxiv.org/abs/2507.05327

A Formalization of Divided Powers in Lean
Given an ideal $I$ in a commutative ring $A$, a divided power structure on $I$ is a collection of maps $\{γ_n \colon I \to A\}_{n \in \mathbb{N}}$, subject to axioms that imply that it behaves like the family $\{x \mapsto \frac{x^n}{n!}\}_{n \in \mathbb{N}}$, but which can be defined even when division by factorials is not possible in $A$. Divided power structures have important applications in diverse areas of mathematics, including algebraic topology, number theory and algebraic geometry. …

@khalidabuhakmeh@mastodon.social
2025-08-08 13:03:39

Pro tip for #aspnetcore devs: if Blazor hijacks the importmap in your plain-old server-rendered app due to MapStaticAssets, you can opt out of the tag helper on an element by using “!”.
You can also write your own tag helper to bypass this problem.

Razor code showing the use of ! on a script tag
@arXiv_csCR_bot@mastoxiv.page
2025-09-09 11:44:32

Wrangling Entropy: Next-Generation Multi-Factor Key Derivation, Credential Hashing, and Credential Generation Functions
Colin Roberts, Vivek Nair, Dawn Song
arxiv.org/abs/2509.05893

Wrangling Entropy: Next-Generation Multi-Factor Key Derivation, Credential Hashing, and Credential Generation Functions
The Multi-Factor Key Derivation Function (MFKDF) offered a novel solution to the classic problem of usable client-side key management by incorporating multiple popular authentication factors into a key derivation process, but was later shown to be vulnerable to cryptanalysis that degraded its security over multiple invocations. In this paper, we present the Entropy State Transition Modeling Framework (ESTMF), a novel cryptanalytic technique designed to reveal pernicious leaks of entropy across …

@kexpmusicbot@mastodonapp.uk
2025-07-07 18:34:37

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Freckle:
🎵 Taraval
#Freckle
freckledfreckles.bandcamp.com/
open.spotify.com/track/5m0fBSd

@carloshr@lile.cl
2025-07-31 21:37:04

Yo no soy capaz de identificar una canción de Kidd Voodoo, pero el muchacho llenó 7 Movistar Arena y eso tiene mucho mérito. Hallo que no queda mšs que aplaudir. 👏🏻
latercera.com/culto/noticia/ki

Kidd Voodoo recibe reconocimiento por su récord de shows en Movistar Arena
El "sátiro" recibió el premio La Cúpula Movistar Arena, en reconocimiento a sus 7 shows sold out en el recinto, siendo el primer artista chileno y sudamericano en lograrlo.

@BBC3MusicBot@mastodonapp.uk
2025-07-07 16:00:23

🔊 #NowPlaying on #BBCRadio3:
#InTune
- In session with stellar classical artists
Petroc Trelawny has live music in the In Tune studio from vocal group Cantoría.
Relisten now 👇
bbc.co.uk/programmes/m002f9kd