Have a deep view into what people are curious about.

Avram Noam Chomsky (born December 7, 1928) is an American professor and public intellectual known for his work in linguistics, political activism, and social criticism. Sometimes called "the father of modern linguistics", Chomsky is also a major figure in analytic philosophy and one of the founders of the field of cognitive science. He is a laureate professor of linguistics at the University of Arizona and an institute professor emeritus at the Massachusetts Institute of Technology (MIT). Among the most cited living authors, Chomsky has written more than 150 books on topics such as linguistics, war, and politics. Ideologically, he aligns with anarcho-syndicalism and libertarian socialism.

Born to Ashkenazi Jewish immigrants in Philadelphia, Chomsky developed an early interest in anarchism from alternative bookstores in New York City. He studied at the University of Pennsylvania. During his postgraduate work in the Harvard Society of Fellows, Chomsky developed the theory of transformational grammar for which he earned his doctorate in 1955. That year he began teaching at MIT, and in 1957 emerged as a significant figure in linguistics with his landmark work Syntactic Structures, which played a major role in remodeling the study of language. From 1958 to 1959 Chomsky was a National Science Foundation fellow at the Institute for Advanced Study. He created or co-created the universal grammar theory, the generative grammar theory, the Chomsky hierarchy, and the minimalist program. Chomsky also played a pivotal role in the decline of linguistic behaviorism, and was particularly critical of the work of B. F. Skinner.

An outspoken opponent of U.S. involvement in the Vietnam War, which he saw as an act of American imperialism, in 1967 Chomsky rose to national attention for his anti-war essay "The Responsibility of Intellectuals". Becoming associated with the New Left, he was arrested multiple times for his activism and placed on President Richard Nixon's list of political opponents. While expanding his work in linguistics over subsequent decades, he also became involved in the linguistics wars. In collaboration with Edward S. Herman, Chomsky later articulated the propaganda model of media criticism in Manufacturing Consent, and worked to expose the Indonesian occupation of East Timor. His defense of unconditional freedom of speech, including that of Holocaust denial, generated significant controversy in the Faurisson affair of the 1980s. Chomsky's commentary on the Cambodian genocide and the Bosnian genocide also generated controversy. Since retiring from active teaching at MIT, he has continued his vocal political activism, including opposing the 2003 invasion of Iraq and supporting the Occupy movement. An anti-Zionist, Chomsky considers Israel's treatment of Palestinians to be worse than South African-style apartheid, and criticizes U.S. support for Israel.

Chomsky is widely recognized as having helped to spark the cognitive revolution in the human sciences, contributing to the development of a new cognitivistic framework for the study of language and the mind. Chomsky remains a leading critic of U.S. foreign policy, contemporary capitalism, U.S. involvement and Israel's role in the Israeli–Palestinian conflict, and mass media. Chomsky and his ideas are highly influential in the anti-capitalist and anti-imperialist movements. Since 2017, he has been Agnese Helms Haury Chair in the Agnese Nelms Haury Program in Environment and Social Justice at the University of Arizona.

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

🔗 United States/U.S. Government 🔗 United States 🔗 Politics 🔗 Pirate Politics 🔗 Elections and Referendums 🔗 Politics/Political parties

The United States Pirate Party (USPP) is an American political party founded in 2006 by Brent Allison and Alex English. The party's platform is aligned with the global Pirate movement, and supports reform of copyright laws to reflect open source and free culture values, government transparency, protection of privacy and civil liberties. The United States Pirate Party also advocates for evidence-based policy, egalitarianism, meritocracy and the hacker ethic as well as the rolling back of corporate personhood and corporate welfare. The USPP has also made a priority to advocate for changes in the copyright laws and removal of patents. It is the belief of the party that these restrictions greatly hinder the sharing and expansion of knowledge and resources.

The party's national organization has existed in multiple incarnations since its 2006 founding. Its most recent is the Pirate National Committee (PNC), formed in 2012 as a coalition of state parties. The PNC officially recognizes Pirate parties from 8 states, and tracks and assists in the growth of more state parties throughout the United States. The board of the USPP is the board of the PNC. The current Chair of the Pirate National Committee is Lindsay-Anne Gorski (née Brunner).

🔗 Plants 🔗 Project-independent assessment

Cyclanthera brachystachya, the exploding cucumber (but not to be confused with Ecballium elaterium), in the cucurbit or gourd family (Cucurbitaceae), is a herbaceous vine usually grown for its curiosity value, but the fruit is also edible.

🔗 Technology

A planimeter, also known as a platometer, is a measuring instrument used to determine the area of an arbitrary two-dimensional shape.

🔗 Computing 🔗 Telecommunications 🔗 Lists 🔗 Computing/Networking

This is a list of interface bit rates, is a measure of information transfer rates, or digital bandwidth capacity, at which digital interfaces in a computer or network can communicate over various kinds of buses and channels. The distinction can be arbitrary between a computer bus, often closer in space, and larger telecommunications networks. Many device interfaces or protocols (e.g., SATA, USB, SAS, PCIe) are used both inside many-device boxes, such as a PC, and one-device-boxes, such as a hard drive enclosure. Accordingly, this page lists both the internal ribbon and external communications cable standards together in one sortable table.

🔗 United States 🔗 Africa 🔗 African diaspora 🔗 United States/Kentucky 🔗 Africa/Liberia

Kentucky in Africa was a colony in present-day Montserrado County, Liberia, founded in 1828 and settled by American free people of color, many of them former slaves. A state affiliate of the American Colonization Society, the Kentucky State Colonization Society raised money to transport people of color from Kentucky—freeborn volunteers as well as enslaved individuals set free on the condition that they leave the United States for Liberia. The Kentucky society bought a 40-square-mile (100 km²) site along the Saint Paul River (quite near the site of the present-day capital city of Monrovia) and named it Kentucky in Africa. Clay-Ashland. named after Henry Clay's Ashland Plantation, was the colony's primary settlement.

Notable residents of Kentucky in Africa include Alfred Francis Russell, the 10th President of Liberia, and William D. Coleman, the 13th President of Liberia, whose family settled in Clay-Ashland after emigrating from Fayette County, Kentucky.

Kentucky in Africa was annexed by Liberia in about 1847.

🔗 Law 🔗 Statistics 🔗 United Kingdom

R v Adams [1996] EWCA Crim 10 and 222, are rulings in the United Kingdom that banned the expression in court of headline (soundbite), standalone Bayesian statistics from the reasoning admissible before a jury in DNA evidence cases, in favour of the calculated average (and maximal) number of matching incidences among the nation's population. The facts involved strong but inconclusive evidence conflicting with the DNA evidence, leading to a retrial.

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