bbarker 2 years ago • 100%
Hah, well I don't doubt that you do get more alert if you feed your brain sugar via carbs (unless you're in a state of ketosis, and even then it would probably be a boost). For me, the cons still outweigh the pros.
bbarker 2 years ago • 100%
Did not know libreoffice had an online option, interesting.
bbarker 2 years ago • 100%
The tool is Nix, coupled with direnv, not "devenv" (to be clear).
Growing evidence that highly processed and refined foods are the leading contributor to rising obesity rates in the Western world is backed by a year-long study of the dietary habits of 9,341 Australians. Because so much of modern diets consist of highly processed and refined foods – which are low in protein – people are driven to consume more energy-dense foods until they satisfy their protein demand.
The researchers found that repeat SARS-CoV-2 infections contribute significant additional risk of adverse health conditions in multiple organ systems. Such outcomes include hospitalization; disorders affecting the lungs, heart, brain, and the body’s blood, musculoskeletal and gastrointestinal systems; and even death. Reinfection also contributes to diabetes, kidney disease and mental health issues. The findings are published Nov. 10 in Nature Medicine.
bbarker 2 years ago • 100%
At least in the US, a lot of these HPFs are subsidized in some form (or at least the ingredients are). So they end up being cheaper than they really ought to be. If only vegetables and organic/sustainable products were subsidized.
Stephen J. Carter, a cardiovascular physiologist at the Indiana University Bloomington School of Public Health, said that shorter, more intense workouts are better than longer, less intense workouts at lowering the risk of cardiovascular disease and reducing overall mortality rates. One of Mr. Howell’s favorite full-body, no-equipment, time-efficient workouts is simple and can be scaled to any fitness level or ability. The workout is: Five body weight squats, five push-ups and a 30-second plank — repeated six times, resting for no more than 30 seconds between rounds. If you can’t do a push-up on the floor, do it against a countertop or a stable bench. You can modify the plank by putting your knees on the floor or doing a standing plank by placing your forearms on the wall.
Summary: Based on the criteria set for tobacco addiction, a new study reports that highly-processed foods can be addictive. Source: University of Michigan “Of note, there is no biomarker in the brain that tells us whether something is addictive or not,” Gearhardt said. “Identifying that tobacco products were addictive really boiled down to these four criteria, (which) have stood up to decades of scientific evaluation. Highly processed foods meet every single one of these criteria.” DiFeliceantonio said the ability of highly processed foods to rapidly deliver unnaturally high doses of refined carbohydrates and fat appear key to their addictive potential.
bbarker 2 years ago • 100%
I love hypothes.is, and a few years ago, did a small project using it. It seems like something that could be federated (or at least, distributed), and may be of interested to Fediverse users.
cross-posted from: https://lemmy.ml/post/49103 > Hypothesis is a new effort to implement an old idea: A conversation layer over the entire web that works everywhere, without needing implementation by any underlying site. > > Using annotation, this enables sentence-level note taking or critique on top of classroom reading, news, blogs, scientific articles, books, terms of service, ballot initiatives, legislation and more. Everything built is guided by Hypothesis' principles, in particular that it be free, open, neutral, and lasting to name a few. > > The group feature is great for groups of students or researchers working together. Features include highlighting text, annotating specific text, or leaving page notes which are not anchored to any text. I see there are some independent mobile apps available too. > > There is a good video explanation of what you can do at https://youtu.be/87h0nYi-i9o or see their site at https://web.hypothes.is/about/ > > #technology #opensource #annotate #knowledge #hypothesis
bbarker 2 years ago • 100%
But who will use it?
> The researchers focused on one particular fat found in the blood of the mice fed a ketogenic diet: palmitic acid, which is commonly found in animal fats and dairy products. Remarkably, mice fed a normal diet who were injected with palmitic acid also became more susceptible to sepsis. > In this study, Napier and colleagues learned that palmitic acid can trigger trained immunity. The fat acts as a "brief pulse of inflammation" that alters the function of stem cells in the mouse's bone marrow so that they produce more inflammatory innate immune cells in the future. This means that when the innate immune system encounters a second inflammation stimulus later on, it responds much more strongly. Sometimes, as in the case of sepsis, this response is too strong. > It's this double-edged sword where if you have exposure to high fat and then exposure to a disease where more inflammation exacerbates the disease, then it's a bad thing," says Napier. "But if you're in the context where you eat high fat and then you get an infection and more inflammation helps you clear infection quicker, it's a good thing.
bbarker 2 years ago • 100%
Would've been nice if references were included, though I've read elsewhere it can help with blood sugar control. But not lipid metabolism.
> Adding cinnamon to your coffee "doesn't have to be a seasonal tradition," and the benefits may have you making it a common occurrence, she continues. "Cinnamon boosts thermogenesis in the body, which in turn, results in more calories burned," Richards explains.
> Patients who took a daily dose of the drug, baxdrostat, were able to reduce their blood pressure substantially, compared to a people who got a placebo, according to the study published in the New England Journal of Medicine and presented at the American Heart Association annual meeting on Monday. The new type of oral medication works by targeting a hormone that regulates the amount of salt in the body.
> The compound is called tetrataenite, and the fact that scientists have found a way to make it in a lab is a huge deal. If synthetic tetrataenite works in industrial applications, it could make green energy technologies significantly cheaper. It could also roil the market in rare earths, currently dominated by China, and create a seismic shift in the industrial balance between China and the West.
bbarker 2 years ago • 100%
Very nice, thanks!
bbarker 2 years ago • 100%
I have to admit I'm somewhat looking forward to revisiting this post on HKTs in Rust, but agree with the author that monad transformers are best avoided when possible.
bbarker 2 years ago • 66%
Yeah, not that this is really even necessary in my view, but if you were extremely hell bent on this, you would normally hire a consultancy with the relevant expertise, rather than diverting resources that could be better spent elsewhere.
bbarker 2 years ago • 100%
I doubt I'll ever be able to manage that many on a daily basis, as I eat other nuts as well.
Also, although growing almonds consumes a lot of water, I suspect it is still a far better use of resources than many of the foods the American food system outputs.
Some of the benefits are lost when using ground almond. Almonds consume a lot of water, particularly in California where 80% of almonds are grown.
bbarker 2 years ago • 100%
If anyone ends up working on this as an open source project, please post here, maybe we can find some contributors. I was thinking of using Lemmy for this purpose at work, which would help me get more familiar with it in general.
bbarker 2 years ago • 100%
Sorry - I didn't realize your original link was to the video and not the project. After watching it (good talk!), I found the clip in question. It seems like he is just saying that 96% of the codebase is functions (of any sort), not that 96% of the functions in the code are pure.
bbarker 2 years ago • 100%
I wonder how many of these will be Scala developers. Apparently he had Python developers from Tesla come over to review Scala code. So much wisdom.
bbarker 2 years ago • 100%
Not exactly what you are looking for perhaps, but I've been using getpocket.com (from Mozilla) as a way to collect, tag, and read pages. It isn't perfect, but for my purposes, it is pretty good. It has great support on mobile and in all major browsers, and there is an API for it (though I've not used it).
bbarker 2 years ago • 100%
and 96% of it is pure functions
Thanks - I was just wondering how this somewhat precise statistic was obtained.
Otherwise, all that makes sense generally, though I tend to model logging as an effect in statically typed languages with effect systems. But I agree that it isn't the most important thing!
bbarker 2 years ago • 100%
I generally take your point, though I believe FP can be applied to most domains with some benefit - it is just that existing, prevalent FP languages may not always be well suited for the job. In HPC for instance, there are a few interesting options:
-
For both games and HPC, Futhark may be of interest: "Futhark is a small programming language designed to be compiled to efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimising ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code."
-
Sadly I can't find it right now, but there was research language designed with the idea of separating the implementation from the specification, in such a way that the implementation could still be verified to conform to the specification; the specification was much more than a typical function signature as I recall. Basically you would write the function specification in a functional style, and then be able to have multiple implementations (e.g. for different hardware) conforming to that specification. I want to say this was from Standford but may be wrong about that.
bbarker 2 years ago • 100%
As an FP-fan interested in Clojure, how does one track if functions are pure in Clojure? I had assumed this was not possible, due to it not being statically typed (although I gather there is 3rd-party support for gradual typing).
bbarker 2 years ago • 100%
Great idea! I like the idea of being able to return "items" (files or directories).
> this tutorial tries to take you from zero (how do I open a console to say Hello Rust) to hero (equipping items to fight foes in a multi-level dungeon). I'm hoping to continue to extend the series.
bbarker 2 years ago • 100%
Since this is an alternative front end for Lemmy, could someone simply host an instance of LemmyBB and point it to an existing instance of Lemmy?
The key features of Carp are the following: Automatic and deterministic memory management (no garbage collector or VM) Inferred static types for great speed and reliability Ownership tracking enables a functional programming style while still using mutation of cache-friendly data structures under the hood No hidden performance penalties – allocation and copying are explicit Straightforward integration with existing C code Lisp macros, compile time scripting and a helpful REPL
> 8 July 2022 > Nearly 80 percent of meat and dairy products from farm animals tested by scientists contain microplastics, a new study from the Vrije Universiteit of Amsterdam has found. > *The possible cause could be the feed of cows and pigs: all twelve samples of feed pellets and shredded feed were found to contain plastic.* Plastic in animal feed - what could go wrong!
bbarker 2 years ago • 100%
ActivityPub is an open, decentralized social networking protocol that is standardized by W3C; it is used by Lemmy, Mastodon, and others.
bbarker 2 years ago • 100%
I've been loving low-calorie almond milk for years; great to see it does well for total emissions and land use, which I'd think are the most important factors in most contexts.
Oat milk might not be great for some folks with blood sugar issues, though it sounds like it probably isn't too bad as long as you aren't guzzling it, and enjoying it with other food helps: https://www.insider.com/oat-milk-health-benefits-sugar-dietitian-advice-2021-4