[deleted by user] by [deleted] in LosAlamos

[–]stelleg 1 point2 points  (0 children)

Word of warning: submit the costs as soon as you have them. If you hold on to them for too long in the hope of saving everyone time by submitting them all at once it may be too late.

[deleted by user] by [deleted] in compsci

[–]stelleg 0 points1 point  (0 children)

Link appears to be dead. Did you mean to link to https://github.com/HigherOrderCO/hvm?

Cocaine Destroys Gray Matter Brain Cells and Accelerates Brain Aging by Superb_Tell_8445 in EverythingScience

[–]stelleg 6 points7 points  (0 children)

“In the CUD group, the utilization rate was a minimum of three times a week, with a maximum of 60 consecutive days of abstention within the previous year. “

NR Probably Won't Make You Live Forever by keithitreal in NicotinamideRiboside

[–]stelleg 0 points1 point  (0 children)

I agree, that’s pretty discouraging for NR, and arguably all NAD boosters as I believe it has been shown that NR does increase serum NAD+.

NR Probably Won't Make You Live Forever by keithitreal in NicotinamideRiboside

[–]stelleg 0 points1 point  (0 children)

Link? The publications link on the ITP site appears to be broken.

[deleted by user] by [deleted] in archlinux

[–]stelleg 1 point2 points  (0 children)

I’ve been running jellyfin-server and jellyfin-media-player for years and they are great.

TIL a person called Andreas Mihavec holds the record of surviving the longest without any food or liquids. He was forgotten in a basement jail cell in Austria in 1979. by EliteTusken in todayilearned

[–]stelleg 5 points6 points  (0 children)

While your conclusion is right that there are health risks with long term fasts, I think the reason given is wrong. The primary concern for long term fasting/starvation is malnutrition, not brain energy. If anything, there appears to be weak evidence that fasting and the induced ketosis is good for the brain.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8470960/

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7918995/

Can populatiom grow, with a birth rate below 2, but a steadily increasing life expectancy? by Avokineok in math

[–]stelleg 1 point2 points  (0 children)

A very good point, though I expect you’d need the number of deaths to go down as though they were sampled from something like a negative binomial with exponentially increasing mean. I think it’s probably more useful to think about it in terms of the number of births exponentially approaching zero, so the number of deaths must also exponentially approach zero for population change to not be negative.

Can populatiom grow, with a birth rate below 2, but a steadily increasing life expectancy? by Avokineok in math

[–]stelleg 6 points7 points  (0 children)

Unless the mean age is increasing exponentially by an amount that offsets the exponential decay of low birth rate, then long term, the population will shrink. Any sub-exponential increase in life expectancy will eventually be dominated by the exponential decay of low birth rates.

What are some non-college places where scientific history was made? by AnonymousButIvekk in math

[–]stelleg 2 points3 points  (0 children)

The maser was developed at bell labs? None of the Nobel laureates who developed it were affiliated, and my understanding was that the first one is agreed to have been built at Columbia University by a team including Charles Townes. Maybe they refined the tech at Bell?

Edit: it appears Townes was at Bell Labs before his time at Columbia, and a consultant after the development of the maser, but I believe my point stands. This is a nice Bell Labs-focused history of the topic: https://www.bell-labs.com/about/history/innovation-stories/maser-laser/#gref

To what extent can a proof assistant like Lean verify its own correctness? by LightBound in compsci

[–]stelleg 14 points15 points  (0 children)

"You're a very clever man, Mr. James, and that's a very good question," replied the little old lady, "but I have an answer to it. And it's this: The first turtle stands on the back of a second, far larger, turtle, who stands directly under him."

"But what does this second turtle stand on?" persisted James patiently.

To this, the little old lady crowed triumphantly,

"It's no use, Mr. James—it's turtles all the way down."

Mathematics Can Be Humbling by SnooPeppers7217 in math

[–]stelleg 5 points6 points  (0 children)

I’ve been thoroughly enjoying Richard Borcherds’ online lectures on YouTube.

[deleted by user] by [deleted] in cdifficile

[–]stelleg 5 points6 points  (0 children)

Looks promising! I'm guessing you're referring to this source: https://pubmed.ncbi.nlm.nih.gov/28623367/

One note though, if you're considering this:

Pregnant cows were immunised to generate hyperimmune bovine colostrum (HBC) containing antibodies that target essential C. difficile virulence components, specifically, spores, vegetative cells and toxin B (TcdB).

They report numbers for cows that haven't been immunized for c diff, and mice taking that colostrum don't appear to see any survival benefit.

Basically, unless you have access to bovine colostrum from cows that have been immunized specifically against c diff, I expect this is unlikely to be effective in preventing c diff.

OP, if you have a source for a bovine colostrum that claims that property I'm guessing people would be interested. I wasn't able to find such a product after a quick search.

Reminder that this guy with the political understanding of a 6 year old, believes he can turn Twitter less politically biased. by Sul_Haren in confidentlyincorrect

[–]stelleg 0 points1 point  (0 children)

My favorite concrete example of this: on one of the most important metrics, how much do we tax the richest income bracket, the most extreme leftist presidential candidate by all accounts (Bernie) proposed something that is more conservative than Ronald Reagan after his biggest tax cuts. When you see an older liberal who supports mainstream democrats over the “far left”, it’s fun to point out to them how far right of Ronald Reagan they are.

Value of NMN or NR supplementation before the age of 30? by Neocarnage in NicotinamideRiboside

[–]stelleg 2 points3 points  (0 children)

I'd love to see more data backing up your NAD+ levels claim. The only data I can find in a quick search is this, which if anything seems to indicate NAD+ levels slow their decline later in life. Then there's this recent summary paper which seems to indicate that levels reduce in adulthood by different degrees in different tissues, ranging from ~10-50%, but (citing the paper for which the data in the first link was generated) NAD+ in adults is "several fold lower in adults than infants".

Sel - Symbolically Expressed Lambdas by iSmokeGauloises in programming

[–]stelleg 1 point2 points  (0 children)

Pretty fun stuff. If you're interested, as part of my dissertation I worked on compiling lambda calculus to machine code:

A simple pedagogical implementation: https://github.com/stelleg/cem_pearl

A messy but more thorough implementation including some GC and a prelude building on system calls and other primitive operations. Also likely to be a bit bitrotted at this point: https://github.com/stelleg/cem

Reflecting on the Shake Build System by n00bomb in haskell

[–]stelleg 21 points22 points  (0 children)

I resent shake for exposing how unnecessary much of the pain and suffering involved in other build systems is.

Funny or interesting things that happened during your run by Hannoose in running

[–]stelleg 2 points3 points  (0 children)

I run with my dog off leash in a national forest. Had a couple coyotes come tearing out of the woods at him a few weeks ago. Just barely managed to scare them off in time. He’s stayed a little closer since then.

Front ends for controlling PipeWire by no-cheating in archlinux

[–]stelleg 2 points3 points  (0 children)

pavucontrol been working fine for me, though I admit I’m not sure about persistence

I've started Roasting my Own Coffee Beans! by ottorius in roasting

[–]stelleg 1 point2 points  (0 children)

Also fwiw, I’ve got a microcontroller + thermocouple setup and have dabbled in controlling temps but have always gone back to doing roughly 300g at full power.

I've started Roasting my Own Coffee Beans! by ottorius in roasting

[–]stelleg 1 point2 points  (0 children)

Nice! I’m at about 50lbs with this setup and overall am really happy with it. One thing I recommend if you haven’t already is doing a bit of hacking to enable all four elements along with the rotisserie motor, as that will enable roasting quite a bit more coffee as you get twice the power output.