@mangoiv@functional.cafe
@mangoiv@functional.cafe avatar

mangoiv

@mangoiv@functional.cafe

Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir.

Currently finishing Bachelor's and writing Haskell for wire messenger.

Sometimes I build mechanical keyboards.

I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.

I will post in English and will occasionally boost German (network-)politics related things.

he/him is fine

This profile is from a federated server and may be incomplete. Browse more on the original instance.

maralorn, to NixOS
@maralorn@chaos.social avatar

Switched all my machines to 24.05.

Basically no hickups. Thanks to all contributors for a great release!

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn the most important question: when’s the new animal being leaked 🥹

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn ooooooooooooooooooooo

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn Owo so cute

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn also how did that get there, is that pushed directly to master? I can’t see a PR that changes this. 😳

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn https://github.com/NixOS/nixpkgs/commit/4a817d2083d6cd7068dc55511fbf90f84653b301

mangoiv, to haskell
@mangoiv@functional.cafe avatar

MemoTrie is the coolest library what the HEEEEEEECK 😳😻

c3manu, to random
@c3manu@chaos.social avatar

hypothesis on why dealing with insufficient software documentation has gotten a lot more agonizing over the last few years: you don't find the personal developer blog's post complementing it in your web search any more

mangoiv,
@mangoiv@functional.cafe avatar

@c3manu I love the „small web“ search modifier for Kagi for this, it actually seems to work-ish most of the time-ish (that’s probably the best we can get these days)

mangoiv,
@mangoiv@functional.cafe avatar

@c3manu I relate to that but also, what else am I gonna do? I need search, it’s not something I can miss, it’s essential to my work etc. I wish there was another option.

maralorn, to NixOS
@maralorn@chaos.social avatar

Hey and people!

I wrote a matrix bot for nixpkgs pull request notifications.

It‘s like the cool https//nixpk.gs/tracker.html by @qyliss, which shows you which release channels a pull request has reached.

With the bot you can subscribe and get notifications, whenever it reaches a channel instead of hammering F5 in your browser tab.

Just open a query to https://matrix.to/#/@nixpkgs-bot:maralorn.de and send "help".

Looking forward to you all stress testing it!

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn very cool!

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