Have a deep view into what people are curious about.

🔗 Philosophy 🔗 Philosophy/Logic 🔗 Philosophy/Contemporary philosophy 🔗 Philosophy/Philosophy of religion 🔗 Christianity 🔗 Christianity/theology 🔗 Military history/European military history

Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.

Gödel left a fourteen-point outline of his philosophical beliefs in his papers. Points relevant to the ontological proof include

4. There are other worlds and rational beings of a different and higher kind.

5. The world in which we live is not the only one in which we shall live or have lived.

13. There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science.

14. Religions are, for the most part, bad—but religion is not.

🔗 Ancient Near East 🔗 Turkey 🔗 Archaeology

Göbekli Tepe (Turkish: [ɟœbecˈli teˈpe], "Potbelly Hill") is an archaeological site in the Southeastern Anatolia Region of Turkey approximately 12 km (7 mi) northeast of the city of Şanlıurfa. The tell (artificial mound) has a height of 15 m (49 ft) and is about 300 m (980 ft) in diameter. It is approximately 760 m (2,490 ft) above sea level.

The tell includes two phases of use, believed to be of a social or ritual nature by site discoverer and excavator Klaus Schmidt, dating back to the 10th–8th millennium BCE. During the first phase, belonging to the Pre-Pottery Neolithic A (PPNA), circles of massive "T-shaped" stone pillars were erected – the world's oldest known megaliths.

More than 200 pillars in about 20 circles are currently known through geophysical surveys. Each pillar has a height of up to 6 m (20 ft) and weighs up to 10 tons. They are fitted into sockets that were hewn out of the bedrock. In the second phase, belonging to the Pre-Pottery Neolithic B (PPNB), the erected pillars are smaller and stood in rectangular rooms with floors of polished lime. The site was abandoned after the Pre-Pottery Neolithic B (PPNB). Younger structures date to classical times.

The details of the structure's function remain a mystery. The excavations have been ongoing since 1996 by the German Archaeological Institute, but large parts still remain unexcavated. In 2018, the site was designated a UNESCO World Heritage Site.

🔗 Computing 🔗 Photography 🔗 Computer graphics

Design rule for Camera File system (DCF) is a JEITA specification (number CP-3461) which defines a file system for digital cameras, including the directory structure, file naming method, character set, file format, and metadata format. It is currently the de facto industry standard for digital still cameras. The file format of DCF conforms to the Exif specification, but the DCF specification also allows use of any other file formats.

The latest version of the standard is 2.0 (2010 edition).

🔗 Numismatics 🔗 Numismatics/Cryptocurrency 🔗 Cryptocurrency

A proof-of-work (PoW) system (or protocol, or function) is a consensus mechanism. It deters denial-of-service attacks and other service abuses such as spam on a network by requiring some work from the service requester, usually meaning processing time by a computer. The concept was invented by Cynthia Dwork and Moni Naor as presented in a 1993 journal article. The term "proof of work" was first coined and formalized in a 1999 paper by Markus Jakobsson and Ari Juels.

A key feature of these schemes is their asymmetry: the work must be moderately hard (yet feasible) on the requester side but easy to check for the service provider. This idea is also known as a CPU cost function, client puzzle, computational puzzle, or CPU pricing function. It is distinct from a CAPTCHA, which is intended for a human to solve quickly, while being difficult to solve for a computer.

🔗 Robotics 🔗 Software 🔗 Software/Computing

VxWorks is a real-time operating system (RTOS) developed as proprietary software by Wind River Systems, a wholly owned subsidiary of TPG Capital, US. First released in 1987, VxWorks is designed for use in embedded systems requiring real-time, deterministic performance and, in many cases, safety and security certification, for industries, such as aerospace and defense, medical devices, industrial equipment, robotics, energy, transportation, network infrastructure, automotive, and consumer electronics.

VxWorks supports Intel architecture, POWER architecture, ARM architectures and RISC-V. The RTOS can be used in multicore asymmetric multiprocessing (AMP), symmetric multiprocessing (SMP), and mixed modes and multi-OS (via Type 1 hypervisor) designs on 32- and 64-bit processors.

VxWorks comes with the kernel, middleware, board support packages, Wind River Workbench development suite and complementary third-party software and hardware technologies. In its latest release, VxWorks 7, the RTOS has been re-engineered for modularity and upgradeability so the OS kernel is separate from middleware, applications and other packages. Scalability, security, safety, connectivity, and graphics have been improved to address Internet of Things (IoT) needs.

🔗 Video games 🔗 Computing

Nuclear Gandhi is an Internet meme and an urban legend about the video game Civilization. According to the legend, there was a bug in Civilization that eventually forced the pacifist leader Mahatma Gandhi to be extremely aggressive and to use nuclear weapons heavily.

The bug was first mentioned in 2012, two years after the release of Civilization V, and eventually became one of the most recognizable video game glitches; it has been used as an example of integer overflow in computer science and was included in other Civilization games as an easter egg.

In 2020, Sid Meier contradicted the urban legend, stating there had never been a bug of this sort in the original 1991 game. Nuclear Gandhi was first implemented in Civilization V (2010) as a joke.

In theoretical computer science, the PACELC theorem is an extension to the CAP theorem. It states that in case of network partitioning (P) in a distributed computer system, one has to choose between availability (A) and consistency (C) (as per the CAP theorem), but else (E), even when the system is running normally in the absence of partitions, one has to choose between latency (L) and consistency (C).

🔗 Energy

DESERTEC was a large-scale project supported by a foundation of the same name and the consortium Dii (Desertec industrial initiative) created in Germany as a limited liability company (GmbH). The project aimed at creating a global renewable energy plan based on the concept of harnessing sustainable power from sites where renewable sources of energy are more abundant and transferring it through high-voltage direct current transmission to consumption centers. All kinds of renewable energy sources are envisioned, but the sun-rich deserts of the world play a special role.

There are some parallels between Desertec and the Atlantropa project plan in the 1920s. Atlantropa aimed to integrate Europe and Northern Africa and its electricity grid based on a giant hydro power station at Gibraltar. The industry platform Dii is continuing to pave the way for renewables and grid integration on a very pragmatic basis. As of 2019 the project is described as largely "stalled" and "failed".

The Dunning–Kruger effect is a cognitive bias in which people with low ability at a task overestimate their ability. It is related to the cognitive bias of illusory superiority and comes from people's inability to recognize their lack of ability. Without the self-awareness of metacognition, people cannot objectively evaluate their level of competence.

As described by social psychologists David Dunning and Justin Kruger, the bias results from an internal illusion in people of low ability and from an external misperception in people of high ability; that is, "the miscalibration of the incompetent stems from an error about the self, whereas the miscalibration of the highly competent stems from an error about others". Colloquially, people experiencing this bias are said to be "on Mount Stupid".

But in spite of the inherent appeal of Dunning and Kruger's claimed results, which align with many people's just world theories, their conclusions are strongly challenged when subjected to mathematical analysis and comparisons across cultures.

🔗 United States 🔗 Organizations

An important part of the counterculture of the 1970s, Project One, sometimes described as a technological commune, was an intentional community in San Francisco, California, U.S. Located at 1380 Howard St. in an 84,000 square foot warehouse, formerly an abandoned candy factory, the community functioned from 1970 to 1980 and was the first "warehouse community" in San Francisco. Occupied by a shifting mix of students, craftspeople, artisans, sculptors, filmmakers, and technologists, Project One was anchored by a number of organizations.

The community had no formal organizational structure. Decisions were made through a voluntary weekly meeting of members who made decisions based on a consensus of those present.

Project One was initiated by architect Ralph Scott, a former student of Buckminster Fuller, and rapidly became an interdisciplinary learning environment. Central to the concept was Symbas Alternative High School, founded by Scott and located in a large, high-ceiling space on the first floor. Many of these resident non-profit organizations and small businesses were brought in to serve as resources for the students, who were also members of the larger community. Students found mentors who offered skills training and the opportunities to practice new skills. See also community of place.