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

mangoiv, (edited ) to random
@mangoiv@functional.cafe avatar

Who’s coming to ZuriHac?! I’m so excited!

#haskell

mangoiv,
@mangoiv@functional.cafe avatar

@jesper I was guessing this option would be rather unpopular but here we go! (Looking forward to your talk ;))

mangoiv, to random
@mangoiv@functional.cafe avatar

https://git.mangoiv.com/mangoiv/haskell-note

Getting somewhere

Taneb, to random
@Taneb@hacksrus.xyz avatar

Look at this dinosaur I drew

mangoiv,
@mangoiv@functional.cafe avatar

@Taneb 11/10 dinosaur would roar again.

mangoiv, to haskell
@mangoiv@functional.cafe avatar

Out:
(A -> D) -> B -> C -> D

In:
(A -> (D, B, C) ) -> D

mangoiv,
@mangoiv@functional.cafe avatar

I just realised in my real life example it is worse because d is an unconstrained type variable

mangoiv, to haskell
@mangoiv@functional.cafe avatar

Shoutout to @hecate for https://flora.pm/.

It’s just so awesome to have a fast, modern UI for hackage that really suits all your needs!

#haskell

lyxia, to haskell
@lyxia@mamot.fr avatar

Bluefin-algae, an algebraic effect library using the Bluefin effect system.
https://discourse.haskell.org/t/bluefin-algae-algebraic-effects-in-bluefin/9470

mangoiv,
@mangoiv@functional.cafe avatar

@lyxia finally someone uses the native delconts! ❤️
Thank you for making this :)

mangoiv, to random
@mangoiv@functional.cafe avatar

https://git.mangoiv.com/mangoiv/haskell-note

Making good progress but there’s so much boilerplate. I should write a framework.

Also quite tva pity you have to do everything yourself. Spent an hour just to be able to use TOTP with servant-auth

Taneb, to random
@Taneb@hacksrus.xyz avatar

Let's see if I can get my NAS up and running today

mangoiv,
@mangoiv@functional.cafe avatar

@Taneb what kinda system is that?

mangoiv,
@mangoiv@functional.cafe avatar

@Taneb some kinda SBC?

mangoiv,
@mangoiv@functional.cafe avatar

@Taneb did you see nixos-aarch64-images? Might be a good idea to first get a basic setup running and then use something like nixos-anywhere + disko to attack installing the proper thing. But tbh I’m just guessing 😅

mangoiv,
@mangoiv@functional.cafe avatar

@Taneb packages.aarch64-linux = {
sdcard = nixos-generators.nixosGenerate {
system = "aarch64-linux";
format = "sd-aarch64";
modules = [
self.nixosModules.system
self.nixosModules.users
];
};
};

Do you use this? There’s something weird going on with sd cards, too (for the rpi I just downloaded smth from the hydra) 😅

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

https://www.bbc.com/news/articles/c0kl4glp547o

I blame all the stupid rule based systems for getting your attention. iOS Focus is the most needlessly complex solution to a problem relative to the problem difficulty I've ever seen.

mangoiv,
@mangoiv@functional.cafe avatar

@dpiponi so true. I could never wrap my head around it. Perhaps they should publish a paper on “dnd semantics in post apocalyptic UI design”

mangoiv,
@mangoiv@functional.cafe avatar

@dpiponi no. and I most definitely won’t. 😅

mangoiv, to haskell
@mangoiv@functional.cafe avatar

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

matthartley, to random
@matthartley@fosstodon.org avatar

Yes, this is legit and is something I've enlisted the NixOS community to help with. I am mysterious like that. It's a work in progress, the community members I'm working with will help me make the final selection.

https://discourse.nixos.org/t/exciting-partnership-announcement-framework-community-nixos-communities-join-forces/44640

mangoiv,
@mangoiv@functional.cafe avatar

@raito cryptpad.fr forms have been my go to. There’s also a form services hosted by the European Union if you wanna go all the way. (As expected it something self made and really hard to use but it has this super official domain ;D)

mangoiv,
@mangoiv@functional.cafe avatar

@raito ouff, that’s unfortunate. I didn’t have these issues, so I wouldn’t know.

kosmikus, to haskell
@kosmikus@functional.cafe avatar

The one-year anniversary episode of the is starting in about 15 minutes!

https://www.youtube.com/watch?v=QTgRKWGDVr0&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=24

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus 🍿(also where do I find these shirts? 😅)

mangoiv, to random
@mangoiv@functional.cafe avatar

Aha just had a realization; Type parameters in Haskell, if they decide something that is in some Quote m has to be provided before splicing. This seems pretty obvious if you think about it for more than two seconds but I was puzzled as my normal assumption is always “well this information is available at compile time” so I guess what you wanna do is to have an argument that consists of something that carries the type for what needs it in the Quote m and then you pass your other “runtime” argument quoted… this is unfortunate because it means that there’s so much syntactic overhead involved :(

mangoiv, to NixOS
@mangoiv@functional.cafe avatar

Oh we’re so back, girls

https://discourse.nixos.org/t/nixos-foundation-board-giving-power-to-the-community/44552

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus well, I hope so, as with all things, only time will tell but this seems like a huge step in the right direction. Really excited for what’s to come.

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus I also hope that it finally becomes a bit more quiet, I can’t see all the “This is the first time X has posted — let’s welcome them to our community!” - “this post was flagged by the community” anymore 😂

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus in what way? You have a lot more experience in such things so I’d be glad to know why you think this is bad/ makes you feel sadness? I saw that delroth also didn’t have much good to say…

kosmikus, to haskell
@kosmikus@functional.cafe avatar

The is now 1 year old! In the anniversary episode, Edsko and I will return to the very first topic and consider (un)folds, but now in a more generic setting. Live on YouTube 2024-05-01 at 1830 UTC.

https://www.youtube.com/watch?v=QTgRKWGDVr0&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=24

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus neat! The anniversary one I’ll have to watch live, I guess! 😅

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