Tootfinder

Thinking about structure preservation. Given a nice enough (say, GAT) signature like (pseudo-Agda)
we can automatically derive the appropriate notion of homomorphism:
But what if I want to talk about preserving derived structure, like terminal objects? I might try to extend the signature (C : Cat) with (c : Ob C) (_ : is-terminal c), but then a morphism between those is just a pointed functor, so this doesn't help. Rather than extend Cat with a terminal object, it seems like I need to extend it with the notion of terminality itself:
This extends the notion of homomorphism like so:
Now every Cat extends to a CatWithTerminality by setting IsTerminal := is-terminal, and we can say that a Functor preserves terminal objects if it extends to a FunctorWithTerminality.
Has anyone thought about this in similar terms?

A body made entirely of head-like organs
Using state-of-the-art single-cell and gene expression analyses, the researchers mapped the cell types of young post-metamorphic sea urchins.
They found that the adult body plan is largely "head-like."
Genes that in other animals define trunk structures are active only in internal organs such as the gut and the water vascular system.
In sea urchins, a true trunk region is missing altogether.
An 'all-body brain&…

Researchers discover an 'all-body brain' in sea urchins
An international team of researchers, including scientists from the Museum für Naturkunde Berlin, has uncovered a surprisingly complex nervous system in sea urchins. The animals appear to possess an "all-body brain" whose genetic organization resembles that of the vertebrate brain. The team also identified light-sensitive cells distributed across the entire body—comparable to structures found in the human retina.

Does anyone else use Trello for recipes? I cook a lot and I use it like this, meal/food categories, etc. I think you need to have a Trello account to see this link, I believe it's public but only for Trello users, since I don't have a paid account there (ha). This is just how I keep track of everything, I prepare several/a lot of these fairly often. (Some cards are just placeholders, some have more info than others - under 'other lunch/dinner, those top few cards have instruction…

How human is the machine? Evidence from 66,000 Conversations with Large Language Models
Antonios Stamatogiannakis, Arsham Ghodsinia, Sepehr Etminanrad, Dilney Gon\c{c}alves, David Santos
https://arxiv.org/abs/2510.07321

How human is the machine? Evidence from 66,000 Conversations with Large Language Models
When Artificial Intelligence (AI) is used to replace consumers (e.g., synthetic data), it is often assumed that AI emulates established consumers, and more generally human behaviors. Ten experiments with Large Language Models (LLMs) investigate if this is true in the domain of well-documented biases and heuristics. Across studies we observe four distinct types of deviations from human-like behavior. First, in some cases, LLMs reduce or correct biases observed in humans. Second, in other cases, …

#Rstats problems: Did you ever think that the dots for dotted lines are a bit too far apart per default? TIL that it's super easy to change this.
In #ggplot2, simply try something like:
scale_linetype_manual(
values = c(a = "dotted", b = "11")
)
The '11' means: 1 point for a dot, 1 point for a gap. Find out more here: https://stackoverflow.com/questions/25788945/how-to-define-more-line-types-for-graphs-in-r-custom-linetype