mcncm

4 ms·

1.
by mcncm 6y ago
Despite being a plain-text format, it can be made very human-readable with minimal configuration. If you want to auto-export to your preferred format on save, say, and view it live in a parallel window, you can accomplish that with a single
2.
by mcncm 6y ago
Aha, good luck then! I really enjoyed that class, even after things got derailed by Covid. It was like a little problem-solving adventure every week. Still wish there were more Coq in the real world!
3.
by mcncm 6y ago
Any chance you took FRAP last spring? Hi, maybe-classmate :)
4.
by mcncm 6y ago
As a matter of fact, we published just this year on a novel algorithm using just two qubits! The trick is that this algorithm is in some sense "generic" over arbitrary data structures, so we were able to claim victory by tackling
5.
by mcncm 6y ago
I work in a QC lab, and here's my perspective. There is one pretty good reason for executing programs on real hardware: because we're still pre-error-correction, errors are rampant, but they are hard to model correctly. After all,
6.
by mcncm 7y ago
I guess... Well, maybe I'm misunderstanding what you're saying, but I just want to be clear that you know that the branch of math most people call "calculus" is almost completely unrelated to the branches of math calle
7.
by mcncm 7y ago
Just out of curiosity, why do you need to know differential calculus to write a compiler, and what does it have to do with lambda calculus? Learning it is a great thing to do, and it will certainly help you in other ways. But that kind of p