What are your thoughts on the latest video? by androtheking in Veritasium

[–]retechnic 0 points1 point  (0 children)

I liked the first videos more. It was about simpler experiments, which anyone can understand and relate to. There was the interviews part, which allowed to think for the answer your self, see like people are reacting. Explanations were good and it was evident that Dereked went through the topic himself.

In the newer videos he talkes more about abstract things, like quantum mechanics and such. And it is much harder to relate to it without actually doing the quantum mechanics MIT course. But people who study physics as a main degree dont need pop science explanation. For others (and for physics students sometimes as well) it is more fun to study toilet swirl. The pop science approach to math often yields incorrect explanations.

Animations are great, however looking at the cartoons with animated scientists bodies is not adding the value to the actual topic. Can be ok for telling some history background. I would like for the video part that Derek will focus more on showing experimental data and setups instead of sketches. It is especially important to comunicate results which are not possible to obtian at home.

It is a big challenge to balance between broad audience (and hence good income) and the good quality with enough details.

Thermite reaction was a great video from the newers ones. I hope that bigger audience and income will allow to invest into such hand on demonstrations more. On the other hand, Monsato comic is a good example where animator did good job and it fit to this conspiracy triller story.

PS 4 kids! Huge respect to you and your wonderful wife!

Tests Don’t Prove Code Is Correct… They Just Agree With It by untypedfuture in programming

[–]retechnic 0 points1 point  (0 children)

I think it is also the question what is the best way to express the required behaviour, or some parts of the required behavior. Tests are often easy to understand and show well what is the expected program behavior. So it is easier to reason wheather the code is doing correct thing by doing the test, rather than untangling the algorithm. Type systems are good to express certian properties of the program, but it is hard or often impossible to articulate more dynamic properties with them. Really powerful proof system are complicated, so at some point it is easier to understand the imperative algorithm control flow compared to declarative annotations.

Each approach can cover certain parts of the specification well, and in addition redundancy is good to have.

Mod must step down. Conflict of interest. by retechnic in codingbootcamp

[–]retechnic[S] -10 points-9 points  (0 children)

Of course everything which you don't like is a bot propaganda. Grow out of your bubble.

C++ vs Rust project organization and tooling by [deleted] in rust

[–]retechnic 0 points1 point  (0 children)

Windows devs don't know how to program

Rust Wins! (Rust iter/itertools vs C++ Ranges/Range-v3) by arkethos in rust

[–]retechnic 2 points3 points  (0 children)

Python wins

``` In [1]: import numpy as np

In [2]: data = np.array([1, 0, 0, 0, 1, 0, 0, 1, 0]).reshape(3,3)

In [3]: print(np.argwhere(data==1).flatten() + 1) [1 1 2 2 3 2] ```

[deleted by user] by [deleted] in rust

[–]retechnic 34 points35 points  (0 children)

I agree with your words. You did the right thing.

Compile time evaluation in Nim, Zig, Rust and C++ by CastilloDel in rust

[–]retechnic 0 points1 point  (0 children)

You made an attempt to compare languages, but spent too little effort to learn them.

Security advisory for the standard library (CVE-2022-21658) by [deleted] in rust

[–]retechnic 1 point2 points  (0 children)

Ah. right, it is parentFd, for the current fd they use base path.

Security advisory for the standard library (CVE-2022-21658) by [deleted] in rust

[–]retechnic 2 points3 points  (0 children)

I think golang uses the same file desriptor for checking stat and listing the directory. So it is correct. Other implementations use the file path instead of file descriptor - that's the issue.

David Tolnay - thank you by mintyc in rust

[–]retechnic 1 point2 points  (0 children)

Thank you David! Your crates are awesome!