-
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…
-
Why My Own Language
Why I Built My Own Programming Language Most programming languages weren’t built for humans. They were built with computers on center stage — every decision optimized for what machines can parse, not what developers can think. We’re forced to translate our intent through a layer of syntax that was designed for compilers, not comprehension. Then…
-
Setting up CI and CD
I have spent a lot of time working on setting up CI and CD. And all around robustness of the setup. Alongside of that I also evaluate some new tools that might end up in the stack. While I’d like to just press the “start” button. I have to see a couple of more weeks…
-
The rude people in open-source
Everything of a open source approach is great but one thing! But when it comes to feedback and feature request the rude people in open-source comes to life. From a developer point of view there is a very interesting and hard to solve problem. Most, if not all, of these projects starts with a developer…
-
Tying the OAUTH2 knot
This is a long, and casual post/rant. I hope it will amuse! While I explain what I mean with “Tying the OAUTH2 knot” Setting up services is fun and games until we get to the fragmented end result. While we can leave it there, it’s just not good enough from my view point! It’s far…
-
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…
-
Big IT steal our children’s data!
We have to talk about European data sovereignty. Big IT steal our children’s data! I have first hand seen that schools in Sweden use big IT-companies services for online meetings, classroom and email services. This is among other services and is not exclusive. There are other instances of the state that do the exact same…
