I hope I can use it for control system simulation and deep learning. I want to introduce Julia to my students, but I heard many things about its correctness. I learned Julia but never use it to do any real job. I hope the community has began to solve them. How it is going with the correctness impro…

I agree we should stop here for now. I’ll think about this. Also - thank you for the hard work you put into the Julia ecosystem. Sometimes it is hard to point out some issues without sounding ungrateful/demanding: so again, thank you!

So here is a many page discussion about the reverse-zip bug I was about to fix, but when I saw from the lack of enthusiasm that the fix would mean having a PR lingering around for years again I left it be Iterators.reverse gives unexpected results when zipping iterators of different lengths · Issue …

[image] Ininterrompue: I guess one of the examples I point to was something first discussed years ago: incorrect gradient bugs in certain Julia ML packages. There were multiple stories of people spending months trying to debug, until finally they realized that their code was silently giving wron…

It seems this thread has come to an awkward end. Can I take credit for that?

(Edited) It was fixed after beta1. Still tagged for backporting. It’s been merged into Backports for julia v1.10.0-beta2 by KristofferC · Pull Request #50708 · JuliaLang/julia · GitHub so it should be in beta2.

Recently I’ve got a project that’s big enough for a deployment and also fairly technical, I was torn between Rust (Rust isn’t built for technical computing but the ecosystem is catching up fast and other advantages provided by Rust are almost too good) and Julia (I always wanted to try Julia for som…

while it’s hard to quantify for sure, but I figure someone could write a Yuri style blog by picking oldest things out of: https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AI-unsound the fact there are bug reports is a good thing because it means people are using it. But if you…

[image] stucash: But I would really appreciate a formal address from Julia Dev Team on the correctness issue in Julia, regardless that the team agree or disagree (Or probably there is one already, please kindly point me to it). Could you define what you are looking for exactly? Who is the “…

Did Julia community do something to improve its correctness?

General Usage

gdalle August 14, 2023, 6:53am 125

See What’s the aliasing story in Julia

4 Likes

Topic		Replies	Views
Discussion on "Why I no longer recommend Julia" by Yuri Vishnevsky Community discussion	298	49859	September 9, 2022
Correctness and Multiple Dispatch (Help explain to a julia noob) Community question	13	1157	April 30, 2025
What interface bugs have you ran into in the ecosystem? General Usage question	35	1728	January 31, 2024
At present, in what aspects is Julia still relatively weak compared to other mainstream programming languages? New to Julia question	66	9483	February 5, 2024
Could introducing formal interfaces be nonbreaking? Internals & Design speculative	36	1019	June 4, 2025

Did Julia community do something to improve its correctness?

Related topics