westurner
Joined 13 years ago
Karma
4,793
Submissions
6,108
Member since
May 4
Recent submissions
Comment · 1 hour ago
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
Comment · 1 hour ago
/? 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...
Comment · 8 hours ago
"Electronics in Space Travel" (a 1960s space age video)
https://youtube.com/watch?v=GbYNshL9EUU
Comment · 8 hours ago
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).
Comment · 9 hours ago
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
Comment · 9 hours ago
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...
Comment · 14 hours ago
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
Comment · 1 day ago
> 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.
Comment · 1 day ago
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
Comment · 1 day ago
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?
Comment · 1 day ago
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?
Comment · 1 day ago
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.
Comment · 1 day ago
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/
Comment · 1 day ago
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.
https://westurner.org/
These comments are publicly archivable and logged: https://westurner.github.io/hnlog/
[ my public key: https://keybase.io/westurner; my proof: https://keybase.io/westurner/sigs/3t_WnYf465hEbUSdwjMXGIeLieAd_81SDYQUdDUMsI4 ]