Have a deep view into what people are curious about.

🔗 Disaster management 🔗 Crime 🔗 Law 🔗 England

R v Dudley and Stephens (1884) 14 QBD 273 DC is a leading English criminal case which established a precedent throughout the common law world that necessity is not a defence to a charge of murder. It concerned survival cannibalism following a shipwreck and its purported justification on the basis of a custom of the sea. It marked the culmination of a long history of attempts by the law, in the face of public opinion sympathetic to castaways, to outlaw the custom and it became something of a cause célèbre in Victorian Britain.

Dudley and Stephens were shipwrecked along with two other men. When one of them, the cabin boy Richard Parker, fell into a coma, Dudley and Stephens decided to kill him for food.

🔗 United States 🔗 Military history 🔗 Military history/North American military history 🔗 Military history/United States military history 🔗 Korea 🔗 Military history/Maritime warfare 🔗 Ships 🔗 Pritzker Military Library 🔗 Korea/North Korea 🔗 United States/Colorado

USS Pueblo (AGER-2) is a Banner-class environmental research ship, attached to Navy intelligence as a spy ship, which was attacked and captured by North Korean forces on 23 January 1968, in what is known today as the "Pueblo incident" or alternatively, as the "Pueblo crisis".

The seizure of the U.S. Navy ship and her 83 crew members, one of whom was killed in the attack, came less than a week after President Lyndon B. Johnson's State of the Union address to the United States Congress, a week before the start of the Tet Offensive in South Vietnam during the Vietnam War and three days after 31 men of North Korea's KPA Unit 124 had crossed the Korean Demilitarized Zone (DMZ) and killed 26 South Koreans in an attempt to attack the South Korean Blue House (executive mansion) in the capital Seoul. The taking of Pueblo and the abuse and torture of her crew during the subsequent 11-month prisoner drama became a major Cold War incident, raising tensions between western and eastern powers.

North Korea stated that Pueblo deliberately entered their territorial waters 7.6 nautical miles (14 km) away from Ryo Island, and that the logbook shows that they intruded several times. However, the United States maintains that the vessel was in international waters at the time of the incident and that any purported evidence supplied by North Korea to support its statements was fabricated. Pueblo, still held by North Korea today, officially remains a commissioned vessel of the United States Navy. Since early 2013, the ship has been moored along the Pothong River in Pyongyang and used there as a museum ship at the Victorious War Museum. Pueblo is the only ship of the U.S. Navy still on the commissioned roster currently being held captive.

🔗 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.

🔗 Military history 🔗 Military history/Fortifications 🔗 Archaeology 🔗 Military history/European military history 🔗 Military history/British military history 🔗 Sussex

The Trundle is an Iron Age hillfort on St Roche's Hill about 4 miles (6 km) north of Chichester, Sussex, England, built on the site of a causewayed enclosure, a form of early Neolithic earthwork found in northwestern Europe. Causewayed enclosures were built in England from shortly before 3700 BC until about 3300 BC; they are characterized by the full or partial enclosure of an area with ditches that are interrupted by gaps, or causeways. Their purpose is not known; they may have been settlements, meeting places, or ritual sites. Hillforts were built as early as 1000 BC, in the Late Bronze Age, and continued to be built through the Iron Age until shortly before the Roman occupation. A chapel dedicated to St Roche was built on the hill around the end of the 14th century; it was in ruins by 1570. A windmill and a beacon were subsequently built on the hill. The site was occasionally used as a meeting place in the post-medieval period.

The hillfort is still a substantial earthwork, but the Neolithic site was unknown until 1925 when archaeologist O.G.S. Crawford obtained an aerial photograph of the Trundle, clearly showing additional structures inside the ramparts of the hillfort. Causewayed enclosures were new to archaeology at the time, with only five known by 1930, and the photograph persuaded archaeologist E. Cecil Curwen to excavate the site in 1928 and 1930. These early digs established a construction date of about 500 BC to 100 BC for the hillfort and proved the existence of the Neolithic site. In 2011, the Gathering Time project published an analysis of radiocarbon dates from almost forty British causewayed enclosures, including some from the Trundle. The conclusion was that the Neolithic part of the site was probably constructed no earlier than the mid-fourth millennium BC. A review of the site in 1995 by Alastair Oswald noted the presence of fifteen possible Iron Age house platforms within the hillfort's ramparts.

🔗 Cryptography 🔗 Cryptography/Computer science

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.

🔗 Polynesia 🔗 Organizations 🔗 Hawaii

The Polynesian Voyaging Society (PVS) is a non-profit research and educational corporation based in Honolulu, Hawaiʻi. PVS was established to research and perpetuate traditional Polynesian voyaging methods. Using replicas of traditional double-hulled canoes, PVS undertakes voyages throughout Polynesia navigating without modern instruments.

🔗 Environment 🔗 Disaster management 🔗 London 🔗 Ecology 🔗 River Thames

The Great Stink was an event in central London in July and August 1858 during which the hot weather exacerbated the smell of untreated human waste and industrial effluent that was present on the banks of the River Thames. The problem had been mounting for some years, with an ageing and inadequate sewer system that emptied directly into the Thames. The miasma from the effluent was thought to transmit contagious diseases, and three outbreaks of cholera before the Great Stink were blamed on the ongoing problems with the river.

The smell, and fears of its possible effects, prompted action from the local and national administrators who had been considering possible solutions for the problem. The authorities accepted a proposal from the civil engineer Joseph Bazalgette to move the effluent eastwards along a series of interconnecting sewers that sloped towards outfalls beyond the metropolitan area. Work on high-, mid- and low-level systems for the new Northern and Southern Outfall Sewers started at the beginning of 1859 and lasted until 1875. To aid the drainage, pumping stations were placed to lift the sewage from lower levels into higher pipes. Two of the more ornate stations, Abbey Mills in Stratford and Crossness on the Erith Marshes, are listed for protection by English Heritage. Bazalgette's plan introduced the three embankments to London in which the sewers ran—the Victoria, Chelsea and Albert Embankments.

Bazalgette's work ensured that sewage was no longer dumped onto the shores of the Thames and brought an end to the cholera outbreaks; his actions are thought to have saved more lives than the efforts of any other Victorian official. His sewer system operates into the 21st century, servicing a city that has grown to a population of over eight million. The historian Peter Ackroyd argues that Bazalgette should be considered a hero of London.

🔗 Military history 🔗 Heraldry and vexillology 🔗 Catholicism 🔗 Military history/Crusades 🔗 Military history/Medieval warfare 🔗 Countries 🔗 Former countries 🔗 Military history/National militaries 🔗 Malta 🔗 Orders, decorations, and medals

The Sovereign Military Order of Malta (SMOM), officially the Sovereign Military Hospitaller Order of Saint John of Jerusalem, of Rhodes and of Malta (Italian: Sovrano Militare Ordine Ospedaliero di San Giovanni di Gerusalemme di Rodi e di Malta; Latin: Supremus Militaris Ordo Hospitalarius Sancti Ioannis Hierosolymitani Rhodiensis et Melitensis), commonly known as the Order of Malta, Malta Order or Knights of Malta, is a Catholic lay religious order, traditionally of military, chivalric and noble nature. Though it possesses no territory, the order is a sovereign entity of international law and maintains diplomatic relations with many countries.

SMOM claims continuity with the Knights Hospitaller, a chivalric order that was founded c. 1099 by the Blessed Gerard in the Kingdom of Jerusalem. The order is led by an elected Prince and Grand Master. Its motto is Tuitio fidei et obsequium pauperum ('defence of the faith and assistance to the poor'). The order venerates the Virgin Mary as its patroness, under the title of Our Lady of Philermos. Its modern-day role is largely focused on providing humanitarian assistance and assisting with international humanitarian relations, for which purpose it has had permanent observer status at the United Nations General Assembly since 1994.

🔗 Science Fiction 🔗 Plants

A Dyson tree is a hypothetical genetically engineered plant (perhaps resembling a tree) capable of growing inside a comet, suggested by the physicist Freeman Dyson. Plants could produce a breathable atmosphere within hollow spaces in the comet (or even within the plants themselves), utilising solar energy for photosynthesis and cometary materials for nutrients, thus providing self-sustaining habitats for humanity in the outer solar system analogous to a greenhouse in space or a shell grown by a mollusc.

A Dyson tree might consist of a few main trunk structures growing out from a comet nucleus, branching into limbs and foliage that intertwine, forming a spherical structure possibly dozens of kilometers across.

🔗 Extinction

Breeding back is a form of artificial selection by the deliberate selective breeding of domestic animals, in an attempt to achieve an animal breed with a phenotype that resembles a wild type ancestor, usually one that has gone extinct. Breeding back is not to be confused with dedomestication.

It must be kept in mind that a breeding-back breed may be very similar to the extinct wild type in phenotype, ecological niche, and to some extent genetics, but the original gene pool of that wild type was eliminated with its extinction. A breeding-back attempt cannot actually recreate the extinct wild type of the breeding target, as an extinct wild type cannot be resurrected through it. Furthermore, even the superficial authenticity of a bred-back animal depends on the quality of the stock used to breed the new lineage. As a result of this, some breeds, like Heck cattle, are at best a vague look-alike of the extinct wild type aurochs, according to the literature.