Have you tried fresh banana picked a minute ago?

No, but if climate change keeps accelerating, I might be able to eat a home grown banana. Unless the gulf stream breaks of first, in which case I can heard reindeer.
Both are horrifying to think about.

It could also be scaled (THz) or when working with light given as a wavelength (nm) and sometimes even photon energy (eV).

Is there ever an instance when you do want to compare object identity instead of “equal”-ness?

Maybe if you have to check if the object is one you already hold a lock for or account for some similar consequence of questionable architecture.

There is a reptile cannel on YouTube (think it’s called clint’s reptiles), that does annual skeleton reviews for halloween. The worst I can remember are where snail and octopus.

It’s probably hungry, feed it a mouse.

The actual best thing to do, apart from getting professional help, would probably setting the climate control to the lowest temperature to make the snake slow and sluggish before doing anything else.

Well, if I asking for help, it’s probably because I am wrong about something. So I know who to trust.

Having the sign bit in front, makes them compare like sign-bit-integers and if they are compared/sorted like 2s-complement integers, the negatives are reversed but still come after the positives.

Moskitos live anywhere there is stale water, so either clean it or have it wild enough that other insects outcompet them.
Put your compost pile somewhere you don’t walk past a lot, because that’s where flies congregate.
Ticks aren’t that mobile, they need some animal to carries them there.

While it was probably not the best use of our time, it certainly made me think about relations and algebra in more interesting ways than the last uni course did.

But I am not taking about an amount of different things, but a parallel or branching number line being part of the set of natural numbers.
I am not talking about modular arithmetic on its own, but as part of the set of natural numbers.

Under the missing axioms those constructs would be part of the natural numbers, including an x in N such that s(x)=x and therefore x+1=x. While some might think this implies 0=1, it doesn’t, because we don’t have the axiom of induction, an thus can’t prove a+c=b+c => a=b.

The usefulness of such a system questionable but it certainly doesn’t describe the natural numbers as we understand them.

There are also an infinite number of rationale between two integers, but the rationals are still countable and therefore have the same cardinality as the naturals and integers.

I know how how natural numbers work, but the axioms in the comment i replied to are not enough to define them.

Not sure what you mean by ‘loops’

There could be a number n such that m=s(n) and n=s(m). This would be precluded by taking the axiom of induction or the trichotomy axiom.

If we only take the latter we can still make a second number line, that runs “parallel” to the “propper number line” like:

n,s(n),s(s(n)),s(s(s(n))),...
0,s(0),s(s(0)),s(s(s(0))),...

there are no natural numbers that are negative

I know, but the given axioms don’t preclude it. Under the peano axioms it’s explicitly spelled out:
0 is not the successor of any natural number

That axiomisation is incomplete as it doesn’t preclude stuff like loops, a predecessor to zero or a second number line.

If you buy a ticket last minute for a high speed train it will stay expensive. Train people want you to be predictable, so book ahead and pay around half price.
Slower trains will obviously be free at point of use.

He wanted to show that AC lines with their heigh voltages are dangerous, as he sold low voltage DC power.

This doesn’t change it to a png, but your image viewers recognize it as webp. You should just associate .wepb with your image viewer in the OS.

deleted by creator

Rust doesn’t allow type inference in function signatures, c++ does with auto. IIRC, they recommended against using it, because of -you guessed it- compile time.