maralorn

maralorn, 1 month ago (edited 1 month ago) to haskell

After extensively using the #lens #Haskell library for half a year at work I have now played around with the #optics library again. I am amazed by how much more helpful error messages are with #optics. It’s an amazing library and I would recommend it over #lens whenever you have the choice.

maralorn, 11 months ago to haskell

The #Haskell talks from #Zurihac 2023 are online now. It was a super cool event with some amazing talks.

Especially I want to recommend the, as always, very educational talk by Alexis King about delimited continuations: https://www.youtube.com/watch?v=DRFsodbxHQo

And a completely crazy talk by Ben Lynn about building a Haskell compiler based on an old concept from logic research. Just incredible fun to watch: https://www.youtube.com/watch?v=3kMvXXGXaws

maralorn, 1 month ago (edited 1 month ago) to random

Doing a large refactor in a code base you didn’t write feels like being trapped in a maze of Chesterton‘s fences.

maralorn, 7 months ago to haskell

Understanding this function looks like a worthy end boss of playing through the whole lens library … #haskell #optics

maralorn, 4 months ago to random

I am considering streaming some coding. But I‘d rather not do that via Youtube or Twitch. Does anyone have experience/recommendations?

maralorn, 3 months ago to haskell

I have been appointed to the ghc steering committee. Very excited about contributing to make #Haskell move forward. Seeing who left the committee there are some shoes left there which I won’t even try to fill.

maralorn, 1 year ago to NixOS

Hey #nix and #nixos people!

I wrote a matrix bot for nixpkgs pull request notifications.

It‘s like the cool https//nixpk.gs/tracker.html by @qyliss, which shows you which release channels a pull request has reached.

With the bot you can subscribe and get notifications, whenever it reaches a channel instead of hammering F5 in your browser tab.

Just open a query to https://matrix.to/#/@nixpkgs-bot:maralorn.de and send "help".

Looking forward to you all stress testing it!

maralorn, 7 months ago to haskell

Me watching the newest video of the #Haskell #Unfolder

https://www.well-typed.com/blog/2023/10/haskell-unfolder-episode-13-open-recursion/

thinking:

"This is overcomplicated stuff. Its a nice thought experiment, but why would anyone ever do this in production? I wonder if they bring a useful example at the end …"

The useful example in the end:

All of #nixpkgs.

maralorn, 6 months ago to random German

I am hearing far to often "I want to open source it but I never get around to cleaning it up."

The only cleaning up needed before open sourcing your code is removing private data.

Just publish it. Everything else can come later.

maralorn, 4 months ago to fediverse

Hey #fediverse: I want to curate my own timeline.

I know this is a wild shot, but is there a fediverse client to which I can somehow programmatically pass a list of toot URLs which it then opens for me and shows in one list?

maralorn, 2 months ago (edited 2 months ago) to random

The uplifting feeling when you improve the performance of your program and realize that the only reason stuff had been working until now were inefficiencies which prevented race conditions …

maralorn, 11 months ago to haskell

Every time someone raises a problem in the #Haskell ecosystem someone chimes in and says that #HaskellFoundation should hire someone full time to fix this. I guess over the last two years I have seen job ideas for at least 20 positions.

The Haskell Foundation only has money for (about) two employees right now and needs to refinance itself by sponsorship every year.

Its like everywhere in #OpenSource. Companies make profit, volunteers make things happen.

maralorn, 8 months ago to random

@nomeata The phrase "Let the bikeshedding begin" made my day, thx.

https://github.com/ghc-proposals/ghc-proposals/pull/569

maralorn, 20 days ago to NixOS

Switched all my machines to #nixos 24.05.

Basically no hickups. Thanks to all contributors for a great release!

maralorn, 9 months ago to random German

Hey #cccamp23, is there anyone present with the knowledge and/or the tools to debug the disfunctional power-in usb-c socket on my Thinkpad T480s? That would be super awesome! It's okay if you can't solve it but I am more of a software person and would love a more expert opinion. Please retoot!

maralorn, 6 months ago to random

My team lead insisted on our variable name policy.
At least I rebelled in the commit message:

> The snakes bow to their camel oppressors

md, 17 days ago to random

Liebe @BNetzA ,

ich suche das Formular, um Verstöße der BNetzA gegen die Impressumspflicht zu melden.

• ihr gebt eine Telefonnummer an (Menüauswahl 1-1-1) unter der niemand erreichbar ist
• auf eurer Homepage breitbandmessung.de steht euer Dienstleister im Impressum und nicht ihr
• auf eurem Dienst breitbandmessung.de fehlt eure Datenschutzinformation als Verantwortlicher ( @bfdi )

maralorn, 17 days ago to random

Cappuccino. I think it got mainly invented to make it acceptable for adults to order a hot milk. 😉

sandro, 9 days ago (edited 8 days ago) to til

#TIL doing mkswap is not enough when the partition was a zpool before and the automatic import #NixOS does via zpool import -d /dev/disk/by-id finds it anyway as long as there is not other pool already loaded with the same name.

Just don't mix up partitions when formatting 😂

PS: systemd-boot doesn't understand ext4 on /boot and having /boot on root and just separating /boot/efi works with grub out of the box or when setting a extra setting which I have of course did not have

maralorn, 17 days ago to random

An optimization tool which does not optimize for the thing you want to optimize for is not a good optimization tool.

#capitalism

maralorn, 16 days ago to NixOS

Note to myself and to everyone using #systemd:

Never set "RestartSec" without also changing "StartLimitIntervalSec".

The later defaults to 10s so if your "RestartSec" is to high your unit may run into an infinite restart loop.

I wonder if I can implement an assert in my #nixos config which checks this.

#systemd

maralorn, 14 days ago to random German

Wo bleibt eigentlich die Unternehmer-gegen-Klassismus-Initiative?

maralorn, 8 days ago to random German

I am really annoyed by discord. Why is it such a good chat app for communities and events? Why can't we have that in free, privacy respecting and open source?

maralorn, 8 days ago to random German

Die Ratten verlassen das sinkende Schiff...

Ich verlasse jetzt erstmal die EU, aber ich lasse Euch natürlich noch meine Stimme da.

#gegenNazis und für #sozialeGerechtigkeit. Macht mit!

Nächste Woche komme ich dann wieder und schau mir das Schlamassel mit Euch an...