Tootfinder

In an interview, Brian Armstrong says Coinbase plans to become a financial super app that integrates its crypto offering with traditional banking services (CoinDesk)
https://www.coindesk.com/markets/2025/09/20…

Coinbase News: Armstrong Outlines Vision for Firm to Evolve Into a Financial Super App
Brian Armstrong shared with Fox Business how Coinbase is navigating U.S. crypto regulation while laying out his vision to make the platform the primary account for everyday finance.

I am really interested in the linked.art initiative, but I’m finding it hard to wrap my head around it. What strikes me as particularly odd:
* The types-of-types pattern, which creates JSON structures that are very unlike usual JSON properties.
* The AATization of everything, including things like language tags, for which perfectly fine native RDF patterns exist.
Has anyone worked with it? Are there good Getting Started guides?

I took a look at the changes coming with Python 3.15 – and I can't wait to put them to productive use. I've already updated our tutorials:
• utf-8 as the default encoding: https://python-basics-tutorial.readthedocs.io/en/latest/ty…

Unicode and character encodings
Special characters and escape sequences:\n stands for the newline character and\t for the tab character. Character sequences that begin with a backslash and are used to represent other characters a...

After #Trump finally crashes and burns (I'm still saying I don't think he makes it to the mid terms, and I think it's more than possible he won't make it to the end of the year) we'll hear a lot of people say, "the system worked!" Today people are already talking about "saving democracy" by fighting back. This will become a big rally cry to vote (for Democrats, specifically), and the complete failure of the system will be held up as the best evidence for even greater investment in it.
I just want to point out that American democracy gave nuclear weapons to a pedophile, who, before being elected was already a well known sexual predator, and who made the campaign promise to commit genocide. He then preceded to commit genocide. And like, I don't care that he's "only" kidnaped and disappeared a few thousand brown people. That's still genocide. Even if you don't kill every member of a targeted group, any attempt to do so is still "committing genocide." Trump said he would commit genocide, then he hired all the "let's go do a race war" guys he could find and *paid* them to go do a race war. And, even now as this deranged monster is crashing out, he is still authorized to use the world's largest nuclear arsenal.
He committed genocide during his first term when his administration separated migrant parents and children, then adopted those children out to other parents. That's technically genocide. The point was to destroy the very people been sending right wing terror squads after.
There was a peaceful hand over of power to a known Russian asset *twice*, and the second time he'd already committed *at least one* act of genocide *and* destroyed cultural heritage sites (oh yeah, he also destroyed indigenous grave sites, in case you forgot, during his first term).
All of this was allowed because the system is set up to protect exactly these types of people, because *exactly* these types of people are *the entire power structure*.
Going back to that system means going back to exactly the system that gave nuclear weapons to a pedophile *TWICE*.
I'm already seeing the attempts to pull people back, the congratulations as we enter the final phase, the belief that getting Trump out will let us all get back to normal. Normal. The normal that lead here in the first place. I can already see the brunch reservations being made. When Trump is over, we will be told we won. We will be told that it's time to go back to sleep.
When they tell you everything worked, everything is better, that we can stop because we won, tell them "fuck you! Never again means never again." Destroy every system that ever gave these people power, that ever protected them from consequences, that ever let them hide what they were doing.
These democrats funded a genocide abroad and laid the groundwork for genocide at home. They protected these predators, for years. The whole power structure is guilty. As these files implicate so many powerful people, they're trying to shove everything back in the box. After all the suffering, after we've finally made it clear that we are the once with the power, only now they're willing to sacrifice Trump to calm us all down.
No, that's a good start but it can't be the end.
Winning can't be enough to quench that rage. Keep it burning. When this is over, let victory fan that anger until every institution that made this possible lies in ashes. Burn it all down and salt the earth. Taking down Trump is a great start, but it's not time to give up until this isn't possible again.
#USPol

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Current flu vaccines induce immune defenses that target hemagglutinin,
one of the proteins jutting from the surface of a flu virus.
However, the outer portion of hemagglutinin changes quickly.
Researchers are trying several strategies to zero in on more stable parts of the viruses.
By analyzing multiple virus variants, Ross and his team identified sections of hemagglutinin that stay constant and then combined them to make vaccines. -- In their 2025 study, vaccines cre…

A Vaccine Big Shot - Lasker Foundation
OCT 14, 2025Read about Lasker Laureate Thomas Francis, who developed vaccines against influenza types A and B.

Do you need inspiration how to present a dataset in a clear figure and what package to use? Check out #rstats

From data to Viz | Find the graphic you need
A classification of chart types based on their input data format.

Speaking of kids, here if a kid who is building a nostr gaming system.
Not by vibe coding, by learning how to use unity.
Gamestr.io is the marketplace he's building. Submitting a protocol improvement proposal for gaming types.
His gaming market is first going to feature a Tetris clone that broadcasts scores as that new type.
Talented kid named Sam.
#nostr #gamestr #nostrshire

Here's one very concrete bunch of adverse health effects of microplastics
https://www.sciencealert.com/microplastics-may-be-tied-to-vascular-dementia-cases-review-finds

Microplastics May Be Tied to Vascular Dementia Cases, Review Finds
Vascular dementia is caused by blood flow issues in the brain: it's one of the most common types of dementia, but not as well researched or understood as others.

I have a serious question about deadnaming of trans people. Please answer kindly, I'm seeking understanding. Do trans people refer to their deadname as a previous life of themselves? An old mask of a time that they were not feeling themselves? Or deadnaming is just something that trans people want to completely forget as it was always wrong?
I'm expecting two types of answer here:
1. It really depends on the person, some trans have different relationships than others with …

Created two small linters improving an ergonomics of type switches in Go by adding exhaustive match check. With those tools adding a new case become a lint error.
https://github.com/gomoni/sumlint
1. oneoflint does an exhaustive check for code implementing protobuf's oneof

GitHub - gomoni/sumlint: Exhaustiveness checks for your interface "sum types" using a lightweight naming convention + `go vet`.
Exhaustiveness checks for your interface "sum types" using a lightweight naming convention + `go vet`. - gomoni/sumlint

trivial fact that seems important: if F : C ⋅ D is an equivalence of precategories between a univalent category and a skeletal category, then F is an isomorphism (hence C and D are both gaunt).

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

from my link log —
Chapel's runtime types as an interesting alternative to dependent types.
https://danilafe.com/blog/chapel_runtime_types/
saved 2025-10-03

∗︎ https://types.pl/@wilbowma/115733550130706711

∗︎ https://types.pl/@wilbowma/115733550130706711

These weasels have locally adapted their winter coats to varying snow cover thanks to a million-year-old mutation
#naturalist

Panel talking about dark markets on nostr.
Nostr can be quite anonymous and encrypted and connected to payment via bitcoin. Can it therefore do Silk Road? Allow anonymous markets?
Nobody wants to publicly advocate for selling illegal drugs, but yeah, sure, people could do that. There's even protocol types for market places.
Relay owners might get into legal issues if they are forwarding illegal market listings. But this is true in general, there are also illegal images and even illegal text.
Nostr relays and Devs might find themselves in legal trouble anyway, due to the general legal crackdowns on internet requiring age proof and id on websites obstensively to protect kids. These are freedoms we all need to fight for. Perhaps brains will drain to more free jurisdictions? Devs move to where open development is legal? Not the panel at least. They want to say at home.
#nostr #nostrshire #darkMarkets

Fun fact, your computer doesn't have USB ports (USB is a protocol, not a connector).
Funner fact, even if your computer has USB-C receptacles it might not be using any type of USB as protocol for a specific connection.
Funnest fact, there's at least a dozen different types of cables that use USB-C plugs with various capabilities, sometimes mutually incompatible and often silently falling back to slower protocols.

"I don't really look for specific types of projects any more. I'm not taking care of a career anymore. I'm just having fun acting."
—Kurt Russell
#acting #coaching #inspiration

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

Claude Code: I recommend building in Python.
Me: Can you confidently generate Racket, which I know much better?
CC: No. I reco Py.
Me: What other langs?
CC: Py and JS. Reco Py.
Me: TypeScript?
CC: Oh, of course! So much better!!!
Result: types I can audit, more robust code. Win.

Videogames convinced me that the power-cells on large devices would be user-removable, shaped like giant versions of device batteries, and be interchangeable between different types of device.
Move the power-cell from the winch to the security door controls of the abandoned research station.

actually i think the important thing here is that if C (univalent) is equivalent to a strict category then C is itself strict (hence gaunt)

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

Combinatorial equivalence of separable elements in types $A$ and $B$
Yong Liao, Yuping Yang, Houyi Yu
https://arxiv.org/abs/2510.12046 https://arxiv.org/pd…

Combinatorial equivalence of separable elements in types $A$ and $B$
We study the combinatorial equivalence of separable elements in types $A$ and $B$. A bijection is constructed from the set of separable permutations in the symmetric group $S_{n+1}$ to the set of separable signed permutations in the hyperoctahedral group $B_n$. This bijection preserves descent statistics and induces a poset isomorphism under the left weak order. As a consequence, separable signed permutations are enumerated by the large Schröder numbers, and their descent polynomials are shown…

Angor is a crowdfunding protocol for nostr and bitcoin.
Dan here is building it. Kickstarter without middle men.
Accountability is key. What stops the fund raiser just fleeing with the coin?
Funds are programmed to be released in stages, time locked in a multisig.
So if they aren't meeting milestones, investors can withdraw. If the founders are buying lambos instead of building, just cash out at that point.
Permissionless and decentralised, no servers except nostr relays and bitcoin nodes. No third party's claiming 30 percent fees. The system is a nostr client scanning relays for investment object types. Allowing investment into the funding contracts and subscription to updates.
#nostr #nostrshire #angor

Really important practical question: how to do type search for #Agda.
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search
Presented by Satoshi Takimoto. Joint work with Sosuke Moriguchi, Takuo Watanabe

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 256491 nodes and 328132 edges.
Tags: Social, Online, Weighted, Multilayer

What Types of Code Review Comments Do Developers Most Frequently Resolve?
Saul Goldman, Hong Yi Lin, Jirat Pasuksmit, Patanamon Thongtanunam, Kla Tantithamthavorn, Zhe Wang, Ray Zhang, Ali Behnaz, Fan Jiang, Michael Siers, Ryan Jiang, Mike Buller, Minwoo Jeong, Ming Wu
https://arxiv.org/abs/2510.05450

What Types of Code Review Comments Do Developers Most Frequently Resolve?
Large language model (LLM)-powered code review automation tools have been introduced to generate code review comments. However, not all generated comments will drive code changes. Understanding what types of generated review comments are likely to trigger code changes is crucial for identifying those that are actionable. In this paper, we set out to investigate (1) the types of review comments written by humans and LLMs, and (2) the types of generated comments that are most frequently resolved …

Generalisation of automatic tumour segmentation in histopathological whole-slide images across multiple cancer types
Ole-Johan Skrede, Manohar Pradhan, Maria Xepapadakis Isaksen, Tarjei Sveinsgjerd Hveem, Ljiljana Vlatkovic, Arild Nesbakken, Kristina Lindemann, Gunnar B Kristensen, Jenneke Kasius, Alain G Zeimet, Odd Terje Brustugun, Lill-Tove Rasmussen Busund, Elin H Richardsen, Erik Skaaheim Haug, Bj{\o}rn Brennhovd, Emma Rewcastle, Melinda Lillesand, Vebj{\o}rn Kvikstad, Emiel Janss…

Generalisation of automatic tumour segmentation in histopathological whole-slide images across multiple cancer types
Deep learning is expected to aid pathologists by automating tasks such as tumour segmentation. We aimed to develop one universal tumour segmentation model for histopathological images and examine its performance in different cancer types. The model was developed using over 20 000 whole-slide images from over 4 000 patients with colorectal, endometrial, lung, or prostate carcinoma. Performance was validated in pre-planned analyses on external cohorts with over 3 000 patients across six cancer ty…

💔 Are Foundation Models Ready for Industrial Defect Recognition? A Reality Check on Real-World Data
#computing

Are Foundation Models Ready for Industrial Defect Recognition? A Reality Check on Real-World Data
Foundation Models (FMs) have shown impressive performance on various text and image processing tasks. They can generalize across domains and datasets in a zero-shot setting. This could make them suitable for automated quality inspection during series manufacturing, where various types of images are being evaluated for many different products. Replacing tedious labeling tasks with a simple text prompt to describe anomalies and utilizing the same models across many products would save significant…

student_cooperation: Student cooperation (2012)
Network of cooperation among students in the "Computer and Network Security" course at Ben-Gurion University, in 2012. Nodes are students, and edges denote cooperation between students while doing their homework. The graph contains three types of links: Time, Computer, Partners.
This network has 185 nodes and 360 edges.
Tags: Social, Offline, Multigraph, Unweighted

All political violence is bad; violence is never a good answer.
From report AG and potus want to hide: "…the number of far-right attacks continues to outpace all other types of terrorism and domestic violent extremism."
https://www.scribd.com/document/9186184…

What NIJ Research Tells Us About Domestic Terrorism | PDF | Extremism | Crimes
NIJ-funded research has enhanced understanding of domestic terrorism, particularly the rise of far-right extremist violence in the U.S., which has outpaced other forms of terrorism. The studies reveal that radicalization processes vary by group and crime type, and highlight the importance of community-based prevention strategies. Key findings include the diversity of extremist beliefs and behaviors, the role of military experience in radicalization, and the need for targeted interventions to pr…

Welcome back - been busy the last days with meeting friends etc 🙂
But I wanted to show some more #photos from the #Lotharsteig in the #nationalparkschwarzwald . Different from …

from my link log —
Lazier binary decision diagrams (BDDs) for set-theoretic types.
https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
saved 2025-12-02

Lazier Binary Decision Diagrams (BDDs) for set-theoretic types
This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them

Bookmarked: Printing Types: Their History, Forms & Use #Drucke #Schrift Digital …

Anxiety and insomnia linked to sharp drops in key immune cells #health

Anxiety and insomnia linked to sharp drops in key immune cells
Natural killer cells act as the immune system’s rapid-response team, but the stress of anxiety and insomnia may be quietly thinning their ranks. A study of young women in Saudi Arabia found that both conditions were linked to significantly fewer NK cells—especially the circulating types responsible for destroying infected or abnormal cells. As anxiety severity increased, NK cell levels dropped even further, suggesting a stress-driven weakening of immune defenses.

@… maybe a little hard to explain on text but given an arbitrary deeply nested object, I want to add metadata to each property that stores an arbitrary string for that property. the approach I’m using is to convert (for boolean types) primitive booleans to object booleans to add that data and retain the same behavior

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
https://arxiv.org/abs/2510.08939

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
We present a flow-sensitive effect system for reachability types that supports explicit memory management, including Rust-style move semantics, in higher-order impure functional languages. Our system refines the existing reachability qualifier with polymorphic \emph{use} and \emph{kill} effects that record how references are read, written, transferred, and deallocated. The effect discipline tracks operations performed on each resource using qualifiers, enabling the type system to express owners…

the nytimes profile of How Epstein Got His Wings reminds me a lot of Tom Ripley, but with less murder. Ripley had a talent for math, Epstein started as a math teacher. Ripley's entry into wealthy lifestyle began with fixing some rich guy's taxes, Epstein gained access to wealthy patrons with tax-avoidance advice. they both played piano while running all types of self-interested cons on all their charmed associates. etc.
... AO3 has zero hits for Jeffery Epstein Tom Ripley, hm…

Exploring the Feasibility of Gaze-Based Navigation Across Path Types
Yichuan Zhang, Liangyuting Zhang, Xuning Hu, Yong Yue, Hai-Ning Liang
https://arxiv.org/abs/2510.07184 https…

Exploring the Feasibility of Gaze-Based Navigation Across Path Types
Gaze input, as a modality inherently conveying user intent, offers intuitive and immersive experiences in extended reality (XR). With eye-tracking now being a standard feature in modern XR headsets, gaze has been extensively applied to tasks such as selection, text entry, and object manipulation. However, gaze based navigation despite being a fundamental interaction task remains largely underexplored. In particular, little is known about which path types are well suited for gaze navigation and …

r-charts.com provides example code for a variety of chart types, both in base R and ggplot: #rstats #ggplot…

R CHARTS | A collection of charts and graphs made with the R programming language
Over 1400 graphs with reproducible code divided in 8 big categories and over 50 chart types, in addition of tools to choose and create colors and color palettes

This has long been a French aspiration: that there should be futures contracts for the afternoon (currently there are only base and peak contracts, which no longer reflect the fundamentally changed reality brought about by solar power generation).
https://

EEX envisage des contrats à terme solaires 12h-16h
(Montel) La bourse de l'électricité EEX envisage d’offrir de nouveaux types de contrat à terme aux acteurs des marchés de gros de l’électricité pour mieux refléter la montée et la baisse quotidienne de la production solaire, a-t-elle déclaré à Montel.

The #IWW #GDC as an antifascist organization was always kind of a hack. It was a beautiful hack and it worked well for what it did.
In 2016, as Trump was rising, I found info from the Twin Cities GDC. They were super organized, building an amazing community defense organization. When we (Seattle) went to set up our chapter, following their lead, they were extremely supportive. When I got shot, Twin Cities folks were at my house keeping my partner safe. They literally flew people out to support us. They very much remain in my mind when I think about what mutual aid looks like.
Unionism is an important strategy of a larger fight. But it's important to realize that it's not the other way around. The GDC was built to defend the union, because there wasn't something larger to do that work. It filled a gap.
When we organized against Trump, we tried to make the GDC the greater thing. We tried to make the GDC into the vehicle for social revolution against the fascist threat... And it sort of worked. We were able to do a lot.
But that was never what it was built to do. It was always built as an appendage of the IWW. This contains its own problem. If Unionism is the revolutionary movement, then it becomes impossible to build a truly revolutionary society. Unionism centers "workers" which implicitly decenters those who can't work in the traditional sense (the young, the elderly, those physically or mentally able to work). It also decenters care labor that hasn't yet been widely commodified. Sure, there are all types of hacks to patch the holes, but the fundamental construction starts from the wrong assumptions.
It felt, for a while, like things could go another way. Like that our ability to bring members in could shift things a bit, maybe set the GDC on more equal footing with the core focus of the IWW. But that was always an illusion, far less important to think about than the crushing terror of the regime we were fighting.
Now, I will absolutely trash talk the IWW on occasion but in the end I do think they're doing good and important work. Any criticism I have should be taken with a grain of salt... And I know I do have a lot of salt. Again, Unionism is an important strategy. It's useful both in improving immediate material conditions and as part of the most powerful weapon we have against the capitalist system: the general strike. It's important, I can't say that enough. But it's not sufficient.
I've been thinking about this a bit recently, and I wonder if there are any other GDC organizers or former organizers who might be feeling the same. Feel free to DM me. I'd like to get some more perspectives and see if my understanding from several years ago deviates significantly from what other folks are feeling right now.
I'd also like to bounce some ideas around that come from my own organizing experience.

Using @ngerakines.me atwork atwork.place to create "endorsements" that other folks were at #IETF124
Experimenting with different types of "attestation" proofs. https://bsky.app/profile/bmann.ca/post

Two Types of Natural Kind Discovery: Nobel Meets Kuhn
Samuel Schindler
https://arxiv.org/abs/2510.09069 https://arxiv.org/pdf/2510.09069

Two Types of Natural Kind Discovery: Nobel Meets Kuhn
Philosophers have spilled much ink over the discovery of ideas in the classical 'context of discovery'. However, there has been little engagement with the question of what constitutes a discovery of 'things in the world'. A much-overlooked answer to this question is provided by T.S. Kuhn. In this paper, I show that discoveries awarded with a Nobel Prize in Physics in the past 53 years accord with a basic premise of Kuhn's account and his distinction between two types of natural kind discoveries…

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
Sebasti\'an Urciuoli (Universidad ORT Uruguay)
https://arxiv.org/abs/2510.12300

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
We develop formal theories of conversion for Church-style lambda-terms with Pi-types in first-order syntax using one-sorted variables names and Stoughton's multiple substitutions. We then formalize the Pure Type Systems along some fundamental metatheoretic properties: weakening, syntactic validity, closure under alpha-conversion and substitution. Finally, we compare our formalization with others related. The whole development has been machine-checked using the Agda system. Our work demonstrate…

AnyUp: Universal Feature Upsampling
Thomas Wimmer, Prune Truong, Marie-Julie Rakotosaona, Michael Oechsle, Federico Tombari, Bernt Schiele, Jan Eric Lenssen
https://arxiv.org/abs/2510.12764

AnyUp: Universal Feature Upsampling
We introduce AnyUp, a method for feature upsampling that can be applied to any vision feature at any resolution, without encoder-specific training. Existing learning-based upsamplers for features like DINO or CLIP need to be re-trained for every feature extractor and thus do not generalize to different feature types at inference time. In this work, we propose an inference-time feature-agnostic upsampling architecture to alleviate this limitation and improve upsampling quality. In our experiment…

Sensitivity dependence of the Navier-Stokes turbulence of a two-dimensional Rayleigh-B\'{e}nard convection on time-step
Shijie Qin, Kun Xu, Shijun Liao
https://arxiv.org/abs/2510.11220

Sensitivity dependence of the Navier-Stokes turbulence of a two-dimensional Rayleigh-Bénard convection on time-step
A two-dimensional Rayleigh-Bénard convection governed by the Navier-Stokes (NS) equations is solved by traditional direct numerical simulation (DNS) using double precision and various time-steps. It is found that there are two kinds of final flow types, one is vortical flow, the other is zonal flow, and their statistics are completely different. Especially, the two flow types frequently alternate as the time-step decreases to a very small value, suggesting that the time-step corresponding to e…

#TIL I learned that anyone can register a #MediaType for a format they didn't create *and* get it registered with their name in the media type.
#MIME

On a Conjecture of Dyer on the Join in the Weak Order of a Coxeter group
Riccardo Biagioli, Lorenzo Perrone
https://arxiv.org/abs/2510.11446 https://arxiv.…

On a Conjecture of Dyer on the Join in the Weak Order of a Coxeter group
In one of his papers on the weak order of Coxeter groups, Dyer formulates several conjectures. Among these, one affirms that the extended weak order forms a lattice, while another offers an algebraic-geometric description of the join of two elements in this poset. The former was recently proven for affine types by Barkley and Speyer. In this paper, we establish the latter for Coxeter groups of types $A$ and $I$. Moreover, we verified the validity of this conjecture for types $H_3$ and $F_4$ thr…

"commoner" and "more common" are respectively heterological and autological relative to each other.
Out of "commonest" and "most common", the former is heterological and the latter is autological.

Spectral analysis of hierarchical continuous-time quantum walks
Jir\^o Akahori, Yusuke Ide, Tomoki Kato, Norio Konno, Shuhei Mano, Akihiro Narimatsu
https://arxiv.org/abs/2510.12043

Spectral analysis of hierarchical continuous-time quantum walks
In this paper, we introduce hierarchical random walks at first. In this model, we use two types of random walkers, {global and local} walkers. The global walker chooses a local walker at every step, then the chosen local walker moves a single step. After that we construct the corresponding continuous-time quantum walks and discuss its spectral structures. Then we define multi-dimensional continuous-time quantum walk by taking a marginal distribution respect to the global walker.

genetic_multiplex: Multiplex genetic interactions (2014)
Multiplex networks representing different types of genetic interactions, for different organisms. Layers represent (i) physical, (ii) association, (iii) co-localization, (iv) direct, and (v) suppressive, (vi) additive or synthetic genetic interaction. Edge direction (i,j) indicates gene i interacting with gene j.
This network has 155 nodes and 188 edges.
Tags: Biological, Gene regulation, Protein interactions, Unweigh…

🚬 Loneliness and anxiety fuel smartphone and social media addiction in 'night owls,' new study finds
https://medicalxpress.com/news/2025-09-loneliness-anxiety-fuel-smartphone-social.html

Loneliness and anxiety fuel smartphone and social media addiction in 'night owls,' new study finds
Young adult "night owls" (or "evening types"—those who prefer to stay up late) are significantly more at risk of developing problematic relationships with smartphones and social media, according to a new study.

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

from my link log —
Identity types.
https://bartoszmilewski.com/2025/09/22/identity-types/
saved 2025-09-26 https://dotat.…

Identity Types
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, fu…

Efficient Cost Bounds with Linear Maps
David M Kahn, Jan Hoffmann, Thomas Reps, Jessie Grosen
https://arxiv.org/abs/2509.22982 https://arxiv.org/pdf/2509.2…

Efficient Cost Bounds with Linear Maps
The Automatic Amortized Resource Analysis (AARA) derives program-execution cost bounds using types. To do so, AARA often makes use of cost-free types, which are critical for the composition of types and cost bounds. However, inferring cost-free types using the current state-of-the-art algorithm is expensive due to recursive dependence on additional cost-free types. Furthermore, that algorithm uses a heuristic only applicable to polynomial cost bounds, and not, e.g., exponential bounds. This pap…

r-graph-gallery.com provides example code for a variety of chart types, both in base R and ggplot: #rstats #ggplot

The R Graph Gallery – Help and inspiration for R charts
The R graph gallery displays hundreds of charts made with R, always providing the reproducible code.

Combinatorics of slices of cubes
Marie-Charlotte Brandenburg, Chiara Meroni
https://arxiv.org/abs/2510.09265 https://arxiv.org/pdf/2510.09265

Combinatorics of slices of cubes
We present a complete computational classification of the combinatorial types of hyperplane sections, or slices, of the regular cube up to dimension six. For each dimension, we determine the exact number of distinct combinatorial types. When restricted to slices through the origin, our computations extend to dimension seven. The classification combines combinatorial, algebraic, and numerical techniques, with all results certified. Beyond enumeration, we analyze the distribution of types by numb…

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 256491 nodes and 328132 edges.
Tags: Social, Online, Weighted, Multilayer

@… In your note on algebraic type theory you mention the "Lindenbaum-Tarski model generated by the raw syntax of pure MLTT without connectives". Just to be sure, this model is trivial, right? There are no types, so the only context is the terminal one.

Fertility startup Inito, which offers an at-home health diagnostics platform, raised a $29M Series B and plans to use AI-designed antibodies to make new tests (Aisha Malik/TechCrunch)
https://techcrunch.com/2025/12/10/fert

Fertility startup Inito wants to use AI-designed antibodies to expand at-home health tests | TechCrunch
Inito has raised $29 million in new funding to invest in and develop AI-engineered antibodies that will help it offer new types of tests and improve the accuracy of existing ones.

7th_graders: Vickers 7th Graders (1981)
A small multiplex network of friendships among 29 seventh grade students in Victoria, Australia. Students nominated classmates for three different activities (who do you get on with in the class, who are your best friends, and who would you prefer to work with). Edge direction for each of these three types of edges indicates if node i nominated node j, and the edge weight gives the frequency of this nomination. Students 1-12 are boys and 13-29 ar…

from my link log —
From linear types to borrowing.
https://dl.acm.org/doi/abs/10.1145/3764117
saved 2025-10-15 https://dotat.at/:/G55…

7th_graders: Vickers 7th Graders (1981)
A small multiplex network of friendships among 29 seventh grade students in Victoria, Australia. Students nominated classmates for three different activities (who do you get on with in the class, who are your best friends, and who would you prefer to work with). Edge direction for each of these three types of edges indicates if node i nominated node j, and the edge weight gives the frequency of this nomination. Students 1-12 are boys and 13-29 ar…

qa_user: User interactions on Q&A websites (2016)
Networks of interactions among users from four online Q&A sites: Stack Overflow, Math Overflow, Super User, and Ask Ubuntu. A directed edge (i,j) indicates a user i responded to user j's post. Edges are timestamped. For each Q&A site, four differently defined networks are provided, based on the definition of an edge: (i) a user answered a question, (ii) a user commented on a question, (iii) a user commented on an answer…

People publishers who use two-column PDF layouts should instead make the font twice as big, or the page half as wide. Let me decide whether I want to scroll up after reading every other page or not (the answer is no).

from my link log —
Arend: a theorem prover based on Homotopy Type Theory.
https://arend-lang.github.io/
saved 2019-08-07 https://dotat.at/:/AR6J2.html

China suspends export restrictions for a year on five critical minerals to the US, including gallium and germanium, used to make certain types of semiconductors (Keith Bradsher/New York Times)
https://www.nytimes.com/2025/11/09/business/china-suspends-export-c…

China Suspends Export Controls on More Critical Minerals
The changes would make it easier for American firms to obtain key minerals, delivering on what the White House said the two countries had agreed to at last month’s summit.

https://math.stackexchange.com/questions/5102642

london_transport: London Transport Network
Multiplex network with 3 edge types representing links within the three layers of London train stations: Underground, Overground and DLR.
This network has 369 nodes and 441 edges.
Tags: Transportation, Public Transport, Multilayer, Weighted
https://networks.skew…

from my link log —
An angry rant about locales and filenames in libarchive.
https://github.com/mpv-player/mpv/commit/1e70e82baa9193f6f027338b0fab0f5078971fbe
saved 2025-10-13

stream_libarchive: workaround various types of locale braindeath · mpv-player/mpv@1e70e82
Fix that libarchive fails to return filenames for UTF-8/UTF-16 entries. The reason is that it uses locales and all that garbage, and mpv does not set a locale. Both C locales and wchar_t are shitf...

@… do you wanna answer this one https://stackoverflow.com/questions/79850670/defining-sets-with-extra-structure-and-homomorphisms

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 116408 nodes and 150818 edges.
Tags: Social, Online, Weighted, Multilayer

The fundamental junk theorem of material set theory: every discrete category is concrete.

from my link log —
Thinking with Types: type-level programming in Haskell.
https://thinkingwithtypes.com/
saved 2019-05-26 https://dotat.at/:/PZEX4.html

florentine_families: Padgett Florentine families
Multiplex network with 2 edge types representing marriage alliances and business relationships between Florentine families during the Italian Renaissance. Data hosted by Manlio De Domenico.
This network has 16 nodes and 35 edges.
Tags: Social, Relationships, Multilayer, Unweighted
…

from my link log —
Sum types in Julia and Rust.
https://andreaskroepelin.de/blog/sum_types/
saved 2020-08-31 https://dotat.at/:/D7RR…

student_cooperation: Student cooperation (2012)
Network of cooperation among students in the "Computer and Network Security" course at Ben-Gurion University, in 2012. Nodes are students, and edges denote cooperation between students while doing their homework. The graph contains three types of links: Time, Computer, Partners.
This network has 185 nodes and 360 edges.
Tags: Social, Offline, Multigraph, Unweighted

clasp a rare and radian-per-meter maiden

from my link log —
Why doesn’t Isabelle use dependent types?
https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html
saved 2025-11-02

law_firm: Lazega law firm network
Multiplex network with 3 edge types representing relationships (coworkers, friendship, advice) between partners and associates of a corporate law firm. Data hosted by Manlio De Domenico.
This network has 71 nodes and 2571 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://net…

high_tech_company: Krackhardt high tech company network
Multiplex network of 3 edge types representing relationships (advice, friendship, and “reports to”) between managers of a high-tech company. Data hosted by Manlio De Domenico.
This network has 21 nodes and 312 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://

genetic_multiplex: Multiplex genetic interactions (2014)
Multiplex networks representing different types of genetic interactions, for different organisms. Layers represent (i) physical, (ii) association, (iii) co-localization, (iv) direct, and (v) suppressive, (vi) additive or synthetic genetic interaction. Edge direction (i,j) indicates gene i interacting with gene j.
This network has 6570 nodes and 282755 edges.
Tags: Biological, Gene regulation, Protein interactions, Unw…

Is the Wikipedia page on the calculus of constructions wrong? It seems to present a type theory with Prop : Type and where both are impredicative, while also claiming that this is consistent...
(ping @… since you seem to be on an editing roll)

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 38918 nodes and 32523 edges.
Tags: Social, Online, Weighted, Multilayer

how easy is it to switch Mastodon instances? can i send all my toots over?

florentine_families: Padgett Florentine families
Multiplex network with 2 edge types representing marriage alliances and business relationships between Florentine families during the Italian Renaissance. Data hosted by Manlio De Domenico.
This network has 16 nodes and 35 edges.
Tags: Social, Relationships, Multilayer, Unweighted
…

fao_trade: FAO Multiplex Trade Network
Multiplex network representing trade relationships between countries from the Food and Agricultural Organization of the United Nations. Countries are nodes and edge types represent import/export of varying products. Data hosted by Manlio De Domenico.
This network has 214 nodes and 318346 edges.
Tags: Economic, Trade, Weighted, Multilayer

student_cooperation: Student cooperation (2012)
Network of cooperation among students in the "Computer and Network Security" course at Ben-Gurion University, in 2012. Nodes are students, and edges denote cooperation between students while doing their homework. The graph contains three types of links: Time, Computer, Partners.
This network has 185 nodes and 360 edges.
Tags: Social, Offline, Multigraph, Unweighted

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 116408 nodes and 150818 edges.
Tags: Social, Online, Weighted, Multilayer

fao_trade: FAO Multiplex Trade Network
Multiplex network representing trade relationships between countries from the Food and Agricultural Organization of the United Nations. Countries are nodes and edge types represent import/export of varying products. Data hosted by Manlio De Domenico.
This network has 214 nodes and 318346 edges.
Tags: Economic, Trade, Weighted, Multilayer

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 456626 nodes and 14855842 edges.
Tags: Social, Online, Weighted, Multilayer

7th_graders: Vickers 7th Graders (1981)
A small multiplex network of friendships among 29 seventh grade students in Victoria, Australia. Students nominated classmates for three different activities (who do you get on with in the class, who are your best friends, and who would you prefer to work with). Edge direction for each of these three types of edges indicates if node i nominated node j, and the edge weight gives the frequency of this nomination. Students 1-12 are boys and 13-29 ar…

london_transport: London Transport Network
Multiplex network with 3 edge types representing links within the three layers of London train stations: Underground, Overground and DLR.
This network has 369 nodes and 441 edges.
Tags: Transportation, Public Transport, Multilayer, Weighted
https://networks.skew…

florentine_families: Padgett Florentine families
Multiplex network with 2 edge types representing marriage alliances and business relationships between Florentine families during the Italian Renaissance. Data hosted by Manlio De Domenico.
This network has 16 nodes and 35 edges.
Tags: Social, Relationships, Multilayer, Unweighted
…

high_tech_company: Krackhardt high tech company network
Multiplex network of 3 edge types representing relationships (advice, friendship, and “reports to”) between managers of a high-tech company. Data hosted by Manlio De Domenico.
This network has 21 nodes and 312 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://

genetic_multiplex: Multiplex genetic interactions (2014)
Multiplex networks representing different types of genetic interactions, for different organisms. Layers represent (i) physical, (ii) association, (iii) co-localization, (iv) direct, and (v) suppressive, (vi) additive or synthetic genetic interaction. Edge direction (i,j) indicates gene i interacting with gene j.
This network has 6980 nodes and 18655 edges.
Tags: Biological, Gene regulation, Protein interactions, Unwe…