Jul 26, 2026· 3 minute read
Tags:
AIFOSS
Codeberg have effectively banned AI (well LLMs) from their platform. Not just
from using it but actually any project that develops code using an LLM. It's
their right, of course, but now I have to avoid them to, not due to the AI
ban *per se*, but rather the implications of the subtle difference of 'what
something is' rather than 'how it came to be'.
A lot has now been written about Codeberg and their decision around LLMs (or what is now, sadly, mislabeled as 'AI'). Their blog post ( Protecting our FLOSS commons from LLMs) is their justification for these bans, but what's curious is that they are banning usage of a tool as part of their ideology of 'AI is bad, human is good' mantra.
Way back in the day software was written in Assembler and that's what Real
Anyway,
Read On →
May 1, 2025· 5 minute read
Tags:
linux
I've used vcsh for a long time. However, recently, for a number of reasons
I've been meaning to migrate from vcsh to Chezmoi. I didn't find any
particularly useful information about how to remove vcsh and leave the files
behind, so this post documents what I did to make the move.
I dutifully split my configuration of dotfiles across multiple git repositories and it's worked well for a number of years. However, more recently, I've been pondering a change, and that change is to chezmoi.
My reasons for moving from vcsh to chezmoi are basically:
The secret support is more important. Currently I use a Keybase encrypted git repository for any files with secrets, but this comes with a number of problems:
Chezmoi supports
Read On →
Sep 5, 2021· 8 minute read
Tags:
publishing
A reflection on where I've got to with blog publishing systems, my desire to
take notes, and how to organise and view the things I write.
Blogging platforms are a bit of a curiosity for me. I've spent ages trying to find the right combinations of tools so that I enjoy the process of writing. Obviously, this means that I've created lots of self-imposed restrictions on what tools I can use, how they work, what they interact with and what sort of site they deliver. In some ways I've become a little obsessed in the process of writing notes, blogs, articles and other things, to the extent that the writing itself has suffered.
So in this article, I'm going to try to outline where I've been and where I'm trying to get to, with all the little adventures and missteps along the way. It might help you to avoid my mistakes.
Read On →
Dec 4, 2020· 9 minute read
Category:
programming
Tags:
haskell
Part 2 of a 3 part series about Functors, Applicatives and Monads
The is part of a 3 part series of Functors, Applicatives and Monads in Haskell:
So in the last installment we looked at . This time, we're going to explore what an is. is.. This time, we're going to explore what an is. is.
Obviously, it's a Haskell typeclass (again), but what actually an Applicative. an Applicative.
The wikipedia is quite detailed:
Phew!? Well, we've not covered yet, so let's not yet,
Let's
Read On →