westurner

I have GrC(2,4) with E_rel=0 against Pilot-Wave in the double-slit and n-slit here: https://github.com/westurner/sustainablefactory/blob/main/do... :

> 3.1 Why Real Positive Gr≥0(2,4) Crossing Minors Have a 50 Unphased Error—and How Complex GrC(2,4) Eliminates It

> 3.2 Master Table: Five-Model Double-Slit Superposition & Relative Predictive Error

They were talking about modeling orbits with Keplerian gravity and I mentioned that GrC(2,4) does seem to fit QED scattering gravity also with zero error. This is the extent of the peer review this far: https://news.ycombinator.com/item?id=50289590#50295549

Thanks. It was a copy pasta on a phone. "New study shows highly creative people’s brains work differently from others'" https://news.ycombinator.com/item?id=31983205 .. https://westurner.github.io/hnlog/#story-31976991

/? When Foil Leaches the Most Aluminum

/? Lithium Alzheimer's https://hn.algolia.com/?q=lithium+Alzheimer%27s+

"Lithium deficiency and the onset of Alzheimer’s disease" (2025) https://www.nature.com/articles/s41586-025-09335-x

Aron: Lithium deficiency and the onset of Alzheimer’s... - Google Scholar https://scholar.google.com/scholar?cites=1708450378734708854...

"Lithium for Alzheimer’s disease: Insights from a meta-analysis" (2026) https://www.sciencedirect.com/science/article/pii/S014976342...

How does dietary aluminum exposure affect dietary lithium?

"Protective role of lithium during aluminium-induced neurotoxicity" (2010) https://www.sciencedirect.com/science/article/abs/pii/S01970...

/? Methods for avoiding Al Aluminum neurotoxicity

"Aluminum Toxicity Treatment & Management: Medical Care, Consultations, Diet" https://emedicine.medscape.com/article/165315-treatment#d5 :

> Prevention: Avoid all aluminum-containing antacids, antiperspirants applied to open skin, dialysate water with high aluminum content, and TPN solutions with high aluminum content. [...] Treatment of aluminum toxicity includes elimination of aluminum exposure (eg, from diet, total parenteral nutrition [TPN], dialysate, medications, antiperspirants) and an attempt to eliminate the element from the body's stores through chelation. Avoidance of aluminum is easily achieved in most cases, once the need to do so is recognized.

Phytic acid is a chelator.

/? Does Phytic acid chelate aluminum?

"Are Phytates Bad for You?" https://foodrevolution.org/blog/phytates/

"Investigation of the medicinal significance of phytic acid as an indispensable anti-nutrient in diseases" (2019) https://www.sciencedirect.com/science/article/pii/S235293931... .. gscholar: https://scholar.google.com/scholar?cites=2008277270697750411...

"Electronics in Space Travel" (a 1960s space age video) https://youtube.com/watch?v=GbYNshL9EUU

Modem > Dialup > History > 1990s: https://en.wikipedia.org/wiki/Modem#1990s

"Dialup modem connecting" https://youtube.com/watch?v=jpMrTxMV6E4&is=YbKKAGOQ6n4VidnJ

And then dialup topped out at 56.6 kbps (56K). 56.6 kbps is equal to 0.0000566 gigabits per second (Gbps).

Oh, computer art!

Computer art scene: https://en.wikipedia.org/wiki/Computer_art_scene

ANSI art: https://en.wikipedia.org/wiki/ANSI_art

And a YouTube video example of ASCII art:

"Coding Trance Music (Full Narrated)" by Switch Angel https://youtube.com/watch?v=GWXCCBsOMSg&is=NPh4gB8zLDKNCF4N

List of artificial objects leaving the Solar System: https://en.wikipedia.org/wiki/List_of_artificial_objects_lea...

New Horizons 2: https://en.wikipedia.org/wiki/New_Horizons_2 :

> ~Thruster fuel cost

With commercial uplink as a service these days, what is a realistic multi-decade program cost for a deep space probe with DSN Deep Space Network or better for communications?

Could a solar sail like IKAROS or LightSail2 do Pluto or interstellar? Made of UV-resistant Lignin-Vitrimer with Lignin-derived Carbon Fiber?

Timeline of Solar System exploration: https://en.wikipedia.org/wiki/Timeline_of_Solar_System_explo...

Examples of comparing the results of Lean and e.g. Rust as is described in the video?

I have symbolic error terms in Lean that I guess can be sampled and compared to Monte Carlo analysis? But I already had sampling-based analysis, that's why I had to do all of this (double-slit experiment and gravity with GrC(2,4)) in Lean 4.

What would it take to combine Lean and one or more Rust TLA+ implementations? How does an agent plan and implement this and what are the advantages and disadvantages?

"Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers" (2026) but not Rocq? https://news.ycombinator.com/item?id=50043202

> Can you not?

It's justified to mention GrC(2,4) for modeling orbital gravity here because the OP's (and Kepler's) methods will not ever derive the scattering amplitude basis for gravity or the Grassmannian geometric manifold for calculating the 1-loop scattering because of algorithmic insufficiency at the universal function approximation problem.

What I took the time to share here saves many years of false starts at modeling gravity; which - ironically - Kepler's doesn't sufficiently model either.

A question to research: What's wrong with Keplerian gravity?

GrC(2,4) is probably more efficient than for example how NASA SPICE toolkit models gravity rivers.

More on memory consolidation from neurosci and neurology:

- "New study shows highly creative people’s brains work differently from others'" (2022) https://news.ycombinator.com/item?id=41921738 ; and does this correlate for example like REM/non-REM and ADHD? How much does this topology vary amongst the population?

- "Discovery of Memory "Glue" Explains Lifelong Recall: KIBRA Protein, PKMzeta" (2024) https://news.ycombinator.com/item?id=41921738

- "Brain found to store three copies of every memory" https://news.ycombinator.com/item?id=41352124 but actually more than three: {in the hippocampus {EBN, LBN,}, prefrontal cortex, and engrams} but functional activations drift even just days apart given representational drift.

- "Memories stick around even after half the synapses are gone" (2026) https://news.ycombinator.com/item?id=49404593

Recently also: "Nvidia and Micron Make Up 34% of America's Earnings Boom" (2026) https://news.ycombinator.com/item?id=50236073

Domestically-produced chips from domestic inputs might change the AI cost-return curve.

Is it all evaporating as heat off the racks?

ScholarlyArticle: "ProgramBench: Can Language Models Rebuild Programs From Scratch?" (2026) https://arxiv.org/abs/2605.03546

Is it that agents don't do the human-in-the-loop engineering management tasks like refactoring and docs and stopping to push for branch coverage before technical debt accrues?

How many tokens per insufficient solution?

It's tragic that you spend time harassing and diminishing about your subjective aesthetic response instead of learning to check the machine-checkable proofs using the tools.

Test coverage in Lean might be a good feature to contribute.

In college for a service learning course I prepared a chart of various curves from "From Comfort Zone to Performance Management" (2009) all overlaid on the same axes. One of the insights of the paper is that team performance changes roughly correspond to coping with change changes, and so is technology coping with change?

Here's that chart redone in SVG with Inkscape but without an HTML table or IDK animation yet: westurner/tech-performance-curves: https://github.com/westurner/tech-performance-curves/

What a mistake it was to mention it here.

Do you have specific feedback? Or just "I hait AI preprints, ugh!"

I would accept a PR if you have specific feedback regarding the code.

Wow!

Well, it's already better than Kepler.

Have you checked the table of check figures?

Do you understand that it is correct?

Have you shown any counterexamples, or have you offered subjective aesthetic diminishment?

I'm not finding this feedback to be helpful. I wish you luck with your own approach.

> incoherent, like a bus-stop conversation with a schizophrenic.

This is impolite and disrespectful. Do you have code or math to contribute? What tools could you use to interpret for example this the first sentence of my post?

> I have a faster solution for N-body gravity with orbital resonance that predicts the perihelion of Mercury than gravity from QED scattering, with Gr_C(2,4) in Lean 4 and Rust/WASM that I haven't yet published

Is it possible to decode Hawking radiation with PARAFAC or 10th order ALS tensor decomposition?

Are there a zillion spider eyes reflecting back, and in what conditions does radiation reflect off a black hole or radiate out as Hawking radiation?

I've heard it said that there is Hawking radiation from all things? If so, then the background is noisy but potentially as useful as a black hole analogue for experimentation.

Experiment: lab scale vortex black hole analogue, coherent laser, timecoded known plaintext

Are there observations of Hawking radiation to study?

Is there an information/energy ejection fraction that increases in the final stages of a black hole lifecycle? Does all of the information in the black hole dump out when you destabilize such a superfluid vortex, as with dye in the sidewall of a fluid vortex?

Recently I've studied/simulated "brittle fracture" states and now "shear jamming" states with DDF Dilatant Dark Fluid. We hypothesized that there was an ensemble to decode Hawking radiation that included: iGPE Gross-Pitaevskii equation (inverse, interactive?), Amplitudehedron, iQFT, ALS tensor decomposition; but that's really just simulation and conjecture. Though I think that we may have developed a lean formalization for some of this while stressing our combined lean 'signals' model with other physics problems.

More recent research ( https://news.ycombinator.com/item?id=50295549 ) indicated that GrC(2,4) is the Grassmanian for photonic and electronic superposition and also orbital resonance, but GrC(3,6) is useful for volumetric analysis (imaging,) and quantum crystallography.

ScholarlyArticle: "[2609.20567] Rogers--Ramanujan identities from the geometry of $X^a=Y^b$" https://arxiv.org/abs/2609.20567

How does TabPFN perform on the same data?

From "Show HN: TabPFN v2 – A SOTA foundation model for small tabular data" https://news.ycombinator.com/item?id=42650792 :

> Benchmark of tabpfn<2 compared to xgboost, lightgbm, and catboost

I have a faster solution for N-body gravity with orbital resonance that predicts the perihelion of Mercury than gravity from QED scattering, with Gr_C(2,4) in Lean 4 and Rust/WASM that I haven't yet published.

I noticed "Kepler" in the title and cool story about Kepler so now I'm mentioning it;

"Grassmannian Gravity from QED & Gauge Scattering Amplitudes: Complex Gr_C(2,4) Orbital Precession, Mercury's Perihelion, N-Body Dynamics, and Dilatant Dark Fluid (DDF) Unification in Lean 4" (2026) westurner/sustainablefactory/docs/grassmannian-gravity-from-qed-scattering-paper.md at main · westurner/sustainablefactory https://github.com/westurner/sustainablefactory/blob/main/do... :

> An arXiv-ready formal verification paper deriving planetary orbits, Mercury's 42.98 arcsec/century perihelion precession, and N-body gravitational dynamics from flat-space QED/gauge scattering amplitudes, BCJ double copy on Gr_C(2,4), and Dilatant Dark Fluid (DDF) hydrodynamics in Lean

There's already gravity that fits the Perihelion of Mercury from QED scattering (Partanen, M., and Tulkki, J. (2025). "Gravity Generated by Four One-Dimensional Unitary Gauge Symmetries and the Standard Model" / "Perihelion Precession of Planetary Orbits Solved from Quantum Field Theory"). FWIU, I've here contributed the use of Grassmanian Plückers and a Complex Grassmannian - GrC(2,4) both with and without connections to DDF Dilatant Dark Fluid (Fedi).

I had created a simple particle wave visualization tool with 3js and then on a whim AI-added a double slit and a detector screen, and I asked for Huygens-Steiner Parallel-Axis Intensity as the model to simulate superposition because of [Qian and Izadi] and then I had to keep working on that instead. First the model differencing in the simulator in JS to compare the difference in model predictions in the double-slit experiment against Pilot Wave Theory and Wigner function and then with Fraunhofer and Lean 4 and Rust and a crisp symbolic error term for each model of photonic and electronic superposition. It looks like GrC(2,4) is the most efficient model for photonic and electronic superposition, too.

"Huygens–Steiner Barycentric Coherence, Complex Gr_C(2,4) Plücker Channels, and Multi-Model Double-Slit & OAM Relative Predictive Error in Lean 4" (2026)

sustainablefactory/docs/grassmannian-huygens-double-slit-oam-paper.md at main · westurner/sustainablefactory https://github.com/westurner/sustainablefactory/blob/main/do... :

> An arXiv-ready formal verification paper uniting Qian–Izadi Huygens–Steiner parallel-axis coherence, complex Gr_C(2,4) Plücker double-slit interference, de Broglie–Bohm pilot-wave hydrodynamics, Wigner phase-space marginals, and Orbital Angular Momentum (OAM) relative predictive error in Lean

Useful to create a devcontainer with lean4 and rust. Still working through verifying the URLs of each citation to publish some of this paper series per the latest terms for AI articles.

/? exponential time hypothesis (ETH) https://hn.algolia.com/?q=exponential+time+hypothesis

Exponential time hypothesis: https://en.wikipedia.org/wiki/Exponential_time_hypothesis

Do steak and pork from Cheesecake Factory have cholesterol?

How to configure each agent to use agent skill slash commands automatically?

Do they control for arterial calcification?

Mentioning this again: Cyclodextrin apparently effectively treats atherosclerosis and arteriosclerosis. [1][2]

[1] "AI analysis of CT scans finds 42.9% of patients have coronary inflammation" https://news.ycombinator.com/item?id=50202532 :

> Can Beta-Cyclodextrin treat (calcified) atherosclerotic plaques? And gout?

> What percentage of cardiovascular "plaque" is sugar alcohol and thus apparently treatable with β or α cyclodextrin, in controls and patients with conditions like Arteriosclerosis and Atherosclerosis?

[2] "Cyclodextrin promotes atherosclerosis regression via macrophage reprogramming" (2016) https://www.science.org/doi/10.1126/scitranslmed.aad6100

ScholarlyArticle: "Intensive LDL Cholesterol Targeting in Atherosclerotic Cardiovascular Disease" (2026) https://www.nejm.org/doi/full/10.1056/NEJMoa2600283

The DOGE / OGE Office of Government Ethics thing?