Tootfinder

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

No exact results. Similar results found.
@frankel@mastodon.top
2026-06-06 09:00:33

Creusot. #Contracts for #Rust, formally proved
creusot.rs/

Creusot
Formal verification tool for Rust

@jon@henshaw.social
2026-07-06 15:47:04

For those who make PWAs like me, I just updated my article on how to make the icons work for Safari on iOS and macOS, along with the standard approach for every other browser and platform.
coywolf.com/guides/how-to-crea

How to create PWA icons that look correct on all platforms and devices
Learn how to create PWA icons that display correctly across iOS, iPadOS, macOS Safari, Chrome, Edge, and Android using apple-touch-icon and maskable manifest icons.

@cowboys@darktundra.xyz
2026-08-06 15:46:48

Christian Parker Gave Cowboys’ 35-Tackle CB Honest Evaluation heavy.com/sports/nfl/dallas-co

Christian Parker Gave Cowboys’ 35-Tackle CB Honest Evaluation
Dallas Cowboys defensive coordinator Christian Parker broke down his analysis of a young cornerback turning heads at training camp.

@netzschleuder@social.skewed.de
2026-06-06 19:00:04

marvel_partnerships: Marvel character partnerships (2018)
A network of partnerships among characters in the Marvel comic book universe. Nodes are either heroes or villains, and edges represent partnerships between such characters. The partnership network was extracted from Wikipedia pages of these characters, which indicate partnership relations with other such pages.
This network has 350 nodes and 346 edges.
Tags: Social, Fictional, Unweighted

marvel_partnerships: Marvel character partnerships (2018). 350 nodes, 346 edges. https://networks.skewed.de/net/marvel_partnerships
@cowboys@darktundra.xyz
2026-08-05 22:54:22

Christian Parker pleased with Cowboys defense's progress early in training camp dallascowboys.com/news/christi

Christian Parker pleased with Cowboys defense's progress early in training camp
It's early in training camp, but so far Cowboys defensive coordinator Christian Parker is pleased with his defense's progress, and discussed how he's emphasizing communication and some players that have stood out.

@netzschleuder@social.skewed.de
2026-07-07 04:00:06

marvel_partnerships: Marvel character partnerships (2018)
A network of partnerships among characters in the Marvel comic book universe. Nodes are either heroes or villains, and edges represent partnerships between such characters. The partnership network was extracted from Wikipedia pages of these characters, which indicate partnership relations with other such pages.
This network has 350 nodes and 346 edges.
Tags: Social, Fictional, Unweighted

marvel_partnerships: Marvel character partnerships (2018). 350 nodes, 346 edges. https://networks.skewed.de/net/marvel_partnerships
@cowboys@darktundra.xyz
2026-08-05 22:28:04

Christian Parker pleased with Cowboys defense's progress early in training camp dallascowboys.com/news/christi

Christian Parker pleased with Cowboys defense's progress early in training camp
It's early in training camp, but so far Cowboys defensive coordinator Christian Parker is pleased with his defense's progress, and discussed how he's emphasizing communication and some players that have stood out.

@netzschleuder@social.skewed.de
2026-07-07 22:00:16

marvel_partnerships: Marvel character partnerships (2018)
A network of partnerships among characters in the Marvel comic book universe. Nodes are either heroes or villains, and edges represent partnerships between such characters. The partnership network was extracted from Wikipedia pages of these characters, which indicate partnership relations with other such pages.
This network has 350 nodes and 346 edges.
Tags: Social, Fictional, Unweighted

marvel_partnerships: Marvel character partnerships (2018). 350 nodes, 346 edges. https://networks.skewed.de/net/marvel_partnerships
@cowboys@darktundra.xyz
2026-08-06 18:22:34

Cowboys’ DeMarvion Overshown Raves About Christian Parker’s Detailed Teaching Style si.com/nfl/cowboys/onsi/cowboy

Cowboys’ DeMarvion Overshown Raves About Christian Parker’s Detailed Teaching Style
DeMarvion Overshown is already impressed by new Dallas Cowboys defensive coordinator Christian Parker, and is a fan of his teaching style.

@cowboys@darktundra.xyz
2026-08-06 19:26:28

Cowboys’ Brian Schottenheimer Makes His ‘Perfect World’ Crystal Clear heavy.com/sports/nfl/dallas-co

Cowboys’ Brian Schottenheimer Makes His ‘Perfect World’ Crystal Clear
Dallas Cowboys head coach Brian Schottenheimer's "perfect world" would include DC Christian Parker doing one thing in 2026.