Tootfinder

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

No exact results. Similar results found.
@netzschleuder@social.skewed.de
2025-12-15 11:00:05

faa_routes: FAA Preferred Routes (2010)
A network of air traffic routes, from the FAA (Federal Aviation Administration) National Flight Data Center (NFDC) preferred routes database (www.fly.faa.gov). Date of extraction is prior to 2010. Nodes represent airports or service centers, and a directed edge is the preferred route between airport i and airport j.
This network has 1226 nodes and 2615 edges.
Tags: Transportation, Airport, Unweighted

faa_routes: FAA Preferred Routes (2010). 1226 nodes, 2615 edges. https://networks.skewed.de/net/faa_routes

faa_routes — FAA Preferred Routes (2010)
A network of air traffic routes, from the FAA (Federal Aviation Administration) National Flight Data Center (NFDC) preferred routes database (www.fly.faa.gov). Date of extraction is prior to 2010. Nodes represent airports or service centers, and a directed edge is the preferred route between airport i and airport j.

@UP8@mastodon.social
2025-11-14 22:16:17

⛳ Novel textile can adjust its aerodynamic properties on demand
#fabric

Novel textile can adjust its aerodynamic properties on demand
Imagine a road cyclist or downhill skier whose clothing adapts to their wind speed, allowing them to shave time just by pulling or stretching the fabric.

@cowboys@darktundra.xyz
2025-11-16 17:58:26

Post Malone to perform annual Thanksgiving halftime show dallascowboys.com/news/post-ma

Post Malone to perform annual Thanksgiving halftime show
Nothing screams tradition and the Cowboys more than Thanksgiving Day. That’s why Post Malone says he’s “honored” to perform the annual Red Kettle Kickoff halftime show this year at AT&T Stadium when the Kansas City Chiefs come to town to face the Cowboys.

@arXiv_csAI_bot@mastoxiv.page
2025-10-15 10:25:41

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Marco Del Tredici, Jacob McCarran, Benjamin Breen, Javier Aspuru Mijares, Weichen Winston Yin, Jacob M. Taylor, Frank Koppens, Dirk Englund
arxiv.org/abs/2510.12787

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collaboratively with human experts. To achieve this, Ax-Prover approaches scientific problem solving through formal proof generation, a process that demands both creative reasoning and strict syntactic rigor. Ax-Prover meets this challenge by equipping Large Language Models (LLMs), which provide knowledge and reasoning, wit…

@Techmeme@techhub.social
2025-11-14 20:45:53

Internal memo: Meta plans to assess employees on their "AI-driven impact", which will be a "core expectation" of their performance from 2026 (Jyoti Mann/Business Insider)
businessinsider.com/meta-ai-em

Meta is about to start grading workers on their AI skills
Meta employee performance will be assessed by AI-driven impact starting in 2026, as the company prioritizes AI adoption across its workforce.

@servelan@newsie.social
2025-09-16 15:35:50

Plagued by Parts Shortage and EV Demand Uncertainty, GM Prepares for Layoffs
gizmodo.com/gm-prepares-for-la

@memeorandum@universeodon.com
2025-10-16 12:01:53

Lara Trump Offers Herself Up to Perform at MAGA Super Bowl Halftime Show (Cameron Adams/The Daily Beast)
thedailybeast.com/lara-trump-o
memeorandum.com/251016/p19#a25

@UP8@mastodon.social
2025-12-15 01:25:56

😰 It's end-of-year concert season. Why do some kids struggle with performance anxiety?
theconversation.com/its-end-of

<…

It’s end-of-year concert season. Why do some kids struggle with performance anxiety?
Even megastars like Barbra Streisand have suffered from stage fright.

@cowboys@darktundra.xyz
2025-11-16 19:41:22

Cowboys name former hip-hop turned country star as Thanksgiving halftime performer cowboyswire.usatoday.com/story

Cowboys name former hip-hop turned country star as Thanksgiving halftime performer
The Dallas Cowboys have announced Post Malone as their 2025 Thanksgiving Day Halftime performer in a day they host the Kansas City Chiefs

@cowboys@darktundra.xyz
2025-12-15 05:44:44

J.J. McCarthy's Best Plays From 3-Touchdown Performance vs. Dallas vikings.com/video/j-j-mccarthy

J.J. McCarthy's Best Plays From 3-Touchdown Performance vs. Dallas

Watch the best plays from Minnesota Vikings quarterback J.J. McCarthy's three-touchdown game against the Dallas Cowboys in Week 15 of the 2025 NFL season.