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

🔗 Computing 🔗 Computing/Software 🔗 Computing/Free and open-source software

Phantom OS is an operating system mostly made by Russian programmers. Phantom OS is based on a concept of persistent virtual memory, and is managed-code oriented. Phantom OS is one of a few OSes that are not based on classical concepts of Unix-like systems. Its primary goal is to achieve simplicity and effectiveness in both the operating system and applications at the same time.

Phantom is based on the principle that "Everything is an object", in contrast to the Unix-like approach of "Everything is a file".

🔗 Australia 🔗 Military history 🔗 Military history/North American military history 🔗 Military history/United States military history 🔗 Military history/Intelligence 🔗 Australia/Australia, New Zealand and South Pacific military history 🔗 Military history/Australia, New Zealand and South Pacific military history 🔗 Australia/Northern Territory

Pine Gap is the commonly used name for a US satellite surveillance base and Australian Earth station approximately 18 kilometres (11 mi) south-west of the town of Alice Springs, Northern Territory in the centre of Australia which is jointly operated by Australia and the United States. Since 1988, it has been officially called the Joint Defence Facility Pine Gap (JDFPG); previously, it was misleadingly known as Joint Defence Space Research Facility.

The station is partly run by the US Central Intelligence Agency (CIA), US National Security Agency (NSA), and US National Reconnaissance Office (NRO) and is a key contributor to the NSA's global interception effort, which included the ECHELON program. The classified NRO name of the Pine Gap base is Australian Mission Ground Station (AMGS), while the unclassified cover term for the NSA function of the facility is RAINFALL.

🔗 Mathematics 🔗 Geography

The haversine formula determines the great-circle distance between two points on a sphere given their longitudes and latitudes. Important in navigation, it is a special case of a more general formula in spherical trigonometry, the law of haversines, that relates the sides and angles of spherical triangles.

The first table of haversines in English was published by James Andrew in 1805, but Florian Cajori credits an earlier use by José de Mendoza y Ríos in 1801. The term haversine was coined in 1835 by James Inman.

These names follow from the fact that they are customarily written in terms of the haversine function, given by hav(θ) = sin²(θ/2). The formulas could equally be written in terms of any multiple of the haversine, such as the older versine function (twice the haversine). Prior to the advent of computers, the elimination of division and multiplication by factors of two proved convenient enough that tables of haversine values and logarithms were included in nineteenth and early twentieth century navigation and trigonometric texts. These days, the haversine form is also convenient in that it has no coefficient in front of the sin² function.

🔗 United States 🔗 Biography 🔗 Biography/science and academia 🔗 United States/Ohio 🔗 University of California

Elwyn Ralph Berlekamp (September 6, 1940 – April 9, 2019) was an American mathematician known for his work in computer science, coding theory and combinatorial game theory. He was a professor emeritus of mathematics and EECS at the University of California, Berkeley.

Berlekamp was the inventor of an algorithm to factor polynomials, and was one of the inventors of the Berlekamp–Welch algorithm and the Berlekamp–Massey algorithms, which are used to implement Reed–Solomon error correction.

Berlekamp had also been active in money management. In 1986, he began information-theoretic studies of commodity and financial futures.

🔗 Mathematics

In mathematics, the seven-dimensional cross product is a bilinear operation on vectors in seven-dimensional Euclidean space. It assigns to any two vectors a, b in R⁷ a vector a × b also in R⁷. Like the cross product in three dimensions, the seven-dimensional product is anticommutative and a × b is orthogonal both to a and to b. Unlike in three dimensions, it does not satisfy the Jacobi identity, and while the three-dimensional cross product is unique up to a sign, there are many seven-dimensional cross products. The seven-dimensional cross product has the same relationship to the octonions as the three-dimensional product does to the quaternions.

The seven-dimensional cross product is one way of generalising the cross product to other than three dimensions, and it is the only other bilinear product of two vectors that is vector-valued, orthogonal, and has the same magnitude as in the 3D case. In other dimensions there are vector-valued products of three or more vectors that satisfy these conditions, and binary products with bivector results.

🔗 Canada 🔗 Appalachia 🔗 Canada/British Columbia

Anvil firing (also known as anvil launching or anvil shooting) is the practice of firing an anvil into the air with gunpowder.

In the UK, the term refers to a method of testing anvils. Black powder was poured onto the top of the anvil and ignited. If the anvil did not shatter it was deemed safe to use.

🔗 Politics of the United Kingdom 🔗 Scotland 🔗 Central America

The Darien scheme was an unsuccessful attempt at establishing a Scottish colony on the Isthmus of Panama on the Gulf of Darién in the late 1690s. The aim was for the colony to have an overland route that connected the Pacific and Atlantic oceans. From its contemporary time to the present day, claims have been made that the undertaking was beset by poor planning and provisioning, divided leadership, a lack of demand for trade goods particularly caused by an English trade blockade, devastating epidemics of disease, collusion between the English East India Company and the English government to frustrate it, and a failure to anticipate the Spanish Empire's military response. It was finally abandoned in March 1700 after a siege by Spanish forces, which also blockaded the harbour.

As the Company of Scotland was backed by approximately 20% of all the money circulating in Scotland, its failure left the entire Lowlands in substantial financial ruin and was an important factor in weakening their resistance to the Act of Union (completed in 1707). The land where the Darien colony was built, in the modern province of Guna Yala, is virtually uninhabited today.

🔗 Elements

Alternative periodic tables are tabulations of chemical elements differing in their organization from the traditional depiction of the periodic system.

Over a thousand have been devised, often for didactic reasons, as not all correlations between the chemical elements are effectively captured by the standard periodic table.

🔗 Economics 🔗 Philosophy 🔗 Politics 🔗 Philosophy/Social and political philosophy 🔗 Philosophy/Philosophy of religion 🔗 Cooperatives 🔗 Catholicism

Distributism is an economic theory asserting that the world's productive assets should be widely owned rather than concentrated.

Developed in Europe in the late 19th and early 20th centuries, distributism was based upon the principles of Catholic social teaching, especially the teachings of Pope Leo XIII in his encyclical Rerum novarum (1891) and Pope Pius XI in Quadragesimo anno (1931). It views both capitalism and socialism as equally flawed and exploitative, and it favors economic mechanisms such as cooperatives and member-owned mutual organizations as well as small businesses, and large-scale antitrust regulations.

Some Christian democratic political parties have advocated distributism in their economic policies.

🔗 Computing

A Gödel machine is a hypothetical self-improving computer program that solves problems in an optimal way. It uses a recursive self-improvement protocol in which it rewrites its own code when it can prove the new code provides a better strategy. The machine was invented by Jürgen Schmidhuber (first proposed in 2003), but is named after Kurt Gödel who inspired the mathematical theories.

The Gödel machine is often discussed when dealing with issues of meta-learning, also known as "learning to learn." Applications include automating human design decisions and transfer of knowledge between multiple related tasks, and may lead to design of more robust and general learning architectures. Though theoretically possible, no full implementation has been created.

The Gödel machine is often compared with Marcus Hutter's AIXItl, another formal specification for an artificial general intelligence. Schmidhuber points out that the Gödel machine could start out by implementing AIXItl as its initial sub-program, and self-modify after it finds proof that another algorithm for its search code will be better.