Tootfinder

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

@fanf@mendeddrum.org
2025-12-25 12:42:01

from my link log —
Applying "make invalid states unrepresentable".
kevinmahoney.co.uk/articles/ap
saved 2020-10-04

Applying "Make Invalid States Unrepresentable"
That is

@netzschleuder@social.skewed.de
2026-01-25 11:00:04

sp_baboons: Baboons' interactions (2020)
Network of interactions between a group of 20 Guinea baboons living in an enclosure of a Primate Center in France, between June 13th 2019 and July 10th 2019. The data set contains observational and wearable sensors data.
This network has 23 nodes and 3197 edges.
Tags: Social, Animal, Offline, Unweighted, Weighted, Temporal, Metadata

sp_baboons: Baboons' interactions (2020). 23 nodes, 3197 edges. https://networks.skewed.de/net/sp_baboons#observational

sp_baboons — Baboons' interactions (2020)
Network of interactions between a group of 20 Guinea baboons living in an enclosure of a Primate Center in France, between June 13th 2019 and July 10th 2019. The data set contains observational and wearable sensors data. The observational data contains all the behavioral events registered by an observer, with 8 columns: - DateTime: Time stamp of the event, namely the moment the observed behavior was registered. In case of STATE events (events with duration > 0), it refers to the beginning of …

@netzschleuder@social.skewed.de
2025-11-24 22:00:03

mist: MIST protein interaction database (2020)
The Molecular Interaction Search Tool (MIST) is a comprehensive resource of molecular interactions, assembled from severla primary sources. MIST currently supports several species, including:.
This network has 27105 nodes and 334495 edges.
Tags: Biological, Protein interactions, Unweighted

mist: MIST protein interaction database (2020). 27105 nodes, 334495 edges. https://networks.skewed.de/net/mist#genetic_interolog_fly

mist — MIST protein interaction database (2020)
The Molecular Interaction Search Tool (MIST) is a comprehensive resource of molecular interactions, assembled from severla primary sources. MIST currently supports several species, including: 1. Homo sapiens (Human) 2. Drosophila melanogaster (Fly) 3. Mus musculus (Mouse) 4. Caenorhabditis elegans (Worm) 5. Rattus norvegicus (Rat) 6. Saccharomyces cerevisiae (Baker's yeast) 7. Schizosaccharomyces pombe (Fission yeast) 8. Danio rerio (Zebrafish) 9. Xenopus laevis (Afr…

@fanf@mendeddrum.org
2025-12-20 18:42:01

from my link log —
What they don't tell you about demand paging in school.
offlinemark.com/2020/10/14/dem
saved 2020-10-17

What they don't tell you about demand paging in school - offlinemark
This post details my adventures with the Linux virtual memory subsystem, and my discovery of a creative way to taunt the OOM (out of memory) killer by accumulating memory in the kernel, rather than in userspace. Keep reading and you’ll learn: Internal details of the Linux kernel’s demand paging implementation How to exploit virtual memory […]

@Techmeme@techhub.social
2025-12-14 06:10:57

Qargo, which offers a cloud-based transport management service for carriers, freight forwarders, and third-party logistics, raised a $33M Series B led by Sofina (Tamara Djurickovic/Tech.eu)
tech.eu/2025/12/11/qargo-expan

Qargo expands AI-driven transport management with $33M Series B
Qargo, an intelligent transport management system (TMS), has raised $33 million in a Series B funding round led by Sofina, with participation from existing investor Balderton Capital. The round follows Qargo’s rapid expansion across key European logistics hubs over the last 18 months. This latest investment brings Qargo’s total funding to $54 million.Founded in 2020, Qargo is a cloud-based transport management platform designed for carriers, freight forwarders, and 3PLs. It helps log…

@cdarwin@c.im
2025-12-16 18:14:57

Trump vs BBC
Donald Trump is suing the BBC for $10 billion
over a documentary he claims removed portions of his speech on Jan 6, 2021,
in which he urged supporters to protest the 2020 election results peacefully.
Lawsuit's claims
The lawsuit accuses the BBC of defamation and violations of Florida’s Deceptive and Unfair Trade Practices Act,
seeking $5 billion in damages for each claim.
BBC's response
The BBC says it will defend the lawsu…

Trump sues BBC for $10B over edited Jan. 6 speech
President Donald Trump is suing the BBC for $10 billion over a documentary that edited his Jan. 6, 2021, speech at the Capitol Ellipse.

@shaun@mastodon.xyz
2026-01-20 03:28:06

The transformation is nearly complete. #KristiNoem

A meme that shows 3 pictures of Kristi Noem in progressive years, with the captions 2012, 2020, and 2026. In the first two images she looks normal. In the 2026 image she's had some plastic surgery, lip fillers, and whatnot, and is looking a bit puffy. A fourth picture shows the "plastic surgery queen" or "cat woman," Jocelyn Wildenstein, with grotesque features from too much plastic surgery. It's captioned "2028" suggesting that this will be the next evolution of Kristi Noem's plastic adventur…
@karlauerbach@sfba.social
2026-01-13 18:30:34

As one might expect El Cheato appointed judges rule in favor of trump far more often than do judges appointed by prior presidents.
But the amount of that imbalance is beyond astounding.
From the NY Times:
"Trump’s ‘Superstar’ Appellate Judges Have Voted 133 to 12 in His Favor"
Which causes me to repeat my suggestions, from year 2020, about how we can remove power from those judges by using a technique well practiced elsewhere - redefining jobs and "rubb…

Do We Need Rubber Rooms for Federal Judges? Two Plans To Reduce The Long Tailed Impact of Trump Judicial Appointees · Cavebear! - Thoughts and Commentary by Karl Auerbach
Do We Need Rubber Rooms for Federal Judges? Two Plans To Reduce The Long Tailed Impact of Trump Judicial Appointees

@cowboys@darktundra.xyz
2026-01-19 12:15:56

Cowboys’ tight end room was one of its best in 2025 insidethestar.com/cowboys-tigh

Cowboys’ tight end room was one of its best in 2025 » Inside The Star
The Dallas Cowboys kept three tight ends on the roster in 2025. All three of them did something not seen from the tight end room since 2020.

@floheinstein@chaos.social
2025-12-10 08:48:04
Content warning: Gewalt, Incel

Die Amokfahrt vom 11. September 2020 in Amriswil war ein Incel-Attentat.
Er fuhr los, um zu töten srf.ch/news/schweiz/hass-auf-f

Ein Schweizer Incel radikalisiert sich und fährt zwei Frauen an.
Ein junger Schweizer radikalisiert sich im Netz und fährt zwei Frauen an. Fedpol spricht erstmals von Incel-Extremismus.

@memeorandum@universeodon.com
2025-10-30 13:40:53

Shifts in U.S. Social Media Use, 2020-2024: Decline, Fragmentation, and Enduring Polarization (Petter Törnberg/arXiv.org)
arxiv.org/abs/2510.25417
memeorandum.com/251030/p48#a25

@NFL@darktundra.xyz
2026-01-05 12:10:09

Aaron Rodgers achieves Pittsburgh's 'vision', bringing Steelers first division title since 2020 nfl.com/news/aaron-rodgers-ach

Aaron Rodgers achieves Pittsburgh's 'vision', bringing Steelers first division title since 2020
Pittsburgh Steelers quarterback Aaron Rodgers achieved the team's vision and won the organization's first AFC North title since 2020.

@smurthys@hachyderm.io
2025-10-27 14:37:08

Remember how you (in the US) thought 2020 was never ending? You didn't imagine 2025 back then did you? 🙋‍♂️
#USA #TooLong #life

@markhburton@mstdn.social
2025-11-01 15:33:13

A bit out of date and it is gross figures. So some money comes in e.g. via rubberneck tourists, but my guess is that's typically overestimated.
The Windsors (Battenburg Saxe-Coburgs) cost a lot, 8 times more per citizen than Spain's Bourbons.
Here’s how much Europe’s royal families really cost | CNN

Here’s how much Europe’s royal families really cost
Of the 10 main royal families in Europe, nine still receive public funding for carrying out their duties – the only exception being the Princely House of Liechtenstein, which doesn’t get any taxpayer money to cover its expenses.

@fanf@mendeddrum.org
2026-01-14 15:42:01

from my link log —
The Arm64 memory tagging extension in Linux.
lwn.net/SubscriberLink/834289/
saved 2020-10-19

The Arm64 memory tagging extension in Linux
One of the first features merged for the 5.10 kernel development cycle was support for the Arm [...]

@grumpybozo@toad.social
2026-01-05 00:12:50

Cat Flowbee! @… infosec.exchange/@atax1a/11583

mx alex tax1a - 2020 (6) (@atax1a@infosec.exchange)
our other cat seems to have uniformly trimmed all of his whiskers (we think he stuck his face against the fan in the air filter and thereby trimmed them)

@deabigt@universeodon.com
2025-11-05 15:42:32

Trump Misleads on Deportations and Inflation in First ‘60 Minutes’ Interview Since 2020 ground.news/article/trumps-60-

@flbact@social.anoxinon.de
2025-12-11 11:48:52

Wichtige Themen laut Tagespresse heute:
- Neue Regeln für den Ausbau der Infrastruktur
- USA eskalieren in Venezuela
- Anklage Ex-ÖRR-Intendatin
- Pflegekrise
- Organisierte Kriminalität in Berlin
Derweil das #Klima, im Vergleich zum langjährigen Mittelwert:
Quelle:

Eine Temperaturkarte von Europa im Dezember 2025, die farblich die Abweichung zum langjährigen Mittel von 1991 bis 2020 zeigt. Mitteleuropa ist +5 Grad, Osteuropa bis zu +10 Grad wärmer als der Mittelwert für Dezember.
@NFL@darktundra.xyz
2026-01-05 14:10:20

Browns fire head coach Kevin Stefanski following six seasons in Cleveland nfl.com/news/browns-fire-head-

Browns fire head coach Kevin Stefanski following six seasons in Cleveland
For the first time since 2020, the Browns are in the market for a new head coach. Cleveland fired Kevin Stefanski on Monday following the club's second straight losing season, per The Insiders.

@fanf@mendeddrum.org
2026-01-14 09:42:01

from my link log —
An entomologist rates emoji ants.
curlicuecal.tumblr.com/post/17
saved 2020-01-03

an entomologist rates ant emojis
Beautiful big almond eye, realistic and full of expression as she gazes gently at you. Elbowed antennae and delicately segmented legs and body. Gorgeous pearlescent sheen like she is glowing. This...

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

faculty_hiring_us: Faculty hiring networks in the US (2022)
Networks of faculty hiring for all PhD-granting US universities over the decade 2011–2020. Each node is a PhD-granting institution, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2020). This dataset is divided into separate networks for all 107 fields, as well as aggregate networks for 8 domains, and an overall network for …

faculty_hiring_us: Faculty hiring networks in the US (2022). 3284 nodes, 972 edges. https://networks.skewed.de/net/faculty_hiring_us#field_international_affairs

faculty_hiring_us — Faculty hiring networks in the US (2022)
Networks of faculty hiring for all PhD-granting US universities over the decade 2011–2020. Each node is a PhD-granting institution, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2020). This dataset is divided into separate networks for all 107 fields, as well as aggregate networks for 8 domains, and an overall network for all of academia. Edge properties include the total count of hires, …

@primonatura@mstdn.social
2025-11-17 12:00:39

"‘Eat out to help out’ scheme added to air pollution in London, study finds"
#UK #UnitedKingdom #London #AirPollution

‘Eat out to help out’ scheme added to air pollution in London, study finds
Commercial cooking shown to be cause of unusual peaks when policy was operating during pandemic in autumn 2020

@netzschleuder@social.skewed.de
2025-10-28 07:00:04

sp_baboons: Baboons' interactions (2020)
Network of interactions between a group of 20 Guinea baboons living in an enclosure of a Primate Center in France, between June 13th 2019 and July 10th 2019. The data set contains observational and wearable sensors data.
This network has 13 nodes and 63095 edges.
Tags: Social, Animal, Offline, Unweighted, Weighted, Temporal, Metadata

sp_baboons: Baboons' interactions (2020). 13 nodes, 63095 edges. https://networks.skewed.de/net/sp_baboons#sensor

sp_baboons — Baboons' interactions (2020)
Network of interactions between a group of 20 Guinea baboons living in an enclosure of a Primate Center in France, between June 13th 2019 and July 10th 2019. The data set contains observational and wearable sensors data. The observational data contains all the behavioral events registered by an observer, with 8 columns: - DateTime: Time stamp of the event, namely the moment the observed behavior was registered. In case of STATE events (events with duration > 0), it refers to the beginning of …

@fanf@mendeddrum.org
2025-10-28 09:42:01

from my link log —
libcpu: a library to emulate several CPU architectures using LLVM.
github.com/libcpu/libcpu
saved 2020-04-14 dotat.a…

GitHub - libcpu/libcpu: "libcpu" is an open source library that emulates several CPU architectures
"libcpu" is an open source library that emulates several CPU architectures - libcpu/libcpu

@netzschleuder@social.skewed.de
2025-10-27 01:00:04

sp_baboons: Baboons' interactions (2020)
Network of interactions between a group of 20 Guinea baboons living in an enclosure of a Primate Center in France, between June 13th 2019 and July 10th 2019. The data set contains observational and wearable sensors data.
This network has 23 nodes and 3197 edges.
Tags: Social, Animal, Offline, Unweighted, Weighted, Temporal, Metadata

sp_baboons: Baboons' interactions (2020). 23 nodes, 3197 edges. https://networks.skewed.de/net/sp_baboons#observational

sp_baboons — Baboons' interactions (2020)
Network of interactions between a group of 20 Guinea baboons living in an enclosure of a Primate Center in France, between June 13th 2019 and July 10th 2019. The data set contains observational and wearable sensors data. The observational data contains all the behavioral events registered by an observer, with 8 columns: - DateTime: Time stamp of the event, namely the moment the observed behavior was registered. In case of STATE events (events with duration > 0), it refers to the beginning of …

@fanf@mendeddrum.org
2025-12-06 18:42:01

from my link log —
META II: a syntax-oriented compiler writing language. (1964)
dl.acm.org/doi/10.1145/800257.
saved 2020-06-14

@fanf@mendeddrum.org
2025-10-31 21:42:02

from my link log —
libcpu: a library to emulate several CPU architectures using LLVM.
github.com/libcpu/libcpu
saved 2020-04-14 dotat.a…

GitHub - libcpu/libcpu: "libcpu" is an open source library that emulates several CPU architectures
"libcpu" is an open source library that emulates several CPU architectures - libcpu/libcpu

@fanf@mendeddrum.org
2025-12-01 12:42:01

from my link log —
Keeping secrets: Diffie-Hellman and the NSA.
stanfordmag.org/contents/keepi
saved 2020-10-17

Keeping Secrets
Four decades ago, university researchers figured out the key to computer privacy, sparking a battle with the National Security Agency that continues today.