by eggy on 7/21/24, 6:16 PM
It's why we are planning on using Ada/SPARK2014 for our show control automation software and rewriting C drivers on the hardware being used for the show action equipment in SPARK2014. Nothing else is close at the moment. Looking forward to more SHUA!
by bitwize on 7/21/24, 9:46 PM
I'm currently reviving an old project of mine to rewrite Unix core tools in Ada. It's like a dress rehearsal: if I can write simple stuff like cp, ls, cat, etc. in this cantankerous but powerful and safe language, I'll be set up to write more complicated stuff in it.
by axilmar on 7/22/24, 2:04 PM
This story makes me wonder if it's better to use Ada/SPARK than Rust, from a safety perspective.
by bvrmn on 7/21/24, 10:18 PM
It seems the root issue is atrocious sha1 hash calculation interface (openssl) not the language per se. What possible errors sha1 could return while updating a hash state from a byte buffer with a known size?