Have a deep view into what people are curious about.

🔗 Computing

Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is A(X,Y) :- X+Y>0, B(X), C(Y). In this clause, X+Y>0 is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.

As in regular logic programming, programs are queried about the provability of a goal, which may contain constraints in addition to literals. A proof for a goal is composed of clauses whose bodies are satisfiable constraints and literals that can in turn be proved using other clauses. Execution is performed by an interpreter, which starts from the goal and recursively scans the clauses trying to prove the goal. Constraints encountered during this scan are placed in a set called constraint store. If this set is found out to be unsatisfiable, the interpreter backtracks, trying to use other clauses for proving the goal. In practice, satisfiability of the constraint store may be checked using an incomplete algorithm, which does not always detect inconsistency.

🔗 Typography 🔗 Industrial design

The IBM Selectric typewriter was a highly successful line of electric typewriters introduced by IBM on 31 July 1961.

Instead of the "basket" of individual typebars that swung up to strike the ribbon and page in a typical typewriter of the period, the Selectric had an "element" (frequently called a "typeball", or less formally, a "golf ball") that rotated and pivoted to the correct position before striking. The element could be easily changed so as to use different fonts in the same document typed on the same typewriter, resurrecting a capability that had been pioneered by typewriters such as the Hammond and Blickensderfer in the late 19th century. The Selectric also replaced the traditional typewriter's horizontally moving carriage with a roller (platen) that turned to advance the paper but did not move horizontally, while the typeball and ribbon mechanism did.

The Selectric mechanism was notable for using internal mechanical binary coding and two mechanical digital-to-analog converters, called whiffletree linkages, to select the character to be typed.

Selectrics and their descendants eventually captured 75 percent of the United States market for electric typewriters used in business. IBM replaced the Selectric line with the IBM Wheelwriter in 1984 and transferred its typewriter business to the newly formed Lexmark in 1991. By its 25th anniversary, in 1986, a total of more than 13 million machines were made and sold.

🔗 Astronomy 🔗 Astronomy/Astronomical objects 🔗 Astronomy/Solar System

319 Leona (provisional designation A920 HE), is a dark asteroid and tumbling slow rotator from the outermost regions of the asteroid belt, approximately 70 kilometers in diameter. It was discovered on 8 October 1891, by French astronomer Auguste Charlois at Nice Observatory in southwestern France. Any reference of its name to a person is unknown. On 12 December 2023 Leona will occult Betelgeuse as seen from southern Europe.

🔗 Physics 🔗 Energy

A traveling-wave reactor (TWR) is a proposed type of nuclear fission reactor that can convert fertile material into usable fuel through nuclear transmutation, in tandem with the burnup of fissile material. TWRs differ from other kinds of fast-neutron and breeder reactors in their ability to use fuel efficiently without uranium enrichment or reprocessing, instead directly using depleted uranium, natural uranium, thorium, spent fuel removed from light water reactors, or some combination of these materials. The concept is still in the development stage and no TWRs have ever been built.

The name refers to the fact that fission remains confined to a boundary zone in the reactor core that slowly advances over time. TWRs could theoretically run self-sustained for decades without refueling or removing spent fuel.

🔗 Geography 🔗 Romania 🔗 Ecology 🔗 Caves

Movile Cave (Romanian: Peștera Movile) is a cave near Mangalia, Constanța County, Romania discovered in 1986 by Cristian Lascu a few kilometers from the Black Sea coast. It is notable for its unique groundwater ecosystem abundant in hydrogen sulfide and carbon dioxide, but low in oxygen. Life in the cave has been separated from the outside for the past 5.5 million years and it is based completely on chemosynthesis rather than photosynthesis.

🔗 China

Counting rods (traditional Chinese: 籌; simplified Chinese: 筹; pinyin: chóu; Japanese: 算木; rōmaji: sangi; Korean: sangaji) are small bars, typically 3–14 cm long, that were used by mathematicians for calculation in ancient East Asia. They are placed either horizontally or vertically to represent any integer or rational number.

The written forms based on them are called rod numerals. They are a true positional numeral system with digits for 1–9 and a blank for 0, from the Warring states period (circa 475 BCE) to the 16th century.

🔗 Education 🔗 Organizations

The University of the Third Age is an international movement whose aims are the education and stimulation of mainly retired members of the community—those in their third 'age' of life. It is commonly referred to as U3A.

There is no universally accepted model for the U3A. Its original conception in France as an extramural university activity was significantly modified in the United Kingdom where it was recognized that most people of retirement age have something to contribute and the emphasis has been on sharing, without formal links to traditional universities.

Many English-speaking countries have followed this geragogic model, whereas continental European countries have mostly followed the French model. For historical reasons, Lifelong learning institutes is the term used in the United States for organizations that are similar to U3A groups.

A British U3A website reports this about "The Third Age" membership eligibility: "U3A membership is not related to a specific age but to a period in one’s life (the third age) after the second age of full-time employment and parental responsibility. Anybody in their third age can join U3A and this includes people who are working part-time. There is no lower age for membership."

🔗 Technology

A blast valve is used to protect a shelter, such as a fallout shelter or bunker, from the effects of sudden outside air pressure changes. A nuclear weapon creates a shock wave, which may produce sudden pressure changes of more than an atmosphere (about 1 bar) even several kilometres from the detonation point. After the shock wave passes, a sudden negative pressure follows.

If such pressure waves enter a shelter, they will likely do substantial harm to occupants and equipment. A blast valve is placed in air intake/exhaust pipes, that remains open normally, but automatically closes when strong pressure is applied in either direction. Blast dampers operate in the same fashion and are related or identical to blast valves, the former name however is generally used to describe blast mitigation devices, for more conventional explosive events.

A typical blast valve has entries of 15–30 cm diameter, and a larger centre section. Within the centre section is a disk mounted on an axle, with weak springs that keep it centred, away from both entries. Pressure displaces the disk along the axle, until it plugs one entry or the other. After the blast, the springs return the disk to the centre, re-opening the valve.

Another type of blast valve employs rounded metal tubes held in place by springs. As pressure rises it pushes the tubes against the frame of the valve closing the opening. These valves are typically unidirectional in airflow and are employed in large wall structures where large amounts of airflow is required.

One form of blast valve, popularized by the book Nuclear War Survival Skills and tested by ORNL is worn flat rubber tire treads nailed or bolted to frames strong enough to resist the maximum overpressure, with tested closing times cited as being identical to commercial grade blast valves, however the use of this form of blast valve design must also take the risk of the flammable rubber catching fire into consideration.

🔗 Food and drink 🔗 Trains 🔗 Finland 🔗 Trains/Streetcars 🔗 Food and drink/Pubs

SpåraKoff is a HM V type tram converted into a mobile bar in Helsinki, Finland. Known as the pub tram, the vehicle does circular tours of downtown Helsinki picking up passengers for a fee during summer months. It is operated jointly by Sinebrychoff, HOK-Elanto (part of the S Group), and Helsinki City Transport.

The pub tram is immediately distinguishable in the Helsinki traffic by its vivid red colour (as opposed to the normal colours, green and cream, used on the Helsinki tram network of the Helsinki City Transport), and by the destination board that reads "PUB".

It is one of the four HM V trams that remain operational in Helsinki. Two of them are museum trams, and one is used as a non-passenger carrying advertisement tram.