Viewing profile — LightMachine

The search space I'm using is that of all functions of a given dependent type. That allows you to make the search space by using a strong enough type. For example, if you search fo…

It will just return the smallest function that passes your tests. It works by enumerating ALL possible functions and running them. Obviously, that naive approach is exponential, so…

Uhm author here. Not sure why this tweet is on Hacker News, as it is just a non-technical "blog post". But I've posted a follow-up today with some code and details, if you're curio…

While it is not fast in a single-thread, it is still 5x-7x faster than Node.js today for programs that are allocate a lot. If all you want is to run a program faster, and doesn't m…

That is actually an amazing idea. I'll adopt it.

It is not in alpha, nor not ready. You can use it in production today, if you want to. It is just not fast . That is different. CPython is still 100x slower than C, and is widely d…

I agree... Just a note: we are NOT 10x slower than Python. I think a lot of people got the wrong message from this thread. HVM is actually quite fast already. It is just that, on t…

I really appreciate the feedback, but the claim is that the performance scales linearly with cores, and it does. Also that it runs on GPUs, and it does. Yet, asking what is its "fl…

This is on CPU vs GPU. A GPU core (shading unit) is 100x weaker than a CPU core, thus the difference. ON the GPU, HVM's performance scales almost 16000x with 16000x cores. Thus the…

I really think I take criticism well... The problem is that people were criticizing us for not doing things that were literally done on the second paragraph. So at this point it di…

I have no idea what you're trying to convey, but I'm Victor Taelin. Also very cool comment on that thread, hypothesizing on whether we'd be able to ever run it on GPUs. We did it! …

Thanks for the feedback. Some corrections: We do use multi-level caching, and you can achieve 5x higher performance by using it correctly. FFI is already implemented, just not publ…

You're comparing CPU cores to GPU cores! It is "only" 50x because a single GPU core is 100x weaker than a CPU core! Within CUDA cores, it is actually a linear speedup! It does 2k M…

But it literally says we believe it is the future of parallel computing! If it was faster than GCC today, we would've written present :')

Thanks for the feedback! Some clarifications: 1. I didn't accuse you of doing something wrong, just that your claim was wrong! It has been proven that Interaction Combinators are a…