Have a deep view into what people are curious about.

🔗 Computer science

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.

🔗 Computing

FRACTRAN is a Turing-complete esoteric programming language invented by the mathematician John Conway. A FRACTRAN program is an ordered list of positive fractions together with an initial positive integer input n. The program is run by updating the integer n as follows:

1. for the first fraction f in the list for which nf is an integer, replace n by nf
2. repeat this rule until no fraction in the list produces an integer when multiplied by n, then halt.

Conway 1987 gives the following formula for primes in FRACTRAN:

${\displaystyle \left({\frac {17}{91}},{\frac {78}{85}},{\frac {19}{51}},{\frac {23}{38}},{\frac {29}{33}},{\frac {77}{29}},{\frac {95}{23}},{\frac {77}{19}},{\frac {1}{17}},{\frac {11}{13}},{\frac {13}{11}},{\frac {15}{2}},{\frac {1}{7}},{\frac {55}{1}}\right)}$

Starting with n=2, this FRACTRAN program generates the following sequence of integers:

2, 15, 825, 725, 1925, 2275, 425, 390, 330, 290, 770, ... (sequence A007542 in the OEIS)

After 2, this sequence contains the following powers of 2:

${\displaystyle 2^{2}=4,\,2^{3}=8,\,2^{5}=32,\,2^{7}=128,\,2^{11}=2048,\,2^{13}=8192,\,2^{17}=131072,\,2^{19}=524288,\,\dots }$ (sequence A034785 in the OEIS)

which are the prime powers of 2.

🔗 Military history 🔗 Military history/Military science, technology, and theory 🔗 Systems 🔗 Systems/Systems engineering

The OODA loop is the cycle observe–orient–decide–act, developed by military strategist and United States Air Force Colonel John Boyd. Boyd applied the concept to the combat operations process, often at the operational level during military campaigns. It is now also often applied to understand commercial operations and learning processes. The approach explains how agility can overcome raw power in dealing with human opponents. It is especially applicable to cyber security and cyberwarfare.

The OODA loop has become an important concept in litigation, business, law enforcement, management education, and military strategy. According to Boyd, decision-making occurs in a recurring cycle of observe–orient–decide–act. An entity (whether an individual or an organization) that can process this cycle quickly, observing and reacting to unfolding events more rapidly than an opponent, can thereby "get inside" the opponent's decision cycle and gain the advantage.

🔗 India 🔗 India/Indian literature workgroup

The Shishupala Vadha (Sanskrit: शिशुपालवध, IAST: Śiśupāla-vadha, lit. "the slaying of Shishupala") is a work of classical Sanskrit poetry (kāvya) composed by Māgha in the 7th or 8th century. It is an epic poem in 20 sargas (cantos) of about 1800 highly ornate stanzas, and is considered one of the six Sanskrit mahakavyas, or "great epics". It is also known as the Māgha-kāvya after its author. Like other kavyas, it is admired more for its exquisite descriptions and lyrical quality than for any dramatic development of plot. Its 19th canto is noted for verbal gymnastics and wordplay; see the section on linguistic ingenuity below.

🔗 Politics

The Democracy Index is an index compiled by the Economist Intelligence Unit (EIU), a UK-based company. It intends to measure the state of democracy in 167 countries, of which 166 are sovereign states and 164 are UN member states.

The index was first published in 2006, with updates for 2008, 2010 and later years. The index is based on 60 indicators grouped in five different categories, measuring pluralism, civil liberties and political culture. In addition to a numeric score and a ranking, the index categorises each country in one of four regime types: full democracies, flawed democracies, hybrid regimes and authoritarian regimes.

🔗 Sociology

The circulation of elite is a theory of regime change described by Italian social scientist Vilfredo Pareto (1848–1923).

Changes of regime, revolutions, and so on occur not when rulers are overthrown from below, but when one elite replaces another. The role of ordinary people in such transformation is not that of initiators or principal actors, but as followers and supporters of one elite or another.

Monocular rivalry is a phenomenon of human visual perception that occurs when two different images are optically superimposed. During prolonged viewing, one image becomes clearer than the other for a few moments, then the other image becomes clearer than the first for a few moments. These alternations in clarity continue at random for as long as one looks. Occasionally one image will become exclusively visible and the other image invisible.

In the demonstration, one image is a green grating and the other is a red grating. During prolonged inspection, the viewer can see the green grating as clearer than the red grating for a few moments, then the reverse. Occasionally the green grating will be all that is visible and occasionally the red grating will be all that is visible. Occasionally, at transitions, one will briefly see irregular composites of the two gratings (such as the red and green gratings superimposed but with one or two bars of the green grating invisible).

Monocular rivalry is easier to see when the component stimuli are of opposite colors, but it also occurs when the component stimuli have the same colors. As long as the two component stimuli differ spatiotemporally in some way, such as orientation (as shown), spatial frequency, or direction of movement, monocular rivalry can be seen.

🔗 Physics

An electret (formed of as a portmanteau of electr- from "electricity" and -et from "magnet") is a dielectric material that has a quasi-permanent electric charge or dipole polarisation. An electret generates internal and external electric fields, and is the electrostatic equivalent of a permanent magnet. Although Oliver Heaviside coined this term in 1885, materials with electret properties were already known to science and had been studied since the early 1700s. One particular example is the electrophorus, a device consisting of a slab with electret properties and a separate metal plate. The electrophorus was originally invented by Johan Carl Wilcke in Sweden and again by Alessandro Volta in Italy.

The name derives from "electron" and "magnet"; drawing analogy to the formation of a magnet by alignment of magnetic domains in a piece of iron. Historically, electrets were made by first melting a suitable dielectric material such as a polymer or wax that contains polar molecules, and then allowing it to re-solidify in a powerful electrostatic field. The polar molecules of the dielectric align themselves to the direction of the electrostatic field, producing a dipole electret with a permanent electrostatic bias. Modern electrets are usually made by embedding excess charges into a highly insulating dielectric, e.g. by means of an electron beam, corona discharge, injection from an electron gun, electric breakdown across a gap, or a dielectric barrier.

The carrosses à cinq sols (English: five-sol coaches) were the first modern form of public transport in the world, developed by mathematician and philosopher Blaise Pascal.

🔗 United States 🔗 Germany 🔗 Military history 🔗 Military history/North American military history 🔗 Military history/United States military history 🔗 Military history/Military science, technology, and theory 🔗 Military history/Weaponry 🔗 Military history/Intelligence 🔗 United Kingdom 🔗 Military history/World War II 🔗 Military history/German military history 🔗 Military history/European military history 🔗 Military history/British military history

Operation Epsilon was the codename of a program in which Allied forces near the end of World War II detained ten German scientists who were thought to have worked on Nazi Germany's nuclear program. The scientists were captured between May 1 and June 30, 1945, as part of the Allied Alsos Mission, mainly as part of its Operation Big sweep through southwestern Germany.

They were interned at Farm Hall, a bugged house in Godmanchester, near Cambridge, England, from July 3, 1945, to January 3, 1946. The primary goal of the program was to determine how close Nazi Germany had been to constructing an atomic bomb by listening to their conversations.