Why I Wrote Safescript

10 hours ago

SafeScript is a non-Turing complete programming language designed to prevent supply chain attacks by enabling formal proofs about information flow.
It uses DAG (Directed Acyclic Graph) structures for immutability, reducing complexity and allowing refactoring without O(n) operations.
The language ensures type safety and policy safety, allowing control over data passage between sources and sinks like APIs, env vars, or file systems.
SafeScript eliminates the need for VMs, runs in memory, and supports efficient caching of tests to reduce cloud costs.
It can't replace all languages (like C) but is suitable for over 90% of library code, with tools available for translation to mainstream languages.

Hasty Briefsbeta