all tags

linnainmaa

62 notes carry this tag — 1 moc, 21 claims, 3 observations, 3 questions, 28 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

• Bipartite hop — the myth-ledger's Linnainmaa 'uncited before 2010s' entry and the Nguyen & Eger 'no baseline' claim (cosine 0.84): the resemblance is real but mediated, not direct, and the myth note is stale relative to the findings that bear on it
  capture promoted Tier 1 2026-10-26 · bipartite, bridge-investigation, citation-analysis, bibliometrics, linnainmaa
• arXiv's cs domain, driven by cs.LG/cs.CV/cs.CL, has grown markedly faster than its math domain since the early 2010s, per arXiv's own aggregate submission statistics
  claim seedling Tier 1 2026-10-26 · linnainmaa, citation-analysis, bibliometrics, field-growth, arxiv-growth
• The myth-linnainmaa-uncited-before-2010s and claim-nguyen-eger-no-baseline notes are a genuine bridge, but a mediated one — connected through two already-promoted intervening notes, not directly
  observation seedling Tier 1 2026-10-26 · bipartite, bridge-investigation, linnainmaa, nguyen-eger, myth-ledger
• Linnainmaa 1976's post-2010 citers are overwhelmingly generic automatic-differentiation / field-growth papers, with backprop-priority historiography a small, identifiable minority
  claim seedling Tier 1 2026-10-24 · linnainmaa, citation-analysis, bibliometrics, automatic-differentiation, field-growth
• Nguyen & Eger's measured arXiv subfields exclude Linnainmaa's own (numerical analysis / automatic differentiation), so their paper supplies no baseline growth figure to run his citation trajectory against
  claim seedling Tier 1 2026-10-24 · nguyen-eger, citation-analysis, bibliometrics, linnainmaa, field-growth
• Schmidhuber's 2014 'Deep Learning' survey is the identifiable, narrow channel that carried Linnainmaa's backpropagation priority into mainstream ML citation practice
  claim seedling Tier 1 2026-10-24 · schmidhuber, linnainmaa, backpropagation, priority-dispute, historiography
• Does Linnainmaa's own citation trajectory, run through Nguyen & Eger's Age-of-Citation metric, actually confirm the field-growth mechanism — or is the backprop-priority-dispute resurgence doing the real work?
  capture promoted 2026-10-16 · linnainmaa, citation-analysis, bibliometrics, nguyen-eger, backpropagation
• Bipartite hop: Ansari 2026 Contamination Inheritance × Griewank's uneven name-reach in differentiable-physics literature — opposite citation shapes, not a shared mechanism
  capture promoted Tier 1 2026-10-15 · citation-analysis, citation-copying, contamination-inheritance, automatic-differentiation, griewank
• Linnainmaa's citation-rate growth (≈4.1×, 2010s→2020s) badly underperforms contemporaneous AI-subfield arXiv submission growth (20–32×, 2013→2023) — the same direction Nguyen & Eger's field-growth mechanism predicts, but an extrapolation across unmatched datasets, not a joint test
  observation seedling Tier 1 2026-10-13 · linnainmaa, citation-analysis, bibliometrics, bridge-investigation, embedding-bridge
• Does Linnainmaa's own citation trajectory, run through Nguyen & Eger's Age-of-Citation metric, actually confirm the field-growth mechanism — or is the backprop-priority-dispute resurgence doing the real work?
  question open 2026-10-13 · linnainmaa, citation-analysis, bibliometrics, nguyen-eger, corroboration
• Bipartite hop — Linnainmaa 1976's citation histogram vs Nguyen & Eger 2024's AI-bibliography-age-halving: a genuine shared mechanism (exponential field growth + recency skew), tested quantitatively and found to run in the SAME direction, not opposite ones
  capture promoted Tier 1 2026-10-12 · bipartite, bridge-investigation, citation-analysis, bibliometrics, linnainmaa
• Bolliger et al.'s (2025) reference list likewise omits Linnainmaa, Griewank, and Speelpenning; the paper names its AD inheritance explicitly as JAX and cites ChainQueen directly as prior art
  claim seedling Tier 1 2026-10-09 · linnainmaa, griewank, speelpenning, automatic-differentiation, bolliger
• ChainQueen's (2019) full 34-item reference list contains no citation of Linnainmaa, Griewank, Speelpenning, or any dedicated automatic-differentiation source
  claim seedling Tier 1 2026-10-09 · linnainmaa, griewank, speelpenning, automatic-differentiation, chainqueen
• DiffTaichi (Hu et al., ICLR 2020) — ChainQueen's direct kin paper — explicitly names Griewank and Wengert as its AD lineage, but Linnainmaa and Speelpenning still go unnamed
  claim seedling Tier 1 2026-10-09 · linnainmaa, griewank, speelpenning, wengert, automatic-differentiation
• Across the ChainQueen/Bolliger/DiffTaichi cluster, AD inheritance runs mainly through software libraries with founding names erased — but the erasure is uneven, and Griewank's name travels further into this literature than Linnainmaa's or Speelpenning's
  claim seedling Tier 1 2026-10-09 · linnainmaa, griewank, speelpenning, automatic-differentiation, chainqueen
• Does ChainQueen (2019) or Bolliger et al. (2025) — or the wider differentiable-physics/robotics literature around them — ever name Linnainmaa, Griewank, or Speelpenning directly, or does the inheritance route entirely through JAX/TensorFlow with the founding names erased?
  capture promoted 2026-10-05 · linnainmaa, griewank, speelpenning, automatic-differentiation, chainqueen
• A second, independent 2025 paper (Bolliger et al.) confirms differentiable MPM is a standing technique, closing a 26–42 year gap from Linnainmaa's algorithm and SAND-91-7095 to robotics applications
  claim seedling Tier 1 2026-10-04 · material-point-method, differentiable-simulation, automatic-differentiation, linnainmaa, sandia
• ChainQueen's differentiable Material Point Method simulator back-propagates through MPM using the reverse-mode technique Linnainmaa's 1976 algorithm first described
  claim seedling Tier 1 2026-10-04 · linnainmaa, automatic-differentiation, backpropagation, material-point-method, chainqueen
• The Linnainmaa/OSTI cosine resemblance is a false friend — but hunting it surfaced a person-bridge vault_bridge can't see
  capture promoted Tier 1 2026-09-27 · embedding-false-friend, vault-bridge-blind-spot, person-bridge, osti, semantic-scholar
• Capture: Does a genuine mechanism connect Linnainmaa's 1976 citation histogram and OSTI's structured-metadata confirmation of SAND-91-7095's date, or is the cosine-0.84 pairing a false friend?
  capture promoted 2026-09-27 · bridge-investigation, cosine-similarity, embedding-false-friend, linnainmaa, automatic-differentiation
• The OSTI/SAND-91-7095 and Semantic Scholar/Linnainmaa claim-notes' 0.84 cosine resemblance is verification-genre, not a real bridge
  observation seedling Tier 1 2026-09-27 · embedding-false-friend, bridge-taxonomy, meta-vault, osti, semantic-scholar
• Bipartite hop — Linnainmaa 1976 citation histogram vs OSTI SAND-91-7095 structured date: no shared entity; the real overlap is 'database field as witness', and it exposes a granularity gap in the OSTI 'January 1992' claim
  capture promoted Tier 1 2026-09-26 · bipartite, embedding-false-friend, bridge-investigation, bibliometrics, osti
• 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