OpenLLM-France/wikimedia huggingface dataset:
# Ponce de León Island

Ponce de León Island was a proposed name for the 45 miles (72 km) long, barrier island stretching from Cape Canaveral to Sebastian Inlet in Brevard County in central Florida, located on the Atlantic Ocean. The population was 67,933 at the 2010 United States Census. The barrier island is 21.4 square miles (55 km$^2$). Another proposed name for this area was Ais Island after the native Ais people who originally inhabited the area. Currently, the island has not yet been designated any official name.

## History

Since 2000, historians from Brevard County have worked to name this stretch of land to Ponce de León Island due to a theory originated by Douglas Peck that the Spanish explorer and soldier Juan Ponce de León first landed there in 1513 as the first European to set foot in Florida. This contests the once popular view that Ponce de León first landed in St. Augustine. The American Indian Association of Florida also proposed the name Ais Island for this area, sparking a controversy. Both proposals were considered by the U.S. Board on Geographic Names (BGN) in 2012, but no name was approved.
Many beach-side cities who were formally for the naming of Ponce de Leon have since rescinded their previous decisions based on the revelation of old evidence of Ponce's treatment of the Taino Indians in Puerto Rico and that Peck's theory is not universally accepted as fact.

## Pros and cons

Arguments against naming the barrier island include claims that he was actively involved in the Higuey massacre in Hispaniola. and then in 1508 chosen by the Spanish Crown to lead the conquest and exploitation of Puerto Rico and the enslavement of the Taino native people there, for gold mining operations.

## Ais Island

There is a proposal with USGS to name the formentioned barrier islands, Ais Island. The reasoning is that this name is more historically accurate than the name Ponce de Leon. The Ais and their ancestors lived in this area for 3000 years. It was named The Province of Ais by the Spanish in the 17th century. In 1601 the Spanish king commissioned a map of Florida indicating his desires for a fort to be built in Miami. On the map he indicated the land we know as Brevard County as the 'Province of Ais', as it was typical in those days to designate a region of specific tribal domination and generally took its name from the ruling cacique.

## Coacoochee Island

A third naming application was submitted to the BGN by the Miccosukee Simanolee Nation in 2012 to name the island in honor of the Seminole chief Coacoochee.
# Nepali Janata Dal

Nepali Janata Dal is a political party in Nepal. The party was established in 1995 as the United People's Party. The party identifies itself as progressive, nationalist and socialist.
Hari Charan Shah is the party chairman, Rajan Gautam and Chandeshwar Chaudhary the vice-Chairman, Shankar Singh Thakuri the General secretary. In total, the Central Committee of the party has 151 members.
In the 2008 Constituent Assembly election, the NJD won two seats through the proportional representation vote. It got 48990 PR votes (0.46%). The party selected Vishwanath Prasad Agrawal and Gayatri Shah as its representatives in the assembly. Gayatri Shah was the nominated parliamentary leader of the party.

## Women organisation

* Chairman - Shova Sangraula(9851217587-Bhaktapur)

## Mission 2084

* 5 MPA from every Province
* 3% threshold complete
* 1 MP from every Province
* Target 1 lakh votes from every province

## Province Head Leaders

* Koshi Pradesh:- Rajkumar Jaiswal
* Madhesh Province:- Satyanarayan Pr. Kushwaha
* Bagmati Pradesh:-Nishchal Joci
* Gandaki Pradesh:-Muktinath Subedi
* Lumbini Pradesh:-Rabi B. C.
* Karnali Pradesh :- Bal Bahadur Giri
* Sudurpaschim Pradesh:- Uttam Bahadur Chand

## 2022 General Election

Nepali Janta Dal has got 10,137 votes in 2022 general election.

## National Team

* Chairman - Hon. Haricharan Sah
* V. Chairman - Chandeshwar Chaudhary(9702440386)
* V. Chairman - Rajan Gautam(9842582435)
* General Secretary -Shankar Singh Thakuri(9841330188)
* V. General Secretary - Nishchal Joci(9851012767)
* Secretary - Shyam Bhandari(9841535889)

## Electoral performance
### Nepalese Legislative Elections

| Election | Leader | Votes | Votes | Seats | Seats | Position | Resulting government |
| Election | Leader | # | % | # | +/- | Position | Resulting government |
| 2008 | Hari Charan Shah | 48,990 | 0.46 | 2 / 575 | | 18th | CPN (Maoist)–CPN (UML)–MJFN |
| 2013 | Hari Charan Shah | 33,203 | 0.35 | 1 / 575 | 1 | 23rd | Congress–CPN (UML)–RPP |
| 2017 | Hari Charan Shah | 22,049 | 0.23 | 0 / 275 | 1 | 16th | CPN (UML)–CPN (Maoist Centre) |
# Claude Rivaz

Claude Farnworth Rivaz (26 November 1872 – 24 March 1958) was an English artist and footballer who played as a defender for Royal Antwerp and White Rovers.

## Early life and education

Claude Rivaz was born in Chorley, Cheshire, on 26 November 1872, as the elder son of John Vincent Claude Rivaz (1831–1893) and Catherine Farnworth (1846–1934). He had an older sister, Ida Gertrude (1871–1953), and three younger siblings: Francis Clifton (1876–1959), Charles Warwick (1880–1952), and Vera Mildred (1881–1968).
On 27 April 1887, the 14-year-old Rivaz entered Westminster School, remaining there for three years, until April 1890, when he left as an artist. He then went abroad to complete his artist studies at the Royal Academy of Fine Arts in Antwerp, where he lived for three years, from 1891 until 1894.

## Playing career
### Antwerp FC

Whilst out in the Belgian capital, Rivaz became the chairman of Antwerp Cricket Club (founded in 1880), which held several sports among its members, such as cricket and tennis in the summer, while union rugby and football was playing in the winter. Rivas was one of the many English pioneers of the club's football team, Royal Antwerp, with whom he played for three years, from 1891 until 1894, when he left for Paris to join the White Rovers.

### The White Rovers

Together with William Sleator, Walter Hewson, Robert MacQueen, and the Wood brothers (Jack and Sid), Rivaz was a member of the group of upper-middle-class Anglo-British that served as the core of the White Rovers FC. He is the only member of this group of whom there are known photographs.
On 24 February 1895, Rivaz, together with Jack Wood, Eugène Fraysse, Charles Bernat, and William Attrill, was a member of the first representative team of Paris, which played a friendly match against the London-based Folkestone at the soggy pitch of the Seine Velodrome; Paris lost 0–3.

## Later life and death

Rivaz worked as an artist after his sports career. At the time of the 1901 United Kingdom census, Rivaz was in Vancouver, Canada, but eventually returned to live in London's Mayfair.
On 13 August 1913, Rivaz married Hilda Lilia Spencer (1878–1943), the only daughter of Frederick Mountford Spencer, and the couple had at least two sons, including John born in 1919. He died just outside Basingstoke on 24 March 1958, at the age of 85. He was buried four days later at the Henley Road Cemetery in Caversham.
# Harvey Friedman (mathematician)

Harvey Friedman (born 23 September 1948) is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

## Biography

Friedman is the brother of mathematician Sy Friedman. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. He delivered the Tarski Lectures in 2007.
In 1967, Friedman was listed in the Guinness Book of World Records for being the world's youngest professor when he taught at Stanford University at age 18 as an assistant professor of philosophy. He has also been a professor of mathematics and a professor of music. He officially retired in July 2012. In September 2013, he received an honorary doctorate from Ghent University.

## Career

Jordana Cepelewicz (2017) profiled Friedman in Nautilus as "The Man Who Wants to Rescue Infinity". Friedman also made headlines in the Italian newspaper La Repubblica for his manuscript A Divine Consistency Proof for Mathematics, which was later published in the book Ontology of Divinity. In this manuscript, Friedman showed how, starting from the hypothesis of the existence of God (in the sense of Gödel's ontological proof), it can be shown that mathematics, as formalized by the usual ZFC axioms, is consistent.
He invented and proved important theorems regarding the finite promise games and greedy clique sequences, and Friedman's grand conjecture bears his name. According to zbMATH Open, Friedman published approximately peer-reviewed research articles during the course of his academic career.
# 2025 in South Korean television

This is a list of Television in South Korea related events from 2025.

## New series & returning shows
### Drama

| Title | Network/Platform | First Aired | Last Aired | Status |
| Love Scout | SBS TV | January 3 | February 14 | Ended |
| When the Stars Gossip | tvN | January 4 | February 23 | Ended |
| The Queen Who Crowns | TVING/tvN | January 6 | February 11 | Ended |
| Motel California | MBC TV | January 10 | February 15 | Ended |
| Unmasked | Disney+ | January 15 | February 19 | Ended |
| Study Group | TVING | January 23 | February 20 | Ended |
| The Trauma Code: Heroes on Call | Netflix | January 24 | January 24 | Ended |
| For Eagle Brothers | KBS2 | February 1 | July 20 | Ongoing |
| Kick Kick Kick Kick | KBS2 | February 5 | March 13 | Ended |
| The Scandal of Chunhwa | TVING | February 6 | March 6 | Ended |
| Newtopia | Coupang Play | February 7 | March 21 | Ongoing |
| Friendly Rivalry | U+ Mobile TV | February 10 | March 6 | Ended |
| Our Chocolate Moments | SBS TV | February 11 | February 12 | Ended |
| Melo Movie | Netflix | February 14 | February 14 | Ended |
| The Witch | Channel A | February 15 | March 16 | Ended |
| My Dearest Nemesis | tvN | February 17 | March 25 | Ongoing |
| Buried Hearts | SBS TV | February 21 | April 12 | Ongoing |
| Undercover High School | MBC TV | February 21 | March 29 | Ongoing |
| History of Scruffiness | Wavve | February 26 | March 19 | Ended |
| Secret Relationships | Watcha [ko] | February 27 | March 21 | Ongoing |
| The Potato Lab | tvN | March 1 | April 6 | Ongoing |
| Mother and Mom | Genie TV/ENA | March 3 | March 25 | Ongoing |
| When Life Gives You Tangerines | Netflix | March 7 | March 28 | Ongoing |
| The Art of Negotiation | JTBC | March 8 | April 13 | Ongoing |
| Hyper Knife | Disney+ | March 19 | April 9 | Awaiting release |
| Villains Everywhere | KBS2 | March 19 | April 24 | Awaiting release |
| Heo's Diner | Netflix | March 24 | April 22 | Awaiting release |
| The Divorce Insurance | tvN | March 31 | May 6 | Awaiting release |
| Way Back Love | TVING | April 3 | April 17 | Awaiting release |
| Crushology 101 | MBC TV | April 4 | May 10 | Awaiting release |
| Karma | Netflix | April 4 | April 4 | Awaiting release |
| Good Luck | KBS1 | April 7 | TBA | Awaiting release |
| New Recruit 3 | Genie TV/ENA | April 7 | April 29 | Awaiting release |
| Heavenly Ever After | JTBC | April 19 | May 25 | Awaiting release |
| Resident Playbook | tvN | April 12 | May 18 | Awaiting release |
| The Haunted Palace | SBS TV | April | TBA | Awaiting release |
| 24-Hour Health Club | KBS2 | April 30 | June 5 | Awaiting release |

## Ending
### Drama

| End date | Title | Network | First Aired |
| January 4 | When the Phone Rings | MBC TV | November 22, 2024 |
| January 23 | Who Is She | KBS2 | December 18, 2024 |
| January 26 | Iron Family | KBS2 | September 28, 2024 |
| January 26 | The Tale of Lady Ok | JTBC | November 30, 2024 |
| January 28 | Namib | Genie TV/ENA | December 23, 2024 |
| February 9 | Check-in Hanyang | Channel A | December 21, 2024 |
| February 27 | Sorry Not Sorry [ko] | KBS Joy [ko] | December 5, 2024 |
# Harvey Friedman (mathematician)

Harvey Friedman (born 23 September 1948) is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

## Biography

Friedman is the brother of mathematician Sy Friedman. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. He delivered the Tarski Lectures in 2007.
In 1967, Friedman was listed in the Guinness Book of World Records for being the world's youngest professor when he taught at Stanford University at age 18 as an assistant professor of philosophy. He has also been a professor of mathematics and a professor of music. He officially retired in July 2012. In September 2013, he received an honorary doctorate from Ghent University.

## Career

Jordana Cepelewicz (2017) profiled Friedman in Nautilus as "The Man Who Wants to Rescue Infinity". Friedman also made headlines in the Italian newspaper La Repubblica for his manuscript A Divine Consistency Proof for Mathematics, which was later published in the book Ontology of Divinity. In this manuscript, Friedman showed how, starting from the hypothesis of the existence of God (in the sense of Gödel's ontological proof), it can be shown that mathematics, as formalized by the usual ZFC axioms, is consistent.
He invented and proved important theorems regarding the finite promise games and greedy clique sequences, and Friedman's grand conjecture bears his name. According to zbMATH Open, Friedman published approximately 100 peer-reviewed research articles during the course of his academic career.
# Betty Berzon Emerging Writer Award

The Betty Berzon Emerging Writer Award is an annual literary award, presented by Publishing Triangle to honor achievement by an emerging LGBTQ writer. The prize is presented to a writer who has shown exceptional talent and the promise of continued literary success and significance in the future.
From 2013 to 2016, the award was presented by Lambda Literary Foundation as a Lambda Literary Award, until taken over by Publishing Triangle. First presented by Publishing Triangle in 2017, the award was named in memory of American author and psychotherapist Betty Berzon, who won the fight to have the American Psychiatric Association declassify homosexuality as a mental illness, and contributed to LGBTQ advocacy throughout her lifetime. The award is sponsored by Berzon's widow, Teresa DeCrescenzo.

## Recipients

Award winners :
| Year | Recipient |
| 2013 | Sassafras Lowrey |
| 2013 | Carter Sickels |
| 2014 | Imogen Binnie |
| 2014 | Charles Rice-Gonzalez |
| 2015 | Anne Balay |
| 2015 | Daisy Hernández |
| 2017 | Chinelo Okparanta |
| 2018 | Sarah Perry |
| 2019 | Julian Randall |
| 2020 | Oliver Baez Bendorf |
| 2021 | Robert Fieseler |
| 2022 | John Paul Brammer |
| 2023 | Crisosto Apache |
| 2024 | Hilary Zaid |
| 2025 | Brittany Rogers |
# Ragel

Ragel (IPA: /ˈɹeɪd͡ʒəl/) is a finite-state machine compiler and a parser generator. Initially Ragel supported output for C, C++ and Assembly source code, later expanded to support several other languages including Objective-C, D, Go, Ruby, and Java. Additional language support is also in development. It supports the generation of table or control flow driven state machines from regular expressions and/or state charts and can also build lexical analysers via the longest-match method. Ragel specifically targets text parsing and input validation.

## Overview

Ragel supports the generation of table or control flow driven state machines from regular expressions and/or state charts and can also build lexical analysers via the longest-match method. A unique feature of Ragel is that user actions can be associated with arbitrary state machine transitions using operators that are integrated into the regular expressions. Ragel also supports visualization of the generated machine via graphviz.
The above graph represents a state-machine that takes user input as a series of bytes representing ASCII characters and control codes. 48..57 is equivalent to the regular expression [0-9] (i.e. any digit), so only sequences beginning with a digit can be recognised. If 10 (line feed) is encountered, the program is done. 46 is the decimal point ('.'), 43 and 45 are positive and negative signs ('+', '-') and 69/101 is uppercase/lowercase 'e' (to indicate a number in scientific format). As such, it will recognize the following properly:
but not:

## Syntax

Ragel's input is a regular expression only in the sense that it describes a regular language; it is usually not written in a concise regular expression, but written out into multiple parts like in Extended Backus–Naur form. For example, instead of supporting POSIX character classes in regex syntax, Ragel implements them as built-in production rules. As with usual parser generators, Ragel allows for handling code for productions to be written with the syntax. The code yielding the above example from the official website is:
# DYMF

DYMF (963 AM) Bombo Radyo is a radio station owned and operated by Bombo Radyo Philippines through its licensee People's Broadcasting Service, Inc. Its studio and offices are located at Bombo Radyo Broadcast Center, 87-A Borromeo St., Cebu City; its transmitter is located at Sitio Alaska, Brgy. Mambaling, Cebu City. It operates daily from 4:00 AM to 9:30 PM.
DYMF was once home of the Bombo Radyo Production Center. Cebu's Extremes Travel & Entertainment Provider (Cebu City) Corp. currently supplies drama programming to all cebuano-speaking Bombo Radyo stations in Visayas and Mindanao.

## History

Bombo Radyo was inaugurated in 1978 on 648 kHz. Bobby Nalzaro, whose transferred to Cebu in 1987, serving as its acting station manager for ten years until he resigned in 1997 to joined GMA Cebu. In 1991, the station transferred to 963 kHz, which swapped frequencies with its rival station DYRC Radyo Balita (now Aksyon Radyo Cebu). DYMF used to air NBA games through a partnership deal in the same year.
Bombo Radyo went off the air on December 16, 2021, after its transmitter was destroyed by Typhoon Rai (Odette). During the time being, several of its programs were aired on its sister station under the interim name Bombo Radyo Star FM. It resumed operations on February 16, 2022, this time with a newly installed transmitter.
# Fan (river)

The Fan is a river in northern Albania. It is formed by the confluence of two source rivers: the Great Fan (Albanian: Fan i Madh) and the Lesser Fan (Albanian: Fan i Vogël), that join a few kilometers west of the town Rrëshen.
The Great Fan rises near the village Kryezi, Qafë-Mali municipal unit, in the Shkodër County. It flows generally southwest through Fushë-Arrëz and Gjegjan. The Lesser Fan rises near the village Thirrë, in the municipal unit Fan, Mirditë municipality, Lezhë County. It flows southwest through Reps (Orosh) and just north of Rrëshen. West of Rrëshen the two source rivers unite and the Fan continues west to Rubik, and then south until it flows into the river Mat, east of Milot. The Mat in turn flows into the Adriatic Sea, near Fushë-Kuqe

## Gallery

* Valley of Fan i Vogël in Orosh
* Fan i Vogël at Klos, Mat
* The Valley of the Fan at Rubik
* This article about a specific location in Lezhë County, Albania, is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
* This article about a specific location in Shkodër County, Albania, is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
* This article related to a river in Albania is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
# Silver Star (The Four Seasons song)

"Silver Star" is the lead song on the Four Seasons album Who Loves You. As was the case of all the songs on the LP, it was written by Bob Gaudio and Judy Parker and produced by Gaudio. Drummer Gerry Polci sang lead. Frankie Valli's contribution was limited to harmony vocals, since he was gradually losing his hearing in the 1970s due to otosclerosis. An operation restored most of Valli's hearing in the 1980s.

## Reception

Billboard said that "Silver Star" is an "infectious rocker with a disco feel," saying further that it sounds "in spots" like early Who songs. Cash Box called the song "an up-tempo cut, with strong emphasis...on vocal harmony," stating that "acoustic guitars hold up the rhythm tracks" and that "the song has a couple of interesting breaks that work well to hook the listener into the song." Record World said that it "should keep the group's streak [of hits] alive without any difficulty."

## Chart performance

Released shortly after the #3 (US) hit "Who Loves You" and the #1 "December, 1963 (Oh, What a Night)", both of which Polci was also lead or co-lead, the single was an edited version of a six-minute, nine second, song that married lyrics of love and Western movies with a disco beat that was the signature of "Who Loves You". The single reached #38 on the Billboard Hot 100. The song was far more successful in the United Kingdom, however, reaching #3 on the UK singles chart, although its chart run was short-lived and somewhat erratic there. The group played the song on the 8 April 1976 broadcast episode of Top of the Pops (with Noel Edmonds hosting). Valli also appeared on the same episode as a solo artist performing his 1976 hit "Fallen Angel".

### Weekly charts

| Chart (1976) | Peak position |
| Australia (Kent Music Report) | 84 |
| Belgium (Ultratop) | 22 |
| Canada RPM Top Singles | 45 |
| Canada RPM Adult Contemporary | 40 |
| Ireland (IRMA) | 4 |
| Netherlands (Single Top 100) | 22 |
| UK Singles (OCC) | 3 |
| US Billboard Hot 100 | 38 |
| US Billboard Adult Contemporary | 24 |
| US Cash Box Top 100 | 68 |
| US Radio & Records Pop Adult/40 | 25 |
| US Record World Singles Chart | 95 |
| West Germany (Official German Charts) | 29 |