3 May 2024 |
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 |
@hexa:lossy.network | no. | 07:53:22 |
edef | as ready as one could possibly be, i suppose | 07:53:48 |
@hexa:lossy.network | yep, that. | 07:55:15 |
edef | if the vibes keep being as good as bringup has been, i think we're golden | 07:57:31 |
edef | so i am cautiously optimistic | 07:57:58 |
@hexa:lossy.network | I fear the room is not representative of the wider community 🙂 | 07:58:14 |
edef | 😅 | 07:58:26 |
joepie91 🏳️🌈 | the one thing I really do not like about zulip is the verbosity of the notification bot... | 11:02:27 |
joepie91 🏳️🌈 | * the one thing I really do not like about zulip is the (default) verbosity of the notification bot... | 11:02:40 |
@hexa:lossy.network | wdym? | 11:03:44 |
@hexa:lossy.network |  Download image.png | 11:03:47 |
joepie91 🏳️🌈 | like how visually big the "topic was changed" messages are for example | 11:04:02 |