gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<aanderse> samueldr: as always, thanks :)
<aanderse> samueldr++
<{^_^}> samueldr's karma got increased to 99
magnetophon has quit [Ping timeout: 244 seconds]
<samueldr> I'm still confused about how cheap usb flash drives are so much better compared to microSD of the equivalent price range made by the same company
<samueldr> night and day difference in usability on the rpi3 :/
<ivan> USB probably has a lot more room for controller and heat dissipation
<jasongrossman> I can't get microSD cards to work at all, never mind badly. This is in a 2012 MacBook Pro, using pcscd.
<jasongrossman> I've been assuming that pcscd was broken; I don't care enough to spend much time debugging it.
<samueldr> ivan: yeah, I have a non-cheap samsung drive that's even better than the drive I'm using for now
<samueldr> (and maybe it does help it has a metal body)
<samueldr> not that kind of body though
<samueldr> though, what kind gets me is even cheap usb drives are so much better :/
<samueldr> feels like a bad joke
tilpner_ has joined #nixos-chat
tilpner has quit [Ping timeout: 244 seconds]
clever has joined #nixos-chat
Drakonis has quit [Quit: WeeChat 2.4]
Drakonis has joined #nixos-chat
drakonis1 has quit [Ping timeout: 264 seconds]
ldlework has quit [Ping timeout: 258 seconds]
ldlework has joined #nixos-chat
veske has joined #nixos-chat
veske has quit [Client Quit]
endformationage has quit [Ping timeout: 272 seconds]
<elvishjerricco> Anyone have any recommendations for series that aren't "good vs evil" style plots? Game of Thrones is a pretty great example of this (before season 7, anyway).
<ar> /36/36
drakonis_ has joined #nixos-chat
Drakonis has quit [Ping timeout: 250 seconds]
<sphalerite> jasongrossman: microSD cards don't need pcscd…
<sphalerite> jasongrossman: microSD as in block storage things, not smart cards
__monty__ has joined #nixos-chat
<jasongrossman> sphalerite: Oh, OK. I wonder why micro SD cards don't work for me then.
<jasongrossman> sphalerite: lsblk doesn't see them.
<sphalerite> jasongrossman: do you have something about IRQ 17 in your kernel log?
<sphalerite> in any case, built-in card readers can be a bit… difficult sometimes
<sphalerite> USB ones are more reliable IME
<jasongrossman> Nothir about IRQ 17, and this built-in reader works fine in MacOS.
<jasongrossman> * Nothing
<jasongrossman> I'm going to switch back to MacOS so I can use it. Just kidding.
Jackneill has joined #nixos-chat
<sphalerite> typical linux-on-mac issues :p
<etu> aria: Going to nixcon? :)
<aria> etu: unless it's in australia, nope!
<aria> unfortunately i can't afford to go flying internationally
<aria> i definitely will be watching the talks though
<etu> oh :/
* etu booked it yesterday
* etu is very hyped
<aria> where actually is it?
<etu> Brno, Czech Republic
<aria> ah
tilpner_ is now known as tilpner
magnetophon has joined #nixos-chat
ContainsLiquid has joined #nixos-chat
maxelysium has joined #nixos-chat
maxelysium has quit [Ping timeout: 245 seconds]
__Sander__ has joined #nixos-chat
<aria> holy shit
Drakonis has joined #nixos-chat
drakonis_ has quit [Ping timeout: 250 seconds]
__monty__ has quit [Ping timeout: 245 seconds]
drakonis_ has joined #nixos-chat
__monty__ has joined #nixos-chat
Drakonis has quit [Ping timeout: 258 seconds]
veske has joined #nixos-chat
__monty__ has quit [Ping timeout: 272 seconds]
veske has quit [Quit: Leaving]
__monty__ has joined #nixos-chat
__Sander__ has quit [Quit: Konversation terminated!]
<pie_> have you guys seen any firefox addons for opening specific websites in specific windows?
<joepie91> pie_: let me know if you find it
* joepie91 would love to divert all his e-mail and twitter pages to the 'distractions' window
<pie_> joepie91, kind of same problem
<infinisil> Yeah that would be neat..
<pie_> cept i can at least relatively ocnsistently put youtube in one window because its either talks or distractions and they both linger around a while and i have a hard time finding stuff with % because it only shows like 10 results
<pie_> and theres no boolean operators
<pie_> or pagination
<pie_> (afaik)
<pie_> god being able to select multiple tabs and right click -> move to new window now is so great...
<pie_> (its been there for a while)
<pie_> i need to check if theres any tree style tabs thing that can support a large amount of tabs again sometime..
<eyJhb> I was wondering....
<pie_> joepie91, my best guess so far is something related to containers but *shrug*
<eyJhb> Have anybody tried .. Like... Being not nice to the bot {^_^} ?
<eyJhb> pie_: ehm... What do you mean by % , 10 results, etc.?
<pie_> maybe some hybridof https://github.com/mozilla/multi-account-containers/issues/319 https://www.ghacks.net/2017/06/04/firefox-always-open-site-in-container-tab/ but im not sure if containers are actually mature at this point yet...
<{^_^}> mozilla/multi-account-containers#319 (by Dannyzen, 2 years ago, open): Default container names specific to a browser window
<pie_> eyJhb, if you type % with a space after it in the url bar you can search open tabs by url and page title...something like that? its pretty limited but its better than nothing
<pie_> (related annoyance: why is the bookmarks search feature so damn limited ugh)
<eyJhb> Ahh. I am running SurfingKeys in Chromium. Shift+T results in a list of all tabs open, in all windows, which can be searched
<pie_> (im going to get around to using tha tone eternal bookmark manager i forgot the name of one of these days(
<joepie91> pie_: time for this week's "are you me" observation
<joepie91> :p
<pie_> *that one external
<joepie91> pie_: pinboard?
<pie_> joepie91, :P sigh
<pie_> joepie91, no its not webshit
<pie_> on that note did i get this from here? ... [having trouble finding a url]
<eyJhb> Argh.. I have to update all my functions definitions, to return a bool to indicate success.. Hoped I could just do silent updates to the storage
<eyJhb> Still in-between if I should.
<pie_> joepie91, there was some article on not-web-first stuff or somethign which ive been meaning to read and martin kleppmann is a coauthor iirc
<pie_> he wrote a real good technical book so its bound to be good
<pie_> have the tab open soemwhere but cant remember the title or url...
<eyJhb> pie_: how many... Tabs do you have open??
<joepie91> I'm a bit more skeptical about the "good technical book" precursor
<pie_> a lot and a lot of windows
<pie_> and currently theyre all unorganized
<joepie91> seen a few too many cases of people being blithering idiots about anything outside their direct field of expertise
<joepie91> but still having a good book on their name
<joepie91> also a few cases where the heavy lifting was done by the (uncredited) editors
<pie_> while searching for it i have just run across this lmao xD joepie91 https://twitter.com/chordbug/status/1092824183124488192
<joepie91> pie_: were you thinking of https://martin.kleppmann.com/2018/11/02/velocity-london.html by any chance
<joepie91> also yeah, I am very very tired of implicit type coercion in JS
<joepie91> I wish there were a flag to just... turn it off
<pie_> no its like on a web page and stuff
<pie_> maybe it wasnt kleppmann...was definitely related to Designing Data Intensive Applicaitons peronwise somehow
<pie_> argh he def did write it
<pie_> joepie91, damn i was so close its not offline first its local first https://www.inkandswitch.com/local-first.html
buckley310 has quit [Remote host closed the connection]
<pie_> (...do i classify a brainfuck interpreter in opus magnum under "computer science" or "game"? ... i guess this is why tags are a thing)
<pie_> joepie91, ...so are tree based filesystems overrated?
<joepie91> yes :P
* pie_ mumbles ...how does one ensure things are reachable in a tag based system i wonder...(i mean you can just crawl / bisect-ish a tree)
<pie_> hmm .. why tree when you can have a hypergraph of tags!
<pie_> ok maybe hypergrpah isnt the word i was looking for
* pie_ goes bak to trying to force himself to migrate his machine to zfs finally
endformationage has joined #nixos-chat
Jackneill has quit [Ping timeout: 245 seconds]
<joepie91> ehhh... so when I pause and resume a video, audio starts crackling, and it stops when I switch between fullscreen and windows mode
<joepie91> weird thing is, this happens for both mpv and youtube....
Jackneill has joined #nixos-chat
<pie_> maybe its graphics acceleration related?
<pie_> ..or it could be any number of things i guess
<joepie91> pie_: but... how does graphics acceleration relate to sound
<joepie91> :p
Drakonis has joined #nixos-chat
<pie_> signal crosstalk? buffers filling slower? i have no idea :V
<joepie91> meh, I'm mentally blanking again
<joepie91> so much for work today I suppose
<joepie91> very not enjoying this heat
<pie_> actually
<pie_> nevermind i have no idea :D
drakonis_ has quit [Ping timeout: 276 seconds]
pie_ has quit [Ping timeout: 252 seconds]
<infinisil> Wow, apparently there's a species that can live like 3km under the surface https://en.wikipedia.org/wiki/Halicephalobus_mephisto
<gchristensen> samueldr: happy to report the nineish background image you sent me works fine on a 3840x1600 monitor.
<gchristensen> wow. I might have to get one of these.
<manveru> you collect worms?
buckley310 has joined #nixos-chat
<infinisil> Lol
<manveru> sorry, i had to :)
buckley310 has left #nixos-chat [#nixos-chat]
buckley310 has joined #nixos-chat
drakonis_ has joined #nixos-chat
buckley310 has quit []
buckley310 has joined #nixos-chat
Drakonis has quit [Ping timeout: 245 seconds]
<__monty__> joepie91: Well mpv at least tries to keep audio in sync so if video stutters maybe that's what affects the sound?
<joepie91> __monty__: video doesn't stutter though, and the audio actually goes out of sync slightly as well
<joepie91> (and also jumps back in sync when I switch windowing mode)
<__monty__> I have noticed that windowed mode is heavier on my box, so maybe fullscreen just lets it catch up?
buckley310 has quit [Quit: leaving]
<joepie91> __monty__: issue happens in either windowing mode, and resolves upon *any* windowing mode switch
webster23 has joined #nixos-chat
<__monty__> Hmm, then I'm out of my depth. I'm sure #mpv would have an answer though. Maybe things are reset on a mode switch?
* sphalerit uploaded an image: IMG_20190723_192130.jpg (105KB) < https://matrix.org/_matrix/media/v1/download/matrix.org/RdkhBMFeRrKJhFKiJkZJFEwM >
* sphalerit uploaded an image: IMG_20190723_192144.jpg (93KB) < https://matrix.org/_matrix/media/v1/download/matrix.org/KyAuqxCEXIvljcRwjanCqKzG >
<sphalerit> How not to set up a server 101
<joepie91> (that's FDCServers, though they claimed it was their test bench :P)
<__monty__> sphalerit: Seems legit to me. Though you're missing the "If it ain't broke don't fix it!" label.
<__monty__> joepie91: I laud their commitment to the use of sustainable materials : )
<__monty__> 5 month-old testbench, sure -_-
<joepie91> lol
pie_ has joined #nixos-chat
<ldlework> i just got a free 4 seat universal license to all jetbrains products to support my open source project
<averell> yeah, they are pretty cool. i saw them give out free licenses just for bug-reports before.
<eyJhb> sphalerit: that is the propper way to set up servers, isn't it?
* sphalerite makes mental note never to trust eyJhb to host anything
buckley310 has joined #nixos-chat
<eyJhb> sphalerite: I don't know if you think my setup is cleaner :p - The main part of me not hosting anything is, that I have disks which S.M.A.R.T reports they will die soon :|
<sphalerite> eyJhb: this is temporary though :p
<adisbladis> Temporary until it becomes permanent
<sphalerite> temporary until my partner gets extremely irritated at my messy occupation of the dining table :D
<adisbladis> Ahhh
<adisbladis> There are external forces at play
<sphalerite> indeed :D
<sphalerite> the aarch64 sd-image should work ootb on a raspi 3A+, right?
<samueldr> sphalerite: hopefully
<sphalerite> well, I'll find out soon :p
<samueldr> though I'm not even sure it works ootb on the 3B+
<samueldr> I guess that 3A+ is closer to 3B+
<samueldr> (I say not even sure since I haven't verified it)
Jackneill has quit [Remote host closed the connection]
<sphalerite> oh pfffff
<sphalerite> I just wrote the image to the first partition of my SD card, not the SD card directly :|
<sphalerite> I don't suppose there's a good way to fix that with partition table hackery, is there?
<samueldr> hah, I did that at one point with u-boot for a board and was going mental "the dang sd card must be broken!"
<samueldr> hmm, I guess there would be, fixup the mbr offsets to whatever they were plus the offset of the first partition...
<gchristensen> anyone happen to have a dell xps 9380, using xserver? I need to switch away from sway for a couple days.
<samueldr> ... but dd'ing it again would likely be easier
<sphalerite> hmmm, can I set O_DIRECT somehow for pv? I'd like to have a fancy progress bar when writing to the sd card, but it's inaccurate because of the caching when just using pv <image >/dev/mmcblk0
<samueldr> oflag=sync status=progress # always adorn my dd
<eyJhb> adisbladis: "external forces" haha :p
<sphalerite> samueldr: huh, I use oflag=direct
* samueldr reads the manpage
<sphalerite> I prever pv's progress bar to dd's status=progress though
<eyJhb> sphalerite: https://imgur.com/a/DwoDdpp
<eyJhb> I think it is fairly decent, also considering it is a student apartment :p
<samueldr> hmm, would direct be faster?
<sphalerite> eyJhb: lgtm :p
<samueldr> I assume bottom fans suck, and top fans blow?
<samueldr> (phrasing...)
<sphalerite> samueldr: I think the next step on that journey is man 2 open :)
<sphalerite> hm, still unclear to me
<sphalerite> I think using both would make sense
<sphalerite> samueldr: thought on the partition issue: set up a udev rule to chown the physical device (but not the partitions) to your user, and never use sudo for the copies
<samueldr> hm, it would fit well with the idea (still unexplored) of setting names different for external block devices
<sphalerite> well, uboot is displaying stuff through hdmi
<samueldr> ah, then it's likely fine
<sphalerite> is missing a dtb to boot the kernel though
<samueldr> oh
<samueldr> new_kernel?
<sphalerite> no, I guess I need to try that one now
<eyJhb> sphalerite: I am guessing sphalerite approved then ;)
<eyJhb> samueldr: yes, that is the setup! Actually decreased the tempeature by 5 degress I think. But I need some kind of filtering on the bottom ones.. They get quite dusty :|
<samueldr> sphalerite: looks like it was addeed maybe in 5.0, likely 5.1 to the kernel
<sphalerite> right
<sphalerite> it was looking for bcm283x-rpi-other.dtb
<samueldr> hmm
<samueldr> it won't work then I think
<sphalerite> aww
<sphalerite> or is that maybe a 19.03-only problem?
<samueldr> hmm, though it should I think, bcm2837-rpi-3-a-plus.dtb is in u-boot since 2018-12-03
<samueldr> or no, the commit is of that date
<sphalerite> I'm downloading the nixos-unstable new_kernel image currently
<samueldr> I wouldn't think u-boot what... 2019.04 are we at?... wouldn't have it
<eyJhb> Now that we have a server related discussion, how do you "fix" your servers not silently failing? E.g. bad discs etc.?
<samueldr> oh
<samueldr> yes
<samueldr> sphalerite: u-boot was older than the commit on 19.03
<sphalerite> right
<sphalerite> eyJhb: zfs + regular scrubs + logging?
<sphalerite> (I haven't set up the logging bit yet…)
veske has joined #nixos-chat
<sphalerite> samueldr: do you also use bs=8k for your dds?
<samueldr> 8M generally
<sphalerite> oh, why that big?
<samueldr> not entirely sure, cargo culting maybe, but also tried a couple ones and the reported speeds were good with that one
<adisbladis> Iirc you hit diminishing returns a bit before 1M
<samueldr> I think it's likely yeah
<samueldr> I just know it works and it's not slow
<adisbladis> Yeah.. As long as you're not using the horrible defaults almost anything is fine
<sphalerite> samueldr: it's booting :D
<sphalerite> with graphics and everything
<samueldr> yay
<sphalerite> lol, USB works in u-boot but not nixos
<sphalerite> ah, undervoltage.
<sphalerite> never mind, it does work, it's just a bit complainy :p
<samueldr> it wouldn't be a raspberry pi experience without undervoltage
<sphalerite> lol
<eyJhb> sphalerite: but logging scrubbing, etc. doesn't help if you don't actively check them
spacekookie has quit [Quit: **agressive swooshing**]
<ajs124> isn't that what monitoring is for?
<sphalerite> eyJhb: err, yes, I meant monitoring not logging >.<
<eyJhb> What monitoring tools would you use? - I currently use Docker and healthchecks
spacekookie has joined #nixos-chat
<eyJhb> Combined with `fatso` (my unhealthy container on command), to ensure my alert system works once a week
<ajs124> we're (in progress of) deploying icinga2. not my decision, though.
<sphalerite> samueldr: oh yeah, and I can't rebuild switch because OOM :D
<samueldr> it's an A+, I think it should boot usb natively, so you could swap file on the booting storage I guess
<samueldr> and use not-an-sd-card
<sphalerite> yeah
<sphalerite> also I can probably get rid of most of the nixos modules
<sphalerite> or even eval&build the system on my nanopi which has 4GB
<__monty__> gchristensen: Trying to go cold turkey?
<__monty__> Are flakes tied to git repos?
<sphalerite> no. Read the RFC :)
<eyJhb> ajs124: but isn't that very specific to "is the system up"?
<ajs124> eyJhb: na, it can execute arbitrary checks. so e.g., if you deploy zfs, you can have it run a zfs check, which will tell you if your pool is healty.
<__monty__> `nix flake pin nixpkgs` seems pretty easy but is it just as easy to reverse this? Or nix flake add nixpkgs @specific-rev for that matter.
<__monty__> sphalerite: RFC says it *is* tied to git repos.
arahael1 has joined #nixos-chat
Arahael has quit [Ping timeout: 272 seconds]
magnetophon has quit [Remote host closed the connection]
<__monty__> How would overlays work with flakes?
<__monty__> And if only the top-level flake.lock is respected doesn't that mean you might build a dependency that doesn't work?
<__monty__> Would overlays be a new flake you define with an inputs = ["nixpkgs"];?
<eyJhb> ajs124: hmm... Would be nice with a lightweight declarative monitoring system
<ajs124> eyJhb: yeah, sadly icinga2 isn't exactly that, but it can do a lot of things (including high availability, which is kind of important)
<eyJhb> ajs124: hehe, yeah, but not for my case, but others yes :D If my server goes down, then I can watch TV..
<pie_> lol joepie91 did you know you can do this: let { body = 1;}
<pie_> > let { body = 1;}
<{^_^}> 1
* joepie91 blink
<joepie91> that better be in the docs :C
<pie_> im wtfing so hard
<pie_> xD
<pie_> i just heard this from somebody i have no dea
<pie_> idea
<gchristensen> let ... in is sugar :x
<pie_> i thought this was the sugar
<gchristensen> no
<pie_> ok apparently this exists https://nixos.wiki/wiki/Nix_Quirks
Jackneill has joined #nixos-chat
<infinisil> > :v weird1
<{^_^}> weird1 = (1.0 * 1) * 1
<infinisil> I should add this to it
<infinisil> > weird1
<{^_^}> 1
<infinisil> Hold on
<infinisil> Why does this work
<infinisil> This did not work when I checked last
veske has quit [Quit: This computer has gone to sleep]
<infinisil> The error it would throw previously was "value is a float while an integer was expected"
<{^_^}> nix#2361 (by ledettwy, 48 weeks ago, closed): Non-trivial float multiplication is broken
Drakonis has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
<Miyu-chan> ..
<Miyu-chan> > let { test =2;}
<{^_^}> attribute 'body' missing, at undefined position
<Miyu-chan> ...yo what the fuck lmao
<Miyu-chan> Hm. So based on what I understand, the parser accepts both `let` and `let/in` syntax?
<Miyu-chan> The `let { body .. }` thing is simply `let` and not `let/in`?
<gchristensen> only by chance, not really to be used. I wouldn't be surprised if a let without an in was not supported anymore.
<Miyu-chan> Yeah. It was more of me being interested on why it is not considered a parse error.
<Miyu-chan> (FWIW, I have never designed a language before.)
<Miyu-chan> I'm trying to understand what difference flakes make.
<joepie91> Miyu-chan: flakes are like modules / package management for Nix expressions
<joepie91> (modules in the library sense)
<infinisil> Package management, finally coming to one of the best package managers too :)
<joepie91> heh, yeah
<Miyu-chan> Yeah, I guess for one, I'm kinda wondering what can be superseded my flakes.
<Miyu-chan> The most obvious one is of course nixpkgs.
<infinisil> I'm hoping for third-party libraries coming into use
<infinisil> third-party libraries for nix
<joepie91> yeah, that is my main interest in flakes
<infinisil> home-manager's dag.nix is also a good candidate: https://github.com/rycee/home-manager/blob/master/modules/lib/dag.nix
<joepie91> not replacing existing features, but filling the gap of an easy/maintainable/efficient way of publishing and consuming abstractions
<joepie91> which is currently, for all practical purposes, unsupported
<Miyu-chan> "Yes, exactly. The idea is that your NixOS system is itself a flake,..."
<infinisil> Oh and very important: Flakes can replace NUR <https://github.com/nix-community/NUR>
<Miyu-chan> Yeah, that one too.
<joepie91> Miyu-chan: as I understand it, aside from the user-facing benefits, part of the motivation for flakes is to simplify the internal mechanisms of Nix
<Miyu-chan> Hm.
<infinisil> Getting rid of the channels mess and NIX_PATH
<infinisil> Always a pain to use imo
<joepie91> converge similar mechanisms into a single implementation
<joepie91> means less complexity to maintain over time
<Miyu-chan> tmux attach
<joepie91> we are not your terminal :D
<Miyu-chan> Not this again.
<Miyu-chan> Whoops.
<Miyu-chan> OHH
<Miyu-chan> Wait.
<Drakonis> i have complained a lot about nix channels being a pain...
<__monty__> Miyu-chan: Your tmux has achieved consciousness.
<Miyu-chan> ...Hah. Knew it. :D
<ashkitten> NUR being a correlary to AUR?
<joepie91> yeah
<ashkitten> i didn't know about that
<Drakonis> NUR Is like AUR except people have to allow their repos to join the hivemind
<Miyu-chan> I now use `ssh -t host tmux attach` after literally using `ssh host` then typing `tmux attach` for, around... at least a year.
<Miyu-chan> It takes some time to adjust. >~<
<Miyu-chan> Anyways. Thanks for the dag.nix mention. I was trying to do make a DAG using a list of paths a while ago but decided against it.
<__monty__> Miyu-chan: Or you could put that in "host.tmux", add some nice setup by scripting tmux, including send-keys and then just launch it using ./host.tmux from then on.
<Drakonis> up next, write a thing to create a mutable container environment to run software that requires copious amounts of effort to run
<ashkitten> i wasn't aware that NUR was needed. everything i've wanted to install has been in nixpkgs, and nixpkgs seemed to be pretty open to new packages
<Drakonis> i still have not gotten NUR to work
<ashkitten> though i guess it's for things that aren't suitable for hydra?
<Drakonis> because channels cause me so much confusion
<infinisil> ashkitten: There are some things just not fit for nixpkgs
<Miyu-chan> ashkitten: I use nixpkgs-stable, so NUR is useful from time to time.
<ashkitten> Miyu-chan: why is your default channel relevant to NUR?
<Miyu-chan> OTOH, I could also just as well add an unstable channel.
<joepie91> nixpkgs has a reasonably high merge latency
<joepie91> like for example my sidequest PR was merged a few days ago
<joepie91> and in the timespan it's been sitting there, several new releases have appeared
<joepie91> (and those really do matter, given that this is very rapidly-moving software, being very new)
<ashkitten> it's not possible atm to use modules from non-default channels, right?
<ashkitten> you'd need an overlay?
<joepie91> correct (afaik)
<joepie91> I don't know if it's even possible with an overlay, haven't checked
<ashkitten> i believe overlays can add modules
<Miyu-chan> Also. Flakes adds dependency management to Nix, I believe?
<ashkitten> dependency management?
<Miyu-chan> Maybe management is the wrong term. Dependency cheking, or smth.
<ashkitten> still unclear
<ashkitten> what about that does nix not alreadydo
<Miyu-chan> Maybe I'm just half asleep. My thought process right now is that Nix doesn't really have a clear way to do dependency checking. Just attr arguments, which attr has defaults, and which attr was defaulted in.
<joepie91> Miyu-chan: as in, dependency constraints?
<Miyu-chan> OTOH, this might be too granular of a case. Flakes is more on a larger scale.
Jackneill has quit [Remote host closed the connection]
<ashkitten> oh, yeah i guess we don't have dependency constraints but i wasn't aware of that being an issue since you can depend on a specific major version of certain things anyways (python37, for instance)
<Miyu-chan> Actually, that's a better thing to talk about lol
<Miyu-chan> I was just really thinking on the scale of "whether or not something exists."
<ashkitten> whether or not something exists doesn't really make sense since it's all in nixpkgs anyway
<Miyu-chan> "Is the flake added? No? This flake can't be imported."
<ashkitten> if it's in nixpkgs, all its dependencies should be too
<ashkitten> ah
<ashkitten> so you're saying that flakes could be interdependent
<ashkitten> it makes more sense to me that a flake would specify another flake to be imported than for it to specify name/version of "something" to import
<ashkitten> which breaks reproducibility
<Miyu-chan> Pretty much, yeah.
<ashkitten> like i mean
<ashkitten> you can specify another flake by src derivation
<ashkitten> that'd make more sense
<ashkitten> because things can be named the same thing and have the same version and if you're only checking that, they might not have the same contents
<Miyu-chan> Yeah.
<ashkitten> so i guess in that way it doesn't make sense to have dependency constraints at all
<ashkitten> because dependency constraints are for systems where you can't rely on a specific version of something being there
<ashkitten> which is not how nixpkgs works
<Miyu-chan> I'm giving it some thought right now, but I'm thinking about how flakes can be used to be the working mechanism of NixOS modules, but I'm not so sure about the ergonomics of using Flakes for computation than package management.
<Miyu-chan> I guess it's because it kinda reminds me of this. https://gist.github.com/edolstra/29ce9d8ea399b703a7023073b0dbc00d#solution-configurations
<Miyu-chan> Basically, if flakes were made more general, then it should be quite similar to what I linked.
<Miyu-chan> Actually, I think I'm just half asleep.
<Miyu-chan> I'll try to talk about flakes tomorrow. One day of skimming it is not really enough for me to make an educated opinion about it.
<samueldr> Miyu-chan: if I'm not mistaken, flakes is a step forward and this is a likely next
__monty__ has quit [Quit: leaving]
<Drakonis> hm, how does hydra decide which cache to use?
<gchristensen> hm?
<Drakonis> ah this is a environment variable, nevermind
<Drakonis> shouldn't flakes also pave the way for choosing which cache to use?
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
<pie_> Ok I switched IRC clients so hopefully my reconnects wont break constantly.
<infinisil> pie_: \o/
drakonis1 has joined #nixos-chat
drakonis_ has quit [Ping timeout: 252 seconds]
webster23 has quit [Ping timeout: 264 seconds]