Have a deep view into what people are curious about.

🔗 Law Enforcement

SmartWater is a traceable liquid and forensic asset marking system (taggant) that is applied to items of value to identify thieves and deter theft. The liquid leaves a long lasting and unique identifier, whose presence is invisible except under an ultraviolet black light.

🔗 Mathematics

Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. It can be conceptualized as sculpting out necessary conditions from sufficient ones.

The reverse mathematics program was foreshadowed by results in set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse mathematics, however, is to study possible axioms of ordinary theorems of mathematics rather than possible axioms for set theory.

Reverse mathematics is usually carried out using subsystems of second-order arithmetic, where many of its definitions and methods are inspired by previous work in constructive analysis and proof theory. The use of second-order arithmetic also allows many techniques from recursion theory to be employed; many results in reverse mathematics have corresponding results in computable analysis. Recently, higher-order reverse mathematics has been introduced, in which the focus is on subsystems of higher-order arithmetic, and the associated richer language.

The program was founded by Harvey Friedman (1975, 1976) and brought forward by Steve Simpson. A standard reference for the subject is (Simpson 2009), while an introduction for non-specialists is (Stillwell 2018). An introduction to higher-order reverse mathematics, and also the founding paper, is (Kohlenbach (2005)).

🔗 Physics 🔗 Systems 🔗 Systems/Dynamical systems

In mathematics and physics, the Poincaré recurrence theorem states that certain dynamical systems will, after a sufficiently long but finite time, return to a state arbitrarily close to (for continuous state systems), or exactly the same as (for discrete state systems), their initial state.

The Poincaré recurrence time is the length of time elapsed until the recurrence. This time may vary greatly depending on the exact initial state and required degree of closeness. The result applies to isolated mechanical systems subject to some constraints, e.g., all particles must be bound to a finite volume. The theorem is commonly discussed in the context of ergodic theory, dynamical systems and statistical mechanics. Systems to which the Poincaré recurrence theorem applies are called conservative systems.

The theorem is named after Henri Poincaré, who discussed it in 1890 and proved by Constantin Carathéodory using measure theory in 1919.

🔗 Marketing & Advertising 🔗 Brands 🔗 Graffiti

Reverse graffiti is a method of creating temporary or semi-permanent images on walls or other surfaces by removing dirt from a surface. It can also be done by simply removing dirt with the fingertip from windows or other dirty surfaces, such as writing "wash me" on a dirty vehicle. Others, such as graffiti artist Moose, use a cloth or a high-power washer to remove dirt on a larger scale.

Reverse graffiti has been used as a form of advertising, although this usage has been controversial, as its legality varies depending on jurisdiction.

🔗 California 🔗 Business 🔗 Politics 🔗 Trains 🔗 Politics/American politics 🔗 Trains/Rapid transit 🔗 Buses 🔗 Trains/Streetcars

The notion of a General Motors streetcar conspiracy emerged after General Motors (GM) and other companies were convicted of monopolizing the sale of buses and supplies to National City Lines (NCL) and its subsidiaries. In the same case, the defendants were accused of conspiring to own or control transit systems, in violation of Section 1 of the Sherman Antitrust act. The suit created lingering suspicions that the defendants had in fact plotted to dismantle streetcar systems in many cities in the United States as an attempt to monopolize surface transportation.

Between 1938 and 1950, National City Lines and its subsidiaries, American City Lines and Pacific City Lines—with investment from GM, Firestone Tire, Standard Oil of California (through a subsidiary), Federal Engineering, Phillips Petroleum, and Mack Trucks—gained control of additional transit systems in about 25 cities. Systems included St. Louis, Baltimore, Los Angeles, and Oakland. NCL often converted streetcars to bus operations in that period, although electric traction was preserved or expanded in some locations. Other systems, such as San Diego's, were converted by outgrowths of the City Lines. Most of the companies involved were convicted in 1949 of conspiracy to monopolize interstate commerce in the sale of buses, fuel, and supplies to NCL subsidiaries, but were acquitted of conspiring to monopolize the transit industry.

The story as an urban legend has been written about by Martha Bianco, Scott Bottles, Sy Adler, Jonathan Richmond, and Robert Post. It has been explored several times in print, film, and other media, notably in Who Framed Roger Rabbit, Taken for a Ride, Internal Combustion, and The End of Suburbia.

Only a handful of U.S. cities, including San Francisco, New Orleans, Newark, Cleveland, Philadelphia, Pittsburgh, and Boston, have surviving legacy rail urban transport systems based on streetcars, although their systems are significantly smaller than they once were. Other cities are re-introducing streetcars. In some cases, the streetcars do not actually ride on the street. Boston had all of its downtown lines elevated or buried by the mid-1920s, and most of the surviving lines at grade operate on their own right of way. However, San Francisco's and Philadelphia's lines do have large portions of the route that ride on the street as well as using tunnels.

🔗 Architecture

Star lifting is any of several hypothetical processes by which a sufficiently advanced civilization (specifically, one of Kardashev-II or higher) could remove a substantial portion of a star's matter which can then be re-purposed, while possibly optimizing the star's energy output and lifespan at the same time. The term appears to have been coined by David Criswell.

Stars already lose a small flow of mass via solar wind, coronal mass ejections, and other natural processes. Over the course of a star's life on the main sequence this loss is usually negligible compared to the star's total mass; only at the end of a star's life when it becomes a red giant or a supernova is a large proportion of material ejected. The star lifting techniques that have been proposed would operate by increasing this natural plasma flow and manipulating it with magnetic fields.

Stars have deep gravity wells, so the energy required for such operations is large. For example, lifting solar material from the surface of the Sun to infinity requires 2.1 × 10¹¹ J/kg. This energy could be supplied by the star itself, collected by a Dyson sphere; using 10% of the Sun's total power output would allow 5.9 × 10²¹ kilograms of matter to be lifted per year (0.0000003% of the Sun's total mass), or 8% of the mass of Earth's moon.

🔗 Mathematics 🔗 Greece

Greek numerals, also known as Ionic, Ionian, Milesian, or Alexandrian numerals, are a system of writing numbers using the letters of the Greek alphabet. In modern Greece, they are still used for ordinal numbers and in contexts similar to those in which Roman numerals are still used elsewhere in the West. For ordinary cardinal numbers, however, Greece uses Arabic numerals.

🔗 Video games

.kkrieger (from Krieger, German for warrior) is a first-person shooter video game created by German demogroup .theprodukkt (a former subdivision of Farbrausch), which won first place in the 96k game competition at Breakpoint in April 2004. The game remains a beta version as of 2019.

🔗 Biography 🔗 Physics 🔗 Biography/science and academia 🔗 Astronomy 🔗 Physics/Biographies 🔗 Biophysics

Thomas Gold (also known as Tommy Gold), (May 22, 1920 – June 22, 2004) was an Austrian-born astrophysicist, a professor of astronomy at Cornell University, a member of the U.S. National Academy of Sciences, and a Fellow of the Royal Society (London). Gold was one of three young Cambridge scientists who in 1948 proposed the now mostly abandoned "steady state" hypothesis of the universe. Gold's work crossed academic and scientific boundaries, into biophysics, astronomy, aerospace engineering, and geophysics.

🔗 Ships