The epsilon-delta proof and the Hypothesis testing framework (Python)

The propositions-as-types interpretation states that proofs are programs. How can functional programming help us understand calculus? Read more

Similar

A from-scratch tour of Bitcoin in Python

I find blockchain fascinating because it extends open source software development to open source + state. This seems to be a genuine/exciting innovation in computing paradigms; We don’t just get to share code, we get to share a running computer, and anyon... (more…)

Read more »