The Receipts
Every fact on this site — a founding year, a headquarters, a fare, a distance — links back here to a source you can open yourself. If a link below has rotted, that is a bug; tell us.
| F-094 | the proof kernel is a pure Calculus of Constructions type checker | repo:marketing/FACTS.md#F-094 |
| F-098 | LOGOS is a deterministic compiler — same input, same output, every time; no sampling, no hallucination, no temperature | repo:marketing/FACTS.md#F-098 |
| F-100 | one front-end, five back-ends: tree-walking interpreter, register bytecode VM, copy-and-patch JIT, AOT-to-Rust, direct WASM | repo:marketing/FACTS.md#F-100 |
| F-112 | this campaign describes LOGOS 0.10.1 | repo:marketing/FACTS.md#F-112 |
| R-001 | Jack Dorsey was born and raised in St. Louis, Missouri (Nov 19, 1976) | https://en.wikipedia.org/wiki/Jack_Dorsey |
| R-002 | Dorsey co-founded Twitter (2006) and Square / Block (2009), both in San Francisco | https://en.wikipedia.org/wiki/Jack_Dorsey |
| R-003 | Sam Altman was raised in the St. Louis, Missouri area — his family moved to Clayton, Missouri in 1989 (he was born in Chicago in 1985) | https://en.wikipedia.org/wiki/Sam_Altman |
| R-004 | Altman co-founded OpenAI in 2015 and is its CEO, in San Francisco | https://en.wikipedia.org/wiki/Sam_Altman |
| R-005 | Marc Andreessen was born in Cedar Falls, Iowa and raised in New Lisbon, Wisconsin | https://en.wikipedia.org/wiki/Marc_Andreessen |
| R-006 | Andreessen co-founded Netscape in Mountain View, California | https://en.wikipedia.org/wiki/Marc_Andreessen |
| R-010 | Caltrain runs between San Francisco and Gilroy (Tamien–Gilroy is weekday commute-hour service only) | https://www.caltrain.com/stations-zones |
| R-011 | Caltrain fares are zone-based, and Clipper is the reloadable all-in-one Bay Area transit card | https://www.caltrain.com/fares/how-buy/clipper |
| R-012 | As of Jan. 1, 2026, Caltrain eliminated its Clipper discount, aligning prices across all payment methods | https://www.caltrain.com/news/caltrain-eliminate-clipper-discount-jan-1 |
| R-020 | HI San Francisco Downtown Hostel lists dorm beds from about $33 a night a landing pad, not an address; nightly, seasonal | https://www.hiusa.org/find-hostels/california/san-francisco-312-mason-street |
| R-021 | In San Francisco proper, Candlestick RV Park charges about $2,500 a month for a full-hookup spot (raised from $2,000) the priciest, most contested option; printed here precisely so the cheaper ones downstate read honestly | https://www.cnbc.com/2026/02/20/how-rvs-became-silicon-valleys-housing-safety-net.html |
| R-022 | San Francisco adopted a citywide two-hour parking limit for oversized vehicles (over 22 ft long or 7 ft tall) via the SFMTA "Large Vehicle Refuge Permit" why the camper play works better in a park, further out, than on a San Francisco curb | https://www.sf.gov/news--sfmta-board-directors-approves-new-city-policy-address-oversized-vehicles-parking-across-san |
| R-023 | San Francisco Police Code Sec. 97 prohibits using a vehicle for human habitation | https://codelibrary.amlegal.com/codes/san_francisco/latest/sf_police/0-0-0-421 |
| R-030 | Gilroy Garlic USA RV Park (Gilroy, CA) rents long-term full-hookup concrete sites for $1,400/month plus metered electricity, 3-month minimum | https://gilroy650.com/ |
| R-031 | Parkway Lakes RV Park (Morgan Hill, CA) lists long-term sites from roughly $1,495–$1,595/month | https://www.parkwaylakesrvpark.com/ |
| R-032 | Novato RV Park (Novato, CA) lists monthly sites at $1,600–$1,700 plus electricity, and weekly at $450–$540 | https://novatorvpark.com/ |
| R-033 | Pillar Point RV Park (Half Moon Bay, CA) lists nightly sites at $115–$149.50 on the coast the ocean tax is real; the coast is beautiful and the coast is not cheap | https://pillarpointrvpark.com/ |
| R-034 | Alameda County Fairgrounds RV Park (Pleasanton, CA) offers full-hookup RV sites in the East Bay near BART East Bay option; call for long-term availability | https://www.hipcamp.com/en-US/d/united-states/california/hayward/camping/rv |
| R-041 | The average apartment in St. Charles, Missouri rents for about $1,469 a month the whole point — a cheap Bay RV space is the SAME money as a place back home | https://www.rentcafe.com/average-rent-market-trends/us/mo/saint-charles/ |
| R-042 | The average San Francisco one-bedroom apartment rents for well over $3,000 a month reported $3,000–$4,000 across sources; we print the floor | https://www.rentcafe.com/average-rent-market-trends/us/ca/san-francisco/ |
| R-050 | Hewlett-Packard was founded in 1939 in a Palo Alto garage now marked "Birthplace of Silicon Valley" | https://en.wikipedia.org/wiki/Hewlett-Packard |
| R-051 | Intel was founded in 1968 and is headquartered in Santa Clara, California | https://en.wikipedia.org/wiki/Intel |
| R-052 | Andy Grove, Intel's third employee and later CEO, was born in Budapest, Hungary and immigrated to the U.S. | https://en.wikipedia.org/wiki/Andrew_Grove |
| R-053 | Apple was founded in 1976 and is headquartered in Cupertino, California | https://en.wikipedia.org/wiki/Apple_Inc. |
| R-054 | Genentech, which launched the biotech industry, was founded in 1976 in South San Francisco | https://en.wikipedia.org/wiki/Genentech |
| R-055 | Oracle was founded in 1977 in the Bay Area (Santa Clara, California) | https://en.wikipedia.org/wiki/Oracle_Corporation |
| R-056 | Adobe was founded in 1982 and is headquartered in San Jose, California | https://en.wikipedia.org/wiki/Adobe_Inc. |
| R-057 | Cisco was founded in 1984 by a Stanford couple and is headquartered in San Jose, California | https://en.wikipedia.org/wiki/Cisco |
| R-058 | Nvidia was founded in 1993 and is headquartered in Santa Clara, California | https://en.wikipedia.org/wiki/Nvidia |
| R-059 | Nvidia co-founder Jensen Huang was born in Tainan, Taiwan and immigrated to the U.S. as a child | https://en.wikipedia.org/wiki/Jensen_Huang |
| R-060 | Yahoo was founded in 1994 by two Stanford students in the Bay Area | https://en.wikipedia.org/wiki/Yahoo |
| R-061 | Yahoo co-founder Jerry Yang was born in Taipei, Taiwan and immigrated to San Jose as a child | https://en.wikipedia.org/wiki/Jerry_Yang |
| R-062 | eBay was founded in 1995 and is headquartered in San Jose, California | https://en.wikipedia.org/wiki/EBay |
| R-063 | eBay founder Pierre Omidyar was born in Paris, France to Iranian parents | https://en.wikipedia.org/wiki/Pierre_Omidyar |
| R-064 | Netflix was founded in 1997 and is headquartered in Los Gatos, California | https://en.wikipedia.org/wiki/Netflix |
| R-065 | Google was founded in 1998 and is headquartered in Mountain View, California | https://en.wikipedia.org/wiki/Google |
| R-066 | Google co-founder Sergey Brin was born in Moscow and immigrated to the U.S. as a child | https://en.wikipedia.org/wiki/Sergey_Brin |
| R-067 | PayPal traces to Confinity, founded in 1998 in Palo Alto, California | https://en.wikipedia.org/wiki/PayPal |
| R-068 | Salesforce was founded in 1999 and is headquartered in San Francisco | https://en.wikipedia.org/wiki/Salesforce |
| R-069 | Tesla was founded in 2003 in San Carlos, California HQ later moved to Texas; the seed still cracked open here | https://en.wikipedia.org/wiki/Tesla,_Inc. |
| R-070 | Facebook (now Meta) relocated to the Bay Area in 2004 and is headquartered in Menlo Park, California started in a Massachusetts dorm; grew up the moment it moved west | https://en.wikipedia.org/wiki/Meta_Platforms |
| R-071 | YouTube was founded in 2005 in San Mateo, California | https://en.wikipedia.org/wiki/YouTube |
| R-072 | Airbnb was founded in 2008 in San Francisco | https://en.wikipedia.org/wiki/Airbnb |
| R-073 | WhatsApp was founded in 2009 in Mountain View, California | https://en.wikipedia.org/wiki/WhatsApp |
| R-074 | WhatsApp co-founder Jan Koum was born in Kyiv, Ukraine and immigrated to Mountain View as a teenager | https://en.wikipedia.org/wiki/Jan_Koum |
| R-075 | Uber was founded in 2009 in San Francisco | https://en.wikipedia.org/wiki/Uber |
| R-076 | Instagram was founded in 2010 in San Francisco | https://en.wikipedia.org/wiki/Instagram |
| R-077 | Stripe was founded in 2010 and is headquartered in San Francisco | https://en.wikipedia.org/wiki/Stripe,_Inc. |
| R-078 | Stripe co-founders Patrick and John Collison grew up in rural Ireland | https://en.wikipedia.org/wiki/Patrick_Collison |
| R-079 | Zoom was founded in 2011 and is headquartered in San Jose, California | https://en.wikipedia.org/wiki/Zoom_Communications |
| R-080 | Zoom founder Eric Yuan was born in Shandong, China and immigrated to the Bay Area in 1997 | https://en.wikipedia.org/wiki/Eric_Yuan |
| R-081 | Databricks was founded in 2013 and is headquartered in San Francisco | https://en.wikipedia.org/wiki/Databricks |
| R-082 | Anthropic was founded in 2021 and is headquartered in San Francisco | https://en.wikipedia.org/wiki/Anthropic |
| R-090 | Stanford University is in Stanford, California, adjacent to Palo Alto | https://en.wikipedia.org/wiki/Stanford_University |
| R-091 | Sand Hill Road in Menlo Park, California is the historic center of the venture-capital industry | https://en.wikipedia.org/wiki/Sand_Hill_Road |
| R-092 | UC Berkeley's 1964 Free Speech Movement won political speech on campus; Mario Savio's "bodies upon the gears" speech was given at Sproul Hall on Dec. 2, 1964, and the steps were renamed the Mario Savio Steps in 1997 | https://en.wikipedia.org/wiki/Free_Speech_Movement |
| R-093 | Lake Tahoe is about 200 miles — roughly 3.5–4 hours' drive — from San Francisco | https://epiclaketahoe.com/san-francisco-lake-tahoe-road-trip/ |
| R-094 | Santa Cruz is about 32 miles — roughly 40–45 minutes — from San Jose over Highway 17 | https://www.distance-cities.com/distance-san-jose-ca-to-santa-cruz-ca |
| R-095 | The Bay's microclimates run cool and foggy on the coast and in San Francisco (summers often in the low 60s) while inland South Bay valleys an hour south are much warmer (80s–90s) | https://www.kqed.org/news/11827882/why-does-the-bay-area-have-so-many-microclimates |
| R-096 | Waymo operates fully driverless robotaxis available to the public in San Francisco, hailed from an app with no waitlist | https://waymo.com/rides/san-francisco/ |
| R-100 | In 2025 the San Francisco Bay Area drew about 41% of all U.S. startup venture funding — the largest share of any metro where the money for new and contrarian ideas actually points | https://news.crunchbase.com/venture/sf-bay-area-startup-funding-bigger-share-ai/ |
| R-101 | In Gelfand's tightness–looseness research, California ranks among the "loosest" U.S. states (weaker social norms, higher tolerance for deviance and difference), while the "tightest" states cluster in the South with the Midwest in between; tighter states show higher religious attendance and a more black-and-white view of right and wrong the value-neutral academic frame for "fitting in vs. standing out"; tight cultures buy real cohesion with their norms — it is a fact about the soil, not a moral rating | https://www.pnas.org/doi/10.1073/pnas.1317937111 |
| R-102 | Redbud VC in Columbia, Missouri closed its flagship Fund II at $25 million (2026), about 95% of it raised from Missourians, to back "outsider founders" Missouri's most celebrated recent venture fund | https://redbud.vc/latest/redbud-vc-fund-ii-25m-for-outsider-founders |
| R-103 | Andreessen Horowitz, a single Bay Area firm, raised over $15 billion in one fundraising haul — its largest to date about 600x Redbud's entire Fund II | https://a16z.com/why-did-we-raise-15b/ |
| R-104 | In Q1 2023 all Missouri startups together raised about $118 million — roughly 0.91% of U.S. venture deals, which the state's own venture analysts called one of the lowest deal totals of the decade | https://redbud.vc/latest/the-rising-tide-of-missouri-vc-funding |
| R-105 | Companies founded by Stanford alumni and faculty number roughly 39,900 and generate about $2.7 trillion in annual revenue — as an independent nation they would be a top-ten world economy Eesley & Miller study; the university actively turns students into founders | https://engineering.stanford.edu/news/study-reports-stanford-alumni-create-nearly-3-trillion-economic-impact |