<gchristensen>
imagine if haskellpkgs was its own repo, and depends on nixpkgs. but nixpkgs wants to expose shellcheck as a package
<drakonis>
it'll become relevant soon enough though
<MichaelRaskin>
There is no problem that cannot be solved by a larger git monorepo, except the problem of completely unnaceptably huge repo, which I guess could be solved by using a VCS supporting subtree checkouts
<samueldr>
I'm not going to debate the security of OEM firmware and OEM code, as it is already handled by letting the user decide what they assume about it
<cole-h>
All that green in the rich diff is borderline unbearable
<samueldr>
nice pun, about the green border borderline being
<ldlework>
anyone up for some tetris
<samueldr>
what platform?
<samueldr>
though I say that, not sure I'm up for it right now, but curious for further offers in the future
<cole-h>
Should I take Differential Equations or Linear Algebra as a CS major?
<cole-h>
Just got emailed that I'm getting dropped from my "Intro to Linear Algebra Course" and they redirected me to "Applied Linear Algebra" because it's recommended for engineering students
<ldlework>
samueldr: jstris
<samueldr>
hm, no hold
<samueldr>
oh, no, there _is_ hold
<samueldr>
nice
<samueldr>
I guess if I put a controller and some bindings it would do well
<cole-h>
Holy crap I just about had a panic attack. Somehow, the ovmf for my VM got screwed, so it would just hang on a black screen
<cole-h>
ovmf-git from AUR fixed it (after symlinking it to where it was expected)
<cole-h>
I can't wait to switch to NixOS after this semester is over
cole-h has quit [Client Quit]
endformationage has quit [Quit: WeeChat 2.6]
<ashkitten>
> Due to the May Day holiday, the device assembly and packaging is now scheduled to start 4th of May so we should have first devices from this batch ready to ship end of next week, if they pass QC. We are making 3000 Cosmos in this run and there will be ample devices to satisfy all remaining backers - about 240 devices.
<{^_^}>
error: syntax error, unexpected ',', expecting ')', at (string):308:27
<ashkitten>
{^_^}++
<{^_^}>
{^_^}'s karma got increased to 191
<ashkitten>
samueldr: ^!
<samueldr>
nice
<samueldr>
not exactly related, but might help, ordered a mediatek device to look into the whole mediatek situation
<ashkitten>
that's good
<ashkitten>
hopefully this means i'll have the cosmo to start work soonish
<ashkitten>
though they haven't even released official debian for it lol
<ar>
and i wouldn't be surprised if they will never release another android update for it
<eyJhb>
MichaelRaskin: cannot find any mention on jail, using githubs search
<MichaelRaskin>
It is GitHub search, not grep!
<MichaelRaskin>
Look for nsjail and unshare
<gchristensen>
I am confused. this box of mine does not have a mounted /boot, but does use ZFS as /
<qyliss>
Maybe you mounted boot at install time but it somehow got lost later and hasn't been mounted post-boot or updated since?
<qyliss>
I've had that happen before
<viric>
how did that thing end of mandelbulber and opencv?
<gchristensen>
qyliss: in that case at boot time it would be using some arbitrarily old profile at every boot, and then updated when I deploy next, yeah?
<gchristensen>
good thing I have literally never deleted a system profile from this box.
<MichaelRaskin>
Is all this even UEFI or BIOS-style?
<gchristensen>
bios
<viric>
Error: OpenCL context cannot be created!
<viric>
how does the path to opengl work nowadays? It was LD_LIBRARY_PATH in the past
<srk>
/run/opengl-driver ?
<viric>
but how dlopen goes exactly there
<viric>
where is it written to check there
<srk>
no idea tbh
<clever>
i think the opengl is patched to look there
<viric>
Ah ok
<viric>
and so is opencl?
<clever>
maybe
<MichaelRaskin>
gchristensen: I also see some indications that GRUB2 might be able to read ZFS in some cases?
<viric>
I'll check
<clever>
MichaelRaskin: grub can read zfs, but i find it very unreliable
<clever>
MichaelRaskin: somehow, it can boot just fine, but it cant do a directory listing
<clever>
MichaelRaskin: so you have zero way to debug, when things do go wrong
<srk>
and you need copyKernels
<clever>
yeah
<clever>
it cant traverse a directory with too many files
<srk>
otherwise it can reach path limit and fail trying to find things in /nix/store
<clever>
so /nix/store borks it
<clever>
copyKernels, or having store and boot on seperate datasets, will force it to copy
* srk
learned that the hard way running hydra on zfs with grub :D
<gchristensen>
I am getting the impression I am astoundingly lucky
<MichaelRaskin>
clever: you shouldn't debug, you should wipe and redeploy!
<viric>
it looks like opencl fails to find a cl.cfg file
<clever>
MichaelRaskin: and if it doesnt boot on the first attempt? :P
<clever>
MichaelRaskin: then you need some debug!
<MichaelRaskin>
Nah, just bruteforce to find a working installer version
<joepie91>
translation nor explanation necessary :P
<etu>
emily: Got to live up to the "corner cases as a service" reputation ;)
aranea has joined #nixos-chat
<__monty__>
joepie91: Basically best export NL has ever had : D
<joepie91>
lol
<etu>
emily: I have one laptop that has no persistence for /home and RO network manager settings, it's a "guest laptop" :)
<emily>
people who say they believe in stateless systems but then talk about personal growth 😒
<MichaelRaskin>
__monty__: but Nix!
<joepie91>
__monty__: Wie Is De Mol is also quite good (though technically originally Flemish, AFAIK the Dutch version is what people watch internationally with subtitles)
<__monty__>
We've produced many popular formats.
<__monty__>
MichaelRaskin: I rather look at that as an international cooperation.
<joepie91>
__monty__: I still want a proper continuation of Basta
<MichaelRaskin>
__monty__: Specifically of Nix, it might still be a Dutch export with some imported parts used! Nixpkgs and pre-module-system NixOS were like that originally but that is indeed no longer true of them
<__monty__>
MichaelRaskin: Any academic project is by definition an international product imo.
<__monty__>
joepie91: Never really watched that. But yeah, Neveneffecten is great.
<adisbladis>
emily: Us tmpfs / & /home peeps do have persistent stuff in $HOME, but persistence is opt-in
<joepie91>
__monty__: I mean, it's worth a watch, but it doesn't *quite* have the hilarious impact that Basta does :P
<MichaelRaskin>
__monty__: not really
<MichaelRaskin>
I mean, no more than modern supply chains in general
<emily>
adisbladis: yeah, I figured
<emily>
adisbladis: still seems a bit weird to me, automatically losing all dconf changes or similar on every boot would be annoying, and if you whitelist all the big stateful blobs like that then it hardly seems worthwhile compared to just checking what new files your homedir grew lately with snapshots or similar
<emily>
but maybe I just need to drinnk the koolaid more ^^
<adisbladis>
emily: The usability really depends on how much buy-in you do and how much you DE/WM expects to poop out state
<emily>
yeah
<adisbladis>
I couldn't imagine using KDE on this setup :P
<adisbladis>
For example
<emily>
but comparatively, if you have a cooperative setup, then nothing is really writing to $HOME unexpectedly in the first place right?
<adisbladis>
GTK/Gnome software happily mutates dconf (as you mentioned), Xauthority
<qyliss>
Surprisingly little insists on it if it's -w though
<adisbladis>
.local is full of crap
<MichaelRaskin>
I am using single-use cloned Firefox profiles, and find that convenient. It doesn't mean Firefox doesn't try writing there
<etu>
emily: Then you have to run a kde program. And have small files added everywhere
<adisbladis>
But for sure, you're pretty much required to go "full declarative"
<adisbladis>
Btw, home-manager has module(s) for dconf
<etu>
adisbladis: "full crazy", "special ❄️" and a corner case as a service ;)
<MichaelRaskin>
I am pretty sure I could have tmpfs /home and just the same symlinks to ~/src/rc as I have now
<MichaelRaskin>
So full declarative is probably not required
<adisbladis>
=)
<adisbladis>
It helps that I don't really leave emacs all that much
<MichaelRaskin>
I can't do that, I need a text editor
<adisbladis>
Funny, never heard that one before
<emily>
adisbladis: my current approach has been trying to track $HOME with git instead to give me some visibility on what files I want there vs. don't, but it's for sure a mess
<emily>
I have dconf backed by a text database, turns out you can actually make it do that
<MichaelRaskin>
And of «hitting three-key chords in a sequence» and «keeping track of what is in what state» only one is my core skill
<MichaelRaskin>
So, Vim and not Emacs
<etu>
MichaelRaskin: evil mode? :)
<neeasade>
etu: emacs makes a better vim than vim
<etu>
neeasade: I'm fine with Emacs keybinds though :)
<neeasade>
I'm glad it works for you
<adisbladis>
Btw, anyone in here who has some experience with `doas`?
<adisbladis>
That's pretty close to what I was considering
<adisbladis>
Cool
<emily>
I never got around to trying it sufficiently to determine if it'd work with my usecase (I need it to be backed by a real ssh-agent because I use a yubikey)
<qyliss>
At least one Linux port of doas has introduced a number of its own vulnerabilities, fwiw
<adisbladis>
I had a demo a few years back, but that disappeared after the organisation I had it under was acquired
<qyliss>
And IIRC the maintainer did not respond well to them
<adisbladis>
emily: My thing was acting as a proxy forwarding to a "real" agent
<adisbladis>
For similar reasons
<emily>
looks like we use one maintained by a void developer
<infinisil>
Nice, I set up my mail such that by default, all *@infinisil.com go to a Services mailbox, while only stuff to contact@infinisil.com lands in the inbox
<infinisil>
With a dovecot sieve script
<cole-h>
Nice
<cole-h>
Recently, I learned that 0.99999999... and 1 are the exact same number and it blew my mind.
<infinisil>
> mind = "blown"
<{^_^}>
mind defined
<LnL>
you mean like 0.1 + 0.2?
<emily>
cole-h: because 1/3 = 0.333... and 3 × 1/3 = 1 :)
<cole-h>
emily: Yep, that's exactly what made it click
<__monty__>
But I've also heard it doesn't really constitute a rigorous proof.
slack1256 has joined #nixos-chat
<sphalerite>
emily: "It's like there's a demon in there that makes sure my code is sufficiently deformed, and if not, makes up stupid reasons why it shouldn't compile."
<sphalerite>
so I'd like to do something with a D-Bus API, and… sure, it's all wonderfully introspectable, but how do I go from something providing a service via D-Bus to actually using that service? I feel like d-feet is the closest I have to something that really addresses my need, but that also doesn't run in a terminal so I can't use it on this headless machine where I actualyl want to use the
<sphalerite>
services
<sphalerite>
is anyone familiar with developing d-bus related software and can maybe enlighten me a bit?
<emily>
sphalerite: if the question is just "how do I use it in a bash script", I think the answer is probably "use Python or something instead" to some degree
<emily>
(not that I have tons of dbus experience, but I never saw anything great CLI-wise, whereas the scripting language bindings seem reasonable)
<emily>
heh, apparently the "canonical" Python dbus binding is basically deprecated and they tell you to just use glib's via gobject-introspection...
<emily>
pydbus seems nice convenience-wise though
slack1256 has joined #nixos-chat
slack1256 has quit [Ping timeout: 272 seconds]
__monty__ has quit [Quit: leaving]
<eyJhb>
Feels great finally getting gVisor+multiple networks+generally networking to work in my setup. What wonders time can do!
<danderson>
wheee, nixos laptop
<danderson>
need to get it into shape and usable now
parsley9366 has quit [Remote host closed the connection]
<cole-h>
Hahaha
<ldlework>
cole-h: you wanna play some Go?
<ldlework>
oh right, two weeks
parsley936 has joined #nixos-chat
<sphalerite>
emily: hm, using it isn't so much the problem — I think I can actually manage what I want to do with the gdbus tool from a bash script — the problem is discovering the API that I actually want to use
<emily>
sphalerite: ah, I see -- I misunderstood what you were saying about d-feet