Tootfinder

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

No exact results. Similar results found.
@Techmeme@techhub.social
2026-01-14 07:20:55

The US urged UN members to take a tougher stance against North Korea IT worker scams and crypto thefts; an October 2025 report said 40 countries were affected (Jonathan Greig/The Record)
therecord.media/40-countries-i

More than 40 countries impacted by North Korea IT worker scams, crypto thefts
Eleven countries led a session at the UN headquarters in New York centered around a 140-page report released last fall that covered North Korea’s extensive cyber-focused efforts to fund its nuclear and ballistic weapons program.

@netzschleuder@social.skewed.de
2026-02-14 15:00:04

unicodelang: Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.
This network has 868 nodes and 1255 edges.
Tags: Informational, Relatedness, Weighted

unicodelang: Languages spoken by country (2015). 868 nodes, 1255 edges. https://networks.skewed.de/net/unicodelang

unicodelang — Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.

@cdarwin@c.im
2025-12-14 00:27:04

Pete Buttigieg and Robert Reich have highlighted our plan to
✅ defeat Citizens United:
“Interesting things are happening across the country…
Montana is trying to address this through attention to what a corporation can and can’t do,
because that’s actually decided at the state level.
So instead of working it at the ‘speech’ side of the equation,
💥they’re working at the
‘what is a corporation’ side of the equation.” --Secretary

Donate to Transparent Election Initiative
Show your support with a contribution.

@aral@mastodon.ar.al
2025-12-11 14:46:51

I love how simple Kitten’s Streaming HTML workflow makes building features like this, especially when using class-based Kitten pages and components :)
#Kitten

Screen capture of the Team schedule interface from the Gaza Verified admin site. It is a table of names and days (Aral, Casey, Joy, Aseel, Fabio And Mondays … Fridays) with checkboxes at each name/day pair. It starts out greyed out. The Unlock to edit button is clicked and the interface comes alive (opacity returns to full and the checkboxes become green and clickable). The person toggles a few checkboxes and clicks the Lock button to lock the interface again and then repeats the process to und…
Screenshot of code (the lines editable=false and the button tag code are highlighted): class TeamSchedule extends kitten.Component { editable = false html () { return kitten.html` <section> <h3>Team schedule</h3> <button name='toggle' connect >${this.editable ? 'Lock' : 'Unlock to edit'}</button> <table id='team-schedule' ${this.editable ? '' : 'inert'}> <caption id='caption'> <markdown> Show…
Screenshot of code, continuation of the same class, starting with the end of the html() method from the previous screenshot and going till the end of the class (the table[inert] style and the onToggle() method are highlighted: <style> table[inert] { opacity: 0.9; filter: grayscale(100%); } </style> </table> </section> ` } onToggle () { this.editable = !this.editable console.log(this.editable)…
Screenshot of code (the <${TeamSchedule.connectedTo(this)} /> line is highlighted): export default class InterviewsPage extends kitten.Page { html () { const today = db.calendar.today const futureDays = db.calendar.futureDays const pastDays = db.calendar.pastDays return kitten.html` <${MainLayout} page='/admin/interviews/'> <h2>Interviews</h2> <${SignUpsSwitch.connectedTo(this)} /> <${InternalNav} /> <${TeamSchedule.connectedTo(this)} /…
@NFL@darktundra.xyz
2025-12-12 14:39:12

Sources: Jets center Myers gets 2-year, $11M deal espn.com/nfl/story/_/id/472854

Sources: Jets center Josh Myers gets 2-year, $11M extension - ESPN
Jets center Josh Myers, who has started every game after arriving nine months ago as a possible backup, has been rewarded with a two-year, $11 million contract extension, sources told ESPN's Jeremy Fowler and Adam Schefter.

@migueldeicaza@mastodon.social
2025-11-14 22:04:28

I shrank down SwiftGodot for those that just want to expose APIs to Godot, but do not need to control Godot, and added a template that you can use to make your own:
This leverages the new "barebones" SwiftGodot work:
github.com/migueldeicaza/Swift

GitHub - migueldeicaza/SwiftGodotAppleTemplate: Template project for creating Godot iOS extensions using SwiftGodot
Template project for creating Godot iOS extensions using SwiftGodot - migueldeicaza/SwiftGodotAppleTemplate

@cowboys@darktundra.xyz
2026-01-12 22:54:40

Cowboys predicted to retain breakout star to $20 million contract sportingnews.com/us/nfl/dallas

Cowboys predicted to retain breakout star to $20 million contract
The Dallas Cowboys are predicted to retain a 2025 breakout star by signing him to a $20 million contract extension.

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 09:30:00

The Age-Structured Chemostat with Substrate Dynamics as a Control System
Iasson Karafyllis, Dionysis Theodosis, Miroslav Krstic
arxiv.org/abs/2511.09963 arxiv.org/pdf/2511.09963 arxiv.org/html/2511.09963
arXiv:2511.09963v1 Announce Type: new
Abstract: In this work we study an age-structured chemostat model with a renewal boundary condition and a coupled substrate equation. The model is nonlinear and consists of a hyperbolic partial differential equation and an ordinary differential equation with nonlinear, nonlocal terms appearing both in the ordinary differential equation and the boundary condition. Both differential equations contain a non-negative control input, while the states of the model are required to be positive. Under an appropriate weak solution framework, we determine the state space and the input space for this model. We prove global existence and uniqueness of solutions for all admissible initial conditions and all allowable control inputs. To this purpose we employ a combination of Banach's fixed-point theorem with implicit solution formulas and useful solution estimates. Finally, we show that the age-structured chemostat model gives a well-defined control system on a metric space.
toXiv_bot_toot

@netzschleuder@social.skewed.de
2025-12-14 22:00:04

unicodelang: Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.
This network has 868 nodes and 1255 edges.
Tags: Informational, Relatedness, Weighted

unicodelang: Languages spoken by country (2015). 868 nodes, 1255 edges. https://networks.skewed.de/net/unicodelang

unicodelang — Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.

@netzschleuder@social.skewed.de
2026-01-14 18:00:05

un_migrations: UN migration stock (2015)
A network of migration between countries, collected by the United Nations. A directed edge gives the flow of migration, and an edge property gives the number of migrants, for each given year and sex. Estimates are presented for 1990, 1995, 2000, 2005, 2010 and 2015 and are available for all countries and areas of the world. The estimates are based on official statistics on the foreign-born or the foreign population.
This network has 232 no…

un_migrations: UN migration stock (2015). 232 nodes, 11228 edges. https://networks.skewed.de/net/un_migrations

un_migrations — UN migration stock (2015)
A network of migration between countries, collected by the United Nations. A directed edge gives the flow of migration, and an edge property gives the number of migrants, for each given year and sex. Estimates are presented for 1990, 1995, 2000, 2005, 2010 and 2015 and are available for all countries and areas of the world. The estimates are based on official statistics on the foreign-born or the foreign population.