Have a deep view into what people are curious about.

🔗 Military history 🔗 Military history/Medieval warfare 🔗 Martial arts 🔗 Military history/Spanish military history 🔗 Spain 🔗 Military history/European military history 🔗 Fencing

La Verdadera Destreza is the conventional term for the Spanish tradition of fencing of the early modern period. The word destreza literally translates to 'dexterity' or 'skill, ability', and thus la verdadera destreza to 'the true skill' or 'the true art'.

While destreza is primarily a system of swordsmanship, it is intended to be a universal method of fighting, applicable to all weapons in principle, but in practice dedicated to the rapier specifically, or the rapier combined with a defensive weapon such as a cloak, a buckler or a parrying dagger, besides other weapons such as the late-renaissance two-handed montante; the flail; and polearms such as the pike and halberd.

Its precepts are based on reason, geometry, and tied to intellectual, philosophical, and moral ideals, incorporating various aspects of a well-rounded Renaissance humanist education, with a special focus on the writings of classical authors such as Aristotle, Euclid, and Plato.

The tradition is documented in scores of fencing manuals, but centers on the works of two primary authors, Jerónimo Sánchez de Carranza (Hieronimo de Carança, died c. 1608) and his student Luis Pacheco de Narváez (1570–1640).

🔗 United States 🔗 Biography 🔗 Computing 🔗 Women scientists 🔗 Biography/science and academia 🔗 Women's History 🔗 Chicago 🔗 Catholicism 🔗 United States/Iowa

Mary Kenneth Keller, B.V.M. (December 17, 1913 – January 10, 1985) was an American Roman Catholic religious sister, educator and pioneer in computer science. She and Irving C. Tang were the first two people to earn a doctorate in computer science in the United States.

🔗 Architecture 🔗 Japan

Gate Tower Building (ゲートタワービル, gēto tawā biru) is a 16 floor office building in Fukushima-ku, Osaka, Japan. It is notable for the highway offramp at Umeda Exit that passes through the building.

🔗 Philosophy 🔗 Philosophy/Logic 🔗 Philosophy/Philosophy of mind

Bonini's paradox, named after Stanford business professor Charles Bonini, explains the difficulty in constructing models or simulations that fully capture the workings of complex systems (such as the human brain).

🔗 Environment 🔗 Disaster management 🔗 Agriculture 🔗 Norway 🔗 Plants 🔗 Genetics

The Svalbard Global Seed Vault (Norwegian: Svalbard globale frøhvelv) is a secure seed bank on the Norwegian island of Spitsbergen in the remote Arctic Svalbard archipelago. Conservationist Cary Fowler, in association with the Consultative Group on International Agricultural Research (CGIAR), started the vault to preserve a wide variety of plant seeds that are duplicate samples, or "spare" copies, of seeds held in gene banks worldwide. The seed vault is an attempt to ensure against the loss of seeds in other genebanks during large-scale regional or global crises. The seed vault is managed under terms spelled out in a tripartite agreement among the Norwegian government, the Crop Trust, and the Nordic Genetic Resource Center (NordGen).

The Norwegian government entirely funded the vault's approximately 45 million kr (US$8.8 million in 2008) construction. Storing seeds in the vault is free to end users; Norway and the Crop Trust pay for operational costs. Primary funding for the Trust comes from organisations such as the Bill & Melinda Gates Foundation and from various governments worldwide.

🔗 Computing 🔗 Computer science 🔗 Mathematics 🔗 Computing/Software 🔗 Computing/Computer science

In programming language theory and proof theory, the Curry–Howard correspondence (also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation) is the direct relationship between computer programs and mathematical proofs.

It is a generalization of a syntactic analogy between systems of formal logic and computational calculi that was first discovered by the American mathematician Haskell Curry and logician William Alvin Howard. It is the link between logic and computation that is usually attributed to Curry and Howard, although the idea is related to the operational interpretation of intuitionistic logic given in various formulations by L. E. J. Brouwer, Arend Heyting and Andrey Kolmogorov (see Brouwer–Heyting–Kolmogorov interpretation) and Stephen Kleene (see Realizability). The relationship has been extended to include category theory as the three-way Curry–Howard–Lambek correspondence.

🔗 Biography 🔗 Computing

Francesco Vianello (30 August 1952 – 3 May 2009), better known by his nickname Fravia (sometimes +Fravia or Fravia+), was a software reverse engineer, and hacker, known for his web archive of reverse engineering techniques and papers. He is also known for his work on steganography. He had taught on subjects such as data mining, anonymity, stalking, klebing, advertisement reversing and ad-busting.

Fravia spoke six languages (including Latin) and had a degree in the history of the early Middle Ages. He was an expert in linguistics-related informatics. For five years he made available a large quantity of material related to reverse engineering through his website, which also hosted the advice of reverse engineering experts, known as reversers, who provided tutorials and essays on how to hack software code as well as advice related to the assembly and disassembly of applications, and software protection reversing.

Fravia was a professor at the High Cracking University (+HCU), founded by Old Red Cracker (+ORC), a legendary figure in reverse engineering, to conduct research into Reverse Code Engineering. The addition of the "+" sign in front of the nickname of a reverser signified membership in the +HCU. His website was known as "+Fravia's Pages of Reverse Engineering" and he used it to challenge programmers as well as the wider society to "reverse engineer" the "brainwashing of a corrupt and rampant materialism". In its heyday, his website was receiving millions of visitors per year and its influence was "widespread".

His web presence dates from 1995 when he first got involved in research related to reverse code engineering (RCE). In 2000 he changed his focus and concentrated on advanced internet search methods and the reverse engineering of search engine code.

His websites "www.fravia.com" and "www.searchlores.org" contained a large amount of specialised information related to data mining. His website "www.searchlores.org" has been called a "very useful instrument for searching the web", and his "www.fravia.com" site has been described as "required reading for any spy wanting to go beyond simple Google searches."

🔗 Law 🔗 Wisconsin

A Frankenstein veto occurs when an American state Governor selectively deletes words from a bill, stitching together the remainder (à la Victor Frankenstein) to form a new bill different from that passed by the legislature.

In 2008, the state Constitution of Wisconsin was amended to place certain restrictions on the Frankenstein veto. With those changes, the governor of Wisconsin still has far greater veto powers than any other governor in the United States of America.

🔗 Computing 🔗 Military history 🔗 Military history/Military science, technology, and theory 🔗 Cryptography 🔗 Cryptography/Computer science 🔗 Cold War 🔗 NATO

Link 16 is a military tactical data link network used by NATO and nations allowed by the MIDS International Program Office (IPO). Its specification is part of the family of Tactical Data Links.

With Link 16, military aircraft as well as ships and ground forces may exchange their tactical picture in near-real time. Link 16 also supports the exchange of text messages, imagery data and provides two channels of digital voice (2.4 kbit/s or 16 kbit/s in any combination). Link 16 is defined as one of the digital services of the JTIDS / MIDS in NATO's Standardization Agreement STANAG 5516. MIL-STD-6016 is the related United States Department of Defense Link 16 MIL-STD.

🔗 Biology 🔗 Cognitive science 🔗 Neuroscience

The free energy principle tries to explain how (biological) systems maintain their order (non-equilibrium steady-state) by restricting themselves to a limited number of states. It says that biological systems minimise a free energy function of their internal states, which entail beliefs about hidden states in their environment. The implicit minimisation of variational free energy is formally related to variational Bayesian methods and was originally introduced by Karl Friston as an explanation for embodied perception in neuroscience, where it is also known as active inference.

The free energy principle is that systems—those that are defined by their enclosure in a Markov blanket—try to minimize the difference between their model of the world and their sense and associated perception. This difference can be described as "surprise" and is minimized by continuous correction of the world model of the system. As such, the principle is based on the Bayesian idea of the brain as an “inference engine”. Friston added a second route to minimization: action. By actively changing the world into the expected state, systems can also minimize the free energy of the system. Friston assumes this to be the principle of all biological reaction.. Friston also believes his principle applies to mental disorders as well as to artificial intelligence. AI implementations based on the active inference principle have shown advantages over other methods.

The free energy principle has been criticized for being very difficult to understand, even for experts. Discussions of the principle have also been criticized as invoking metaphysical assumptions far removed from a testable scientific prediction, making the principle unfalsifiable. In a 2018 interview, Friston acknowledged that the free energy principle is not properly falsifiable: "the free energy principle is what it is — a principle. Like Hamilton’s Principle of Stationary Action, it cannot be falsified. It cannot be disproven. In fact, there’s not much you can do with it, unless you ask whether measurable systems conform to the principle."