| 21 May 2025 |
 emily | no it's not. | 15:51:00 |
 matthewcroughan - nix.zone | it actually is though | 15:51:04 |
| emily | no NixOS system closure fits in 128 megs. | 15:51:07 |
| matthewcroughan - nix.zone | I made one a few weeks ago, it does fit | 15:51:19 |
 hexa | https://www.liminix.org/ | 15:51:35 |
| matthewcroughan - nix.zone | there's still plenty of ways to slim it down further | 15:51:36 |
 magic_rb | In reply to @matthewcroughan:defenestrate.it
I have my bpi-r4 operating without state, and it is just running nixos, and it can do managed switch stuff on the 4 1G ports it has You do have state ffs. Your network configuration is state, go and remove all the network config from your nixos build and see how far you get. It just happens that we bundle the config with the binaries. But you cannot ship a static image on consumer or even enterprise switches. "Oh you want reconfigure something? Better install Nix!" | 15:51:45 |
| matthewcroughan - nix.zone | I just wasn't sure what state was being referred to | 15:52:12 |
| matthewcroughan - nix.zone | Point is, if all you're trying to do, is configure the asic, maybe you don't need linux for that and you can just do it with a small arduino program. | 15:52:55 |
| matthewcroughan - nix.zone | that's the kind of managed switch I would prefer to buy | 15:53:22 |
| magic_rb | Jfc no arduino please god no | 15:53:27 |
| magic_rb | Its the worst fucking thing on the planet | 15:53:39 |
| matthewcroughan - nix.zone | okay, I don't know how to convey it to you other than by saying the word arduino, because I'm not getting a good response when I say micropython or embassy | 15:53:52 |
| emily | how much arduino development have you done | 15:54:01 |
| magic_rb | Because its the same shit | 15:54:02 |
| matthewcroughan - nix.zone | enough, why? | 15:54:09 |
| emily | this is just pointless asceticism if you look at the actual resource consumption of the thing running linux | 15:54:20 |
| magic_rb | Id rather get fisted by 20 linux kernels than spend 5 minutes dealing with the bullshit embedded people can cook up | 15:54:25 |
| emily | and what you would need to recreate on bare metal | 15:54:27 |
| matthewcroughan - nix.zone | actually no, I have actually got a better idea, they could just make the entire managed switch configured/programmed with u-boot alone | 15:54:33 |
| matthewcroughan - nix.zone | no linux | 15:54:35 |
| emily | to replace basic operating system services that make serving a web app that can persist state and do upgrades and talk to a driver easy | 15:54:43 |
| hexa | language | 15:54:47 |
| magic_rb | In reply to @hexa:lossy.network
language Sorry but matthew is driving me up the wall | 15:55:02 |
| emily | ok why am I wasting time on this conversation when I could go touch grass | 15:55:08 |
| emily | → | 15:55:18 |
| magic_rb | We should all go touch grass | 15:55:30 |
| magic_rb | I think | 15:55:32 |
| magic_rb | Including matthew | 15:55:35 |
| hexa | please do | 15:55:40 |
