Posts by raito@nixos.paris
 (DIR) Post #B4NzjTTamFittVvCJk by raito@nixos.paris
       0 likes, 0 repeats
       
       @civodul exactly what Lix or Guix got affected by a while ago :p
       
 (DIR) Post #B4qYs4yCCKNDJix7VQ by raito@nixos.paris
       0 likes, 0 repeats
       
       @lethalbit we just need codeberg in your profile section so i can click click on the SCSI multitool :>
       
 (DIR) Post #B5BZpyC0bXURzb87e4 by raito@nixos.paris
       0 likes, 0 repeats
       
       @mildsunrise i'd just diagonalize X and call it a day
       
 (DIR) Post #B5BZpyO3sj8CaylkQq by raito@nixos.paris
       0 likes, 0 repeats
       
       @mildsunrise some density arguments about matrices which eigenvalues are distinct and nonzero because laziness
       
 (DIR) Post #B5BZpyjgaKQdg2t18a by raito@nixos.paris
       0 likes, 0 repeats
       
       @mildsunrise doesn't matter, the set of diagonalizable matrices with distinct and nonzero eigenvalues is dense, so you can just do the work with X diagonalizable with distinct and nonzero eigenvalues (easy mode), then you take a sequence and you use continuity of the different functions to obtain the same result
       
 (DIR) Post #B5BZpz5JHvj4l70HqK by raito@nixos.paris
       0 likes, 0 repeats
       
       @mildsunrise it requires reasonable thing on the topology, if you do zariski topology, it might be cooked, i'm not sureif you don't have topology, i guess you need to do chain rules related stuff or calculate the differential of det at the identity matrix point (which also makes use of chain rule somewhat), it feels weird to me because all of these requires some sort of topology, i don't think there's a real pure algebraic solution here?
       
 (DIR) Post #B5SmbnzAMLZZNB1AJs by raito@nixos.paris
       1 likes, 0 repeats
       
       OH: "is your [public transport] ticket web scale?"
       
 (DIR) Post #B5z5297qOqxIhRVLM0 by raito@nixos.paris
       0 likes, 0 repeats
       
       @mildsunrise i don't think people can understand what the fuck is going in a C codebase wrt to path safety
       
 (DIR) Post #B5z52AsfsE0e8yQFzE by raito@nixos.paris
       0 likes, 0 repeats
       
       @mildsunrise if this was true, people would read systemd source code which contains many good stuff on chase_path and so on
       
 (DIR) Post #B6tHBjLTf8TfIyiy4u by raito@nixos.paris
       0 likes, 0 repeats
       
       @famfo because people sent PRs :P