Tootfinder

First Law of the Internet
Every person shall be free to use the Internet in any way that is privately beneficial without being publicly detrimental.
- The burden of demonstrating public detriment shall be on those who wish to prevent the private use.
- Such a demonstration shall require clear and convincing evidence of public detriment.
- The public detriment must be of such degree and extent as to justify the suppression of the private activity.
…

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

The algebraic internal groupoid model of Martin-Löf type theory
We extend the model structure on the category $\mathbf{Cat}(\mathcal{E})$ of internal categories studied by Everaert, Kieboom and Van der Linden to an algebraic model structure. Moreover, we show that it restricts to the category of internal groupoids. We show that in this case, the algebraic weak factorisation system that consists of the algebraic trivial cofibrations and algebraic fibrations forms a model of Martin-Löf type theory. Taking $\mathcal{E} = \mathbf{Set}$ and forgetting the algeb…

Is there a way to configure the Linux kernel or a tool that puts a laptop into a "no-fan" mode? Like, if it gets too hot, reduce the CPU frequency. It's definitely possible to run my laptop without the CPU fan, by reducing the cpufreq scaling_max_freq enough for all cores. But what I'd want is "you're allowed to go to whatever freq you still can do safely without running the fan, but auto-reduce if it gets too hot, never use the fan".

I sometimes confuse capybara for balaclava