Tootfinder

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

No exact results. Similar results found.
@frankel@mastodon.top
2025-11-29 09:30:05

Compliance of Implementations with Specification
github.com/open-telemetry/open

opentelemetry-specification/spec-compliance-matrix.md at main · open-telemetry/opentelemetry-specification
Specifications for OpenTelemetry. Contribute to open-telemetry/opentelemetry-specification development by creating an account on GitHub.

@NFL@darktundra.xyz
2025-09-29 13:34:45

No complaint filed in Thompson's Dublin incident espn.com/nfl/story/_/id/464206

No complaint filed in Dublin incident involving Steelers' Thompson - ESPN
Irish police say no formal complaint has been filed regarding an early morning incident in Dublin involving Pittsburgh Steelers backup quarterback Skylar Thompson and that they haven't established if there was a robbery.

@carloshr@lile.cl
2025-11-27 16:15:23

El único e incomparable amo y dios de la guitarra, Jimi Hendrix, hoy habría cumplido 83 años. Nació el 27 de noviembre de 1942 y, muy lamentablemente, solo lo tuvimos 27 años por este mundo. Tiempo que le bastó para dejar un legado imborrable en la historia del rock.
#JimiHendrix #CumpleañosRockero

Jimi Hendrix en un escenario oscuro, absorto tocando su guitarra eléctrica. Lleva un sombrero de ala ancha negro adornado con una banda de patrón paisley en tonos vibrantes (naranjas, amarillos, azules) y plumas blancas. Su camisa es multicolor, principalmente turquesa y azul, complementada con un chaleco o adorno peludo en blanco y negro sobre los hombros. La correa de su guitarra es roja con detalles geométricos. En sus manos, se aprecian varios anillos. La guitarra es una Fender Stratocaster…
@arXiv_csLG_bot@mastoxiv.page
2025-09-29 11:33:57

The Flood Complex: Large-Scale Persistent Homology on Millions of Points
Florian Graf, Paolo Pellizzoni, Martin Uray, Stefan Huber, Roland Kwitt
arxiv.org/abs/2509.22432

The Flood Complex: Large-Scale Persistent Homology on Millions of Points
We consider the problem of computing persistent homology (PH) for large-scale Euclidean point cloud data, aimed at downstream machine learning tasks, where the exponential growth of the most widely-used Vietoris-Rips complex imposes serious computational limitations. Although more scalable alternatives such as the Alpha complex or sparse Rips approximations exist, they often still result in a prohibitively large number of simplices. This poses challenges in the complex construction and in the s…

@arXiv_csPL_bot@mastoxiv.page
2025-09-29 07:48:07

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
Jianhong Zhao, Everett Hildenbrandt, Juan Conejero, Yongwang Zhao
arxiv.org/abs/2509.21793

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
Verification proofs encode complete program behavior, yet we discard them after checking correctness. We present compiling by proving, a paradigm that transforms these proofs into optimized execution rules. By constructing All-Path Reachability Proofs through symbolic execution and compiling their graph structure, we consolidate many semantic rewrites into single rules while preserving correctness by construction. We implement this as a language-agnostic extension to the K framework. Evaluation…

@cowboys@darktundra.xyz
2025-11-27 20:50:13

The 2025 Chiefs May Be the Most Complete Team in the NFL insidethestar.com/the-2025-chi

The 2025 Chiefs May Be the Most Complete Team in the NFL ✭ Inside The Star
Nov 25, 2025 -- The Kansas City Chiefs continue to be one of the most statistically balanced teams in the NFL, even if their record does not show the balance.

@frankel@mastodon.top
2025-11-28 17:30:06

Making the case that #Cargo features could be improved to alleviate #Rust compile times
saghm.com/cargo-features-rust-…

Making the case that Cargo features could be improved to alleviate Rust compile times
Two common criticisms of Rust development are the long compile times and the large number of dependencies that end up being used in projects. While people have drawn connections between these issues before, I've noticed that most discussions don't end up talking much about a specific tool that ostensibly should

@NFL@darktundra.xyz
2025-11-28 00:09:18

Campbell: Lions in 'little bit of a hole' after loss espn.com/nfl/story/_/id/471227

Coach Dan Campbell says Lions (7-5) in 'little bit of a hole' - ESPN
Even head coach Dan Campbell could admit after the Lions' 31-24 Thanksgiving Day loss to the Packers, that 'we've dug ourselves a little bit of a hole' at 7-5 overall.

@carloshr@lile.cl
2025-11-29 01:07:24

El recientemente retirado Matt Cameron, ex baterista de Pearl Jam y Soundgarden, estš cumpliendo hoy 63 años. Nació el 28 de noviembre de 1962. ¡Gracias por tanto, Matt!
#MattCameron #CumpleañosRockero #PearlJam

Matt Cameron camisa oscura está tocando la batería. Mira hacia arriba y a la derecha con una expresión concentrada. Está sentado frente a un juego de batería con tambores negros y parches inferiores rojizos, y varios platillos dorados, uno de ellos con la marca Zildjian. Hay micrófonos pequeños montados en los tambores. El fondo es un cielo brillante y difuso.
@cowboys@darktundra.xyz
2025-11-28 03:16:42

Cowboys Star Says Chiefs Did Nothing ‘Too Complicated’ in Dallas Win heavy.com/sports/nfl/dallas-co]

Cowboys Star Says Chiefs Did Nothing ‘Too Complicated’ in Dallas Win
Cowboys linebacker DeMarvion Overshown was impressed with his teammates on defense. Not as much with the Chiefs, though.