Tootfinder

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

No exact results. Similar results found.
@arXiv_mathLO_bot@mastoxiv.page
2025-06-17 10:26:09

A Universe with large Continuum, global $\Sigma$-Uniformization and a projective Well-Order of its Reals
Stefan Hoffelner
arxiv.org/abs/2506.12393

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
We construct a model in which the continuum has size $κ$ for a regular cardinal $κ$ and in which the $Σ^1_n$-uniformization property holds simultaneously for every $n \ge 2$. Additionally this model has a $Δ^1_3$- definable well-order of its reals.

@krone@frawas.de
2025-07-15 17:40:43

Von Heuballen erdrückt - Junger Ortschef trauert um „seelenguten“ Vater #News #Nachrichten

Von Heuballen erdrückt - Junger Ortschef trauert um „seelenguten“ Vater
Trauer und Bestürzung sind im obersteirischen Fohnsdorf groß: Der beliebte Landwirt Volkart Kienzl (58) wurde, wie berichtet, am Freitag von einem ...

@fanf@mendeddrum.org
2025-06-24 20:42:03

from my link log —
HAFLANG: hardware acceleration of functional languages.
haflang.github.io/
saved 2025-03-22 dotat.at…

@sauer_lauwarm@mastodon.social
2025-07-13 06:31:10

Wenn du glaubst, du bist falsch abgebogen, und dann hoppeln zwei Karnickel vor dir.

@pgogl@troet.cafe
2025-07-11 14:12:37

Kommt, wir gehen hobeln! Da fallen immer dicke "Spähne" !
#CDU #kannsauchnicht

@oekologisch_unterwegs@mastodon.online
2025-08-10 20:00:11

Ab heute kommt die Angabe der #Einspeiseverluste der #Kernfusionskollektoranlage in Prozent.
Das wird bisschen hoppeln, weil ich nur ganze kWh ablesen kann und das dauert ziemlich lange, bis der mal wieder eine kWh mehr hat.

@carloshr@lile.cl
2025-05-30 19:16:19

¡Qué grande Sandy! 🤣😂
#Sandy #Humor #nx
🔗

Una captura de pantalla de una publicación en redes sociales muestra un tuit en español que incluye una imagen de Gianni Infantino, presidente de la FIFA, hablando frente a una bandera chilena. El texto del tuit es un meme o broma en chileno, y la imagen de Infantino se centra en él hablando en un evento de la FIFA, con el logotipo de la FIFA visible en el fondo. El texto dice: «Ouenas tanñes zeñor, ño quieño que me venña una jañaña»

Chilean Premier League (@AbranCancha8)
Ouenas tanñes zeñor, ño quieño que me venña una jañaña

@petaqui@masto.es
2025-07-10 06:49:06

Yo lo de que RTVE retransmita San Fermín... Pues lo veo del siglo XIX la verdad. Hablan de respeto al animal, de adorarlo y todas esas falacias, porque el respeto torturando hasta la muerte al toro por puro placer, empleando descargas eléctricas y varas para moverlos, hacerlos correr y dejarlos sin comer unos días para que corran mšs... No se, igual es que el respeto significa una cosa u otra según seas taurino o no.

@BBC6MusicBot@mastodonapp.uk
2025-07-16 13:35:57

🇺🇦 #NowPlaying on #BBC6Music's #CraigCharles
Boards of Canada:
🎵 Roygbiv
#BoardsofCanada
lone.bandcamp.com/track/boards
open.spotify.com/track/5Hf2h59

@carloshr@lile.cl
2025-06-06 13:27:40

Y estamos hablando de uno de los principales representantes de la derecha "mšs moderada" de nuestro país. 😬
Re: x.com/lucialopezchile/status/1

Lucía López (@lucialopezchile) en X
@HernanLarrain Ay, por favor; ese tipo de caricatura no sirve de nada o solo para que alguien aparezca de otro lado y diga que la candidata del frente siempre será... y material e historia politica hay para eso. Seamos razonables para que la discusión política vuelva a ser constructiva.