gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
rardiol has joined #nixos-chat
<ldlework> Shit low-quality encoding but here's an animation I'm working on, https://www.youtube.com/watch?v=bQa8Q-bzWy4
ivan has joined #nixos-chat
<ivan> https://www.youtube.com/watch?v=3byNNUReyvE Apple at Black Hat again
<samueldr> I have this thing I'm working on where I define tasks, and they currently only can _depend_ on other things
<samueldr> this makes it trivial to work with as there can be no cycles
<samueldr> (uh, just thought of a way you can make a cycle, but that's not relevant here)
<samueldr> I want to keep it so that tasks are as self-contained as possible
<samueldr> I have a task "Mount" where I it is parameterized by mount point, device and type
<samueldr> ugh, I thought I had my question for you all well-defined but as I'm writing it it's clear as mud
<gchristensen> :D
drakonis has joined #nixos-chat
AluisioASG has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
AluisioASG has joined #nixos-chat
evanjs has quit [Quit: ZNC 1.7.4 - https://znc.in]
evanjs has joined #nixos-chat
<elvishjerricco> I love tmux
andi- has quit [Ping timeout: 246 seconds]
andi- has joined #nixos-chat
<Church-> Aye tmux is nice
<Church-> samueldr: How's mobile going?
<samueldr> working on "behind the scenes" stuff last few weeks
<samueldr> and it looks like I'll be able to finish that stuff before the new year
pie_ has quit [Ping timeout: 240 seconds]
<samueldr> Church-: any reason you ask?
<Church-> Just curious, getting my pine phone soon. And eager to see if I can do some porting work
<samueldr> it's untested on the final device, but I have my reasons to assume it'll work as good as it works on the devkit right now
<samueldr> nothing in Mobile NixOS is figured out for telephony and stuff (integration-wise)
<samueldr> working on more general foundational stuff
<samueldr> which will be as useful on the pinephone as android devices; as there will be no trivial way to select a generation at boot
<samueldr> unless things changed in the last few days, u-boot still had no gfx init and no one was working on improving u-boot for pinephone a bit
endformationage has quit [Quit: WeeChat 2.6]
rardiol has quit [Ping timeout: 265 seconds]
drakonis has quit [Quit: WeeChat 2.6]
<Church-> samueldr: Well there's already a ofono service at least. Which is good
<Church-> But yeah integration might be a pain
<ashkitten> samueldr: i wonder if you could make a small "stage 0" bootstrap to display a boot menu
<ashkitten> also my indiegogo contribution still hasnt been locked >> hopefully it is by tomorrow
<samueldr> ashkitten: that's *exactly* what I'm working on
<samueldr> well, the foundation for that
<ashkitten> samueldr: oh, haha
<Church-> Wondering if I should use plasma mobile or Ubuntu touch...
<Church-> Hmm
<samueldr> the yak I had to shave for this is... tiny, but feels like a ton of hair
<ashkitten> i get that..
<samueldr> I didn't want to continue investing in the ash (busybox sh)-based stage-1 scripts
<ashkitten> these new-fangled breadth first yaks
<samueldr> I don't want to write C or C++
<samueldr> and the desired solution needs to cross-compile
<samueldr> oh, it needs to be smol
<samueldr> the minimum requirement for a recent enough device is 16MiB for kernel+initrd
<samueldr> it's possible to trim the kernel to 8MiB easily enough without losing too much
<samueldr> that makes it ~8MiB compressed total for the init, which needs systemd-udev
<samueldr> a next step will be figuring out a way to make it smaller
<ashkitten> cool!
Irenes[m] has joined #nixos-chat
<Church-> Neat
<Church-> I'll try and find some papers I remember seeing on super-minimal systems installs
<samueldr> the thing is there's a bunch of tricks that can't be done really
<samueldr> sometimes they'll ditch udev and rely on knowing the hardwae
<samueldr> hardware*
<samueldr> we can't, we don't know the hardware
<samueldr> the kernels are bad smelly spaghetti code piles; disabling something will sometimes make a seemingly irrelevant part stop compiling
<samueldr> (all in vendor code)
<samueldr> so it's not trivial to make an ultra-minimal kernel
<samueldr> and furthermore, the device needs to work still with that kernel! (until we get kexec going)
<ashkitten> oh yeah, i figured you'd just put together a barely functional stripped down kernel for stage 0 and kexec into the barely functional vendor kernel
<ashkitten> but if you can't do that i guess it complicates things
<samueldr> it gets invasive quickly :)
<samueldr> though AFAICT that 16MiB boot partition is an outlier
<samueldr> it's a 64 bit device that shipped with a 32 bit kernel/system build
<ashkitten> heh
<samueldr> all other 64 bit devices seem to have a bigger boot partition, at least 32MiB
<samueldr> at such small sizes, from 16 to 32MiB is a great improvement for our needs
<Church-> samueldr: What device is this?
<samueldr> Moto Z Play
<Church-> Hmm, remember that one well
<samueldr> hm?
<samueldr> nice, first device boot using the new init
<Church-> Nice
<Church-> samueldr: You've got a pine phone right? How is it? Probably only given it a quick glance over I assume
<samueldr> nope, no pine phone, but the don't be evil devkit
<Church-> Ah that's right. Nod nod
<Irenes[m]> the Bravehearts haven't shipped yet
<samueldr> holy baloney, it wasn't an actual goal of the endeavour, but I shaved ~5s from the init script with that POC
<samueldr> (on my slowest device)
<Remosi> shiny!
<{^_^}> yshui/picom#222 (by xyproto, 18 weeks ago, closed): Rename
<Church-> samueldr: Rad
* samueldr thinks
<samueldr> right, there is stuff that isn't implemented where it would make sense it adds 5 seconds
<samueldr> mostly usb networking in initrd for debugging
<samueldr> oof +1,942 −145
<samueldr> (though to be fair I haven't remove most existing shell initrd bits)
psyanticy has joined #nixos-chat
__monty__ has joined #nixos-chat
pie_ has joined #nixos-chat
pie_ has quit [Ping timeout: 265 seconds]
pie_ has joined #nixos-chat
pie_ has quit [Ping timeout: 260 seconds]
pie_ has joined #nixos-chat
pie_ has quit [Ping timeout: 258 seconds]
rardiol has joined #nixos-chat
pie_ has joined #nixos-chat
pie_ has quit [Ping timeout: 260 seconds]
pie_ has joined #nixos-chat
pie_ has quit [Quit: No Ping reply in 180 seconds.]
pie_ has joined #nixos-chat
<MichaelRaskin> I have a feeling that RFC#36 describes a process which is noticeably different from what is going on in reality. It looks like RFC gives Shepherds less responsibility for personally polishing each corner than a typical Shepherd team ands picking up (by RFC, it looks like the point of unanimity is to make a binding decision whether the points raised — whether by the ST or by others — have been properly addressed)
<MichaelRaskin> I wonder if clarifying this would either make RFCs#36 clearer, or alternatively make it easier to find willing shepherds.
<{^_^}> https://github.com/NixOS/rfcs/pull/36 (by globin, 1 year ago, merged): [RFC 0036] Improving the RFC process
<MichaelRaskin> (Depending on the direction of the change)
rardiol has quit [Ping timeout: 265 seconds]
__monty__ has quit [Quit: leaving]
pie_ has quit [Ping timeout: 258 seconds]
drakonis has joined #nixos-chat
pie_ has joined #nixos-chat
pie_ has quit [Ping timeout: 240 seconds]
pie_ has joined #nixos-chat
<ldlework> Have any of you tried AI Dungeon?
<drakonis> ah i have
<drakonis> it is great
<ldlework> apparently some people forked it and built some better versions
<ldlework> and they're hosted on Google Collaboratory
<ldlework> I thought that was an interesting way to go about it
psyanticy has quit [Quit: Connection closed for inactivity]
rardiol has joined #nixos-chat
<worldofpeace> lovesegfault: like this in and overlay should work https://gist.github.com/worldofpeace/506a207d004d4f72b8eb2c3bf7221722
<worldofpeace> I checked the wrappers
<worldofpeace> lol, wrong channel but ok.
qyliss has quit [Quit: bye]
qyliss has joined #nixos-chat
evanjs has quit [Ping timeout: 260 seconds]
<Irenes[m]> Oh, yeah, hosting it on Colab makes sense because it saves the user install Python and TensorFlow
<Irenes[m]> *installing
<Irenes[m]> Which are, like, not easy installs
<Irenes[m]> I tried playing it but it made my GPU run out of memory
<Irenes[m]> I thought I'd never see a text game more resource intensive than Dwarf Fortress :)
<Church-> Irenes[m]: Yeah I can't wait for them to ship
rardiol has quit [Ping timeout: 265 seconds]
drakonis has quit [Quit: WeeChat 2.7]
drakonis has joined #nixos-chat
<ashkitten> wtf, firefox is apparently freezing up every so often and the profiler says it's due to "cycle collection"
<Irenes[m]> @church- Likewise!
evanjs has joined #nixos-chat
evanjs has quit [Remote host closed the connection]
evanjs has joined #nixos-chat
drakonis has quit [Quit: WeeChat 2.7]
<infinisil> I have a decent plan for partly rewriting the NixOS module system to improve performance considerably
<infinisil> It would also allow a much better security story, allowing you to restrict what options third-party modules can read/write to
<infinisil> And it would be almost backwards compatible
<infinisil> Meaning most configuration.nix's won't need any changes
<infinisil> But this might take a whole while to implement, and I'm wondering how I could do this for a living