Hint: You are looking at the most popular articles. If you are interested in popular topics instead, click here.

🔗 United States 🔗 Biography 🔗 Internet 🔗 Computing 🔗 Internet culture 🔗 New York City 🔗 Biography/science and academia 🔗 Biography/arts and entertainment 🔗 United States/Massachusetts 🔗 Chicago 🔗 Open 🔗 United States/Massachusetts - Boston 🔗 Open Access

Aaron Hillel Swartz (November 8, 1986 – January 11, 2013) was an American computer programmer, entrepreneur, writer, political organizer, and Internet hacktivist. He was involved in the development of the web feed format RSS, the Markdown publishing format, the organization Creative Commons, and the website framework web.py, and joined the social news site Reddit six months after its founding. He was given the title of co-founder of Reddit by Y Combinator owner Paul Graham after the formation of Not a Bug, Inc. (a merger of Swartz's project Infogami and Redbrick Solutions, a company run by Alexis Ohanian and Steve Huffman). Swartz's work also focused on civic awareness and activism. He helped launch the Progressive Change Campaign Committee in 2009 to learn more about effective online activism. In 2010, he became a research fellow at Harvard University's Safra Research Lab on Institutional Corruption, directed by Lawrence Lessig. He founded the online group Demand Progress, known for its campaign against the Stop Online Piracy Act.

In 2011, Swartz was arrested by Massachusetts Institute of Technology (MIT) police on state breaking-and-entering charges, after connecting a computer to the MIT network in an unmarked and unlocked closet, and setting it to download academic journal articles systematically from JSTOR using a guest user account issued to him by MIT. Federal prosecutors, led by Carmen Ortiz, later charged him with two counts of wire fraud and eleven violations of the Computer Fraud and Abuse Act, carrying a cumulative maximum penalty of $1 million in fines, 35 years in prison, asset forfeiture, restitution, and supervised release. Swartz declined a plea bargain under which he would have served six months in federal prison. Two days after the prosecution rejected a counter-offer by Swartz, he was found dead by suicide in his Brooklyn apartment. In 2013, Swartz was inducted posthumously into the Internet Hall of Fame.

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

🔗 Typography 🔗 Primates

🔗 Economics 🔗 Business 🔗 Sociology 🔗 Occupations

This is a category of jobs that have been rendered obsolete due to advances in technology and/or social conditions.

🔗 Archaeology 🔗 Cities 🔗 Dacia

This is a list of present-day cities by the time period over which they have been continuously inhabited as a city. The age claims listed are generally disputed. Differences in opinion can result from different definitions of "city" as well as "continuous habitation" and historical evidence is often disputed. Caveats (and sources) to the validity of each claim are discussed in the "Notes" column.

🔗 United States 🔗 Military history 🔗 Military history/North American military history 🔗 Military history/United States military history 🔗 Canada 🔗 Agriculture 🔗 Canada/British Columbia 🔗 United States/Washington 🔗 Canada/Geography of Canada 🔗 Military history/European military history 🔗 Military history/British military history 🔗 Agriculture/Livestock

The Pig War was a confrontation in 1859 between the United States and United Kingdom over the British–U.S. border in the San Juan Islands, between Vancouver Island (present-day Canada) and the State of Washington. The Pig War, so called because it was triggered by the shooting of a pig, is also called the Pig Episode, the Pig and Potato War, the San Juan Boundary Dispute and the Northwestern Boundary Dispute. Aside from the death of one pig, this dispute was a bloodless conflict.

🔗 Books 🔗 Socialism 🔗 Anarchism

Bullshit Jobs: A Theory is a 2018 book by anthropologist David Graeber that argues the existence and societal harm of meaningless jobs. He contends that over half of societal work is pointless, which becomes psychologically destructive when paired with a work ethic that associates work with self-worth. Graeber describes five types of meaningless jobs, in which workers pretend their role is not as pointless or harmful as they know it to be: flunkies, goons, duct tapers, box tickers, and taskmasters. He argues that the association of labor with virtuous suffering is recent in human history, and proposes universal basic income as a potential solution.

The book is an extension of a popular essay Graeber published in 2013, which was later translated into 12 languages and whose underlying premise became the subject of a YouGov poll. Graeber subsequently solicited hundreds of testimonials of meaningless jobs and revised his case into a book that was published by Simon & Schuster in May 2018.

🔗 Mathematics

In mathematics, 0.999... (also written as 0.9, among other ways) denotes the repeating decimal consisting of infinitely many 9s after the decimal point (and one 0 before it). This repeating decimal represents the smallest number no less than every decimal number in the sequence (0.9, 0.99, 0.999, ...). This number is equal to 1. In other words, "0.999..." and "1" represent the same number. There are many ways of showing this equality, from intuitive arguments to mathematically rigorous proofs. The technique used depends on the target audience, background assumptions, historical context, and preferred development of the real numbers, the system within which 0.999... is commonly defined. (In other systems, 0.999... can have the same meaning, a different definition, or be undefined.)

More generally, every nonzero terminating decimal has two equal representations (for example, 8.32 and 8.31999...), which is a property of all base representations. The utilitarian preference for the terminating decimal representation contributes to the misconception that it is the only representation. For this and other reasons—such as rigorous proofs relying on non-elementary techniques, properties, or disciplines—some people can find the equality sufficiently counterintuitive that they question or reject it. This has been the subject of several studies in mathematics education.

🔗 Philosophy 🔗 Philosophy/Logic

The nirvana fallacy is the informal fallacy of comparing actual things with unrealistic, idealized alternatives. It can also refer to the tendency to assume there is a perfect solution to a particular problem. A closely related concept is the "perfect solution fallacy."

By creating a false dichotomy that presents one option which is obviously advantageous—while at the same time being completely implausible—a person using the nirvana fallacy can attack any opposing idea because it is imperfect. Under this fallacy, the choice is not between real world solutions; it is, rather, a choice between one realistic achievable possibility and another unrealistic solution that could in some way be "better".

🔗 Italy

Umarell (Italian pronunciation: [umaˈrɛl]; modern revisitation of the Bolognese dialect word umarèl [umaˈrɛːl]) is a term in the Italo-Romance variety of Bologna referring specifically to men of retirement age who spend their time watching construction sites, especially roadworks – stereotypically with hands clasped behind their back and offering unwanted advice. Its literal meaning is "little man" (also umarèin). The term is employed as lighthearted mockery or self-deprecation.

The modern term was popularised in 2005 by local writer Danilo Masotti through two books and an associated blog. In December 2020, the word was included in the Zingarelli dictionary.