Have a deep view into what people are curious about.

🔗 Architecture 🔗 Pakistan

Osama bin Laden's compound, known locally as the Waziristan Haveli (Urdu: وزیرستان حویلی‎), was an upper-class mansion that was used as a safe house for militant Islamist Osama bin Laden, who was shot and killed there by U.S. forces on May 2, 2011. The compound was located at the end of a dirt road 1,300 metres (0.8 mi) southwest of the Pakistan Military Academy in Bilal Town, Abbottabad, Pakistan, a suburb housing many retired military officers. Bin Laden was reported to have evaded capture by living in a section of the house for at least five years, having no Internet or phone connection, and hiding away from the public, who were allegedly unaware of his presence.

Completed in 2005, the main buildings in the compound lay on a 3,500-square-metre (38,000 sq ft) plot of land, much larger than those of nearby houses. Its perimeter was 3.7- to 5.5-metre (12 to 18 ft) concrete walls topped with barbed wire, and there were two security gates. The compound had very few windows. Little more than five years old, the compound's ramshackle buildings were badly in need of repainting. The grounds contained a well-kept vegetable garden, rabbits, some 100 chickens and a cow. The house itself did not stand out architecturally from others in the neighbourhood, except for its size and exaggerated security measures; for example, the third-floor balcony had a 2-metre (7 ft) privacy wall. Photographs inside the house showed excessive clutter and modest furnishings. After the American mission, there was extensive interest in and reporting about the compound and its design. To date, the Pakistani government has not responded to any allegations as to who had built the structure.

After the September 11 attacks in 2001, the U.S. searched for bin Laden for nearly 10 years. By tracking his courier Abu Ahmed al-Kuwaiti to the compound, U.S. officials surmised that bin Laden was hiding there. During a raid on May 2, 2011, 24 members of the United States Naval Special Warfare Development Group arrived by helicopter, breached a wall using explosives, and entered the compound in search of bin Laden. After the operation was completed and bin Laden was killed, Pakistan demolished the structure in February 2012.

🔗 Education

Underwater basket weaving is an idiom referring pejoratively to supposedly useless or absurd college or university courses and often generally to refer to a perceived decline in educational standards.

The term also serves as an intentionally humorous generic answer to questions about an academic degree. It is also used to humorously refer to any non-academic elective course, specifically one that does not count towards any graduation requirements.

🔗 California 🔗 California/San Francisco Bay Area 🔗 Education 🔗 Museums

The Exploratorium is a museum of science, technology, and arts in San Francisco. Its mission is to create inquiry-based experiences that transform learning worldwide. It has been described by the New York Times as the most important science museum to have opened since the mid-20th century, an achievement attributed to "the nature of its exhibits, its wide-ranging influence and its sophisticated teacher training program". Characterized as "a mad scientist's penny arcade, a scientific funhouse, and an experimental laboratory all rolled into one", the participatory nature of its exhibits and its self-identification as a center for informal learning has led to it being cited as the prototype for participatory museums around the world.

The Exploratorium was founded by physicist and educator Frank Oppenheimer and opened in 1969 at the Palace of Fine Arts, its home until January 2, 2013. On April 17, 2013, the Exploratorium reopened at Piers 15 and 17 on San Francisco's Embarcadero. The historic interior and exterior of Pier 15 was renovated extensively prior to the move, and is divided into several galleries mainly separated by content, including the physics of seeing and listening (Light and Sound), Human Behavior, Living Systems, Tinkering (including electricity and magnetism), the Outdoor Gallery, and the Bay Observatory Gallery, which focuses on local environment, weather, and landscape.

Since the museum's founding, over 1,000 participatory exhibits have been created, approximately 600 of which are on the floor at any given time. The exhibit-building workshop space is contained within the museum and is open to view. In addition to the public exhibition space, the Exploratorium has been engaged in the professional development of teachers, science education reform, and the promotion of museums as informal education centers since its founding. Since Oppenheimer's death in 1985, the Exploratorium has expanded into other domains, including its 50,000-page website and two iPad apps on sound and color. It has also inspired an international network of participatory museums working to engage the public with general science education. The new Exploratorium building is also working to showcase environmental sustainability efforts as part of its goal to become the largest net-zero museum in the country.

The Exploratorium offers visitors a variety of ways—including exhibits, webcasts, websites and events—for visitors to explore and understand the world around them. In 2011, the Exploratorium received the National Science Board 2011 Public Service Science Award for its contributions to public understanding of science and engineering.

🔗 Espionage 🔗 Books 🔗 Computer Security 🔗 Computer Security/Computing

The Cuckoo's Egg: Tracking a Spy Through the Maze of Computer Espionage is a 1989 book written by Clifford Stoll. It is his first-person account of the hunt for a computer hacker who broke into a computer at the Lawrence Berkeley National Laboratory (LBNL).

Stoll's use of the term extended the metaphor Cuckoo's egg from brood parasitism in birds to malware.

🔗 Philosophy 🔗 Philosophy/Aesthetics 🔗 Philosophy/Social and political philosophy 🔗 Philosophy/Philosophy of religion

In a paper delivered to the Aristotelian Society on 12 March 1956, Walter Bryce Gallie (1912–1998) introduced the term essentially contested concept to facilitate an understanding of the different applications or interpretations of the sorts of abstract, qualitative, and evaluative notions—such as "art", "philanthropy" and "social justice"—used in the domains of aesthetics, development, political philosophy, philosophy of history, and philosophy of religion.

Garver (1978) describes their use as follows:

The term essentially contested concepts gives a name to a problematic situation that many people recognize: that in certain kinds of talk there is a variety of meanings employed for key terms in an argument, and there is a feeling that dogmatism ("My answer is right and all others are wrong"), skepticism ("All answers are equally true (or false); everyone has a right to his own truth"), and eclecticism ("Each meaning gives a partial view so the more meanings the better") are none of them the appropriate attitude towards that variety of meanings.

Essentially contested concepts involve widespread agreement on a concept (e.g., "fairness"), but not on the best realization thereof. They are "concepts the proper use of which inevitably involves endless disputes about their proper uses on the part of their users", and these disputes "cannot be settled by appeal to empirical evidence, linguistic usage, or the canons of logic alone".

🔗 Computing 🔗 Mathematics

In mathematical logic and type theory, the λ-cube is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions is a generalization of the simply typed λ-calculus. Each dimension of the cube corresponds to a new kind of dependency between terms and types. Here, "dependency" refers to the capacity of a term or type to bind a term or type. The respective dimensions of the λ-cube correspond to:

• y-axis (${\displaystyle \uparrow }$): terms that can bind types, corresponding to polymorphism.
• x-axis (${\displaystyle \rightarrow }$): types that can bind terms, corresponding to dependent types.
• z-axis (${\displaystyle \nearrow }$): types that can bind types, corresponding to (binding) type operators.

The different ways to combine these three dimension yield the 8 vertices of the cube, each corresponding to a different kind of typed system. The λ-cube can be generalized into the concept of a pure type system.

🔗 Computing 🔗 Computing/Software 🔗 Computing/Free and open-source software 🔗 C/C++ 🔗 C/C++/C

Cairo (stylized as cairo) is an open-source graphics library that provides a vector graphics-based, device-independent API for software developers. It provides primitives for two-dimensional drawing across a number of different back ends. Cairo uses hardware acceleration when available.

🔗 United States 🔗 Linguistics 🔗 Linguistics/Applied Linguistics 🔗 Education

A 2019 report by the National Center for Education Statistics determined that mid to high literacy in the United States is 79% with 21% of American adults categorized as having "low level English literacy," including 4.1% classified as "functionally illiterate" and an additional 4% that could not participate. According to the U.S. Department of Education, 54% of adults in the United States have prose literacy below the 6th-grade level.

In many nations, the ability to read a simple sentence suffices as literacy, and was the previous standard for the U.S. The definition of literacy has changed greatly; the term is presently defined as the ability to use printed and written information to function in society, to achieve one's goals, and to develop one's knowledge and potential.

The United States Department of Education assesses literacy in the general population through its National Assessment of Adult Literacy (NAAL). The NAAL survey defines three types of literacy:

• prose literacy: the knowledge and skills needed to search, comprehend, and use continuous texts. Examples include editorials, news stories, brochures, and instructional materials.
• document literacy: the knowledge and skills needed to search, comprehend, and use non-continuous texts in various formats. Examples include job applications, payroll forms, transportation schedules, maps, tables, and drug and food labels.
• quantitative literacy: the knowledge and skills required to identify and perform computations, either alone or sequentially, using numbers embedded in printed materials. Examples include balancing a checkbook, figuring out tips, completing an order form, or determining an amount.

Modern jobs often demand a high level of literacy, and its lack in adults and adolescents has been studied extensively.

According to a 1992 survey, about 40 million adults had Level 1 literary competency, the lowest level, comprising understanding only basic written instructions. A number of reports and studies are published annually to monitor the nation's status, and initiatives to improve literacy rates are funded by government and external sources.