TLA+ = formal language for modeling software above the code level and hardware above the circuit level by Leslie Lamport (of vector clock and Paxos fame, among other things.)
The point of this article and video is there is no problem with 16-bit 44-kHZ PCM. It thoroughly covers the audible range and is there is absolutely no need for more when distributing music for humans to listen to.
The problem is the people spreading myths and disinformation out of ignorance or to promote their enterprise.
The weak links are producers/mastering-engineers, speakers/headphones and the room when using speakers.
@xiphmont also made an amazing video response to the many responses he received to this article. Using analog equipment he busts a bunch of myths and demonstrates what really happens with digital audio.
> The EcoHealth Alliance, in turn, provided funding to the Wuhan Institute of Virology in China for researching bat coronaviruses. The rest is history.
The WIV is 20km from the Huanan market where the pandemic started. There is no direct evidence linking the emergence of SARS-CoV-2 to laboratory work conducted at the Wuhan Institute of Virology.[0] The evidence for zoonotic origin with multiple spillover events at the Huanan market is overwhelming.
You might be lucky enough that a local museum regularly hosts a telescope making workshop. In the SF Bay Area you can go to the Chabot Space & Science Center on Fridays 7-10pm.
There was another article about cheating at Brown that said Princeton hasn't proctored tests since the 19th century so maybe you are right and Hegseth is an idiot but still managed to cheat his way through school.
The GOP. This is part of Project 2025. They want to outlaw porn.
> Pornography should be outlawed. The people who produce and distribute it should
be imprisoned. Educators and public librarians who purvey it should be classed
as registered sex offenders. And telecommunications and technology firms that
facilitate its spread should be shuttered.
> You can’t really exercise enough to offset the food you can eat in a day, even if you somehow were able to dedicate all your time to exercising you would still have to limit your food intake.
People racing the Tour Divide, a 2700 mile solo unsupported bikepacking race through the Rocky Mountains, lose weight when riding their bikes 18 hours a day for 2-3+ weeks straight. They describe being unable to choke down enough food even though what they are eating is very calorie dense. Hotdogs, burritos, burgers, pizza, a pound of gummies every day, chocolate milk and ice cream when resupplying, McDonalds where they fill their hydration bladders with PowerAde, anything they can get their hands on quickly when they arrive at a small mountain town which frequently has nothing more than a gas station.
It is of course true that caloric input is a thermodynamic limit and restricting it sufficiently relative to caloric expenditure will cause you to lose weight. (Lisa, in this household we obey the laws of thermodynamics...)
However, not all calories are the same, metabolism is dynamic, and the brain is complex and exerts a powerful influence over behavior.
Increasing exercise will make you hungrier and most people are simply unable to resist this and end up not losing weight. It is why there is a common saying that "you cannot outrun your fork." Restricting calories generally is difficult in today's environment with plentiful calorie dense food everywhere. People don't cook as much as they used to and restaurant meals have more calories than ever.
AFAIK GLP-1 drugs work because they calm the minds desire to eat which is baked in deeply from millions of years of our ancestors struggling to get sufficient food.
>Last week, I posted a visual demonstration of the sameness of AI-generated content. This makes the output easy to spot even if all the individual pieces are perfect facsimiles of what a human could create:
I think a point missing is that this output all looks the same because the prompters are not specifying much more than the barest minimum to get what they want. If you just prompt "generate a cover for my book 100,000 whys which is childrens book that answers their questions about science" then you get images like from TFA using the models default style. However, the models are capable of reproducing any great artists style and any content you want.
If you have seen the prompts for images on communities of enthusiasts you may notice that they can be quite long and specify considerable detail about both the content and the style of the output.
Here is one of the four above the fold on the front page of CivitAI for me right now, it has both a positive and negative prompt. Not that long because this is a fairly simple image. However the image doesn't look like the slop in the 100,000 Why's book covers or the many commercial signs and advertisements I'm seeing when I leave the house.
> it is only natural that the mechanical world picture would initially think of natural phenomena as operating according to externally imposed influences (motion imparted from outside, laws of nature, or what have you) rather than something intrinsic to them.
Laws of nature are not externally imposed influences. They are human descriptions of what we observe to happen under certain conditions. They are called laws because we have no reason to think they are ever violated.
Doubling your distance from a point source will quarter the energy you receive from it. Not because of any externally imposed influence but because an intrinsic property of a sphere is that surface area increases according to the square of the radius.
> as the mechanistic conception of the world developed, it essentially came to be about eschewing anything that smacked of final causality
Scientists would love to know if there is final causality other than the universe itself. However, evidence is the only way to separate reality from make-believe and there is not one scintilla of evidence that anything exists apart from the universe we see all around us.
IMHO there are a bunch of reasons
* Scala 3 was a Python 3-esque disruptive event
* Perception as an overly-complex kitchen-sink inclusive language
* Kotlin took up the "better Java" mantle
* Rust became attractive to devs not committed to the JVM
* Go became less sucky
* SBT is disliked and Metals was buggy and unstable (and still slow)
* Suffers from the "we won't be able to find devs" problem where Kotlin, Rust and Go don't
* A bunch of community drama drove some devs away to Rust
I say this as someone using Scala 3 with ZIO effects system and Mill build tool and thinks it is fantastic.