@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

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

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

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

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

@kosmikus I was wondering, why using an MVar? The possibility for it to be empty seemed completely unnecessary for the example.

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.

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

Holymoly, mein Zug ist gerade pünktlich abgefahren, obwohl überall 10 Minuten Verspätung steht. Hoffe das hat niemanden reingerissen.

maralorn, to random
@maralorn@chaos.social avatar

I am encountering too many bugs. I should stop testing my program …

maralorn, to haskell
@maralorn@chaos.social avatar

execState, runState or evalState? 🤔

maralorn, to random
@maralorn@chaos.social avatar

BREAKING: New GHC release! https://www.haskell.org/ghc/blog/20240510-ghc-9.10.1-released.html

I am exited about quite a lot of changelog entries:

GHC2024, visible quantification (less AmbiguousTypes and Proxy!), better backtraces, better infotable profiling, and improvements to the JS and WASM backends!

maralorn, to haskell
@maralorn@chaos.social avatar

I would like to see CNN style real time coverage of software releases, e.g.:

BREAKING: New ghc release just dropped!

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

Der Tag beginnt in EC 113 "blauer Enzian".

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

Gestern Nacht mal wieder heftig einen über den Durst programmiert.
Ich bin doch zu alt für sowas ...

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