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

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

execState, runState or evalState? 🤔

maralorn, to random
@maralorn@chaos.social avatar

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

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

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.

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