OpenLLM-France/wikimedia huggingface dataset:
# Prentice Hall International Series in Computer Science

Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall.
The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular.

## Selected books

The following books were published in the series:
* R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998. ISBN 0-13-484346-0.
* R. S. Bird and O. de Moor, Algebra of Programming, 1996. ISBN 0-13-507245-X. (100th volume in the series.)
* O.-J. Dahl, Verifiable Programming, 1992. ISBN 0-13-951062-1.
* D. M. Gabbay, Elementary Logics: A Procedural Perspective, 1998. ISBN 0-13-726365-1.
* I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. ISBN 0-13-832544-8.
* M. G. Hinchey and J. P. Bowen (eds.), Applications of Formal Methods, 1996. ISBN 0-13-366949-1.
* C. A. R. Hoare, Communicating Sequential Processes, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
* C. A. R. Hoare and M. J. C. Gordon, Mechanized Reasoning and Hardware Design, 1998. ISBN 0-13-572405-8.
* C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, 1998. ISBN 0-13-458761-8.
* INMOS Limited, Occam 2 Reference Manual, 1988. ISBN 0-13-629312-3.
* Cliff Jones, Systematic Software Development Using VDM, 1986. ISBN 0-13-880725-6 hardback or ISBN 0-13-880717-5 paperback.
* M. Joseph (ed.), Real-Time Systems: Specification, Verification and Analysis, 1996. ISBN 0-13-455297-0.
* Bertrand Meyer, Object-Oriented Software Construction (first edition only).
* Robin Milner, Communication and Concurrency, 1989. ISBN 0-13-115007-3 (for the paperback).
* C. C. Morgan, Programming from Specifications, 2nd edition, 1994. ISBN 0-13-123274-6.
* P. N. Nissanke, Realtime Systems, 1997. ISBN 0-13-651274-7.
* B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996. ISBN 0-13-242207-7.
* A. W. Roscoe (ed.), A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994. ISBN 0-13-294844-3.
* A. W. Roscoe, The Theory and Practice of Concurrency, 1997. ISBN 0-13-674409-5.
* J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, 1992. ISBN 0-13-978529-9.
* J. C. P. Woodcock and J. W. Davies, Using Z: Specification, Refinement and Proof, 1996. ISBN 0-13-948472-8.
# Sun Deng (Xin dynasty)

Sun Deng (Chinese: 孫登) was briefly appointed puppet emperor by a coalition of Chimei "Red Eyebrows" rebels in December of 26 CE, but later that month was killed by his general Yue Xuan 樂玄 when the rebels surrendered to the superior forces of Emperor Guangwu of Han (r. 25–57).
After the Chimei and Lülin "Green Forest" agrarian rebellion movements collectively brought down Wang Mang's short Xin dynasty (9-23 CE), the Chimei forces allowed the Lülin leader Liu Xuan to become Gengshi Emperor (r. 23–25) and restore the dynasty. The Chimei rebels subsequently destroyed Gengshi's army and assassinated him, in order to establish their own puppet emperor Liu Penzi (r. 25–27) who was nominally enthroned in the capital Chang'an, until he surrendered after Emperor Guangwu's generals Deng Yu and Feng Yi defeated the remaining Chimei rebels. While both Sun Deng and Liu Penzi were Chimei-supported pretenders to the Han throne, "Emperor" Penzi is better known than Sun Deng.
The (5th century) Hou Hanshu "Book of the Later Han", which covers Han dynasty history from 6 to 189 CE, is the primary historical source about Sun Deng.
First, the "Annals of Emperor Guangwu" records that in December of 26, a confederation of Tongma 銅馬 "Bronze Horses", Qingdu 青犢 "Green/Black Calves", Youlai 尤來, and other rebel groups in the Shang Commandery 陝郡 (roughly modern Sanmenxia, Henan) established Sun Deng as their puppet emperor. The Bronze Horses and Green Calves originated as followers of Mother Lü (d. 18), the first female leader of rebels in Chinese history.
   The Bronze Horses, the Green Calves, the Yu-lai and the remaining bandits in the Shang Commandery together set up Sun Teng as the Son of Heaven. Sun Teng’s General, Yo Hsüan killed Sun Teng, and surrendered with his band of more than 50,000 men. [銅馬青犢尤來餘賊共立孫登為天子於上郡 登將樂玄殺登以其眾五萬餘人降].
On February 27, Emperor Guangwu's generals Deng Yu and Feng Yi defeated the remaining Chimei, who "surrendered with more than a hundred thousand men" at Yiyang 宜陽 (modern Luoyang).
Second, the Hou Hanshu biography of the scholar Di Pu 翟酺 mentions Sun Deng. When Di Pu was restoring lost books in the imperial library, he told his colleague Sun Yi 孫懿 about a book that said the rebel Sun Deng used his brilliance to harm Han court eunuchs [圖書有漢賊孫登，將以才智為中官所害]. The Hou Hanshu commentary identifies it as the apocryphal Confucian text Chunqiu baoqqian tu 春秋保乾圖, which says, "The anti-Han rebel leader Sun Deng was a big, tall man who employed ingenious methods and many techniques, although without a classical education, he was a sage who said little" [漢賊臣名孫登大形小口長七尺九寸巧用法多技方詩書不用賢人杜口].
# Frank Smith (1900s pitcher)

Frank Elmer Smith (October 28, 1879 – November 3, 1952) was a right-handed pitcher in Major League Baseball from 1904 to 1915. He played for the Chicago White Sox, Boston Red Sox, Cincinnati Reds, Baltimore Terrapins, and Brooklyn Tip-Tops. Nicknamed "Piano Mover" because that was his offseason job, Smith was a mainstay of the White Sox pitching staff during the early 20th century. He pitched two no-hitters and won over 20 games in two different seasons. He stood at 5' 10" and weighed 194 lbs.

## Career

Smith was born in Pittsburgh, Pennsylvania. After attending Grove City College, he started his professional baseball career in 1901 in the Virginia-North Carolina League. In 1903, he went 18–13 on the mound. He was drafted by the White Sox in September.
Smith made his major league debut in April 1904. That season, he was taught how to throw a spitball by Elmer Stricklett and was able to harness the pitch on his way to 16 wins. In 1905, he improved to 19 wins. Smith threw his first no-hitter, against the Detroit Tigers, on September 6, and the final score (15–0) was the most lopsided in a no-hitter in American League history. Smith did not allow a home run in either 1904 or 1905 and kept his earned run average under 2.20 in both seasons, as well.
The "Piano Mover" slumped in 1906, going just 5–5 with a 3.39 ERA. The White Sox won the World Series that year, but Smith did not pitch in the six games. The next season, he bounced back with 23 wins, although his ERA+ was below 100 and he also led the league in walks. He then lowered his ERA to 2.03 in 1908. On September 20, he pitched his second no-hitter, this time against the Philadelphia Athletics. He won the game 1–0 when Chicago scored the only run in the bottom of the ninth inning. Smith was the only pitcher in team history to throw two no-hitters before Mark Buehrle accomplished the feat over 100 years later.
Smith had his best statistical season in 1909. Finally the White Sox staff ace, he pitched a career-high 365 innings and went 25–17 with a 1.80 ERA. He led all AL pitchers in games started, innings pitched, and strikeouts, and he finished second in wins. In 1910, Smith started off 4–9 and was traded to the Red Sox in August. He was then sold to the Reds in 1911. Smith spent 1912 and 1913 in the International League and led the league in innings pitched in 1913 while winning 21 games. He finished his career with two seasons in the Federal League.
Smith was a good hitting pitcher in his 11-year major league career. He posted a .204 batting average (156-for-766) with 81 runs, 41 doubles, 9 triples, 2 home runs, 85 RBI and 64 bases on balls. Defensively, he was better than average, recording a .962 fielding percentage which was 17 points higher than the league average at his position.
After his baseball career ended, Smith went back to the moving business. He died in 1952, of Bright's disease.
# Baltus

Baltus may refer to:

## First name

* Baltus Mantz (1815-1854), American politician

## Middle name

* Basile Baltus de Pouilly (1766-1845), French generals

## Surname

* Ado Baltus (1918-1990), Belgian architect and painter
* Barry Baltus (born 2004), Belgian Grand Prix motorcycle racer
* Georges Baltus (1874-1967), Belgian painter
* Gerd Baltus (1932-2019), German television actor
* Jean-François Baltus (1667-1743), French Jesuit Theologian
* Jeffrey Baltus (born 1991), footballer
* Martin Baltus (born 1953), Dutch rower
* Pietje Baltus (1830-1914), Dutch peasant

## Species

* Polyptychus baltus, a moth of the family Sphingidae
# Psorophora columbiae

Psorophora columbiae, known generally as the dark ricefield mosquito or glades mosquito, is a species of mosquito in the family Culicidae. They can be found in North America, primarily in the southern United States, such as Arkansas, Louisiana, and Texas.

## Effective repellents

30% or more lemon eucalyptus is effective for this difficult-to-repel mosquito.
# Xue Jiye

Xue Jiye (Chinese: 薛继业; pinyin: Xuē Jìyè; born in 1965 in Dalian, Liaoning) is a Chinese painter and sculptor. He graduated from Guangzhou Academy of Fine Arts in 1988 and currently lives and works in Beijing.
Xue Jiye and his work have been featured in various art exhibitions both in China and abroad, including the Guangdong Art Museum, National Gallery of Indonesia, Kunstverein Manneim, etc. His contemporary artworks reflect human struggle in a surrealist style.
# The Afro-Colombian Mural: Currulao y Desplazamiento

The Afro-Colombian Mural: Currulao y Desplazamiento, located at 1344 U Street NW, Washington D.C., is a public mural that celebrates the Afro-Colombian culture of the District and increases public awareness about the widespread displacement and other human rights violations related to the ongoing armed conflict in Colombia. The mural was funded by the DC Commission on the Arts and Humanities.

## The artist and inspiration for the mural

The mural was made by the internationally recognized muralist Joel Bergner and his organization Action Ashé! Global Art & Social Action Initiative. Bergner collaborated with many D.C. Afro-Colombian community members who had fled Colombia to seek asylum status in the US, and sought their guidance in how to best illustrate the grave human rights situation in that country.
Bergner also traveled to the Pacific Coast region of Colombia where the conflict is often most severe to visit his friends’ families, do research, and learn more about the political situation. This trip greatly contributed to the mural's imagery.
The size of the woman in the mural and the people underneath her portray the importance of Afro-Colombian traditions and culture. The colors are strong, warm, intriguing and welcoming. The encouraging images are in a paradox with the depiction of the Colombian paramilitary, with people running from these forces.

## Public reception

The mural was unveiled at with a public event featuring speeches from the Afro-Colombian activist Marino Córdoba and a local DC council member, as well as live music, traditional Afro-Colombian food, and a traditional dance presentation by the local Afro-Colombian dance group Tangaré. The event was co-sponsored by TransAfrica Forum and the US Network in Solidarity for Afro-Colombian Grassroots Communities (NASGACC)].
# Broome (name)

Broome is both a surname and a given name. Notable people with the name include:
Surname:
* Albert Broome (1900–1989), British soccer player
* Bob Broome, American football coach
* Christopher Edmund Broome (1812–1886), British mycologist
* David Broome (born 1940), British equestrian
* Ernest James Broome (1908–1975), Canadian politician
* Emilia Broomé (1866–1925), Swedish politician, feminist and peace activist
* Frank Broome (1915–1994), English footballer
* Frederick Broome (1842–1896), Australian politician
* Harvey Broome (1902–1968), American lawyer, writer and conservationist
* Ian Broome (born 1960), English cricketer
* Jack Broome (1901–1985), Royal Navy officer
* James E. Broome (1808–1883), American politician
* Jerry Broome (born 1966), American actor
* John Broome (disambiguation), multiple people
* Johni Broome (born 2002), American basketball player
* Lewis Broome (born 1991), Australian Rules footballer
* Mary Anne Broome, Lady Broome (1831–1911), New Zealand writer Mary Anne Barker
* Matthew Broome, British actor
* Olivia Broome, British para powerlifter
* Paul Broome (born 1976), American soccer player
* Ralph Broome (pamphleteer) (1742–1805), English stockjobber and pamphleteer
* Ralph Broome (bobsledder) (1889–1985), British Olympic bobsledder
* Sharon Weston Broome (born 1956), American politician
* William Broome (1689–1745), British poet and translator
* William Broome (1873–1942), New Zealand manufacturer/tailor, see Swanndri
Given name:
# Mohamed Ramah

Mohamed Ramah (born 2 January 1986) is a Moroccan sports shooter. He competed in the men's trap and double trap events at the 2016 Summer Olympics.
# Harbanoush

Harbanoush (Arabic: حربنوش) is a village in northern Syria, administratively part of Idlib Governorate, located northwest of Idlib. It is situated off the eastern slopes of A'la Mountain. Nearby localities include Maarrat Misrin to the southeast, Maarrat al-Ikhwan to the east, Kaftin and Hizano to the northeast, Qurqania to the north and Kafr Takharim and Armanaz to the west. According to the Syria Central Bureau of Statistics, Harbanoush had a population of 3,785 in the 2004 census.
# Bocagea

Bocagea is a genus of plants in the family Annonaceae. It comprises four species distributed in Brazil. Augustin Saint-Hilaire, the French botanist who first formally described the genus, named it after Josephi Mariae de Souza du Bocage, who he said beautifully translated a poem about flowers into Portuguese and illustrated it.
All species of Bocagea are rare and are at least endangered.

## Description

Bocagea are shrubs or small trees with two rows of petals, 3 interior and 3 exterior, and 6 stamens.

## Species

There are currently four described species in Bocagea:
* Bocagea asymmetrica Mello-Silva & J.C.Lopes
* Bocagea longepedunculata Mart.
* Bocagea moeniana Mello-Silva & J.C.Lopes
* Bocagea viridis A.St.-Hil.
# Indiana State Highway Bridge 46-11-1316

Indiana State Highway Bridge 46-11-1316, also known as Bowling Bridge, is a historic Parker through truss bridge located in Washington Township, Clay County, Indiana. It was built by the Vincennes Bridge Company and erected in 1939. It carries State Road 46 over the Eel River. It consists of two 196 foot long spans and rests on concrete abutments and a concrete pier.$^{:5}$
It was added to the National Register of Historic Places in 2000, and was delisted in 2020.
# George Simpson (botanist)

George Simpson (1880–1952) was a New Zealand naturalist and botanist. He was born in Dunedin, the son of a master builder. He, too, became a builder and valuer, working as Crown Valuer from about 1943 until early 1950. However, he, together with John Scott Simpson, became interested in collecting and growing New Zealand native plants and by 1925 both were well known within the New Zealand botanical community.
In 1930 he was elected a fellow of the Linnean Society, In 1945, he published his monograph on Carmichaelia. In 1949 he was elected a fellow of the Royal Society of New Zealand, FRSNZ.
The standard author abbreviation G.Simpson is used to indicate this person as the author when citing a botanical name.

## Names published

(List incomplete: 74 names published)
* Myosotis ramificata G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxix. 426 (1952).
* Myosotis tenuis G.Simpson & J.S.Thomson, Trans. & Proc. Roy. Soc. N. Z. lxxiii. 161 (1943).
* Wahlenbergia laxa G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxix. 430 (1952).
* Wahlenbergia ramosa G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxv. 196 (1945).
* Brachyscome brevifolia G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxix. 432 (1952).
* Celmisia spedeni G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxv. 200 (1945).
* Carmichaelia solandri G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxv. 253 (1945). (synonym of Carmichaelia australis R.Br.)
* Carmichaelia appressa G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxv. 263 (1945).
* Carmichaelia astonii G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxv. 253 (1945).
* Carmichaelia hollowayi G.Simpson, Trans. & Proc. Roy. Soc. N. Z. lxxv. 277 (1945).
(These may not be accepted names.)

## Eponymy

(From Godley, 1997)
* Ranunculus simpsonii
* Ourissia sessifolia var. simpsonii
* Wahlenburgia simpsonii J.A.Hay (synonym of Wahlenbergia albomarginata subsp. flexilis (Petrie) J.A.Petterson
# Choriner Musiksommer

The Choriner Musiksommer (literally, Chorin's Summer of Music) is an outdoor music festival held in the ruins of the convent of Chorin Abbey in Chorin, Brandenburg, Germany.
It originated as a single annual concert, established on 23 May 1964 by Albert Richter as an event for employees of the Hochschule für nachhaltige Entwicklung (Eberswalde University for Sustainable Development) in Eberswalde. The forest administration then managed the monastery ruins. So they became the venue for the concert. The number of concerts was raised to four in 1970 and from then until 1973 numbers rose from 600 to 1200 and finally 2,100 per concert. In 1974 the number of concerts was increased to thirteen.
After the fall of the Berlin Wall in 1989 the festival's organisation was transferred to an independent organisation (Choriner Musiksommer e.V.). It now consists of nineteen concerts per season (June - August) of 17th to 19th-century music, rarely-heard pieces and choral music. Choriner Musiksommer is a registered brand (certificate 304 50 535 / Deutsches Patent- und Markenamt).
# Where Sleeping Dogs Lie

Where Sleeping Dogs Lie is a 1991 American neo noir thriller film directed by Charles Finch and starring Dylan McDermott, Tom Sizemore, and Sharon Stone. The primary location for the film was C.E. Toberman Estate in Hollywood, a large Mediterranean-style, 22-room house built at the top of Camino Palmero in 1928 by C. E. Toberman.

## Plot

A murder mystery writer misreads the nervous man he bullies in a spooky Hollywood mansion. A psychological thriller with an aspiring writer who was recently evicted moves into a run down California mansion; an enigmatic tenant collaborates on his novel as the "real" killer of the family that the writer is writing about. The writer does not like writing about "blood and guts" to have a best-seller; yet, desperation finds him moving into a house where the inhabitants were murdered by a serial killer, still-at-large, the "real killer" moves into the house as a tenant, helps write the book, then reveals that he killed the family.

## Cast

* Dylan McDermott as Bruce Simmons
* Charles Finch as Evan Best
* Sharon Stone as Serena Black
* Ron Karabatsos as Stan Reeb
* Tom Sizemore as Eddie Hale
* Mary Woronov as Woman Tourist
* David Q Combs as Man Tourist
* Vanna Bonta as Serena's Secretary
* Elizabeth Whitcraft as Serena's Secretary (as Liza Whitcraft)
* Phoebe Stone as Little Girl
* Shawne Rowe as Telegram Clown
* Richard Zavaglia as Detective Clifton
* Jillian McWhirter as Dol Whitney
* Brett Cullen as John Whitney
# Hell's Belles (film)

Hell's Belles is a 1969 action film about two bikers who feud over a new motorcycle. The film was directed by Maury Dexter. It stars Jeremy Slate, Adam Roarke, and Jocelyn Lane and is a biker film, a subgenre of exploitation films. The film was shot around Tucson, Arizona.
The film was later released on DVD by MGM Home Entertainment as a double feature with The Wild Angels.
In the film, a biker attempts to retrieve his stolen motorbike from a motorcycle gang. He is instead offered a biker girl in exchange for his bike.

## Plot

After winning a top motorbike in a race, biker Dan (Jeremy Slate) has it stolen by Tony (Michael Walker), a jealous competitor. Dan sets off to retrieve it and finds the bike is now in the hands of a motorcycle gang, led by Tampa (Adam Roarke), who has stolen it after beating up Tony.
After failing to steal his bike back and receiving a beating himself from Tampa, Dan heads off in pursuit of the gang and his bike, this time reluctantly accompanied by leather miniskirted biker girl Cathy (Jocelyn Lane) who has been 'gifted' to Dan by Tampa in exchange for the bike.

## Cast

* Jeremy Slate as Dan
* Adam Roarke as Tampa
* Jocelyn Lane as Cathy
* Angelique Pettyjohn as Cherry
* William Lucking as Gippo
* Michael Walker as Tony
* Jerry Randell as Crazy John
* Astrid Warner as Piper
* Kristin Van Buren as Zelda
# A Woman as a Friend

A Woman as a Friend (Italian: Una donna per amica) is a 2014 romantic comedy film written and directed by Giovanni Veronesi and starring Fabio De Luigi and Laetitia Casta.

## Plot

Francesco De Biase, a lawyer , and Claudia Casamacchia, a veterinarian of French origins, are very close friends .
One day Giovanni bursts into her life and marries her in a short time . However, her husband turns out to be violent and Claudia takes refuge at Francesco's house, who in the meantime is engaged to Lia, a colleague of hers and is about to move in together .
Francesco soon realizes that friendship between a man and a woman is more difficult than expected and begins to lie to Lia about the friendship between him and Claudia. In a short time, after Claudia has abandoned her husband, in a moment of inebriation she lets Francesco kiss her. Repentant, he then allows himself a night of sex with Luca, a former schoolmate. Francesco, who by chance sees her leaving the house dressed up, follows her and spies on her and, after seeing her squalid show, understands that the time has come to cut ties with Claudia for good.
Some time later, Francesco's secretary announces the arrival of a girl who is posing as his new secretary: it is Anna, Claudia's sister, who came out of a rehabilitation center for drug addicts, to whom the lawyer had promised a job in his studio. Anna hands him a postcard from Claudia, who has returned to live in Paris with her mother, but Francesco doesn't want to know anything about it anymore. He gives the girl his last money and follows her advice to go eat an ice cream at the seaside, where he meets Giulia.
Seven years later, Francesco is sleeping on an armchair in an airport waiting room, when Claudia appears and, seeing him sleeping, jokingly begins to disturb him, blowing on his face. At that point, a little girl arrives, Francesco's daughter, who immediately turns out to be wary of Claudia. The little girl wakes up her father while her ex-friend runs to hide, and in the meantime her mother, Giulia, arrives with another baby in her pouch, who calls him because they are late for the plane.

## Cast

* Fabio De Luigi as Francesco
* Laetitia Casta as Claudia
* Valentina Lodovini as Lia
* Valeria Solarino as Anna
* Adriano Giannini as Giovanni
* Monica Scattini as Elga
* Geppi Cucciari as Cecilia
* Virginia Raffaele as Patrizia
* Antonia Liskova as Antonia
* Flavio Montrucchio as Luca