Toots for aiono@mastodon.social account

Written by Aiono on 2025-01-27 at 19:55

Anesthesize was the first #Porcupinetree song I heard thanks to the recommendation of a friend in my bachelor's. Since then it became one of my favorite bands of all time. It's very progressive also very catchy and groovy. The drumming is simply incredible and every instrument is not more or less then needed. One of my favorite songs of all time. The live version is the best in my opinion.

https://m.youtube.com/watch?v=XDrKkuEgFG8&pp=ygUQYW5lc3RoZXNpemUgbGl2ZQ%3D%3D

[#]progressiverock #ListeningClub

=> More informations about this toot | View the thread

Written by Aiono on 2025-01-19 at 11:38

If you are using Jane Street Core with #OCaml and want to use Maps without having to specify the comparator function, I realized there is a submodule Map.Poly https://ocaml.org/p/core/v0.17.1/doc/Core/Map/Poly/index.html# for that. I think it's nice that you can control how keys are ordered when you need to, but it's really good to have the option when you don't care.

=> More informations about this toot | View the thread

Written by Aiono on 2024-10-20 at 12:07

https://blog.aiono.dev/posts/pinning-nixpkgs-without-channels.html

New blog post is out! It's about getting reproducible build in non-flake Nix by pinning nixpkgs. If you find channels not reproducible enough but also don't want to move to flakes yet, you can check this out.

[#]nix #nixos #home-manager #flakes

=> More informations about this toot | View the thread

=> This profile without reblog | Go to aiono@mastodon.social account

Proxy Information
Original URL
gemini://mastogem.picasoft.net/profile/109371070339144585/reblog
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
415.717268 milliseconds
Gemini-to-HTML Time
0.999571 milliseconds

This content has been proxied by September (3851b).