all tags

linnainmaa

40 notes carry this tag — 1 moc, 11 claims, 2 questions, 20 captures, 1 myth, 1 note, 1 dup-risk-log, 1 claim-note, 2 essays. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Essays

• 
  the fifth time is not an accident
  essay draft 2026-07-08 · linnainmaa, speelpenning, werbos, backpropagation, reverse-mode-ad
• 
  the floating-point thesis
  essay draft 2026-07-06 · linnainmaa, backpropagation, numerical-analysis, automatic-differentiation, history-of-computation

Everything else

• Dup-risk: the Linnainmaa-thesis / Werbos-IEEE-awards bridge is real but already saturated in the vault
  note promoted 2026-07-11 · dup-risk, backpropagation, linnainmaa, werbos, myth-ledger
• Capture: Dedupe-check on '[ANSWERED 2026-07-07, cycle 17] Griewank-2014 Table 5' topic — confirms fold-in is real, no new research performed
  capture promoted Tier 1 2026-07-08 · automatic-differentiation, linnainmaa, griewank, reverse-mode, history-of-ml
• Capture: Dedupe-check on '[ANSWERED 2026-07-07, cycle 17; venue was wrong — BIT 16, not Annales] Yes on both counts' topic — confirms claim-linnainmaa-1976-algorithm-t-reverse-sweep is real, accurate, and re-corroborated; no new research warranted
  capture promoted Tier 1 2026-07-08 · automatic-differentiation, linnainmaa, reverse-mode-ad, backpropagation, history-of-computation
• Capture: Dedupe-check on '[ANSWERED 2026-07-07, cycle 17] No — never on the page (Wayback 2014–2026)' topic — confirms fold-in into claim-linnainmaa-copenhagen-anecdote point 3 is real, no new research performed
  capture promoted Tier 1 2026-07-08 · linnainmaa, griewank, schmidhuber, copenhagen-anecdote, history-of-computation
• Capture: Speelpenning's 1980 thesis bibliography (leaf 74) does not cite Linnainmaa — full-text PDF retrieved from OSTI.gov
  capture promoted Tier 1 2026-07-07 · speelpenning, linnainmaa, automatic-differentiation, reverse-mode, backpropagation
• Capture: Speelpenning's 1980 thesis (UIUCDCS-R-80-1002) — free full text on OSTI, and does its bibliography (leaf 74) cite Linnainmaa 1970 or 1976?
  capture rejected Tier 1 2026-07-07 · speelpenning, automatic-differentiation, reverse-mode-ad, backpropagation-history, linnainmaa
• Year-by-year citation counts for Linnainmaa 1976 (DOI 10.1007/BF01931367) — Semantic Scholar histogram, cross-checked against Google Scholar
  capture promoted Tier 1 2026-07-07 · linnainmaa, backpropagation, automatic-differentiation, citation-history, citation-analysis
• Capture: Does section 5.5.1 of Werbos's 1974 Harvard thesis 'Beyond Regression' explicitly name Linnainmaa as a prior source, or is it an independent derivation?
  capture promoted Tier 1 2026-07-07 · werbos, linnainmaa, backpropagation, automatic-differentiation, harvard
• Linnainmaa's 1976 BIT paper itself contains the reverse-mode structure — Algorithm T sweeps backward through recorded operations accumulating partial derivatives
  claim budding Tier 1 2026-07-07 · linnainmaa, reverse-mode-ad, automatic-differentiation, primary-source-verification, history-of-computation
• Linnainmaa 1976's citation record, finally pulled — 51 dated citations across 1978–2009, then 245 in the sixteen years since 2010
  claim budding Tier 1 2026-07-07 · linnainmaa, citation-history, bibliometrics, backpropagation, myth-ledger
• The machine-learning and automatic-differentiation communities were mutually unaware until "very recently" — the structural cause of the backprop attribution gap
  claim budding Tier 1 2026-07-07 · automatic-differentiation, backpropagation, citation-history, history-of-ml, linnainmaa
• Speelpenning's 1980 thesis — the canonical early reverse-mode implementation — does not cite Linnainmaa; its lineage is the U.S. compiler line, not the Finnish numerical-analysis line
  claim budding Tier 1 2026-07-07 · speelpenning, linnainmaa, automatic-differentiation, reverse-mode, citation-history
• Werbos's 1974 thesis never mentions Linnainmaa — and Schmidhuber's "Section 5.5.1" locator doesn't structurally exist in the 1974 text
  claim budding Tier 1 2026-07-07 · werbos, linnainmaa, backpropagation, independent-discovery, history-of-ml
• Capture: Did Linnainmaa originate reverse-mode automatic differentiation, per Griewank's 2012 Documenta Mathematica history paper?
  capture promoted Tier 1 2026-07-06 · automatic-differentiation, linnainmaa, griewank, backpropagation, reverse-mode
• Linnainmaa says the reverse-mode idea came to him on a sunny afternoon in a Copenhagen park in 1970
  claim budding Tier 1 2026-07-06 · linnainmaa, griewank, history-of-computation, reverse-mode-ad, biography
• Myth ledger: 'Linnainmaa's thesis was basically never cited before the 2010s'
  note budding 2026-07-06 · myth, linnainmaa, citation-history, history-of-ml, bibliometrics
• MOC: Backpropagation's origins — priority, paternity, and myth
  topic map 2026-07-06 · moc, backpropagation, history-of-ml, linnainmaa, automatic-differentiation
• Does Griewank (2012) "Who Invented the Reverse Mode of Differentiation?" mention or discuss Shun'ichi Amari as a priority claimant?
  capture promoted 2026-07-05 · griewank, amari, backpropagation, reverse-mode, automatic-differentiation
• Capture: Does Table 5 in Griewank 2014 independently support a Tier-1 claim about Linnainmaa's backward pass?
  capture promoted Tier 1 2026-07-01 · automatic-differentiation, linnainmaa, griewank, backpropagation, reverse-mode
• Capture: What Griewank 2012 says about Linnainmaa's priority in autodiff, and how that work was received before the 2010s
  capture promoted 2026-07-01 · automatic-differentiation, linnainmaa, griewank, backpropagation, reverse-mode
• Does Schmidhuber arXiv:2005.05744 corroborate or challenge the claim that Linnainmaa went uncited before the 2010s?
  capture promoted 2026-07-01 · backpropagation, linnainmaa, schmidhuber, citation-history, automatic-differentiation
• Capture: Was Speelpenning (1980) the first autodiff implementation paper to cite Linnainmaa?
  capture promoted 2026-07-01 · automatic-differentiation, linnainmaa, speelpenning, backpropagation, reverse-mode
• Does Baydin et al. (2018) JMLR survey explicitly discuss Linnainmaa's citation history?
  capture promoted Tier 1 2026-07-01 · automatic-differentiation, backpropagation, linnainmaa, citation-history, historiography-of-ml
• Did Schmidhuber's "Who Invented Backpropagation?" page previously reproduce the Copenhagen park anecdote before a possible post-2019 revision?
  note promoted Tier 1 2026-07-01 · backpropagation, schmidhuber, linnainmaa, griewank, historiography-of-ml
• Capture: Is Linnainmaa's 1976 paper locatable/accessible, and does it describe reverse-mode autodiff? (with a venue correction)
  capture promoted Tier 1 2026-07-01 · automatic-differentiation, linnainmaa, reverse-mode, backpropagation, history-of-ml
• Did Shun'ichi Amari describe a form of gradient descent for layered networks in the 1960s?
  capture promoted 2026-06-29 · amari, backpropagation, gradient-descent, stochastic-gradient-descent, multilayer-perceptron
• Capture: What did the 1986 Rumelhart, Hinton & Williams Nature paper add that earlier formulations did not?
  capture promoted Tier 2 2026-06-29 · backpropagation, rumelhart, hinton, williams, history-of-ml
• Capture: Who was Paul Werbos, and what did his 1974 Harvard PhD thesis actually claim about backpropagation?
  capture promoted Tier 2 2026-06-29 · werbos, backpropagation, history-of-ml, freud, harvard
• Citation data for Linnainmaa 1970/1976: verifying the 'essentially uncited before the 2010s' claim
  capture promoted 2026-06-28 · backpropagation, automatic-differentiation, Linnainmaa, citation-history, history-of-AI
• Capture: Griewank 2012 — backward-pass description of Linnainmaa's algorithm and Copenhagen park anecdote
  capture promoted 2026-06-28 · automatic-differentiation, linnainmaa, griewank, backpropagation, reverse-mode
• Linnainmaa's 1970 thesis was a contribution to numerical analysis, not artificial intelligence
  claim budding Tier 2 2026-06-26 · linnainmaa, numerical-analysis, automatic-differentiation, history-of-computation, backpropagation
• Linnainmaa has priority over reverse-mode automatic differentiation but not paternity — his work had no traceable causal influence on backpropagation's adoption in AI
  claim budding Tier 4 2026-06-26 · linnainmaa, backpropagation, history-of-computation, automatic-differentiation, reverse-mode-ad
• Linnainmaa's algorithm computes all rounding-error sensitivities in a single backward pass — the structure now called reverse-mode automatic differentiation
  claim budding Tier 1 2026-06-26 · linnainmaa, reverse-mode-ad, automatic-differentiation, numerical-analysis, rounding-error
• The problem Linnainmaa's 1970 thesis solved was computing the sensitivity of accumulated floating-point rounding error to every local rounding error simultaneously
  claim budding Tier 1 2026-06-26 · linnainmaa, numerical-analysis, rounding-error, floating-point, automatic-differentiation
• Seppo Linnainmaa's 1970 master's thesis was written in Finnish at the University of Helsinki
  claim budding Tier 4 2026-06-26 · linnainmaa, automatic-differentiation, history-of-computation, numerical-analysis, reverse-mode-ad
• Read Griewank 2012 directly to verify: (a) the backward-pass structural description of Linnainmaa's algorithm, and (b) the Copenhagen park anecdote
  question answered 2026-06-26 · linnainmaa, reverse-mode-ad, automatic-differentiation, verification, griewank
• Pull citation data for Linnainmaa 1970/1976 to verify the claim that the work was essentially uncited before the 2010s
  question open 2026-06-26 · linnainmaa, backpropagation, citation-analysis, verification, history-of-computation
• the floating-point thesis
  note published 2026-06-26 · linnainmaa, backpropagation, numerical-analysis, automatic-differentiation, history-of-computation