@maralorn@chaos.social
@maralorn@chaos.social avatar

maralorn

@maralorn@chaos.social

I am a mathematical physicist and software developer.

I love choir singing and ballroom dancing.

I spend most of my time coding #haskell, #nix, #nixos.

Have you tried out one of my projects:

https://git.maralorn.de/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de

This profile is from a federated server and may be incomplete. Browse more on the original instance.

maralorn, (edited ) to haskell
@maralorn@chaos.social avatar

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

maralorn, to haskell
@maralorn@chaos.social avatar

The talks from 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, (edited ) to random
@maralorn@chaos.social avatar

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

maralorn, to haskell
@maralorn@chaos.social avatar

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

maralorn, to random
@maralorn@chaos.social avatar

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

maralorn, to haskell
@maralorn@chaos.social avatar

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

maralorn, to random German
@maralorn@chaos.social avatar

Hey , 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, to NixOS
@maralorn@chaos.social avatar

Switched all my machines to 24.05.

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

maralorn, to haskell
@maralorn@chaos.social avatar

Me watching the newest video of the

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 .

maralorn, to random
@maralorn@chaos.social avatar

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

> The snakes bow to their camel oppressors

maralorn, to fediverse
@maralorn@chaos.social avatar

Hey : 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, (edited ) to random
@maralorn@chaos.social avatar

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, to haskell
@maralorn@chaos.social avatar

Every time someone raises a problem in the ecosystem someone chimes in and says that 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 . Companies make profit, volunteers make things happen.

maralorn, to random
@maralorn@chaos.social avatar

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

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

maralorn, to NixOS
@maralorn@chaos.social avatar

Hey and 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, to random German
@maralorn@chaos.social avatar

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, to NixOS
@maralorn@chaos.social avatar

Something extremly awesome happened. After switching to -24.05 my system just feels … more snappy?

I don’t know exactly why. I think it might be the update to 0.3.0.

\cc @ifreund

maralorn,
@maralorn@chaos.social avatar

@ifreund Yeah, love it!

maralorn,
@maralorn@chaos.social avatar

@athas I have a pretty large feature surface with all my systems and nixos-unstable broke too often for me. Blocking updates. So yeah, I follow the stable channels. And yes, they get backports.

maralorn, to NixOS
@maralorn@chaos.social avatar

Just wanted to remark, that this is the first time, that no one needed to remind me to add the stable release branch to the bot.

That bot, if you wonder: https://chaos.social/@maralorn/109325481672585146

maralorn, to NixOS
@maralorn@chaos.social avatar

And since using made me modify my shell prompt I switched from to https://starship.rs

Really, nice. And easy to get started with on You can see my config here:

https://code.maralorn.de/maralorn/config/src/branch/main/nixos/roles/all/shell.nix

maralorn,
@maralorn@chaos.social avatar

@Janik Starship explain tells me my prompt takes 8ms to render. I think that’s acceptable. However those 8ms are all caused by the shelling out for jujutsu. 😂

maralorn,
@maralorn@chaos.social avatar

@Janik That’s a good argument I guess. starship feels snappy enough for me, right now. For me the good documentation and ease of configurability won, especially since there is not a yet a jjstatus daemon or something similar which could make the prompt more snappy.

maralorn,
@maralorn@chaos.social avatar

@Janik On nixpkgs jj is a bit slower (prompt at 45ms) but after some initial quirks it seems to work.

maralorn, to random
@maralorn@chaos.social avatar

So this week I first started using jj aka. jujutsu

https://martinvonz.github.io/jj/v0.17.1/

a version control system which feels much more intuitive to use but is backwards compatible with git. So far tooling edges are as rough as expected, but otherwise this is very awesome!

Discovered it here: https://reasonablypolymorphic.com/blog/jj-strategy/index.html

maralorn, to random
@maralorn@chaos.social avatar

POV:

  1. You press the pause button on your head phones, to pause whatever you are listening to.

  2. A second player unpauses playing over the first one but three times the volume.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • kavyap
  • DreamBathrooms
  • GTA5RPClips
  • magazineikmin
  • thenastyranch
  • Durango
  • Youngstown
  • ngwrru68w68
  • rosin
  • slotface
  • everett
  • InstantRegret
  • osvaldo12
  • provamag3
  • khanakhh
  • cisconetworking
  • normalnudes
  • tacticalgear
  • mdbf
  • modclub
  • ethstaker
  • cubers
  • Leos
  • anitta
  • megavids
  • tester
  • lostlight
  • All magazines