| 3 May 2024 |
 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 |
