Sign in

AndreasPK

@andreaspk.bsky.social
57 followers 18 following 143 posts

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

PostsRepliesMedia
AndreasPK @andreaspk.bsky.social · 16/09/2026
Just booked things. Actually going to Munihac again this year :)
030
Reposted by AndreasPK
Haskell programming language @haskell.org · 17/08/2026
London #Haskell Meetup Thursday 17th of September Bring your Haskell, or one will be provided to you Register here: luma.com/70s76zly
luma.com
London Haskell Meetup (Sep '26) · Luma
Calling all Londoners (and people who can get to London)! On Thursday 17th of September, we will be running a pair of talks at the Permutive offices. If you're…
1146
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 · 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
020
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 · 13/07/2026
Guys I made a mistake.
000
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
Reposted by AndreasPK
Haskell programming language @haskell.org · 19/06/2026
Haskell ecosystem activities report: March–May 2026 www.well-typed.com/blog/2026/06... #Haskell
well-typed.com
Haskell ecosystem activities report: March–May 2026
Read about the latest Haskell development and maintenance activity from Well-Typed in this report on work funded by Haskell Ecosystem Support Packages.
0113
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 · 28/05/2026
Weird thing about working on compilers: Sometimes you get really excited about a program segfaulting.
020
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
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 · 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
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
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
twitch.tv
Twitch
Twitch is the world
021
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 · 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 · 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 · 02/03/2026
What if Nero was just a prompt engineer on a bad trip.
000
AndreasPK @andreaspk.bsky.social · 19/02/2026
The year is 2026. I can buy a toner subscription for my printer. I have to reset my printers power cable before I can print over USB. #Priorities
100
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 · 12/02/2026
2026 will be the year of sound just working on Linux. We all just have to believe.
000
AndreasPK @andreaspk.bsky.social · 09/02/2026
The european Superbowl experience. Go to bed. Wake up. Realize the superbowl was yesterday.
000
AndreasPK @andreaspk.bsky.social · 08/02/2026
I'm so compiler brained I keep typing llvm when I mean llm.
101
AndreasPK @andreaspk.bsky.social · 07/02/2026
Watching this python script run for over 5 hours so far, and starting to wonder if I'm going about this all wrong.
230
AndreasPK @andreaspk.bsky.social · 03/02/2026
Day 4(ish) of Rust: Most of my problems are now of my own design. Turns out the hard part about programming is still the programming.
020
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 · 31/01/2026
Haskell should have a Turbofish operator. Not because I think it's good design. Just because I love the name.
160
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 · 28/01/2026
Maybe a bigger library ecosystem really just means you have the choice between 5 half-broken C wrappers rather than one.
120
AndreasPK @andreaspk.bsky.social · 25/01/2026
One day of playing around with Rust and I managed to trigger a stack overrun. Not even using unsafe or anything. I really seem to have a talent for finding those edge conditions.
100
AndreasPK @andreaspk.bsky.social · 24/01/2026
I did not expect installing rust on windows to be this annoying. I guess if they want to be compatible with VS-C++ they don't have much of a choice but still ...
100
AndreasPK @andreaspk.bsky.social · 19/01/2026
Committees are reified bystander effect.
010
AndreasPK @andreaspk.bsky.social · 15/01/2026
It's wild that we spent 40 years learning how to separate data from code down to the CPU level. Just for everyone to agree the thing to do is to splice data and code into one string and dump it into a black box. Because that's the only way I can describe how most LLM designs work today.
050
AndreasPK @andreaspk.bsky.social · 11/01/2026
I imagine this is how Russian news reported about Crimea in 2013. www.reuters.com/world/europe...
reuters.com
Denmark's Greenland dilemma: Defending a territory already on its way out
President Trump's threats to seize Greenland have forced Copenhagen to rally support among its European allies, but it won't have much to gain if the territory declares independence.
010
AndreasPK @andreaspk.bsky.social · 07/01/2026
Resisting the urge to send (Message Deleted) into some chats.
100