Robotnix | 255 Members | |
| Build Android (AOSP) using Nix | https://github.com/danielfullmer/robotnix | 80 Servers |
| Sender | Message | Time |
|---|---|---|
| 5 Mar 2026 | ||
| Yep, exactly | 14:53:50 | |
| ok! Just wanted to check if my intuition was correct :-) | 14:54:05 | |
| you'll have to manually patch the LOS migration script to work with your new keys tho, since they're hardcoded | 14:54:21 | |
| Oh and if you haven't locked your bootloader and if you're on stateVersion = 1, it'll suffice to delete and regenerate avb.pem and avb_pkmd.bin | 14:55:43 | |
| (The LOS key migration script is only needed for APK keys) | 14:56:33 | |
| oh! And then no need to migrate anything? | 15:11:31 | |
| Yes I've done that initially when I migrated from the official LOS build to my own build | 15:11:32 | |
| Yes I think so | 17:26:33 | |
| cause the APK and APEX keys won't change | 17:26:46 | |
| * | 17:38:01 | |
| thanks ! | 17:38:07 | |
| 8 Mar 2026 | ||
| Redacted or Malformed Event | 22:47:59 | |
| Redacted or Malformed Event | 22:48:02 | |
| https://github.com/jonathanfishbein1/robotnix | 22:50:12 | |
| I have this to add calyxos to the repo. Its all claude code | 22:50:35 | |
| but I cant build it as of yet because I think 32g isnt enough | 22:51:07 | |
| do what you want on your personal fork, but I will never accept slopcoded contributions like that into upstream | 22:55:25 | |
| Sorry to hear that. its true I dont know much about android building and really couldnt say one way or the other about the generated code atm | 22:58:06 | |
| but claude is pretty capable whether we want to admit it or not. Im using it effectively for haskell development and it can implement pretty advanced concepts that I can verify | 22:59:38 | |
| neither did I a year ago, and yet I maintain robotnix now. come back once you are actually interested in learning and contributing by yourself | 23:01:02 | |
| 23:35:52 | ||
| 10 Mar 2026 | ||
| No offense, but you must have like +3-4 sigma on the Wechsler scale to have been able to do that. I failed to finish that Android 12 bump PR twice or thrice before I gave up and went on my "imma build an incremental AOSP build tool based on dynamic derivations" crusade, and yet here you are now, up-to-date with the upstream while I'm still waiting for NLNet to tell me if the grant is in or not P: So I'm not sure a superhuman is a good rubric to judge us mortals with xD | 05:36:52 | |
| Yes, Opus 4.6 is pretty impressive. I'm using it heavily as a sort of executive dysfunction and dysthymia therapy tool and it can run, like, 10 projects of varying sizes in the background while I work/focus on one of them myself. And with 4.6 it's finally good enough code (sometimes better than I would've written, don't think that any amount learning would've allowed me to write a dependently typed language) that if you have a strict planning workflow with tight guardrails (thank the deities for NixOS VM tests), then you can leave it doing it's own thing for quite a while and get out good enough code out of it. But if you actually go and submit that upstream yourself as-is then wat. The model still does not actually understand what it had written. That it can appears as if it does is very impressive, but that is gone as soon as the context is and can't replace proper understanding and learning. And why are you sending out code nobody understands (or very soon won't), then it basically is offloading the comprehension of your code on the upstream, which sucks. If you write with models, which I think finally stopped being a malpractice with Opus 4.6, then the minimum courtesy you can do is working with its output enough that you don't have to add it as a co-author and have your intellectual property claim hold up in court (which is actually an even stronger reason to reject purely slopped contributions - nobody wants to suddenly learn that their GPL claim was oveturned in court because some silly contributor didn't have IP over the code they "written"). | 05:37:09 | |
| 06:53:26 | ||
| And youre all still successfully ignoring all the moral issues of using these LLMs:
| 09:21:48 | |
| Using the things at all and in any capacity is in my immoral | 09:23:01 | |
| 15:52:13 | ||
| Yea theres no pr just my personal repo. More of a poc than anything | 16:09:50 | |
| It would have been disingenuous to have removed claude as a contributor | 16:19:48 | |
| If you would have done enough work on it yourself for it to qualify as your IP it wouldn't have been disingenuous. As it is now, this code is nobody's (or everybody's I guess, belongin in public domain) in some jurisdictions (e.g. EU), so in a way it's actually disingenuous to put anybody as the author P: | 16:39:25 | |