Tootfinder

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

No exact results. Similar results found.
@Techmeme@techhub.social
2025-07-01 22:30:51

Sources: Palmer Luckey is preparing to launch Erebor, a US bank backed by Joe Lonsdale and other tech investors to serve startups, including crypto businesses (Tabby Kinder/Financial Times)
ft.com/content/8c903f2e-42a6-4

@phpmacher@sueden.social
2025-06-01 11:21:33

Noch in Bayern. Muss ich ausnutzen.
#gmiatlichRadln #rausgeschafft

Ein Glas Paulaner Weißbier ist prominent auf einem Holztisch ausgestellt, mit einem Regenschirm mit dem Mönchshof-Logo im Hintergrund. Die Szene zeigt einen Sitzbereich im Freien mit Kunden in der Ferne und einem klaren Himmel.
@grumpybozo@toad.social
2025-07-01 02:31:27

This also points at the likely answer to the headscratcher of where some ancient people of the region found the water they needed. wandering.shop/@adapalmer/1147

@arXiv_mathAP_bot@mastoxiv.page
2025-07-01 09:57:33

Existence and Nonexistence of Extremals for Trudinger-Moser inequalities with $L^p$ type perturbation on any bounded planar domains
Lu Chen, Rou Jiang, Guozhen Lu, Maochun Zhu
arxiv.org/abs/2506.23076

@arXiv_csDS_bot@mastoxiv.page
2025-06-02 07:17:30

Approximate Light Spanners in Planar Graphs
Hung Le, Shay Solomon, Cuong Than, Csaba D. T\'oth, Tianyi Zhang
arxiv.org/abs/2505.24825

@arXiv_csRO_bot@mastoxiv.page
2025-06-02 10:23:53

This arxiv.org/abs/2505.12311 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_mathCO_bot@mastoxiv.page
2025-06-02 07:25:27

On the maximum number of edges of outer k-planar graphs
Maximilian Pfister
arxiv.org/abs/2505.24490 arxiv.org/pdf/250…

@akosma@mastodon.online
2025-06-01 18:47:15

"During his time at IBM, he wrote some of the first artificial intelligence software—his "geometry theorem machine" was the first advanced AI program, and the third AI program ever. It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles. Like Logic Theorist, it uses heuristics."

@arXiv_csDS_bot@mastoxiv.page
2025-07-01 09:11:43

Planar Multiway Cut with Terminals on Few Faces
Sukanya Pandey, Erik Jan van Leeuwen
arxiv.org/abs/2506.23399 arxiv.o…

@arXiv_csRO_bot@mastoxiv.page
2025-06-02 07:22:18

RealDrive: Retrieval-Augmented Driving with Diffusion Models
Wenhao Ding, Sushant Veer, Yuxiao Chen, Yulong Cao, Chaowei Xiao, Marco Pavone
arxiv.org/abs/2505.24808