Never used a computer algebra system? Like wolfram mathematica or sage math or maple? Then we have proof assisting software like coq and smt solvers like cvc5 or Z3.
This is all software that can solve real math problems in an easy way.
- 0 Posts
- 21 Comments
Joined 1 year ago
Cake day: May 10th, 2024
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Yea, reading my message back I was unnecessarily harsh. But my math checks out.
Sorry, I had a bad day…
Yes. If you fail to market your ideas in that time then it’s your fault. Don’t hold back society due to your failure.
Your system makes even ideas capital which I strongly object to.
Another point of view: A company like Disney should not be able to have an almost perpetual monopoly on highly influential culture, like Star wars, etc.
No, correctly it would be n * (n-1) * (n-2) * … * 3 * 2* 1
Or the actual recursive definition
1! = 1
n! = (n-1)! * n
Fuck intellectual property in it’s current state. As it is now it mostly benefits corporations instead of small creators anyways.
Terms of protection should be shorter. Way shorter than the life of the author + x years.
Erm. In what world do you live that the precedent in your expression is right?
In all languages and countries I know multiplication binds more strongly than addition. So what you wrote would be
n^2 - n - 2n - 3n…
Howdy was once “How do ye?”
I’ve heard a lot of “it is what it is” in my time in Finland. I am probably returning soon for wappu/vappu.
Nope, the driver through the use of the web USB API and/or the WebHID api. Of course it depends on how you define driver but I think they have a very good claim to be drivers.
There are drivers for USB products written in JavaScript. Like the calibration tool for the PS5 controller and iirc a driver for a mini disk player
I don’t know how to tell you this but there was no Internet in the year 11. They probably used other means of communication, like landlines and pagers.
The fax was no joke. It’s still a very widely used form of communication in Germany -.-
Gibt es noch Grammatik?
I love rugged electronics. Seeing something that I instinctively think of as fragile being made tough is poetic to me.
I have a friend in Finland that once drunkenly drove a nail into a log with a rugged phone. It was amazing
Bias will always remain. I mean what would it even mean to be absolutely unbiased.
There is no such thing as an unbiased text corpus.
A set of propositional formulas is satisfiable if and only if all finite subsets of it are satisfiable.
The cardinality of a set is always smaller than the cardinality of the set of subsets of the former set.
A set cannot contain itself.
There is no 1 to 1 mapping from the natural numbers to the real numbers.
There is a 1 to 1 mapping from the natural numbers to the rational numbers.
Something exists. I cannot tell you what it is but it does exist. Maybe reality is an illusion but even then the illusion exists.
2·2 months agoI am using eternity. There, it’s just a link but every word is surrounded by ~.
Unfortunately, I don’t think lemmy.world is authoritative in regards to formatting and Lemmy itself – iirc – does not suggest formatting guidelines.
Spoiler formatting is also a pain because of that :/
Why all the tilde symbols? That’s what makes it quite distracting and hard to read for me tbh.
5·3 months agoThis happened more than once? Or what does periodically mean in this context?
BSD waifus in shambles