I have the idea that concurrent Nix build processes may work as a computational interpretation of the semi-axiomatic sequent calculus for adjoint logic. To check this, I am basing some new developments in https://t.co/KitShTO0aj on the idea. Stay tuned :-)
@JustDeezGuy It gets a bit better if you combine it with a build cluster solution like https://t.co/KitShTNskL (shameless plug). You get caching and we're working on improving observability.
@fmzakari The system I'm imagining would need some extra type-level features for paths. Integrating with Nix the language is the hard part ;-( Maybe with a really small subset, or with gradual types like Nickel.
We have a new blog post out!
This one is a summary of some of the things we've been working on lately: A new web UI, self-hosting and more!
https://t.co/SMkeydhX4g
https://t.co/MkPMu3Lsfk is now en route to #Bazelcon in Mountain View, to learn more about @bazelbuild and talk to users combining Bazel with Nix! If you're there, don't hesitate saying hi to @rickynils and @dawaern!