New Articles (Page 233)

To stay up to date you can also follow on Mastodon.

๐Ÿ”— World's Littlest Skyscraper

๐Ÿ”— United States ๐Ÿ”— Architecture ๐Ÿ”— Skyscrapers ๐Ÿ”— United States/Texas ๐Ÿ”— National Register of Historic Places

The Newbyโ€“McMahon Building, commonly referred to as the world's littlest skyscraper, is located at 701 La Salle (on the corner of Seventh and La Salle streets) in downtown Wichita Falls, Texas. It is a late Neoclassical style red brick and cast stone structure. It stands 40ย ft (12ย m) tall, and its exterior dimensions are 18ย ft (5.5ย m) deep and 10ย ft (3.0ย m) wide. Its interior dimensions are approximately 12ย ft (3.7ย m) by 9ย ft (2.7ย m), or approximately 108ย sqย ft (10.0ย m2). Steep, narrow, internal stairways leading to the upper floors occupy roughly 25 percent of the interior area.

Reportedly the result of a fraudulent investment scheme by a confidence man, the Newbyโ€“McMahon Building was a source of great embarrassment to the city and its residents after its completion in 1919. During the 1920s, the Newbyโ€“McMahon Building was featured in Robert Ripley's Ripley's Believe It or Not! syndicated column as "the world's littlest skyscraper," a nickname that has stuck with it ever since. The Newbyโ€“McMahon Building is now part of the Depot Square Historic District of Wichita Falls, a Texas Historic Landmark.

Discussed on

๐Ÿ”— .DS_Store

๐Ÿ”— Apple Inc./Macintosh ๐Ÿ”— Apple Inc.

In the Apple macOS operating system, .DS_Store is a file that stores custom attributes of its containing folder, such as the position of icons or the choice of a background image. The name is an abbreviation of Desktop Services Store, reflecting its purpose. It is created and maintained by the Finder application in every folder, and has functions similar to the file desktop.ini in Microsoft Windows. Starting with a full stop (period) character, it is hidden in Finder and many Unix utilities. Its internal structure is proprietary, but has since been reverse-engineered.

Discussed on

๐Ÿ”— Toast sandwich

๐Ÿ”— Food and drink ๐Ÿ”— United Kingdom

A toast sandwich is a sandwich made with two slices of bread in which the filling is a thin slice of toasted bread, which can be heavily buttered. An 1861 recipe says to add salt and pepper to taste.

Discussed on

๐Ÿ”— New Wikipedia article about criticism of Tesla

๐Ÿ”— Companies ๐Ÿ”— Environment ๐Ÿ”— Automobiles

Criticism of Tesla, Inc., especially under CEO Elon Musk, ranges from potential safety issues to questionable business practices which include alleged fraud, a history of environmental violations, disregard for workers' safety, and Musk's excessive compensation package. Tesla and Musk have also been criticized for their attempts to intimidate and silence whistleblowers, journalists, and other critics who have spoken out against the company.

Discussed on

๐Ÿ”— European Super Grid

๐Ÿ”— Climate change ๐Ÿ”— Europe ๐Ÿ”— Energy

The European super grid is a possible future super grid that would ultimately interconnect the various European countries and the regions around Europe's borders โ€“ including North Africa, Kazakhstan, and Turkey โ€“ with a high-voltage direct current (HVDC) power grid.

It is envisaged that a European super grid would:

  • lower the cost of power in all participating countries by allowing the entire region to share the most efficient power plants;
  • pool load variability and power station unreliability, reducing the margin of inefficient spinning reserve and standby that have to be supplied;
  • allow for wider use of renewable energy, particularly wind energy, from the concept that "it is always windy somewhere" โ€“ in particular it tends to be windy in the summer in North Africa, and windy in the winter in Europe;
  • allow wide sharing of the total European hydro power resource, which is about 6 weeks of full load European output;
  • decrease Europe's dependence on imported fuels.

Discussed on

๐Ÿ”— TLA+

๐Ÿ”— 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+2 was announced in 2014, expanding language support for proof constructs. The current TLA+ reference is The TLA+ Hyperbook by Leslie Lamport.

Discussed on

  • "TLA+" | 2021-03-08 | 230 Upvotes 69 Comments
  • "TLA+" | 2015-05-25 | 105 Upvotes 21 Comments

๐Ÿ”— Kรณryos

๐Ÿ”— Military history ๐Ÿ”— Religion ๐Ÿ”— Anthropology ๐Ÿ”— Sociology ๐Ÿ”— Archaeology ๐Ÿ”— Mythology ๐Ÿ”— Military history/Military culture, traditions, and heraldry

The kรณryos (Proto-Indo-European: "army, people under arms" or "detachment, war party") refers to the hypothetical Proto-Indo-European brotherhood of warriors in which unmarried young males served for a number of years before their full integration to the host society, in the context of a rite of passage into manhood.

Subsequent Indo-European traditions and myths feature parallel linkages between property-less adolescent males, perceived as an age-class not yet fully integrated into the community of the married men; their service in a "police-army" sent away for a part of the year in the wild (where they hunted animals and raided foreign communities) and defending the host society during the remaining part of the year; their mystical self-identification with wolves and dogs as symbols of death, promiscuity, lawlessness, and warrior fury; and the idea of a liminality between invulnerability and death on one side, and youth and adulthood on the other side.

Discussed on

๐Ÿ”— List of video games considered the best

๐Ÿ”— Video games ๐Ÿ”— Lists

This is a list of video games that multiple video game journalists and critics have considered to be among the best of all time. The games listed here are included on at least six separate "best/greatest of all time" lists from different publications, as chosen by their editorial staffs.

Discussed on

๐Ÿ”— Spirograph

๐Ÿ”— Brands ๐Ÿ”— Toys

Spirograph is a geometric drawing device that produces mathematical roulette curves of the variety technically known as hypotrochoids and epitrochoids. The well known toy version was developed by British engineer Denys Fisher and first sold in 1965.

The name has been a registered trademark of Hasbro Inc. since 1998 following purchase of the company that had acquired the Denys Fisher company. The Spirograph brand was relaunched worldwide in 2013, with its original product configurations, by Kahootz Toys.

Discussed on

๐Ÿ”— Great Man-Made River

๐Ÿ”— Africa ๐Ÿ”— Water ๐Ÿ”— Rivers ๐Ÿ”— Africa/Libya

The Great Man-Made River (GMMR, ุงู„ู†ู‡ุฑ ุงู„ุตู†ุงุนูŠ ุงู„ุนุธูŠู…) is a network of pipes that supplies fresh water obtained from the Nubian Sandstone Aquifer System fossil aquifer across Libya. It is the world's largest irrigation project. The project utilizes a pipeline system that pumps water from the Nubian Sandstone Aquifer System from down south in Libya to cities in the populous Libyan northern Mediterranean coast including Tripoli and Benghazi. The water covers a distance of up to 1,600 kilometers and provides 70% of all freshwater used in Libya.

According to its website, it is the largest underground network of pipes (2,820 kilometres (1,750ย mi)) and aqueducts in the world. It consists of more than 1,300 wells, most more than 500 m deep, and supplies 6,500,000 m3 of fresh water per day to the cities of Tripoli, Benghazi, Sirte and elsewhere. The late Libyan Leader Muammar Gaddafi described it as the "Eighth Wonder of the World".

Discussed on