nestorD

44 ms·

331.
by nestorD 6y ago
JAX does JIT compilation which is not done by Cupy so you get better performance by fusing operations and compiling them cleverly ([0] is a good benchmark to get a feeling for the performance of the various options). However, it is a trade-
332.
by nestorD 6y ago
JAX can be used as a drop-in replacement for numpy but it enables JIT compilation (similarly to numba) and, more important, very efficient GPU compilation. Numba is great for CPU-only code, JAX would be my goto solution to add GPU on top of
333.
by nestorD 6y ago
Note that Ionide, while the recommended VS Code plugin, is not a Microsoft product (it is mostly the work of Krzysztof Cieslak).
334.
by nestorD 6y ago
Slate star codex has an article I found good at covering both side of whether high saturated fat is good or not: https://slatestarcodex.com/2020/03/10/for-then-against-high-...
335.
by nestorD 6y ago
Having a macro to convert a Rust-like DSL (with a focus on iterators to replace Futhark's higher order functions) to GPU via a Futhark-like compiler is doable and something I would love to see done. It could be the rayon of GPU computi
336.
by nestorD 6y ago
Not perfect between English and French but certainly great. The possibility to insert your corrections in the suggested translation and let the algorithm rewrite the following text make it a huge time saver when one needs to do a translatio
337.
by nestorD 6y ago
I would also recommend Writer on Writing by Peter Clines [0]. He is very practical, which I like, while covering a lot of subjects in a funny and easy to digest way. [0]: http://thoth-amon.blogspot.com/
338.
by nestorD 6y ago
My variation on that is realizing that I know have enough money to buy the expensive, specialized, books I want to read without having to debate it with myself. Getting one or two book I love every month fills me with both joy and knowledge
339.
by nestorD 6y ago
On random numbers, I found the ideas behind "Parallel Random Numbers: As Easy as 1, 2, 3" [0] (which is implemented in JAX) interesting. Their generator is a mapping between keys and random numbers which get rid of the sequential
340.
by nestorD 6y ago
Here is the online book with its documentation and some usage examples: https://docs.optaplanner.org/7.44.0.Final/optaplanner-docs/h...
341.
by nestorD 6y ago
I have seen similar parking spaces (more than one) at Strasbourg University.
342.
by nestorD 6y ago
As usual, Rust has a crate for that: https://crates.io/crates/float-cmp
343.
by nestorD 6y ago
I had a similar experience doing translations. It made me a lot more aware to the fine detail of the text and sensible to the author's specificities.
344.
by nestorD 6y ago
It is fast while having the best type inference capacities I ever saw in a programming language: you can spend years in a static language without ever writting a type (my one exception is deserialization which makes sense).
345.
by nestorD 6y ago
I like the Linked-list crate [0] from contain.rs [1] (a collection of Rust datastructure) as it has a cursor which is the thing I miss in the std implementation. [0]: https://crates.io/crates/linked-list [1]: https:&#
346.
by nestorD 6y ago
The word "just" in "it just took a reset in conventions" was intended as ironical (but it might not come across clearly in the text). A change of conventions is a large change that is no trivial matter to undertake.
347.
by nestorD 6y ago
As others have said, I believe the lack of depth in medieval art is much more a matter of conventions than a matter of lack of theory or physical abilities (see [0]). The one thing that convinced me of that is the sudden jump in realism in
348.
by nestorD 6y ago
> gay/bi people can get cleared, as long as they are open about it That's what I have been told is the current policy in France. As long as you cannot be blackmailed with it, it is good.
349.
by nestorD 6y ago
But what would sqrt(-1) output ? Also, we are seeing the first papers trying to do numerical analysis of posit computations and... it is not better than IEEE-754, just different. Probably a better default for 16 bits arithmetic but highly d
350.
by nestorD 6y ago
3: I use the Substital extension which can overlay subtitles over a youtibe video (over most video players in fact).
351.
by nestorD 6y ago
It is mathematicaly possible but has not been for a very long time. Darcs algorithms suffer from complexity problems that have now been theorically solved, Pijul implements those new algorithms in the hope of getting both a good runtime and
352.
by nestorD 6y ago
Some people in the comments are missing the point, Neural network can be used to model the rules of the game of life (and the researchers proved it by finding a set of weights that does just that). But, starting from a random position in
353.
by nestorD 6y ago
I have seen a video of the experience being reproduced in a trustworthy setting so I personally trust it.
354.
by nestorD 6y ago
There are torch bindings that are used by some users but what I personaly would like is a JAX clone built on top of Rust. I see a way to do it [0] but... I already have a PhD to finish. [0]: a macro compiling functions into an intermediate
355.
by nestorD 6y ago
Note, however, that it has an extremely large period which is a need for some specific applications (but I do agree that, for most use cases, it should be avoided).
356.
by nestorD 6y ago
If she is mathematically minded I would not be afraid of letting her learn with it (note that the corresponding course taught by the original authors is also available in video somewhere on the web and that you can use the SICP dialect with
357.
by nestorD 6y ago
Here the train set was only 1000 proofs (with an average of 90 steps per proof) so it is decidely a small dataset (but highly structured and noiseless).
358.
by nestorD 6y ago
Milton Erickson did some interesting studies on using hypnosis to get subjective time to go slower for his subject (Time Distortion in Hypnosis: An Experimental and Clinical Investigation). The interesting part is that it works and has meas
359.
by nestorD 6y ago
I am wondering about the differences with CamemBERT which is another BERT for the french language: https://camembert-model.fr/#about
360.
by nestorD 6y ago
I was about to recommend Real, it is a gem (and does not read like most sport manga, you are following characters in their paths rather than rooting for a team in a competition).

More ›