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

djrmarques, to haskell
@djrmarques@emacs.ch avatar

is so hard I cannot even figure out how to install it on . Am I supposed to install the compiler, lsp server and cabal separatedly? Or is there a package to set everything up? ghcup does not work because one of the dependencies is marked as deprecated apparently

maralorn,
@maralorn@chaos.social avatar

@djrmarques You can find installation instructions for on https://www.haskell.org/downloads/

Don’t hesitate to ask if you have problems.

maralorn,
@maralorn@chaos.social avatar

@djrmarques To answer your questions more directly. Yes, install the tools you need separately from Nix.

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

Seht mich kichern, während der Chorleiter daran scheitert anzusagen, dass die Textstelle "Alle, alle, alle" gerade bitte nur von Alt und Sopran gesungen werden soll. 😆

maralorn, to random
@maralorn@chaos.social avatar

Winter is coming … The newest iOS update is fixing displaying snowfall on the lock screen.

maralorn, to random
@maralorn@chaos.social avatar

An dieser Stelle einfach mal vielen Dank an meine Filterblase hier. ❤️ Es ist einfach total nett, wenn man politische Nischenpositionen raushaut und das Gefühl hat, dass einem alle zustimmen. 🙈

maralorn, to random
@maralorn@chaos.social avatar

Ah, I see. This is how it looks when you get replies from people who are blocked on your instance. 😆

maralorn, to random
@maralorn@chaos.social avatar

Gotta love those days, when 5 different programs you use have weird and unrelated regressions...

itamarst, to random
@itamarst@hachyderm.io avatar

Thinking about it some more, the fundamental flaw with CoPilot is that the goal is to make it faster and easier to generate code.

As a programmer, you don't want to generate code.

You want to solve problems, and the less code involved the better. I don't want to tools that will generate boilerplate, I want less boilerplate.

https://github.blog/2022-09-07-research-quantifying-github-copilots-impact-on-developer-productivity-and-happiness/ shows the problem. "Less mental effort on repetitive tasks", sure, but you should be trying to prevent the repetition, not do more of it.

maralorn,
@maralorn@chaos.social avatar

@f4grx

Huh, can you elaborate on the last paragraph, especially the last two points? (I might be oblivious because I never tried copilot.)

maralorn,
@maralorn@chaos.social avatar

@f4grx The idea to vendor a bunch of AI-generated code, probably already bit-rotted on commit, instead of using a maintained library seems alien to me. If AI can help you write the code you wanted to write, great. But AI shouldn‘t be a reason to throw software engineering practices out the window.

maralorn,
@maralorn@chaos.social avatar

@f4grx That actually does not match my experience. When I write software, I do that to solve problems, not to boast with my code. Normally, I need to write code precisely because companies like GitHub don’t care about the problem I am solving, so if I don‘t do it, no one does. My code also being used by AI is only an additional effect and does not change anything about the original reasons I was coding.

maralorn,
@maralorn@chaos.social avatar

@f4grx I feel like you are arguing words here. I think it makes sense to say that "AI" "can help" (in theory, if the generated code is actually usable). And the day is to short to settle on a definition of intelligence. But everyone means LLMs when they say AI these days …

Of course, that does not change your normative statement that it does so by using other people's code.

maralorn,
@maralorn@chaos.social avatar

@f4grx Assuming that Copilot is trained on copyleft code, the only reasonable conclusion is that it is only allowed to use it for open-source projects, right?^^

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

I want to present a heuristic: If a politician or economist demands more innovation and they can already tell you what innovation they mean, then it is not innovative.

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

Also die bietet 11% mehr Lohn über 32 Monate. Das sind 4% pro Jahr. Keine Ahnung, was fair ist. Aber wenn in den Schlagzeilen dann nur "Bahn bietet 11% mehr Lohn" kommt, dann fühle ich mich nicht informiert sondern desinformiert.

maralorn,
@maralorn@chaos.social avatar

@mattodon
Oder bei Inflationsangaben.

maralorn, to random
@maralorn@chaos.social avatar

Today I learned much more about unicode emojis than I wanted to know: https://github.com/maralorn/nix-output-monitor/pull/121

maralorn, to haskell
@maralorn@chaos.social avatar

Understanding this function looks like a worthy end boss of playing through the whole lens library …

maralorn, to haskell
@maralorn@chaos.social avatar

Me watching the newest video of the

https://www.well-typed.com/blog/2023/10/haskell-unfolder-episode-13-open-recursion/

thinking:

"This is overcomplicated stuff. Its a nice thought experiment, but why would anyone ever do this in production? I wonder if they bring a useful example at the end …"

The useful example in the end:

All of .

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

Hey @alech! Die Fachschaft Mathematik würde gerne mathebau.de von Dir übernehmen. Sie haben dafür mittlerweile einen INWX Account, den der FS Verein betreut.

Könntest Du mir hier oder der Fachschaft an root@mathebau.de ein Transferaltoken schicken?

Wenn Du das gerne vorher noch bequatschen willst leite ich gerne Kontaktdaten für Dich weiter.

maralorn,
@maralorn@chaos.social avatar

@alech
Argh, das sollte natürlich eine DM sein. Dieses Mastodon Interface... Das Transferaltoken dann also bitte nicht als öffentlichen Reply. 😆

Oliviastarstuff, to haskell
@Oliviastarstuff@fosstodon.org avatar

I've been learning and loving . It feels very much like coding in for some reason. I think it has to do with how the built-in functions are laid out.

maralorn,
@maralorn@chaos.social avatar

@Oliviastarstuff
Totally makes sense, because Excel is also pure and declarative.

In fact, one of the inventors of Haskell, Simon Peyton Jones, has worked with the Excel Team and actually gave talks about it at Haskell events.

maralorn, to random
@maralorn@chaos.social avatar

Can we please stop reframing the supposed "refugee crisis" to an "economic opportunity"?

Yes, I think it is valuable to remark, that we can very well afford and might even profit from welcoming them.

But framing them as a solution to our economic problems instrumentalizes them and sugarcoats the fact that our economy is grounded in inequality, relying on cheap labour, often from people of colour.

The rights of refugees, don’t need justification. They are human rights.

LGUG2Z, to linux
@LGUG2Z@hachyderm.io avatar

Has anyone actually been able to go back to another distro after using as a daily driver? Just the thought of it seems impossible to me

maralorn,
@maralorn@chaos.social avatar

@buffet
HotelCaliforniaOS

crmsnbleyd, to haskell
@crmsnbleyd@emacs.ch avatar

rust is so much more ergonomic to use than haskell on guix. I'm talking about bringing in all your dependencies and using guix itself to build. Did haskell devs (if such a thing exists) converge on using nix?

maralorn,
@maralorn@chaos.social avatar

@crmsnbleyd

In the last survey a third of Haskell users reported using Nix in some way to build Haskell packages. A lot of central Haskell projects, like ghc or hls use Nix in their process.

I have never seen a Haskell project using guix.

leanpub, to haskell
@leanpub@mastodon.social avatar

Thinking with Types: Type-Level Programming in Haskell https://leanpub.com/thinking-with-types This book aims to be the comprehensive manual for type-level programming

maralorn,
@maralorn@chaos.social avatar

@BoydStephenSmithJr
This correction is on the well actually level of GNU/Linux...

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