Tootfinder

This https://arxiv.org/abs/2501.17769 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Colimits of internal categories
We show that for an extensive $1$-category $\mathcal{E}$ with pullbacks and pullback stable coequalisers in which the forgetful functor $\mathcal{U}: \mathbf{Cat}(\mathcal{E})_1 \to \mathbf{Gph}(\mathcal{E})$ has left adjoint, the $2$-category $\mathbf{Cat}(\mathcal{E})$ of internal categories, functors and natural transformations has finite $2$-colimits. In addition, $\mathbf{Cat}(\mathcal{E})$ is extensive, has pullbacks and codescent coequalisers are stable under pullback along discrete Cond…

Open repos & AI bots
#FederatedMemory
https://coar-repositories.org/news-updates/open-repositories-are-being-profoundly-impacted-by-ai-bots-and-other-crawlers-results-of-a-coar-survey/
and https://codeberg.org/forgejo/discussions/issues/339

Happy , today I deployed a #Forgejo instance to manage my private code projects. I won't be using #Github anymore for my stuff, only to contribute to 3rd party projects.
I still have some pending work to configure the CI workers, but I'll leave that for next week.
Along the way I've learnt some stuff about #OpenTofu and networking. Enough to know that I still prefer to be on the dev side of the "devops" .

Cursor (and I guess VS Code) tab bar setup for open files feels like getting repeatedly kicked in the head as I forget what I’m doing when stuff scrolls left and right into and out of view. How do people manage? Is there a way to make these into a vertical list of names?

AGPL3(NeoDB!) vs facepalm(BookWyrm=facepalm)
BookWyrm is NOT open source.
Use NeoDB(but don't forget to read the source code!)
Let's collab on etherpad to analyze it together. Let's learn together!
NeoDB is AGPL3.
BookWyrm got some "Anti Capitalist" whatever license. It's custom made and NOT compatible with FLOSS.
#vent