| 3 May 2024 |
 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 |
| tomberek | Let me suggest a modification that might be closer to the sentiment felt by many. It's not really the big hammer that is used too often or in an unjust way, but the small hammer. And that lopsided application leads to a breakdown of trust and higher chances of escalation later on, requiring the big hammer. | 02:28:01 |
 wizeman | Redacted or Malformed Event | 04:18:51 |
 edef | that line of thought has been the general driving force behind of the guidelines for this space as we've developed them, fwiw | 06:36:48 |
| edef | gm | 07:42:19 |
 @hexa:lossy.network | morn | 07:46:01 |
| edef | feeling ready for the Big Day? 😁 | 07:46:38 |
| @hexa:lossy.network | first batch of invites just went out | 07:53:19 |
