This girl now self-hosts her DNS!!
https://github.com/LuNeder/nixos-config/commit/7c5358fd4de441e4bb5011fb90f182bbbfb6bd28
Qué lunes mšs lunes
Los lunes posibles de la elección.
Columna de Cristišn Valdivieso.
https://wallabag.altgr.xyz/share/691a3468dd5242.81358801
Original 🔗
The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set
Arghan Dutta, Stefano Luneia, Martina Rovelli, Sam Silver
https://arxiv.org/abs/2509.21472 https:…
Accelerating High-Fidelity Fixed Point Schemes with On-the-fly Reduced Order Modeling
Philippe-Andr\'e Luneau, Jean Deteix
https://arxiv.org/abs/2509.22846 https://
Crosslisted article(s) found for math.AT. https://arxiv.org/list/math.AT/new
[1/1]:
- The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set
Arghan Dutta, Stefano Luneia, Martina Rovelli, Sam Silver
Qué lunes es hoy. Mastodones días
The background makes ir better than systemd-boot at least. Still not nearly as good as what I had on grub tho. Now I need to figure out if I can customise the rest of it too and if I can send old generations to a separate menu.
Today’s goal was getting remote boot to work before traveling tomorrow tho, so that’s good enough for now.
Commit: https://github.com/LuNeder/nixos-config/commit/01ea9893235654c716ad4200ae0405e031b42b6c