jasory

joined 2 years ago
MODERATOR OF
[–] jasory@programming.dev 2 points 10 months ago

I'm not a software dev but rather a mathematical researcher. I see zero use for myself or designing any advanced or critical systems. LLM coding is like relying on stack overflow, if you want to solve a novel or sophisticated problem relying on them is the wrong approach.

[–] jasory@programming.dev 7 points 10 months ago (1 children)

The Space Shuttle was a complete disaster that only lasted as long as it did because Congress fancied it. It was both more expensive and more dangerous than conventional rockets.

[–] jasory@programming.dev 2 points 11 months ago (1 children)

The commenter more or less admitted that they have no way of knowing that the algorithm is actually correct.

In your first analogy it would be like if text predictors pulled words from a thesaurus instead of a list of common words.

[–] jasory@programming.dev 2 points 11 months ago

The mersenneforums have users solve an obscure (to a non-mathematician) but relatively simple number theory problem.

[–] jasory@programming.dev 1 points 11 months ago

AI seems quite useful at combining what we already know into interpretable formats. The reality is that tons of material is discovered and then simply lost in the pile, searching the pile to maybe get a solution is often more time consuming that rediscovering it, so researchers don't even bother past the initial search.

[–] jasory@programming.dev 1 points 11 months ago

Mathematical articles have the problem of either being written by mathematicians in an indecipherable manner that doesn't follow Wiki style, or idiot programmers that pollute the page with incorrect algorithms in their favorite language.

[–] jasory@programming.dev 8 points 11 months ago (3 children)

I struggle to find something more obnoxious than incorrectly employed formal logic.

There is no contradiction. The intersection of "native-sounding English" and "(English with) no grammatical errors" is not empty. So it's actually perfectly possible to meet both criteria.

It also wouldn't be a logical contradiction even if it wasn't possible, since contradictions are conflicts of arguments that rely on different propositions being true, not the valuation of the actual propositions.

[–] jasory@programming.dev 1 points 11 months ago

Your solution is worse.

As is, it is the responsibility of the content provider to make sure that they are distributing only to people who are legally allowed to have it.

With age-verification the user has to prove that they are allowed to access the content, then the site can distribute it to them.

Your approach is to distribute the content by default and only deny it to ChildDevices. In order for this to work at all, you have to mandate that children can only use ChildDevices. This is soooo much worse than simply requiring that adults who want to see certain content have to prove that they can legally access it. If adults have reservations about providing ID for pornography, the loss of such content seems to be much less than denying children Internet access. (Although, I'm sure that Lemmings would disagree for obvious reasons).

[–] jasory@programming.dev 1 points 11 months ago

"I compare your argument to refusing to stop setting off firecrackers..."

Which would be in error because they are disanalogous. There is a substantial psychological difference between word substitution, and a reflexive reaction to similar sounds, that are then evaluated to be different later on. Just because it seems instantaneous to you, doesn't mean that the individual does not actually believe they are under fire even momentarily, can you say the same for someone reading the word "suicide"?

"I argue just the way I like"

Which is logically unsound.

"I'm trying to be considerate... something you don't understand."

All you are doing is patting yourself on the back over something that doesn't matter. You may think that you are helping people, but you simply aren't.

"A life as nice as you are"

Thank you. I think you are confusing refusing to pander to idiocy, with being mean. You can be an extremely beneficial person to others without endorsing every single view or action they make.

[–] jasory@programming.dev 1 points 11 months ago (2 children)

"consideration to my fellow human beings".

Because your fellow human beings are so profoundly stupid as to not understand that "delete" and "kill" have the same semantic value in that sentence?

If you are going to argue for word replacement it should be for stylistic reasons (rhyming, alliteration, humour, etc), or semantic reasons, as in actually changing the meaning of the statement.

Changing the wording of statement, while retaining the same semantic value, does nothing to reduce offense when the semantic value is what would cause offense.

[–] jasory@programming.dev 1 points 1 year ago (1 children)

The details in your own post undermine your conclusion. Ukraine has operated the Mi-8 family for decades, and is probably already familiar with low-level flight tactics over their own territory, which is a dissimilar flight environment to the US Southwest.

In reality this is more than likely pilot training for Southwest Asian operations. US still conducts some operations in the Middle East incase you weren't aware.

[–] jasory@programming.dev 2 points 1 year ago

If you have Nautilus as the filemanager, you can write a Nautilus script that does this for you, you just then have to right click and select the script. You can run essentially any script this way, I use it for some preset file conversions.

19
submitted 1 year ago* (last edited 1 year ago) by jasory@programming.dev to c/rust@programming.dev
 

I wrote up a port of GNU factor that has a slightly nicer UI than the original, and runs in approximately 1/3rd the time for 128-bit integers, on average. This is just a preliminary release and I plan implementing elliptic curve arithmetic and extending it to 192-bit to cover all the small integers that CADO-NFS doesn't support.

The factorization algorithm is provided as a separate crate that provides a C-api, since fast factorisation algorithms are hard to come-by.

view more: next ›