Have a deep view into what people are curious about.

🔗 Computer science

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.

🔗 Germany

F60 is the series designation of five overburden conveyor bridges used in brown coal (lignite) opencast mining in the Lusatian coalfields in Germany. They were built by the former Volkseigener Betrieb TAKRAF in Lauchhammer and are the largest movable technical industrial machines in the world. As overburden conveyor bridges, they transport the overburden which lies over the coal seam. The cutting height is 60 m (200 ft), hence the name F60. In total, the F60 is up to 80 m (260 ft) high and 240 m (790 ft) wide; with a length of 502 m (1,647 ft), it is described as the lying Eiffel tower, making these behemoths not only the longest vehicle ever made—beating Seawise Giant, the longest ship—but the largest vehicle by physical dimensions ever made by humankind. In operating condition, it weighs 13,600 metric tons making the F60 also one of the heaviest land vehicles ever made, beaten only by Bagger 293, which is a giant bucket-wheel excavator. Nevertheless, despite its immense size, it is operated by only a crew of 14.

The first conveyor bridge was built from 1969 to 1972, being equipped with a feeder bridge in 1977. The second was built from 1972 to 1974, having been equipped with a feeder bridge during construction. The third conveyor bridge was built from 1976 to 1978, being provided with a feeder bridge in 1985. The fourth and fifth conveyor bridges were built 1986–1988 and 1988–1991 respectively.

There are still four F60s in operation in the Lusatian coalfields today: in the brown coal opencast mines in Jänschwalde (Brandenburg, near Jänschwalde Power Station), Welzow-Süd (Brandenburg, near Schwarze Pumpe Power Station), Nochten and Reichwalde (Saxony, both near Boxberg Power Station). The fifth F60, the last one built, is in Lichterfeld-Schacksdorf and is accessible to visitors.

🔗 Computing

Plankalkül (German pronunciation: [ˈplaːnkalkyːl]) is a programming language designed for engineering purposes by Konrad Zuse between 1942 and 1945. It was the first high-level programming language to be designed for a computer.

Kalkül is the German term for a formal system—as in Hilbert-Kalkül, the original name for the Hilbert-style deduction system—so Plankalkül refers to a formal system for planning.

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

"The Murderer" (1953) is a short story by Ray Bradbury, published in his collection The Golden Apples of the Sun.

🔗 Poetry

A clerihew () is a whimsical, four-line biographical poem invented by Edmund Clerihew Bentley. The first line is the name of the poem's subject, usually a famous person put in an absurd light, or revealing something unknown or spurious about them. The rhyme scheme is AABB, and the rhymes are often forced. The line length and metre are irregular. Bentley invented the clerihew in school and then popularized it in books. One of his best known is this (1905):

🔗 Physics 🔗 Meteorology 🔗 Radio

A whistler is a very low frequency or VLF electromagnetic (radio) wave generated by lightning. Frequencies of terrestrial whistlers are 1 kHz to 30 kHz, with a maximum amplitude usually at 3 kHz to 5 kHz. Although they are electromagnetic waves, they occur at audio frequencies, and can be converted to audio using a suitable receiver. They are produced by lightning strikes (mostly intracloud and return-path) where the impulse travels along the Earth's magnetic field lines from one hemisphere to the other. They undergo dispersion of several kHz due to the slower velocity of the lower frequencies through the plasma environments of the ionosphere and magnetosphere. Thus they are perceived as a descending tone which can last for a few seconds. The study of whistlers categorizes them into Pure Note, Diffuse, 2-Hop, and Echo Train types.

Voyager 1 and 2 spacecraft detected whistler-like activity in the vicinity of Jupiter known as "Jovian Whistlers", implying the presence of lightning there.

🔗 Medicine 🔗 Transhumanism 🔗 Neuroscience 🔗 Pharmacology 🔗 Psychoactive and Recreational Drugs

Modafinil, sold under the brand name Provigil among others, is a medication to treat sleepiness due to narcolepsy, shift work sleep disorder, or obstructive sleep apnea. While it has seen off-label use as a purported cognitive enhancer, the research on its effectiveness for this use is not conclusive. It is taken by mouth.

Common side effects include headache, anxiety, trouble sleeping, and nausea. Serious side effects may include allergic reactions such as anaphylaxis, Stevens–Johnson syndrome, misuse, and hallucinations. It is unclear if use during pregnancy is safe. The amount of medication used may need to be adjusted in those with kidney or liver problems. It is not recommended in those with an arrhythmia, significant hypertension, or left ventricular hypertrophy. How it works is not entirely clear. One possibility is that it may affect the areas of the brain involved with the sleep cycle.

Modafinil was approved for medical use in the United States in 1998. In the United States it is classified as a schedule IV controlled substance. In the United Kingdom it is a prescription only medication. It is available as a generic medication. In the United Kingdom it costs the NHS about £105.21 a month as of 2018. In the United States the wholesale cost per month is about US$34.20 as of 2018. In 2016, it was the 284th most prescribed medication in the United States, with more than a million prescriptions.

🔗 Russia 🔗 Russia/mass media in Russia 🔗 Radio Stations

The Pip is the nickname given by radio listeners to a shortwave radio station that broadcasts on the frequency 5448 kHz by day, and 3756 kHz during the night. It broadcasts short, repeated beeps at a rate of around 50 per minute, for 24 hours per day. The beep signal is occasionally interrupted by voice messages in Russian. The Pip has been active since around 1985, when its distinctive beeping sound was first recorded by listeners.

The station is commonly referred to as "The Pip" among English-speaking radio listeners. In Russia, it is known as Капля (Kaplya) "the drop". While its official name or callsign is not known, some of the voice transmissions begin with the code 8S1Shch (Cyrillic: 8С1Щ), which is generally considered to be the name of the station. However, this code may not be a callsign, but instead serve some other purpose. Radioscanner.ru identifies the owner of this station as a North-Caucasian military district communication center with callsign "Akacia" (ex-72nd communication center, Russian "72 узел связи штаба СКВО").

🔗 Spaceflight

StarTram is a proposed space launch system propelled by maglev. The initial Generation 1 facility would launch cargo only, launching from a mountain peak at an altitude of 3 to 7 kilometres (1.9 to 4.3 mi) with an evacuated tube staying at local surface level; it has been claimed that about 150,000 tons could be lifted to orbit annually. More advanced technology would be required for the Generation 2 system for passengers, with a longer track instead gradually curving up at its end to the thinner air at 22 kilometres (14 mi) altitude, supported by magnetic levitation, reducing g-forces when each capsule transitions from the vacuum tube to the atmosphere. A SPESIF 2010 presentation stated that Generation 1 could be completed by the year 2020 or later if funding began in 2010, and Generation 2 by 2030 or later.

🔗 Aviation 🔗 Canada 🔗 Aviation/aircraft 🔗 Amateur radio 🔗 Canada/Alberta

Balloon Experiments with Amateur Radio (BEAR) is a series of Canadian-based amateur radio high-altitude balloon experiments by a group of amateur radio operators and experimenters from Sherwood Park and Edmonton, Alberta. The experiments started in the year 2000 and continued with BEAR-9 in 2012 reaching 36,010 metres (118,140 ft).

The balloons are made of latex filled with either helium or hydrogen. All of the BEAR payloads carry a tracking system comprising a GPS receiver, an APRS encoder, and a radio transmitter module. Other experimental payload modules include an Amateur Radio crossband repeater, and a digital camera all of which is contained within an insulated foam box suspended below the balloon. A parachute recovery system is automatically deployed when the balloon bursts at altitude.