Have a deep view into what people are curious about.

🔗 Oregon

The Neskowin Ghost Forest is the remnants of a Sitka spruce forest on the Oregon Coast of the United States. The stumps were likely created when an earthquake of the Cascadia subduction zone abruptly lowered the trees, that were then covered by mud from landslides or debris from a tsunami. Many of the stumps are over 2,000 years old.

The stumps were unearthed when turbulent storms swept away sand during the winter of 1997–1998. It is one of over thirty ghost forests along the Oregon and Washington Coast, though many appear as flat roots and not stumps. Most notably, Washington's ghost forest of red cedars was integral to the discovery of the Cascadia fault line. These ghost forests are evidence of significant, rapid changes in coastline – often due to seismic events such as the 1700 Cascadia earthquake.

The stumps at Neskowin are 2,000 years old, according to carbon dating. While living, the trees that make up the Neskowin Ghost Forest were similar to present-day coastal rain forest. They stood 150–200 feet (46–61 m) high and were at least 200 years old when buried. However, it's difficult to determine when or how the trees died, because it occurred before written history in the region. It was originally believed that these trees died slowly, as the roots were gradually submerged in saltwater due to changes in the sea levels. Yet research by geologists revealed that the soil, still present at the roots of the stumps, was buried abruptly – indicating a more sudden and dramatic event, like an earthquake, as the cause.

The ghost forest is near Proposal Rock. It is part of the Neskowin Beach State Recreation Site. The best time to see the stumps is low tide, during winter (due to January, February and March bringing the lowest tides of the year.)

🔗 Biography 🔗 Biography/science and academia 🔗 Israel

Abraham Lempel (Hebrew: אברהם למפל, 10 February 1936 – 4 February 2023) was an Israeli computer scientist and one of the fathers of the LZ family of lossless data compression algorithms.

🔗 Novels 🔗 Slovenia

Alamut is a novel by Vladimir Bartol, first published in 1938 in Slovenian, dealing with the story of Hassan-i Sabbah and the Hashshashin, and named after their Alamut fortress. The maxim of the novel is "Nothing is an absolute reality; all is permitted". This book was one of the inspirations for the video game series Assassin's Creed.

Bartol first started to conceive the novel in the early 1930s, when he lived in Paris. In the French capital, he met with the Slovene literary critic Josip Vidmar, who introduced him to the story of Hassan-i Sabbah. A further stimulation for the novel came from the assassination of Alexander I of Yugoslavia perpetrated by Croatian and Bulgarian radical nationalists, on the alleged commission of the Italian fascist government. When it was originally published, the novel was sarcastically dedicated to Benito Mussolini.

🔗 Ships

🔗 Computing

A quine is a computer program which takes no input and produces a copy of its own source code as its only output. The standard terms for these programs in the computability theory and computer science literature are "self-replicating programs", "self-reproducing programs", and "self-copying programs".

A quine is a fixed point of an execution environment, when the execution environment is viewed as a function transforming programs into their outputs. Quines are possible in any Turing complete programming language, as a direct consequence of Kleene's recursion theorem. For amusement, programmers sometimes attempt to develop the shortest possible quine in any given programming language.

The name "quine" was coined by Douglas Hofstadter, in his popular science book Gödel, Escher, Bach, in honor of philosopher Willard Van Orman Quine (1908–2000), who made an extensive study of indirect self-reference, and in particular for the following paradox-producing expression, known as Quine's paradox:

"Yields falsehood when preceded by its quotation" yields falsehood when preceded by its quotation.

🔗 Internet culture

Zalgo text, also known as cursed text due to the nature of its use, is digital text that has been modified with numerous combining characters, Unicode symbols used to add diacritics above or below letters, to appear frightening or glitchy.

Named for a 2004 Internet creepypasta story that ascribes it to the influence of an eldritch deity, Zalgo text has become a significant component of many Internet memes, particularly in the "surreal meme" culture. The formatting of Zalgo text also allows it to be used to halt or impair certain computer functions, whether intentionally or not.

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

🔗 United States 🔗 Law 🔗 Women's History 🔗 LGBT studies 🔗 Virginia 🔗 African diaspora 🔗 Civil Rights Movement 🔗 U.S. Supreme Court cases

Loving v. Virginia, 388 U.S. 1 (1967), was a landmark civil rights decision of the U.S. Supreme Court in which the Court ruled that laws banning interracial marriage violate the Equal Protection and Due Process Clauses of the Fourteenth Amendment to the U.S. Constitution. Beginning in 2013, it was cited as precedent in U.S. federal court decisions holding restrictions on same-sex marriage in the United States unconstitutional, including in the 2015 Supreme Court decision Obergefell v. Hodges.

The case involved Mildred Loving, a woman of color, and her white husband Richard Loving, who in 1958 were sentenced to a year in prison for marrying each other. Their marriage violated Virginia's Racial Integrity Act of 1924, which criminalized marriage between people classified as "white" and people classified as "colored". The Lovings appealed their conviction to the Supreme Court of Virginia, which upheld it. They then appealed to the U.S. Supreme Court, which agreed to hear their case.

In June 1967, the Supreme Court issued a unanimous decision in the Lovings' favor and overturned their convictions. Its decision struck down Virginia's anti-miscegenation law and ended all race-based legal restrictions on marriage in the United States. Virginia had argued that its law was not a violation of the Equal Protection Clause because the punishment was the same regardless of the offender's race, and thus it "equally burdened" both whites and non-whites. The Court found that the law nonetheless violated the Equal Protection Clause because it was based solely on "distinctions drawn according to race" and outlawed conduct—namely, getting married—that was otherwise generally accepted and which citizens were free to do.

🔗 Korea 🔗 Food and drink 🔗 Korea/North Korea

North Korea has several restaurants serving pizza. Most people in the country cannot afford pizza, and it is mostly available for the elite. Pyongyang has five restaurants that serve pizza, including Pizza Restaurant on Kwangbok Street and Italy Pizza on Mirae Scientists Street. Kim Jong Il hired Italian chefs to train North Koreans in pizza making and introduced it to the country.