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

domenkozar, to random
@domenkozar@fosstodon.org avatar

What you're observing on the surface of the Nix community is internal fighting.

The actual game is classic divide and conquer, splitting the community on topics like flakes and military funding.

The next step is to conquer, where we'll see gaslighting and power-grabbing.

maralorn,
@maralorn@chaos.social avatar

@domenkozar
Who are you accusing of using the military funding topic with the goal to split the community?

maralorn, to random
@maralorn@chaos.social avatar

Was collecting a security checklist for (non-nerd) computer users again:

  1. Make backups.
  2. Be vigilant of scam messages.
  3. Use a password manager.
  4. Do all updates.
  5. Use an adblocker.

Anything important missing? Do you agree with the priority order?

maralorn, to random
@maralorn@chaos.social avatar

Maybe more down times of matrix.org could help making the federation more decentral? ๐Ÿ˜‰

https://matrix.org/blog/2024/04/morg-post-mortem/

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

Ich habe einen Vorschlag mit welchem Hashtag fรผr ab sofort รผber Kapitalismus reden sollten:

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

Ich habe das Gefรผhl das normal quotierte Redner_innen Listen nicht ausreichend funktionieren.

Hat es mal jemand mit einer Schachuhr versucht?

Dieses "ich komme nur einmal ran, deswegen muss ich meine ganze Meinung in eine Frage quetschen" finde ich wirklich, wirklich unangenehm โ€ฆ

maralorn, to random
@maralorn@chaos.social avatar

When the specification is given just by "It has to work with Excel" โ€ฆ ๐Ÿ˜’

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

Recently in a team meeting: "We are gonna add caldav support to our product."

Me: "Oh, no. Thatโ€™s gonna be terrible."

Everyone: "Come on, it canโ€™t be that bad."

My boss: "Whatโ€™s wrong with you? I have never seen you shy away from an issue."

Just checked in with them how that project is going. Itโ€™s sad to feel validated.

thomasfuchs, to random
@thomasfuchs@hachyderm.io avatar

The weirdest thing about the AI hype is the claims that computers will become sentient and human-level intelligent.

Thereโ€™s zero evidence that the human brain (the only thing that we know of that is capable of human-level sentience and intelligence) works like a computer or that it could even be simulated by one.

Some neuroscience points to quantum mechanical effects being at the core of how neurons work, which basically means that we donโ€™t have a clue how the brain really works.

maralorn,
@maralorn@chaos.social avatar

@thomasfuchs

  1. There is a huge difference between sentience and intelligence. If something kills me I donโ€™t care if was sentient if it was smart enough.

  2. Saying that we donโ€™t understand something because "quantum" makes no sense. Actually, modern computers work on quantum effects.

  3. I am not aware of a scientific argument that anything physical (like a brain) cannot be simulated by a computer.

That being said, it might still be super hard and long of, so I am also sceptical of the hype.

maralorn,
@maralorn@chaos.social avatar

@thomasfuchs Wondering if this is a hype by itself.^^

But if there is really no adequate classical approximation for how our brain works and quantum effects are fundamental to its operation that would truly be interesting.

(Just hope that no one thinks that it solves their free will problem for them.)

Would still leave the question whether some level of "human-like intelligence" can only be implemented by exactly simulating a human brain.

maralorn, to NixOS
@maralorn@chaos.social avatar

Itโ€™s so annoying if you have to rely on faulty hardware: Everytime I want to type lib.pipe I first type lip.pipe. I only notice when nix complains. Only happens with pipe, because it starts with p I assume.

maralorn, to random
@maralorn@chaos.social avatar

Few things are more frustrating than the abundance of completely unfounded health claims in the "customer review" sections of vitamin supplements.

Producers donโ€™t even need wrong marketing claims if their consumers do it for them โ€ฆ

I mean itโ€™s not terrible, some vitamins are actually important, e.g on a vegan diet, and most vitamins are harmless. But apparently a lot of people take them for the completely wrong reasons โ€ฆ

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

Ich denke ich werde E-Mails ab sofort mit

maralorn^8

unterschreiben.

Lies: Hochachtungsvoll ...

lhp, to random
@lhp@mastodon.social avatar

Randomized terminal background colour?

It actually works.

maralorn,
@maralorn@chaos.social avatar

@lhp That actually makes a lot of sense. Although it also makes it harder to have a good contrast color theme.

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

Obviously, you should only disregard that toot if you know what Chestertonโ€™s fence is.

maralorn, to programming
@maralorn@chaos.social avatar

current status: calling a executable from typed template

maralorn,
@maralorn@chaos.social avatar

@pmidden Yeah, I am not saying itโ€™s complicated, it just feels a little cursed.

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.

maralorn,
@maralorn@chaos.social avatar

@mangoiv Hasnโ€™t been my impression with yet. To me it feels like the type level stuff is "finished". As long as you only define and use existing types of optics you donโ€™t need to worry about it.

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 .

  • All
  • Subscribed
  • Moderated
  • Favorites
  • โ€ข
  • anitta
  • khanakhh
  • thenastyranch
  • Youngstown
  • hgfsjryuu7
  • slotface
  • rosin
  • InstantRegret
  • tacticalgear
  • kavyap
  • osvaldo12
  • everett
  • DreamBathrooms
  • PowerRangers
  • tester
  • magazineikmin
  • Durango
  • mdbf
  • ngwrru68w68
  • modclub
  • cubers
  • vwfavf
  • ethstaker
  • cisconetworking
  • GTA5RPClips
  • normalnudes
  • Leos
  • provamag3
  • All magazines
    •