asayers

10 ms·

1.
by asayers 1y ago
The only ATproto-specific part is how clients specify their starting position. They give a timestamp, which refers specifically to the `time_us` field in the messages, which I guess must be an ATproto thing. If jetrelay supported filtering,
2.
Procedurally-generated markdown HTTP API(jaspervdj.be)
2 points by asayers 13y ago|0 comments
3.
by asayers 13y ago
The proof offered in the abstract demonstrates a simple link between consistency and the validity of proof by contradiction. It shows that if mathematics is consistent (ie. ⊢Φ and ⊢¬Φ is impossible) then mathematics is consistent. This is N
4.
by asayers 13y ago
For a similar set-up for Linux, see [1]. Here we use dmenu to displays hosts defined in .ssh/config, and open a connection to the selected host in a new window. See [2] for the relevant script. [1]: http://www.asayers.org&#x
5.
by asayers 14y ago
Newton's Laws fit into three lines because most of us are already familiar with the integral concepts: force, mass, inertial reference frames, etc. The concepts involved in quantum mechanics are fairly alien to most people, so explaining th
6.
by asayers 14y ago
It depends how deep an understanding you want. You don't need a degree in Physics, but if you want anything more than a superficial idea then you do need degree-level knowledge of the necessary maths and physics.
7.
by asayers 14y ago
It's not stupid - the difference between uncertainty and superposition is subtle. Let's simplify to the case of one pen. Say the pen is spun in the box by a classical random number generator. You don't know which way the pen is spinning, bu
8.
by asayers 14y ago
No, it's actually quite different. The scenario you outlined is quite important and actually has a name: it's the "Bertlmann's Socks" thought experiment, and if you want to read about it I'd seriously recommend the paper by the great J S Be