kraitis

7 ms·

1.
by kraitis 7y ago
https://developers.google.com/web/fundamentals/performance/
2.
by kraitis 7y ago
Brave.
3.
by kraitis 7y ago
https://twitter.com/impcapital/status/1142667306503409665
4.
by kraitis 7y ago
Relevant: https://www.youtube.com/watch?v=ygr3qcERyRM
5.
A new foundational crisis in mathematics, is it happening?(arxiv.org)
1 points by kraitis 8y ago|0 comments
6.
by kraitis 8y ago
>challenge-response games This is standardly called "game-theoretic semantics" in the literature. Enthusiasts can find more info here (or just by Googling around): https://plato.stanford.edu/entries/logic-g
7.
by kraitis 8y ago
The material conditional, if you're willing to admit it to be a part of Math.
8.
What do we want a foundation to do?(academia.edu)
2 points by kraitis 8y ago|0 comments
9.
by kraitis 8y ago
>What then is a mathematical truth In the West, Aristotle put it as follows: "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true&q
10.
by kraitis 9y ago
You want to acquire and shoot for the so-called mathematical maturity. More precisely: to become an autonomous problem-solver and have the know-how to solve (non-)trivial proofs. Typically this means bridging the gap between computationally
11.
by kraitis 9y ago
Work through this: https://learn.shayhowe.com/html-css/ followed by this: https://learn.shayhowe.com/advanced-html-css/ and you'll be good to go. The tutorial, while covering the essentials,