miguelraz

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 pushing the envelope in the way that they are and I wish for their experiment to keep on growing.

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, I joined the Julia slack and ran into a very welcoming community of people who helped me learn. Julia's like that so far.

Yes, I agree many data science people don't dive into internals - but for some reason these low-level details keep fascinating me so I don't mind some of the pain.

Oh, I see. Yes, that's a useful distinction then. Will edit. Thanks!

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 Julia Zulip.

Fair enough, thanks for the pointer, I've amended the most recent version of the post and given you credit.

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?

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?

Yes, to explore those differences was the point of the post.

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://github.com/egraphs-good/egg/blob/main/tests/math.rs

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.