ทวีตที่ปักหมุด
'(Robert Smith)
15.6K posts

'(Robert Smith)
@stylewarning
Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Los Angeles, CA เข้าร่วม Ağustos 2010
277 กำลังติดตาม5.1K ผู้ติดตาม

@reggieperry If the GC isn't parallel then whenever a GC happens, all threads are stopped.
English

@stylewarning I’m not up on SBCL internals. Will parallelization be hurt if the garbage collector isn’t parallel/concurrent?
English

@reggieperry I mean it would be direct syntax, but the principle is the same: give some guidance on how you want a loop to be dealt with
English

@stylewarning Why use annotations instead of direct syntax? Those other guys need pragmas and suchlike because of the limitations of their languages.
English

@stylewarning @run_guns @nicbarkeragain Code should read like prose, or as close to it as possible. Any language incapable of that, or which flies in the face of that goal, is bad from the start.
English

@Frinklang Oh yeah, for the tremendous respect I have for GMP, I hate the interface.
English

@stylewarning @jamesladd I think that GMP's performance is what we should all aspire to! (You may have beaten it already LOL.) But definitely not its interface. I spent 11 years getting the Java people to let me make BigInteger and BigDecimal faster and I gave up LOL. Threads:
x.com/aeliasen/statu…
∀lan ∃liasen@aeliasen
Happy Pi Day! (3/14) I sorta forgot it was going to be Pi Day, so I'm getting a late start on calculating digits of pi. Here's my thread on calculating 101 million digits of pi from last year. Can I do it faster this year? twitter.com/aeliasen/statu…
English

10 billion digits achieved. 1 week of fixing very difficult numerical, multithreading, verification, memory/disk management bugs; modest hardware upgrades; and speed issues that were attacked by improving SBCL further.
On to 100 billion.... if I have enough disk... and time...

'(Robert Smith)@stylewarning
Using Lisp/Coalton and just broke the billion digit barrier of pi after a head-scratching day where I was getting wrong digits 130M in. (Ran single-threaded for debug, but still finished in just 2 hours.) Now on to getting 10B.
English

@stylewarning making proramming language gjijnka / pl-tan yaoi is definitely a normal hobby for people to have ,right?
English

@stylewarning i got gemini to make me a saucier version of C++ / Rust FFI yaoi but idk if i should share it [again]
English

@Frinklang @jamesladd If you checkpoint the series it works, as it looks like you do. If you only have the digits, I wrote a program that does a nonic fix point convergence (given N correct digits, produce 9N correct digits). jury's still out of it can be made faster than simply recomputing chudnovsky
English

@stylewarning @jamesladd The more recommended version is this one which is more complicated but *resumes* calculations when you ask for more digits. If you calculate a million digits of pi, and then a million + 10 digits, it resumes the calculation efficiently.
frinklang.org/fsp/colorize.f…
English

@scheminglunatic i want fast code that's not shitass C++ whilst larping as a functional programmer (left) who himself is larping as a functional programmer (right)


English

@stylewarning That is fascinating, I think. Please, tell me more.
English

@Frinklang @jamesladd very cool, didn't know this existed :D
English

@stylewarning @jamesladd Nice! Thanks for the implementation. Frink's "simple" implementation uses binary splitting which of course makes the implementation incomprehensible but is pretty readable as near-normal mathematical notation:
frinklang.org/fsp/colorize.f…
English

@Frinklang @jamesladd it compiled fine for me ca. a week ago.
and i'm happy we can read the source of GMP. many of the authors contributed great literature too, like Zimmermann's MCA: members.loria.fr/PZimmermann/mc…
It can be terse mathematics and computer programming, but at least it's available
English

@stylewarning @jamesladd And then fix the compilation errors for a modern compiler LOL
English

@Frinklang @jamesladd mostly same algo in Coalton, but it's just as uncommented and cryptic 😔 #L554" target="_blank" rel="nofollow noopener">github.com/coalton-lang/c…
at least we link a paper to learn about binary splitting :D
English

@stylewarning @jamesladd My friend, I have tried to understand that cryptic uncommented code for the last decade LOL
English

@Frinklang @jamesladd (alternative: compile gmp-chudnovsky.c in one short command on any platform and read the source code to learn about it: gmplib.org/pi-with-gmp)
English

@Frinklang @jamesladd (so long as you have a windows or linux intel machine and you're into running closed source binaries)
English




