Mineral Springs, Ohio
Mineral Springs is an unincorporated community in Adams County, Ohio.[1]
History
A post office called Mineral Springs was established in 1868 and remained in operation until 1919.[2] The community was named for a mineral spa near it.[3]
gollark: Not sure if that went anywhere.
gollark: GPT-3 apparently was able to generate valid code if prompted properly.
gollark: I don't think "what if we autogenerated programs" is a hugely original idea. It's just very hard.
gollark: There's a neat easy thing to train GPT-2 instances. I did that with my discord messages.
gollark: Those are used for inferencing, not training, and stuff has worked fine for ages without them.
References
- U.S. Geological Survey Geographic Names Information System: Mineral Springs, Ohio
- "Adams County". Jim Forte Postal History. Retrieved 12 December 2015.
- Evans, Nelson Wiley; Stivers, Emmons B. (1900). A History of Adams County, Ohio: From Its Earliest Settlement to the Present Time. E B. Stivers. p. 445.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.