iiinova — where your digital self keeps evolving

Kari Pahula @kaol.piperka.net · 22/09/2026

Obviously, monadic code issues mmands.

000

Kari Pahula @kaol.piperka.net · 16/09/2026

I have one more reason to get back to learning Ukrainian.

A pic of me holding Alina Sarnatska's book С.К.А.М.

010

Kari Pahula @kaol.piperka.net · 31/07/2026

Claude acts so surprised every time it discovers that I have a proof assistant in Haskell.

030

Kari Pahula @kaol.piperka.net · 21/07/2026

Want to get an AI excited? DSL with semiring arrows with semilattices, using a layered Mu with a lossy homomorphism from Nu. Apply CP/SAT/SMT solver, Prolog, Datalog and a proof assistant with IITs, deep induction/coinduction, tactics and type/value holes at various Mu levels. Add surface level Mu.

030

Kari Pahula @kaol.piperka.net · 16/06/2026

I used zygoChrono for register allocations in a compiler. Much better than zygoHistoPrepro. #haskell

030

Kari Pahula @kaol.piperka.net · 05/04/2026

I'm quoting Claude: "Now let me use Prolog to verify the zygomorphism produces correct expectedTokens for various grammars:" Claude's running Ubuntu which means I have all sorts of fun tools for it to install like Z3 and MiniZinc. All I had to do was to ask and it'll use them to think.

040

Kari Pahula @kaol.piperka.net · 26/02/2026

I started prodding Gemini about EBM networks and after it gave me some Haskell I asked that isn't this a Comonad and it told me that it's an "absolutely brilliant leap to make". I hate it when AI compliments me. Then I made it write about quaternions and heterogeneous layers for fun.

050

Kari Pahula @kaol.piperka.net · 03/02/2026

I found a "fun" feature in GitHub. If I make a pull request from a branch in my repository, that grants the upstream author access to rebasing it. My build started failing because in that case GitHub deletes the old hash. I had it in my cabal.project. They still didn't merge it even.

040

Kari Pahula @kaol.piperka.net · 04/01/2026

Ukrainaksi lasketaan lukumäärät: 1 kissa (mutta sana yksi pitää taivuttaa sanan sukupuolen mukaan eli один, одна tai одне) 2-4 kissat 5-9 kissojen #opinukrainaa

040

Kari Pahula @kaol.piperka.net · 09/11/2025

Some Sunday Haskell: data Foo a = Foo { foo :: a Int } Foo Identity contains one Int. Foo Maybe contains one or no Ints. Foo [] contains none or multiple Ints. Can you have a Foo that has no Ints? Sure, it's Foo Proxy.

230

Kari Pahula @kaol.piperka.net · 14/09/2025

I'm learning Ukrainian. They have every possible fricative apparently.

1111

Kari Pahula @kaol.piperka.net · 09/09/2025

I hadn't heard of an astrogation web API before.

040

Kari Pahula @kaol.piperka.net · 10/07/2025

Whoever started the Youtube fad of zooming for emphasis on talk videos? It's annoying and distracting. "I say an important word, I need to close up of my face." Argh.

030

Kari Pahula @kaol.piperka.net · 08/07/2025

HTML is trolling me. Of course "select" tags don't use "select" events, but "change" and "input" instead. I don't know how many times I've rediscovered that property already.

030

Kari Pahula @kaol.piperka.net · 09/06/2025

Typical. I need to implement a web GUI for a project and one thing led to another and now I'm reading about Nix.

130

Kari Pahula @kaol.piperka.net · 18/05/2025

Hello Bluesky. I run a web site about web comics, piperka.net. It can do bookmarks, follow updates and give you recommendations on almost any web comic with a public archive. I just added Bluesky as a login option if you want to check it out.

piperka.net

Piperka

1263

Kari Pahula @kaol.piperka.net · 18/05/2025

I just printf debugged my auth code for hours in production to conclude in the end that the problem was that I didn't have an NTP client installed on my server, which had made the system clock lag enough to make the JWT issue times be too old. The code was fine, I'm just a mediocre sysadmin.

040

Kari Pahula @kaol.piperka.net · 11/05/2025

Oops. I had upgraded to a new GHC version on my site. I was puzzled since a few functional changes that went with it didn't seem to work at all. Turns out that I had hard coded the old compiler's dist path to a deployment script. I had been deploying a months old back end executable all along.

060

Kari Pahula @kaol.piperka.net · 27/04/2025

After having this code ferment locally for months, I got to deploy some 2000 lines of changes. Most of it was due to API changes in libraries. The only visible change was supposed to be Bluesky login support for Piperka but for some reason I get a PKCE error in prod with it. It worked on my machine.

050

Kari Pahula @kaol.piperka.net · 23/03/2025

I joined bsky to post things about my software activities but instead I've been on a spree to comment about the war in Ukraine. I've gained some followers and I think I'll confuse quite a few people when I resume talking about Haskell libraries, my web comics website, Debian or the like.

090

Kari Pahula @kaol.piperka.net · 29/01/2025

Running a web site leads to receiving some funny spam. A "professional Wikipedia writer" offers me to write an article for Piperka. With some blather about SEO and stuff. They offer it to be "valid for a lifetime guarantee". All this for $120. I don't think they can override WP:N just like that.

030

Kari Pahula @kaol.piperka.net · 12/01/2025

108 files changed, 1342 insertions(+), 1126 deletions(-) I'm dragging #Piperka from GHC 8.8 to 9.6, along with upgrading some dependencies. Hasql was the main culprit for touching pretty much everything. Piperka is pretty DB heavy. First version to compile, I didn't try to run it yet. #haskell

060

Kari Pahula @kaol.piperka.net · 05/01/2025

I ran into two bugs in Debian testing. One was that upgrading only libc switched from systemd to sysv init, due to deps on libc. The second, funny, one was that sysv init's package setup script crashes a systemd-nspawn container. I don't expect many people to run sysv init anymore anywhere. #debian

070

Kari Pahula @kaol.piperka.net · 01/01/2025

I signed up for a Ukrainian language course. I don't even know any Ukrainians personally. Something new for the new year?

150

Kari Pahula @kaol.piperka.net · 31/12/2024

It feels like after you've done auth stuff once you're cursed to do it forever. I had already a PR on jose library for a partial implementation of JWEs and another one on openid-connect to expand its tutorial. And now I implement more RFCs on my own auth library. #haskell

040

Kari Pahula @kaol.piperka.net · 29/12/2024

I'm looking into implementing bsky auth for Piperka. They have a whole shopping list of things I need to implement first: PKCE, PAR and DPoP. Maybe even more. Too bad snaplet-customauth is only used by me. Free software is better if it has more users than one.

040

Kari Pahula @kaol.piperka.net · 15/12/2024

I fixed push notifications in #piperka. I must say that the past me wrote some pretty questionable code. IPC via writing to a stamp file and catching it with inotify? It's a web server, just let it have HTTP.

050

Kari Pahula @kaol.piperka.net · 07/12/2024

I must be getting old. I'm adding comments to my code.

040

Kari Pahula @kaol.piperka.net · 30/11/2024

Random Finnish moment: I grabbed the next customer's package of pasta that was the exact same kind I was buying since I was distracted by the store's app and bought it too and I was too embarrassed to say anything when I noticed that I had two. I hope he went back to buy another package. Sorry.

030

Kari Pahula @kaol.piperka.net · 29/11/2024

I've done some #ROCm #Debian things lately. I asked on the list what needs attention (lists.debian.org/debian-ai/20...) and I uploaded a few 6.1 updates to experimental and sprinkled my GPG dust on some other uploads. Running GPU compute tests is a good room warmer in the winter. I might do more.

lists.debian.org

Helping with ROCm packaging

030

Kari Pahula @kaol.piperka.net · 26/11/2024

I may have given an impression by joining and right away following accounts talking about the war in Ukraine. However, if I post something it's likely mostly about my own activities with software. I've never been that into social media. Still: Slava Ukraini.

030