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

🔗 Lists 🔗 Languages 🔗 Endangered languages

This is a list of extinct languages sorted by their time of extinction. A language is determined to be an extinct when its last native or fluent speaker dies. When the exact time of death of the last remaining speaker is not known, either an approximate time or the date when the language was last being recorded is given.

🔗 Games

Nim is a mathematical game of strategy in which two players take turns removing (or "nimming") objects from distinct heaps or piles. On each turn, a player must remove at least one object, and may remove any number of objects provided they all come from the same heap or pile. Depending on the version being played, the goal of the game is either to avoid taking the last object, or to take the last object.

Variants of Nim have been played since ancient times. The game is said to have originated in China—it closely resembles the Chinese game of 捡石子 jiǎn-shízi, or "picking stones"—but the origin is uncertain; the earliest European references to Nim are from the beginning of the 16th century. Its current name was coined by Charles L. Bouton of Harvard University, who also developed the complete theory of the game in 1901, but the origins of the name were never fully explained.

Nim is typically played as a misère game, in which the player to take the last object loses. Nim can also be played as a normal play game, where the player taking the last object wins. This is called normal play because the last move is a winning move in most games, even though it is not the normal way that Nim is played. In either normal play or a misère game, when the number of heaps with at least two objects is exactly equal to one, the next player who takes next can easily win. If this removes either all or all but one objects from the heap that has two or more, then no heaps will have more than one object, so the players are forced to alternate removing exactly one object until the game ends. If the player leaves an even number of non-zero heaps (as the player would do in normal play), the player takes last; if the player leaves an odd number of heaps (as the player would do in misère play), then the other player takes last.

Normal play Nim (or more precisely the system of nimbers) is fundamental to the Sprague–Grundy theorem, which essentially says that in normal play every impartial game is equivalent to a Nim heap that yields the same outcome when played in parallel with other normal play impartial games (see disjunctive sum).

While all normal play impartial games can be assigned a Nim value, that is not the case under the misère convention. Only tame games can be played using the same strategy as misère Nim.

Nim is a special case of a poset game where the poset consists of disjoint chains (the heaps).

The evolution graph of the game of Nim with three heaps is the same as three branches of the evolution graph of the Ulam-Warburton automaton.

At the 1940 New York World's Fair Westinghouse displayed a machine, the Nimatron, that played Nim. From May 11, 1940 to October 27, 1940 only a few people were able to beat the machine in that six week period; if they did they were presented with a coin that said Nim Champ. It was also one of the first ever electronic computerized games. Ferranti built a Nim playing computer which was displayed at the Festival of Britain in 1951. In 1952 Herbert Koppel, Eugene Grant and Howard Bailer, engineers from the W. L. Maxon Corporation, developed a machine weighing 23 kilograms (50 lb) which played Nim against a human opponent and regularly won. A Nim Playing Machine has been described made from TinkerToy.

The game of Nim was the subject of Martin Gardner's February 1958 Mathematical Games column in Scientific American. A version of Nim is played—and has symbolic importance—in the French New Wave film Last Year at Marienbad (1961).

🔗 Computer science

In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.

🔗 Philosophy 🔗 Philosophy/Philosophical literature 🔗 Books

Systems of Survival: A Dialogue on the Moral Foundations of Commerce and Politics is a book written by American urban activist Jane Jacobs in 1992.

It describes two fundamental and distinct ethical systems, or syndromes as she calls them: that of the Guardian and that of Commerce. She argues that these supply direction for the conduct of human life within societies, and understanding the tension between them can help us with public policy and personal choices.

🔗 Soviet Union 🔗 Russia 🔗 Law 🔗 Politics 🔗 Cities 🔗 Russia/Russian, Soviet, and CIS military history 🔗 Russia/politics and law of Russia 🔗 Russia/human geography of Russia

A closed city or closed town is a settlement where travel or residency restrictions are applied so that specific authorization is required to visit or remain overnight. They may be sensitive military establishments or secret research installations that require much more space or freedom than is available in a conventional military base. There may also be a wider variety of permanent residents including close family members of workers or trusted traders who are not directly connected with its clandestine purposes.

Many closed cities existed in the Soviet Union until its collapse in 1991. After 1991, a number of them still existed in the CIS countries, especially Russia. In modern Russia, such places are officially known as "closed administrative-territorial formations" (закрытые административно-территориальные образования, zakrytye administrativno-territorial'nye obrazovaniya, or ЗАТО ZATO for short).

🔗 Aviation

Bitching Betty is a slang term used by some pilots and aircrew (mainly North American), when referring to the voices used by some aircraft warning systems.

The enunciating voice, in at least some aircraft systems, may be either male or female and in some cases this may be selected according to pilot preference. If the voice is female, it may be referred to as Bitching Betty; if the voice is male, it may be referred to as Barking Bob. A female voice is heard on military aircraft such as the F-16 Fighting Falcon, the Eurofighter Typhoon and the Mikoyan MiG-29. A male voice is heard on Boeing commercial airliners and is also used in the BAE Hawk.

In the United Kingdom the term Nagging Nora is sometimes used, and in New Zealand the term used for Boeing aircraft is Hank the Yank. The voice warning system used on London Underground trains, which also uses a female voice, is known to some staff as Sonya, as it "gets on ya nerves".

🔗 Business 🔗 Urban studies and planning 🔗 Cities

A company town is a place where practically all stores and housing are owned by the one company that is also the main employer. Company towns are often planned with a suite of amenities such as stores, houses of worship, schools, markets and recreation facilities. They are usually bigger than a model village ("model" in the sense of an ideal to be emulated).

Some company towns have had high ideals, but many have been regarded as controlling and/or exploitative. Others developed more or less in unplanned fashion, such as Summit Hill, Pennsylvania, United States, one of the oldest, which began as an LC&N Co. mining camp and mine site nine miles (14.5 km) from the nearest outside road.

🔗 Physics

Flux pinning is the phenomenon where a superconductor is pinned in space above a magnet. The superconductor must be a type-II superconductor because type-I superconductors cannot be penetrated by magnetic fields. The act of magnetic penetration is what makes flux pinning possible. At higher magnetic fields (above Hc1 and below Hc2) the superconductor allows magnetic flux to enter in quantized packets surrounded by a superconducting current vortex (see Quantum vortex). These sites of penetration are known as flux tubes. The number of flux tubes per unit area is proportional to the magnetic field with a constant of proportionality equal to the magnetic flux quantum. On a simple 76 millimeter diameter, 1-micrometer thick disk, next to a magnetic field of 28 kA/m, there are approximately 100 billion flux tubes that hold 70,000 times the superconductor's weight. At lower temperatures the flux tubes are pinned in place and cannot move. This pinning is what holds the superconductor in place thereby allowing it to levitate. This phenomenon is closely related to the Meissner effect, though with one crucial difference — the Meissner effect shields the superconductor from all magnetic fields causing repulsion, unlike the pinned state of the superconductor disk which pins flux, and the superconductor in place.

🔗 Physics

In quantum mechanics, the Kochen–Specker (KS) theorem, also known as the Bell–Kochen–Specker theorem, is a "no-go" theorem proved by John S. Bell in 1966 and by Simon B. Kochen and Ernst Specker in 1967. It places certain constraints on the permissible types of hidden-variable theories, which try to explain the predictions of quantum mechanics in a context-independent way. The version of the theorem proved by Kochen and Specker also gave an explicit example for this constraint in terms of a finite number of state vectors.

The theorem is a complement to Bell's theorem (to be distinguished from the (Bell–)Kochen–Specker theorem of this article). While Bell's theorem established nonlocality to be a feature of any hidden variable theory that recovers the predictions of quantum mechanics, the KS theorem established contextuality to be an inevitable feature of such theories.

The theorem proves that there is a contradiction between two basic assumptions of the hidden-variable theories intended to reproduce the results of quantum mechanics: that all hidden variables corresponding to quantum-mechanical observables have definite values at any given time, and that the values of those variables are intrinsic and independent of the device used to measure them. The contradiction is caused by the fact that quantum-mechanical observables need not be commutative. It turns out to be impossible to simultaneously embed all the commuting subalgebras of the algebra of these observables in one commutative algebra, assumed to represent the classical structure of the hidden-variables theory, if the Hilbert space dimension is at least three.

The Kochen–Specker theorem excludes hidden-variable theories that assume that elements of physical reality can all be consistently represented simultaneously by the quantum mechanical Hilbert space formalism disregarding the context of a particular framework (technically a projective decomposition of the identity operator) related to the experiment or analytical viewpoint under consideration. As succinctly worded by Isham and Butterfield, (under the assumption of a universal probabilistic sample space as in non-contextual hidden variable theories) the Kochen–Specker theorem "asserts the impossibility of assigning values to all physical quantities whilst, at the same time, preserving the functional relations between them".

🔗 Military history 🔗 Military history/Military aviation 🔗 Military history/North American military history 🔗 Military history/United States military history 🔗 Military history/Cold War

The Battle of Palmdale was the attempted shoot-down of a runaway drone by United States Air Force interceptors in the skies over Southern California in mid-August 1956. The drone was launched from Point Mugu Naval Air Station and soon went out of control. Interceptor aircraft took off from Oxnard Air Force Base and caught up with the drone, but were ultimately unable to bring it down, in spite of expending all of their rockets. After it ran out of fuel, the unmanned aircraft crashed in a sparsely populated tract of desert.

During the incident over 1000 acres were scorched and a substantial amount of property was damaged or destroyed.