#Nix UX is such crap, it's unreal.

I love the tech, and the language is fun (funny), but it doesn't have to be like this.

I wish I had money to self-fund R&D beyond my people's work on #ghc

I would totally invest into #purenix.

If you want to help me reach my goals of bettering the industry beyond what #Serokell is doing, please consider asking your executives to have a look at #ZeroHR for their tech skill assessment needs.

https://zerohr.io

∅hr: Tech hiring. Streamlined.

∅hr is a platform that streamlines tech hiring.

∅hr

By the way, the legendary #Serokell, the #Rust, #Nix and #Haskell company can onboard one #enterprise customer.

Living in #London, I hear a lot of #tech horror stories. If your company concerns itself with code quality and speed of delivery, #Serokell is your choice.

Ask me about whom to talk to get a quote.

My plan for #CD refactoring for #ZeroHR:

https://github.com/numtide/system-manager/tree/main — allows to configure non-NixOS systemd declaratively using Nix programming language.
https://github.com/serokell/deploy-rs — allows to do non-privileged deploys using #nix flakes. Works on non-NixOS linuxes via home-manager.
https://github.com/getsops/sops — for secret management capability, integratable with deploy-rs[1].

[1]: https://samleathers.com/posts/2022-02-11-my-new-network-and-sops.html

#numtide #serokell #systemManager #deployRs #sops

GitHub - numtide/system-manager: Manage system config using nix on any distro

Manage system config using nix on any distro. Contribute to numtide/system-manager development by creating an account on GitHub.

GitHub

With this full implementation of term-to-type is completed[1], thanks to #serokell's funding. Honestly, the stuff Mr. Zavialov, soon-to-be-Dr. Rogozin and others have done for #GHC over past half-decade may be quiet, but also quite impressive.

Long live #Haskell, the most level-headed option for strong typing in production.

[1]: https://gitlab.haskell.org/ghc/ghc/-/commit/0f0c53a501ba7740cc896bdb3a2b153512183955

T2T in Patterns (#23739) (0f0c53a5) · Commits · Glasgow Haskell Compiler / GHC · GitLab

This patch implements the T2T (term-to-type) transformation in patterns. Patterns that are checked against a visible forall can now be written without the `type` keyword: \(type t) (x :: t)...

GitLab

On the subject of re-writing the same thing over and over again.

For #doauth I need to capture detached signatures[1] in #API.

I made a `:> Capture ` query on #hackagesearch website[2] and after very very brief exploration, an API capturing something called `SessionToken`[3] caught my eye.

Upon inspection it turned out that they have B64 encoding as well, except significantly less deranged than mine.

[1]: https://hackage-search.serokell.io/?q=%3A%3E+Capture+
[2]: https://hackage-search.serokell.io/viewfile/battleplace-0.1.0.10/BattlePlace/WebApi.hs#line-44

#battleplace #serokell

Hackage Search