miguelraz

5 ms·

31.
by miguelraz 5y ago
Added this great quote by Uncle Iroh as a TLDR to the article. https://www.youtube.com/watch?v=drvAftwsTlU
32.
by miguelraz 5y ago
That's fair, but I'm only interested in learning C++ insofar as it helps me understand Julia's internals. I think I did Stroustrup's "Principles and Practice Using C++" for about 12 chapters a while ago; I migh
33.
by miguelraz 5y ago
What is the focus on numerical computing that you think Julia is missing? The ecosystem seems plenty healthy to me. (Maybe PDEs... but those are so close!) It's not uncommon for good Julia codes to smoke Fortran codebases, like the Dif
34.
by miguelraz 5y ago
Well, my book on Learn LLVM 12 by Kai Nacke should have arrived today, so I'm not out of the C++ woods just yet. Thanks, cheers to you too!
35.
by miguelraz 5y ago
Even if there was no technical knowledge to be learned from (which there is), the social governance model is good to keep an eye out for. Some innovations come from social relations and rethinkings - I'm glad the Rust community is push
36.
by miguelraz 5y ago
Because I heard the good word of our Lord and Savior David Sanders [1] in my computational physics class and I've renounced the devious ways of Fortran since. [1]: https://www.youtube.com/watch?v=gQ1y5NUD_RI Concretely
37.
by miguelraz 5y ago
Oh, I see. Yes, that's a useful distinction then. Will edit. Thanks!
38.
by miguelraz 5y ago
Thanks Phil! I've been meaning to get to your Z3 tutorials soon, they rock too! See ya around! Also, I think you can totally tell that this is part of my brain-dump that's been pouring out to the #formal-methods channel on the Ju
39.
by miguelraz 5y ago
Fair enough, thanks for the pointer, I've amended the most recent version of the post and given you credit.
40.
by miguelraz 5y ago
Thanks, for the paper Steve, I'll edit the post with due credit. What would be the appropriate description for Rust's memory model? Automatic scoped memory management with opt-in reference counting?
41.
by miguelraz 5y ago
Right, and those destructors get called at the of the variable's scope. Is there a reason why it's not well-founded to consider scopes to be regions?
42.
by miguelraz 5y ago
Yes, to explore those differences was the point of the post.
43.
by miguelraz 5y ago
Author here: I specifically mentioned the `egg` crate because of it's capabilities for symbolic math. You can check a minimal application of arithmetic differentiation and some simplification rules in their repo here: https:/&#x2
44.
by miguelraz 5y ago
It is infrequent! Author here: I knew enough C and Fortran to turn in small assignments for my physics courses, but Julia was the first one where I started developing code.
45.
From Julia to Rust(miguelraz.github.io)
195 points by miguelraz 5y ago|106 comments
46.
Julia REPL Tips and Tricks(youtube.com)
3 points by miguelraz 6y ago|0 comments