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

#haskell

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
#haskell #programming #wayland

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.

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 #Haskell #Unfolder "from #Java to Haskell" live on #youtube.

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

execState, runState or evalState? 🤔

#haskell

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.

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