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

@philipp @qyliss That looks probably like the way to go.

Although I wouldn’t insist on self-hosting. Are there any cool open source platforms that one could use?

maralorn,
@maralorn@chaos.social avatar

@qyliss Yeah, I am reading up. And owncast seems to be the way to go. Just uncertain whether my usual VM (for matrix and mail) has enough CPU for hosting.

maralorn, to random
@maralorn@chaos.social avatar

@nomeata Do you plan to step down completely from the GHC Steering Comittee or just as secretary?

I hope they keep functioning as well as they did. You did a tremendous job!

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

Gibt es eigentlich irgendeinen guten Grund, dass Überweisungen zum Facharzt am Ende des Quartals verfallen, wenn es gleichzeitig quasi unmöglich ist einen Termin im gleichen Quartal zu bekommen?

Welche Form von Betrug wird dadurch verhindert?

Mich kostet das gerade 1,5h und meine Arztpraxis ca. 10 Minuten. Und das in einem völlig überlasteten System. Warum wird das nicht gefixt?

maralorn,
@maralorn@chaos.social avatar

@piegames
Dafür muss man zumindest wissen, dass man zum Facharzt will/muss. Das ursprüngliche Gespräch mit meiner Hausärztin war gut und hilfreich. Nur der bürokratische Akt ist Banane.

blinry, to random
@blinry@chaos.social avatar

Did I already mention that I found a really neat time tracking tool a couple of months ago?

https://klog.jotaen.net

It's command line-based, uses a format that's basically what I did manually before anyway, and is great in summarizing the data in ways I need!

I also made a package for it! Does anyone in the community want to review/merge it? :D https://github.com/NixOS/nixpkgs/pull/270583

maralorn,
@maralorn@chaos.social avatar

@blinry Done

maralorn, to NixOS
@maralorn@chaos.social avatar

Honestly the best thing about doing a upgrade every half year is seeing the leaps which makes.

That tool is so amazing and it get’s better and better. Really! Try it out! It’s worth it.

I would say I am a quite advanced git user on the command line and there is nothing that lazygit can do that you cannot do with the command line. But so many things e.g. like interactive rebases are much more comfortable in this UI, giving you valuable information while you are at it.

maralorn,
@maralorn@chaos.social avatar

@raito Hadn’t heard of that. Funny because I did exactly that by hand just now for a hunk. (Which was still really fast thanks to lazygit.)

maralorn,
@maralorn@chaos.social avatar

@nebucatnetzer Yeah, I know. But I try to depend on unstable only for stuff which I maintain. I am already living too much on the edge anyway.

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

I wish everyone an excellent year 2024. Be happy, be healthy, be kind! Have good times with people you love!

These wishes are especially important since this year is projected to be longer than average.

maralorn, to NixOS
@maralorn@chaos.social avatar

Just wanted to mention: My upgrade to 23.11 was suuper smooth. Good work everyone!

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

An alle im Großraum noch die Einladung zu

Ganz tolle Musik mit dem Vocalensemble Darmstadt und großartigen Solisten.

Am Samstag um 18 Uhr in der Heilig Geist Kirche in

https://vocalensemble-darmstadt.de/konzerte

Ich singe auch mit.

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

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

Ich möchte mich jetzt ja nicht aufbäumen. Aber gelinde gesagt, ist mir erlich völlig unklar, was sich dahinter verbirkt. Ich würde das jetzt einfach mal unter ungeeicht verbuchen. So ein Pappelappap … Da klappt mir der Unterkiefer runter. Ich apfeliere die Kirsche im Dorf zu lassen, auch wenn es Euch anficht.

maralorn,
@maralorn@chaos.social avatar

@deraffe Oh, mein Gott. Ich verliere Blätter vor Lachen. Spätestens "forsytzlich" hat mich komplett geborkt.
Dir gebührt die Baumkrone!

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

Flughafen München schon wieder blockiert von dreisten Klima...folgen.
100te Flüge fallen aus.

Ich muss sagen, ich teile ja die Forderungen aber die Methoden erscheinen mir problematisch und demokratietheoretisch bedenklich. So holt man die Mitte der Bevölkerung nicht ab.

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

Scandal! Former employee reveals: Intel sells tons of different circuits but in truth its all just the same logic operator arranged in different fancy layouts!

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

Lustiges Schätzspiel: Wie stark waren die Preiserhöhungen in Deutschland von April bis Oktober 2023, wenn man sie auf ein ganzes Jahr hochrechnet?

maralorn,
@maralorn@chaos.social avatar

@Atemu

Ne, ich hatte das auf ein Jahr hoch gerechnet. In dem halben Jahr sind die Preise nur um 1,1% gestiegen. Das heißt seit einem halben Jahr ist die Preisentwicklung wieder auf Vorkrisenniveau, aber die Nachrichten kriegen das nicht mit und die Inflationszahlen die so rumgereicht werden sind viel höher.

Du hattest doch 5% geraten das wäre ja viel schlimmer als 1 oder 2 Prozent.

djrmarques, to haskell
@djrmarques@emacs.ch avatar

is so hard I cannot even figure out how to install it on . Am I supposed to install the compiler, lsp server and cabal separatedly? Or is there a package to set everything up? ghcup does not work because one of the dependencies is marked as deprecated apparently

maralorn,
@maralorn@chaos.social avatar

@djrmarques Great. There is also :nixos.org on matrix, where we love to help.

maralorn, to random
@maralorn@chaos.social avatar

Why, in the year 2021, can‘t I login into every service I use via public key auth? I am sure we can even do this in a way, that every service sees another public key from me, so that they are uncorrelatable.

I am sure there are solutions in this direction. Can you point me to them?

maralorn,
@maralorn@chaos.social avatar

Today I setup my account to do passkey logins. It works. It is easy. The future is now. I am pleased.

maralorn,
@maralorn@chaos.social avatar

@acowley What part do you mean? I assumed it’s an open standard? is open source and implements it. Every webpage can implement it, right? To be fair, only service where I have successfully used passwordless login via until now is .

Portability can of course be an issue if you save your passkeys in a proprietary cloud or device where you can’t get them out (but possibly even someone else could.)

maralorn,
@maralorn@chaos.social avatar

@acowley Ah, I see.

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