| 3 May 2024 |
 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 |
| raitobezarius | (as most humans do!) | 01:09:26 |
| infinisil | I guess we should move to #offtopic:nixos.org for such discussions really, but I should really chill for today, see y'all, looking forward to tomorrow! | 01:10:03 |
 tomberek | The possibility to degrade trust is very high when moderators are participating. This is a good separation of concerns. | 02:01:47 |
| infinisil | raitobezarius: Wait why are Zulip owner again? It was decided that board observers should only be admins | 02:13:46 |
