mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 1000
Search took 0.49 seconds.
Search: Posts Made By: Batalov
Forum: And now for something completely different 2022-05-26, 01:31
Replies: 124
Views: 6,043
Posted By Batalov
Good! Just an idea borrowed from molecular...

Good!

Just an idea borrowed from molecular modeling -- I also think some imitation of Simulated annealing (https://en.wikipedia.org/wiki/Simulated_annealing) might help. Simply put, early in a...
Forum: And now for something completely different 2022-05-24, 23:57
Replies: 124
Views: 6,043
Posted By Batalov
That's the same what Andreas wrote - paths are...

That's the same what Andreas wrote - paths are different on various architectures (likely only gated by number of threads/workers). I'd sent him the complete .cert1 and corresponding log file so he...
Forum: And now for something completely different 2022-05-24, 05:20
Replies: 124
Views: 6,043
Posted By Batalov
I recently built a rather involved package for R...

I recently built a rather involved package for R (it is called leafcutter, if anyone is interested); so for it, I'd built ...well - everything. Because many of its prereqs (if I count them now, it's...
Forum: And now for something completely different 2022-05-24, 02:04
Replies: 129
Views: 33,017
Posted By Batalov
Reservation: I will do a few more primU(),...

Reservation: I will do a few more primU(), primV(), primeA() and primB()'s.

For those who don't know what these are, you are not missing anything.
Forum: And now for something completely different 2022-05-23, 23:25
Replies: 124
Views: 6,043
Posted By Batalov
0.4.1dev works well. (Specifically...

0.4.1dev works well. (Specifically cm-0.4.1dev-41c4bce )

Latest news, UTM was updated with the new proof root code change called "E*" (https://primes.utm.edu/bios/code.php?code=E1); and CM was...
Forum: Lone Mersenne Hunters 2022-05-23, 20:39
Replies: 2,143
Views: 315,013
Posted By Batalov
That is indeed a good factor! Cross-post it...

That is indeed a good factor!

Cross-post it in the "(Preying for) World Record P-1" thread :rolleyes:
Forum: FactorDB 2022-05-22, 23:48
Replies: 545
Views: 101,590
Posted By Batalov
The revenge of ...

The revenge of ...
Forum: Soap Box 2022-05-22, 21:53
Replies: 34
Views: 677
Posted By Batalov
.

.
Forum: Lounge 2022-05-19, 22:45
Replies: 1,063
Views: 101,100
Posted By Batalov
S7Y9ZQhzVgY Okean Elzy is a prominent...

S7Y9ZQhzVgY

Okean Elzy is a prominent Ukrainian band. This clip is 9 years old. The song is ok-ish but ...watch the video :rollleys:
Forum: Miscellaneous Math 2022-05-19, 21:33
Replies: 8
Views: 532
Posted By Batalov
It only cuts what work by 1/8th?

It only cuts what work by 1/8th?
Forum: And now for something completely different 2022-05-16, 18:02
Replies: 124
Views: 6,043
Posted By Batalov
Welcome, Andreas! :thumbs-up:

Welcome, Andreas!
:thumbs-up:
Forum: And now for something completely different 2022-05-15, 19:53
Replies: 124
Views: 6,043
Posted By Batalov
I diffed all *.c and *.h files between two...

I diffed all *.c and *.h files between two branches (and there were only 2 *.c files) - and then moved them to the branch were last build was. And then rebuilt there.
This is admittedly simplistic,...
Forum: And now for something completely different 2022-05-13, 22:56
Replies: 124
Views: 6,043
Posted By Batalov
The 50001-digit cert verified in just a day or...

The 50001-digit cert verified in just a day or two. I've seen some Primo certs (much smaller) to take way longer to verify.
Forum: And now for something completely different 2022-05-13, 22:52
Replies: 124
Views: 6,043
Posted By Batalov
Arrow Reposting an update from Andreas (this is re:...

Reposting an update from Andreas (this is re: "some stage 1 steps may search quite long"; now shorter)

Refresh your copy of the code. - the corresponding version can also be downloaded as a...
Forum: And now for something completely different 2022-05-12, 22:19
Replies: 124
Views: 6,043
Posted By Batalov
Lightbulb Interesting bits of advice from Andreas (and...

Interesting bits of advice from Andreas (and Bill):
1. Because libpari is built into the code, the -n '<value>' expression can also use Pari functions, and perhaps even complex statements, like...
Forum: And now for something completely different 2022-05-12, 02:18
Replies: 124
Views: 6,043
Posted By Batalov
Implementation is closed source (pssst: it is...

Implementation is closed source (pssst: it is coded in Pascal for some reason, Primo, that is) but the certificate format is well described and community accepted. It describes the curve and point...
Forum: And now for something completely different 2022-05-11, 20:07
Replies: 124
Views: 6,043
Posted By Batalov
I will write to him. (I've also already invited...

I will write to him. (I've also already invited him to join the forum. There is a good source of debug/improvement cases here for him.)

So far, I had good exchange about the backtrack (indeed, in...
Forum: Programming 2022-05-10, 22:53
Replies: 12
Views: 597
Posted By Batalov
bash N=3 for i in `seq 1 $N`; do echo...

bash
N=3
for i in `seq 1 $N`; do
echo '[Worker #'$i']'; awk 'a++%'$N'=='$i'-1' input.txt
done > output.txt
Forum: chalsall 2022-05-10, 05:27
Replies: 24
Views: 920
Posted By Batalov
I don't think you really get it. What happened...

I don't think you really get it. What happened was only that a bouncer told you to go and do your best impression of Walter Sobchak ranting about the U.S.of A. someplace else - other than the place...
Forum: And now for something completely different 2022-05-09, 20:41
Replies: 124
Views: 6,043
Posted By Batalov
I found an interesting feature in this...

I found an interesting feature in this implementation - it doesn't back-track. Could be something that is left for later work. This has a downside of sometimes taking more time in one single step...
Forum: chalsall 2022-05-09, 05:02
Replies: 24
Views: 920
Posted By Batalov
If you haven't buried it, don't call it dead yet.

If you haven't buried it, don't call it dead yet.
Forum: Science & Technology 2022-05-08, 20:49
Replies: 6
Views: 441
Posted By Batalov
Exactly. Suppose you have 2 Eb of MRI/CAT...

Exactly.

Suppose you have 2 Eb of MRI/CAT scans (or all genomes of the population of Iceland and/or England). What have you learned, simply from that? Not much.
What have you learned from double...
Forum: And now for something completely different 2022-05-08, 19:02
Replies: 124
Views: 6,043
Posted By Batalov
Excellent. I'll write to Markus - he could tweak...

Excellent. I'll write to Markus - he could tweak his intake script.

I will also suggest him to automate the situation that someone would submit Pari-formatted cert, as well.
Pari-formatted cert...
Forum: And now for something completely different 2022-05-08, 05:36
Replies: 124
Views: 6,043
Posted By Batalov
Correct, primecertexport(C,1) goes 99% of the way...

Correct, primecertexport(C,1) goes 99% of the way toward FactorDB compatibility, but not all the way.

I actually blame FactorDB implementation (it surely doesn't use Primo to validate). I suspect...
Forum: And now for something completely different 2022-05-08, 01:16
Replies: 124
Views: 6,043
Posted By Batalov
If one likes to watch the paint dry, it does show...

If one likes to watch the paint dry, it does show you the drying paint. Look --
time mpirun ecpp-mpi -g -n '(2^43081+1)*3/(2^643+1)/(2^67+1)/6879834114993710683' -c -f cert-12k &> 12k.log &

tail...
Showing results 1 to 25 of 1000

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


Fri May 27 06:38:29 UTC 2022 up 43 days, 4:39, 0 users, load averages: 0.98, 0.90, 0.99

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

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