Have a deep view into what people are curious about.

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

🔗 Business 🔗 Parliamentary Procedure

Robert's Rules of Order, often simply referred to as Robert's Rules, is a manual of parliamentary procedure by U.S. Army officer Henry Martyn Robert. "The object of Rules of Order is to assist an assembly to accomplish the work for which it was designed [...] Where there is no law [...] there is the least of real liberty". The term "Robert's Rules of Order" is also used more generically to refer to any of the more recent editions, by various editors and authors, based on any of Robert's original editions, and the term is used more generically in the United States to refer to parliamentary procedure.

Robert's manual was first published in 1876 as an adaptation of the rules and practice of the United States Congress to the needs of non-legislative societies. Robert's Rules is the most widely used manual of parliamentary procedure in the United States. It governs the meetings of a diverse range of organizations—including church groups, county commissions, homeowners associations, nonprofit associations, professional societies, school boards, and trade unions—that have adopted it as their parliamentary authority. Robert published four editions of the manual before his death in 1923, the last being the thoroughly revised and expanded Fourth Edition published as Robert's Rules of Order Revised in May 1915.

🔗 Biography 🔗 Mathematics 🔗 Statistics 🔗 Systems 🔗 Biography/science and academia 🔗 Systems/Visualization 🔗 Graphic design

Edward Rolf Tufte (; born March 14, 1942) is an American statistician and professor emeritus of political science, statistics, and computer science at Yale University. He is noted for his writings on information design and as a pioneer in the field of data visualization.

🔗 Journalism 🔗 Scientology 🔗 Crime and Criminal Biography

Operation Freakout, also known as Operation PC Freakout, was a Church of Scientology covert plan intended to have the U.S. author and journalist Paulette Cooper imprisoned or committed to a psychiatric hospital. The plan, undertaken in 1976 following years of church-initiated lawsuits and covert harassment, was meant to eliminate the perceived threat that Cooper posed to the church and obtain revenge for her publication in 1971 of a highly critical book, The Scandal of Scientology. The Federal Bureau of Investigation discovered documentary evidence of the plot and the preceding campaign of harassment during an investigation into the Church of Scientology in 1977, eventually leading to the church compensating Cooper in an out-of-court settlement.

🔗 Military history 🔗 United Kingdom 🔗 Military history/World War II 🔗 Animal rights 🔗 Animals 🔗 Military history/European military history 🔗 Military history/British military history

The British pet massacre was an event in 1939 in the United Kingdom where over 750,000 pets were killed in preparation for food shortages during World War II. It was referred to at the time as the September Holocaust, and later sources describe it as a "holocaust of pets". In London alone, during the first week of the Second World War around 400,000 companion animals, about 26% of all cats and dogs were killed.

No bombs were to fall on the UK mainland until April 1940.

Similar events happened in mainland Europe, for example, the killing of millions of farm animals in Denmark due to the lack of imported fodder for them.

🔗 Medicine 🔗 Biology 🔗 Skepticism 🔗 Transhumanism 🔗 Alternative Views 🔗 Guild of Copy Editors 🔗 Alternative medicine 🔗 Longevity

Life extension is the idea of extending the human lifespan, either modestly – through improvements in medicine – or dramatically by increasing the maximum lifespan beyond its generally settled limit of 125 years. The ability to achieve such dramatic changes, however, does not currently exist.

Some researchers in this area, and "life extensionists", "immortalists" or "longevists" (those who wish to achieve longer lives themselves), believe that future breakthroughs in tissue rejuvenation, stem cells, regenerative medicine, molecular repair, gene therapy, pharmaceuticals, and organ replacement (such as with artificial organs or xenotransplantations) will eventually enable humans to have indefinite lifespans (agerasia) through complete rejuvenation to a healthy youthful condition. The ethical ramifications, if life extension becomes a possibility, are debated by bioethicists.

The sale of purported anti-aging products such as supplements and hormone replacement is a lucrative global industry. For example, the industry that promotes the use of hormones as a treatment for consumers to slow or reverse the aging process in the US market generated about $50 billion of revenue a year in 2009. The use of such products has not been proven to be effective or safe.

🔗 International relations 🔗 Technology 🔗 Internet 🔗 Computing 🔗 Computer science 🔗 Law 🔗 Business 🔗 Politics 🔗 Robotics 🔗 International relations/International law 🔗 Futures studies 🔗 European Union 🔗 Science Policy 🔗 Artificial Intelligence

The Artificial Intelligence Act (AI Act) is a European Union regulation concerning artificial intelligence (AI).

It establishes a common regulatory and legal framework for AI in the European Union (EU). Proposed by the European Commission on 21 April 2021, and then passed in the European Parliament on 13 March 2024, it was unanimously approved by the Council of the European Union on 21 May 2024. The Act creates a European Artificial Intelligence Board to promote national cooperation and ensure compliance with the regulation. Like the EU's General Data Protection Regulation, the Act can apply extraterritorially to providers from outside the EU, if they have users within the EU.

It covers all types of AI in a broad range of sectors; exceptions include AI systems used solely for military, national security, research and non-professional purposes. As a piece of product regulation, it would not confer rights on individuals, but would regulate the providers of AI systems and entities using AI in a professional context. The draft Act was revised following the rise in popularity of generative AI systems, such as ChatGPT, whose general-purpose capabilities did not fit the main framework. More restrictive regulations are planned for powerful generative AI systems with systemic impact.

The Act classifies AI applications by their risk of causing harm. There are four levels – unacceptable, high, limited, minimal – plus an additional category for general-purpose AI. Applications with unacceptable risks are banned. High-risk applications must comply with security, transparency and quality obligations and undergo conformity assessments. Limited-risk applications only have transparency obligations and those representing minimal risks are not regulated. For general-purpose AI, transparency requirements are imposed, with additional evaluations when there are high risks.

La Quadrature du Net (LQDN) stated that the adopted version of the AI Act would be ineffective, arguing that the role of self-regulation and exemptions in the act rendered it "largely incapable of standing in the way of the social, political and environmental damage linked to the proliferation of AI".

🔗 United States 🔗 Politics 🔗 Women's History 🔗 United States/U.S. presidential elections 🔗 United States/District of Columbia 🔗 Current events 🔗 Joe Biden 🔗 Women in Red

The inauguration of Joe Biden as the 46th President of the United States took place on January 20, 2021, before noon (EST), marking the commencement of the four-year term of Joe Biden as president and Kamala Harris as vice president. The inaugural ceremony took place on the West Front of the United States Capitol in Washington, D.C. and was the 59th presidential inauguration. Biden took the presidential oath of office, before which Harris took the vice presidential oath of office.

The inauguration took place amidst extraordinary political, public health, economic, and national security crises, including outgoing President Donald Trump's attempts to overturn the 2020 United States presidential election, which incited a storming of the Capitol, Trump's unprecedented second impeachment, and a threat of widespread civil unrest, which stimulated a nationwide law enforcement response. Festivities were sharply curtailed by efforts to prevent the spread of COVID-19 and mitigate the potential for violence near the Capitol. The live audience was limited to members of the 117th United States Congress and, for each, one guest of their choosing, resembling a State of the Union address. Public health measures such as mandatory face coverings, testing, temperature checks, and social distancing were used to protect participants in the ceremony.

"America United" and "Our Determined Democracy: Forging a More Perfect Union"—a reference to the Preamble to the United States Constitution—served as the inaugural themes.

🔗 Mass surveillance 🔗 Novels 🔗 Books 🔗 Novels/Science fiction 🔗 Science Fiction 🔗 Freedom of speech 🔗 Politics 🔗 Socialism

Nineteen Eighty-Four: A Novel, often published as 1984, is a dystopian novel by English novelist George Orwell. It was published in June 1949 by Secker & Warburg as Orwell's ninth and final book completed in his lifetime. The story was mostly written at Barnhill, a farmhouse on the Scottish island of Jura, at times while Orwell suffered from severe tuberculosis. Thematically, Nineteen Eighty-Four centres on the consequences of government over-reach, totalitarianism, mass surveillance, and repressive regimentation of all persons and behaviours within society.

The story takes place in an imagined future, the year 1984, when much of the world has fallen victim to perpetual war, omnipresent government surveillance, historical negationism, and propaganda. Great Britain, known as Airstrip One, has become a province of a superstate named Oceania that is ruled by the Party who employ the Thought Police to persecute individuality and independent thinking. Big Brother, the leader of the Party, enjoys an intense cult of personality despite the fact that he may not exist. The protagonist, Winston Smith, is a diligent and skillful rank-and-file worker and Party member who secretly hates the Party and dreams of rebellion. He enters a forbidden relationship with a co-worker, Julia.

Nineteen Eighty-Four has become a classic literary example of political and dystopian fiction. Many terms used in the novel have entered common usage, including Big Brother, doublethink, thoughtcrime, Newspeak, Room 101, telescreen, 2 + 2 = 5, prole, and memory hole. Nineteen Eighty-Four also popularised the adjective "Orwellian", connoting things such as official deception, secret surveillance, brazenly misleading terminology, and manipulation of recorded history by a totalitarian or authoritarian state. Time included it on its 100 best English-language novels from 1923 to 2005. It was placed on the Modern Library's 100 Best Novels, reaching No. 13 on the editors' list and No. 6 on the readers' list. In 2003, the novel was listed at No. 8 on The Big Read survey by the BBC. Parallels have been drawn between the novel's subject matter and real life instances of totalitarianism, mass surveillance, and violations of freedom of expression among other themes.

🔗 Video games 🔗 Computing 🔗 Computing/Computer hardware 🔗 Japan 🔗 Japan/Business and economy 🔗 Video games/Sega

SuperH (or SH) is a 32-bit reduced instruction set computing (RISC) instruction set architecture (ISA) developed by Hitachi and currently produced by Renesas. It is implemented by microcontrollers and microprocessors for embedded systems.

At the time of introduction, SuperH was notable for having fixed-length 16-bit instructions in spite of its 32-bit architecture. This was a novel approach; at the time, RISC processors always used an instruction size that was the same as the internal data width, typically 32-bits. Using smaller instructions had consequences, the register file was smaller and instructions were generally two-operand format. But for the market the SuperH was aimed at, this was a small price to pay for the improved memory and processor cache efficiency.

Later versions of the design, starting with SH-5, included both 16- and 32-bit instructions, with the 16-bit versions mapping onto the 32-bit version inside the CPU. This allowed the machine code to continue using the shorter instructions to save memory, while not demanding the amount of instruction decoding logic needed if they were completely separate instructions. This concept is now known as a compressed instruction set and is also used by other companies, the most notable example being ARM for its Thumb instruction set.

As of 2015, many of the original patents for the SuperH architecture are expiring and the SH-2 CPU has been reimplemented as open source hardware under the name J2.