mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > News

Reply
 
Thread Tools
Old 2022-10-11, 03:16   #331
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
"name field"
Jun 2011
Thailand

282116 Posts
Default

Quote:
Originally Posted by Xyzzy View Post
My concern is more on the "send the proof now!" button. Waiting for it to be sent kills me (but I understand some other people mat want to limit the traffic).
LaurV is offline   Reply With Quote
Old 2022-10-12, 01:54   #332
ixfd64
Bemusing Prompter
 
ixfd64's Avatar
 
"Danny"
Dec 2002
California

2×29×43 Posts
Default

Half-serious, very low-effort idea: all stable Prime95 releases should have a code name based on a place George wants to visit for vacation.

Last fiddled with by ixfd64 on 2022-10-12 at 01:57
ixfd64 is offline   Reply With Quote
Old 2022-10-18, 16:36   #333
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

3·23·59 Posts
Default

Quote:
Originally Posted by Prime95 View Post
I too have felt the need for a proof status web page. We'll write one sooner or later.
I think 26 months qualifies as "later" (in my defense, George only asked me a week ago), but it's here now:
https://www.mersenne.org/report_proof/
Exponent report has also received some upgrades.

Last fiddled with by James Heinrich on 2022-10-18 at 16:37
James Heinrich is offline   Reply With Quote
Old 2022-10-18, 18:22   #334
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

162728 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
Nice. Please include a count, as you have done on some other reports.
It truncates results at 100 items beginning at lowest exponent, but does not say it is truncating output.
It wasn't clear at first I needed to enter a PrimeNet user name (mine) to get non-null results in some cases.
The ability to sort by date or user by clicking on column headings as offered in some other reports would be a nice addition here too.
I've already found one wayward proof file not uploaded for 2 weeks, since relocated & should be uploading, as a result of this new report option.

It's not clear to me how https://www.mersenne.org/report_expo...6828523&full=1 could have had a successful cert for the 2022-02-21 prp yet it is indicated as having no proof file uploaded
kriesel is online now   Reply With Quote
Old 2022-10-18, 19:50   #335
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

3×23×59 Posts
Default

Quote:
Originally Posted by kriesel View Post
Please include a count, as you have done on some other reports.
It truncates results at 100 items beginning at lowest exponent, but does not say it is truncating output.
Fixed.

Quote:
Originally Posted by kriesel View Post
It wasn't clear at first I needed to enter a PrimeNet user name (mine) to get non-null results in some cases.
Be more specific, please?

Quote:
Originally Posted by kriesel View Post
The ability to sort by date or user by clicking on column headings as offered in some other reports would be a nice addition here too.
It would, but a combination of column/row spanning tables, along with MSSQL weirdness, has thwarted all my attempts at making a useful sort-by, sorry.

Quote:
Originally Posted by kriesel View Post
It's not clear to me how https://www.mersenne.org/report_expo...6828523&full=1 could have had a successful cert for the 2022-02-21 prp yet it is indicated as having no proof file uploaded
Likely something in the database got out of sync. Clearly the proof was uploaded if it was certified. That's something George would need to look into, it's possible there are others in that state.
James Heinrich is offline   Reply With Quote
Old 2022-10-18, 20:08   #336
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

2×3,677 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
Be more specific, please?
Starting from the generic URL, click in 'Show results from:' 'PRP'. Then new fields appear to its right;[login id or public name]me.
It wasn't clear that it required entry of my PrimeNet userid, since it already had added 'me'. Or that 'me' was clickable. Maybe an alternate color or underline on 'me' would have helped.

Last fiddled with by kriesel on 2022-10-18 at 20:10
kriesel is online now   Reply With Quote
Old 2022-10-18, 20:54   #337
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

3×23×59 Posts
Default

Quote:
Originally Posted by kriesel View Post
It wasn't clear that it required entry of my PrimeNet userid, since it already had added 'me'. Or that 'me' was clickable. Maybe an alternate color or underline on 'me' would have helped.
I've made the field required when it is, and changed the "me" link into a button showing your name (when that's not already the value of the field). Hope that's more clear, thanks for the feedback.
James Heinrich is offline   Reply With Quote
Old 2022-10-18, 21:07   #338
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

22·5·7·79 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
It would, but a combination of column/row spanning tables, along with MSSQL weirdness, has thwarted all my attempts at making a useful sort-by, sorry.
Subquery? Please forgive me if I'm telling you how to chew gum.

Also, huge . Nice report.
chalsall is offline   Reply With Quote
Old 2022-10-18, 21:10   #339
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

3×23×59 Posts
Default

Quote:
Originally Posted by chalsall View Post
Please forgive me if I'm telling you how to chew gum.
You linked me to a MySQL tutorial. If it was MySQL I wouldn't complain. MSSQL likes to be weird.
James Heinrich is offline   Reply With Quote
Old 2022-10-18, 21:16   #340
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

254648 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
MSSQL likes to be weird.
Ahh... I now grok. Sucks to be you... 9^)

Last fiddled with by chalsall on 2022-10-18 at 21:17 Reason: s/know/now/; # Only human...
chalsall is offline   Reply With Quote
Old 2022-10-18, 22:23   #341
Flaukrotist
 
Sep 2020
Germany

558 Posts
Default Bug report

Thanks James. This new report is great. There seems to be some glitch in some lines though (see marked in attached image).
Attached Thumbnails
Click image for larger version

Name:	Screenshot 2022-10-19 001856.png
Views:	100
Size:	131.4 KB
ID:	27468  
Flaukrotist is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Your help wanted - Let's buy GIMPS a KNL development system! airsquirrels Hardware 313 2019-10-29 22:51
Is GMP-ECM still under active development? mathwiz GMP-ECM 0 2019-05-15 01:06
LLR 3.8.6 Development version Jean Penné Software 0 2011-06-16 20:05
LLR 3.8.5 Development version Jean Penné Software 6 2011-04-28 06:21
LLR 3.8.4 development version is available! Jean Penné Software 4 2010-11-14 17:32

All times are UTC. The time now is 06:59.


Fri Jan 27 06:59:55 UTC 2023 up 162 days, 4:28, 0 users, load averages: 0.73, 0.77, 0.82

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, 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.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔