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…
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!
Any chance you took FRAP last spring? Hi, maybe-classmate :)
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…
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.…
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 called…
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…
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…
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!
Any chance you took FRAP last spring? Hi, maybe-classmate :)
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…
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.…
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 called…
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…