gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<cole-h> Oh I guess I could just copy the nix expression from nixGL lol
<cole-h> Nice, prefixing the sway ExecStart with the nixGLIntel script didn't work :(
<cole-h> Got a 203 lol
<joepie91> lovesegfault: nah, GIMP still has the same fundamental flaws it's had for years
<lovesegfault> joepie91: Which are?
<cole-h> lovesegfault: Why do you import everything from your session into systemd? Is there a smaller subset that could be used instead?
<lovesegfault> cole-h: because it's the easy thing to do
<lovesegfault> the correct approach is to use a display manager
<cole-h> Not with sway it ain't lol
<lovesegfault> yes, it is
<joepie91> lovesegfault: toolbox-oriented UI rather than workflow-oriented, no reasonable 'floating object' model, confusing selection model, and just generally a UI that's designed to be 'clever' and 'technically correct' rather than designed around how people wish to use the software
<lovesegfault> GDM works fine, Ly works fine
<joepie91> it's a very typical programmer UI
<lovesegfault> joepie91: Fair, although I'm not qualified to have this discussion :)
<joepie91> "technically correct" may not have been good wording btw; with it, I mean the property that the UI is modelled after the internals
<joepie91> if something internally works a certain way, the UI reflects that
<joepie91> you see this same pattern in API design for a lot of badly-designed libraries, too; the API will reflect the internals, not the likely intentions of the user
<joepie91> and a lot of badly-written webapps, which basically translate a DB schema into a form on the screen without arranging things in a way that makes sense to the user
<joepie91> this is pretty common but it's an absolute killer for the usability of applications, and programmers often don't realize it because to them it makes sense, because they understand the system that it was modelled after
<joepie91> everybody else just goes "wtf why is that button over THERE"
<samueldr> "everything's a CRUD", helpfully propagated by the "everything is REST" fallacy
<joepie91> (does this particular mispattern have a name, actually?)
<samueldr> not sure
<samueldr> maybe "everything is REST" is not the right phrasing, "everything is REST as usually implemented" is more apt, as it's not usually well implemented imo
abathur has quit [Ping timeout: 256 seconds]
<cole-h> OK, so my main problem so far is that the URL bar font looks whack in Firefox
* adisbladis is RESTing
<qyliss> cole-h: I remember having that issue for a wihle
<cole-h> I mean look at these slashes https://paste.rs/bL3.jpg
<qyliss> At some point it went away and I'm not really sure what changed.
<cole-h> I know the problem is because I'm using Arch, which has fontconfig 2.13, while nixpkgs only has 2.12
<cole-h> Because when I do `FONTCONFIG_FILE=/etc/fonts/fonts.conf firefox`, the font un-crunchifies
<qyliss> hmm
<qyliss> interesting
<qyliss> I don't think I did anything like that
<qyliss> I wonder what make it work for me
<cole-h> This is how I expected it to look, for reference: https://paste.rs/DbU.jpg
<cole-h> Craziest thing is, is that Firefox says Serif and Sans-serif are Bistream Vera for both :D
spacekookie_ has joined #nixos-chat
betawaffle has quit [Ping timeout: 268 seconds]
<cole-h> Maybe I should just switch to NixOS lol
<cole-h> Now that I don't have classes (physically) anymore, plenty of time to jerk around
<joepie91> cole-h: school closed?
<cole-h> Yup
<joepie91> government here is dragging its feet on school closure...
<gchristensen> my local district attorney's office recentl ywent on skeleton crew with each employee only working 1 week out of every 4
Jackneill has quit [Ping timeout: 240 seconds]
LnL has quit [Ping timeout: 240 seconds]
<colemickens> cole-h: I am excited for you too. Surprised you haven't yet.
<colemickens> s/too/gto
LnL has joined #nixos-chat
<colemickens> whatever, I tried, Fractal is dying.
<cole-h> lmao
<samueldr> our province ended up closing schools, reminder that we're probably a week off where the states are numbers-wise
<joepie91> lol
<cole-h> colemickens: Only reason I haven't switch yet is because it was the middle of the semester and I didn't want to risk it when most of my assignments were submitted online
<samueldr> 17 confirmed cases
<colemickens> sounds like an excellent reason to procrastinate
<cole-h> Now I have basically no excuse lol
<colemickens> samueldr I'm in Seattle on a call with my family in Kansas. The word "surreal" is ever present in my mind these days.
<cole-h> I also want to do it with ZFS, so I need to do some more research towards that
<joepie91> samueldr: we're close to going critical here, about 2 weeks behind Italy I believe, but the government is not closing schools because "it would force parents to stay home, including those who we need as emergency personnel to deal with the crisis"
<joepie91> samueldr: the government's perception of school as daycare did... not go down very well with teachers, to put it mildly
Jackneill has joined #nixos-chat
<samueldr> I'm not sure what's the best approach here, as transmission across children are going to happen at school or taken care of in other ways :/
<samueldr> but I do know that it's unfair for teachers
<colemickens> joepie91 Seattle Public School did the same thing. Kids starve when schools close in the US.
<colemickens> Or don't have daycare.
<joepie91> by now, quite a lot of schools have basically said "fuck this shit, we're closing anyway"
<colemickens> I don't envy anyone making decisions.
<joepie91> colemickens: yeah but that isn't the case here, and it was applied broadly to high school as well
<joepie91> colemickens: and more importantly, the government refused to consider other measures to fix this issue
* colemickens nods
<joepie91> (high school kids can generally stay home alone just fine here)
<colemickens> joepie91 I agree and sympathize, just offering another data point
<joepie91> this doesn't seem to have been a well-measured decision at all, and the prime minister (who was basically making the decision here) has been studiously ignoring and waving away all critical questions of why the government isn't doing anything to fix the actual issue of daycare
<colemickens> Just an example of the weird sort of societal trade-off questions when every level of people and society are impacted.
<joepie91> to the point that almost literally the entire house of representatives, across the political spectrum, was grilling him over this yesterday, and is still dissatisfied
<joepie91> I suspect that the decision will have changed by monday
<joepie91> colemickens: yeah, I know
<colemickens> That and I've forgotten what it's like to have any expectations of compentence.
<joepie91> I'm mostly just amazed at how unified the different politicians were yesterday
<joepie91> not sure I've ever seen them that unified before eer
<joepie91> ever*
<adisbladis> cole
<adisbladis> cole-h: ZFS is pretty much nothing special on NixOS
<colemickens> joepie91: where are you at, btw?
MichaelRaskin has quit [Ping timeout: 258 seconds]
<adisbladis> cole-h: As in it just works(tm)
<joepie91> colemickens: Netherlands
<cole-h> adisbladis: Yeah? Haven't used it before, so it's still uncharted territory
<joepie91> (also, the unspoken reality behind this whole circus is that over the past 10-15 years, our social support system has been systematically torn down on all sides by the very political party that the prime minister belongs to, and that is why this is a problem; the PM even almost literally said that, but buried in a more vague statement)
<joepie91> this is also part of why teachers were so angry about being seen as a daycare service; they've been getting systematically underpaid for many years now, due to this, and taking a hell of a lot of shit in the face of constant educational budget cuts.. and now the PM calls upon them to "do their part" in basically playing daycare
<joepie91> which, uh, well, yeah
<joepie91> they understandably did not appreciate that :)
<colemickens> My brother is a teacher, I'm glad that where he's at their infections are low enough and fear is just right that they're proactively closing for a very short period (which will undoubtedly be extended).
<cole-h> Oh I just found worldofpeace's 2.13.92 fontconfig PR. Let's see if that helps anything
claudiii has quit [Quit: Connection closed for inactivity]
<joepie91> colemickens: things are... probably a lot worse here
<joepie91> for a variety of reasons
<joepie91> including systematic underreporting of infections
<colemickens> in the Netherlands than the US?
<colemickens> We're straight up not testing anyone lol
<joepie91> colemickens: well, worse than the region you're talking about :)
<colemickens> Either way, good luck to us all.
<joepie91> because infections are very rapidly increasing here, and that is with the systematic underreporting
<joepie91> last report was 804 infections, of which 10 died, and we're at a hundred-something new infections per day
<adisbladis> cole-h: It's included in the installer image, if you know how zpool/zfs works it's just the same as any other file system with one caveat. You have to use `mountpoint=legacy`.
<joepie91> with a testing regime that basically only even attempts to test the most severe cases
<joepie91> so it's likely off by a factor x10 or so
<joepie91> the infection numbers anyway
<joepie91> in the province I'm in, the test kits are running out, hospitals have declared 'code red', cancelling all training programs, as well as non-urgent care
<joepie91> staff leave is revoked
<joepie91> pretty much all large tourist-y things are already closing, gatherings of >100 people have been banned nationwide, in this particular province that actually comes with a max fine of a few thousand EUR or 3 months jail time attached (for organizers) if violated
<cole-h> adisbladis: I was thinking of building zfs on my own so I could try out the zstd PR :P
lovesegfault has quit [Ping timeout: 256 seconds]
<{^_^}> openzfs/zfs#9735 (by c0d3z3r0, 12 weeks ago, open): Introduce ZSTD compression to ZFS
lovesegfault has joined #nixos-chat
<adisbladis> cole-h: Ohh, nice
<gchristensen> schools here are canceled for 3 weeks, but thankfully they're going to keep offering meals :(
<cole-h> Oh nice, building fontconfig 2.13 means I have to build gcc :^)
<cole-h> JK it doesn't
<cole-h> why is gcc building
mrCyborg has quit [Quit: WeeChat 2.7.1]
<gchristensen> I wish nix-build had a graph view
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
<pie_[bnc]> :D
<pie_[bnc]> that would be fun
<cole-h> ...still compiling fontconfig 2.13
* cole-h wishes he had a Ryzen system
<elvishjerricco> Pulseaudio and xmobar each seem to take a constant ~3% cpu on a 32 thread machine, about 1 full core each... that's not good
<elvishjerricco> s/full core/full thread/
<elvishjerricco> Then again 15min load avg was only .12, so barely more than a tenth of a full thread. Never truly understood these metrics :P Still seems high
<elvishjerricco> For idle that is
<gchristensen> load average isn't so useful for that sort of thing
<elvishjerricco> I don't really get what load average really measures
<gchristensen> nobody does
<elvishjerricco> This is not the first time I've observed pulseaudio and xmobar taking weird amounts of cpu. Very annoying
<elvishjerricco> Oh boy that article looks long and complicated :P
<gchristensen> I'm not sure gcc will ever finish compiling.
<adisbladis> elvishjerricco: Have you set some crazy resampling method perhaps?
<elvishjerricco> adisbladis: Default pretty much everything
<elvishjerricco> Xmobar config just rearranges like two things
<adisbladis> Ok :/
<elvishjerricco> Pulse is completely in modified
<elvishjerricco> Unmodified*
<adisbladis> In NixOS we're not using all pulseaudio upstream defaults though
<adisbladis> Resampling method for one is not the upstream default
<elvishjerricco> Still, you'd think other NixOS users would see this if that were the issue
<adisbladis> elvishjerricco: How are you measuring?
<elvishjerricco> htop
abathur has joined #nixos-chat
<elvishjerricco> Pulse and xmobar sit at the top constantly with about 3% cpu each
lovesegfault has quit [Remote host closed the connection]
<adisbladis> Very odd indeed
lovesegfault has joined #nixos-chat
lovesegfault has joined #nixos-chat
abathur has quit [Ping timeout: 240 seconds]
<lovesegfault> gchristensen: are you around?
* lovesegfault disconnected by accident
<gchristensen> sorta :)
<gchristensen> this gcc build will simply not finish
<samueldr> they always end up finishing for me :)
<lovesegfault> gchristensen: I'm filing a bug report for lorri on my project
<lovesegfault> because it kabooms
<lovesegfault> anything you'd like to have attached?
<lovesegfault> other than the journal logs
<gchristensen> cool, that should be good
<lovesegfault> gchristensen: boom https://github.com/target/lorri/issues/347
<{^_^}> target/lorri#347 (by lovesegfault, 9 seconds ago, open): Lorri fails to evaluate my project
<lovesegfault> gchristensen: on a separate note; would you like a PR porting lorri's CI to GH actions with caching & Rust diagnostics?
<gchristensen> worth a try, but not sure if we can turn onactions. maybe senda sample, trial PR without a ton of work put in to it, in case we can't?
<lovesegfault> yep, I have a template ready
* lovesegfault goes do it
* cole-h wishes fontconfig 2.13.92 was merged and in cache
<cole-h> Building qtdeclarative now x)
<adisbladis> cole-h: Oh the joy
<adisbladis> I lost count a long time ago how many times I built qtdeclarative :D
<pie_[bnc]> ive been wondering about those distribution diagrams, someone finally did some back of the envelope math https://medium.com/@joschabach/flattening-the-curve-is-a-deadly-delusion-eea324fe9727
waleee-cl has quit [Quit: Connection closed for inactivity]
abathur has joined #nixos-chat
<adisbladis> Holy crap
<adisbladis> Why didn't I switch to iwd before ?!
<cole-h> adisbladis: I'm trying something else before building more: setting `FONTCONFIG_FILE = pkgs.makeFontsConf` of the fonts I want
<pie_[bnc]> adisbladis: what does switchng to iwd require / yield?
<adisbladis> required: networking.networkmanager.wifi.backend = "iwd";
<adisbladis> yields: Wifi that connects faster than you can say "hey"
<cole-h> qyliss: Problem somewhat solved... `ipaexfonts` (JP fonts) was taking over my latin fonts
ash__ has joined #nixos-chat
<lovesegfault> adisbladis: does iwd work well with nm nowadays?
<lovesegfault> it used to work well, then it didn't for some reason
<adisbladis> lovesegfault: Seems like it
* lovesegfault switches
<cole-h> Yep, problem solved. That was whacky af
<cole-h> No need to `makeFontsConf` either
<cole-h> Just needed to install a non-crunchy font -- Cantarell is really nice tbh
spacekookie has joined #nixos-chat
arianvp_ has joined #nixos-chat
skrzyp1 has joined #nixos-chat
mtjmullen has joined #nixos-chat
Jackneill has quit [*.net *.split]
spacekookie_ has quit [*.net *.split]
andi- has quit [*.net *.split]
CRTified has quit [*.net *.split]
arianvp has quit [*.net *.split]
kraem has quit [*.net *.split]
aminechikhaoui has joined #nixos-chat
Jackneill has joined #nixos-chat
andi- has joined #nixos-chat
<cole-h> https://paste.rs/9jV.jpg I'm over it. Switching to NixOS next week.
ash__ has quit [Quit: ash__]
ash__ has joined #nixos-chat
cjpbirkbeck has joined #nixos-chat
rardiol has quit [Ping timeout: 265 seconds]
malSet has joined #nixos-chat
drakonis has quit [Quit: WeeChat 2.7.1]
<ar> cole-h: if all you're missing are emoji, try installing noto fonts
<cole-h> ar: I did. Unfortunately, didn't completely solve the issue. Though it does look like this now: https://paste.rs/Zke.jpg
<ar> that's od
<ar> odd*
<cole-h> Nah, it's because I'm on Arch
<cole-h> Currently uses fontconfig 2.13, while Nixpkgs is still at 2.12
<cole-h> I'm sure there are some fontconfig rules I forgot to copy over. PITA lol
<cole-h> At least Firefox fonts aren't super crunchy anymore. Still don't look as good as when it uses the Arch fc rules, but good enough
<lovesegfault> cole-h: just move to NixOS
<cole-h> That's the plan
<lovesegfault> the semester is over
<lovesegfault> it's coronavirus time
<cole-h> Once I get most of my user config integrated into my hm config
<lovesegfault> MOVE
<cole-h> Hardee har har :P
<lovesegfault> move first, integrate as you go
abathur has quit [Ping timeout: 268 seconds]
<cole-h> I still have homework over this impromptu break, unfortunately
<lovesegfault> :P
ash__ has quit [Quit: ash__]
malSet has quit [Quit: Quit.]
malSet has joined #nixos-chat
cole-h has quit [Ping timeout: 268 seconds]
MichaelRaskin has joined #nixos-chat
CRTified has joined #nixos-chat
slack1256 has joined #nixos-chat
<pie_[bnc]> i wonder if eelcos most widespread tool is patchelf heh
<pie_[bnc]> i jsut found a copy of it in shiboken2 apparently
<pie_[bnc]> (python qt binding generator)
slack1256 has quit [Remote host closed the connection]
__monty__ has joined #nixos-chat
betawaffle has joined #nixos-chat
mrCyborg has joined #nixos-chat
rawkode has quit []
cjpbirkbeck has quit [Quit: cjpbirkbeck]
mrCyborg has quit [Quit: WeeChat 2.7.1]
<adisbladis> pie_[bnc]: Shows up in the most unexpected of places :> https://blogs.oracle.com/sduloutr/binding-a-server-to-privileged-port-on-linux-wo-running-as-root
<joepie91> being mentioned on an Oracle blog is certainly one in the "questionable honour" category
<pie_[bnc]> you had me looking for myself confused for a moment x'D
<pie_[bnc]> I was like, man I didnt even exist in 2014
<pie_[bnc]> oh well
<adisbladis> joepie91: For sure :>
<gchristensen> I waslooking at the Ryzen 9 3900X, but am now thinking Threadripper 2920X. am I missing anything important in that switch?
<gchristensen> seems the Ryzen has a newer pcie version, though the pcie cards I use are pcie2 :)
<adisbladis> Far less PCI-e lanes it looks like
<adisbladis> Which may or may not matter for you, I dunno.
<gchristensen> other than fancy GPUs I'm not sure what people put in them :P
<adisbladis> nvme drives for one
<gchristensen> hmm right
<adisbladis> With a decent nvme drive and a gpu you've already exhausted your pcie lanes
<adisbladis> If you only have 20
<adisbladis> I think?
<__monty__> gchristensen: Is this to replace the box you fried?
<gchristensen> yeah
<gchristensen> adisbladis: well good thing I don't have any decent GPUs anymore
<__monty__> Yikes, how bad is the damage? All you did was plug in one of those tegra GPUs?
<gchristensen> I dunno. truth is I've never used them. they have just sat in boxes in my closet. (Tesla, not Tegra)
<__monty__> Still, needing a new CPU, and mobo I assume?
<__monty__> And you talked about an HDD?
<gchristensen> CPU and mobo are .... okay-ish, but they're about 10 years old
<gchristensen> so I was thinking if I burned up some parts, I might as well replace it before it fully dies
<__monty__> Ah.
<gchristensen> I'm pretty sure I've asked noobie PC building questions here once every 3 months for the past 2 years, and this really lit a fire under my butt
<MichaelRaskin> Presumably under your hands, though!
<gchristensen> :D
<gchristensen> adisbladis: an advantage of the Threadripper series is I don't have to suffer through motherboards named after machines of war
<__monty__> Hmm, does anyone use the borgbackup service? I've got it setup but there's a couple things that bother me. If a backup fails there's not really any loud indication; I don't want to manually monitor my backup repo for "*.failed" backups. And the timers stick to the schedule if failures do happen. I have some weekly backups and that means if I happen not to be able to connect on mondays (I think) I
<__monty__> could end up with gaps of weeks in my backups : s I'd prefer retrying at some reasonable interval until a backup succeeds and only then returning to the schedule. Does anyone have fixes for this?
<adisbladis> gchristensen: I thought they were all caled ULTRA SUPER DUPER GAMING DELUXE (with RGB)
<MichaelRaskin> Asus does call theirs «Crosshair»
<adisbladis> consumer-motherboards--
<__monty__> Well, at least we know why things went awry now. Next time don't install the GPU using your butt, gchristensen. No matter how amazingly toned it makes your glutes.
<MichaelRaskin> Gigabyte indeed calls them just «Extreme»
<gchristensen> Threadripper ones are called lik Taichi and Zenith XTREME. Ryzen ones are like TOMAHAWK and FATALITY and GODLIKE and bleh.
<gchristensen> I don't have the patience to suffer through supermicro's website
<adisbladis> gchristensen: The Fatality stuff is named after a famous gamer
<gchristensen> great
<gchristensen> I guess it is the ram I'm thinking about though. RIPJAW!
rardiol has joined #nixos-chat
<MichaelRaskin> That sounds more like a brand of snacks than a gear of war
<gchristensen> lol
<adisbladis> Why in the hell have manufacturers started putting LEDs on RAM now :S
<gchristensen> you know why
<adisbladis> Because it sells?
<adisbladis> But why does it?
<MichaelRaskin> Because LEDs are cheap?
<eyJhb> Because it boosts performance?
<gchristensen> they do boost performance, that is a good point eyJhb
<MichaelRaskin> I guess a large fraction of people who buy components separately by now are building these exotic half-transparent water-cooled stuff
<eyJhb> Also, could be used to determine if the ram stick works :p
<adisbladis> Red == faster
<eyJhb> Red == Rad == Faster, better, stronger
<MichaelRaskin> In theory, it wouldn't cost much to detect not just powered but also frequency match
<MichaelRaskin> In practice, not sure they care to signal MB offering a lower frequency than the stick supports
<MichaelRaskin> But basically, either you build a transparent box and then there is a lot of lights on MB already and you might appreciate some more on RAM… or you build an opaque box, and then the LEDs are unlikely to make you refuse to buy this stick of RAM as you'll never see them and could use them as power-on indicators when debugging
<MichaelRaskin> It is obviously cheaper to put a LED on each stick than have to SKUs
<__monty__> Water-cooling is another thing I don't really get. It's usually both louder and less effective than air-cooling... Plus all the fun mixing water and electronics gets you and things to watch out for like corrosion and bacteria.
<MichaelRaskin> Wait, how people manage to make it less efficient??
<gchristensen> +1 and they constantly get clogged and stuff
<adisbladis> I used to do water cooling when I was younger
<eyJhb> Ditto
<MichaelRaskin> I assumed that it is pretty hard to fail at having good cooling with water, what about absolutely huge thermal capacity
<adisbladis> I don't have the patience for it any more
<eyJhb> Used it on my servers, worked great
<__monty__> I did say effective, not efficient. But it's not hard at all. Water-cooling really only belongs in places where you either need a huge amount of heat-transfer buffer or tight spaces where you can't get the heat away from the source any other way.
<__monty__> But sure, it looks cool. Why are these people staring at their computers so much?
<MichaelRaskin> I stare at my computer because the part where letters show up is technically a part of my computer
<adisbladis> __monty__: At the time I was playing around a lot with overclocking & overvolting
<adisbladis> Also air coolers have come a long way
<joepie91> __monty__: I mean, why do people pimp out their cars on the outside, if they spend most of their time with cars sitting *inside* of them :P
<__monty__> s/computers/computer towers rather than their displays
<adisbladis> Now I have one of these beasts https://noctua.at/en/nh-u14s
<adisbladis> Which outperforms a lot of water cooling setups
<adisbladis> And is whisper quiet to boot
<adisbladis> Actually looks a bit silly on the motherboard https://i.imgur.com/pc9D75K.jpg
<MichaelRaskin> About noise — remember that more or less everything now has more options
<MichaelRaskin> When you have a CRT and a noisy HDD of back then…
<joepie91> adisbladis: oh hey, there's a motherboard attached to that cooler :P
<__monty__> joepie91: That seems like far fewer people overall though.
<adisbladis> Exactly :D
<MichaelRaskin> __monty__: it's because for cars you need to observe them in the wild, their online areal does not intersect with yours
<__monty__> I guess.
<__monty__> Still, AIO water-coolers seem weird. It doesn't have the cool-factor because the tubing's opaque and it doesn't have the performance nor lack of noise air-coolers have.
<__monty__> In summary, people should all like what I like because everything else is dumb. :pout:
<MichaelRaskin> Meh Just enough people should like what I like for its production to be scalable, but no more to avoid driving up the demand faster than supply
<adisbladis> joepie91: Looks even more silly in the case I think https://i.imgur.com/uqO4kXK.jpg
<MichaelRaskin> Maybe AIO has better joules-trsnported for electrical-joule?
<pie_[bnc]> seems like im starting to get a bit more comfortable with git, yay
<MichaelRaskin> I know that I will never be comfortable with git
<gchristensen> MichaelRaskin: very serenity prayer of you
<adisbladis> gchristensen: Yeah :)
<MichaelRaskin> There are simply things you cannot unsee. Like the fact that there are many good models of DVCS, «erm, DAG» is not specific enough to be one of them, and what Git uses is also not one of them
<joepie91> adisbladis: heh
<gchristensen> MichaelRaskin: +1
<gchristensen> MichaelRaskin: I am so frustrated with git's refusal to let me make the patch what I want it to be
<MichaelRaskin> Git is like Windows, the effort in using it is no longer there, but disgust is not going to go away
<MichaelRaskin> I guess what is most annoying is that too many people do not understand there is valuable knowledge that is cheap to save but git doesn't allow you to save ever
<gchristensen> like?
<MichaelRaskin> Basically syncable reflog. What branch was this commit originally committed to?
<adisbladis> This ^
<adisbladis> 100000x
<adisbladis> It's so annoying...
<gchristensen> +1
<MichaelRaskin> I mean, teach a fresh user to use a real DVCS, then tell them «oh, and this piece of data is not available in the most popular DVCS on Earth». Watch their surprise
<adisbladis> Git is still a heck of a lot better than most options around in it's infancy.
<adisbladis> Though I was rather fond of Darcs
<__monty__> Which ones do you consider real DVCS?
<MichaelRaskin> Mercurial, Fossil, Montone — even if it's kind of dead, I can convincingly argue that Git is dead in the same sense
<MichaelRaskin> Mercurial and Fossil are very much alive
<sphalerite> what do you think of pijul?
<adisbladis> MichaelRaskin: Do you have a take on pijul?
<adisbladis> sphalerite: :D
<MichaelRaskin> I have a take that if the developers behind the project develop a new and much changed version behind closed doors, I should wait
<__monty__> Is mercurial's data model much different than git's? Afaict it shares the exact problem gchristensen has with git because it tracks revisions, not patches.
* adisbladis should really get into git worktree
<MichaelRaskin> Truly tracking patches has a whole world of tradeoffs, and having a better model for tracking revisions on the level of not doing obviously wrong things which were already known and done right in oper source before your project started is a different level
<pie_[bnc]> adisbladis: worktree git gud
<MichaelRaskin> Of course so far it looks like pijul is not doing the thing that could be done well for getting the point across to git users
<pie_[bnc]> you know what i want
<pie_[bnc]> totally unfoundedly
<pie_[bnc]> is some meta-VCS, where i can drag patches around on a graph, and then version *that* too
<MichaelRaskin> Wouldn't it be enough to have a minorly extended Monotone model?
mrCyborg has joined #nixos-chat
<pie_[bnc]> ive never heard of that actually
<MichaelRaskin> Basically, allow claims about parent-edges, not just revisions
<MichaelRaskin> Well, you would have the normal DAG of revisions
<pie_[bnc]> i want a dag of dags, which i suppose its technically still a dag? but the nodes of the outer dag are units
<MichaelRaskin> But picked-from would actually be encoded in data structures, not in commit message text
<MichaelRaskin> I mean, the flatter your data structure, the less annoying it is to navigate
<MichaelRaskin> So you have your true original history (I have not yet mentioned that old history should always be preserved today? sorry), then you have newer paths side by side with annotations which revision includes what from the previous attempts
<mrCyborg> 116 days
<mrCyborg> That's how long it took me to get steam working
<mrCyborg> lol
<pie_[bnc]> i think the train is running a bit late...
<MichaelRaskin> I am not sure there is a puzzle _in_ steam that will compete with that…
<pie_[bnc]> someone should make a game out of a theorem provers
<pie_[bnc]> put it on steam
<MichaelRaskin> There are multiple kind of games out of theorem provers… and I am currently in the process of starting to supervise a student implement a pretty game-able UI for theorem provers (unfortunately, in Java)
<pie_[bnc]> :O
<pie_[bnc]> make an mmo out of it :P
<pie_[bnc]> proofs give you points to roll for anime girls
<MichaelRaskin> Isn't that objectifying or whatever?
<pie_[bnc]> quite literally...
<pie_[bnc]> have you ever seen kancolle or the fate...whatever that variant is called
<pie_[bnc]> apparently some very popular gacha games
<pie_[bnc]> im just joking, but im stating a fact that the Fate game takes historical figures and turns them all into hot anime girls (its good for business no doubt). you could make a knockoff with historical mathematicians
<pie_[bnc]> clever: oh no im spilling over from the other channel
<pie_[bnc]> 🤔
<eyJhb> Not enjoying neovim so far, vim-go doesn't know how to autoformat now
<pie_[bnc]> (ncov is coming anyway, no need to worry about people finding out I'm a weeb x'D)
<pie_[bnc]> MichaelRaskin: "There are multiple kind of games out of theorem provers" you mean the ones encoded as ..what do they call them...puzzle games?
<pie_[bnc]> :p
<MichaelRaskin> pie_: I mean, how old are you? If you are between 20 and 35, you have already had some viral colds, quite possible have had coronaviral colds, and will have some more in the future after nCoV-2019, even if you catch it now.
<__monty__> Fyi, the temporary nCoV-2019 name has been superseded by SARS-CoV-2*. *: No relation to SARS the disease >.> <.<
<MichaelRaskin> Well, unless the decision making in the world is so messed up that CoViD-2019 manages to somehow bring about large-scale all-globe warfare or someting
<MichaelRaskin> What do you mean no relation, isn't the worst case of both diseases viral pneumonia?
<MichaelRaskin> With the catch that for the new virus it is optional thus making it a lot harder to control…
<__monty__> Was a joke about how SARS is in the name yet wikipedia mentions "To avoid confusion with the disease SARS, the WHO sometimes refers to the virus as "the virus responsible for COVID-19" in public health communications."
<pie_[bnc]> the viral penumonia is optional?
<pie_[bnc]> __monty__: wow way to confuse the situation
<__monty__> Tbh, I think the WHO is avoiding calling it SARS because people will freak out more than they already are.
<MichaelRaskin> With SARS-1 you either get pneumonia or do not spread the virus much. With SARS-2 you can be asymptomatic carrier but spread the virus. Or you know, just get a normal viral cold, like you probably get yearly
<pie_[bnc]> my observations of limited intelligence suggest the major problem is everyone is immunologically naive (and a larger amount of extreme cases?)
<pie_[bnc]> so you swamp the health system
<pie_[bnc]> and all the old people die
<MichaelRaskin> Apparently the large problem is combination of asymptomatic spread, and some locations getting it happen in places with a lot of older people (who get heavy viral pneumonia more often)
<pie_[bnc]> im getting mixed signals on asymptomatic spread
<__monty__> Well the root of the problem imo is people are selfish. It's a mix of "*I* don't wanna die." and "*I*'m not sick yet so who cares if I don't cancel my social events." and "*I* don't want to run out of food/toilet paper so I'll just get 2 or 3 even though I only need 1."
<pie_[bnc]> seems to me like we should have seen it coming from miles away
<pie_[bnc]> and by miles i mean a couple weeks
<__monty__> That's easy to say.
<pie_[bnc]> yeah
<__monty__> I doubt many people would've respected the regulations they've issued so far in the context of weeks ago.
<pie_[bnc]> but you can prepare your supply chains
<pie_[bnc]> tell factories to ramp up production on things that are going to have shortages, idk
<pie_[bnc]> i have no idea how viable that actually is
<__monty__> How? Supermarkets aren't designed for storage. They can't stock 2x what they usually do.
<pie_[bnc]> i dont think masks and hand sanitizer are perishable goods
<__monty__> There is no lack of products currently.
<__monty__> But logistics systems aren't equiped to *double* capacity overnight.
<pie_[bnc]> (my jury is still out on the whole masks thing)
<__monty__> And that's the optimistic case where everyone's only grabbing *1* extra pack of pasta/toilet paper.
<MichaelRaskin> __monty__: well, there is a country who imposed quarantines right after getting a large infection spread. I am kind of afraid that exactly one. (China was in a unique situation in any case)
<pie_[bnc]> the people who proably need things most are healthcare workers
<pie_[bnc]> im not sure what the actual scale of hospital PPE shortages is
<__monty__> I don't think they quarantined early. It sounds a lot like they only quarantined when healthcare was *already* swamped.
<pie_[bnc]> it *appears* that when they did quarantine, it was effective
<pie_[bnc]> ive heard people saying they did a much better job than with sars
<MichaelRaskin> China did not have the option to quarantine correctly. South Korea did and used it even if they had to start pretty late
mrCyborg has quit [Quit: WeeChat 2.7.1]
<gchristensen> in my county there are 9 cases, and 8 of them are due to PPE shortages at the local hospital, when 1 case walked in the door
<pie_[bnc]> the podcast i was listening to, IIUC, even caught the thing because they built out monitoring infrastructure for 'not otherwise diagnosed pneumonia' or something after sars, to notice if new stuff comes up
<__monty__> Are the measures really that ineffective elsewhere? Maybe the US but that's what you get when people high up the hierarchy deny problems.
<pie_[bnc]> __monty__: i havent finished reading this, but i highly recommend https://medium.com/@tomaspueyo/coronavirus-act-today-or-people-will-die-f4d3d9cd99ca , i havent seen anyone saying the article is bad, and i tried to look aroun a bit
<MichaelRaskin> Yes they are, especially compared to the cost
<MichaelRaskin> It is pretty hard to believe that anyone but South Korea has even started to get a handle on the asymptomatic/very mild cases
<__monty__> I mean, we don't even have enough numbers to tell whether our measures are effective.
<__monty__> So it's pretty early to claim they're not.
<MichaelRaskin> S.Korea seems to be in the mode of «test whatever moves, isolate whatever tests positive, the rest is done based on ROI»
<MichaelRaskin> I mean, if you are containing correctly, the majority of tests should be negative. I think only SK has ramped up testing enough for that
<gchristensen> meanwhile a local dr here only yesterday got their first box of tests: 5.
<MichaelRaskin> German university: virtually all exam retakes are forbidden, but no changes for administrative staff. Of course, administrative work means physical paper handled by older staff who are actually at the most risk, but somehow that doesn't cause any concern.
<adisbladis> Pretty interesting :) https://www.youtube.com/watch?v=1xSxbEqzohI
<adisbladis> How airlines disinfect planes ^
<adisbladis> I love this youtube channel
abathur has joined #nixos-chat
hexa- has quit [Quit: WeeChat 2.7.1]
hexa- has joined #nixos-chat
abathur has quit [Ping timeout: 240 seconds]
<__monty__> pie_[bnc]: Thanks for the link. Skimming revealed it's an interesting post : )
<pie_[bnc]> \o/
mrCyborg has joined #nixos-chat
cole-h has joined #nixos-chat
<sphalerite> so, I have some fans, and a 2.0mm PH 2-wire port I want to connect them to. And no 2.0mm PH 2-wire plug. Does anyone know a way to hack around this?
abathur has joined #nixos-chat
icey__ is now known as iceypoi
mrCyborg has quit [Quit: WeeChat 2.7.1]
ravndal has quit [Ping timeout: 256 seconds]
mrCyborg has joined #nixos-chat
claudiii has joined #nixos-chat
drakonis has joined #nixos-chat
mrCyborg has quit [Quit: WeeChat 2.7.1]
mrCyborg has joined #nixos-chat
ravndal has joined #nixos-chat
rardiol has quit [Ping timeout: 265 seconds]
disasm has joined #nixos-chat
<eyJhb> Cannot for the life of me, get https://github.com/nix-community/emacs-overlay#usage-of-the-overlay to work
<cole-h> What have you tried?
<cole-h> An `import (builtins.fetchTarball...` in `overlays/emacs-overlay.nix` should do the trick
<eyJhb> let { that... } in { .. } ?
<cole-h> Unnecessary
<cole-h> I mean you could do `let emacs-overlay = import (builtins.fetchTarball... in emacs-overlay`, but the other way is shorter...
<eyJhb> But, should I just put that in the same { as the config listed above ?
<eyJhb> Currently I just have - https://github.com/nix-community/emacs-overlay#extra-library-functionality in a file that I import
<eyJhb> Nothing else
<cole-h> That's not an overlay, so I don't think that would quite work
<cole-h> (the config part isn't)
<eyJhb> I am just generally confused by Nix again and again
<eyJhb> I should take those pills
<cole-h> Basically, all you need to do is import that config file from the README, and have an overlay for emacs-overlay like I outlined above
<cole-h> It should Just Work
wildtrees has joined #nixos-chat
wildtrees has quit [Remote host closed the connection]
wildtrees has joined #nixos-chat
waleee-cl has joined #nixos-chat
lambdaclock has joined #nixos-chat
lambdaclock has quit [Quit: WeeChat 2.7.1]
mrCyborg has quit [Quit: WeeChat 2.7.1]
<colemickens> cole-h: moving it here, it looks like maybe 1800 USD for the well-spec'd one?
<cole-h> 👀
<colemickens> very reasonable to me, but I don't shop these a lot and I'm willing to spend a lot extra for what I want
<cole-h> Fair enough
<colemickens> otherwise I'd replace this XPS 13 with the current one, spec'd out, probably a similar price.
<colemickens> Plus if I'm aiming for a single machine and want to travel (lul, wanted) then it makes sense.
<colemickens> Maybe I would be better off just building a stupidly powerful desktop for that price if I'm going to be locked in for a while.
<colemickens> Though, variety in which room I'm sitting in is nice. <thinking face emoji>
<cole-h> I plan to upgrade once the 4xxx's come out so I can get a 3800x for cheap
<cole-h> Maybe even 3900x if I get lucky
<MichaelRaskin> colemickens: just wait until CoV is fully out of control…
<MichaelRaskin> If it happens soon, maybe travel ban won't be that long
<cole-h> :(
* cole-h was planning on flying CA -> TX to visit family friends 2 weeks from yesterday
<colemickens> Hm interesting. I just assumed they'd continue to try to restrict travel to keep prolonging things, but if it winds up being endemic, then....
<colemickens> (prolonging wasn't the right word there, just meant the flatten the curve idea)
<MichaelRaskin> I was going to visit my parents in a week, which would be DE→RU
<colemickens> cole-h: I wouldn't count on that.
<cole-h> Yeah, unfortunately not
<colemickens> My parents were supposed to fly to Seattle March 22. I told them last Monday to cancel their tickets
<cole-h> I've been putting it off for 2 years already because of school
<colemickens> Took my dad a few days to come around to the idea :P
<cole-h> What's a few more months? :'(
<colemickens> cole-h : it is interesting how it brings to light things we've been putting off "because there's always more time".
<cole-h> I'd been planning it since beginning of the year, too
<cole-h> Upside is I now suddenly have a whole week to switch to NixOS... ish
<colemickens> are you worried it's going to be a challenge? I don't think it will be so bad.
<colemickens> It seems like you've been using Nix? Or maybe I just make assumptions based on seeing your name in here for a while :P
<cole-h> Nah, not that it'll be a challenge. Just that I have loads of stuff already set up that was a challenge to set up originally
<cole-h> e.g. my passthrough vfio setup
<cole-h> I should learn an effective qemu incantation so I can use the "serial" port instead of needing the GUI from virt-manager.
<cole-h> Or setup ssh
<colemickens> Ah.
<colemickens> so, word on the street is virt-manager is dead and `virsh` and `virt-install` are the way to go
jtojnar_ has joined #nixos-chat
<colemickens> but I've never properly learned them myself. I also wonder if just a qemu call in a shell script wouldn't be better.
jtojnar_ has quit [Remote host closed the connection]
<colemickens> Or maybe a really fancy new nixos module ;)
<MichaelRaskin> For a single VM? Yeah, script makes sense
<cole-h> Well, virt-manager is really just the GUI (or at least that's all I use it for)
jtojnar_ has joined #nixos-chat
* cole-h looks up a `virt-install` guide because he's too lazy to read the manpage
<joepie91> I recommend just learning QEMU if you can
<joepie91> debugging libvirt issues is no fun
<cole-h> Will do
<cole-h> So, if I wanted to make a custom ISO and override the ZFS stuff, would I just create an overlay for `pkgs/os-specific/linux/zfs/default.nix`? Or is there something else I'd have to do for custom ZFS
<joepie91> cole-h: the overlay would be for an attribute path, not a file path; otherwise, yes, that should work AFAIK\
<cole-h> Yeah, sorry, was just making it clear what I was overriding :P
<joepie91> right :)
<colemickens> Whatcha doing? Just curious?
<colemickens> also, if you have that Sway snippet for passthrough, can you send that again. I finally want to set that up
<cole-h> Yeah, one sec
<joepie91> cole-h: actually, thinking about it again, that would only change ZFS for the install ISO.... not for any system installed *with* it, I think
<joepie91> so you'd also need to install that overlay with the default config I think?
<joepie91> I'm a little fuzzy on this part
<cole-h> joepie91: So are you saying that `nixpkgs.overlay = [ ./zfs.nix ];` would or wouldn't work?
<cole-h> (assuming zfs.nix is a proper overlay)
<joepie91> cole-h: it would work... to apply that overlay to your install ISO boot environment :P
<joepie91> which is probably not what you were going for
<cole-h> Ah, got it
jtojnar_ has quit [Read error: Connection reset by peer]
jtojnar_ has joined #nixos-chat
<cole-h> ... I should probably be asking this in #nixos lol
<cole-h> colemickens: I'm want to run ZFS wit zstd support (https://github.com/openzfs/zfs/pull/9735). I think I talked about it before; actually trying to put it into practice now
<{^_^}> openzfs/zfs#9735 (by c0d3z3r0, 12 weeks ago, open): Introduce ZSTD compression to ZFS
jtojnar_ has quit [Read error: Connection reset by peer]
<cole-h> s/wit/with
<eyJhb> What is a good starting point to learn Nix?
<eyJhb> I should really learn it now, so I can actually use NixOS to the fullest.
<ldlework> eyJhb: one step at a time
<ldlework> are you going to just use Nix as a package manager somewhere, or are you going to jump into NixOS headfirst?
<ldlework> eyJhb: a really low effort way to get started with Nix is just boot a docker container with it
<ldlework> add a volume mount and try to build some stuff
<eyJhb> ldlework: Have been using NixOS for I think a year now, and have packaged some packages and maintain them. I just still suck at writing Nix.. :(
<ldlework> essentially no risk
<ldlework> oh
<ldlework> :D
<ldlework> I guess you mean how do you start mastering nix
<ldlework> eyJhb: I mostly just refine my system configuration to be more DRY and abstracted
<ldlework> Make my own little reusable helpers to make the individual modules for each piece of software more and more succinct, etc
<eyJhb> But also just the basics of mastering it, because there is sooo soo much of the syntax I don't get etc.
<cole-h> Something that I found helps is to read people's configs and the derivations in nixpkgs
<ldlework> Hmm, my problem with Nix mostly comes from a library-ignorance part.
<ldlework> The actual language itself isn't so big
<cole-h> If you don't understand something, you go to #nixos and ask :)
<MichaelRaskin> eyJhb: have you read the Nix manual? It does help making sure you understand what language itself does, and I guess by now you should have both the basics and motivation to get through…
<joepie91> cole-h: dunno, the question answering rate isn't high enough yet to make that a reliable recommendation :)
<MichaelRaskin> (Also, I guess being confident you know enough Nix language should help with being confident you are reading lib/*.nix correctly, and much of the good stuff in Nixpkgs utility stuff is best understood by reading the source and source comments)
<pie_[bnc]> also helpful and concise (i think?) https://github.com/tazjin/nix-1p
<sphalerite> https://gist.github.com/lheckemann/d9224a10ba0e0bf528dadede41e5763d build a nixos into a tmpfs, then replace your system with it — more lightweight than kexec, still unmounts root filesystem etc to allow repartitioning and similar. :)
<samueldr> kexec's useful if the kernel lacks features
<samueldr> though otherwise that looks neat
lovesegfault has quit [Quit: WeeChat 2.7.1]
<sphalerite> yeah, this does need nix as well, so it's not as useful for switching from a foreign distro or something
<sphalerite> my usecase for this was switching a zpool around, i.e. I'd created a new pool but wanted to copy everything from the old pool to the new one, then rename them both so that the next boot would be into the new pool
<samueldr> oh right, nix
<samueldr> also kind of a big deal :)
<samueldr> but still really neat!
<__monty__> Guys, guys, guys. If you wanna see a glorious movie, check out "The Velocipastor" 😆
<cole-h> That name is ridiculous
<__monty__> Don't let the name fool you. The movie is glorious.
<__monty__> I mean, unless you *don't* like chinese christian ninjas with eye patches?!
<__monty__> But come on.
<cole-h> It sounds more and more ridiculous as you talk about it more... I might have to check it out in my now-abundant free time
<__monty__> Yes, It's no Kung Fury but it's pretty damn great.
<etu> __monty__: Now I have a file of it...
<eyJhb> cole-h: I feel like there often is a lack of response, which leads to me not being able to come any further most of the time...
<eyJhb> MichaelRaskin not yet! Might give it a try
<eyJhb> joepie91 Nope, havent read that as well
<cole-h> eyJhb: Sometimes there are definitely lulls in knowledgable people. Discourse is also an idea. Hopefully things improve as we become more and more popular :)
<eyJhb> cole-h: Well, people tend to be nice and quick most of the time. Just the times when there isn't any, that sucks.. And most of the time, I should know the basics
<eyJhb> Reading stuff for tomorrow I guess :D
<eyJhb> Now it might be time for a movie (not yours __monty__ )
<__monty__> You're missing out, eyJhb
<cole-h> Speaking of Kung Fury, I should watch that too lol
<__monty__> nn, peeps, please try to take the social distancing measures seriously!
<eyJhb> __monty__: :| I think I will die if I kick her out of my bed
<eyJhb> nn!
__monty__ has quit [Quit: leaving]
abathur has quit [Ping timeout: 255 seconds]
<drakonis> alas i have rediscovered my lost love for minecraft
<sphalerite> drakonis: my condolences
rardiol has joined #nixos-chat
<tokudan> drakonis, be happy that it's not factorio.
<drakonis> its like factorio but on extra drugs
<drakonis> i already have factorio
<drakonis> i'm playing the industrial mod packs right now
<drakonis> with gregtech...
<drakonis> aaaaa its like factorio but crazier...
<ldlework> a necessary but insuffient condition of dialectic
<drakonis> the joke may be lost on me
<ldlework> i don't know why the link was provided, but i figured i'd say the relevant thought that came to mind when i saw it
<gchristensen> nah, no connection, just sending that to someone in another place and thought I'd share it here too
<drakonis> i should pray i never buy rimworld
<drakonis> i'll lose my life to video games forever
<joepie91> lol
<joepie91> drakonis: at least rimworld has less micro-optimization addiction potential
<drakonis> actually i think there's a mod for that
<drakonis> its called optimizing your load order :V
<drakonis> im sorry i had to
<joepie91> lol
<drakonis> its the same issue the elder scrolls has
<cole-h> gchristensen++ Thanks for sharing these interesting links. (YoYo Ma, this, a few others)
<{^_^}> gchristensen's karma got increased to 229
<gchristensen> ^.^
<ldlework> the topic of a philosophy channel here on freenode is "The Yo-Yo Ma of IRC channels"
<drakonis> what is a yo-yo ma, good sir.
<drakonis> a musician apparently.