-
Prove v1.1.0
Prove v1.1.0 is here, and it’s a significant leap forward for the Prove programming language. This release introduces structured concurrency as a first-class language feature, adds three powerful stdlib modules for building interactive applications, and ships the proof CLI as a single binary for effortless onboarding. Whether you’re building terminal-based tools, graphical interfaces, or concurrent…
-
Python to Prove
From Python-CLI to Pure Prove: Our FFI Migration Story *How we moved from a Python bootstrap compiler to native Prove binaries without losing access to the Python ecosystem* Presenting proof V1.1.0! This is the start of our road to a self-hosted compiler! When we started Prove, we faced a classic bootstrapping challenge: we needed to…
