There have been multiple accounts created with the sole purpose of posting advertisement posts or replies containing unsolicited advertising.

Accounts which solely post advertisements, or persistently post them may be terminated.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

anton ,

Websites have grown beyond mere scripting.
Rust is about more than just nicer pointers, it has a very expressive type system that enables correctness rarely seen outside FP.

anton ,

Instead of


<span style="color:#323232;">if let Some(a_) = a{
</span><span style="color:#323232;">    ()
</span><span style="color:#323232;">} else if let Some(b_)=b{
</span><span style="color:#323232;">    ()
</span><span style="color:#323232;">} else {
</span><span style="color:#323232;">    dostuff 
</span><span style="color:#323232;">}
</span>

you could just use


<span style="color:#323232;">if a.isNone()&&b.isNone(){
</span><span style="color:#323232;">    dostuff
</span><span style="color:#323232;">}
</span>

Also if you don’t use the value in a match just use _

anton ,

Extinct in the wild, even the population in captivity is slowly dwindling.

anton , (edited )

While that works for “news agencies” it’s a free money glitch when used in a customer support role for the consumer.

Edit: clarification

anton ,

A HIMARS chocking what looks like a S-300 in a non sexual way (I hate that I have to mention it, but I know the crowd around here).

It’s probably because the Ukraine have been allowed to strike into Russia with western weapons.
Maybe there have already been specific news of S-300s being blown up since then, but they are probably unable to do the job they where built to do: securing russian airspace.

PS: the S-300 has its eye on the wrong side

anton ,

Ah the old Univertium ofium Berkelium Californium joke

anton ,

Assuming you don’t have the immune system of a plastic bottle you will be fine.

anton ,

Hate to break it to you, but if you store your food for years above freezing and without a protective atmosphere in a plastic container it’s spoiled anyway.

anton ,

Aviation, Health, Space and Car industry have only 3 certified languages that they use. Ada, C and C++.

Rust is automotive certified since over half a year. ferrous-systems.com/…/officially-qualified-ferroc…

anton ,

While the president can’t dissolve the court, according to the majority, the president can order them assassinated and be covered by presidential immunity.

anton ,

Go speak Lojban with people numbering “beyond what can be counted on the fingers of one hand”.

anton ,

Many governments have systematically and maliciously conflated Hamas and Palestine, it’s no stretch of the imagination that limiting hamas will be used to limit pro Palestinian voices

anton ,

It needs to happen twice. I would help you but I still poses the indestructibility of youth.

spoilerI think the person also needs to be Catholic.

anton ,

Training cops to be bad at catching the crime you are commiting is certainly a nice trick.

anton ,

1 being prime breaks a lot of the useful properties of primes, such as the uniqueness of prime factorization.

anton ,

I don’t know if prime factorization is the correct English word for it but the operation I am referring to takes a (non zero) natural number and returns a multiset of primes that give you the original number when multiplied together. Example: pf(12)={2,2,3}if we allowed 1 to be a prime then prime factorization cease to be a function as pf(12)={1,2,2,3} and pf(12)={1,1,1,1,2,2,3} become valid solutions.

anton ,

They are certain they had him with them when they left the house.

anton ,

The system works great all year round but what it delivers is not electricity…

anton ,

The only reason I see is the ERA being so shit that you don’t trust any one block to go off.

In reality ERA is designed to be directly mounted to the armor to absorb the force of the explosion.

anton ,

The absence of coincidence

Look up the strong law of small numbers.

Also, one of their examples of AI was an exhaustive search.

anton ,

EVs only eliminate tail pipe pollution, otherwise they are more of the same.
They are multi ton metal boxes rolling on rubber wheels over asphalt roads, often to transport a single person. The create the same amount of traffic and waste the same amount of land on parking. Due to their heavy battery and better acceleration they create more fine particulates of wheel rubber.

EV are a Verkehrsrichtungsänderung, a Verkehrswende consists of trains and public transit.

anton ,

optimal design for actual humans to live and work

And H designs are just somehow aesthetically unpleasing to me personally (for real).

Because I agree with those points I resigned it by flipping the edges:

.║ ║ ║
.║ ║ ║
.╚═╬═╝
. ║
.══╩══

If we orient it south and try to distribute sunlight fairly we may get something like this:

. ║
.║ ║ ║
.╚═╬═╝
. ║
.╚═╩═╝

anton ,

I would say that whole numbers and integers are different names for the same thing.

In german the integers are literally called ganze Zahlen meaning whole numbers.

anton ,

Don’t explain the ieee floating point standard to mathematicians from within punching distance.

spoiler0 == -0 but also 0 > -0
1/0 == 2/0 but 1/0 != 1/(-0)
not(x<y) and not(x>y) and not(x==y) where x is NaN
x!=x where x is NaN

anton ,

I think it would have a real time kernel running parallel to a linux kernel.
Users could interact with the linux kernel normally and schedule trusted real time tasks on the other. Maybe there is reduced security for added performance on those cores.

In general use it would be a normal stable system with the allure of a performance mode that will break your system if you are not careful.

anton ,

Com’on, just 'cause it ain’t faster, doesn’t mean it’s a waste of time. They can give a text a relaxed and casual tone.

anton ,

[…] would someone like [email protected] really be dishonest?

Iphone users can never be evil, I have learned that from watching films.

anton ,

I can’t find the name/source at the moment, but if you enumerate all turing machines and run them concurrently* you will find the optimal algorithm for your problem in O(1) and executed that.
To my knowledge the algorithm is so inefficient on small input that it takes hours to solve integer addition.

  • You run the first turing machine one step, than the first two one additional step, that the first tree… This allows you to run an unlimited amount of TMs an unlimited amount of steps.
anton ,

Sleep sort is kind of like count sort but with added overhead. Both have a complexity of O(n+m) with n being the length and m the value of the max element.

The optimum of O(n * log n) is based on the assumption that the only information about the values is obtained by comparison. If you operate on integer keys I would recommend radix sort. It has a complexity of O(n * w) where w is the length (read logarithm) of the key.

anton ,

The spec is open source, particular implementation are typically under patent/copyright protection.
Not that they can be enforced effectively, unless the chips are exported into the US.

anton ,

Nitrogen also becomes toxic, requiring you to substitute it with helium (or hydrogen).
Interesting talk on the subject: youtu.be/skL5EQa8DFY

anton ,

Well, they found a solution to that ::: spoiler spoiler attacking Iran for no reason. :::

Israel sacks two officers after finding grave errors in strike on aid workers (www.reuters.com)

An Israeli inquiry into the killing of seven aid workers in an air strike in Gaza this week found serious errors and breaches of procedure by the military, with the result that two officers have been dismissed and senior commanders formally reprimanded....

anton ,

Two dismissals and some reprimands for such an obvious warcrime? Seriously?

anton , (edited )

Actual assembly in mainstream use:
x86
arm
risc v

mainstream byte code:
jvm
.net (I think)
wasm

fake assembly people may write:
llvm
wasm

wat (web assembly text) is actually written is S-expressions, like lisp but without code as data.

Edit: formatting

anton ,

It all comes from OP.

anton ,

The main difference is that WASM is an agnostic bytecode without a gc while the jvm is opinionated in a java way. It has a gc, focus on dynamic dispatch and it has knowledge of concepts like exceptions, classes and visibility.

All this leaking of abstractions means languages like java and kotlin are well suited, scala has hit problems and c couldn’t be compiled to java bytecode.

anton ,

Look at me, I have a friend at bell labs.
We had to use vacuum tubes, and we liked it.

anton ,

For the good of all of us, except the ones who are dead

anton , (edited )

The parentheses are causing a problem with the link, either remove them or put [some text] before them. link

anton ,

Nuclear weapons stationed in space are explicitly against the outer space treaty or the united nations resolution that came before it. The resolution is binding for all nations and the Soviet Union agreed to both.

anton ,

Can you reboot with ALT + Printscreen + B?

anton , (edited )

I don’t know, but you can check individual instances by going to the /instances subdomain and searching for threads.

shjw and blahaj are defederated, world isn’t.
This can always change, but I have confidence in my admins.

Edit: Thanks to [email protected] for this link

anton ,

You can always increase the precision of a computation, analog signals are limited by quantum physics.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • lifeLocal
  • goranko
  • All magazines