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

nomeata, to random
@nomeata@mastodon.online avatar

On the way to . Will bring stickers. No particular plans besides swimming and chatting, so feel free to chat and/or swim with me

mangoiv,
@mangoiv@functional.cafe avatar

@nomeata I’ve been giving some out already! :D

mangoiv, to haskell
@mangoiv@functional.cafe avatar

this was a lot of fun (named arguments in by using -XOverloadedRecordUpdate)

https://bin.mangoiv.com/note?id=837d3a48-e34e-48e8-b519-8c775f146262

mangoiv, to random
@mangoiv@functional.cafe avatar

I think it’s not known widely enough that “it” is this keyboard https://github.com/pseudoku/ErgoWarp

mangoiv, to random
@mangoiv@functional.cafe avatar

@flora_pm was such a good Haskell package index, they named a street in Switzerland after it!

mangoiv, to random
@mangoiv@functional.cafe avatar

After only ten hours! Here I am, #zurihac24

mangoiv, to random
@mangoiv@functional.cafe avatar

Only 90 minutes late and two additional changeovers. This must be a new record in punctuality and travelling comfort for me with Deutsche Bahn, I’m positively surprised.

mangoiv, to random
@mangoiv@functional.cafe avatar

Wow Bazel was so popular they made it a city

mangoiv, to haskell
@mangoiv@functional.cafe avatar

Behold: cursed non-sense that doesn’t work well but is conceivable to work well with a few more minutes (sorry for not putting them in)

https://bin.mangoiv.com/note?id=95b5b823-05fe-4806-ab40-88c35892936a

mangoiv,
@mangoiv@functional.cafe avatar

I think the only thing that needs to be done is to come up with a clever type class that does some flipping for you, based on the arguments. It’s not entirely trivial but might work.

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

I am really annoyed by discord. Why is it such a good chat app for communities and events? Why can't we have that in free, privacy respecting and open source?

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn it’s true. I think there are some people working on it, I think it’s called rocket chat or smth. The main issue I think the replacement has is no federation. I hope that MIMI will enable federated encrypted instant messaging and then I think it’s time to build Discord as FOSS

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn https://datatracker.ietf.org/wg/mimi/about/

mangoiv, to random
@mangoiv@functional.cafe avatar

This is quite interesting:
https://landaire.net/on-dependency-usage-in-rust/

typeswitch, to random
@typeswitch@gamedev.lgbt avatar

just as many music players have an "adjust playback volume" options to keep everything at the same-ish volume, so should web browsers have an "adjust brightness" option to keep everything at the same-ish brightness when you follow a link or switch tabs.

mangoiv,
@mangoiv@functional.cafe avatar

@typeswitch I think it’s called dark reader 🤓

mangoiv, to random
@mangoiv@functional.cafe avatar

shoutout to the people who made trouble.nvim. This is awesome! #nvim

ink, to random German
@ink@corteximplant.com avatar

Auf dem weg zur #gpn22

mangoiv,
@mangoiv@functional.cafe avatar

@ink keep us posted! Interessiert mich sehr, wie das da so ist :3

mangoiv, to haskell
@mangoiv@functional.cafe avatar

Removing the reexports from mtl was, while I really like it conceptually, quite the breaking change, apparently it had become a habit in my team to just import Control.Monad.Except to get access to Control.Monad and Control.Monad.IO.Class… On that note: why’s there no Control.Monad.IO, why do I have to type .Class all the time.

mangoiv, to random
@mangoiv@functional.cafe avatar

“Here’s a mail that we’ve unsubscribed you from our mails”

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

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

mangoiv, to haskell
@mangoiv@functional.cafe avatar

Has somebody already made stickers?
https://twitter.com/sawaratsuki1004/status/1782465758112702857

mangoiv,
@mangoiv@functional.cafe avatar

@GZGavinZhao tell me how it turns out, i might do the same! <3

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
  • ngwrru68w68
  • everett
  • InstantRegret
  • magazineikmin
  • thenastyranch
  • rosin
  • GTA5RPClips
  • Durango
  • Youngstown
  • slotface
  • khanakhh
  • kavyap
  • DreamBathrooms
  • provamag3
  • tacticalgear
  • osvaldo12
  • tester
  • cubers
  • cisconetworking
  • mdbf
  • ethstaker
  • modclub
  • Leos
  • anitta
  • normalnudes
  • megavids
  • lostlight
  • All magazines
    •