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

Die Ratten verlassen das sinkende Schiff...

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

und für . Macht mit!

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

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

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?

sandro, (edited ) to til
@sandro@c3d2.social avatar

doing mkswap is not enough when the partition was a zpool before and the automatic import 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,
@maralorn@chaos.social avatar

@sandro I have no /boot only /efi, via efiSysmountPoint = "/efi"

works fine with systemd-boot.

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

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

maralorn, to NixOS
@maralorn@chaos.social avatar

Note to myself and to everyone using :

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 config which checks this.

maralorn,
@maralorn@chaos.social avatar

@ma27 Well, I’d suggest using a simpler rule. If RestartSec is set you need to set StartLimitIntervalSec.

md, to random
@md@chaos.social avatar

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

@md @BNetzA Sind Verstöße gegen die Impressumspflicht nicht jeweils an die Landesmedienanstalten zu melden? 😂

maralorn, to random
@maralorn@chaos.social avatar

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

maralorn, to random
@maralorn@chaos.social avatar

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

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.

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 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 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 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 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

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

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

I have real trouble developing an intuition for NoDeepSubsumption.

I always only notice by sheer luck that changing

a . b $ c

to

a $ b $ c

fixes my type error.

neloj, to haskell

I've been trying to make this work for a few days and finally I achieved it, the most basic form of a wayland client using unix sockets, and well in other languages it was not difficult at all, I did it in hare, c, typescript (deno), and in the end I wanted to try with a language that I had never used, Haskell, and I learned many things but I still don't know what a monod is, anyway, here I leave a link to the code for those who are interested: https://gitlab.com/-/snippets/3711372

maralorn,
@maralorn@chaos.social avatar

@neloj This is fracking awesome. Really cool!

Monads are the bane of 's image, they are really not that important, so don’t worry about it.

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Later today, 2024-05-15, at 1830 UTC, join Edsko and me for the 25th episode of the "from to Haskell" live on .

https://well-typed.com/blog/2024/05/haskell-unfolder-episode-25-from-java-to-haskell/

maralorn,
@maralorn@chaos.social avatar

@mangoiv @kosmikus Using a var type which takes a lock makes sense. But MVar seems a bit unfiting, because it can be empty. I was wondering what the argument over atomicModifyIORef or using a TVar would be. It seems like MVar has the best ergonomics and concurrency behavior?

I always wonder why the square of

TMVar TVar
MVar ?

seems to be missing a corner.

maralorn,
@maralorn@chaos.social avatar

@mangoiv In my mind an MVar a is similar to an IORef (Maybe a) and that doesn’t feel quite right.

maralorn,
@maralorn@chaos.social avatar

@kosmikus

@mangoiv

Yeah, It's kinda IORef but I thought that doesn't count because it has less concurrency guarantees.

But I think I get now why MVars are much more useful. I have even used TMVars myself as locks when the action I wanted to do with it contained effects.

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