To stay up to date you can also follow on Mastodon.

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.

The International Meridian Conference was a conference held in October 1884 in Washington, D.C., in the United States, to determine a prime meridian for international use. The conference was held at the request of U.S. President Chester A. Arthur. The subject to discuss was the choice of "a meridian to be employed as a common zero of longitude and standard of time reckoning throughout the world". It resulted in the recommendation of the Greenwich Meridian as the international standard for zero degrees longitude.

Transactional analysis (TA) is a psychoanalytic theory and method of therapy wherein social transactions are analyzed to determine the ego state of the patient (whether parent-like, childlike, or adult-like) as a basis for understanding behavior. In transactional analysis, the patient is taught to alter the ego state as a way to solve emotional problems. The method deviates from Freudian psychoanalysis which focuses on increasing awareness of the contents of unconsciously held ideas. Eric Berne developed the concept and paradigm of transactional analysis in the late 1950s.

Gabriel's horn (also called Torricelli's trumpet) is a geometric figure which has infinite surface area but finite volume. The name refers to the Abrahamic tradition identifying the archangel Gabriel as the angel who blows the horn to announce Judgment Day, associating the divine, or infinite, with the finite. The properties of this figure were first studied by Italian physicist and mathematician Evangelista Torricelli in the 17th century.

The "General Crisis" is the term used by some historians to describe the period of widespread conflict and instability that occurred from the early 17th century to the early 18th century in Europe and in more recent historiography in the world at large. The concept is much debated by historians; there is no consensus.

The term was coined by Eric Hobsbawm in his pair of 1954 articles entitled "The Crisis of the Seventeenth Century" published in Past and Present.

The Norwegian butter crisis began in late 2011 with an acute shortage of butter and inflation of its price across markets in Norway. The shortage caused soaring prices and stores' stocks of butter ran out within minutes of deliveries. According to the Danish tabloid B.T., Norway was gripped by smør-panik ("butter panic") as a result of the butter shortage.

In topology, the long line (or Alexandroff line) is a topological space somewhat similar to the real line, but in a certain way "longer". It behaves locally just like the real line, but has different large-scale properties (e.g., it is neither Lindelöf nor separable). Therefore, it serves as one of the basic counterexamples of topology. Intuitively, the usual real-number line consists of a countable number of line segments [0, 1) laid end-to-end, whereas the long line is constructed from an uncountable number of such segments.

A planimeter, also known as a platometer, is a measuring instrument used to determine the area of an arbitrary two-dimensional shape.

A laconic phrase or laconism is a concise or terse statement, especially a blunt and elliptical rejoinder. It is named after Laconia, the region of Greece including the city of Sparta, whose ancient inhabitants had a reputation for verbal austerity and were famous for their blunt and often pithy remarks.

BB84 is a quantum key distribution scheme developed by Charles Bennett and Gilles Brassard in 1984. It is the first quantum cryptography protocol. The protocol is provably secure, relying on the quantum property that information gain is only possible at the expense of disturbing the signal if the two states one is trying to distinguish are not orthogonal (see no-cloning theorem) and an authenticated public classical channel. It is usually explained as a method of securely communicating a private key from one party to another for use in one-time pad encryption.