OpenLLM-France/wikimedia huggingface dataset:
# Haiyan Zhang

Haiyan Zhang is a designer and engineer. She is Director of Innovation at Microsoft Research and Technical Advisor to Lab Director, Christopher Bishop. She appeared on the BBC show "Big Life Fix".

## Education

Zhang was born in China, and migrated to Australia with her parents aged eight. She attended Monash University, where she earned first-class honours for a bachelor's degree in computer science in 1998. Zhang worked for Space-Time Research until 2000, when she left Australia to further her studies in design. Zhang moved to Canada to complete a Post Graduate Diploma in Interactive Multimedia at Sheridan College, which she completed in 2003. Whilst there she helped develop a tool for visualising electroencephalography for intra-operative monitoring. She moved to Italy to study at the Interaction Design Institute Ivrea, where she completed a Masters in Interaction Design.

## Career

Zhang worked as an Interaction Designer for the British Design Council and Stanford University. Zhang joined IDEO as Principal Interaction Designer in 2006. Here she "created new technology experiences for community building, entertainment, financial services". with Mattel, Electronic Arts, HBO, France Telecom, Alcatel, Cisco, and AT&T. She was a founder of the innovation platform OpenIDEO, which brings together makers around the world to solve challenges for social good. The site has over 150,000 users worldwide.
She joined Microsoft in 2013, working in the Lift London studio on games and wearables. In 2015 she became Innovation Director at Microsoft Research. She is interested in technology for "Connected Play" and wellness. In 2011, Zhang developed an interactive map of radiation levels around Japan, widely used in the aftermath of the Fukushima Daiichi nuclear disaster. She was a mapping consultant for Safecast, a volunteer organisation developing geiger counters that can be built simply by non-experts, which are distributed around Fukushima.

### Big Life Fix

The BBC Two show "Big Life Fix" paired technology experts with members of the public who were facing real life challenges. Zhang was one of seven makers. Zhang developed two products, the Emma Watch and Fizzyo. Fizzyo is a toy to encourage children with cystic fibrosis to do their breathing exercises to clear their lungs. It comprises a wireless electronic sensor in the mouthpiece, which sends an electronic signal to control a computer game on a tablet. The Emma Watch is a device for sufferers Parkinson's disease, which looks to reduce limb tremors by disrupting the "feedback loop between the brain and hand". Microsoft unveiled the device at their annual developer's conference. It was named after Emma Lawton, a graphic designer who Zhang met on the show. The invention received significant media coverage.
Zhang regularly delivers public talks and appears on podcasts, where she discusses design and engineering. She is an advocate for increasing the representation of women in technology. She is a Fellow of the Royal Society of the Arts (FRSA) and British Academy of Film and Television Arts (BAFTA).
# Ghabutra

Ghabutra is a union council in the Islamabad Capital Territory of Pakistan. It is located at 33° 28' 20N 73° 19' 0E with an altitude of 575 metres (1889 feet).
# Estadio Edgardo Baltodano Briceño

Estadio Edgardo Baltodano Briceño is a multi-use stadium in Liberia, Costa Rica. It is currently used mostly for football matches and is the home stadium of Municipal Liberia. The stadium holds 5,979 people and was built in 1970.
It has been remodelled to host 2014 FIFA U-17 Women's World Cup matches.
# Amrollah Dehghani

Amrollah Dehghani is an Iranian Paralympic powerlifter. He represented Iran at the 1996 Summer Paralympics and at the 2000 Summer Paralympics and he won the gold medal in the men's 100 kg event in 2000.
# African Queens

African Queens is the fourth studio album recorded by American female vocal trio the Ritchie Family, released in 1977 on the Marlin label.

## History

The album features the track, "Quiet Village", which peaked at No. 1 on the Hot Dance/Disco chart along with songs "African Queens" and "Summer Dance". "Quiet Village" also peaked at No. 68 on the Hot Soul Singles chart.

## Critical reception

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
The Bay State Banner wrote that "the music moves swiftly via massive string swoops and spurts of high hat drumming, jetting far away from present reality towards exotic distances only the world of fantasy can reckon."

## Track listing

All tracks are written by Jacques Morali, Henri Belolo and Phil Hurtt, except where noted

## Personnel

* Gwendolyn Oliver, Cassandra Ann Wooten and Cheryl Mason Jacks - Vocalists
* Russell Dabney – drums
* Alfonso Carey – Fender bass
* Jimmy Lee – lead guitar
* Rodger Lee – rhythm guitar
* Nathaniel "Crocket" Wilke – Fender Rhodes electric piano, clavinet
* Babatunde Olatunji – Ngoma drums, Shekere, bongos
* Ralph MacDonald – tambourines, triangle, bell tree, cowbell
* Mario Grillo – timbales
* Anthony Robinson – congas
* J.M. Diatta – ngoma drums
* Charles Payne – Djembe

## Production

* Jacques Morali – producer, rhythm, percussion and vocal arrangements
* Henri Belolo – executive producer
* Phil Hurtt – vocal arrangements
* Horace Ott – strings and horns arrangements
* Gerald Block – engineer
* Carla Bandini, Jeff Stewart – assistant engineers
* John Galluzzi – photographer

## Charts

| Chart (1977) | Peak |
| Australia (Kent Music Report) | 66 |
| U.S. Billboard Top LPs | 164 |
| U.S. Billboard Top Soul LPs | 57 |

### Singles

| Year | Single | Peak chart positions | Peak chart positions |
| Year | Single | US R&B | US Dan |
| 1977 | "Quiet Village" | 68 | 1 |
| 1977 | "African Queens" | — | 1 |
| 1977 | "Summer Dance" | — | 1 |
# Govind Singh Rajput

Govind Singh Rajput is an Indian politician from The Bharatiya Janata Party who is the cabinet minister in Government of Madhya Pradesh. Rajput was a Member of Madhya Pradesh Legislative Assembly from Surkhi in Sagar district from December 2018 to March 2020.

## Political career

In December 2018, he was inducted into the Kamal Nath cabinet as Minister of Revenue & Transport in Madhya Pradesh. During 2020 Madhya Pradesh political crisis, he supported former Congress leader Jyotiraditya Scindia and was one of the 22 MLAs who resigned and Joined Bharatiya Janata Party. And on 21 April 2020, he became a cabinet minister.
# Leigh Hamilton

Leigh Hamilton (December 20, 1949 – September 8, 2012) was a New Zealand-born American actress and art gallery owner.
Hamilton was born in Auckland, New Zealand, on December 20, 1949, to parents, Colleen and Derek Hiene. She moved to the United States to pursue acting. She began her career with small television roles during the 1970s, including parts on Kojak, The Mod Squad, Baretta, Banyon, and McMillan & Wife.
Hamilton co-starred in several films from the 1970s to the 1990s, including A Man, a Woman, and a Bank in 1979, Forced Vengeance in 1982, and Gas Food Lodging in 1992. She was also cast in smaller parts 1987's P.K. and the Kid and Hocus Pocus, a 1993 Halloween-themed comedic film starring Sarah Jessica Parker, Bette Midler, and Kathy Najimy.
In 1994, Hamilton opened the Hamilton Galleries in the Pacific Palisades, Los Angeles, and simultaneously left acting to focus on her art business. She represented California-based artists, including Brooke Adams, who had co-starred with Hamilton in A Man, a Woman, and a Bank and Gas Food Lodging. The Hamilton Galleries are now located on Ocean Avenue in Santa Monica, California, as of 2012.
Leigh Hamilton died at Saint John's Health Center in Santa Monica, California, on September 8, 2012, at age 62.
# Archaeoprepona chromus

Archaeoprepona chromus is a species of Neotropical charaxine butterflies in the family Nymphalidae, native to South America. It was observed to have an unusual for Nymphalidae behavior, in which it responds to an approaching predator with sagittal movements of its hindwings.

## Taxonomy

The following subspecies are recognised:
* Archaeoprepona chromus chromus (Guérin-Ménéville, 1844) (Colombia, Bolivia, Venezuela, Peru, Argentina)
* Archaeoprepona chromus priene (Hewitson, 1869) (Colombia)

## Description

The wingspan is about 85 mm.

## Distribution and habitat

Montane forest at 1500 to 2000 metres in the Neotropical realm.
# Deering City, Illinois

Deering City is an unincorporated community in Frankfort Township, Franklin County, Illinois, United States.
# Giancarlo Iliprandi

Giancarlo Iliprandi (15 March 1925 – 15 September 2016) was an Italian graphic designer.

## Early years

Born in Milan, in 1949 Iliprandi graduated in painting and in 1953 in scenography from the Brera Academy. He was a self-taught graphic designer, inspired by Antonio Boggeri, Max Huber, Albe Steiner and Bruno Munari. In the early 1950s he was able to get commissions from important companies including RAI, Honeywell, Roche, La Rinascente, FIAT, Standa and Electa.

## Career

Starting from the 1960s, Iliprandi worked as art director for numerous magazines including Popular Photography Italiana, Phototeca, Sci nautico and Interni. He drew the covers for the records of the label I Dischi del Sole [it], and cured the corporate identity for the companies Cucine RB, Ankerfarm and Stilnovo.
During his career he received several awards including: the Grand Prize at the XIII Triennale (1964); a prize at the first International Poster Biennale in Warsaw (1966); and four Compasso d'Oro. The Compasso d'Oro were in 1979 for the font Modulo and for the instrumental graphic of the Fiat 131 Mirafiori, in 2004 for the cover design of the magazine Arca and in 2011 as a career award. In 2015 he released an autobiography, Note.
# Ernest Vaughan

Ernest Vaughan may refer to:
* Ernest Vaughan, 4th Earl of Lisburne (1800–1873), landowner in Wales and member of parliament
* Ernest Augustus Malet Vaughan, 5th Earl of Lisburne (1836–1888), landowner in Wales
* Ernest Vaughan, 7th Earl of Lisburne (1892–1965), Welsh nobleman
# American Sterling Bank

American Sterling Bank was a bank based in Sugar Creek, Missouri. On April 17, 2009, the bank was shut down by the Federal Deposit Insurance Corporation as a result of a bank failure and its assets were sold to Metcalf Bank.

## History

The bank was established in 1934 as Bank of Levasy.
In 1963, it was renamed Sugar Creek National Bank.
In 1983, it was renamed Sterling National Bank.
In 1998, it was renamed American Sterling Bank.
On Friday, April 17, 2009, the bank was shut down by the Federal Deposit Insurance Corporation as a result of a bank failure and its assets were sold to Metcalf Bank. The FDIC estimated the failure of American Sterling Bank would cost its deposit insurance fund $42 million.
In January 2010, the Federal Housing Administration began investigating loans made by the bank after loans from the bank incurred significantly high claims rates against the FHA’s mortgage insurance program.
In March 2010, the Office of Thrift Supervision issued an order against Michael Thompson, the former chief executive officer of the bank, and four of its board members prohibiting them from participating in the banking industry without prior regulatory approval. The agency found that Thompson “facilitated (American Sterling’s) recording of four fictitious capital contributions and its filing of inaccurate Thrift Financial Reports.”
# Aesthetica (novel)

Aesthetica is a 2022 debut novel by American writer Allie Rowbottom whose first book was the 2018 memoir Jell-O Girls. Aesthetica was published by Soho Press. The novel follows Anna, celebrity Instagram influencer, who fifteen years after the height of her fame contemplates an experimental surgery, Aesthetica, which would return her face to its "natural" state.

## Writing and development

Rowbottom attempted to write a follow-up to her 2018 memoir Jell-O Girls in the six months after its publication. Rowbottom had been considering the idea of writing a novel about a person with an Instagram following for some time but was delayed by circumstances including the theft of her laptop. The novel's focus on social media, plastic surgery, beauty standards, and their impact on women was inspired by Rowbottom's perception that "nobody" was writing about those subjects.

## Reception
### Critical reception

According to literary review aggregator Book Marks, Aesthetica received all "Positive" or "Rave" reviews.
In a positive review published by Astra, Philippa Snow praised Rowbottom's prose, referring to it as "poetic, and quite often sweetly melancholic" instead of the "cool and clinical style" Snow anticipates audiences might expect from a novel with "a subject that is internet-adjacent". Kirkus characterized Rowbottom's writing as alternating between "striking imagery" and "staccato simplicity", granting it an "entrancing quality, like the best social media algorithms".

### Accolades

The novel was included on lists published by NPR, Vanity Fair, and Glamour of the best books of 2022.
# Govinda (Kula Shaker song)

"Govinda" is a song by British rock band Kula Shaker, released on their debut album, K (1996). Sung entirely in Sanskrit, the song includes Indian influences and tambura and tabla instrumentation. "Govinda" was issued as a single on 11 November 1996 and peaked at number seven on the UK Singles Chart.
Kula Shaker made a music video for the song, directed by Michael Geoghegan. The cover artwork for the single featured a Longines Conquest watch, with the band logo and song title in place of the Longines branding. An alternative version of the track, called "Govinda '97, Hari & ST. George", appeared on Kula Shaker's Summer Sun EP, released in July 1997.

## Background

Lead singer and guitarist Crispian Mills said that the song was born out of an improvisation and based on a Hindu prayer to Krishna. The words Govinda jaya jaya literally mean "Krishna (the Divine Cowherd), Glory, Glory". The text is taken from a Sanskrit devotional chant, titled "Govinda Jaya Jaya". The latter was previously recorded in 1970 by devotees from the London Radha Krishna Temple and released as the B-side of their single "Govinda" (a different song), produced by George Harrison.

## Credits and personnel

Credits are taken from the UK CD1 liner notes and the K album booklet.
Studios
* Recorded between January and May 1996 at various studios
Personnel

## Charts

| Chart (1996) | Peak position |
| Europe (Eurochart Hot 100) | 32 |
| Ireland (IRMA) | 23 |
| Scotland (OCC) | 4 |
| UK Singles (OCC) | 7 |
# Leigh Harding

Leigh Harding (born 26 April 1981) is a former Australian rules footballer in the Australian Football League. He currently serves as an Offensive Skills coach at the Brisbane Lions, and also as an assistant coach of the Lions' NEAFL reserves team.
Originally from Teesdale, Victoria, a small town near Bannockburn, Victoria Harding then played under-18 football with the Geelong Falcons before he moved to play with Geelong in the VFL.
Selected in the 2000 rookie draft, he was elevated from the Kangaroos' rookie list in 2001, where he made his debut as a 20-year-old.
A crumbing forward, Harding had the tendency to miss simple shots at goal on the run, although he had a high work rate. He topped the Kangaroos goalkicking in 2003 with just 33 goals, an equal personal best season haul.
In 2005, Harding moved from being a fringe player to more of a regular role. This improved in 2006 when he played 19 games out of 21 until the final training session before Round 22, the final week of the season. Bad luck struck when he suffered a serious knee injury, requiring a knee reconstruction, keeping him out of playing for around 12 months.
Leigh Harding retired from football in 2010.
# Cercopedius

Cercopedius is a genus of broad-nosed weevils in the beetle family Curculionidae. There is at least one described species in Cercopedius, C. artemisiae.
# Demi-culverin

The demi-culverin was a medium cannon similar to but slightly larger than a saker and smaller than a regular culverin developed in the late 16th century. Barrels of demi-culverins were typically about 11 feet (3.4 m) long, had a calibre of 4 inches (10 cm) and could weigh up to 3,400 pounds (1,500 kg). The gun required 6 pounds (2.7 kg) of black powder to fire an 8-pound (3.6 kg) round shot (though there were heavier variants firing 9-pound (4.1 kg) or 10-pound (4.5 kg) round shot). The demi-culverin had an effective range of 1,800 feet (550 m).
Demi-culverins were valued by generals for their range, accuracy and effectiveness. They were often used in sieges for wall and building demolition.
# Halolaelaps balticus

Halolaelaps balticus is a species of mite in the family Halolaelapidae.
# Giancarlo Judica Cordiglia

Giancarlo Judica Cordiglia (born 30 September 1971) is an Italian actor and entertainer perhaps best known for his role in the television program Melevisione on Raitre (as Gnomo Ronfo) and his roles in RIS Delitti Imperfetti (as Capt. Bruno Corsini) films on Canale 5.
# Ernolatia

Ernolatia is a genus of moths of the family Bombycidae. The genus was erected by Francis Walker in 1862.

## Species

* Ernolatia lida (Moore, 1858)
* Ernolatia moorei (Hutton, 1865)
# Amy McAninch

Amy McAninch (born (1975-06-24)June 24, 1975) is a Canadian female curler and curling coach.

## Record as a coach of national teams

| Year | Tournament, event | National team | Place |
| 2004 | 2004 World Wheelchair Curling Championship | Canada (wheelchair) | |
# Aesopida malasiaca

Aesopida malasiaca is a species of beetle in the family Cerambycidae. It was described by James Thomson in 1864. It is known from Borneo, Java, Laos, Thailand, Malaysia, Vietnam, and Sumatra. It feeds on Bombax ceiba, Mallotus philippensis, and Kydia calycina.
# Gouraincourt

Gouraincourt (French pronunciation:) is a commune in the Meuse department in Grand Est in north-eastern France.

## Geography

The river Othain forms part of the commune's north-eastern border.
# 1968 lunar eclipse

Two total lunar eclipses occurred in 1968:
* 13 April 1968 lunar eclipse
* 6 October 1968 lunar eclipse
# Arabin; or, The Adventures of a Settler

Arabin; or, The Adventures of a Settler is an 1849 Australian stage play by James McLachlin. It was arguably the first Australian play presented in Melbourne.
It was based on the 1845 book Adventures of a colonist, or, Godfrey Arabin the settler by Thoms McCombie. A full copy of the play survives. According to academic Richard Fotheringham, "except for the introduction of a predictable comic Irish servant and his sweetheart, the stage Arabin follows McCombie’s narrative closely; indeed several cryptic references in the play can only be understood by referring to the novel."
The production featured songs.
According to William Kerr in the Argus, who disliked McCombie, the play was written by McCombie and would be "interspersed with Songs written by" McCombie "to music no doubt composed by the same universal Genius. The author is also to deliver a Prologue of his own composition. In short, it is a perfect McCombie triumph, and we strongly recommend an attendance to such of our readers as relish a bit of fun."
McCombie pointed out to Kerr that McLachlin wrote the play and songs, not him. "In a flattering notice which one of our contemporaries bestowed upon this piece, it is stated that the prologue was to be spoken by Mr. McCombie. We need not say that this is an error; the author of tho drams was advertised to speak it, and it would be unfair to him to deprive him of the honor."
McLaughlin and McCombie later collaborated on another play Jackey Jackey the NSW Bushranger.
# Delmont State Bank

The former Delmont State Bank is a historic bank building at 104 West Main Street in Delmont, South Dakota. It is a single-story brick structure, with a flat roof. Its main facade has three bays, two with plate glass windows of differing size on the left, and the main entry (formerly recessed, now enclosed) on the right. The facade is topped by a corbelled brick parapet, whose central section is topped by a concrete cap in which the year of construction, 1903, is incised. The Delmont State Bank was one of two banks established in Delmont in the early 1900s. The other folded in 1933, while the Delmont State Bank was merged into the First State Bank of Armour in 1966. After moving to larger facilities in 1976, the bank building was sold to the city for $1, and now houses city offices.
The building was listed on the National Register of Historic Places in 2008.
# HOL (proof assistant)

HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library which defines an abstract data type of proven theorems such that new objects of this type can only be created using the functions in the library which correspond to inference rules in higher-order logic. As long as these functions are correctly implemented, all theorems proven in the system must be valid. As such, a large system can be built on top of a small trusted kernel.
Systems in the HOL family use ML or its successors. ML was originally developed along with LCF as a meta-language for theorem proving systems; in fact, the name stands for "Meta-Language".

## Underlying logic

HOL systems use variants of classical higher-order logic, which has simple axiomatic foundations with few axioms and well-understood semantics.
The logic used in HOL provers is closely related to Isabelle/HOL, the most widely used logic of Isabelle.

## HOL implementations

A number of HOL systems (sharing essentially the same logic) remain active and in use:
* HOL4 — the only presently maintained and developed system stemming from the HOL88 system, which was the culmination of the original HOL implementation effort, led by Mike Gordon. HOL88 included its own ML implementation, which was in turn implemented on top of Common Lisp. The systems that followed HOL88 (HOL90, hol98 and HOL4) were all implemented in Standard ML; while hol98 is coupled to Moscow ML, HOL4 can be built with either Moscow ML or Poly/ML. All come with large libraries of theorem proving code which implement extra automation on top of the very simple core code. HOL4 is BSD licensed.
* HOL Light — an experimental "minimalist" version of HOL which has since grown into another mainstream HOL variant; its logical foundations remain unusually simple. HOL Light, originally implemented in Caml Light, now uses OCaml. HOL Light is available under the new BSD license.
* ProofPower — a collection of tools designed to provide special support for working with the Z notation for formal specification. 5 of the 6 tools are GNU GPL v2 licensed. The sixth (PPDaz) has a proprietary license.
* HOL Zero — a minimalist implementation focused on trustworthiness. HOL Zero is GNU GPL 3+ licensed.
* Candle — An end-to-end verified HOL Light implementation on top of CakeML.

## Formal proof developments

The CakeML project developed a formally proven compiler for ML. Previously, HOL was used to develop a formally proven Lisp implementation running on ARM, x86 and PowerPC.
HOL was also used to formalize the semantics of x86 multiprocessors as well as the machine code for Power ISA and ARM architectures.