1 Mar 2020 |
emily | yep; the basic idea is to structure the build language to integrate with the object store, and you can just slip a cache anywhere to have it seamlessly reused when the dependencies of an expression hasn't changed, etc. | 22:00:01 |
emily | nixpkgs evaluation time is a fairly substantial overhead and an impediment to recursive Nix use right now, so I want to address that upfront | 22:00:17 |
emily | and more fundamentally get rid of the distinction between "evaluation" vs. "instantiation" Nix has | 22:00:39 |
emily | instead pulling compilers into the language as if they're native functions | 22:00:55 |
energizer` | similar to https://github.com/nmattia/snack i guess | 22:01:00 |
emily | mhm | 22:02:38 |
emily | you can quite practically do incremental Rust/Haskell builds with Nix now basically because the compilers are already so slow that the per-derivation overhead doesn't matter :p | 22:02:59 |
emily | (well, it's also partly having a larger unit of compilation, people are just used to Rust recompiling the entire crate) | 22:03:10 |
energizer` | haha | 22:03:12 |
emily | but less practical if you want to e.g. hook every call the Linux kernel build does to cc to call back into your build system and hash its inputs for (s)ccache-type magic | 22:03:51 |
2 Mar 2020 |
| energizer` left the room. | 03:31:59 |
| creepy-skeleton joined the room. | 10:11:46 |
| creepy-skeleton left the room. | 10:15:58 |
3 Mar 2020 |
| freenode_emilazy[m] left the room. | 14:26:45 |
30 Mar 2020 |
| mewtrino joined the room. | 01:05:51 |
mewtrino | i'm suing for copyright infringement. | 01:06:14 |
6 May 2020 |
| @vika_nezrimaya:cs.xa0.uk joined the room. | 16:34:32 |
@vika_nezrimaya:cs.xa0.uk | mew | 16:37:52 |
@vika_nezrimaya:cs.xa0.uk | that's a very cute name for something as powerful and omnipresent as a build system | 16:38:13 |
20 May 2020 |
| Yana changed their profile picture. | 04:10:12 |
29 May 2020 |
| arc left the room. | 10:16:54 |
16 Jun 2020 |
| @vika_nezrimaya:cs.xa0.uk left the room. | 16:59:48 |
19 Jun 2020 |
| Yana left the room. | 20:13:08 |
2 Jul 2020 |
| mewtrino changed their profile picture. | 17:05:40 |
| mewtrino changed their profile picture. | 17:06:11 |
3 Jul 2020 |
| catern joined the room. | 18:57:47 |
7 Jul 2020 |
| energizer joined the room. | 03:28:34 |
| alani831 joined the room. | 17:16:28 |
| alani831 left the room. | 21:51:04 |
25 Jul 2020 |
| energizer left the room. | 04:08:12 |