-
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…
-
Prove Getting Started
Getting Started with Prove: Intent-First Programming Prove is an intent-first programming language that compiles to C, then to native binaries. With a focus on clarity and safety, Prove makes you think about *what* your code should do before *how* it does it. Why Prove? Traditional languages let you write anything syntactically valid. Prove enforces intent…
-
The Acceleration Loop
Why Building a Compiler Makes You Better at Building Compilers There’s a counterintuitive truth I’ve discovered while building Prove’s self-hosted compiler: starting from zero isn’t slower than starting with a head start. It’s faster. Not immediately, of course. The first months were brutal. Every bump in the road felt like fighting the machine. But then…
-
AI Can’t Generate Code
I ran an experiment last week. I took a real task — a small order validation function — and asked a capable AI assistant to write it in Prove. It failed. Repeatedly. I fixed one error, gave it back the compiler output, and watched it generate new errors. Six rounds before anything close to correct…
-
Human-Written Code
We’ve been told for years that AI will write our code. That developers should embrace AI assistants, accept AI-generated PRs, and trust that the machine knows better. The narrative is seductive: why spend hours writing something a machine can generate in seconds? But there’s a fundamental problem with this thinking—one that becomes obvious when you…
-
Local AI to Streamline Workflow
In the modern workplace, finding the right information quickly and efficiently can significantly impact productivity and collaboration. Local AI streamline this workflow and offer a practical and effective approach for your organization. Improved Efficiency Integrating AI technologies tailored to your organization’s needs offers several benefits. You can help coworkers find the information they need more…
-
Safeguarding your data from AI
In today’s digital age, AI is increasingly shaping our lives. It is crucial to understand the importance of safeguarding private data from AI. As we embrace this new tech and its countless benefits, we must protect our personal information. we need to guard against potential threats and misuse. About private data First and foremost, it…
-
Alice is getting ready for work!
Your personal assistant, Alice, learns from your data within the offline cloud environment of botwork. Interact like a human, customize tasks, and filter workflow while ensuring privacy and security.
-
Upcoming features May 2025
Upcoming features Maj 2025; We are just starting up and there are a lot of things we need to build/finish! That said, we did not want you to miss out on what we have in the works. Many interesting services and programs will be added soon. How about a no-bloat browser that always runs in…
