OpenLLM-France/wikimedia huggingface dataset:
# Extended static checking

Extended static checking (ESC) is a collective name in computer science for a range of techniques for statically checking the correctness of various program constraints. ESC can be thought of as an extended form of type checking. As with type checking, ESC is performed automatically at compile time (i.e. without human intervention). This distinguishes it from more general approaches to the formal verification of software, which typically rely on human-generated proofs. Furthermore, it promotes practicality over soundness, in that it aims to dramatically reduce the number of false positives (overestimated errors that are not real errors, that is, ESC over strictness) at the cost of introducing some false negatives (real ESC underestimation error, but that need no programmer's attention, or are not targeted by ESC). ESC can identify a range of errors that are currently outside the scope of a type checker, including division by zero, array out of bounds, integer overflow and null dereferences.
The techniques used in extended static checking come from various fields of computer science, including static program analysis, symbolic simulation, model checking, abstract interpretation, SAT solving and automated theorem proving and type checking. Extended static checking is generally performed only at an intraprocedural, rather than interprocedural, level in order to scale to large programs. Furthermore, extended static checking aims to report errors by exploiting user-supplied specifications, in the form of pre- and post-conditions, loop invariants and class invariants.
Extended static checkers typically operate by propagating strongest postconditions (respectively weakest preconditions) intraprocedurally through a method starting from the precondition (respectively postcondition). At each point during this process an intermediate condition is generated that captures what is known at that program point. This is combined with the necessary conditions of the program statement at that point to form a verification condition. An example of this is a statement involving a division, whose necessary condition is that the divisor be non-zero. The verification condition arising from this effectively states: given the intermediate condition at this point, it must follow that the divisor is non-zero. All verification conditions must be shown to be false (hence correct by means of excluded third) in order for a method to pass extended static checking (or "unable to find more errors"). Typically, some form of automated theorem prover is used to discharge verification conditions.
Extended static checking was pioneered in ESC/Modula-3 and, later, ESC/Java. Its roots originate from more simplistic static checking techniques, such as static debugging or lint and FindBugs. A number of other languages have adopted ESC, including Spec# and SPARKada and VHDL VSPEC. However, there is currently no widely used software programming language that provides extended static checking in its base development environment.
# Robert Thorens

Robert Thorens (born 5 August 1908, date of death unknown) was a Swiss sailor. He competed in the Dragon event at the 1960 Summer Olympics.
# M.J. Bale

M.J. Bale is a multi-channel Australian menswear and fashion label launched in 2009 by founder Matt Jensen. M.J. Bale's aesthetic specialises in tailored suiting, casual wear and menswear accessories with an urban design edge.
# Irene de Jong

Irene J. F. de Jong (born 1957) is a classicist and professor of Ancient Greek at the University of Amsterdam. She is known for her pioneering work on narratology and Ancient Greek literature. She is a Fellow of the British Academy.

## Career

Irene de Jong was born in Leiden in 1957. She studied at the University of Amsterdam from 1978 until 1982, and taught Classics at the Stedelijk Gymnasium in Utrecht in 1982–83. In 1984 she worked as a research fellow at the Thesaurus Linguae Graecae. She wrote her dissertation, 'Narrators and focalizers: the presentation of the story in the Iliad', at the University of Amsterdam under a grant from the Netherlands Organisation for Scientific Research (NWO) from 1985 until 1987. She then continued to work at the University of Amsterdam, first as a postdoc and later as a research fellow.
Since 2002 she has held the chair of Ancient Greek at the University of Amsterdam.
De Jong has been member of the Academia Europaea since 2007. In 2015, De Jong was also selected as member of the Royal Netherlands Academy of Arts and Sciences. In 2019 she was elected a foreign member of the Humanities and Social Sciences Division of the Norwegian Academy of Science and Letters. She was elected as a Fellow of the British Academy in 2022.

## Selected publications

* Narrators and focalizers: the presentation of the story in the Iliad. Amsterdam 1987. Nachdruck Amsterdam 2004
* Narrative in drama: the art of the Euripidean messenger-speech. Leiden 1991 (Mnemosyne Supplement 116)
* with J. P. Sullivan: Modern critical theory and classical literature. Leiden 1994 (Mnemosyne Supplement 130)
* A Narratological Commentary on the Odyssey. Cambridge 2001
* Studies in ancient Greek narrative. Vol. 1: Narrators, narratees, and narratives in ancient Greek literature. Leiden 2004 (Mnemosyne Supplement 257)
* with Albert Rijksbaron: Sophocles and the Greek language: aspects of diction, syntax and pragmatics. Leiden 2006 (Mnemosyne Supplement 269)
* Studies in ancient Greek narrative. Vol. 2: Time in ancient Greek literature. Leiden 2007 (Mnemosyne Supplement 291)
* Studies in ancient Greek narrative. Vol. 3: Space in ancient Greek literature. Leiden 2012 (Mnemosyne Supplement 39)
* Homer Iliad Book XXII. Cambridge 2012
* I classici e la narratologia. Guida alla lettura degli autori greci e latini. Roma 2017.
# Coeranus (mythology)

In Greek mythology, the name Coeranus /ˈsɛrənəs/ or Koiranos (Ancient Greek: Κοίρανος "ruler, commander") may refer to:
* Coeranus, an Argive son of Abas, grandson of Melampus, and father of the seer Polyeidos. Alternately, was called son of Cleitus.
* Coeranus, son of Polyeidos (thus grandson of the precedent), brother of Manto and Astycrateia. His own son Euchenor dedicated an image of Dionysus Dasyllius to the god at Megara.
* Coeranus, a Lycian soldier, son of Iphitus, who followed their leader, Sarpedon, to fight in the Trojan War. He was slain by the Greek hero Odysseus during the siege of Troy.
* Coeranus, a native of Lyctus in Crete, charioteer and squire of Meriones. He was slain by Hector.
# Phoenix (Labelle album)

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
| Christgau's Record Guide | C |
| PopMatters | (favourable) |
Phoenix is the fifth album by the American singing trio Labelle. The album was moderately successful, peaking at #44 on the pop charts and #10 on the R&B charts. Only one minor hit was released, "Messin With My Mind", written by Nona Hendryx.

## Track listing

All tracks composed by Nona Hendryx; except where indicated

### Side A

* "Phoenix (The Amazing Flight of a Lone Star)" (6:17)
* "Slow Burn" (3:32)
* "Black Holes in the Sky" (3:21)
* "Good Intentions" (3:57)
* "Far As We Felt Like Goin'" (2:58) (Bob Crewe, Kenny Nolan)

### Side B

* "Messin' with My Mind" (4:36)
* "Chances Go Round" (Nona Hendryx, Edward Levone Batts, James Budd Ellison) (2:50)
* "Cosmic Dancer" (5:49)
* "Take the Night Off" (3:38)
* "Action Time" (Edward Levone Batts, James Ellison; with additional lyrics by Nona Hendryx) (3:51)

## Charts

| Year | Album | Chart positions | Chart positions | Chart positions |
| Year | Album | US | US R&B | AUS |
| 1975/76 | Phoenix | 42 | 10 | 52 |

## Personnel

* Nona Hendryx, Patti LaBelle, Sarah Dash - vocals
* Edward Batts - guitar; acoustic guitar on tracks A5, B5
* Carmine Rojas - bass guitar on tracks A4, B1, B5
* James Ellison - keyboards
* Larry Davis - drums
* Jeffrey Shannon - percussion
with:
* George Porter Jr. - bass on tracks A1 to A3, A5, B2 to B4)
* Herman "Roscoe" Ernest III - drums
* Leo Nocentelli (tracks: A1, A2, A4, B1 to B5), Steve Hughes (tracks: A4, B1, B5), Teddy Royal (tracks: A2, A5) - guitar
* Allen Toussaint - Fender Rhodes, arrangements
* James Booker - organ
* Carl Blouin - baritone saxophone
* Jim Moore - tenor & alto saxophone, flute
* Lon Price - tenor saxophone
* Lester Caliste - trombone
* John Longo - trumpet
* Steve Howard - trumpet, flugelhorn
* Vicki Wickham - executive producer
* Don Puluse, Ken Laxton - engineers
* Tom Huetis - photography
# Susie Feliz

Susie Feliz is an American lobbyist, political advisor and politician who is serving as the assistant secretary of commerce for legislative and intergovernmental affairs in the Biden administration.

## Education

Feliz earned a Bachelor of Arts degree in public affairs and biology from the University of Denver and a Master of Public Administration from the George Washington University.

## Career

From 2002 to 2005, Feliz served as a legislative aide for Senator Hillary Clinton. She was then the legislative director for Texas Congressman Al Green and California Congresswoman Karen Bass. She joined the National Urban League in 2013 and has since worked as the organization's senior director of health and education policy, senior director for policy and legislative affairs, and vice president for policy and legislative affairs.

### Assistant Secretary of Commerce

On March 11, 2022, President Joe Biden nominated Feliz to be an assistant secretary of commerce for legislative and intergovernmental affairs. On August 4, 2022, her nomination was confirmed in the Senate by voice vote. She was sworn into office on September 6, 2022.

## Personal life

In 2018, Feliz married Jose Luis Feliz, a United States Navy captain and assistant commander in the Naval Supply Systems Command.
# Everett Inbody

Everett O. Inbody (born September 13, 1945) is a former Judge of the Nebraska Court of Appeals.

## Education

Inbody earned his Bachelor of Science from the University of Nebraska in 1967 and his Juris Doctor from the University of Nebraska College of Law in 1970. He also holds diplomas for judicial skills and humanities and judging from the American Academy of Judicial Education.

## Legal career

He began his legal career as a deputy county attorney in Saunders County. He was in private practice in Wahoo from 1970 to 1986. From 1970 to 1978 he was also Nebraska Crime Commission director of regions 4, 5 and 6. He was a 5th Judicial District county court judge from 1986 to 1991 and then a district court judge from 1991 to 1995. He joined the Nebraska Court of Appeals in 1995.

## Service on Nebraska Court of Appeals

He was appointed to the court by Governor Ben Nelson. He joined the court on April 28, 1995, and served as chief judge from 2004 to 2014. After serving as chief, he resumed his duties as an associate judge. He retired from active service on January 1, 2018.
# Gilbert M. Román

Gilbert M. Román (born September 15, 1962) is the chief judge of the Colorado Court of Appeals.

## Early life and education

Román was born on September 15, 1962, in Wichita, Kansas. He earned a bachelor's degree in political science from Colorado State University in 1984 and received his Juris Doctor from the University of Michigan Law School in 1987.

## Career

Román was a partner in the law firm of Rothgerber Johnson & Lyons in Denver, Colorado. He served as Associate General Counsel for Kaiser-Hill Corporation in Broomfield, Colorado, and was a partner in the firms of Roman, Benezra & Culver, LLC in Lakewood, Colorado and Feiger, Collison & Killmer in Denver. He was an associate with the firm of Sherman & Howard in Denver.

### Colorado Court of Appeals

He was appointed to the court by Governor Bill Owens on August 1, 2005. He was retained by voters in 2008 and again in 2016. His current term expires on January 13, 2025. On October 8, 2021, chief justice Brian Boatright appointed Román to serve as the chief judge of the Colorado Court of Appeals, effective December 31, 2021.

## Personal

Román is married to his wife Donna, and they have three children.
# Tanya J. Bradsher

Tanya J. Bradsher is an American government official and retired military officer who served as the United States Deputy Secretary of Veterans Affairs from 2023 to 2025.

## Early life and education

Bradsher is a native of Virginia. She earned a Bachelor of Arts degree from the University of North Carolina at Chapel Hill and a Master of Arts in strategic communication from George Washington University.

## Career

Bradsher enlisted in the United States Army in 1993 and was commissioned in the Officer Candidate School in 1994. During her 20 years of active duty, Bradsher was assigned to the United States National Security Council and Office of the Secretary of Defense. She also served as deputy public affairs officer of the Eighth United States Army, commander of the Delta Company 516th Battalion, and executive officer of the 1st Replacement Company, 8th Personnel Support Command.
After retiring from the Army, Bradsher returned to the National Security Council and served as an advisor in the Executive Office of the President. Bradsher worked as chief of communications for the American Psychiatric Association before joining Congressman Don Beyer's office as chief of staff. She later served as chief for communications, plans, and operations in the Defense Health Agency. In 2021, Bradhser was selected by Secretary Denis McDonough as chief of staff of the United States Department of Veterans Affairs.

### Nomination to Deputy Secretary

On April 19, 2023, President Joe Biden announced his intent to nominate Bradsher to serve as the United States deputy secretary of Veterans Affairs, after Donald Remy resigned on April 1. On September 20, 2023, Brasher was sworn in as the Deputy Secretary of Veterans Affairs.
# William A. Wachenfeld

William A. Wachenfeld (February 24, 1889 – April 22, 1969) was a justice of the New Jersey Supreme Court from 1946 to 1959.

## Biography

Wachenfeld was born in Orange, New Jersey, on February 24, 1889. He attended Polytechnic Institute of New York University, from which he received his Bachelor's and Juris Doctor (J.D.)
He married Anne Gilmore Weir on February 26, 1925. He unsuccessfully ran for Governor of New Jersey in the New Jersey gubernatorial election, 1937.
He died on April 22, 1969, in Livingston, New Jersey. He is interred at Rosedale Cemetery in Orange, New Jersey.
# Thomas G. Bowman

Thomas Gerald Bowman (born November 1, 1946) is an American political aide and retired Marine Corps Colonel who served as the United States Deputy Secretary of Veterans Affairs from August 10, 2017, to June 15, 2018, when he retired from active federal service.
Bowman received his Bachelor of Arts in Political Science from the University of Texas at Austin and his Juris Doctor from Western New England University. His nomination was confirmed by the United States Senate on August 3, 2017.
# Tiffany P. Cunningham

Tiffany Patrice Cunningham (born May 27, 1976) is a United States circuit judge of the United States Court of Appeals for the Federal Circuit.

## Education

After graduating from the Roeper School in Bloomfield Hills, Michigan, Cunningham received her Bachelor of Science degree in chemical engineering from the Massachusetts Institute of Technology (MIT) in 1998 and her Juris Doctor from Harvard Law School in 2001.

## Career

Cunningham began her legal career as a law clerk to Judge Timothy B. Dyk of the United States Court of Appeals for the Federal Circuit from 2001 to 2002. In 2002, she joined the Chicago office of Kirkland & Ellis as an associate, and was elevated to partner in 2007, where she remained until 2014. From 2014 to 2021, she was a partner at Perkins Coie in Chicago, where she was a member of the patent litigation practice and served on the 17-member executive committee of the firm. She is also a registered patent attorney before the United States Patent and Trademark Office.

### Federal judicial service

On March 30, 2021, President Joe Biden announced his intent to nominate Cunningham to serve as a United States circuit judge for the Federal Circuit. On April 19, 2021, her nomination was sent to the United States Senate. President Biden nominated Cunningham to the seat vacated by Judge Evan Wallach, who assumed senior status on May 31, 2021. On May 26, 2021, a hearing on her nomination was held before the Senate Judiciary Committee. On June 17, 2021, her nomination was favorably reported by the committee by a 16–6 vote. On July 12, 2021, Majority Leader Chuck Schumer filed cloture on her nomination. On July 15, 2021, the Senate invoked cloture on her nomination by a 63–34 vote. On July 19, 2021, her nomination was confirmed by a 63–33 vote. She received her judicial commission on August 6, 2021. She was sworn into office on September 1, 2021. Cunningham is the first African American judge to ever sit on the Federal Circuit. On January 28, 2022, following Justice Stephen Breyer's announcement of his intention to retire as an associate justice of the U.S. Supreme Court, Cunningham was mentioned as one of the potential nominees for a Supreme Court appointment by President Joe Biden.
# Juan Yasser Serrano

Juan Yasser Serrano (born March 3, 1988, in Villa Clara Province, Cuba) is a Cuban right-handed pitcher.
Serrano pitched for Villa Clara in the Cuban National Series, where he had a 4-16 win–loss record and a 4.40 earned run average. He also pitched for the Cuban Junior National Team. Serrano, Yadel Martí, and Yasser Gómez defected from Cuba in December 2008 in an effort to get to the Dominican Republic to seek a Major League Baseball career. In August 2009, they were declared free agents.
Before the 2010 season, Serrano signed a contract worth $250,000 with the Chicago Cubs. He pitched for the Cubs organization through 2011.
# Osniel Tosca

Osniel Tosca (born 30 June 1984 in Santa Clara, Villa Clara) is a Cuban triple jumper.

## Career

His personal best jump is 17.52 metres, achieved in May 2007 in Caracas.

## Personal best

* Triple jump: 17.52 (wind: +1.0 m/s) – Caracas, 11 May 2007

## Achievements

| Year | Competition | Venue | Position | Event | Notes |
| Representing Cuba ||||||
| 2001 | World Youth Championships | Debrecen, Hungary | 3rd | Triple jump | 15.67 m (wind: -0.1 m/s) |
| 2002 | Central American and Caribbean Junior Championships (U-20) | Bridgetown, Barbados | 2nd | Triple jump | 15.87 m (wind: +1.0 m/s) |
| 2002 | World Junior Championships | Kingston, Jamaica | 7th | Triple jump | 15.72 m (wind: +0.7 m/s) |
| 2005 | ALBA Games | La Habana, Cuba | 1st | Triple jump | 16.58 m (wind: +1.4 m/s) |
| 2006 | NACAC U-23 Championships | Santo Domingo, Dominican Republic | 1st | Triple jump | 17.01 m (wind: +0.5 m/s) |
| 2007 | ALBA Games | Caracas, Venezuela | 1st | Triple jump | 17.52 m (wind: +1.0 m/s) |
| 2007 | Pan American Games | Rio de Janeiro, Brazil | 2nd | Triple jump | 16.92 m (wind: +0.1 m/s) |
| 2007 | World Championships | Osaka, Japan | 4th | Triple jump | 17.32 m (wind: +1.1 m/s) |
| 2008 | World Indoor Championships | Valencia, Spain | 6th | Triple jump | 17.13 m |
| 2011 | Central American and Caribbean Championships | Mayagüez, Puerto Rico | 2nd | Triple jump | 16.53 m (wind: -0.7 m/s) |
# Grisel Machado

Grisel Machado Ruiz (born 25 October 1959) is a retired Cuban athlete who specialised in the 100 metres hurdles. She won multiple medals at regional level.
Her personal best in the event is 13.18 seconds set in Havana in 1982.

## International competitions

| Year | Competition | Venue | Position | Event | Notes |
| Representing Cuba ||||||
| 1977 | Central American and Caribbean Championships | Xalapa, Mexico | 1st | 100 m hurdles | 14.30 |
| 1977 | Universiade | Sofia, Bulgaria | 15th (h) | 100 m hurdles | 14.21 |
| 1977 | Universiade | Sofia, Bulgaria | 4th | 4 × 100 m relay | 44.81 |
| 1978 | Central American and Caribbean Games | Medellín, Colombia | 1st | 100 m hurdles | 13.31 |
| 1978 | Central American and Caribbean Games | Medellín, Colombia | 1st | 4 × 100 m relay | 44.37 |
| 1979 | Pan American Games | San Juan, Puerto Rico | 3rd | 100 m hurdles | 13.60 |
| 1981 | Central American and Caribbean Championships | Santo Domingo, Dominican Republic | 1st | 100 m hurdles | 13.72 |
| 1981 | Central American and Caribbean Championships | Santo Domingo, Dominican Republic | 4th | 400 m hurdles | 62.12 |
| 1981 | Central American and Caribbean Championships | Santo Domingo, Dominican Republic | 2nd | 4 × 100 m relay | 45.79 |
| 1981 | World Cup | Rome, Italy | 7th | 100 m hurdles | 13.76 |
| 1982 | Central American and Caribbean Games | Havana, Cuba | 1st | 100 m hurdles | 13.18 |
| 1982 | Central American and Caribbean Games | Havana, Cuba | 3rd | 4 × 100 m relay | 45.85 |
| 1983 | Universiade | Edmonton, Canada | 10th (h) | 100 m hurdles | 13.49 |
| 1983 | Central American and Caribbean Championships | Havana, Cuba | 1st | 100 m hurdles | 13.64 |
| 1983 | Central American and Caribbean Championships | Havana, Cuba | – | 4 × 100 m relay | DQ |
| 1983 | Pan American Games | Caracas, Venezuela | 4th | 100 m hurdles | 13.41 |
| 1984 | Friendship Games | Moscow, Soviet Union | 2nd (B) | 100 m hurdles | 13.64 |
| 1985 | Central American and Caribbean Championships | Nassau, Bahamas | 1st | 100 m hurdles | 13.43 (w) |
| 1986 | Central American and Caribbean Games | Santiago, Dominican Republic | 2nd | 100 m hurdles | 13.56 |
* ↑ Representing the Americas
# Ukraine Compact

The Ukraine Compact is a document signed by the leaders of 23 countries on 11 July 2024 in Washington DC when they were at the 33rd NATO Summit. They "Affirm that the security of Ukraine is integral to the security of the Euro-Atlantic region and beyond," and they "intend to support Ukraine until it prevails against Russia’s aggression."

## The Kyiv Security Compact

The Ukraine Compact was built on an earlier a set of recommendations by former NATO Secretary General, Anders Fogh Rasmussen called the Kyiv Security Compact.
The Kyiv Security Compact called for a new European security architecture that would guarantee Ukraine's security until the country would be able to join NATO. This would consists of long-term, legally binding bilateral and multi-lateral agreements between Ukraine and its partners, that would help sustain Ukraine's future military force so as to stop the Russian invasion of Ukraine but also prevent and deter future attacks. The agreements would also pave the way for a mechanism to assess new threats and convene the signatories within 24 hours to take further action to deter further threats of aggression.
# List of the busiest airports in Belgium

Belgium's busiest airports by passenger traffic:

## 2023

| Rank | Airport | Total passengers | Annual change |
| 1 | Brussels-Zaventem | 22,184,622 | 16.9% |
| 2 | Brussels-Charleroi | 9,383,810 | 13.6% |
| 3 | Ostend | 376,435 | 3.2% |
| 4 | Antwerp | 239,351 | 3.2% |
| 5 | Liège | 166,609 | 4.6% |

## 2017

| Rank | Airport | Total passengers | Annual change |
| 1 | Brussels-Zaventem | 24,783,911 | 13.6% |
| 2 | Brussels-Charleroi | 7,698,767 | 5.4% |
| 3 | Ostend | 365,345 | 16.0% |
| 4 | Antwerp | 273,130 | 1.2% |
| 5 | Liège | 192,000 | 49.7% |

## 2016

| Rank | Airport | Total passengers | Annual change |
| 1 | Brussels-Zaventem | 21,818,418 | 7.0% |
| 2 | Brussels-Charleroi | 7,303,720 | 5.0% |
| 3 | Ostend | 434,970 | 57.6% |
| 4 | Liège | 382,000 | 27.6% |
| 5 | Antwerp | 276,311 | 24.9% |

## 2015

| Rank | Airport | Total passengers | Annual change |
| 1 | Brussels-Zaventem | 23,460,018 | 6.93% |
| 2 | Brussels-Charleroi | 6,956,000 | 8.01% |
| 3 | Liège | 299,292 | |
| 4 | Ostend | 276,027 | |
| 5 | Antwerp | 221,153 | 82.23% |