mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 1000
Search took 0.47 seconds.
Search: Posts Made By: Batalov
Forum: Factoring 2022-05-29, 05:18
Replies: 63
Views: 1,344
Posted By Batalov
Passive-aggressiveness is a great way to...

Passive-aggressiveness is a great way to influence people and win new friends :rolleyes:
...not.
Forum: And now for something completely different 2022-05-27, 19:05
Replies: 72
Views: 14,526
Posted By Batalov
AP-5 at 13338 decimal digits

Bumped AP-5 high bar a little bit.

https://primes.utm.edu/primes/page.php?id=133987
Forum: And now for something completely different 2022-05-26, 01:31
Replies: 134
Views: 6,600
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: 134
Views: 6,600
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: 134
Views: 6,600
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: 130
Views: 33,227
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: 134
Views: 6,600
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,145
Views: 315,807
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: 549
Views: 101,987
Posted By Batalov
The revenge of ...

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

.
Forum: Lounge 2022-05-19, 22:45
Replies: 1,063
Views: 101,436
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: 539
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: 134
Views: 6,600
Posted By Batalov
Welcome, Andreas! :thumbs-up:

Welcome, Andreas!
:thumbs-up:
Forum: And now for something completely different 2022-05-15, 19:53
Replies: 134
Views: 6,600
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: 134
Views: 6,600
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: 134
Views: 6,600
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: 134
Views: 6,600
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: 134
Views: 6,600
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: 134
Views: 6,600
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: 654
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: 936
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: 134
Views: 6,600
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: 936
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: 443
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: 134
Views: 6,600
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...
Showing results 1 to 25 of 1000

 
All times are UTC. The time now is 12:07.


Sun May 29 12:07:29 UTC 2022 up 45 days, 10:08, 0 users, load averages: 1.05, 1.28, 1.33

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.

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