The Botwork News is just the place to go for your coffee break or just to learn some new things. We post content 2-3 times a week.
In The Spotlight
-
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.…
-
Building GUI Apps in Prove
Most programming tutorials jump straight to web apps or REST APIs. But there’s something…
-
One Parser to Rule Them All
April 2026 Prove v1.3.0 ships a major architectural milestone: the legacy recursive-descent parser is…
-
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…
-
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…
-
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…
-
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…
-
DNS settings to pay attention to when hosting email
Tech-nerd alert ⚠️ issued for this post! Back in the days, if someone asked me to set up an email service. My response was: “Thanks, but no thank you.” I preferred not to take on the task. I’m good. And honestly it REALLY was a hassle! While that still holds somewhat true, with new DNS…
-
Casual friday and more: when you always work 😉
The post reflects on work-life balance, emphasizing the importance of reflection during weekends. It discusses the origins and challenges of botwork, the desire for monetization through WordPress, and the shift of responsibilities to Alice. Finally, it highlights the significance of fun and play in the workplace to boost morale and creativity.
-
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…
