Getting Rid of Shell Scripts Once and For All

Shell scripts are among the most ubiquitous forms of programming and are often found deeply nested in places like system configuration procedures, build scripts and are even called out to from user space programs. They serve as the glue that binds cornerstone infrastructure together which we rely on extensively. Unfortunately, due to their dynamic nature, shell scripts fundamentally don't make it easy to write reliable systems with confidence. Because of the reliance on external factors, shell scripts can easily break when taken to another machine or when a silent assumption...

Read More
Oct 20, 2025
Getting Rid of Shell Scripts Once and For All
While shell scripts can be used to perform almost any task, they are difficult to reason about statically and are tied to an environment on a specific host machine. Countless developer hours can be saved by moving a whole class of runtime errors to compile time using a new language that performs static type checking.
Jul 23, 2025
Push and Pray No More: Why We Need Static Correctness Guarantees for Modern CI/CD
Today's Continuous Integration and Deployment systems fundamentally suffer from the inability to provide maintainers with static correctness guarantees. Countless hours are wasted by patching fragile setups that break easily and are difficult to maintain.