jdb1729

6 ms·

1.
Carmichael numbers are quickly findable (Lean-verified) [pdf](jdb19937.github.io)
1 points by jdb1729 8d ago|1 comments
2.
by jdb1729 8d ago
Here it is proved that for all epsilon > 0 and sufficiently large n there exists a Carmichael number in the interval (n, n^(1+epsilon)] and furthermore it can be found along with its full factorization in time exp(O(log(log(n)) * log(log
3.
by jdb1729 12d ago
Ita, feedbackum acceptum! Thanks for taking the tempum to check it out, also to whomever gave the astra!
4.
by jdb1729 12d ago
One way I felt the prerogative to influence it was in choice of vocabulary, for example "files" are plicae, non fasciculi, brevity FTW. I have a (private) CLAUDIUS.md file where I accumulated such guidance. Frankly I can't
5.
by jdb1729 15d ago
Sic itur ad astra! I spent some time and tokens generating these C99 applications and libraries all in classical Latin: https://github.com/jdb19937/apotheca . They all build with this C99 compiler + arm64 assembler +
6.
by jdb1729 1mo ago
Four dozen + 1 = 7^2 years ago, our fathers received a signal...
7.
by jdb1729 3mo ago
I assume that too. But I might be over median!
8.
by jdb1729 5y ago
Here is an argument I made that it is NP-complete to determine if a number n is the product of two numbers that differ by less than the fourth root of n: https://cstheory.stackexchange.com/a/37439
9.
by jdb1729 5y ago
5.5 bits is also the average information content of a single run of the GHZ experiment. In this setup three parties independently choose a binary detector setting and each observe a binary outcome. The first two parties observe an indepen
10.
by jdb1729 6y ago
Yes, you can zoom in the map to see the generated details.
11.
Show HN: World Does Not Exist(makemoresoftware.com)
2 points by jdb1729 6y ago|3 comments
12.
by jdb1729 6y ago
Check out my new generative world map! It uses an iterated resolution-doubling conditional GAN currently trained on Van Gogh's collective works. Each zoom level takes 5-10 seconds to generate if not already cached so please be patien
13.
Planet Does Not Exist(makemoresoftware.com)
1 points by jdb1729 6y ago|0 comments
14.
by jdb1729 7y ago
I've been building this site over the last year. An autoencoder reduces user-submitted images ("peaple") down to 3KB and reconstructs them at 128x128 using pixel loss, then they are sent through a series of GAN-trained upscal
15.
Show HN: Peaple.io, the Synthetic Social Network(peaple.io)
5 points by jdb1729 7y ago|1 comments