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

🔗 Biography 🔗 Computing 🔗 Mathematics 🔗 Military history 🔗 Military history/North American military history 🔗 Military history/United States military history 🔗 Military history/Military science, technology, and theory 🔗 Physics 🔗 Economics 🔗 Philosophy 🔗 Philosophy/Logic 🔗 Biography/science and academia 🔗 Philosophy/Philosophy of science 🔗 Philosophy/Contemporary philosophy 🔗 Military history/Military biography 🔗 Biography/military biography 🔗 History of Science 🔗 Computing/Computer science 🔗 Philosophy/Philosophers 🔗 Education 🔗 Hungary 🔗 Military history/World War II 🔗 Military history/Cold War 🔗 Physics/History 🔗 Physics/Biographies 🔗 Game theory 🔗 Eastern Europe

John von Neumann (; Hungarian: Neumann János Lajos, pronounced [ˈnɒjmɒn ˈjaːnoʃ ˈlɒjoʃ]; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. Von Neumann was generally regarded as the foremost mathematician of his time and said to be "the last representative of the great mathematicians"; who integrated both pure and applied sciences.

He made major contributions to a number of fields, including mathematics (foundations of mathematics, functional analysis, ergodic theory, representation theory, operator algebras, geometry, topology, and numerical analysis), physics (quantum mechanics, hydrodynamics, and quantum statistical mechanics), economics (game theory), computing (Von Neumann architecture, linear programming, self-replicating machines, stochastic computing), and statistics.

He was a pioneer of the application of operator theory to quantum mechanics in the development of functional analysis, and a key figure in the development of game theory and the concepts of cellular automata, the universal constructor and the digital computer.

He published over 150 papers in his life: about 60 in pure mathematics, 60 in applied mathematics, 20 in physics, and the remainder on special mathematical subjects or non-mathematical ones. His last work, an unfinished manuscript written while he was in hospital, was later published in book form as The Computer and the Brain.

His analysis of the structure of self-replication preceded the discovery of the structure of DNA. In a short list of facts about his life he submitted to the National Academy of Sciences, he stated, "The part of my work I consider most essential is that on quantum mechanics, which developed in Göttingen in 1926, and subsequently in Berlin in 1927–1929. Also, my work on various forms of operator theory, Berlin 1930 and Princeton 1935–1939; on the ergodic theorem, Princeton, 1931–1932."

During World War II, von Neumann worked on the Manhattan Project with theoretical physicist Edward Teller, mathematician Stanisław Ulam and others, problem solving key steps in the nuclear physics involved in thermonuclear reactions and the hydrogen bomb. He developed the mathematical models behind the explosive lenses used in the implosion-type nuclear weapon, and coined the term "kiloton" (of TNT), as a measure of the explosive force generated.

After the war, he served on the General Advisory Committee of the United States Atomic Energy Commission, and consulted for a number of organizations, including the United States Air Force, the Army's Ballistic Research Laboratory, the Armed Forces Special Weapons Project, and the Lawrence Livermore National Laboratory. As a Hungarian émigré, concerned that the Soviets would achieve nuclear superiority, he designed and promoted the policy of mutually assured destruction to limit the arms race.

🔗 Brands 🔗 Time

Atmos is the brand name of a mechanical torsion pendulum clock manufactured by Jaeger-LeCoultre in Switzerland which does not need to be wound manually. It gets the energy it needs to run from temperature and atmospheric pressure changes in the environment, and can run for years without human intervention.

The clock is driven by a mainspring, which is wound by the expansion and contraction of liquid and gaseous ethyl chloride in an internal hermetically sealed bellows. The ethyl chloride vaporises into an expansion chamber as the temperature rises, compressing a spiral spring; with a fall in temperature the gas condenses and the spring slackens. This motion constantly winds the mainspring. A temperature variation of only one degree in the range between 15 °C (59 °F) and 30 °C (86 °F), or a pressure variation of 3 mmHg, is sufficient for two days' operation.

In order to run the clock on this small amount of energy, everything inside the Atmos has to work in as friction-free a manner as possible. For timekeeping it uses a torsion pendulum, which consumes less energy than an ordinary pendulum. The torsion pendulum has a period of precisely one minute; thirty seconds to rotate in one direction and thirty seconds to return to the starting position. This is thirty times slower than the 0.994 m (39.1 in) seconds pendulum typically found in a longcase clock, where each swing (or half-period) takes one second.

🔗 Iran

Taarof or Tarof (also transliterated as Taʿârof; Persian: تعارف‎) is a Persian word which refers to an Iranian form of civility or art of etiquette that emphasizes both deference and social rank.

Etymologically the origins of the word trace back to an Arabic word meaning "acquaintance" or "knowledge", but Iranians have transformed taarof into something "uniquely Iranian" and tend to understand it as a ritual politeness that levels the playing field and promotes equality in a hierarchical culture. Taarof between friends, or a host and guest, emphasizes the value of friendship as a priority to everything else in the world. Another understanding is that taarof is a way of managing social relations with decorous manners. It could be used as a basis for mutual goodwill (positively) or as "a social or political weapon that confuses the recipient and puts him at a disadvantage" (negatively). Those who are intimately familiar with Iranian culture seem to agree that taarof is one of the most fundamental things to understand about Iranian culture.

According to Middle East scholar William O. Beeman, "Taarof is an extraordinarily difficult concept encompassing a broad complex of behaviors which mark and underscore differences in social status." For example, in Iranian culture, whoever walks through a doorway first gets a form of status, but the person who makes the other go through the door first also gains status by having made the other person do it through their show of grace and deference. When it comes to matters of rank, "one defers to superiors (tribute), and confers on inferiors (favor), presses honor on equals (neither tribute nor favor) or accepts the honor from a proper source, and thereby "wins". Status is relative for individuals in different interactions, according to Beeman, and rights and obligations shift constantly with changes in social environments.

🔗 United States 🔗 Biography 🔗 California 🔗 Computing 🔗 Computing/Software 🔗 United States/Washington - Seattle 🔗 United States/Washington

Gary Arlen Kildall (; May 19, 1942 – July 11, 1994) was an American computer scientist and microcomputer entrepreneur who created the CP/M operating system and founded Digital Research, Inc. (DRI). Kildall was one of the first people to see microprocessors as fully capable computers, rather than equipment controllers, and to organize a company around this concept. He also co-hosted the PBS TV show The Computer Chronicles. Although his career in computing spanned more than two decades, he is mainly remembered in connection with IBM's unsuccessful attempt in 1980 to license CP/M for the IBM Personal Computer.

🔗 Mathematics 🔗 Economics 🔗 Politics 🔗 Elections and Referendums

In social choice theory, Arrow's impossibility theorem, the general possibility theorem or Arrow's paradox is an impossibility theorem stating that when voters have three or more distinct alternatives (options), no ranked voting electoral system can convert the ranked preferences of individuals into a community-wide (complete and transitive) ranking while also meeting a specified set of criteria: unrestricted domain, non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives. The theorem is often cited in discussions of voting theory as it is further interpreted by the Gibbard–Satterthwaite theorem. The theorem is named after economist and Nobel laureate Kenneth Arrow, who demonstrated the theorem in his doctoral thesis and popularized it in his 1951 book Social Choice and Individual Values. The original paper was titled "A Difficulty in the Concept of Social Welfare".

In short, the theorem states that no rank-order electoral system can be designed that always satisfies these three "fairness" criteria:

• If every voter prefers alternative X over alternative Y, then the group prefers X over Y.
• If every voter's preference between X and Y remains unchanged, then the group's preference between X and Y will also remain unchanged (even if voters' preferences between other pairs like X and Z, Y and Z, or Z and W change).
• There is no "dictator": no single voter possesses the power to always determine the group's preference.

Cardinal voting electoral systems are not covered by the theorem, as they convey more information than rank orders. However, Gibbard's theorem extends Arrow's theorem for that case. The theorem can also be sidestepped by weakening the notion of independence.

The axiomatic approach Arrow adopted can treat all conceivable rules (that are based on preferences) within one unified framework. In that sense, the approach is qualitatively different from the earlier one in voting theory, in which rules were investigated one by one. One can therefore say that the contemporary paradigm of social choice theory started from this theorem.

The practical consequences of the theorem are debatable: Arrow has said "Most systems are not going to work badly all of the time. All I proved is that all can work badly at times."

🔗 Psychology

Psychohistory is an amalgam of psychology, history, and related social sciences and the humanities. It examines the "why" of history, especially the difference between stated intention and actual behavior. Psychobiography, childhood, group dynamics, mechanisms of psychic defense, dreams, and creativity are primary areas of research. It works to combine the insights of psychology, especially psychoanalysis, with the research methodology of the social sciences and humanities to understand the emotional origin of the behavior of individuals, groups and nations, past and present. Work in the field has been done in the areas of childhood, creativity, dreams, family dynamics, overcoming adversity, personality, political and presidential psychobiography. There are major psychohistorical studies of studies of anthropology, art, ethnology, history, politics and political science, and much else.

🔗 United States 🔗 United States/Arizona 🔗 London Transport

London Bridge is a bridge in Lake Havasu City, Arizona. It was built in the 1830s and formerly spanned the River Thames in London, England. It was dismantled in 1967 and relocated to Arizona. The Arizona bridge is a reinforced concrete structure clad in the original masonry of the 1830s bridge, which was purchased by Robert P. McCulloch from the City of London. McCulloch had exterior granite blocks from the original bridge numbered and transported to America to construct the present bridge in Lake Havasu City, a planned community he established in 1964 on the shore of Lake Havasu. The bridge was completed in 1971 (along with a canal), and links an island in the Colorado River with the main part of Lake Havasu City.

🔗 Computer science

TLA⁺ is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify programs, especially concurrent systems and distributed systems. TLA⁺ has been described as exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems; TLA is an acronym for Temporal Logic of Actions.

For design and documentation, TLA⁺ fulfills the same purpose as informal technical specifications. However, TLA⁺ specifications are written in a formal language of logic and mathematics, and the precision of specifications written in this language is intended to uncover design flaws before system implementation is underway.

Since TLA⁺ specifications are written in a formal language, they are amenable to finite model checking. The model checker finds all possible system behaviours up to some number of execution steps, and examines them for violations of desired invariance properties such as safety and liveness. TLA⁺ specifications use basic set theory to define safety (bad things won't happen) and temporal logic to define liveness (good things eventually happen).

TLA⁺ is also used to write machine-checked proofs of correctness both for algorithms and mathematical theorems. The proofs are written in a declarative, hierarchical style independent of any single theorem prover backend. Both formal and informal structured mathematical proofs can be written in TLA⁺; the language is similar to LaTeX, and tools exist to translate TLA⁺ specifications to LaTeX documents.

TLA⁺ was introduced in 1999, following several decades of research into a verification method for concurrent systems. A toolchain has since developed, including an IDE and distributed model checker. The pseudocode-like language PlusCal was created in 2009; it transpiles to TLA⁺ and is useful for specifying sequential algorithms. TLA⁺² was announced in 2014, expanding language support for proof constructs. The current TLA⁺ reference is The TLA⁺ Hyperbook by Leslie Lamport.

🔗 China

Counting rods (traditional Chinese: 籌; simplified Chinese: 筹; pinyin: chóu; Japanese: 算木; rōmaji: sangi; Korean: sangaji) are small bars, typically 3–14 cm long, that were used by mathematicians for calculation in ancient East Asia. They are placed either horizontally or vertically to represent any integer or rational number.

The written forms based on them are called rod numerals. They are a true positional numeral system with digits for 1–9 and a blank for 0, from the Warring states period (circa 475 BCE) to the 16th century.

🔗 Agriculture 🔗 Food and drink 🔗 Plants 🔗 Horticulture and Gardening 🔗 Genetics

Atomic gardening is a form of mutation breeding where plants are exposed to radioactive sources, typically cobalt-60, in order to generate mutations, some of which have turned out to be useful.

The practice of plant irradiation has resulted in the development of over 2000 new varieties of plants, most of which are now used in agricultural production. One example is the resistance to verticillium wilt of the "Todd's Mitcham" cultivar of peppermint which was produced from a breeding and test program at Brookhaven National Laboratory from the mid-1950s. Additionally, the Rio Star Grapefruit, developed at the Texas A&M Citrus Center in the 1970s, now accounts for over three quarters of the grapefruit produced in Texas.