| 6 Apr 2026 |
mio | Redacted or Malformed Event | 13:04:47 |
pentane | Brief reminder that LLMs are off-topic here | 13:05:13 |
pentane | * Brief reminder to stay on-topic here | 13:05:35 |
| esch joined the room. | 14:53:27 |
| 8 Apr 2026 |
Atemu | Not sure whether I published it but I recently had the idea to pierce the sandbox for the gradle cache for the java stuff that can't be ccached. Though now that I've written it out I realise that it might not even use gradle and calls javac directly, hm | 02:03:37 |
Atemu | Mozilla has a caching tool for rust though that ought to be usable in the sandbox somehow | 02:04:29 |
jack | I remember coming across a nix project that did this for gradle. Lemme dig around a bit. | 04:09:56 |
Sophia | I mean the robotnix project does offer a ccache. Though for me it feels like it doesn't do much | 05:56:13 |
Atemu | ccache only caches the c/c++ bits | 07:24:33 |
Atemu | A lot of the AOSP is Java and some rust is in there too | 07:25:18 |
| 10 Apr 2026 |
neobrain | https://nlnet.nl/project/Shinobi/
Are any of you behind this or is that a separate effort? | 06:45:19 |
pentane | @jaen:matrix.org was this your grant? | 12:35:13 |
jaen | Yes, that's the one | 12:36:52 |
jaen | * | 12:38:33 |
neobrain | nice, congrats! | 13:13:04 |
magic_rb | Lol, you found out you got the grant cause you got pinged here? | 13:21:22 |
magic_rb | Peak | 13:21:23 |
jaen | It would be funny if I did, but no - I actually do read e-mails from time to time xD | 15:23:40 |
jaen | I guess now I have to actually go and build this thing for real. | 15:26:18 |
jaen | Gotta hold Ericson by his "we're making dyndrvs generally usable this year" because when I transitioned my PoCs from parsing at scale to building at scale it turns there sure is a bit of overhead to solve xD | 15:26:28 |
neobrain | To me as a layperson the project sounds like it's solving a similar problem space as soongnix did.
Are they related at all or am I thinking in the wrong direction? | 19:50:21 |
Atemu | Depends on which way you build it. If you take the simple approach of basically doing nix-ninja, you don't interact with soong at all but that's unlikely to work in practice because drvs don't scale into the 100000s. | 23:05:53 |
Atemu | The hard way would be to build soongnix and run it inside a drv to get per-project drvs (100s) | 23:06:51 |
| 11 Apr 2026 |
jaen | Yeah, It Depends™ | 01:48:50 |
jaen | The MVP is writing a ninja parser that doesn't choke on how big AOSP is (that I have mostly mapped out), welding it onto nix-ninja (with a few CLI oddities Soong insists on) and seeing what falls out. Which will probably be "congrats, you now have loads of dyndrv profiling to do" and it is a bit of an open question how far you can go with optimisations. I don't think it's fundamentally impossible to get it to scale (bazel, for all of it being a giant PITA, somehow does it), but may end up not being practical. | 01:49:42 |
jaen | Which is where the second part of it comes in - I'm trying to write it in a modular enough way, so you could decide to take out the ninja chunks, write some Soong piece and keep the rest of niceties for free. Or Grade, or Cmake, or Kbuild or whatever. I just picked AOSP as the first target because I was annoyed at how painful robotnix was to iterate on (until CyclicPentane came along and showed me I just sucked xD), but the idea is to provide something all whatever2nix tools could use. | 01:52:30 |
jaen | And if it turns out that there's a hard ceiling to dyndrvs that makes the simple & dumb approach not work, then I guess I can always pivot to Sonngnix 2: Electric Bogaloo. | 01:54:43 |
jaen | * | 01:55:04 |
jaen | As far as I understand it, the biggest difference between the two is Soong(nix) being applicative (as far as I can tell) and dyndrvs (and thus shinobi) being monadic. It doesn't change much for AOSP build since applicative is strictly less powerful (you have to know the build graph ahead of time), but is in general more powerful (because you can modify the build graph during the build, when you discover new dependencies), so it doesn't hurt to try and leverage that, if practicable. | 02:02:24 |
jaen | But I guess that's enough of off-topic for now | 02:02:43 |