Replies

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

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

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

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