@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

Can everybody please stop acting like impending AI doom is a force of nature? I have no clue how likely it is, but how can anyone believe that AI is gonna kill us soon and not be fucking outraged by it? It's humans who build it it's humans who will turn it on. They are willing to risk all of humanity, because they can't stand the idea of someone else making more profit than them. If this is a real danger, this is a completely self-made problem and the solution is not gonna be technical

maralorn,
@maralorn@chaos.social avatar

@aka_dude
I don't think I said that. Throttling might maybe help. But whether they throttle or not, in the end this is only a problem if someone turns a dangerous AI on. And that will be done by a human.

maralorn,
@maralorn@chaos.social avatar

@deraffe
I actually haven't. Too much material on the topic. Will do.

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

@TeXhackse Ich bin überfordert mit einem -Problem. Mein (pandoc-generiertes) Dokument benutzt parskip=half. Und dieser parskip tritt dann auch vor und nach enumerates auf, wo ich ihn nicht haben möchte.

Pandoc schafft es den parskip zwischen Listenelementen zu unterdrücken, mit einem strategischen \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}.

Aber das hilft nicht vor und nach der Liste. Hast Du einen Tipp, was ich da tun kann?

(Hoffe, das ist okay hier so zu fragen.)

maralorn,
@maralorn@chaos.social avatar

@TeXhackse
Das Problem ist, dass \setlist nosep einfach den parskip Abstand nicht ignoriert. Also selbst mit parsep und topsep auf 0 gesetzt hat man immernoch den parskip.

maralorn,
@maralorn@chaos.social avatar

@TeXhackse
Ah, Moment. Pandoc macht vor und nach jeder Liste eine Leerzeile. Ist das das was mir den parskip eintritt?

maralorn,
@maralorn@chaos.social avatar

@TeXhackse
Ne, das isses nicht. Auch ohne Leerzeile macht er einen parskip zwischen Text davor und das erste Listenelement. Und ja, den will ich eigentlich immer weg haben außer es ist Anfang oder Ende eines Theorem Blocks.

maralorn,
@maralorn@chaos.social avatar

@TeXhackse
Klar, ich stelle bei Gelegenheit eins her.

kosmikus, to random
@kosmikus@functional.cafe avatar

So happy that Strange New Worlds is back ...

maralorn,
@maralorn@chaos.social avatar

@kosmikus
Yeah, I agree!

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

Wait, Altmaier war bei Lanz und durfte seine Meinung zur Energiewende äußern? Der vermutlich größte Klimaverbrecher Deutschlands? Der eigenhändig unsere Solar- und Windindustrie zerstört hat? Dem hört noch jemand zu???

haskell, to programming
@haskell@fosstodon.org avatar

Just a friendly reminder that if you are struggling with any issues and need assistance or someone to talk to, please feel free to join our Haskell discourse using this link: https://discourse.haskell.org. The community is always happy to help!

maralorn,
@maralorn@chaos.social avatar

@haskell
Wow, what an excellent post. I think we should have more of these.

hxameer, to random

syntax-checking language server using .
https://github.com/nix-community/rnix-lsp

maralorn,
@maralorn@chaos.social avatar

@hxameer
Note, that there is now https://github.com/oxalica/nil which is as far as I can tell a big improvement over rnix-lsp

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

I agree very much with this article.

https://typeclasses.substack.com/p/programming-requires-breadth-of-knowledge

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

Tagesschau: "Wirtschaftsminister schlägt Energieeffizienzgesetz vor, Experten und Wirtschaftsverbände äußern starke Kritik."

Liebe Tagesschau wer sind denn diese anonymen und sicherlich völlig objektiven Experten, mit denen ihr Klimaschutz und die Grünen als unwissenschaftlich darstellt?

maralorn,
@maralorn@chaos.social avatar

@mangoiv
So schlimm sehe ich das tatsächlich nicht.

Aber ich konsumiere natürlich auch viele andere Quellen.

maralorn,
@maralorn@chaos.social avatar

@mangoiv
Interessenvertreter zukünftiger Generationen versuchen die Politik zu manipulieren den Planeten nicht zu zerstören. Skandal! Klientelpolitik!

nomeata, to programming
@nomeata@mastodon.online avatar

Moving those parts of 's base library that are experimental or low-level GHC interna into a separate package to have a cleaner and more stable base sounds obviously good to me, but the proposal (and related threads) has already over 300 comments:
https://github.com/haskellfoundation/tech-proposals/pull/47#issuecomment-1558028287
It shows a kind of rift and distrust between the Core Library Committee and the GHC developers:
> I have little trust in GHC developers to manage changes, and this distrust is not hypothetical or speculative.

maralorn,
@maralorn@chaos.social avatar

@angerman

@nomeata

I think that people (especially affected ones) argue firmly and strongly for stability is a good and important thing.

That people sometimes communicate suboptimally should of course be expected.

Nevertheless some comments in this and similar discussions were disappointingly harsh.

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

Die Heuchlerei von Union und FDP ist nicht auszuhalten. Sie behaupten einem Gesetzesvorschlag für Klimaschutz ist nicht zu vertrauen, weil der zuständige Staatssekretär einen Fehler dabei gemacht hat Geld an eine Umweltschutzorganisation zu geben. (Was vielleicht nicht ganz sauber war, aber doch keine Frage an der politischen Intention lässt.)
1/2

maralorn,
@maralorn@chaos.social avatar

Ihre eigenen Gesetzvorschläge "für Klimaschutz" lassen sie von Klimawandelleugnern, Agrar- oder Autolobbyisten schreiben, die exakt die gegenteilige Intention haben von dem, was man den Wählenden versprochen hat. Aber das ist dann okay, solange man nicht mit ihnen verwandt ist.
2/2

kosmikus, to programming
@kosmikus@functional.cafe avatar

It's time for the Unfolder again! Tonight at 1830 UTC I'm going to talk with Edsko about injectivity of types in Haskell, and what to do if your type families are not injective.

https://www.youtube.com/live/1vd9mvH8Bos?feature=share

maralorn,
@maralorn@chaos.social avatar

@kosmikus
Another great episode! I appreciate how you explain everything in detail.

newt, to random
@newt@newt.li avatar

Ich möchte schon lange singen lernen, warum ist es so verdammt schwierig, eine Schule zu finden, welche ich mir leisten kann und bei der die Konditionen okay sind? Warum gibt es keine Chöre in Frankfurt, bei denen eins als Erwachsenes einfach mal mitmachen kann? Weiß eins irgendwas?

maralorn,
@maralorn@chaos.social avatar

@newt
Es gibt normalerweise in jeder Stadt sehr viele Chöre in die man recht problemlos reinkommt. Viele Chöre sind offen für Anfänger und singen lernen ohne gezielten Unterricht ist normal. Faktisch jede Kirchengemeinde hat einen. Auch weltliche Chöre gibt es sicher ziemlich viele in Frankfurt. Ich kann Dir keinen konkreten empfehlen, aber würde Dich sehr ermutigen weiter zu suchen. Ansonsten schließe ich mich den anderen Tipps an.

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

Wie nennt man eine Reihe aneinander geketteter Schafe?

Eine Blöck-Chain!

mirasbek, to random

Such a great episode and I identified with a lot of things discussed here. I can see this being relevant to those not directly involved in too. https://podcasts.apple.com/be/podcast/80-000-hours-podcast/id1245002988?i=1000608523408

maralorn,
@maralorn@chaos.social avatar

@mirasbek I was only a bit disappointed that they glossed quite quickly over the "how could 80k be contributing to the problem". Felt like a token effort to me.

chshersh, to programming

I published the May update for the Core Libraries Committee (CLC) ✍️

🆕 4 new proposals
✅ 3 approved
🚫1 declined
🔥 1 hot discussion
💎 5 featured discussions with a common theme

Check it out 👇

https://discourse.haskell.org/t/clc-update-may-2023/6248

The longest and the most exhausting discussion for me personally is around the 'base' split and GHC internal modules.

It feels (to me personally) that the discussion is just circling around the same topics with no progress, and it's becoming too difficult to steer it 😞

The most controversial discussion is about adding types like Int8, Int16, Int32, Int64, Word8, etc. to Prelude.

Many people want it but many also are tired.

https://github.com/haskell/core-libraries-committee/issues/156

maralorn,
@maralorn@chaos.social avatar

Thank you, @chshersh. those summaries are excellent.

I also hope the split base discussion will lead somewhere soon. It is hard to follow.

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

Feels so professional, when I come to a point in my notes where it just says "prove zis" ...

maralorn,
@maralorn@chaos.social avatar

@piegames
Fun fact: the theorem was false.

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