Sign in

AndreasPK

@andreaspk.bsky.social
59 followers 18 following 145 posts

Compiler enthusiast, GHC Maintainer, working with Well-Typed.

PostsRepliesMedia
AndreasPK @andreaspk.bsky.social · 07/10/2026
Yes for non-updatable ones. But ...
120
AndreasPK @andreaspk.bsky.social · 06/10/2026
3173
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 · 29/07/2026
020
AndreasPK @andreaspk.bsky.social · 13/07/2026
Guys I made a mistake.
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 · 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 · 08/03/2026
Opening htop just to check if I'm getting my 0.7€/day worth.
010
AndreasPK @andreaspk.bsky.social · 04/03/2026
We are still talking about you.
010
AndreasPK @andreaspk.bsky.social · 16/02/2026
I found myself debugging a Perl script today. And I realized Perl basically isn't a thing anymore. It used to be inescapable when I started to get into "computers".
120
AndreasPK @andreaspk.bsky.social · 16/02/2026
Unironically my banking apps changelog.
110
AndreasPK @andreaspk.bsky.social · 08/02/2026
I love being unable to edit my posts. Picture unrelated
111
AndreasPK @andreaspk.bsky.social · 08/02/2026
CI Wait times for GHC Gitlab over the last month. Poor Americans. Hours are in GMT. Also no guarantee for correctness of underlying data. This
100
AndreasPK @andreaspk.bsky.social · 02/02/2026
Fomo sapiens intensifies.
100
AndreasPK @andreaspk.bsky.social · 01/02/2026
Getting around the in-agent confirmation was surprisingly easy. Wonder if it would have just deleted the file with a different workspace config or if there are other security checks there.
210
AndreasPK @andreaspk.bsky.social · 29/01/2026
Good first impression.
020
AndreasPK @andreaspk.bsky.social · 28/01/2026
Don't try Monads kids. You might get hooked.
000
AndreasPK @andreaspk.bsky.social · 28/01/2026
Rust adventures: Day2
110
AndreasPK @andreaspk.bsky.social · 26/12/2025
Not sure if that is better or worse, but that isn't even the actual function, but just an wrapper doing impedance matching. Used in cases where the calling convention isn't known. It will look the same no matter what the RHS of the function looks like. Here is the actual function:
010
AndreasPK @andreaspk.bsky.social · 08/12/2025
The beauty/curse of currying is three argument functions are just a two argument operator returning another function. I hate TupleSections for less academic reasons. I've seen code using nested tuple sections once. That's when I realized developers shouldn't be entrusted with that power.
000
AndreasPK @andreaspk.bsky.social · 28/07/2025
The debugger taunting me when I'm hungry.
050
AndreasPK @andreaspk.bsky.social · 03/06/2025
Finally I learned what upgrading python projects is like.
010
AndreasPK @andreaspk.bsky.social · 16/04/2025
And a few hours later ...
010
AndreasPK @andreaspk.bsky.social · 16/04/2025
030
AndreasPK @andreaspk.bsky.social · 11/04/2025
Who doesn't love consistency?
000
AndreasPK @andreaspk.bsky.social · 10/04/2025
Benchmarked haskell a package I maintain across some GHC versions. Surprised by the degree of improvement.
020
AndreasPK @andreaspk.bsky.social · 07/04/2025
Things that make me hate my job sometimes.
stageNumber stage = stage+1
020