Viewing profile — silentvoice

Almost no part of the algorithm as specified in the blog post is GPU friendly, but it can be improved. The "symbolic" phase is very hard to port to the GPU in the first place and a…

what are some bad behaviors you've seen with NFS,ZFS,RAID and how do you diagnose it and how did it lead you to this solution

I have no submission for this but I joined the hype in my own way by optimizing the training loop. These tiny models are not really well suited to frameworks like pytorch, and with…

oh boy I've got opinions here. Basically I just don't want to hear about "the state of SIMD in Rust" unless it is about dramatic improvement in autovectorization in the rust compil…

There are two sides to numerical linear algebra. The first is the "linear algebra" part, which is very mathematically sophisticated and the language you choose to represent these c…

Thanks! The chunks trick was a fairly straightforward translation of what I would do in C++ if the compiler wouldn't vectorize the reduction for some reason. These days most compil…

Hi I wrote the blog post linked - and I feel a little silly that I didn't check that _both_ loops vectorized. So I fixed the Rust implementation to keep a running vector of partial…

I wasn't clear enough. I was responding to the flow of comments of the form: "Riemann hypothesis is hard, this is unlikely to be true." Sure it's true, but doing a little more rese…

Coming from a PhD in math I can give this good trick for assessing grand mathematical claims: Google the authors. Maybe unfair to intelligent amateurs, but based on my decade of ex…

Maybe a better term should be "blind" rather than black-box. I think the goal is simply to hold optimization to the same level of reproducibility that is expected of most scientifi…

How is this for "performance portability?" I use this solution in C when the function is very expensive, therefore a little extra indirection really won't make any difference - but…

Curious it doesn't mention C11's __Generic macro. A very nice way to achieve a lot of useful "overloading" behavior. http://en.wikipedia.org/wiki/C11_%28C_standard_revision%29

The idea of using DSLs in this field is attractive. The amount of math you have to hold in your head to really start talking about large scale simulations is staggering, and it get…

Very handy formula. I was recently in the situation of being given a bunch of polygons, each represented in a list-of-edges format and I needed to compute the outward-pointing norm…

Symbolic math is not the same thing as formalized math, and doesn't carry with it the same guarantees of correctness. That's the price one pays for having black box functions spit …

Could someone comment on the following C++14 feature on the list here: "Avoiding/fusing memory allocations" It lists Clang but nothing else as supporting it. This sounds like a com…

The lack of price transparency and emergence of 3rd party system was direct result of heavy regulations on health care dating back to WW2, and was slowly solidified into law throug…

I don't know how useful it will be in the end. The idea of targeting a powerful (proper) subset of turing completeness to produce fast executables makes a lot of sense to me, and f…

It's a little bit of a misrepresentation on the part of the presenter. BLAS is a specification for linear algebra software, of which implementers are free to use the most appropria…

Did the author claim Morte was Turing-complete? I don't think I saw that claim, but I'm a newcomer to all this computer science theory stuff. I think these Wikipedia links answer y…

Is this a proper excuse for me to enjoy the sun more every day?

Did I read this right? The thesis was: Psychopathy may be correlated with higher IQ. Tests were done, except the psychopathic responses were recorded on the lower IQ responders, no…

Matrix multiplication is one of the most abused computational kernels when showing off cache locality and vectorization optimizing compilers. Unfortunately very few scientific code…