Have a deep view into what people are curious about.

🔗 Cognitive science

The Sussman anomaly is a problem in artificial intelligence, first described by Gerald Sussman, that illustrates a weakness of noninterleaved planning algorithms, which were prominent in the early 1970s. In the problem, three blocks (labeled A, B, and C) rest on a table. The agent must stack the blocks such that A is atop B, which in turn is atop C. However, it may only move one block at a time. The problem starts with B on the table, C atop A, and A on the table:

However, noninterleaved planners typically separate the goal (stack A atop B atop C) into subgoals, such as:

1. get A atop B
2. get B atop C

Suppose the planner starts by pursuing Goal 1. The straightforward solution is to move C out of the way, then move A atop B. But while this sequence accomplishes Goal 1, the agent cannot now pursue Goal 2 without undoing Goal 1, since both A and B must be moved atop C:

If instead the planner starts with Goal 2, the most efficient solution is to move B. But again, the planner cannot pursue Goal 1 without undoing Goal 2:

The problem was first identified by Sussman as a part of his PhD research. Sussman (and his supervisor, Marvin Minsky) believed that intelligence requires a list of exceptions or tricks, and developed a modular planning system for "debugging" plans. Most modern planning systems can handle this anomaly, but it is still useful for explaining why planning is non-trivial.

🔗 Biography 🔗 Science Fiction 🔗 Biography/arts and entertainment 🔗 Journalism

Jerry Eugene Pournelle (; August 7, 1933 – September 8, 2017) was an American polymath: scientist in the area of operations research and human factors research, science fiction writer, essayist, journalist, and one of the first bloggers. In the 1960s and early 1970s, he worked in the aerospace industry, but eventually focused on his writing career. In an obituary in gizmodo, he is described as "a tireless ambassador for the future."

Pournelle is particularly known for writing hard science fiction, and received multiple awards for his writing. In addition to his solo writing, he wrote several novels with collaborators, most notably Larry Niven. Pournelle served a term as President of the Science Fiction and Fantasy Writers of America.

Pournelle's journalism focused primarily on the computer industry, astronomy, and space exploration. From the 1970s until the early 1990s, he contributed to the computer magazine Byte, writing from the viewpoint of an intelligent user, with the oft-cited credo, “We do this stuff so you won’t have to.” He created one of the first blogs, entitled "Chaos Manor", which included commentary about politics, computer technology, space technology, and science fiction.

Pournelle was also known for his paleoconservative political views, which were sometimes expressed in his fiction. He was one of the founders of the Citizens' Advisory Council on National Space Policy, which developed some of the Reagan Administration's space initiatives, including the earliest versions of what would become the Strategic Defense Initiative.

🔗 Mathematics

In geometry, circle packing is the study of the arrangement of circles (of equal or varying sizes) on a given surface such that no overlapping occurs and so that no circle can be enlarged without creating an overlap. The associated packing density, η, of an arrangement is the proportion of the surface covered by the circles. Generalisations can be made to higher dimensions – this is called sphere packing, which usually deals only with identical spheres.

While the circle has a relatively low maximum packing density of 0.9069 on the Euclidean plane, it does not have the lowest possible. The "worst" shape to pack onto a plane is not known, but the smoothed octagon has a packing density of about 0.902414, which is the lowest maximum packing density known of any centrally-symmetric convex shape. Packing densities of concave shapes such as star polygons can be arbitrarily small.

The branch of mathematics generally known as "circle packing" is concerned with the geometry and combinatorics of packings of arbitrarily-sized circles: these give rise to discrete analogs of conformal mapping, Riemann surfaces and the like.

🔗 Economics 🔗 Business 🔗 Sociology 🔗 Occupations

This is a category of jobs that have been rendered obsolete due to advances in technology and/or social conditions.

🔗 Human rights 🔗 Soviet Union 🔗 Russia 🔗 Military history 🔗 Crime 🔗 Death 🔗 Socialism 🔗 Poland 🔗 Military history/World War II 🔗 Military history/Russian, Soviet and CIS military history 🔗 Russia/history of Russia 🔗 Military history/Polish military history 🔗 Military history/European military history

The Katyn massacre (Polish: zbrodnia katyńska, "Katyń crime"; Russian: Катынская резня Katynskaya reznya, "Katyn massacre", or Russian: Катынский расстрел, "Katyn execution by shooting") was a series of mass executions of about 22,000 Polish military officers and intelligentsia carried out by the Soviet Union, specifically the NKVD ("People's Commissariat for Internal Affairs", the Soviet secret police) in April and May 1940. Though the killings also occurred in the Kalinin and Kharkiv prisons and elsewhere, the massacre is named after the Katyn Forest, where some of the mass graves were first discovered.

The massacre was initiated in NKVD chief Lavrentiy Beria's proposal of 5 March 1940 to execute all captive members of the Polish officer corps, approved by the Soviet Politburo led by Joseph Stalin. Of the total killed, about 8,000 were officers imprisoned during the 1939 Soviet invasion of Poland, another 6,000 were police officers, and the remaining 8,000 were Polish intelligentsia the Soviets deemed to be "intelligence agents, gendarmes, landowners, saboteurs, factory owners, lawyers, officials, and priests". The Polish Army officer class was representative of the multi-ethnic Polish state; the murdered included ethnic Poles, Polish Ukrainians, Belarusians, and Polish Jews including the Chief Rabbi of the Polish Army, Baruch Steinberg.

The government of Nazi Germany announced the discovery of mass graves in the Katyn Forest in April 1943. Stalin severed diplomatic relations with the London-based Polish government-in-exile when it asked for an investigation by the International Committee of the Red Cross. The USSR claimed the Nazis had killed the victims, and it continued to deny responsibility for the massacres until 1990, when it officially acknowledged and condemned the killings by the NKVD, as well as the subsequent cover-up by the Soviet government.

An investigation conducted by the office of the Prosecutors General of the Soviet Union (1990–1991) and the Russian Federation (1991–2004) confirmed Soviet responsibility for the massacres, but refused to classify this action as a war crime or as an act of mass murder. The investigation was closed on the grounds the perpetrators were dead, and since the Russian government would not classify the dead as victims of the Great Purge, formal posthumous rehabilitation was deemed inapplicable.

In November 2010, the Russian State Duma approved a declaration blaming Stalin and other Soviet officials for ordering the massacre.

🔗 Mathematics

Curry's paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself "If C, then F", requiring only a few apparently innocuous logical deduction rules. Since F is arbitrary, any logic having these rules proves everything. The paradox may be expressed in natural language and in various logics, including certain forms of set theory, lambda calculus, and combinatory logic.

The paradox is named after the logician Haskell Curry. It has also been called Löb's paradox after Martin Hugo Löb, due to its relationship to Löb's theorem.

🔗 Microsoft 🔗 Microsoft/Microsoft Windows

The Windows logo key (also known as Windows, win, start, logo, flag, OS, or super key) is a keyboard key which was originally introduced on Microsoft's Natural Keyboard in 1994. This key became a standard key on PC keyboards. In Windows, pressing the key brings up the start menu. Ctrl+Esc performs the same function, in case the keyboard lacks this key.

🔗 United States 🔗 Birds 🔗 United States/Colorado

Mike the Headless Chicken (April 20, 1945 – March 17, 1947), also known as Miracle Mike, was a Wyandotte chicken that lived for 18 months after his head had been cut off. Although the story was thought by many to be a hoax, the bird's owner took him to the University of Utah in Salt Lake City to establish the facts.

🔗 Computing 🔗 Systems 🔗 Business 🔗 Engineering 🔗 Systems/Systems engineering

Parkinson's law of triviality is C. Northcote Parkinson's 1957 argument that members of an organization give disproportionate weight to trivial issues. Parkinson provides the example of a fictional committee whose job was to approve the plans for a nuclear power plant spending the majority of its time on discussions about relatively minor but easy-to-grasp issues, such as what materials to use for the staff bike shed, while neglecting the proposed design of the plant itself, which is far more important and a far more difficult and complex task.

The law has been applied to software development and other activities. The terms bicycle-shed effect, bike-shed effect, and bike-shedding were coined as metaphors to illuminate the law of triviality; it was popularised in the Berkeley Software Distribution community by the Danish software developer Poul-Henning Kamp in 1999 and has spread from there to the whole software industry.

🔗 Novels 🔗 Novels/Science fiction 🔗 Novels/Short story

Axiomatic (ISBN 0-7528-1650-0) is a 1995 collection of short science fiction stories by Greg Egan. The stories all delve into different aspects of self and identity.

The Guardian described it as "Wonderful mind-expanding stuff, and well-written too."