Kari Pahula

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.

Obviously, monadic code issues mmands.

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

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

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.

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

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.

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.

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.

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

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.

I submitted a patch to kan-extensions. Does that make me a Haskell programmer yet? github.com/ekmett/kan-e...

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

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

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.

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.

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

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.

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.

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.

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.

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.

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

@annafromukraine.bsky.social Look what I got!

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

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

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

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.

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.

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

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.

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.

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.