mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 1000
Search took 0.56 seconds.
Search: Posts Made By: axn
Forum: Wagstaff PRP Search 2020-07-10, 14:55
Replies: 379
Views: 31,876
Posted By axn
173k-174k

30095377149881164242977 | 2^173039+1
80887278129032443193 | 2^173039+1
62613874186436759401 | 2^173053+1
16193135987820900177889 | 2^173099+1
1849714334063272667 | 2^173137+1...
Forum: Lounge 2020-07-07, 03:28
Replies: 1,420
RIP
Views: 88,751
Posted By axn
No. The point is, can the reader gleam the...

No. The point is, can the reader gleam the context just by looking at the URL without going to the linked page. So youtube URL is useless for that purpose.

But the fox new URL is helpful, to wit:...
Forum: Chess 2020-07-02, 11:38
Replies: 39
Views: 4,950
Posted By axn
4 games to go in S18. SF has a winning lead...

4 games to go in S18. SF has a winning lead against LC0.

Interestingly out of the top 4 in Division P, positions 2-4 were all NNs. The sole alpha-beta was, of course, SF at the top. I wonder...
Forum: Wagstaff PRP Search 2020-06-30, 17:32
Replies: 379
Views: 31,876
Posted By axn
172k-173k

61299296941823278841 | 2^172127+1
2988390976868813213168483137 | 2^172147+1
882829503352170347 | 2^172157+1
2553070700830370125387 | 2^172213+1
5019859203930311747 | 2^172217+1...
Forum: Cloud Computing 2020-06-30, 14:43
Replies: 983
Views: 42,247
Posted By axn
A wild EPYC appears

Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Byte Order: Little Endian
CPU(s): 2
On-line CPU(s) list: 0,1
Thread(s) per core: 2
Core(s) per socket: 1...
Forum: Hardware 2020-06-30, 05:39
Replies: 11
Views: 230
Posted By axn
Which is the opposite of what they're seeing.

Which is the opposite of what they're seeing.
Forum: Information & Answers 2020-06-28, 13:35
Replies: 6
Views: 206
Posted By axn
Not quite. PRP-CF tests the cofactor to see if it...

Not quite. PRP-CF tests the cofactor to see if it is (probable) prime, i.e. whether the Mersenne number is fully-factored.
Just to clarify, if the mersenne number M(p) has a factor f, then the...
Forum: Lounge 2020-06-27, 03:24
Replies: 53
Views: 2,044
Posted By axn
Lowlife? WTF?

Lowlife? WTF?
Forum: PrimeNet 2020-06-26, 17:01
Replies: 357
Views: 18,888
Posted By axn
The factor was found in 2001. Probably the server...

The factor was found in 2001. Probably the server recorded it as TF at the time. James needs to manually correct it.
Forum: PrimeNet 2020-06-26, 04:48
Replies: 14
Views: 458
Posted By axn
If you're not going to report it, you don't need...

If you're not going to report it, you don't need to reserve it.
Forum: Hardware 2020-06-23, 11:36
Replies: 6
Views: 244
Posted By axn
You'll need to include those "passed" lines so...

You'll need to include those "passed" lines so that we can understand if the error is always happening at the same point in the test. Add it as an attachment to the post, rather than as inline text....
Forum: Wagstaff PRP Search 2020-06-21, 16:45
Replies: 379
Views: 31,876
Posted By axn
171k-172k

1288600021986622807337 | 2^171029+1
1227343802788662547 | 2^171043+1
269730882322569323 | 2^171043+1
9700307471917948619 | 2^171049+1
37340861716226539924499 | 2^171077+1
4607101955345040381521...
Forum: Information & Answers 2020-06-21, 08:54
Replies: 18
Views: 658
Posted By axn
Not quite. For the purpose of primality...

Not quite.
For the purpose of primality testing, the only "bignum" operation you need is multiplication.
For the fastest multiplication, you need FFT using double precision number. Your bignum...
Forum: Puzzles 2020-06-21, 06:04
Replies: 7
Views: 219
Posted By axn
904:[1, 7, 1]:823545

904:[1, 7, 1]:823545
Forum: News 2020-06-21, 04:22
Replies: 98
Views: 3,750
Posted By axn
I think patnashev said that that is not possible;...

I think patnashev said that that is not possible; you can calculate the proof only after test is done (I might be misunderstanding this part). However, that doesn't matter; you can spread out the...
Forum: News 2020-06-20, 07:55
Replies: 98
Views: 3,750
Posted By axn
Which is still 97% better than the 100%...

Which is still 97% better than the 100% verification time today (aka double check). We should optimize for the amount of bandwidth which the authors (i.e. first time testers), verifiers, and the...
Forum: Soap Box 2020-06-20, 04:06
Replies: 1,195
Views: 45,664
Posted By axn
Doing the thing because there is a legitimate...

Doing the thing because there is a legitimate reason, vs doing the thing because "I want to win re-election"? If FDR entered WW2 _only_ because of reelection prospects, then yes, it would be a giant...
Forum: News 2020-06-20, 04:03
Replies: 98
Views: 3,750
Posted By axn
If this is going to be a dedicated worktype...

If this is going to be a dedicated worktype outsourced to users, you might as well go one (or even two!!) step lower to reduce the logistics aspect of it.
Forum: Soap Box 2020-06-20, 03:10
Replies: 1,195
Views: 45,664
Posted By axn
Doesn't it count as conflict of interest?

Doesn't it count as conflict of interest?
Forum: News 2020-06-20, 03:01
Replies: 98
Views: 3,750
Posted By axn
In which case, you'd need to save the current...

In which case, you'd need to save the current iteration, the last verified GEC check (for rolling back), and the current GEC cumulative product. Still 3 needed.

I'm wondering now how you're...
Forum: News 2020-06-19, 12:06
Replies: 98
Views: 3,750
Posted By axn
You need 3 in the worst case -- current...

You need 3 in the worst case -- current iteration, GEC base, and GEC cumulative product. At least, that's what I did for the cudaWagstaff stuff.
Forum: Miscellaneous Math 2020-06-18, 12:19
Replies: 20
Views: 412
Posted By axn
The sum is called aliquot sum...

The sum is called aliquot sum (https://en.wikipedia.org/wiki/Aliquot_sum)
Forum: Math 2020-06-18, 12:05
Replies: 194
Views: 7,813
Posted By axn
How do you know the verifier and author are not...

How do you know the verifier and author are not the same person or that the verifier is not working together with the author? You are "trusting" that the verifier is independent and does not have...
Forum: Math 2020-06-18, 04:59
Replies: 194
Views: 7,813
Posted By axn
Which is why we want to put more burden on author...

Which is why we want to put more burden on author to reduce the burden on the single central verifier.

Then we're back to square one. With the central verifier approach, we are able to avoid...
Forum: News 2020-06-17, 13:39
Replies: 98
Views: 3,750
Posted By axn
Yes. That is also part of the goal. Verification...

Yes. That is also part of the goal. Verification validates that the work was done and was done correctly.
Showing results 1 to 25 of 1000

 
All times are UTC. The time now is 13:52.

Sun Jul 12 13:52:07 UTC 2020 up 109 days, 11:25, 0 users, load averages: 1.64, 1.52, 1.41

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.