mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 1000
Search took 0.50 seconds.
Search: Posts Made By: axn
Forum: Chess 2020-07-02, 11:38
Replies: 39
Views: 4,868
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: 378
Views: 31,493
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: 41,820
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: 212
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: 194
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: 1,957
Posted By axn
Lowlife? WTF?

Lowlife? WTF?
Forum: PrimeNet 2020-06-26, 17:01
Replies: 348
Views: 18,463
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: 431
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: 235
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: 378
Views: 31,493
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: 639
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: 205
Posted By axn
904:[1, 7, 1]:823545

904:[1, 7, 1]:823545
Forum: News 2020-06-21, 04:22
Replies: 87
Views: 3,058
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: 87
Views: 3,058
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,191
Views: 45,367
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: 87
Views: 3,058
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,191
Views: 45,367
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: 87
Views: 3,058
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: 87
Views: 3,058
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: 401
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,483
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,483
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: 87
Views: 3,058
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.
Forum: kriesel 2020-06-15, 17:31
Replies: 14
Views: 550
Posted By axn
My suggestion would be to create the polls in...

My suggestion would be to create the polls in appropriate (sub)forums and have one single index thread in your blog area that you can maintain, rather than creating polls in your blog area and having...
Forum: kriesel 2020-06-15, 11:13
Replies: 14
Views: 550
Posted By axn
Use your good judgement. Don't let perfect be the...

Use your good judgement. Don't let perfect be the enemy of good enough


... possibly indicating that the poll is trying to do too much. Again, use you judgement to pick the most appropriate one
...
Showing results 1 to 25 of 1000

 
All times are UTC. The time now is 04:58.

Sun Jul 5 04:58:48 UTC 2020 up 102 days, 2:31, 1 user, load averages: 1.03, 1.07, 1.11

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.