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

current status: calling a executable from typed template

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

@pmidden Well, they compose with % instead of . which you might find less pretty.

They use an opaque type for optics which is the big selling point but also means you need to depend on optics-core to define compatible optics.

I remember missing one operator from which I found to be quite cool, but I don’t remember which one, so it can’t be that important.

maralorn,
@maralorn@chaos.social avatar

@mangoiv I do not know what you mean. You need to depend on optics-core to provide lenses usable with the library, just because the type of those optics is not a type alias like it is in lens.

w4tsn, to NixOS
@w4tsn@darmstadt.social avatar

Was ist go-to newsletter, mailing list, blog oder magazin für alles rund um neues in (packages)?

maralorn,
@maralorn@chaos.social avatar

@w4tsn Recently https://nixpkgs.news/ came up, which seems kinda great, but I don’t know if it’s here to stay.

Also, follow https://discourse.nixos.org obviously.

The official blog is quite low traffic. https://nixos.org/blog/

maralorn,
@maralorn@chaos.social avatar

@w4tsn Weirdly subscribing to nixpkgs.news on my crashes my reader app .

maralorn, to haskell
@maralorn@chaos.social avatar

POV: Everytime I am starting a new app.

"Okay, let's just write a quick minimally featured proof of concept. So that I have something to build on. I can alwaye refactor this later."

...

10h later

"Wait, I just need to read this one more blog post so that I can complete my pro and con list about the 7 effect systems in question."

underlap, to haskell
@underlap@fosstodon.org avatar

Adding Haddocks to Haskell code is deeply satisfying. I like the British humour too.

maralorn,
@maralorn@chaos.social avatar

@underlap would you be so kind and explain the humour for a non British person?

maralorn, to random
@maralorn@chaos.social avatar

My hot take about so called "cancel culture":

There is actually a broad consensus in society about how much cancel culture is acceptable and for what reasons.

They main point of contention is the perception and the fears of how much it is actually happening and whether the reasons are real.

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

Bahnhof Celle hat den Anspruch an seine Korrektheit hochgedreht und macht daher lieber keine Aussagen über Ankunftszeiten von Zügen.

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

@hexa Nope, different program. 😂

maralorn,
@maralorn@chaos.social avatar

@deraffe I don’t know what you are talking about. 👼

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

Was ist eigentlich irrationaler, dass in der Tagesschau dauernd die Lottozahlen genannt werder oder dass dauernd der DAX-Kurs genannt wird?

maralorn,
@maralorn@chaos.social avatar

@quincy Dafür habe ich glaube ich noch deutlich mehr Verständnis.

Andererseits erklärt das vielleicht den DAX auch, wenn man den eher als so ne Sportfaszination versteht …

maralorn, to random
@maralorn@chaos.social avatar

Wow, I just got #arbtt capturing to run with a #wlroots based #wayland compositor (like #sway, I use #river) and it was surprisingly simple. Just run this command once per minute:

lswt --json | jq '{date:now|strftime("%FT%TZ"),rate:60000,inactive:0,windows:map({title,program:.app_id,active:.activated}),desktop:""}' | arbtt-import -a -t JSON

I have also a homegrown solution to set the inactive flag, but it’s not as pretty.

cc @nomeata

maralorn,
@maralorn@chaos.social avatar

@lhp Ah, interesting. I think the script is robust under adding fields, so this should be fine.

What other protocol are you implementing don’t all wlroots compositors use the same?

maralorn,
@maralorn@chaos.social avatar

@nomeata It didn’t for me. Neither on river nor on gnome. I used the arbtt gnome extension for a while but gnome extensions break far too often.

maralorn,
@maralorn@chaos.social avatar

@lhp Ah, I see. Thank, you.

While we are at it, do you know a way in river to query all window names together with their tags? lswt can do the one and ristate the other but I can’t correlate it.

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

Hat jemand Empfehlungen für eine App?

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

Eigentlich habe ich einen Packagemanager gesucht, aber ich habe nix gefunden.

jupiter, to random
@jupiter@mastodon.gamedev.place avatar

Working on a solo project as a conscientious sometimes really be like...

maralorn,
@maralorn@chaos.social avatar

@jupiter Well, this does not only happen in solo projects … (Looking at you #nixpkgs.)

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

My favorite fact: Currently we have haskell.lib.markUnbroken and haskell.lib.unmarkBroken in nixpkgs.

What should we do?

sandro, to NixOS
@sandro@c3d2.social avatar

👀

maralorn,
@maralorn@chaos.social avatar

@sandro @ma27 I used nvd in a similar way until now. Curious which diff is more useful.

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