Unlike Gentzen, we can make use of css and javascript
Paperproof README
Schlagwort: Programmieren
But how do I center a proof?
Moore's Money.
The impact of having the fastest growing forum software in the world created by an organization whose then-leader was willing to state that he doesn't really care about users who aren't "influential users who spend money", who don't have access to "infinite CPU speed", is that a lot of forums are now inaccessible to people who don't have enough wealth to buy a device with effectively infinite CPU.
Define inclusivly.
I’d rather live in a world that embraces change and welcomes more people into our craft than one that raises barriers to entry.
Teaching takes two.
Be concrete.
Be focused.
Be open.
Be kind.
Peter Berger: No Garden of Eden - Functional Programming and the Myth of Ruining Programmers (YT)