AGI-complete Updated 2025-07-16
Term invented by Ciro Santilli to refer to problems that can only be solved once we have AGI.
It is somewhat of a flawed analogy to NP-complete.
Kibble balance Updated 2025-07-16
The Kibble balance is so precise and reproducible that it was responsible for the 2019 redefinition of the Kilogram.
It relies rely on not one, but three macroscopic quantum mechanical effects:
How cool is that! As usual, the advantage of those effects is that they are discrete, and have very fixed values that don't depend either:
One downside of using some quantum mechanical effects is that you have to cool everything down to 5K. But that's OK, we've got liquid helium!
The operating principle is something along:
Then, based on all this, you can determine how much the object weights.
Video 1.
How We're Redefining the kg by Veritasium
. Source.
Video 2.
The Kibble Balance, realizing the Kilogram from fundamental constants of nature by Richard Green
. Source. Presented in 2022 for a CENAM seminar, the Mexican metrology institute. The speaker is from the Canadian metrology institute
Video 3.
The Watt balance and redefining the kilogram by National Physical Laboratory
. Source. Nothing much, but fun to hear Kibble talking about his balance in beautiful English before he passed.
Matrix exponential Updated 2025-07-16
Is the solution to a system of linear ordinary differential equations, the exponential function is just a 1-dimensional subcase.
Note that more generally, the matrix exponential can be defined on any ring.
The matrix exponential is of particular interest in the study of Lie groups, because in the case of the Lie algebra of a matrix Lie group, it provides the correct exponential map.
Video 1.
How (and why) to raise e to the power of a matrix by 3Blue1Brown (2021)
Source.
Chinese book Updated 2025-07-16
Create a test user in PostgreSQL Updated 2025-07-16
In order to create a test user with password instead of peer authentication, let's create test user:
createuser -P user0
createdb user0
-P makes it prompt for the users password.
Alternatively, to create the password non-interactively stackoverflow.com/questions/42419559/postgres-createuser-with-password-from-terminal:
psql -c "create role NewRole with login password 'secret'"
Can't find a way using the createuser helper.
We can then login with that password with:
psql -U user0 -h localhost
which asks for the password we've just set, because the -h option turns off peer authentication, and turns off password authentication.
The password can be given non-interactively as shown at stackoverflow.com/questions/6405127/how-do-i-specify-a-password-to-psql-non-interactively with the PGPASSWORD environment variable:
PGPASSWORD=a psql -U user0 -h localhost
Now let's create a test database which user0 can access with an existing superuser account:
createdb user0db0
psql -c 'GRANT ALL PRIVILEGES ON DATABASE user0db0 TO user0'
We can check this permission with:
psql -c '\l'
which now contains:
                                  List of databases
   Name    |  Owner   | Encoding |   Collate   |    Ctype    |   Access privileges
-----------+----------+----------+-------------+-------------+-----------------------
 user0db0  | ciro     | UTF8     | en_GB.UTF-8 | en_GB.UTF-8 | =Tc/ciro             +
           |          |          |             |             | ciro=CTc/ciro        +
           |          |          |             |             | user0=CTc/ciro
The permission letters are explained at:
user0 can now do the usual table operations on that table:
PGPASSWORD=a psql -U user0 -h localhost user0db0 -c 'CREATE TABLE table0 (int0 INT, char0 CHAR(16));'
PGPASSWORD=a psql -U user0 -h localhost user0db0 -c "INSERT INTO table0 (int0, char0) VALUES (2, 'two'), (3, 'three'), (5, 'five'), (7, 'seven');"
PGPASSWORD=a psql -U user0 -h localhost user0db0 -c 'SELECT * FROM table0;'

Unlisted articles are being shown, click here to show only listed articles.