hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Replication (computing)
Replication in computing refers to maintaining multiple copies of data, processes, or resources to ensure consistency across redundant components. This fundamental technique spans databases, file systems, and distributed systems, serving to improve availability, fault-tolerance, accessibility, and performance. Through replication, systems can continue operating when components fail (failover), serve requests from geographically distributed locations, and balance load across multiple machines. The challenge lies in maintaining consistency between replicas while managing the fundamental tradeoffs between data consistency, system availability, and network partition tolerance – constraints known as the CAP theorem.

Failover
Failover is switching to a redundant or standby computer server, system, hardware component or network upon the failure or abnormal termination of the previously active application, server, system, hardware component, or network in a computer network. Failover and switchover are essentially the same operation, except that failover is automatic and usually operates without warning, while switchover requires human intervention.
KHVH
KHVH (830 AM) is a commercial radio station in Honolulu, Hawaii.   It broadcasts a news/talk format and is owned by iHeartMedia, Inc.  Its studios and offices are on Iwilei Road in the Kalihi neighborhood of Honolulu.

KHVH is powered at 11,000 watts, using a non-directional antenna. The transmitter is atop Kalia Tower, at the Hilton Hawaiian Village off Dillingham Boulevard near the Kapalama Canal. It also transmits on Oceanic Spectrum digital channel 881 for the entire state of Hawaii.

Hilton Hawaiian Village
The Hilton Hawaiian Village Waikiki Beach Resort is a resort hotel on Waikiki Beach in Honolulu, Hawaii. The resort first opened in 1955, and since has grown to become the largest in the Hilton chain of hotels. It is one of largest hotels in the world and the largest in the US outside of Las Vegas.
Adamstown, County Wexford
Adamstown (Irish: Maigh Arnaighe or Maigh Arnaí, meaning 'the plain of the berries') is a village in County Wexford, Ireland.  It is about 24 km (15 mi) north-west of Wexford, 20 km (12 mi) east of New Ross, and 20 km (12 mi) south-west of Enniscorthy. The village is in a townland and civil parish of the same name.

New Ross
New Ross (Irish: Ros Mhic Thriúin, formerly Ros Mhic Treoin) is a town in southwest County Wexford, Ireland, on the River Barrow on the border with County Kilkenny, 20 kilometres (12 mi) northeast of Waterford. In 2022, it had a population of 8,610, making it the fourth-largest town in the county.
Jet Lag: The Game
Jet Lag: The Game is an American travel competition video series by Wendover Productions published on Nebula and YouTube. Created by and starring Sam Denby, Adam Chase, and Ben Doyle, and launched in May 2022, each season features a contest that sends players to achieve a geographical objective in some part of the world, some of which are inspired by playground and board games. Some seasons also feature other content creators as guest competitors, such as Toby Hendy, Michelle Khare, and Tom Scott.

During seasons, episodes are published weekly on Nebula, and a week later on YouTube. As of February 2026, Wendover has produced sixteen seasons of the series, and the channel on YouTube has over 1 million subscribers. The Jet Lag crew also produces a companion podcast and a set of game materials to enable viewers to play one of the games themselves. The show was nominated for a Streamy Award in 2023, and received a popular-vote Webby Award in 2025.

Nebula (streaming service)
Nebula is a video-on-demand streaming service provider. Launched by the Standard Broadcast content management agency in 2019 to complement its creators' other distribution channels (primarily YouTube), the platform has since accumulated over 680,000 subscribers, making it the largest creator-owned internet streaming platform.
Weller River
The Weller River (Stream) is a tributary left bank of the Blanche River (St-Casimir) whose confluence is found east of the municipality of Saint-Ubalde, in the Portneuf Regional County Municipality, in the administrative region of Capitale-Nationale, in the province of Quebec in Canada.

Forestry is the main economic activity in the upper part of this hydrographic slope; agriculture, in the lower part.

Saint-Ubalde
Saint-Ubalde (French pronunciation: [sɛ̃t‿ybald]) is a rural municipality in Portneuf Regional County Municipality in the Canadian province of Quebec.

Geographically its territory is marked by an agricultural and populated area in the south-west, and an undeveloped hilly area in the north-east. The inhabited section is located in the southeast.

Numerous watercourses and lakes (Blanc, Sainte-Anne, Ricard, Thom) crisscross and dot is entire territory. Saint-Ubalde is centred on potato cultivation and outdoor recreation (canoeing, water skiing, fishing).
Zenith SupersPort
The SupersPort is a line of PC-compatible laptops manufactured by Zenith Data Systems and sold from 1988 to 1993. The first two main entries in the SupersPort line included either an Intel 80286 microprocessor clocked at 12 MHz or an 8088 processor clocked at 8 or 4.77 MHz, switchable. Later entries included the 386SX, 486SX and 486 processors. The SupersPort 286 in particular was one of the top-selling laptops of the late 1980s,: 106  although Zenith's position in this segment faltered by the early 1990s.

I486SX
The i486SX was a microprocessor originally released by Intel in 1991. It was a modified Intel i486DX microprocessor with its floating-point unit (FPU) disabled. It was intended as a lower-cost CPU for use in low-end systems—selling for US$258—adapting the SX suffix of the earlier i386SX in order to connote a lower-cost option. However, unlike the i386SX, which had a 16-bit external data bus and a 24-bit external address bus (compared to the fully 32-bit i386DX, its higher-cost counterpoint), the i486SX was entirely 32-bit.: 117  The Intel486 SX-20 CPU can perform up 20 MIPS at 25 MHz while this can also perform 70% faster than the 33 MHz Intel386 DX with external cache.
Mary Petty
Mary Petty (April 29, 1899 – March 6, 1976) was an illustrator of books and magazines best remembered for a series of covers published by The New Yorker that feature a family she invented and named, "Peabody", along with their household servants.

Helen E. Hokinson
Helen Elna Hokinson (June 29, 1893 – November 1, 1949) was an American cartoonist and a staff artist for The New Yorker. Over a 20-year span, she contributed 68 covers and more than 1,800 cartoons to The New Yorker.
Taryn Delanie Smith
Taryn Delanie Smith (born 23 September 1996) is an American beauty pageant titleholder and TikToker. She was crowned Miss New York 2022, and was named first runner-up in the Miss America 2023 competition.

Miss New York
The Miss New York scholarship competition selects the representative for the state of New York in the Miss America scholarship competition.

In the fall of 2018, the Miss America Organization terminated the Miss New York organization's license as well as licenses from Florida, Georgia, New Jersey, Pennsylvania, Tennessee, and West Virginia. In March 2019, the license was awarded to Sloane Lewis and Jamie Hickman, along with a board of directors consisting of 13 members.

Cassie Donegan of New York City was crowned Miss New York 2025 on July 15, 2025. Donegan competed for the title of Miss America 2026, which she won, making her the eighth New York resident to do so. Donegan, a vocalist, was selected and crowned as Miss America 2026 on September 7, 2025, at the Dr Phillips Center for the Performing Arts in Orlando, Florida.

Lauren Norris of Manhattan was named Donegan’s successor and the new Miss New York 2025 on September 14, 2025.
Camille de La Croix
Camille de La Croix (born Camille Adolphe Ferdinand Marie de La Croix on July 21, 1831, in Mont-Saint-Aubert, Belgium) was a Belgian Jesuit priest who made significant contributions to both music education and archaeology. He resided in Poitiers, France, from 1864 until his death on April 13, 1911.

After beginning his theological studies, de La Croix moved to France, where he was ordained a priest in 1864. His interest in archaeology emerged in 1877, leading him to conduct numerous excavations. His work focused particularly on ancient and early Christian periods, and he is noted for discovering the ancient site of Sanxay, the Saint-Jean Baptistery in Poitiers, and the Hypogeum of the Dunes in the same city.

Although his occasionally empirical methodology was not universally accepted and his conclusions were sometimes contested, his contributions were recognized with his appointment as a Knight in the National Order of the Legion of Honour in 1896.

Baptistère Saint-Jean
The Baptistère Saint-Jean (Baptistery of St John) is a Roman Catholic church in Poitiers, France. It is reputed to be the oldest existing Christian building in France, and is one of the most prominent examples of Merovingian architecture.
Peter Montgomery (mathematician)
Peter Lawrence Montgomery (September 25, 1947 – February 18, 2020) was an American mathematician who worked at the System Development Corporation and Microsoft Research.  He is best known for his contributions to computational number theory and mathematical aspects of cryptography, including the Montgomery multiplication method for arithmetic in finite fields, the use of Montgomery curves in applications of elliptic curves to integer factorization and other problems, and the Montgomery ladder, which is used to protect against side-channel attacks in elliptic curve cryptography.

Finite field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that has a finite number of elements.  As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules.  The most common examples of finite fields are the integers mod  when  is a prime number.

The order of a finite field is its number of elements, which is either a prime number or a prime power. For every prime number  and every positive integer  there are fields of order . All finite fields of a given order are isomorphic.

Finite fields are fundamental in a number of areas of mathematics and computer science, including number theory, algebraic geometry, Galois theory, finite geometry, cryptography and coding theory.
Before Gardens After Gardens
Before Gardens After Gardens is the third album by Big Sir. The album features contributions by The Mars Volta’s Cedric Bixler-Zavala and Deantoni Parks, Rx Bandits’ Matt Embree and Steve Choi, bassist Jonathan Hischke and Beastie Boys producer Money Mark.

Rx Bandits
Rx Bandits are an American rock band based in Seal Beach, California, United States. The band formed in 1995 in Orange County, California. Initially formed as a reggae/ska band, their style overtime evolved into a hybrid of progressive rock, ska and reggae.

They have appeared on the Vans Warped Tour, at the Bonnaroo Music and Arts Festival, Coachella Valley Music and Arts Festival, and The Bamboozle. In the UK, they have appeared at Reading/Leeds Festival & Slam Dunk Festival.
Mount Emily Lumber Co. 1
Mount Emily Lumber Company No. 1 is a three-truck or 'Class C' Shay steam locomotive that was originally owned by the Mount Emily Lumber Company. It was built on August 28, 1923 by the Lima Locomotive Works and delivered to Lima's Seattle dealer, Hofius Steel and Equipment Company of Seattle, Washington. It was later sold to the Independence Logging Company of Independence, Washington, and then it was later sold to the Mount Emily Lumber Company of La Grande, Oregon. When it was retired in 1955, it was donated to the Oregon Museum of Science and Industry. Three years later, in 1958, it was donated to the Oregon Historical Society of Portland, Oregon. The engine was operational at Cass Scenic Railroad and the City of Prineville Railroad for many years. It was announced in 2022 that the Oregon Rail Heritage Foundation would be the new owners of No. 1.

City of Prineville Railway
The City of Prineville Railway (reporting mark COP) is an 18-mile (29 km) class III shortline railroad connecting the U.S. cities of Prineville and Redmond, Oregon. Trains can connect with the BNSF and UPRR at Prineville Jct. 3 miles north of Redmond, Oregon.
K-140 (Kansas highway)
K-140 is a 33.224-mile-long (53.469 km) state highway in Ellsworth and Saline Counties in the U.S. state of Kansas. The highway travels through mostly rural land between the cities of Ellsworth and Salina. In addition to connecting Ellsworth and Salina, K-140 travels through the communities of Carneiro, Brookville, and Bavaria. The highway has junctions with Kansas state highways K-14, K-156, K-111, and K-141, as well as Interstate 135 (I-135).

The route was originally established as U.S. Route 40 (US-40) and was redesignated K-140 after US-40 was made concurrent with I-70. K-140 is not a part of the United States National Highway System, and the entire route is paved with composite pavement. The western part of the highway is less traveled than the eastern part, with annual average daily traffic between 590 and 940 west of Brookville and between 700 and 1,200 east of Brookville.

Interstate 135
Interstate 135 (I-135) is an approximately 95.7-mile-long (154.0 km) auxiliary Interstate Highway in central and south-central Kansas, United States. I-135, which is signed as north–south, runs between I-35 and the Kansas Turnpike in Wichita north to I-70, U.S. Highway 40 (US-40), and US-81 in Salina. Except for the first 0.46 miles (0.74 km), I-135 overlaps US-81 its entire length. The route also runs through the cities of McPherson, Newton, and Park City.

The highway was designated as Interstate 35W (I-35W) until September 1976, when it was renumbered as I-135 to conform to new AASHTO policies that eliminated most suffixed Interstate Highways. It is currently the longest three-digit spur with an odd first digit in the Interstate System.
Evan Lee (baseball)
Evan Hankins Lee (born June 18, 1997) is an American former professional baseball pitcher who currently serves as the pitching coach for the Little Rock Trojans. He played in Major League Baseball (MLB) for the Washington Nationals in 2022.

Little Rock Trojans baseball
The Little Rock Trojans baseball team, is a varsity intercollegiate athletic team of the University of Arkansas at Little Rock in Little Rock, Arkansas, United States. The team is a member of the Ohio Valley Conference, which is part of the NCAA Division I. The team plays its home games at Gary Hogan Field in Little Rock, Arkansas.

On July 1, 2015, the Trojans officially announced they would no longer be branded as Arkansas–Little Rock or "UALR," but will be the Little Rock Trojans effective immediately.
National Sports Training Centre Inverclyde
55°48′14″N 4°51′00″W﻿ / ﻿55.804°N 4.850°W﻿ / 55.804; -4.850
National Sports Training Centre Inverclyde is a sports training facility in Largs, North Ayrshire. It is the UK's first inclusive residential sports facility and caters for both elite athletes and the local community in a range of sports and activities. The facility is known in association football for being an education centre for managers.

North Ayrshire
North Ayrshire (Scottish Gaelic: Siorrachd Àir a Tuath, pronounced [ˈʃirˠəxk aːɾʲ ə ˈt̪ʰuə]) is one of 32 council areas in Scotland. The council area borders Inverclyde to the north, Renfrewshire and East Renfrewshire to the northeast, and East Ayrshire and South Ayrshire to the east and south respectively. The local authority is North Ayrshire Council, formed in 1996 with the same boundaries as the district of Cunninghame, which existed from 1975 to 1996.

Located in the west central Lowlands with the Firth of Clyde to its west, the council area covers the northern portion of the historic county of Ayrshire, in addition to the islands of Arran and The Cumbraes from the historic county of Buteshire. North Ayrshire had an estimated population of 134,010 in 2024. Its largest towns are Irvine and Kilwinning. From 1975 to 1996 under the name Cunninghame it was one of nineteen local government districts in the Strathclyde region.
Gérard Huet
Gérard Pierre Huet (French: [y.ɛ]; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory, and to the theory of computation.

Type theory
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems.

Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that have been proposed as foundations are:

Typed λ-calculus of Alonzo Church

Intuitionistic type theory of Per Martin-Löf

Most computerized proof-writing systems use a type theory for their foundation. A common one is Thierry Coquand's calculus of inductive constructions.
Kentucky Route 302
Kentucky Route 302 (KY 302) is a 19.0-mile-long (30.6 km) state highway in the U.S. state of Kentucky. The highway connects mostly rural areas of Floyd and Johnson counties with Watergap and Hager Hill.

Johnson County, Kentucky
Johnson County is a county located in the U.S. state of Kentucky. As of the 2020 census, the population was 22,680. Its county seat is Paintsville. The county was formed in 1843 and named for Richard Mentor Johnson, a colonel of the War of 1812, United States Representative, Senator, and Vice President of the United States.

Johnson County is classified as a moist county, which is a county in which alcohol sales are not allowed (a dry county), but containing a "wet" city, in this case Paintsville, where alcoholic beverage sales are allowed.
Shukra
Shukra (/ˈʃuːkrə/ SHOO-krə; Sanskrit: शुक्र, IAST: Śukra) is a Sanskrit word that means "clear" or "bright". It also has other meanings, such as the name of a sage who was the preceptor of the asuras and taught them the Vedas. In mythology and Hindu astrology, the word refers to the planet Venus, one of the Navagrahas.

Hindu astrology
Hindu astrology, also called Indian astrology, jyotisha (Sanskrit: ज्योतिष, romanized: jyotiṣa; from  jyót 'light, heavenly body') and, more recently, Vedic astrology, is the traditional Hindu system of astrology. It is one of the six auxiliary disciplines in Hinduism that is connected with the study of the Vedas.

The Vedanga Jyotisha is one of the earliest texts about astronomy within the Vedas. Some scholars believe that the horoscopic astrology practiced in the Indian subcontinent came from Hellenistic influences. However, this is a point of intense debate, and other scholars believe that Jyotisha developed independently, although it may have interacted with Greek astrology.

The scientific consensus is that astrology is a pseudoscience.
Trout Lake (Pennsylvania)
Trout Lake is a 89.7-acre (36.3 ha) reservoir in Monroe County, Pennsylvania, United States. The man-made lake is fed by the Appenzell Creek and is part of the McMichael Creek Subwatershed. The lake is at an elevation of 938 feet (286 m)

Trout Lake is located alongside Pennsylvania Route 715, 1.4 miles (2.3 km) South of Reeders in Jackson Township, Monroe County, Pennsylvania in the United States.

Jackson Township, Monroe County, Pennsylvania
Jackson Township is a township in Monroe County, Pennsylvania, United States. The population was 6,578 at the 2020 census. A portion of Big Pocono State Park, a Pennsylvania state park, is on Camelback Mountain in Jackson Township.
Real form (Lie theory)
In mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra g0 is called a real form of a complex Lie algebra g if g is the complexification of g0:

The notion of a real form can also be defined for complex Lie groups. Real forms of complex semisimple Lie groups and Lie algebras have been completely classified by Élie Cartan.

Lie group–Lie algebra correspondence
In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is  and  (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other, being  with a trivial bracket. However, for simply connected Lie groups, the Lie group-Lie algebra correspondence is one-to-one.

In this article, a Lie group refers to a real Lie group. For the complex and p-adic cases, see complex Lie group and p-adic Lie group. In this article, manifolds (in particular Lie groups) are assumed to be second countable; in particular, they have at most countably many connected components.
Lower Woodcott
Lower Woodcott is a small village in the Basingstoke and Deane district of Hampshire, England.   Its nearest town is Whitchurch, which lies approximately 4.3 miles (6.7 km) south-east from the village.

Basingstoke and Deane
51°15′22″N 1°06′40″W﻿ / ﻿51.256°N 1.111°W﻿ / 51.256; -1.111

Basingstoke and Deane is a local government district with borough status in Hampshire, England. The main town is Basingstoke, where the council is based. The district also includes the towns of Tadley and Whitchurch, along with numerous villages and surrounding rural areas. The modern district was created in 1974, initially being called Basingstoke. It changed its name to "Basingstoke and Deane" in 1978 at the same time that it was made a borough; Deane was added to the name to represent the rural parts of the borough, being the area's smallest village.

Parts of the borough lie within the North Wessex Downs, an Area of Outstanding Natural Beauty. The neighbouring districts are Hart, East Hampshire, Winchester, Test Valley, West Berkshire and Wokingham.
Constable Burton Hall
Constable Burton Hall is a Grade I-listed Georgian country house of dressed stone in an extensive and well wooded park in the village of Constable Burton in North Yorkshire, designed by John Carr of York in 1768.  It is privately owned by the Wyvill family. The house is a two-storey ashlar-faced structure with a five bay frontage having an elegant recessed Ionic portico. The principal entrance is approached by a double flight of steps. The side elevation has a pediment and there is a large projecting bay to the rear of the house.

The house was listed Grade I in 1967, with the coach house and stables, and the laundry listed as Grade II* and Grade II respectively at the same time. In 1984, the park was listed as Grade II on the National Register of Historic Parks and Gardens. The pub in the village is called The Wyvill Arms.
The house and gardens are private.

Wyvill baronets
The Wyvill Baronetcy, of Constable Burton in the County of York, was a title in the Baronetage of England. It was created on 25 November 1611 for Marmaduke Wyvill, the former Member of Parliament for Richmond. The fifth and sixth Baronets also represented Richmond in the House of Commons. The title became dormant on the death of the seventh Baronet in 1774.
Combat Logistics Battalion 11
Combat Logistics Battalion 11 (CLB-11) is a logistics battalion of the United States Marine Corps. When not deployed they are part of Headquarters Regiment, 1st Marine Logistics Group. The unit is based out of the Marine Corps Base Camp Pendleton, California and when deployed provides combat logistical support to the 11th Marine Expeditionary Unit (11th MEU).

1st Marine Logistics Group
The 1st Marine Logistics Group (1st MLG) is a logistics unit of the United States Marine Corps and is headquartered at Marine Corps Base Camp Pendleton, California, with several subordinate elements located at Marine Corps Air Station Yuma and Marine Corps Air Ground Combat Center Twentynine Palms. It is the logistics combat element of the I Marine Expeditionary Force (I MEF).