

You may be interested by this https://en.wikipedia.org/wiki/Formal_verification.
Prominent examples of verified software systems include the CompCert verified C compiler and the seL4 high-assurance operating system kernel.
I try to contribute to things getting better, with sourced information, OC and polite rational skepticism.
Disagreeing with a point ≠ supporting the opposite side, I support rationality.
Let’s discuss to make things better sustainably.
Always happy to question our beliefs.


You may be interested by this https://en.wikipedia.org/wiki/Formal_verification.
Prominent examples of verified software systems include the CompCert verified C compiler and the seL4 high-assurance operating system kernel.


Any mention of nuclear energy and the difference of land and resources required in comparison?


Only from free and open source sustenance, he is disgusted by anything else.
Why do you think this paper is more correct than the other? This paper seems to be locked on a single definition and says everything else is wrong because it does not follow this definition.
Personally, I find it very intellectually unsatisfying because you can have a individual with male gametes but with a female phenotype, and this definition says, this individual’s sex is without a doubt 100% male. It seems the main benefit is not questioning a historical definition, which fits well with conservative opinions. There’s clear evidence on many other subjects that this can slow down or block science (ex: tobacco, climate).
Consider some of those people are trying to do that for rational reasons and check the article as an example of such reasons.
Isn’t gamete also only one aspect of what constitutes the sex? What do you do of the sexual phenotype for example? See this article about a multimodal modelisation of sex. https://www.biorxiv.org/content/10.1101/2023.01.26.525769v1.full.pdf
It’s just viral marketing by OpenAI, and it’s working well.
your mom is pro-kilograms


We never keep to the present. We anticipate the future as if we found it too slow in coming and were trying to hurry it up, or we recall the past as if to stay its too rapid flight. We are so unwise that we wander about in times that do not belong to us, and do not think of the only one that does.


There’s also a lot of manual human labor to build LLMs, I was surprised. From exploited African data labelers who have to shift through the most horrific things the web has to offer and remain traumatized for life, to highly paid domain experts who work on improving final results so it ends up looking like a simulation of themselves.
This Wikipedia page agrees with this comment: https://en.wikipedia.org/wiki/List_of_oldest_universities_in_continuous_operation. It lists University of Bologna as the oldest one in continuous operation from 1180–1190.


All of them have a negative side effects of the prescription is not respected. It seems the toxic dose per kilogram for aspirin is similar to the one for paracetamol, and the one for ibuprofen is about twice more.


You should just tell them you are, problem solved!


Which is generally even safer than aspirin and ibuprofen.


My current team is using 120 too and honestly I don’t like it. 88 is great when you work with split screen and I do that a lot. Short lines are easier to read than wrapped lines for my brain.


My development policy is to use black.
I heard eels love neck kisses.
In before, $99 and it sells like hotcakes. The success of Apple shows people will eat the price hike given enough hype.
It’s the current state of confusion floating above the country.
What are the recommendations to print it then? That’s half the reasons why I would buy it.