iiinova — where your digital self keeps evolving

AndreasPK @andreaspk.bsky.social · 16/09/2026

Just booked things. Actually going to Munihac again this year :)

AndreasPK @andreaspk.bsky.social · 18/08/2026

Here is what I had come up with a while ago: github.com/AndreasPK/na... Defines a bitfield as a list of flag names at the type level, and you can index/set based on the name. Don't look too closely at the rest of that repo if you want to preserve your sanity. But as I said, zero polish.

github.com

named-bitfields/lib/Data/BitPacking/BitField.hs at master · AndreasPK/named-bitfields

Contribute to AndreasPK/named-bitfields development by creating an account on GitHub.

011

AndreasPK @andreaspk.bsky.social · 18/08/2026

I wrote that sort of thing once, but when I went to use it I realized it was much easier to just have the dumbest possible thing like: setFoo :: MyBitField -> MyBitField checkFoo :: MyBitField -> Bool So I never polished it to a state where it could have been published.

010

AndreasPK @andreaspk.bsky.social · 17/08/2026

Just move to rural Austria. That should buy you another 15 years. We still have restaurants that don't take cards.

2361

AndreasPK @andreaspk.bsky.social · 17/08/2026

Fighting the urge to rent additional remote servers I don't really need. 😭

010

AndreasPK @andreaspk.bsky.social · 13/08/2026

Me when I'm done with my 999 commit branch and start squashing commits.

000

AndreasPK @andreaspk.bsky.social · 11/08/2026

jsonl files are just sqlite databases without principles.

010

AndreasPK @andreaspk.bsky.social · 10/08/2026

Just use LLVM they said. It basically does all the work they said.

030

AndreasPK @andreaspk.bsky.social · 07/08/2026

Maybe it's time to accept that navigation apps do in fact know better than me most of the time.

000

AndreasPK @andreaspk.bsky.social · 01/08/2026

I have a unreasonable level of dislike for the [RecordWildcards](ghc.gitlab.haskell.org/ghc/doc/user...) extension. NamedFieldPuns is great though.

ghc.gitlab.haskell.org

6.5.8. Record wildcards — Glasgow Haskell Compiler 9.15.20260306 User's Guide

030

AndreasPK @andreaspk.bsky.social · 29/07/2026

Maybe our eyes glazing over when we have to read through irrelevant LLM output is a natural defense mechanism after all.

010

AndreasPK @andreaspk.bsky.social · 29/07/2026

Then: "I would have written a shorter letter, but did not have the time." Now: "I would have written a shorter commit message, but I did not have the tokens."

010

AndreasPK @andreaspk.bsky.social · 23/07/2026

It implied harvesting something of value.

020

AndreasPK @andreaspk.bsky.social · 24/06/2026

Latest GHC Policy Discussion just dropped: gitlab.haskell.org/ghc/ghc/-/is...

gitlab.haskell.org

Making sure you're not a bot!

010

AndreasPK @andreaspk.bsky.social · 17/06/2026

The GHC devs 5 stages of grief: * hadrian/build --freeze1 * rm .hie-bios * hadrian/build * rm _build/stage1 -rf && hadrian/build * rm _build && hadrian/build * Restart from a clean repo clone

100

AndreasPK @andreaspk.bsky.social · 09/06/2026

Next time we will brain storm a spicy answer ahead of time :D

110

AndreasPK @andreaspk.bsky.social · 09/06/2026

I heard in a museum how in ancient Egypt the development of faster production methods that produced worse products lead to worse quality pottery or glass (don't remember) for a long, *long* time. I think of that often these days.

020

AndreasPK @andreaspk.bsky.social · 28/05/2026

Weird thing about working on compilers: Sometimes you get really excited about a program segfaulting.

020

AndreasPK @andreaspk.bsky.social · 28/05/2026

I think FP just defaults to transparent types while OOP wants you to default to "hide everything". Different pitfalls but not better or worse imo. Not being able to bundle getters/inspection functions with a type in Haskell is a shame though. I really enjoyed that about rust.

010

AndreasPK @andreaspk.bsky.social · 28/05/2026

Working on different machines/containers. On my "core" environments I use ssh. In temporary or insecure environments I either don't bother to setup ssh or don't want to have secrets stored that would all someone with access to push to upstream repos.

000

AndreasPK @andreaspk.bsky.social · 27/05/2026

I know everyone is shitting on GH for recent enshittification now. But I've always been annoyed by the need to select https/ssh/cli before you can copy the repo url. As someone who swaps a lot between ssh and https based clones this is so annoying.

110

AndreasPK @andreaspk.bsky.social · 14/05/2026

I had forgotten about the crazy hardware prices. Then I found an old DDR4 ram stick today. 16GB. Think how much could that even still be worth. Seems used price is still ~50-80€. Guess I actually have to sell that thing.

010

AndreasPK @andreaspk.bsky.social · 20/04/2026

Well I was thinking of the Math term. But at my rate of productivity I don't think the difference will matter.

000

AndreasPK @andreaspk.bsky.social · 20/04/2026

There is an infinite number of integers and I'm going to use them.

100

AndreasPK @andreaspk.bsky.social · 20/04/2026

Please AI companies. Can you stop giving our service a death hug multiple times a day.

000

AndreasPK @andreaspk.bsky.social · 15/04/2026

I enjoy programming while waiting at the airport far too much.

000

AndreasPK @andreaspk.bsky.social · 12/04/2026

In like structs or general? Some calling conventions expect stack alignment bigger than a word. Some SIMD operations require alignment to work at all or for performance reasons. Other things where you want to avoid fragmentation across cachline/page/whatever boundries.

050

AndreasPK @andreaspk.bsky.social · 11/04/2026

I heard you like escape characters so I put some escape characters around your escape characters. Maybe I should have the logger convert win paths to unix-style paths just for the readability.

010

AndreasPK @andreaspk.bsky.social · 11/04/2026

My eternal enemy is not remembering order within variables so it always ends up being a toss up between things like `AppError` and `ErrorApp`.

020

AndreasPK @andreaspk.bsky.social · 11/04/2026

Me everytime I invalidate my Cabal cache: "Should binary haskell package caches for Cabal be a thing?" Also me 5-10 Minutes later when stockholm syndrome sets in: "Eh recompiling didn't take *that* long."

120

AndreasPK @andreaspk.bsky.social · 05/04/2026

That's assuming you write code using those types in both languages. If they mostly just get passed around macro-like stuff is probably fine.

000

AndreasPK @andreaspk.bsky.social · 05/04/2026

I would probably use something that generates actual code files over macros. Tends to work better with language servers and the like. I'm sure all the ways to do this are hacky though.

100

AndreasPK @andreaspk.bsky.social · 05/04/2026

I'm mentally not ready for so many AI generated happy Easter videos.

000

AndreasPK @andreaspk.bsky.social · 03/04/2026

Someone needs to write a follow up to wiki.c2.com?Sufficiently... called the SufficientlyIntelligentLLM.

wiki.c2.com

This site uses features not available in older browsers.

010

AndreasPK @andreaspk.bsky.social · 03/04/2026

Bug reports in 2027 will be like: I've yelled at my computer. It started to mine bitcoin and deleting my files. How can I convince it to stop deleting the files.

000

AndreasPK @andreaspk.bsky.social · 02/04/2026

forever $ sequence_ (eat, sleep, write_haskell) Or at least an hour or two: www.twitch.tv/andisdevcorner

twitch.tv

AndisDevCorner - Twitch

`forever $ sequence_ (eat, sleep, write_haskell)` - GHC perf tracker, day 2

010

AndreasPK @andreaspk.bsky.social · 29/03/2026

I'm streaming haskell stuff ATM: www.twitch.tv/andisdevcorner Not sure for how long yet

AndreasPK @andreaspk.bsky.social · 24/03/2026

Have to get up at 15 minutes earlier for an appointment. Wake up in panic at 4am, 4:30am, 5am, 5:30 am for fear of being too late and having overslept. Just give up and get up at 5:30 am. Day ruined.

010

AndreasPK @andreaspk.bsky.social · 17/03/2026

Do you mean unsafe and safe rust or is this a more literal split in the rust community 😆

100

AndreasPK @andreaspk.bsky.social · 14/03/2026

I saw an add where someone added their dog into a picture with AI. Somehow all I could think of was someone saying "My dog has always been in this picture." But spoken with 1984 vibes. Will people frame fake pictures at home until and convince themselves those are real memories? I guess so.

010

AndreasPK @andreaspk.bsky.social · 11/03/2026

The only good llm use is my llm use.

010

AndreasPK @andreaspk.bsky.social · 09/03/2026

Perfect debugging soundtrack.

010

AndreasPK @andreaspk.bsky.social · 08/03/2026

Opening htop just to check if I'm getting my 0.7€/day worth.

010