Spell Check is Global

AI is going to follow the path of all computer automation. Spell check is the completed example. Energy to run is the only true metric. What remains is joules.

Teaching figures for /papers/spellcheck/. The curve below is a labeled illustration of cited endpoints. No coefficient is estimated. Estimates are not package measured_j. board_synth_claimed=false. The many (7B+) and the few (under 500M) are an access framing, not a census.

How to read this page

  1. Three prices. Bureau, then moat, then the separate price is gone.
  2. Two dots, not a fit. Nordhaus published the endpoints. The dashed line only connects them.
  3. The race is cited, not refit. Epoch's rates stay in Epoch's notes.
  4. Spell check finished the money curve. The joules did not go to zero.
  5. Seven hardware records. Each category has its own source and year. Do not add the rows.
  6. The installed generation is the reach. The latest die is a shipment. Software for the generation in hand has the largest impact.

sc-anim-01 Commoditization illustration

Labeled illustration Not a regression Cited endpoints only

The dashed connector draws from Nordhaus's manual-era price to his 2006 price. The motion joins two published numbers. No slope is fit. The callout is Epoch's summary of a recent inference-price window. Spell check is the bottom row: the separate money price of a correction is gone. The joule remainder stays lit. Commoditization leaves the physics in place.

sc-anim-01 · illustration, no coefficient estimated Log money-price of computation. Axis is qualitative. Only the two dots are Nordhaus's reported endpoints. higher money price 2006 manual era ~$500 per MCPS Nordhaus 2007, 2006 prices ~$6×10⁻¹¹ per MCPS factor ~7 trillion, his figure CITED SUMMARY, NOT A FIT Epoch 2025: 9× to 900× / year Emberson 2026: ~13× / year summary Their window. Not refit here. Spell check, the completed money curve 1 Bureau proofreader's price 2 Moat race token, rent, access fee 3 Price gone Hunspell, local, free Remains joules, unmetered 7B+ and <500M are an access framing, not a point on this picture. Landauer and Horowitz name why joules remain. No measured_j.

Sources: Nordhaus, Journal of Economic History, 2007. Epoch AI, 12 March 2025. Emberson and Roodman, 22 September 2026. Hunspell README. Landauer 1961. Horowitz, ISSCC 2014. Study: /papers/spellcheck/.

sc-reg-01 Three price regimes

Teaching diagram

Read left to right. Moat rent is the signal that invites a rival to bundle the same job into hardware people already have. Spell check is that race after it ends. AI inference, on Epoch's notes, is still in the middle box.

Bureau price Scarce procedure. A person or a booked machine sends a bill. Moat rent Token price, access fee, parameter-count premium. The rent invites the race. Price eliminated Spell check in the editor. License price of the library is zero. Joules stay.

sc-tok-01 One token, taught in order

Norvig's documented call

correction('speling') returns spelling in Norvig's essay. The steps are the companion laws on a finished path. Lookup, then a short edit. The suggestion is a proposal until commit. Further candidates stop when the token is kept. A frontier model that also says "spelling" has not produced a better word. It has produced the same word at a money price commoditization removes. His reported final test, 68 percent of 400 pairs at 35 words per second, is the toy's score, not an industrial claim.

StepWhat happensWhich study
1The string is already on the machine.Automation path
2Is it in the local list? If not, try edit distance one.Mixture of Limits
3Show the suggestion. Write it only on acceptance.Notational Intelligence
4Once kept, more candidates do not change the predicate.Satiation
5The invoice can be zero. The probe still spends joules.Metabolic Intelligence

sc-tab-01 Cited anchors

Every number in this table is the source's number. The rightmost column states how this page uses it.

AnchorWhat it saysUse here
Nordhaus 2007Computation price from about $500 per MCPS to about 6×10⁻¹¹ by 2006, in 2006 prices. About seven trillion times.Two endpoints. Connector is not a fit.
Epoch AI 2025Fixed-performance inference prices fell on the order of 9× to 900× per year across that note's benchmarks.The race is fast and uneven. Not one slope.
Emberson and Roodman 2026About 47 percent per quarter, summarized as about 13× per year, since about 2023.Their summary. Not extended past their window.
Damerau 1964; Kukich 1992Single-error correction, then the three-problem map.The capability is a published procedure.
McIlroy 198230,000-word list squeezed to 26,000 16-bit words so the checker could run on minicomputers.Paired to the machine people already had.
Norvig 200775% of 270; 68% of 400; 41 and 35 words per second. Written with no network.Local gear. Not the industrial ceiling.
Hunspell READMEFree library. Local dictionary. Named in ordinary editors.Separate money price eliminated.
Hard et al. 20181.4 MB on-device next-word model. Raw typing stays on the phone. Their install claim is not our 7B+ framing.Pairing, not a spelling score.
Landauer 1961; Horowitz 2014Erasure has a floor. Practical CMOS cost is mostly moving data.Why joules remain. No new total computed.
Section 2.10 sourcesShipments, subscribers, revenue, and one survey. See sc-hw-01.Seven records. Not a sum. Not 7B+.
Section 2.11 pricesAnita, HP-35, TI-2500, VisiCalc, Lotus, WordPerfect, Word. See sc-price-01.Dated observations. Gaps stay blank. Disagreeing dates are both printed.

Klere (klere.ai) is the product home of Metabolic Intelligence, not a prison. Spell check finished this path in editors that are not Klere. PDF: /pdfs/spellcheck.pdf.

sc-hw-01 Seven hardware records

Publisher figures Not one comparison Not a census

Read down the rows. Do not add them. A subscriber is not a handset. A revenue line is not a unit count. A Steam share is not the world. 7B+ and under 500M are an access framing. They are not the total of this table. Spell check is the finished program for the generation already in hand. Energy to run is the metric. None of these cells is measured_j.

CategoryFigure, as publishedSource and yearStack, and the frontier interface
Phones / mobile SoCs5.8 billion unique subscribers, end of 2024. 1,260.3 million smartphones shipped in 2025. Arm CPUs in greater than 99 percent of smartphones sold in Arm's fiscal 2025.GSMA, Mobile Economy 2025. IDC, 13 January 2026. Arm annual report, year ended 31 March 2025.Local checker, Core ML, LiteRT, QNN, ExecuTorch, llama.cpp. Frontier weights stay on a server. Apple's on-device model is about 3 billion parameters.
PCs and laptops262.7 million PCs in 2024. 284.7 million in 2025. 1 billion Windows 11 users.IDC, 9 January 2025 and 12 January 2026. Nadella, 28 January 2026.OS, browser, Hunspell. ONNX Runtime, DirectML, llama.cpp on the CPU. An API is a rental. A model that fits is the path.
Consumer GPUs11.48 million add-in boards in Q4 2025. NVIDIA Gaming revenue $16.0 billion, fiscal 2026. That revenue is not units.Jon Peddie Research, 5 March 2026. NVIDIA, 25 February 2026.CUDA, ROCm, Vulkan, llama.cpp. The card runs the model that fits. The training system does not fit.
Datacenter acceleratorsNVIDIA Data Center revenue $193.7 billion, fiscal 2026. AMD Data Center segment $16.6 billion, calendar 2025, EPYC and Instinct together. The releases do not give units. Huang, 28 October 2025: 6 million Blackwell GPUs in the last four quarters. A stated shipment, not a 10-K line.NVIDIA, 25 February 2026. AMD, 3 February 2026. CNBC, 28 October 2025. Microsoft call, 28 January 2026, names Maya 200 and gives no Maya unit count.CUDA, ROCm, vLLM, TensorRT-LLM. This row is the frontier stack. Everyone else reaches it by an API or a smaller model.
MCUs / tiny / embeddedMore than 310 billion Arm-based chips, cumulative, unsplit. IC Insights: 30.9 billion MCU units delivered in 2021. MLPerf Tiny: networks typically under 100 kB, 70 results, 27 power results. No 2025 MCU census. The 2026 forecast in that note is not used.Arm annual report, year ended 31 March 2025. IC Insights, 29 March 2022. MLCommons, 17 September 2025.TFLite Micro, CMSIS-NN, vendor kernels. The interface is a task model. A frontier language model does not load.
Edge NPUs in shipping devicesCopilot+ NPU class: 40+ TOPS. First wave stated at 45 TOPS. Canalys: 15.4 million AI-capable PCs in Q4 2024, 23 percent of that quarter. Full-year 2024 share 17 percent, unit total not printed. Gartner forecast: 77.8 million AI PCs in 2025, 31 percent. The forecast is not a closed count.Mehdi, 20 May 2024. Canalys, data 25 February 2025. Gartner via Computerworld, 28 August 2025. Apple ML research, 9 June 2025.QNN, Copilot Runtime, Core ML, Ryzen AI, ONNX. The small model is on the NPU. The large model stays on the vendor's server.
Prior generation vs latestSee sc-gen-01. Shipment year and installed base are not divided into a share.Same sources. Steam survey, September 2026, is the card-level list.Software for the generation in hand. Spell check was written for that generation.

On-device theses, not remeasured here: Apple, about 3 billion parameters at 2 bits per weight, Private Cloud Compute for the server model. Liquid AI, LFM2, arXiv:2511.23404, 350M to 2.6B dense and 8.3B MoE with 1.5B active, timed on a Galaxy S25 and a Ryzen AI 9 HX 370. PrismML states Ternary Bonsai 2 27B at 5.9 GB and 98.2 percent retention. Those ratios are the vendor's. Study: /papers/spellcheck/.

sc-gen-01 Prior generation still in hand

Paired figures No invented share

The latest generation is a shipment. The installed generation is what people still run. Where both numbers exist, they are different objects. This figure does not divide them. Where the installed count is missing, the cell says so.

CategoryLatest generation, as publishedWhat is still in hand
Phones1,260.3 million smartphones shipped in 2025 (IDC, 13 January 2026). Apple 247.8 million of them.5.8 billion unique mobile subscribers at the end of 2024 (GSMA). Subscribers are not handsets. Prior handsets remain in use. No generation share is computed.
Apple devicesOne product year: 247.8 million iPhones in calendar 2025.More than 2.35 billion active devices, all categories, 30 January 2025. 30 October 2025: a new all-time high, no replacement count.
PCs284.7 million traditional PCs in 2025 (IDC, 12 January 2026).1 billion Windows 11 users, Nadella, 28 January 2026. Windows 10 end of support moved 2025 demand. The remaining Windows 10 count is not in the transcript.
Consumer GPUsSteam, September 2026: RTX 5090 at 0.40 percent of reporting clients. RTX 5070 at 6.15 percent.Same survey: RTX 4060 at 3.89 percent, RTX 3060 at 3.66 percent, GTX 1650 at 2.19 percent. Shares are not summed. JPR shipped 11.48 million add-in boards in Q4 2025. That is one quarter, not the installed stock.
DatacenterNVIDIA fiscal 2026 Data Center revenue $193.7 billion. Units not in that release. Huang, 28 October 2025: 6 million Blackwell GPUs shipped in the last four quarters. A stated shipment, not a 10-K line.Hopper is the comparison point in NVIDIA's release. Installed Hopper units are not disclosed. Nadella: current models keep running on the aging fleet. The fleet is a rental.
MCUsIC Insights: 30.9 billion MCU units delivered in 2021. MLPerf Tiny v1.3 is a benchmark, not that shipment.Arm's more than 310 billion chips are cumulative and unsplit. A 2025 MCU unit census is not in the sources used. The 2021 figure is not that census.
NPUsCanalys: 15.4 million AI-capable PCs in Q4 2024. Copilot+ bar: 40+ TOPS, first wave 45 TOPS. Gartner forecast 77.8 million AI PCs in 2025 stays a forecast.PCs and phones shipped before that bar do not have it. Their count is the installed base in the rows above, minus a split the vendors do not publish. The missing split stays missing.

OpenIE claim: software written for the globally accessible generation has the largest impact. Spell check is the finished case. Energy to run is the only true metric. The access framing 7B+ and under 500M is not a total of these cells.

sc-price-01 Dated prices and how long each lasted

Source prices only Duration only where the source gives it No filled gaps

Each row is one price a page prints. A gap between advertisements is not a certificate that the price held. Where two compilers date the same cut differently, both dates are in the table. A blank price means the page named the product and did not state the dollars, or the page was not read.

ProductDated priceHow long the source supportsSource and year
Plus adding machine$100One advertisement. Duration not stated.Anita advertisement index, Autumn 1949 ad.
Anita Mk 8£335Launch review, December 1961. Orders from 1 January 1962. Next priced ad on the index is May 1963 at a different figure. The months between are not an audit.Office Magazine, December 1961, pp. 1244-1245.
Anita Mk 8£355May 1963 advertisement. Next Mk 8 price on the index is January 1964.Anita advertisement index, May 1963. Comptometer 993s in the same ad: £265.
Anita Mk 8£365January 1964 advertisement. Next Mk 8 price on the index is January 1965, back at £335.Anita advertisement index, January 1964. February 1964 Comptometer 993 series: £160 to £330.
Anita Mk 9£425January 1965 and November 1965 advertisements, same price. Two observations, not a monthly audit. November ad: more than 16,000 Anitas in use.Anita advertisement index, 1965.
Anita Mk 10£460July 1966 advertisement. Later duration not on a transcribed price.Anita advertisement index, July 1966.
Anita Mk 10, Mk 11, Mk 12£480, £298, £480One advertisement, June 1968. The index does not print the amounts. The model pages transcribe these three and quote "Price £480" for the Mk 10. The Mk 9 amount on that ad is not transcribed. It stays blank. July 1966 had the Mk 10 at £460. Two ads, not an audit of the months between."Focus on ANITA," Office Methods and Machines, June 1968, p. 41, as transcribed on the Anita model pages.
Anita 1000£285April 1969 and May 1969 advertisements, same price.Anita advertisement index, 1969.
Anita 1010£320July 1969 advertisement. A later model, not a cut in the Mk 8 price.Anita advertisement index, July 1969.
Anita 1000LSI and 1010LSI£192 and £250February 1971 advertisement. Later models.Anita advertisement index, February 1971.
HP-35$395Introduction price. Museum day-page: 4 January 1972. Datamath: MSRP January 1972, available February 1972. Finseth: $395, introduction date 1 July 1972 or possibly 1 February 1972.Computer History Museum, 1972. Datamath HP-35 page. Finseth hpdata.
HP-35$295Finseth: from 1 May 1973 until 1 May 1974. Datamath: MSRP January 1974, with no May 1973 line. Both dates are printed. This table does not pick one.Finseth hpdata. Datamath HP-35 page.
HP-35$225Finseth only: 1 May 1974 until 1 February 1975. Datamath does not list this step.Finseth hpdata.
HP-35$195Finseth: 1 February 1975, the discontinuation price. Datamath: early 1975, then discontinued. The day is Finseth's, not Datamath's.Finseth hpdata. Datamath HP-35 page.
HP-65$795Introduced 19 January 1974. Duration of that price is not on the page.Datamath HP-35 page.
TI-2500 Datamath$149.95Announced April 1972. First customers June 1972 in Dallas. Suggested price reduced to $119.95 by the formal introduction on 21 September 1972. The day of the cut is not given. Later cuts after $119.95 are not on the page.Datamath, TI-2500 Version 1 page.
HP 9100A$49001968 brochure. The brochure does not say how long the price lasted. The 1969 catalog page states the same figure. A later cut was not read.Computer History Museum, 1968 brochure, collection 102646164. HP Memory Project, 1969 catalog p. 130.
Bowmar 901B$240Introduced September 1971. Suggested retail price $240.00. Duration not on the page. The TI-2500 page names the machine and does not price it.Datamath, Bowmar 901B page.
VisiCalcUnder US$100, and a $100 retellingSold from mid-1979 for under $100. Formal introduction scheduled 4 to 7 June 1979. First Apple II copy 17 October 1979. By 1982, Softline (March 1982) is cited for a rise from $100 to $250. The month of the rise is not given.Wikipedia, VisiCalc, citing Intelligent Machines Journal 1979, Jennings, and Softline March 1982.
Timesharing financial languages$20,000A bureau price for an earlier class of product, not VisiCalc's invoice. Duration not stated.Wikipedia, VisiCalc, citing a UCLA teaching case.
Lotus 1-2-3, price fixed before sale$495December 1982 review of a prerelease copy. Available for the IBM PC sometime next month. Not a receipt dated 26 January 1983. DOS Days still does not print a January price.Gregg Williams, Byte, December 1982, pp. 182-198.
Lotus 1-2-3 Release 2.2 and Release 3$495Same price as Excel 2.1 and Quattro Pro at the time of that comparison. How long $495 had already lasted is not on the page. This is not the January 1983 line.DOS Days, Lotus 1-2-3.
SSI*WP, Data GeneralUS$5,500 per copyMarch 1980. The chronology does not say this copy included a spelling checker. Duration not stated.Mendelson, WPDOS chronology.
WordCheck, Commodore$200.00List price for CBM and PET 32K machines with dual disk drives. The same page prices other programs at $200.00. The WordCheck figure is the sentence on the dual-disk line. Duration not stated.Compute!, January 1981, issue 8, p. 119. Micro Computer Industries, Ltd.
WordPerfect 3.0 for DOS$495October 1983, Comdex, on the DOS Days page. Mendelson assigns Alt-F5, with no text selected, to Spellcheck. DOS Days does not name the checker in that paragraph. The $495 is the word processor. The command has no separate price. Version 2.20 is said to have featured a 30,000-word dictionary. That page does not name a spell command for 2.20.DOS Days, WordPerfect. Mendelson command list.
Microsoft Word 1.0$395October 1983, citing InfoWorld, 30 May 1983. The $395 is the word processor. Brodie: 1.1 added mail merge, and 2.0 added a purchased spell checker. Version 1.0 did not include the checker. Duration of $395 is not stated.Wikipedia, History of Microsoft Word. Brodie interview, October 2008, published 7 November 2015. Necasek, 26 May 2018, on the Word 2.x and 3.x checker.
Microsoft Write, Atari ST$129.95One stated retail price. Duration not given.Wikipedia, History of Microsoft Word.
Word for WindowsUSD $498November 1989. Duration of that price is not in the article. Interactive checking is dated to Word 95, not to this price.Wikipedia, History of Microsoft Word. Spell-check article cites Chen, 22 June 2026, for Word 95.
Grammatik II and Grammatik III$89 and $99Grammatik II, 10 April 1988. Grammatik III, November 1989. Both are earlier than the 6 January 1993 acquisition. Neither is a Grammatik 5 standalone price. That price stays blank. Inclusion in WordPerfect 5.2 for Windows is 30 November 1992.Chicago Tribune, 10 April 1988. START, vol. 4 no. 4, November 1989. Mendelson chronology.
Hunspell, and the system checkerLicense price zero for the library. No separate price for the system checker.The README states the tri-license and does not publish a prior retail schedule. The spell-check article dates incorporated checkers to the mid-1980s and does not date the Mac OS X system checker to a day.Hunspell README. Wikipedia, Spell checker.

OpenIE claim: the separate invoice ends. Energy to run remains. These rows are money prices. They are not joules, and they are not measured_j. Hardware access stays the seven records in sc-hw-01.