Have a deep view into what people are curious about.

🔗 Philosophy 🔗 England 🔗 Philosophy/Ethics

A Hobson's choice is a free choice in which only one thing is actually offered. The term is often used to describe an illusion that multiple choices are available. The most well known Hobson's choice is "I'll give you a choice: take it or leave it", wherein "leaving it" is strongly undesirable.

The phrase is said to have originated with Thomas Hobson (1544–1631), a livery stable owner in Cambridge, England, who offered customers the choice of either taking the horse in his stall nearest to the door or taking none at all.

🔗 Religion 🔗 Christianity 🔗 Christianity/theology 🔗 Christianity/Catholicism

The Council of Trent (Latin: Concilium Tridentinum), held between 1545 and 1563 in Trent (or Trento), now in northern Italy, was the 19th ecumenical council of the Catholic Church. Prompted by the Protestant Reformation at the time, it has been described as the embodiment of the Counter-Reformation.

The Council issued condemnations of what it defined to be heresies committed by proponents of Protestantism, and also issued key statements and clarifications of the Church's doctrine and teachings, including scripture, the biblical canon, sacred tradition, original sin, justification, salvation, the sacraments, the Mass, and the veneration of saints. The Council met for twenty-five sessions between 13 December 1545 and 4 December 1563. Pope Paul III, who convoked the Council, oversaw the first eight sessions (1545–47), while the twelfth to sixteenth sessions (1551–52) were overseen by Pope Julius III and the seventeenth to twenty-fifth sessions (1562–63) by Pope Pius IV.

The consequences of the Council were also significant with regard to the Church's liturgy and practices. In its decrees, the Council made the Latin Vulgate the official biblical text of the Roman Church (without prejudice to the original texts in Hebrew and Greek, nor to other traditional translations of the Church, but favoring the Latin language over vernacular translations, such as the controversial English-language Tyndale Bible). In doing so, they commissioned the creation of a revised and standardized Vulgate in light of textual criticism, although this was not achieved until the 1590s. The Council also officially affirmed (for the second time at an ecumenical council) the traditional Catholic Canon of biblical books in response to the increasing Protestant exclusion of the deuterocanonical books. The former dogmatic affirmation of the Canonical books was at the Council of Florence in the 1441 bull Cantate Domino, as affirmed by Pope Leo XIII in his 1893 encyclical Providentissimus Deus (#20). In 1565, a year after the Council finished its work, Pius IV issued the Tridentine Creed (after Tridentum, Trent's Latin name) and his successor Pius V then issued the Roman Catechism and revisions of the Breviary and Missal in, respectively, 1566, 1568 and 1570. These, in turn, led to the codification of the Tridentine Mass, which remained the Church's primary form of the Mass for the next four hundred years.

More than three hundred years passed until the next ecumenical council, the First Vatican Council, was convened in 1869.

🔗 Military history 🔗 Military history/Fortifications 🔗 Archaeology 🔗 Military history/European military history 🔗 Military history/British military history 🔗 Sussex

The Trundle is an Iron Age hillfort on St Roche's Hill about 4 miles (6 km) north of Chichester, Sussex, England, built on the site of a causewayed enclosure, a form of early Neolithic earthwork found in northwestern Europe. Causewayed enclosures were built in England from shortly before 3700 BC until about 3300 BC; they are characterized by the full or partial enclosure of an area with ditches that are interrupted by gaps, or causeways. Their purpose is not known; they may have been settlements, meeting places, or ritual sites. Hillforts were built as early as 1000 BC, in the Late Bronze Age, and continued to be built through the Iron Age until shortly before the Roman occupation. A chapel dedicated to St Roche was built on the hill around the end of the 14th century; it was in ruins by 1570. A windmill and a beacon were subsequently built on the hill. The site was occasionally used as a meeting place in the post-medieval period.

The hillfort is still a substantial earthwork, but the Neolithic site was unknown until 1925 when archaeologist O.G.S. Crawford obtained an aerial photograph of the Trundle, clearly showing additional structures inside the ramparts of the hillfort. Causewayed enclosures were new to archaeology at the time, with only five known by 1930, and the photograph persuaded archaeologist E. Cecil Curwen to excavate the site in 1928 and 1930. These early digs established a construction date of about 500 BC to 100 BC for the hillfort and proved the existence of the Neolithic site. In 2011, the Gathering Time project published an analysis of radiocarbon dates from almost forty British causewayed enclosures, including some from the Trundle. The conclusion was that the Neolithic part of the site was probably constructed no earlier than the mid-fourth millennium BC. A review of the site in 1995 by Alastair Oswald noted the presence of fifteen possible Iron Age house platforms within the hillfort's ramparts.

🔗 Electronics

A Josephson voltage standard is a complex system that uses a superconducting integrated circuit chip operating at a temperature of 4 K to generate stable voltages that depend only on an applied frequency and fundamental constants. It is an intrinsic standard in the sense that it does not depend on any physical artifact. It is the most accurate method to generate or measure voltage and, by international agreement in 1990, is the basis for voltage standards around the world.

🔗 Russia 🔗 Russia/technology and engineering in Russia 🔗 Spaceflight 🔗 Spaceflight/space stations working group

The terms Androgynous Peripheral Attach System (APAS), Androgynous Peripheral Assembly System (APAS) and Androgynous Peripheral Docking System (APDS) are used interchangeably to describe a Russian family of spacecraft docking mechanisms, and are also sometimes used as generic names for any docking system in that family. A system similar to APAS-89/95 is used by the Chinese Shenzhou spacecraft.

🔗 Computing 🔗 Geography

Null Island is a name for the area around the point where the prime meridian and the equator cross, located in international waters in the Gulf of Guinea (Atlantic Ocean) off the west African coast. In the WGS84 datum, this is at zero degrees latitude and longitude (0°N 0°E), and is the location of a buoy. The name 'Null Island' serves as both a joke based around the suppositional existence of an island there, and also as a name to which coordinates erroneously set to 0,0 are assigned in placenames databases in order to more easily find and fix them. The nearest land is a small islet offshore of Ghana, between Akwidaa and Dixcove at 4°45′30″N 1°58′33″W, 307.8 nmi (354.2 mi; 570.0 km) to the north.

🔗 Computing

A lace card is a punched card with all holes punched (also called a whoopee card, ventilator card, flyswatter card, or IBM doily). They were mainly used as practical jokes to cause disruption in card readers. Card readers tended to jam when a lace card was inserted, as the resulting card had too little structural strength to avoid buckling inside the mechanism. Card punches could also jam trying to produce cards with all holes punched, owing to power-supply problems. When a lace card was fed through the reader, a card knife or card saw (a flat tool used with punched card readers and card punches) was needed to clear the jam.

🔗 Psychology 🔗 Sociology 🔗 Media

Parasocial interaction (PSI) refers to a kind of psychological relationship experienced by an audience in their mediated encounters with performers in the mass media, particularly on television and on online platforms. Viewers or listeners come to consider media personalities as friends, despite having no or limited interactions with them. PSI is described as an illusionary experience, such that media audiences interact with personas (e.g., talk show hosts, celebrities, fictional characters, social media influencers) as if they are engaged in a reciprocal relationship with them. The term was coined by Donald Horton and Richard Wohl in 1956.

A parasocial interaction, an exposure that garners interest in a persona, becomes a parasocial relationship after repeated exposure to the media persona causes the media user to develop illusions of intimacy, friendship, and identification. Positive information learned about the media persona results in increased attraction, and the relationship progresses. Parasocial relationships are enhanced due to trust and self-disclosure provided by the media persona. Media users are loyal and feel directly connected to the persona, much as they are connected to their close friends, by observing and interpreting their appearance, gestures, voice, conversation, and conduct. Media personas have a significant amount of influence over media users, positive or negative, informing the way that they perceive certain topics or even their purchasing habits. Studies involving longitudinal effects of parasocial interactions on children are still relatively new, according to developmental psychologist Sandra L. Calvert.

Social media introduces additional opportunities for parasocial relationships to intensify because it provides more opportunities for intimate, reciprocal, and frequent interactions between the user and persona. These virtual interactions may involve commenting, following, liking, or direct messaging. The consistency in which the persona appears could also lead to a more intimate perception in the eyes of the user.

🔗 Computing 🔗 Biology 🔗 Computing/Software 🔗 Stanford University 🔗 Pharmacology 🔗 Molecular Biology 🔗 Molecular Biology/Molecular and Cell Biology 🔗 Molecular Biology/Computational Biology

Folding@home (FAH or F@h) is a distributed computing project aimed to help scientists develop new therapeutics for a variety of diseases by the means of simulating protein dynamics. This includes the process of protein folding and the movements of proteins, and is reliant on simulations run on volunteers' personal computers. Folding@home is currently based at the University of Pennsylvania and led by Greg Bowman, a former student of Vijay Pande.

The project utilizes graphics processing units (GPUs), central processing units (CPUs), and ARM processors like those on the Raspberry Pi for distributed computing and scientific research. The project uses statistical simulation methodology that is a paradigm shift from traditional computing methods. As part of the client–server model network architecture, the volunteered machines each receive pieces of a simulation (work units), complete them, and return them to the project's database servers, where the units are compiled into an overall simulation. Volunteers can track their contributions on the Folding@home website, which makes volunteers' participation competitive and encourages long-term involvement.

Folding@home is one of the world's fastest computing systems. With heightened interest in the project as a result of the COVID-19 pandemic, the system achieved a speed of approximately 1.22 exaflops by late March 2020 and reached 2.43 exaflops by April 12, 2020, making it the world's first exaflop computing system. This level of performance from its large-scale computing network has allowed researchers to run computationally costly atomic-level simulations of protein folding thousands of times longer than formerly achieved. Since its launch on October 1, 2000, Folding@home was involved in the production of 226 scientific research papers. Results from the project's simulations agree well with experiments.

🔗 Computing 🔗 Computer science

In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automation. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.

The primary application of program synthesis is to relieve the programmer of the burden of writing correct, efficient code that satisfies a specification. However, program synthesis also has applications to superoptimization and inference of loop invariants.