Changes on this blog

After a while I am writing about changes on this blog. The major changes in short are:

  • New domain name.
  • Self-hosted on VPS which is powered by Artix.
  • Own git server powered by Gitea.
  • Openring integration which provides links to articles from blogs I follow.

For the future I plan some things, but the current setup is working fine so I have no idea when it will be done. The things I plan to do in the future are:

  • Move to different static site generator
  • Change the html template to something of my own creation
  • Prepare some nice landing page at my top level domain, which is for now empty
  • And probably many more but I will be glad to make even one of these work.

Articles from blogs I follow:

Test and verification technique effectiveness with GPT-6 Astra

When we looked at how well agents used test/verification techniques in August1, we saw that GPT-5.6 Sol generally did what you might call a caricature of various techniques when asked to use a technique or library such as TDD, QuickCheck, Lean 4, etc.; no…

via danluu.com November 2, 2026

With "AI" coding the future of software development looks more grim than ever before!

This is not just a rant, this is a serious call and warning to every company or project developing software.

via Unix Digest - Articles October 20, 2026

GPG Update 2026

A recent toot of mine got the response “friends don’t let friends use GPG” which, I suppose, is true enough. It certainly isn’t the attestation-friendly thing to use, and the opsec failures that are so easy with GPG-encrypted mail make it a hazard there. …

via [bobulate] February 3, 2026

Generated by openring