Tootfinder

Oh this is wonderfully crazy; a Linux port to wasm:
https://joelseverin.github.io/linux-wasm/

First annoyance I've run into: standard bit shifting operations in Nim. It's not bad, but it took far too long to track down the right operator. In most languages, you're looking at the `>>` and `<<` operators, in Nim it's `shr` and `shl` which I totally wouldn't have guessed. However, got the initial register idea down.
```nim
type
Register = object
low: uint8 = 0
high: uint8 = 0
prime: uint16 = 0
proc swa…

Updating some proc file drivers that work perfectly well under Linux 2.6. Many, many changes since then and the code is messy to boot, having its origins in 1.8

Consistency of some well-posed five-field theories of dissipative relativistic fluid dynamics
Heinrich Freistuhler
https://arxiv.org/abs/2510.07526 https://

Consistency of some well-posed five-field theories of dissipative relativistic fluid dynamics
Within the FTBDNK family of formulations of relativistic Navier-Stokes (H. Freistühler and B. Temple, Proc. R. Soc. A 470, 20140055 (2014), Proc. R. Soc. A 473 (2017), 20160729; F. S. Bemfica, M. Disconzi, and J. Noronha, Phys. Rev. D 98, 104064 (2018), Phys. Rev. D 100, 104020 (2019); P. Kovtun, J. High Energy Phys. 2019, 034 (2019)), this paper collects some consistency properties for certain causal hyperbolic five-field theories obtained from the Landau-Lifshitz formulation via Eulerian gra…

Idea: a `/proc/clown` pseudo-file

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsJukebox
Proc Fiskal:
🎵 uHazsh
#ProcFiskal
https://procfiskal.bandcamp.com/track/uhazsh
https://open.spotify.com/track/3HCRNdIh8OY7waQNY8JyWF

Functional Donoho-Elad-Gribonval-Nielsen-Fuchs Sparsity Theorem
K. Mahesh Krishna
https://arxiv.org/abs/2510.09609 https://arxiv.org/pdf/2510.09609

Functional Donoho-Elad-Gribonval-Nielsen-Fuchs Sparsity Theorem
Celebrated breakthrough sparsity theorem obtained independently by Donoho and Elad \textit{[Proc. Natl. Acad. Sci. USA, 2003]} and Gribonval and Nielsen \textit{[IEEE Trans. Inform. Theory, 2003]} and Fuchs \textit{[IEEE Trans. Inform. Theory, 2004]} says that unique sparse solution to NP-Hard $\ell_0$-minimization problem can be obtained using unique solution to P-Type $\ell_1$-minimization problem. In this paper, we extend their result to abstract Banach spaces using 1-approximate Schauder fr…

🇺🇦 #NowPlaying on #BBC6Music's #NickGrimshaw
Proc Fiskal:
🎵 uHazsh
#ProcFiskal
https://procfiskal.bandcamp.com/track/uhazsh
https://open.spotify.com/track/3HCRNdIh8OY7waQNY8JyWF

🇺🇦 #NowPlaying on #BBC6Music's #LaurenLaverne
Proc Fiskal:
🎵 uHazsh
#ProcFiskal
https://procfiskal.bandcamp.com/track/uhazsh
https://open.spotify.com/track/3HCRNdIh8OY7waQNY8JyWF