Caricamento clip…
5 clip
Detto in 5 clip da un canale · B1–C1 · altre forme: leaning
Lean is a programming language, but it's also what's known as a proof assistant.
Why can't we lean into this strange leverage we have over some people?
by leaning into the final decision maker that a lot of billionaires have when they decide if they're going to be philanthropic or not, which is their egos.
It's about two million lines of code in Lean, and it covers a lot of the undergraduate and graduate math curriculum.
We no longer just disagree over issues and which candidates can best lean us forward.