This is really really interesting. Do share any links, or do post about it here on hn.

Have fun!

This. The industry is a hot-pot of gut feelings/seat of my pants mixed with true engineering and mathematical rigor.

It is all hit or miss. Everyone claims they do high-quality, critical software in public, while in private, they claim the opposite, that they are fast and break things, and programming is an art, not math.

And then you have venture capital firms now pushing "vibe coding."

Software development is likely the highest variance engineering space, sometimes and in some companies, not even being engineering, but "vibes."

It is interesting how this is going to progress forward. Are we going to have a situation like the Quebec Bridge [https://colterreed.com/the-failed-bridge-that-inspired-a-sim...]. The Crowdstrike incident taking down the whole airspace proved that is not enough. Market hacks in "decentralized exchanges," the same. Not sure where we are heading.

I guess we are waiting for some catastrophe that will have some venture capital liable for the vibe coding, and then we will have world wide regulation pushed on us.

Location: SF Bay Area

Remote: Flexible

Willing to relocate: No (flexible with timezones and travel though)

Technologies: Rust(since its beginnings), C, C++, Go, Haskell, Python, and more (all production)

Résumé/CV: https://eftychis.org/cv/cv_industry.pdf

Veteran Cryptographer and Distributed Systems Engineer with multiple large-scale, high-value distributed systems delivered. (incl. byzantine fault tolerance & consensus protocols.) Experience bringing secure and private machine learning to production, from low-level code to engaging B2B customers and directing projects on a global scale (U.S., Europe, Asia). Passionate about leading, mentoring, and providing high-impact.

You hit the nail in the head with your last sentence. It is a psychological defense mechanism.

People don't want to be associated with fraud and would do any mind tricks to explain things away, while knowing the illusion is there.

I agree. [Unless fully adopted by a serious game engine, of course.] Rust's "superpower" is substituting critical C++ code in-place, with the goal of ensuring correctness and soundness. And increasing the development velocity as a result.