Length contraction Updated +Created
Suppose that a rod has is length measured on a rest frame (or maybe even better: two identical rulers were manufactured, and one is taken on a spaceship, a bit like the twin paradox).
Question: what is the length than an observer in frame moving relative to as speed observe the rod to be?
The key idea is that there are two events to consider in each frame, which we call 1 and 2:
  • the left end of the rod is an observation event at a given position at a given time: and for or and for
  • the right end of the rod is an observation event at a given position at a given time : and for or and for
Note that what you visually observe on a photograph is a different measurement to the more precise/easy to calculate two event measurement. On a photograph, it seems you might not even see the contraction in some cases as mentioned at en.wikipedia.org/wiki/Terrell_rotation
Measuring a length means to measure the difference for a single point in time in your frame ().
So what we want to obtain is for any given time .
In summary, we have:
By plugging those values into the Lorentz transformation, we can eliminate , and conclude that for any , the length contraction relation holds:
The key question that needs intuitive clarification then is: but how can this be symmetric? How can both observers see each other's rulers shrink?
And the key answer is: because to the second observer, the measurements made by the first observer are not simultaneous. Notably, the two measurement events are obviously spacelike-separated events by looking at the light cone, and therefore can be measured even in different orders by different observers.
NLab Updated +Created
Decent encyclopedia of mathematics. Not much motivation, mostly statements though.
Unlike Wikipedia, they have a more sane forum commenting system, e.g. a page/forum pair:
Spy Updated +Created
Arkarya Updated +Created
Name of the clade of archaea plus eukarya proposed at: www.frontiersin.org/articles/10.3389/fmicb.2015.00717/full. Much better term than prokaryote as that is not a clade. Let's hope it catches on!
Lie Groups, Physics, and Geometry by Robert Gilmore (2008) Updated +Created
The author seems to have uploaded the entire book by chapters at: www.physics.drexel.edu/~bob/LieGroups.html
Overview:
Linear map Updated +Created
A linear map is a function where and are two vector spaces over underlying fields such that:
A common case is , and .
One thing that makes such functions particularly simple is that they can be fully specified by specifyin how they act on all possible combinations of input basis vectors: they are therefore specified by only a finite number of elements of .
Every linear map in finite dimension can be represented by a matrix, the points of the domain being represented as vectors.
As such, when we say "linear map", we can think of a generalization of matrix multiplication that makes sense in infinite dimensional spaces like Hilbert spaces, since calling such infinite dimensional maps "matrices" is stretching it a bit, since we would need to specify infinitely many rows and columns.
The prototypical building block of infinite dimensional linear map is the derivative. In that case, the vectors being operated upon are functions, which cannot therefore be specified by a finite number of parameters, e.g.
For example, the left side of the time-independent Schrödinger equation is a linear map. And the time-independent Schrödinger equation can be seen as a eigenvalue problem.
Node.js Updated +Created
WellSync, if you are gonna useSync this wonky language thing inSync one place, you might as well useSync it everywhereSync and make it more decent. See also: how to convert async to sync in JavaScript.
Noether's theorem Updated +Created
For every continuous symmetry in the system (Lie group), there is a corresponding conservation law.
Furthermore, given the symmetry, we can calculate the derived conservation law, and vice versa.
As mentioned at buzzard.ups.edu/courses/2017spring/projects/schumann-lie-group-ups-434-2017.pdf, what the symmetry (Lie group) acts on (obviously?!) are the Lagrangian generalized coordinates. And from that, we immediately guess that manifolds are going to be important, because the generalized variables of the Lagrangian can trivially be Non-Euclidean geometry, e.g. the pendulum lives on an infinite cylinder.
Video 1.
The most beautiful idea in physics - Noether's Theorem by Looking Glass Universe (2015)
Source. One sentence stands out: the generated quantities are called the generators of the transforms.
Video 2.
The Biggest Ideas in the Universe | 15. Gauge Theory by Sean Carroll (2020)
Source. This attempts a one hour hand wave explanation of it. It is a noble attempt and gives some key ideas, but it falls a bit short of Ciro's desires (as would anything that fit into one hour?)
Video 3.
The Symmetries of the universe by ScienceClic English (2021)
Source. youtu.be/hF_uHfSoOGA?t=144 explains intuitively why symmetry implies consevation!
Noisy-channel coding theorem Updated +Created
Setting: you are sending bits through a communication channel, each bit has a random probability of getting flipped, and so you use some error correction code to achieve some minimal error, at the expense of longer messages.
This theorem sets an upper bound on how efficient you can be in your encoding, for any encoding.
The next big question, which the theorem does not cover is how to construct codes that reach or approach the limit. Important such codes include:
But besides this, there is also the practical consideration of if you can encode/decode fast enough to keep up with the coded bandwidth given your hardware capabilities.
news.mit.edu/2010/gallager-codes-0121 explains how turbo codes were first reached without a very good mathematical proof behind them, but were still revolutionary in experimental performance, e.g. turbo codes were used in 3G/4G.
But this motivated researchers to find other such algorithms that they would be able to prove things about, and so they rediscovered the much earlier low-density parity-check code, which had been published in the 60's but was forgotten, partially because it was computationally expensive.
1965 Nobel Prize in Physics laureate Updated +Created
tshark Updated +Created
Sample usage:
sudo tshark -f 'host 192.168.1.102
This produces simple one liners for each request.
What you likely want is the -V option which fully disassembles each frame much as you can do in the GUI Wireshark:
sudo tshark -V -f 'host 192.168.1.102
Closed source is less bad on online services Updated +Created
Ciro Santilli can accept closed source on server products more easily than offline, because the servers have to be paid for somehow (by stealing your private data).
Impenetrable Bose Gas Updated +Created
Linear operator Updated +Created
We define it as a linear map where the domain is the same as the image, i.e. an endofunction.
Examples:
Linear polynomial Updated +Created
A polynomial of degree 1, i.e. of form .
Linux distribution buildable from source Updated +Created
As of 2020, no one knows how to build the major desktop distros fully from source into the ISO, and especially so in a reproducible build way. Everything is done in build servers somewhere with complicated layers of prebuilds. It's crap.
List of Nobel Prizes in Chemistry Updated +Created
Non-relativistic quantum mechanics Updated +Created
The first quantum mechanics theories developed.
Their most popular formulation has been the Schrödinger equation.

There are unlisted articles, also show them or only show them.