Topology Updated 2025-07-16
Just by havin the notion of neighbourhood, concepts such as limit and continuity can be defined without the need to specify a precise numerical value to the distance between two points with a metric.
As an example. consider the orthogonal group, which is also naturally a topological space. That group does not usually have a notion of distance defined for it by default. However, we can still talk about certain properties of it, e.g. that the orthogonal group is compact, and that the orthogonal group has two connected components.
ISO SQL TRIGGER syntax Updated 2025-07-16
TODO what is the standard compliant syntax?
SQLite does not support SQL stored procedures at all, so maybe that's why they can't be standard compliant here: stackoverflow.com/questions/3335162/creating-stored-procedure-in-sqlite
SQL:1999 11.38 covers "Trigger definition". The Abstract syntax tree starts with the CREATE TRIGGER and ends in:
<triggered SQL statement> ::=
  <SQL procedure statement>
This is defined at 13.5 "SQL procedure statement", but that is humongous and I'm not sure what it is at all.
Jacquard machine Updated 2025-07-16
Video 1.
A Jacquard loom in action by NationalMuseumsScotland (2016)
Source. The lack of audio is unsettling!
Mordell's theorem Updated 2025-07-16
The number of points may be either finite or infinite. But when infinite, it is still a finitely generated group.
TODO example.
Multilinear form Updated 2025-07-16
See form.
Analogous to a linear form, a multilinear form is a Multilinear map where the image is the underlying field of the vector space, e.g. .
Transcendental number conjecture Updated 2025-07-16
There's a billion simple looking expressions which are not known to be transcendental numbers or not. It's cute simple to state but hard to prove at its best.
Open as of 2020:
Bibliography:
Video 1.
Why π^π^π^π could be an integer by Stand-up Maths (2021)
Source. Sponsored by Jane Street. Shame.
Phasecraft Updated 2025-07-16
The co-founder's name, Toby Cubitt, is the mos awesome thing ever (Cubitt -> qubit). From UCL.
Josephson current Updated 2025-07-16
Maximum current that can flow across a Josephson junction, as can be directly seen from the Josephson equations.
Is a fixed characteristic value of the physical construction of the junction.

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