@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

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 .

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.

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