cweld510

5 ms·

1. 31.▲
   by cweld510 2y ago

   The useful thing about proofs is that they are written in English (or another language), not formal logic. In general they can be mapped to formal logic, though. This means that people can digest them on an intuitive level. The actual goal
2. 32.▲
   by cweld510 2y ago

   It makes sense from a financial perspective for a small company that’s trying to grow. The most precious resource at such a company is engineering time. It’s very limited - you only have X number of engineers, it’s hard to hire good enginee
3. 33.▲
   by cweld510 2y ago

   It’s not a matter of excusing or not excusing it. Incidents like this one happen for a reason, though, and the real solution is almost never “just do better.” Presumably crowdstrike employs some smart engineers. I think it’s reasonable to a
4. 34.▲
   by cweld510 2y ago

   I work on an event-based architecture that I think is successful, but that’s because our core primitives are event-based, so there is no impedance mismatch in the way that there can be if you migrate from a request-response architecture to
5. 35.▲
   by cweld510 2y ago

   You can absolutely dump the traces somewhere and analyze them yourself. The problem is that this falls apart with scale. You are maybe serving thousands of requests per second. Your service has a ton of instances. Capturing all trace data f
6. 36.▲
   by cweld510 3y ago

   I think S3 is too slow to put in your control plane’s critical path; better to use something like Redis.