3 May 2024 |
infinisil | General Uncle Iroh π΅ | 00:59:57 |
infinisil | Did I just disqualify myself π
I donβt want people with strong opinions on technicalities like flakes vs. classic Nix
| 01:01:53 |
raitobezarius | I feel like those ideas are interesting | 01:02:15 |
raitobezarius | But I think saying "X vs. Y" is already setting up the tone and being binary | 01:02:24 |
raitobezarius | Flakes vs. Classic is an excellent example | 01:02:29 |
raitobezarius | This is a spectrum | 01:02:33 |
raitobezarius | There's absolutely ways to make Flakes good while keeping the Classic taste | 01:02:44 |
infinisil | π― | 01:02:50 |
raitobezarius | The RFC about repairing layering violations, etc. is also taking that trajectory AFAIK | 01:03:02 |
infinisil | Indeed, that one was just a bit too abstract imo though π
| 01:04:04 |
infinisil | It's hard to decide whether it is implement | 01:04:17 |
raitobezarius | I see it as one of those RFCs which are most "peace treaties" and "intents" things that anything else | 01:04:37 |
raitobezarius | Yeah, they are not perfect, confusing, abstract | 01:04:44 |
raitobezarius | But they are sending an important signal to the community | 01:04:50 |
raitobezarius | Now, onto the execution, this is a different matter | 01:04:55 |
raitobezarius | And to me, interestingly, this is governance material! | 01:05:09 |
raitobezarius | But we are doing almost governance! | 01:05:21 |
raitobezarius | So we should maybe leave it at there :) | 01:05:25 |
infinisil | Haha yeah | 01:05:32 |
infinisil | What's the complexity class of problems that are hard to compute but easy to verify? | 01:06:01 |
raitobezarius | NP problems? | 01:06:24 |
infinisil | Nice thanks | 01:06:47 |
infinisil | I view RFCs a bit like that :P | 01:06:52 |
raitobezarius | solvable in non-polynomial time, verifiable in polynomial time | 01:06:54 |
raitobezarius | In reply to @infinisil:matrix.org I view RFCs a bit like that :P Hmm, I see your point | 01:07:28 |
raitobezarius | But I think it's quite obvious to me that the layering violations RFC is not yet implemented | 01:07:35 |
raitobezarius | But I do understand also the other side of it: we will never know when it's truly fully implemented | 01:08:41 |
raitobezarius | I think this is about being satisfied | 01:08:46 |
infinisil | Are you sure you're not a non-polynomial human? :P | 01:08:54 |
raitobezarius | Well, it's clear that I'm solving NP-Hard problems (and even EXPTIME problems) everyday with much less watts consumption than computers for that :P | 01:09:20 |