3 ms·
> Yup, especially for the most respected research, mathematizing a field. Well, that's debatable :) I can think of plenty of recent systems conferences where t
by anonymousDan 11y ago
> Yup, especially for the most respected research, mathematizing a field.
Well, that's debatable :) I can think of plenty of recent systems conferences where the best paper had nothing to do with mathematizing the field.
- eli_gottlieb 11y agoSystems work is often awful though, precisely due to the religious aversion we systems people carry to notions like "proof", "mathematics", and "correctness". Yes, I work in systems. No, don't ask me what I system I'm talking about. I'm certainly not allowed to tell you, of course, and anyway there have been multiple such systems throughout my life. So. Many. Race conditions.
- graycat 11y agoSounds like an opportunity for applying some math to systems!!