Siverly, Ohio

History

A post office called Siverly was established in 1869, and remained in operation until it was discontinued in 1898.[2] The community was named for an early postmaster, John Silvery Witherspoon.[3][4]

gollark: ```python#!/usr/bin/env python3import argparseimport subprocessparser = argparse.ArgumentParser(description="Compile a WHY program")parser.add_argument("input", help="File containing WHY source code")parser.add_argument("-o", "--output", help="Filename of the output executable to make", default="./a.why")parser.add_argument("-O", "--optimize", help="Optimization level", type=int, default="0")args = parser.parse_args()def build_C(args): template = """#define QUITELONG long long intconst QUITELONG max = @max@;int main() { QUITELONG i = 0; while (i < max) { i++; } @code@} """ for k, v in args.items(): template = template.replace(f"@{k}@", str(v)) return templateinput = args.inputoutput = args.outputtemp = "ignore-this-please"with open(input, "r") as f: contents = f.read() looplen = max(1000, (2 ** -args.optimize) * 1000000000) code = build_C({ "code": contents, "max": looplen }) with open(temp, "w") as out: out.write(code)subprocess.run(["gcc", "-x", "c", "-o", output, temp])```
gollark: And *is* Haskell necessarily that fast?
gollark: <@!341618941317349376> is being stupid.
gollark: No.
gollark: It's Turing-complete and everything!

References
  1. U.S. Geological Survey Geographic Names Information System: Siverly, Ohio
  2. "County". Jim Forte Postal History. Retrieved 18 March 2015.
  3. Vinton County, Ohio History and Families. Turner Publishing Company. 1 January 1996. p. 145. ISBN 978-1-56311-295-9.
  4. History of Hocking Valley, Ohio. Inter-State Publishing Co. 1883. pp. 1307.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.