fluffy87

8 ms·

31.
by fluffy87 6y ago
See my reply to masklin in this thread for why this is incorrect. In release mode, the behavior of integer overflow in Rust is not UB/cannot happen, but modulo two arithmetic. These two are not the same thing.
32.
by fluffy87 6y ago
That’s unfortunately incorrect. That flag does not turn integer overflow into UB, which is what allows the C++ optimizations that assume it cannot happen, and can be used to prove that loops terminate, etc. That flag changes the behavior of
33.
by fluffy87 6y ago
Note that Rust also traps on integer overflow, and it is trivial to „hack“ the compiler to disable this, and many have done so. While on this microbenchmark you see a 3x slowdown with the LLVM backend, on large Rust projects like servo, Fir
34.
by fluffy87 6y ago
Probably whatever motor is Bosch selling to the highest bidder. You don’t really hear much about Bosch because it’s not on the stock market. But they have a couple of huge research centers worldwide and their tech is used by every auto manu
35.
by fluffy87 6y ago
Which threat? NVIDIA already licenses and sells arm cores. Arm is already part of their products.
36.
by fluffy87 6y ago
No you are wrong. People living there have had children or have children. Everybody knows when making an exception is ok or not, or when the allocated trash associated to a household must be increase. The assumption that people living there
37.
by fluffy87 6y ago
What was the back of the envelope calculation that suggested this would work?
38.
by fluffy87 6y ago
Unit tests are a bad fit, you need to run a test that is representative for an actual work load. A unit test that tests code that’s cold in practice would make it look like hot code, and be counter productive.
39.
by fluffy87 6y ago
Rust does support PGO
40.
by fluffy87 6y ago
KDE and Gnome Support Nvidia drivers on wayland.
41.
by fluffy87 6y ago
I’ve used ATS, Idris and Rust, and I find ATS way more cumbersome to use for writing proofs than idris. I’ve never used ATS to do what the GP is suggesting of incrementally wrapping C with proofs, but I can’t imagine this being simpler than
42.
by fluffy87 6y ago
Can you do an AMA? Why did you create lithium? How long have you been working on it? What do you do professionally? What are your plans for it?
43.
by fluffy87 6y ago
Those who work on these frameworks, and those interested in http framework benchmarking. Some of the ideas developed in these frameworks percolate down to the PLs that use them and to the libraries they use, which benefits everyone. These f
44.
by fluffy87 6y ago
2x faster than the Actix Rust framework. Rust, C++ just said “hi” to you again, it’s on. Time to make Actix fast.
45.
by fluffy87 6y ago
Alternatively, just use geometric algebra instead of quaternions.
46.
by fluffy87 6y ago
The actual Modern C++ design book from Alexander’s ci is about custom allocators and performance. The irony.
47.
by fluffy87 6y ago
Is there a way to make these data structures hardware friendly? So that SIMD instructions can be used, memory is traversed continuously, without multiple pointer indirections, etc? Are there any blogposts about this?
48.
by fluffy87 6y ago
I don’t even need access. Just need verified MLPerf results.
49.
by fluffy87 6y ago
Which formats are notes exported to? Can they be exported to markdown + latex + images?
50.
by fluffy87 6y ago
GraphCore has been claiming to be a generation further than the comptetition for over 3 years already. This is easy to do when you don’t have to use any standard benchmarks (MLPerf) and do not allow anybody to verify any claims.
51.
by fluffy87 6y ago
When will GraphCore enter MLPerf and let the industry verify their claims? Until then, it’s vapor ware. I’d refer to this comment https://news.ycombinator.com/item?id=21530810
52.
by fluffy87 6y ago
Also the A100 is cheaper, and it’s perf is verified by MLPerf. GraphCore’s claims are just that, claims. Some of these have been debunked already by people with access to the hardware (eg promised 10x speed ups were more like 1x).
53.
by fluffy87 6y ago
They can already do that without having to buy ARM. I think they would be expending the money to grow their CPU team. The ARM engineers would be working on making Nvidia CPUs better, neglecting “public” ARM cores. This would hurt small fish
54.
by fluffy87 6y ago
GPUs have excellent support for branches. Pascal has divergent thread execution, Volta added forward progress guarantees, Ampere improves on this further. There is a lot of research about doing databases on GPUs, and Apache Spark runs on GP
55.
by fluffy87 6y ago
This is precisely what happens if you have a dynamic array and you grow it with a growth factor of 2.
56.
by fluffy87 6y ago
I wonder how it can auto generate safe bindings for C++. To do that, it would essentially need to literally prove that the C++ code is thread and memory safe, which is an open research problem at Best, and probably impossible since it requi
57.
by fluffy87 6y ago
Definitely illegal. This is fraud.
58.
by fluffy87 6y ago
You can use ParaView from Jupiter just fine ? You can even embed its views, pipelines, controls, make interactive notebooks, etc...
59.
by fluffy87 6y ago
This is the scariest part of using machine learning as an engineer on any practical application as well. Without an error bound, ML can’t be in charge of anything that could put human lives at risk. This is also why I don’t understand all t
60.
by fluffy87 6y ago
The claim that CMake is the least worst C++ build system that we have is pure BS. In my last 3 professional C++ projects I’ve actually used Rust’s cargo tool as my build tool for C++ code. Infinitely better than CMake, plus you use Rust as

More ›