# The botwork place

> A collection of programs to use as daily drivers

Language: en
URL: https://botwork.se/

All pages on this site are available as clean Markdown by adding the header `Accept: text/markdown` to any HTTP request.
REST API: https://botwork.se/wp-json/mescio-for-agents/v1/markdown?url={page_url}

## Pages

- [Privacy Policy](https://botwork.se/about/privacy-policy/): Who we are We are a service provider based in Europe. And our website is located at: https://botwork.se. Cookies If you leave a comment on our site, you will opt-in to save your name. You will also save your email
- [Cart](https://botwork.se/cart/): 🛒 Your cart is empty Read up on our services before you buy
- [Checkout](https://botwork.se/checkout/)
- [Account management](https://botwork.se/my-account/)
- [Return Policy](https://botwork.se/about/return-policy/): General policy Our policy is valid for 30 calendar days from the date of the buy. If you are not satisfied with the service or product, you can ask for a refund. If 30 days have passed since the buy
- [Terms of service](https://botwork.se/about/terms-of-service/): Welcome to botwork, here follow our terms! We are a provider of email and cloud services (the "Service"). By using the Service, you agree to these terms and conditions (the "Terms"). If you do not agree to these Terms, please
- [The Botwork News](https://botwork.se/news/): 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
- [Contact](https://botwork.se/about/contact/): When sending email to us, we will keep the email in our registry for about 6 months. If that's not acceptable, please prefix the text "" in the topic (not the message). Alice will just toss it in the trash
- [Shop](https://botwork.se/home/shop/): Shop How we fund open source Your subscription does not just pay for servers. It funds development of free, open source software. Git hosting funds development - Every personal subscription helps us maintain and improve the tools we open-source Free
- [About Botwork](https://botwork.se/about/): Open source services for European companies We build tools that keep your data in Europe. Git hosting that funds open source. Services that respect your privacy. What we offer Use our services - Git hosting, cloud storage, email. Self-sustaining prices.
- [The Botwork Place](https://botwork.se/): Free Code. Paid Bugs. Sustainable Open Source. Git hosting that funds development. Submit PRs for free, report bugs to help keep the lights on. European infrastructure. Your data stays in Europe. Our products Personal Git CI/CD 1€/month Host your code

## Blog Posts

- [Package Manager with SQLite](https://botwork.se/2026/04/09/package-manager-with-sqlite/) (2026-04-09): 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
- [Building GUI Apps in Prove](https://botwork.se/2026/04/06/building-gui-apps-in-prove/) (2026-04-06): 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.
- [One Parser to Rule Them All](https://botwork.se/2026/04/03/prove-v1-3-0-one-parser-to-rule-them-all/) (2026-04-03): 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,
- [Why Intent Matters](https://botwork.se/2026/03/30/compiler-optimization-through-verbs/) (2026-03-30): 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
- [Prove v1.1.0](https://botwork.se/2026/03/23/prove-v1-1-0/) (2026-03-23): 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
- [Python to Prove](https://botwork.se/2026/03/21/python-to-prove/) (2026-03-21): 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
- [Prove Getting Started](https://botwork.se/2026/03/20/getting-started-with-prove-intent-first-programming/) (2026-03-20): 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
- [The Acceleration Loop](https://botwork.se/2026/03/18/the-acceleration-loop/) (2026-03-18): 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
- [AI Can’t Generate Code](https://botwork.se/2026/03/17/ai-cant-generate-code/) (2026-03-17): 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
- [Human-Written Code](https://botwork.se/2026/03/16/the-case-for-100-human-written-code/) (2026-03-16): 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
- [Why My Own Language](https://botwork.se/2026/03/04/why-my-own-language/) (2026-03-04): 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
- [Setting up CI and CD](https://botwork.se/2025/06/07/setting-up-ci-and-cd/) (2025-06-07): 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
- [The rude people in open-source](https://botwork.se/2025/05/22/the-rude-people-in-open-source/) (2025-05-22): 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
- [Tying the OAUTH2 knot](https://botwork.se/2025/05/16/tying-the-oauth2-knot/) (2025-05-16): 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
- [Bloat free privacy browser](https://botwork.se/2025/05/16/bloat-free-privacy-browser/) (2025-05-16): 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
- [Big IT steal our children’s data!](https://botwork.se/2025/05/13/it-companies-are-stealing-our-childrens-data/) (2025-05-13): 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
- [Local AI to Streamline Workflow](https://botwork.se/2025/05/11/local-ai-to-streamline-workflow/) (2025-05-11): 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
- [Efficient workflow; Retry to perfection!](https://botwork.se/2025/05/08/retry-to-perfection/) (2025-05-08): 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
- [DNS settings to pay attention to when hosting email](https://botwork.se/2025/05/06/dns-settings-to-pay-attention-to-when-hosting-email/) (2025-05-06): 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
- [Casual friday and more: when you always work ;)](https://botwork.se/2025/05/03/casual-weekend/) (2025-05-03): 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](https://botwork.se/2025/04/30/safeguarding-your-data-from-ai/) (2025-04-30): 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
- [Alice is getting ready for work!](https://botwork.se/2025/04/28/alice-is-getting-ready-for-work/) (2025-04-28): 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](https://botwork.se/2025/04/25/upcoming-features-may/) (2025-04-25): 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
- [Cloud Storage in Europe](https://botwork.se/2025/04/24/cloud-storage-in-europe/) (2025-04-24): Briefly Moving to an open-source cloud storage in Europe ensures data sovereignty,
transparency, control over data, cost savings, and supports European tech communities.
Open-source solutions prioritize privacy, GDPR compliance, and foster collaboration
while allowing flexibility and knowledge sharing. Make the switch today and take charge
of your digital life!

## Products

### Tools

- [Botwork Browser with vim-motions](https://botwork.se/product/botwork-browser-with-vim-motions/) — 1,00 € /  Month  and 14 Days free trial [in stock]: Tech-nerd alert ⚠️ This is NOT a browser for everyone, but if you are brave you can give it a try! Read all of the description before ordering, and remember that this is a work in progress. You will get

### Cloud

- [Enterprise Cloud Europe](https://botwork.se/product/enterprise-cloud-europe/) — 100,00 € /  Month  and 14 Days free trial [in stock]: Enterprise cloud service based in Europe with all the apps you need for a full move.
- [Personal Cloud Europe 100GB](https://botwork.se/product/personal-cloud-europe-100gb/) — 10,00 € Original price was: 10,00 €.5,00 €Current price is: 5,00 €. /  Month  and 14 Days free trial [in stock]: Personal cloud services based in Europe with all the apps you need for a full move.

### Code

- [Personal Git CI/CD](https://botwork.se/product/personal-git-ci-cd/) — 3,00 € Original price was: 3,00 €.1,00 €Current price is: 1,00 €. /  Month [in stock]: With Personal Git CI/CD based on European servers you can be sure that your code stays close to you and wont be used in any general AI training. Speed I am a frequent user of many (almost all) other code-versioning
- [Enterprise Git CI/CD](https://botwork.se/product/european-git-hosting/) — 30,00 € /  Month  and 14 Days free trial [in stock]: With Corporate Git CI/CD based on European servers you can be sure that your code stays close to you and wont be used in any general AI training. Carl the developer Opt in for your own AI-developer (Carl) he is

### Email

- [Enterprise email](https://botwork.se/product/enterprise-email/) — 20,00 € /  Month  and 14 Days free trial [in stock]: With our Enterprise email you do not have to install any proprietary apps. We will help you setup everything, use your company domain while having a secure and privacy focused setup. With this email setup you get 5 email accounts
- [Personal email](https://botwork.se/product/personal-email/) — 2,00 € Original price was: 2,00 €.1,00 €Current price is: 1,00 €. /  Month  and 14 Days free trial [in stock]: A personal email is a great option if you do not want to install any proprietary apps. "But what about my gmail" you might ask?! Don't worry, we will help you setup and your gmail is easy to deliver directly