8,387 research outputs found

    J.C. Painter letter to Benjamin Lundy

    No full text
    Letter from J.E. Painter to (presumably) Benjamin Lundy, answering a request for information about the history and operations of the Underground Railroad. Letter includes details of a story of an ex-slave transported on the Underground Railroad through Ohio and stories of the plight of other fugitive slaves crossing the Ohio River. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His "Genius of Universal Emancipation" was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico

    Mexican land grant contract to Benjamin Lundy, March 10, 1835 (English)

    No full text
    Legal document from an unsigned officer to Benjamin Lundy, authorizing him rights as empresario to a tract of land in then-Mexico. The document extends a previous treaty made to Lundy by the government of Mexico from November 17, 1823 -- presumably, this land is to be the site of Lundy's freed slave colony. Original Spanish-language document is also a part of this collection. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico

    Eli Nichols letter to Benjamin Lundy, March 17th, 1839

    No full text
    Friendly note from Eli Nichols to Benjamin Lundy covering topics in contemporary abolition, ranging from the social status of abolitionists to the oppression of the poor. Much of the letter concerns a review of contemporary social movements in equality-based education, including Shaker and Quaker communities. The letter concludes in discussion of Nichols' and Lundy's interest in forming a freed slave colony or community in then-Mexico, and describes the climate and culture of those regions in detail. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico

    Mexican land grant contract to Benjamin Lundy, March 10, 1835 (Spanish)

    No full text
    Legal document in Spanish from the government of Tamaulipas, Mexico, to Benjamin Lundy, which appears to grant Lundy the rights of empresario for his proposed colony for freed slaves in Tamaulipas. This document appears to be truncated; it ends abruptly after 2 pages. Collection also includes a period translation of this contract with Lundy in English, which appears to contain the full text of the agreement. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico

    General Benjamin Butler Letter Regarding the naming of Newport News, Virginia

    No full text
    Digital images of an original letter written by Former Union Major-General Benjamin Butler in reply to a query by author, Edwin Everett Hale on how Newport News, Virginia had received it's name. both sides of the original letter are included along with a typed transcription of the letter

    CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs

    No full text
    Due to copyright restrictions and/or publisher's policy full text access from Treasures at UT Dallas is limited to current UTD affiliates (use the provided Link to Article).A prototype framework for formal, machine-checked validation of GPU pseudo-assembly code algorithms using the Coq proof assistant is presented and discussed. The framework is the first to afford GPU programmers a reliable means of formally machine-validating high-assurance GPU computations without trusting any specific source-to-assembly compilation toolchain. A formal operational semantics for the PTX pseudo-assembly language is expressed as inductive, dependent Coq types, facilitating development of proofs and proof tactics that refer directly to the compiled PTX object code. Challenges modeling PTX's complex and highly parallelized computation model in Coq, with sufficient clarity and generality to tractably prove useful properties of realistic GPU programs, are discussed. Examples demonstrate how the prototype can already be used to validate some realistic programs. © 2019 EDAA.ONR award N00014-17-1-2995, NSF award #1513704, an NSF IUCRC award from Lockheed MartinErik Jonsson School of Engineering and Computer Scienc

    R. Williams letter to Mrs. Susan M.Weirman, July 21, 1896

    No full text
    Response letter from R. Williams to Susan M. Wierman [sometimes spelled Weirman] following up on a visit from photographer M. Wooley, presumably to snap photographs of Susan and the Lundy home to accompany Williams' biographical essay on Lundy. Williams sends along Wooley's letters and requests additional information from Ms. Wierman about the life and times of some meeting houses significant in the life and times of her father, anti-slavery activist and abolitionist periodical publisher Benjamin Lundy. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico
    corecore