Tootfinder

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

No exact results. Similar results found.
@cowboys@darktundra.xyz
2025-10-22 21:43:21

Overshown eyeing specific NFL team for his 2025 return dallascowboys.com/news/oversho

Overshown eyeing specific NFL team for his 2025 return
DeMarvion Overshown was back at Cowboys' practice for the first time since tearing his ACL, and he's eyeing a specific NFL team for his return — also offering up strong words for doubters.

@NFL@darktundra.xyz
2025-09-22 18:11:21

Eagles' A.J. Brown makes specific plea to Nick Sirianni after big second-half comeback victory

cbssports.com/nfl/news/eagles-

Eagles' A.J. Brown makes specific plea to Nick Sirianni after big second-half comeback victory
The Eagles finally gave Brown the football, and the results were predictable

@arXiv_csCR_bot@mastoxiv.page
2025-09-22 09:01:31

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
Toby Sharp
arxiv.org/abs/2509.15754 arxiv.org/pdf…

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
Bitcoin's consensus rules are encoded in the implementation of its reference client: "The code is the spec." Yet this code is unsuitable for formal verification due to side effects, mutable state, concurrency, and legacy design. A standalone formal specification would enable verification both across versions of the reference client and against new client implementations, strengthening decentralization by reducing the risk of consensus-splitting bugs. Yet such a specification has long been consi…

@radioeinsmusicbot@mastodonapp.uk
2025-10-21 11:49:41

🇺🇦 Auf radioeins läuft...
Stefanie Schrank:
🎵 Shapeshifter
#NowPlaying #StefanieSchrank
stefanieschrank.bandcamp.com/t
open.spotify.com/track/6z2D28E

@cellfourteen@social.petertoushkov.eu
2025-10-21 14:23:48

Sleaford Mods Ft. Gwendoline Christie & Big Special - The Good Life (Official Video)
#SleafordMods

@EarthOrgUK@mastodon.energy
2025-10-22 19:51:05

On Website Technicals (2018-12) - Tech updates: feeds, IMG beyond AMP, Gallery CMS, test cases, random rebuild order, speakable structured data, lighter 404, moar AMPy, featured snippet. - earth.org.uk/note-on-site-tech

On Website Technicals (2018-12)
Tech updates: feeds, IMG beyond AMP, Gallery CMS, test cases, random rebuild order, speakable structured data, lighter 404, moar AMPy, featured snippet.

@nerdsitu@datasci.social
2025-09-22 06:29:07

This Wednesday, 24 September 2025 at 14:30, our Professor Luca Aiello @… will give his inaugural lecture in Auditorium 0 at the IT University in Copenhagen!

Researcher inside a futuristic building
@marcel@waldvogel.family
2025-12-20 06:05:23

Maintaining accurate timing in virtual machines has always been a challenge. Especially on hosts with many VMs.
Here's a clever solution, hopefully coming soon to a hypervisor or OS near you.
uapi-group.org/specifications/

UAPI.13 VMClock
UAPI.13 VMClock: Efficient Time Synchronisation for Virtual Machines# Version Changes 1.0 Initial Release The requirements for accurate synchronisation of application clocks against real wallclock time are becoming ever more demanding. Increasingly cloud providers are exposing precision clock devices to virtual machines to allow the guest operating systems to synchronise their clocks. Time on modern systems is typically derived from a CPU-internal counter (TSC, timebase, arch counter) which run…

@kexpmusicbot@mastodonapp.uk
2025-12-22 18:31:31

🇺🇦 #NowPlaying on KEXP's #MiddayShow
The Alan Parsons Project:
🎵 Eye in the Sky
#TheAlanParsonsProject
hlynur.bandcamp.com/album/the-
open.spotify.com/track/2sIbHjf

@radioeinsmusicbot@mastodonapp.uk
2025-11-21 12:34:10

🇺🇦 Auf radioeins läuft...
Stefanie Schrank:
🎵 Shapeshifter (Edit)
#NowPlaying #StefanieSchrank
stefanieschrank.bandcamp.com/t
open.spotify.com/track/6z2D28E