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

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 🤓

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

Auf dem weg zur

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.

#haskell

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

mangoiv, to random
@mangoiv@functional.cafe avatar

@hecate 😍
https://social.tchncs.de/

mangoiv, to haskell
@mangoiv@functional.cafe avatar

My favourite row polymorphism package is aeson

mangoiv, to random
@mangoiv@functional.cafe avatar

AI (derogatory)

mangoiv, to random
@mangoiv@functional.cafe avatar

Holy fuck. https://realsocial.life/@imtheq/112460000176396007

blinry, to random
@blinry@chaos.social avatar

Got collaboration working between VS Code and Neovim today! Really exciting! \o/

What features would you like to see in a tool like this? 🧑‍💻

A VS Code window and a Neovim window are open next to each other. When you type in one window, it is reflected in the other window!

mangoiv,
@mangoiv@functional.cafe avatar

@afiestas I don’t know if this does but tmate does-ish. Namely tmux.

mangoiv,
@mangoiv@functional.cafe avatar

@odo2063 @afiestas is this really how the joke goes 😅

mangoiv, to haskell
@mangoiv@functional.cafe avatar

https://bin.mangoiv.com/note?id=d98221a5-bc33-4ff9-b55f-a8011dd389a1

For ers using neovim I have a little treat to make their code lenses less ugly :ablobcatreachreverse:

(Thing is in nix, if you don’t use nix, then you will know how to patch your neovim, I guess 😁)

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/

mangoiv,
@mangoiv@functional.cafe avatar

I liked it! Much more serious example and much more Haskell-looking translation.

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn @kosmikus im pretty sure that was to replicate the behaviour of the Java version, no? Edsko did talk about examining the size of the critical region being the original motivation behind the Java code.

Using an MVar is using a lock. while the MVar is taken, no other Thread can take it.

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn atomicModifyIORef doesn’t seem to work very well here in particular, mind that we throw an exception in one of the branches. Tbh I think an MVar is the perfect fit here 😅

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn oh, in my mind its a lock which also has a value, locking the MVar is taking it, unlocking it is putting it. Or, if you so wish, you can even do it in reverse.

As far as i understand what you normally call a lock is what we’d call an MVar ().

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