ascent817

I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated

Yeah, they’re focused on selling to government and defense contractors. I first encountered poolside at my aerospace internship.

There's also poolside.ai

I'm not too familiar, but is this similar to nushell?

This really hit home for me. Before vibe coding, I'd only go on coding binges maybe once a month (coding for 8 hours straight). Now with AI, the velocity is addictive. My coding binges have become much more frequent but sadly less satisfying.