-
Package Manager with SQLite
Prove v1.4 ships a package manager. Packages are distributed as .prvpkg files — SQLite databases containing pre-checked AST, type signatures, and comptime-resolved assets. The entire implementation uses only Python’s standard library: sqlite3, urllib, hashlib, struct. No git, pip or pesky node_modules. This post covers why we made the choices we did and how the pieces…
-
Building GUI Apps in Prove
Most programming tutorials jump straight to web apps or REST APIs. But there’s something deeply satisfying about a small, self-contained desktop tool — a thing you build in an afternoon that just works, no browser required, no server to deploy. Prove’s Graphic module makes this easy. This post walks through building GUI apps in Prove,…
-
One Parser to Rule Them All
April 2026 Prove v1.3.0 ships a major architectural milestone: the legacy recursive-descent parser is gone.Tree-sitter is now the sole parser for every stage of the compiler — syntax checking, linting,code generation, and the LSP. Alongside that migration come new verbs, better diagnostics,and the foundation for lint-driven code quality. Tree-sitter as the only parser Since v1.2.0…
-
Why Intent Matters
Compiler Optimization Through Verbs: Why Intent Matters What if the compiler knew exactly what your function was supposed to do — before it even saw the implementation? That’s the core idea behind Prove’s verb system. And it changes everything for optimization. The Problem with Traditional Compilers Most compilers work from the inside out. They analyze…
-
Bloat free privacy browser
Tech-nerd alert This browser is like no other you tried! We can promise you a clean/slick look when all of a sudden need to do a browser related task. As a programmer you fight with the mouse! Moving all these centimeters just because you need to do something in a program with no key-binds takes…
-
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…
-
Efficient workflow; Retry to perfection!
Spending time on things that have 0 value at the end of the day? Test the method retry to perfection! This is my daily struggle to be honest. I give myself 30 minutes every every day to reflect on things I can automate and/or skip entirely. But by doing the exact opposite. And then adding…
