https://www.celinehh.com/aging-field Celine Halioua on what the aging field needs -- notably, more biotech companies that are prepared to run their own clinical trials specifically for aging-related endpoints.
a typical new biotech company never runs its own clinical trials -- they license, partner, or get bought by pharma. but pharma's not that into aging (yet) and nobody really has expertise in running aging-focused clinical trials, so that may need to happen first in a startup context. which means some investors have to be willing to put up more cash than usual....
it's a "brown-yellow" pigmented substance (first observed under the microscope in the 19th century) that accumulates in post-mitotic cells with age.
it's not one substance; it's a mixture of "garbage" (mostly protein and lipid) that accumulates around the lysosome but can't be disposed of through exocytosis.
it's "autofluorescent" -- it fluoresces in various wavelengths of light without being stained.
it accumulates more under conditions of oxidative stress like high-oxygen environments or in the presence of iron (which catalyzes oxidation reactions); it accumulates less in the presence of antioxidants and under caloric restriction.
evidence that lipofuscin accumulation causes disease or dysfunction seems a lot shakier in this paper.
I was a little self-conscious about her dissatisfaction with "San Francisco courtier culture" -- of course she's much better at the hustle than I ever was, but I actually love it. If anything, I've more often felt hurt that so many people I know got sick of the game before I ever really figured out how to play it.
https://dafny.org/ "Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier."
Dafny's formal verification is based on automated SMT solvers; compared to proof assistants like Coq/Lean/etc it's less powerful
Dafny can be compiled to familiar languages such as such as C#, Java, JavaScript, Go and Python
wow. this is a very close parallel (and historically contemporaneous) with the conquistadors and privateers of England, Spain, and Portugl in the Age of Exploration...except we don't make movies and novels about it in the West. But the swashbuckling potential is amazing.
I'll kind of give him Kipling and Cummings; those are genuine anti-communist, anti-monarchical-absolutism, and anti-war sentiments. Yeats is doing a different thing; I love him but he is Not Our Friend.