A slightly delayed update for today, as a large part of the team was away for a company event last week. But still:
Nickel
- @yannham got Nickel to properly compile to WASM (#356). This required some refactorings to get everything to work properly and without too many hacks, but it’s now mostly there.
- Giulio just started an internship to work on improving the typechecking algorithm
- Also (though it’s nothing new), the RFC on Record overriding is still open, don’t hesitate to check it out.
CA Nix
- @thufschmitt opened a stack of PRs to fix the “Two Glibc” issue (#4833, #4836, #4838, #4839)
- He also wrote a number of fixes for some feature that weren’t properly behaving with CA derivations (
nix-shell(#4842),nix develop(#4908),nix collect-garbage(#4906)) - There’s also a PR in the works to allow transparently mixing ca-aware and non-ca-aware builders in the same network (#4905)
Misc
-
@thufschmitt allowed
nix flake checkto pile up the errors rather than stop at the first one (#4878) -
@edolstra fixed the use of
nixinside somenix developenvironments (e6150d) -
@garbas updated the nix.dev build to make it easier to integrate with the nixos.org website (Flakify with poetry2nix by garbas · Pull Request #156 · NixOS/nix.dev · GitHub). In case you missed it, most of the content of nix.dev is mirrored on Learn Nix | Nix & NixOS :
-
@garbas is working with @ysndr to expand search.nixos.org to support flakes (#321)
-
@edolstra and @mat are currently going through the flames of administrivia setting up the contracts and other legal papers for the Summer of Nix.
-
@pamplemousse started a Tweag fellowship with the goal of fuzzing Nix. You can read more about it here. Stay tuned for more.
And that’s all, folks