OpenLLM-France/wikimedia huggingface dataset:
# Gerard J. Holzmann

Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.

## Early life and education

Holzmann was born in Amsterdam, Netherlands and received an Engineer's degree in electrical engineering from the Delft University of Technology in 1976. He subsequently also received his PhD degree from Delft University in 1979 under Willem van der Poel and J.L. de Kroes with a thesis entitled Coordination problems in multiprocessing systems. After receiving a Fulbright Scholarship he was a post-graduate student at the University of Southern California for another year, where he worked with Per Brinch Hansen.

## Career

In 1980 he started at Bell Labs in Murray Hill for a year. Back in the Netherlands he was assistant professor at the Delft University of Technology for two years. In 1983 he returned to Bell Labs where he worked in the Computing Science Research Center (the former Unix research group). In 2003 he joined NASA, where he leads the NASA JPL Laboratory for Reliable Software in Pasadena, California and is a JPL fellow.
In 1981 Holzmann was awarded the Prof. Bahler Prize by the Royal Dutch Institute of Engineers. In 2001, he was selected for the Software System Award (for SPIN) by the Association for Computing Machinery (ACM). In 2002, he was selected for the ACM SIGSOFT Outstanding Research Award. He was selected for the Paris Kanellakis Theory and Practice Award in 2005. He was elected a member of the US National Academy of Engineering in 2005 for the creation of model-checking systems for software verification. In 2011 he was inducted as a Fellow of the Association for Computing Machinery. He was awarded the NASA Exceptional Engineering Achievement Medal in October 2012. In 2015 he was awarded the IEEE Harlan D. Mills Award.

## Work

Holzmann is known for the development of the SPIN model checker (SPIN is short for Simple Promela Interpreter) in the 1980s at Bell Labs. This device can verify the correctness of concurrent software, since 1991 freely available.

## Books

Publications, a selection:
* The Spin Model Checker — Primer and Reference Manual, Addison-Wesley, 2003. ISBN 0-321-22862-6.
* Design and Validation of Computer Protocols, Prentice Hall, 1991.
* The Early History of Data Networks, IEEE Computer Society Press, 1995.
* Beyond Photography — The Digital Darkroom, Prentice Hall, 1988. ISBN 0-13-074410-7.
# The Great American Beast

The Great American Beast (formerly known as The Red Affair) was an American Southern rock/metalcore band from Dayton, Ohio. The group disbanded in 2010 to focus on other pursuits.

## History
### Formation and early releases (2002-2007)

Formed in 2002 as The Red Affair, the band's original line-up consisted of several members from A Day in the Life, an alternative rock band from the same home city. The Red Affair went on hiatus a year later, and reformed in 2004 to record the EP Memento Mori. The Red Affair was featured on the three-way split EP with A Day in the Life and Hit the Lights entitled, From Ohio With Love.
After the departure of Justin Netherly, guitarist Levi Walden took over on vocals, with three other members (Peter, Ben, and Kipp) also joining the band. In late 2007 the band played their last show as The Red Affair, prior to changing their name to The Great American Beast.
Along with a new name, the band took on a new musical style. Previously The Red Affair was known as a softer band, representative of genres such as pop punk, emo, and post-hardcore. The Great American Beast, however, resembles modern metalcore and Southern rock.

### Domestic Blood and break-up (2007-2010)

In late 2009 the band was signed with Trustkill Records. In September 2010 the group released their debut full-length album, entitled Domestic Blood. A digital EP entitled The Modern Gentlemen was released prior to the album, on June 22, 2010. Both works were released through Trustkill Records.
As of October 2010, bass guitarist Peter Disalvo announced via Myspace that the band had broken up and decided to "return to the real world." A final show was performed on October, 23, 2010 at Sidney Elk's Lodge in Sidney, Ohio.
# Grace Vanderbilt

Grace Graham Vanderbilt (née Wilson; September 3, 1870 – January 7, 1953) was an American socialite. She was the wife of Cornelius Vanderbilt III. She was one of the last Vanderbilt's to live the luxurious life of the "head of society" that her predecessors such as Alice and Alva Vanderbilt enjoyed.

## Early years

Grace was born on September 3, 1870, at 512 Fifth Avenue in Manhattan. She was the youngest child of New York banker Richard Thornton Wilson and Melissa Clementine Johnston. Grace's sister Mary ("May") married Ogden Goelet and her sister Belle married Sir Michael Henry Herbert, younger brother of the 13th Earl of Pembroke. The sisters were known in London society as "the marrying Wilsons." One of her brothers was banker Richard Thornton Wilson Jr. Another brother, Marshall Orme Wilson, married Caroline "Carrie" Astor, youngest daughter of William Backhouse Astor Jr. and Caroline Webster Schermerhorn of the Astor family.

## Personal life

She eloped with Cornelius "Neily" Vanderbilt III (1873–1942), son of Cornelius Vanderbilt II and Alice Claypoole Gwynne of the Vanderbilt family, in 1896. This led to a violent disagreement between Neily and his father, which lasted many years. Neily and Grace remained married for the rest of their lives and had two children:
* Cornelius Vanderbilt IV (1898–1974), who married seven times but had no children.
* Grace Vanderbilt (1899–1964), who married Henry Gassaway Davis (1902–1984) in 1927. They divorced in 1936 and she married Robert Livingston Stevens (1907–1972), a grandson of Edwin Augustus and Martha Bayard Stevens.
Grace and Neily rented Beaulieu House in Newport, Rhode Island, the former home of John Jacob Astor III.
Following World War I, Grace and Neily frequently returned to Europe, becoming friends and guests of numerous members of European royalty including Kaiser Wilhelm II of Germany, and his brother, Prince Henry of Prussia, King Albert I of Belgium, Crown Prince Olav of Norway, Queen Marie of Romania, the Shah of Iran, and every British monarch since Queen Victoria.
In 1940, Neily sold his Fifth Avenue mansion, which he inherited from his uncle George Washington Vanderbilt II upon his death in 1914, in New York City to members of the Astor family but remained living there until his death from a cerebral hemorrhage while vacationing in Miami Beach, Florida, aboard his yacht in 1942. Following Neily's death Grace Vanderbilt was forced to move out of their massive Fifth Avenue mansion, and moved into the William Starr Miller House at 1048 Fifth Avenue which still stands today as the Neue Galerie.

### Death and legacy

Grace lived another eleven years, and she died on January 7, 1953. They are buried together in the Vanderbilt Family Mausoleum in New Dorp on Staten Island, New York.
# Alt I Sin Tid

Alt I Sin Tid (English: Everything in its Time) is the debut album from Norwegian pop duo Cir.Cuz (Mats Melbye and Thomas Pedersen). Work started on the album in mid-2011 and was released on 21 November 2011. The released of the album was preceded by the release of three singles from the album: "Radio" (released on 28 February 2011), "Den Eneste" (released on 6 July 2011), and "Diva" (released on 17 October 2011). Their debut single, "Radio", reached number 2 the Norwegian VG-lista charts. Their third single, "Diva", entered the Norwegian VG-lista charts at number 20.

## Track listing

* "Radio" (3:20)
* "Ubetalt" (3:37)
* "Diva" (3:09)
* "En Vei" (3:53)
* "Den Eneste" (3:45)
* "Skinner Alene" (4:14)
* "Slu & Sleip" (3:41)
* "Soldat I Regnet" (3:33)
* "Interessert" (3:25)
* "Bambi" (4:35)
* "Business" (3:20)
* "Frelser" (3:50)
# A Doll's House (1922 film)

A Doll's House is a 1922 American silent drama film produced by and starring Alla Nazimova and directed by her husband Charles Bryant. The couple released the film through United Artists. It is based on the 1879 play A Doll's House by Henrik Ibsen with the scenario written by Nazimova under the pseudonym Peter M. Winters. The film was the fourth silent version filmed of the play, being preceded by a 1918 Paramount film directed by Maurice Tourneur. The film is classified as being lost.

## Plot

As described in a film magazine, in a slightly modernized version of the story that could take place in any town, Torvald Helmer (Hale) is ill at home, and is ordered by his physician Dr. Rank (De Brulier) to a southern clime. His wife Nora Helmer (Nazimova) forges her father's name to a bank note to raise money to save her husband's life. Six years later, when she has but one payment left on the note, Nils Krogstad (Nowell) threatens to expose her unless she intercedes and prevents her husband from discharging him from the bank. Nora begs her husband to have Krogstad remain. Torvald learns her reason for her request and accuses Nora unjustly. When Krogstad returns Nora's note marked "paid," Torvald is overjoyed that his own reputation is saved, and agrees to overlook the past. Nora, however, decides that her first duty is to be a human being and leaves her husband and children. She walks out into the storm and declares that it is "the end and the beginning."

## Cast

* Alan Hale as Torvald Helmer
* Alla Nazimova as Nora Helmer
* Nigel De Brulier as Dr. Rank
* Elinor Oliver as Anna
* Wedgwood Nowell as Nils Krogstad
* Clara Lee as Ellen
* Florence Fisher as Mrs. Linden
* Philippe De Lacy as Ivar
* Barbara Maier as Emmy
# Baron Butler (disambiguation)

Baron Butler was a hereditary title created in 1666 and became abeyant in 1905.
Baron Butler may also refer to:
* Robin Butler, Baron Butler of Brockwell (born 1938), British civil servant and life peer
* Baron Butler of Cloughgrenan, an extinct subsidiary title of the Earl of Arran
* Baron Butler of Mount Juliet, a subsidiary title of the Earl of Carrick
* Rab Butler, Baron Butler of Saffron Walden (1902–1982), British Conservative Party politician
# The Outback Club

The Outback Club is the debut studio album by Australian country musician Lee Kernaghan. It won the ARIA Award for Best Country Album at the ARIA Music Awards of 1993. The album debuted at number 94, peaking at number 58 in May 1994.
The album reached Gold sales in January 1994, Platinum sales in November 1995 and Double Platinum in January 2001.

## Track listing

* "Boys from the Bush" - 2:48
* "High Country" - 3:52
* "She Waits By the Sliprails (The Bush Girl)" - 2:54
* "Walkin' Out West" - 3:07
* "Country Girls" - 3:14
* "Country's Really Big These Days" - 2:57
* "You're the Reason I Never Saw Hank Jnr Play" - 2:53
* "Rejected" - 2:08
* "Scots of the Riverina" - 4:13
* "You Don't Have to Go to Memphis" - 2:23
* "Searchin' for Another You" - 2:49
* "Tallarook" - 2:57

## Charts

Chart performance for The Outback Club :
| Chart (1992–1994) | Peak position |
| Australian Albums (ARIA) | 58 |

## Certifications

| Region | Certification | Certified units/sales |
| Australia (ARIA) | 2× Platinum | 140,000$^^$ |
| $^^$ Shipments figures based on certification alone. |||
# Ioan Nicholas

Ioan Nicholas (born 3 April 1998) is a Welsh rugby union player who plays for Scarlets and Llanelli as a centre.
Nicholas made his debut for the Scarlets as a 17 year old in a friendly against Jersey in 2015, and he scored a try in every game since. He played a part in the remaining two friendlies of the 2015-16 season before making his competitive debut against Ulster as a substitute.
Nicholas was named as the Supporters’ Player of the Season for the 2023–24 United Rugby Championship season.
# Filip Firbacher

Filip Firbacher (born 21 December 2001) is a Czech professional footballer who plays as forward for Czech National Football League club Varnsdorf.
In 2018, The Guardian named Firbacher in a list of the 60 top football talents born in the year 2001. At the time, Firbacher was playing for Hradec Králové's under-19 team.
In January 2024, Firbacher was punished with a 30-month ban in the Czech football for match-fixing, later reduced to 18 months following an appeal.
On 29 February 2024, he moved to Polish III liga club Karkonosze Jelenia Góra, signing a deal until the end of the season. On 6 May 2024, the FIFA Disciplinary Committee expanded Firbacher's ban across all of its member associations, and he left Karkonosze the following day.
He returned to playing in October 2024 with Varnsdorf after having the rest of his suspension waived by the Czech FA's Ethics Committee.
# Adamo Nagalo

Adamo Nagalo (born 22 September 2002) is a professional footballer who plays as a centre-back for Eredivisie club PSV Eindhoven. Born in the Ivory Coast, he represents Burkina Faso at international level.

## Club career
### Nordsjælland

Born in Adjamé, Ivory Coast, Nagalo was a part of the Right to Dream Academy in Ghana, before joining FC Nordsjælland in the summer 2020. Nagalo made three appearances for the clubs U-19 team, before he got his professional debut for the club against Lyngby in the Danish Superliga on 12 March 2021, replacing Daniel Svensson with three minutes left. 18-year old Nagalo made a total of six league appearances for Nordsjælland in the 2020–21 season.
Ahead of the 2021–22 season, Nagalo was permanently promoted to the first team squad.

### PSV Eindhoven

On 2 September 2024, Nagalo signed with Dutch club PSV Eindhoven on a five-year deal.

## International career

Born in the Ivory Coast, Nagalo is of Burkinabé descent. He was called up to the Burkina Faso national team for a set of friendlies in September 2022. He debuted for the Burkina Faso national team in a 2–1 friendly win against the Ivory Coast on 19 November 2022.
On December 20, 2023, he was selected from the list of 27 Burkinabé players selected by Hubert Velud to compete in the 2023 Africa Cup of Nations.

## Career statistics
### Club

    As of match played 12 March 2025
Appearances and goals by club, season and competition :
| Club | Season | League | League | League | National cup | National cup | Europe | Europe | Other | Other | Total | Total |
| Club | Season | Division | Apps | Goals | Apps | Goals | Apps | Goals | Apps | Goals | Apps | Goals |
| Nordsjælland | 2020–21 | Danish Superliga | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 |
| Nordsjælland | 2021–22 | Danish Superliga | 27 | 1 | 2 | 0 | 0 | 0 | 0 | 0 | 29 | 1 |
| Nordsjælland | 2022–23 | Danish Superliga | 28 | 1 | 5 | 1 | 0 | 0 | 0 | 0 | 33 | 2 |
| Nordsjælland | 2023–24 | Danish Superliga | 31 | 1 | 5 | 0 | 9 | 0 | 0 | 0 | 45 | 1 |
| Nordsjælland | 2024–25 | Danish Superliga | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
| Nordsjælland | Total | Total | 93 | 3 | 12 | 1 | 9 | 0 | 0 | 0 | 114 | 4 |
| PSV | 2024–25 | Eredivisie | 4 | 0 | 1 | 0 | 5 | 0 | — | — | 10 | 0 |
| Career total | Career total | Career total | 97 | 3 | 13 | 1 | 14 | 0 | 0 | 0 | 124 | 4 |
* ↑ Includes Danish Cup, KNVB Cup
* ↑ Appearance(s) in the UEFA Conference League
* ↑ Appearance(s) in the UEFA Champions League

### International

    As of match played 10 September 2024
Appearances and goals by national team and year :
| National team | Year | Apps | Goals |
| Burkina Faso | 2022 | 1 | 0 |
| Burkina Faso | 2023 | 7 | 0 |
| Burkina Faso | 2024 | 6 | 0 |
| Total | Total | 14 | 0 |
# Nora (1944 film)

Nora is a 1944 German drama film directed by Harald Braun and starring Luise Ullrich, Viktor Staal and Franziska Kinz. The film is an adaptation of Henrik Ibsen's play A Doll's House. The film uses Ibsen's alternate ending where the unhappy couple are reconciled at the end. Location shooting took place around Park Glienicke in Berlin and along the North Sea coast, particularly around Husum. The sets were designed by art directors Emil Hasler and Walter Kutz.

## Cast

* Luise Ullrich as Nora Helmer
* Viktor Staal as Dr. Robert Helmer
* Franziska Kinz as Helene Helmer
* Gustav Diessl as Dr. Rank
* Carl Kuhlmann as John Brack
* Ursula Herking as Alvine Tönnesen
* Eberhard Leithoff as Fritz Tönnesen
* Albert Florath as Diener im Elternhause Noras
* Karl Günther as Landrat von Schwartze
* Ernst Waldow as Bürgermeister Krüger
* Sonja Kuska as Frau Krüger
* Erwin Biegel as Sanitätsrat Roselius
* Bruno Hübner as Labsaal, Faktotum bei Brack
* Maria Litto as Fanny, Dienstmädchen
* Karl Hellmer as Kruse, Bankdiener
* Clemens Hasse as Sekretär Dr. Helmers
* Georg H. Schnell as Bankpräsident
* Fanny Cotta as Frau von Schwartze
* Irene Fischer
* Walter Pentzlin
* Harald Sawade
* Georg Thomalla
# TR MK class

The TR MK class, later known as the EAR 25 class, was a class of 1,000 mm (3 ft 3+3⁄8 in) gauge 2-8-2 steam locomotives. The eleven members of the class were built by Vulcan Foundry, in Newton-le-Willows, Lancashire (now part of Merseyside), England, for the Tanganyika Railway (TR). They entered service on the TR in 1925–1926, and were later operated by the TR's successor, the East African Railways (EAR).

## Class list

The builder's number, build year and fleet numbers of each member of the class were as follows:
| Builder's number | Built | 1st TR number | 2nd TR number | EAR number |
| 3892 | 1925 | 206 | 400 | 2501 |
| 3893 | 1925 | 207 | 401 | 2502 |
| 3894 | 1925 | 208 | 402 | 2503 |
| 3895 | 1925 | 209 | 403 | 2504 |
| 3896 | 1925 | 210 | 404 | 2505 |
| 3942 | 1926 | 211 | 405 | 2506 |
| 3943 | 1926 | 212 | 406 | 2507 |
| 3944 | 1926 | 213 | 407 | 2508 |
| 3945 | 1926 | 214 | 408 | 2509 |
| 3946 | 1926 | 215 | 409 | 2510 |
| 3947 | 1926 | 216 | 410 | 2511 |
# Giving Up (disambiguation)

"Giving Up" is a 1964 song by Gladys Knight & the Pips.
Giving Up may also refer to:
* "Giving Up", a song from the album Two Hearts by Men at Work
* "Giving Up", a song from the album When Broken Is Easily Fixed by Silverstein
# Charlestown Ropewalk

The Charlestown Ropewalk is a former ropewalk facility located in Charlestown, Massachusetts, at the former Boston Navy Yard. At over 1,300 feet (400 m) long, it is the only standing ropewalk facility still existent in the United States. It is currently under study as a pending Boston Landmark by the Boston Landmarks Commission.
The ropewalk building was constructed between 1834 and 1838. It was designed by Alexander Parris, who also designed much of the rest of the Charlestown Navy Yard, and other landmarks throughout Massachusetts. From its opening in 1838 until its closing in 1970, it made most of the cordage used by the United States Navy. When the Navy Yard was closed in 1973, the building was acquired by the Boston Redevelopment Authority.
Since its closure in the 1970s, the building has mostly sat empty. In recent years, developers have made plans to turn the ropewalk into apartments. As of December 2018, plans have been approved, but no construction had started until 2019. A Philadelphia firm, Vision Properties, has teamed up with the Frontier Enterprises to renovate this historic building into 97 residential apartment units. Of the 97 units, approximately 20 units will be affordable housing units. Renovations has begun and is expected to be completed by the end of 2019. Apartment types will include studios, one and two bedrooms. Leasing activities has begun as well. There is a 3,000 sf commercial unit for lease. The Parks Service will also have a museum of artifacts from the Rope company within the building. .
# Dynamics (album)

Dynamics is the second studio album by American synthpop duo Holy Ghost!. It was released on September 3, 2013 by DFA Records. The album was preceded by the single "Dumb Disco Ideas" on May 14, 2013. The album's cover features the image "Strong in Love" by American painter and sculptor Robert Longo.
Professional ratings :
| Aggregate scores ||
| Source | Rating |
| Metacritic | 63/100 |
| Review scores ||
| Source | Rating |
| AllMusic | |
| Consequence of Sound | |
| Drowned in Sound | 7/10 |
| Pitchfork Media | 6.3/10 |
| Rolling Stone | |
| Slant Magazine | |
| This Is Fake DIY | |

## Track listing

All tracks are written by Alex Frankel and Nick Millhiser, except "1 for Edgar" and "I Wanna Be Your Hand" by Frankel, Millhiser and Surahn Sidhu

## Personnel

Credits adapted from the liner notes of Dynamics.

### Holy Ghost!

* Holy Ghost! – engineering, mixing, production
* Alex Frankel – vocals (all tracks); CS-80 (1, 2, 5, 8–11); DX7 (1, 8, 10); clavinet (2); Roland VP-330 (2, 8, 9); Omnichord, Polyensemble (3); piano (3, 5); percussion (4, 5); OB-8, Taurus, TR-66 (5); Emulator (5, 9); D-50, MS-20 (6, 7); Wurlitzer (8); Jupiter-8, Rhodes (8, 10); Paraphonic (9); Prophet-5 (10)
* Nicholas Millhiser – CS-60, piano, SH-101 (1); guitar (1–3, 6–9, 11); modular synthesizer (1, 2, 9, 10); DX7 (1, 4, 5); Taurus (1, 6, 7); CS-80 (1–7, 9, 11); 808 (1, 10); percussion (2); drums (2–8, 11); bass (2, 3, 6–8); RS-09, Wurlitzer (3); Jupiter-8 (3, 5, 9, 11); Rogue (4); Emulator (5, 11); Rhodes (6, 7); Mellotron (8, 9); MG-1, Prophet '08 (8, 11); LM-1 (9, 10)

### Additional personnel

* Greg Calbi – mastering
* John Furrisky – violin (8)
* Ben Grubin – backing vocals (4)
* Kosuke Kasza – guitar (5, 10)
* Sheila Lamont – cello (8)
* Robert Longo – cover image
* Chris Maher – backing vocals (1, 2, 4)
* Rachael Millkey – additional art direction, production design
* Alan Palomo – backing vocals (11)
* Kelley Polar – viola (8)
* Surahn Sidhu – backing vocals (6, 7)
* Matt Thornley – musical assistance
* Michael Vadino – art direction, design
* Nancy Whang – backing vocals (2–4, 8, 9)
* Chris Zane – mixing

## Charts

| Chart (2013) | Peak position |
| US Dance/Electronic Albums | 8 |
| US Heatseekers Albums | 20 |

## Release history

| Region | Date | Format | Label |
| United States | September 3, 2013 | CD | DFA Records |
| Germany | September 6, 2013 | Digital download | DFA Records |
| United Kingdom | September 6, 2013 | Digital download | DFA Records |
| United States | September 9, 2013 | Digital download | DFA Records |
| Australia | September 13, 2013 | CD digital download | [PIAS] Australia |
| United States | September 17, 2013 | LP | DFA Records |
| United Kingdom | October 7, 2013 | CD LP | DFA Records |
| Germany | October 11, 2013 | LP | [PIAS] Cooperative |
| Germany | October 18, 2013 | CD | [PIAS] Cooperative |
| France | October 21, 2013 | CD | [PIAS] Recordings |
# The Power of Music (song)

"The Power of Music" is the title track and sixth single from Kristine W's 2009 album The Power of Music featuring the rapper Big Daddy Kane released on December 29, 2009. With the March 13, 2010 issue of Billboard, "The Power of Music" became Kristine W's 15th number-one dance hit, tying her with Mariah Carey as the artist with the 7th most number ones on the Dance/Club Play Songs chart after Madonna at number one and Janet Jackson at number two.

## Track listing
### U.S. Maxi CD

* "The Power of Music" (Wideboys Stadium Radio Mix)
* "The Power of Music" (Groove Police Big Daddy Radio Mix)
* "The Power of Music" (Tony Moran ML Radio Mix)
* "The Power of Music" (Virgo Brothers Astro Electro Radio Mix)
* "The Power of Music" (Joe Gauthreaux G-Force Radio Mix)
* "The Power of Music" (Sweet Team POM Radio Mix)
* "The Power of Music" (Wideboys Stadium Club Mix)
* "The Power of Music" (Groove Police Big Daddy Club Mix)
* "The Power of Music" (Tony Moran ML Club Mix)
* "The Power of Music" (Virgo Brothers Astro Electro Club Mix)
* "The Power of Music" (Joe Gauthreaux G-Force Club Mix)
* "The Power of Music" (Sweet Team POM Club Mix)
* "The Power of Music" (Wideboys Stadium Kane Dub Mix)
* "The Power of Music" (Groove Police Big Dub Mix)