Peetz0r has quit [Read error: Connection reset by peer]
Peetz0r has joined #nixos-chat
lassulus_ has joined #nixos-chat
Peetz0r has quit [Read error: Connection reset by peer]
lassulus has quit [Ping timeout: 244 seconds]
lassulus_ is now known as lassulus
Peetz0r has joined #nixos-chat
etu has quit [Read error: Connection reset by peer]
etu has joined #nixos-chat
drakonis_ has joined #nixos-chat
drakonis has quit [Ping timeout: 276 seconds]
snajpa has quit [Excess Flood]
drakonis has joined #nixos-chat
snajpa has joined #nixos-chat
drakonis_ has quit [Ping timeout: 250 seconds]
<elvishjerricco>
gchristensen: Any chance of publicizing the rate of https://nixos.org/nix/install hits? Not a great metric, but it'd be interesting to see how that number is growing
<gchristensen>
hmm no idea
<gchristensen>
elvishjerricco: I'll ask around :)
<elvishjerricco>
gchristensen: How hard was it to get macOS working in a VM? I want to upgrade to Mojave, but I want to test that my nix projects work on it first, so I want to make a VM and test there first.
pie_ has quit [Ping timeout: 246 seconds]
jasongrossman has joined #nixos-chat
sir_guy_carleton has quit [Quit: WeeChat 2.0]
jackdk has quit [Ping timeout: 244 seconds]
kittyAlana has joined #nixos-chat
<etu>
67 clients now
<jasongrossman>
etu: What I meant, of course, was most of us who are actually reading not just logged in in the background.
<etu>
:)
<kittyAlana>
Hurd is really sad. If GNU dropped Hurd when it was ahead and focused on creating a truly libre Linux (not that linux-libre crust) we would have actually free OSes now lol
<sphalerite>
jasongrossman: I like how you only said that in here ;)
<jasongrossman>
LOL
<kittyAlana>
but RMS was like *NO I GOTTA STAY IN MY WEIRD ARCHITECTURE BATTLES*
<jasongrossman>
Which reminds me, I can't find the IRC command to list who's in a room.
<sphalerite>
/list ?
<sphalerite>
/names ?
<sphalerite>
it depends on your client
<sphalerite>
I think.
<jasongrossman>
Yes /names - thanks.
<etu>
names is the name of the command in IRC
<etu>
like in the protocol
<jasongrossman>
I want to ++ you but I think the bot is shared across channels, right?
<etu>
kittyAlana: Sometimes most of us needs to be pragmatic
<etu>
kittyAlana: RMS doesn't
<jasongrossman>
kittyAlana: Certainly agree with you about Hurd. GNU ls is great, though!
* etu
like gnu coreutils
<sphalerite>
jasongrossman: it is
<etu>
likes*
<sphalerite>
I mean, a ++ here will count in #nixos too.
<jasongrossman>
Also of course this is a discussion about the quality of individual items of GNU software, but we could also consider the very good effect of GNU in keeping other org honest.
<kittyAlana>
also GNU software are all just *worse* their counterparts. GPG < Signify/Minisign/LITERALLY EVERYTHING ELSE; GCC < Clang; Emacs < Vim; and GIMP's name is literally a slur
<jasongrossman>
sphalerite: You don't deserve a NixOS ++ for giving me an IRC command, sadly.
<sphalerite>
lol
<etu>
haha
<jasongrossman>
kittyAlana: I SAID we didn't have rules about politics, but Emacs vs Vim might be beyond the pail.
<kittyAlana>
also GNU style is a crime against humanity
<etu>
kittyAlana: There's quite many Emacs-users that use NixOS ;)
<etu>
just saying
<sphalerite>
kittyAlana: I'm not sure I agree on emacs < vim. I'm a long-time vim user and am trying to switch, because emacs seems like more of a thought-out design as opposed to organically-grown, uh, ball of mud
<sphalerite>
UI/API-wise
<kittyAlana>
jasongrossman: You can have your preferences, but emacs is more buggy heavier and has objectively, significantly higher latency. IIRC also less portable. It's technologically worse. There are still reason to use it over Vim but yuck.
<jasongrossman>
sphalerite: It's a good time to switch, because vi emulation in Emacs is rock solid at the moment. (Or so I've heard lots of people insist. Haven't tried it myself.)
<jasongrossman>
kittyAlana: Ahem. I wasn't promoting Emacs. Sheesh. I WAS saying that I don't think it's a good topic.
<kittyAlana>
I switched from Emacs to Vim; Vim better.
<kittyAlana>
jasongrossman: yeah but my point remains like... it's badly written software even if it's great
<jasongrossman>
kittyAlana: "my point remains" - seriously?
<sphalerite>
in fact what I actually want to switch to is spacemacs, but I haven't tried it yet because it's not nicely configurable with nixpkgs like emacs is
<jasongrossman>
Can we boot people for not listening?
<kittyAlana>
Ouch I would be sad
<sphalerite>
Let's not start a flame war, this isn't the 90s!
<jasongrossman>
LLOL
<kittyAlana>
I wasn't alive in the 90s
<LnL>
sphalerite: blasphemy!
<sphalerite>
LnL: I mean a flame war about vim vs emacs
<jasongrossman>
sphalerite: Right, I think anyone who likes Nix would TOTALLY hate spacemacs, for a whole bunch of configurability reasons.
<kittyAlana>
the best text editor is Vim emulated in Emacs emulated in Electron. Don't @ me.
<jasongrossman>
LLOL
<sphalerite>
kittyAlana: @
<infinisil>
I'm using both vim and emacs
<kittyAlana>
oh oh oh I forgot
<kittyAlana>
GNU Social < Mastodon
<sphalerite>
lol
<infinisil>
vim for quick stuff to edit, emacs when I want a more IDE like experience and I don't mind the slower start and such
<sphalerite>
I lack information to comment on that
<jasongrossman>
Yes but Gnu Antisocial is **excellent**. (I'm sure it is, if there is such a thing.)
<jasongrossman>
Actually I regret that easy dig.
<LnL>
sphalerite: a bit late, but was about you trying to switch to emacs
<kittyAlana>
I've used both and GAWD Mastodon is amazing
<jasongrossman>
jasongrossman--
<kittyAlana>
btw I literally copy-pasted Leah Rowe's vimrc and it's magic
<LnL>
sphalerite: but I get where you're coming from, I also tried emacs/spacemacs at some point
<sphalerite>
LnL: oh right
<sphalerite>
VimL is an abomination.
<LnL>
that's an understatement
<LnL>
:p
<infinisil>
jasongrossman: Try ++'ing yourself :P
<etu>
etu++
<{^_^}>
etu's karma got decreased to 3
<etu>
haha
<etu>
nice
<etu>
infinisil: good one
<etu>
jasongrossman: increment me now since I took one for the team ;)
<infinisil>
Asking for karma eh?
<infinisil>
etu++
<{^_^}>
etu's karma got increased to 4
<etu>
infinisil: naah, just restoration ;)
<sphalerit>
sphalerite++
<{^_^}>
sphalerite's karma got increased to 29
<sphalerite>
sphalerit++
<{^_^}>
sphalerit's karma got increased to 2
<sphalerite>
go team smurf!
<kittyAlana>
ok team
<kittyAlana>
I'm installing NixOS now
<sphalerite>
\o/
<kittyAlana>
well
<etu>
kittyAlana: Have fun!
<kittyAlana>
now as in after the dd completes
<kittyAlana>
thanks <3
<etu>
kittyAlana: Don't be afraid to ask questions :-)
<kittyAlana>
ok! <3 Honestly I've spent so long to settle on an OS cuz
<kittyAlana>
It's been like two months since I forgot the FDE password to my 7570 and needed a new OS
<kittyAlana>
and I kept putting it off cuz i didnt know what OS I wanted to install
<etu>
Nix is different and you'll have stuff to learn
<jasongrossman>
kittyAlana: I predict you'll either love it or hate it. Hopefully you'll love it.
<sphalerite>
don't install nixos, just netboot it and use the fixed storage only for $HOME :D
<sphalerite>
jasongrossman: I think hate is quite rare, but frequently it's "love but recognise all the faults. But still love."
<infinisil>
Nixos was actually my first Linux, switched directly from macOS
<jasongrossman>
sphalerite: I hope you're right but I wouldn't be so sure. I bet a lot of people try it briefly, hate it, and we never hear from them.
<jasongrossman>
infinisil: Wow. That must be unusual.
<sphalerite>
jasongrossman: hm true
<infinisil>
Heh, just received a message by a creator I just started supporting on Patreon: "Thanks for your support! That dollar is going to take me places!"
<infinisil>
Can't help but feel a slight touch of sarcasm
<infinisil>
But a dollar is probably much more than creators would make from my youtube views :)
<kittyAlana>
lol
kittyAlana has quit [Ping timeout: 256 seconds]
<srhb>
sphalerite: I know you were joking but re netboot... That would be neat if only it were simpler to have a remote store on NixOS :P
<srhb>
One of the few very tangible benefits of Nix-on-other-OS
mmercier has joined #nixos-chat
<sphalerite>
srhb: not really joking
<sphalerite>
improving netboot is on my long-term todo list
<srhb>
sphalerite: Happy to hear that :D
<Taneb>
I found the sheet of paper where I wrote my ideas for improving the state of Agda in nixpkgs
<sphalerite>
I mean, I was jokingly saying kittyAlana should do it :D but in general that's something I want possible
<srhb>
Yeah it would be really nice
<srhb>
I think especially the datascience cluster people would be elated to have a better solution for that.
<srhb>
Strange. When I set arc_max it appears that it also becomes the new target size always. Was this always the case?
<gchristensen>
I think ZFS does like to keep it filled up
<gchristensen>
cache isn't very useful empty, after all
<jasongrossman>
My ZFS doesn't keep it filled up, but that's because I've got too much memory and it runs out of things to put there.
<gchristensen>
hahahaha
<gchristensen>
there you go, srhb, just get _way_ more RAM.
<srhb>
:|
<srhb>
I just upgraded to 32 GiB yesterday! augh!
<srhb>
I think I identified that it's because the target is still set to half my memory, so with max set to 10, target will be at max.
<srhb>
This is super annoying, because latency spikes all over the place when target hits max (which is all the time with those settings)
<maurer>
srhb: If you are using spinning rust drives, you could consider getting an SSD and enabling L2ARC
<srhb>
I am not. It's an NVME drive.
<srhb>
NVME SSD, that is.
<srhb>
ZFS is just behaving very poorly when target = max.
<gchristensen>
ohhh yes that makes sense
<srhb>
I could work around this by setting max slightly above half my memory, but I would prefer not to, as I have builds that will fail to allocate with the ARC taking up that much space.
<srhb>
What I _want_ to do is set the target loewr.
<gchristensen>
can you?
<srhb>
I haven't figured out how to yet...
<srhb>
And, like, every resource for ZoL seems to imply that max is always the way to go, but that's such obvious misinformation in the case where max < half of memory.
<srhb>
For solaris max is even deprecated in favor of setting a percentage hint to the target...
<srhb>
Weird!
<jasongrossman>
It is weird. I've given up trying to get it to do anything ... but you're probably more persistent than I am.
sir_guy_carleton has joined #nixos-chat
<srhb>
Nah, I'll just wait for a proper OS to come out. I have patience, I've waited for 30 years now. Maybe throw some money at the bcachefs patreon :P
<srhb>
Er, proper FS*
<gchristensen>
have you tried asking in #zfsonlinux?
<srhb>
I have, still waiting for someone to turn up who knows. :)
<gchristensen>
give 'em a bit of time, it is not even working hours in California yet :)
<srhb>
Yas, I know. Current client is in Calif. I have patience, but often #nixos-foo beats everything out there :-P
<gchristensen>
sooo true
<gchristensen>
y'all are stinkin' amazing
<srhb>
++
sir_guy_carleton has quit [Quit: WeeChat 2.0]
jasongrossman has quit [Quit: ERC (IRC client for Emacs 26.1)]
jasongrossman has joined #nixos-chat
pie_ has joined #nixos-chat
sir_guy_carleton has joined #nixos-chat
sir_guy_carleton has quit [Quit: WeeChat 2.2]
tilpner has joined #nixos-chat
sir_guy_carleton has joined #nixos-chat
__Sander__ has quit [Quit: Konversation terminated!]
sir_guy_carleton has quit [Quit: WeeChat 2.2]
drakonis1 has joined #nixos-chat
Synthetica has quit [Quit: Connection closed for inactivity]
mmercier has quit [Quit: mmercier]
sir_guy_carleton has joined #nixos-chat
pie_ has quit [Read error: Connection reset by peer]
pie__ has joined #nixos-chat
grokkingStuff has joined #nixos-chat
<grokkingStuff>
Hi there! Could someone help me install NixOS on my laptop. Been trying to use nixos-install but it complains that it can't make symlinks
<sir_guy_carleton>
grokkingStuff: what is the exact error?
<andi->
Haven't checked the spec but maybe they are subroutines for them/him/her/..?
drakonis1 has quit [Quit: WeeChat 2.2]
<gchristensen>
yeah but that list includes C and Javascript as being functional :)
<andi->
True..
drakonis_ has joined #nixos-chat
<andi->
I had the "pleasure" of writing "functional" typescript today. Pipe map filter undefined..
<gchristensen>
at least it was typescript :X
<joepie91>
not sure I'd consider that an "at least"...
<joepie91>
it kinda has a worst-of-both-worlds problem :P
drakonis has quit [Ping timeout: 268 seconds]
<andi->
Yeah
<joepie91>
it has a type system that isn't especially good or useful, but that's restrictive enough to disallow (or make significantly harder) most of the good practices toward code quality in JS...
<andi->
I almost start screaming when I see a language that at some point realized they need ===
<simpson>
andi-: Do you scream when you see languages with user-definable equality?
<gchristensen>
I'm going to stick to "at least"
<gchristensen>
at least there are rules
<joepie91>
rules are not an inherently good thing :P
<andi->
simpson: no, but that's better then enforcing things like a.is equal(b)
<joepie91>
I'd certainly pick JS over TS any day
<gchristensen>
I wouldn't, but okay
<gchristensen>
and okay*
<simpson>
andi-: How do you feel about, say, Haskell's Eq typeclass?
<andi->
I also prefer TS > JS, at least if I have to work with people
<andi->
simpson: very simple: I don't know Haskell (anymore). Did it once during my studies for not even a semester..
<andi->
simpson: No i haven't the way a brief google search explained it to me (still on crappy mobile, omw home) is that i can probably be compared to traits in Rust where there can be a "custom" implementation for each type and you might not get what you want without being explicit?
<simpson>
Right. In particular there are no equality laws being enforced.
<simpson>
In contrast, when a language provides equality as a primitive, it can also require that `x == x`, etc.
<andi->
My main concern about === is that it is counter intuitive. == should be the less strict equality (e.g values behind the references are the same) while === should be IS THE SAME (e.g. same memory).
<andi->
And I'd argue &a == &b would be better suited for the same address comparison
<simpson>
Why should "same memory" be a thing?
jackdk has joined #nixos-chat
<andi->
I am not thinking in haskell. More thinking about what it would be like in C++. I'd provide a custom `==` implementation for my `Person` type that recurses through attributes etc.. While per default it wouldn't be implemented for every type.
<andi->
Maybe the right take away would be that I do not like standard equality operators for custom/complex-ish types..
<andi->
because it is not what you want in many cases..
<simpson>
My point is largely that C++ is already fucked.
<simpson>
One needs objects first, and *then* object equality.
<simpson>
And sure, many objects aren't meant to be compared ever; those objects really just want `x == x` and nothing else.
<gchristensen>
btw simpson you have cursed me, I can't examine a language without thinking about if I can prevent ("allow") a function to do impure things.
<andi->
It is a bit bikeshedding what the correct approach is... There are way too many opinions (and languages) involved ;-) I just think it smeels if a language needs to introduce === because a few years later they learn that their equality operator doesn't do what everyone wants.
<gchristensen>
+1
<simpson>
gchristensen: Happy to help! It's 2018 and we should demand more from languages.
<jackdk>
but what shall we do in 2019?
<andi->
I have had that when we designed the (now canceled; unrelated) product that I was working on... It was alreayd a hard sell to people... Probably cost me a few years of energy.
<gchristensen>
jackdk: probably more javascript
<simpson>
jackdk: Continue to infiltrate and alter ES until it's a decent capability-aware language, probably.
<gchristensen>
yeah, I've been thinking about that. it is hard, because making the output of nix-build ./nixpgks/doc look like nixos.org's docs means duplicating a lot of nixos.org code
<samueldr>
if the output already looks right, then the code can migrate?
<samueldr>
unless I'm missing something
<andi->
gchristensen: nice.. I looked at it when browser started having the support and people where all hiped about rendering websites using xslt in browser.. Used it for a bit of data massaging after that... These days I'd need a JSON-SLT or such (no jq isn't really what I want either..)
<gchristensen>
the code is used for many things, not just docs
<simpson>
jq might not be what you want, but it could be what you need.
<simpson>
If you can't do it in 50 lines of jq, then I wonder how many lines of Python it'd take~
<andi->
JQs silent failing or producing empty results is what I dislike there
<andi->
but that can also be me not having wasted^Wspent enough time there
<samueldr>
gchristensen: though, I wasn't trying to imply anything with my idle jab; only playing on the formulation of "your first" xsl :)
<clever>
apple is claiming that used apple batteries are fakes, and having them seized at the border
<clever>
because the batter has the apple logo, and its a "knock-off"
<__monty__>
Wow
<__monty__>
Why do people just bend over and take it from big brands?
<simpson>
I don't know; it personally deeply confuses me that people purchase Apple.
<simpson>
(I say this while typing on my employer's Apple laptop. What a terrible, expensive experience.)
<__monty__>
Apple got popular when they went from having things "just work" to making fashion items.
<__monty__>
They give the people what they want.
<__monty__>
In a very literal sense.
<simpson>
You're spot-on; Apple's a fashion company.
<__monty__>
It's too bad because it's a decent-ish BSD.
<drakonis_>
rly not a pure bwd
<drakonis_>
bsd
<drakonis_>
its mach
<drakonis_>
mach with some bsd bits
<gchristensen>
clever: ouch.
<samueldr>
it was a decent unix (with compliance) and never really evolved in that matter :/
<clever>
ive said it before, your not paying for the hardware or software, your paying for the brand name
<samueldr>
true since a while, but for a while before it had something for it :(
<jasongrossman>
I wish I agreed that Apple was just a fashion company, because I really dislike them politically, but I can say a lot of very good things about their UX design.
<jasongrossman>
But it's OK, because this year is the year of the Linux desktop!
<gchristensen>
and their hw lasts a long time it seems
<samueldr>
and I don't think it's something that happened at a specific moment, but mostly gradually along the way
<gchristensen>
I still have two very useful laptops from 2013 and earlier
<jasongrossman>
(For anyone younger than me, that's a joke because people say that every year.)
<drakonis_>
jasongrossman: next year is
<andi->
jasongrossman: but this time it is true!
<drakonis_>
wine finally owns
<samueldr>
jasongrossman: but this year IS the year of the linux desktop
<jasongrossman>
gchristensen: I have um I've lost count but I think five MacBooks from 2012, and nothing more recent.
<jasongrossman>
drakonis_: Right.
<drakonis_>
Run all these games at full speed
<samueldr>
gchristensen: friend of mine has as IIRC 2015 era macbook, once the battery is toast the perfs go down the drain :(
<samueldr>
the moment you put back a working battery, it magically works right again
<gchristensen>
huh
<samueldr>
batteries you can't get anymore genuine parts
<samueldr>
(at least, he couldn't)
<samueldr>
(I probably got the year wrong)
<jasongrossman>
IMO, mid 2012 is the sweet spot for Apple laptops.
<__monty__>
I disagree about apple's UX. It used to be good now it's a shitshow. Add to that things like I couldn't get finder to connect to an nfs server earlier today and their updates regularly going spectacularly wrong for me lately. Upgrade the system, end up with an unbootable system...
<joepie91>
to be fair, *every* year is the year of the Linux desktop!
<jackdk>
it's certainly the year of linux on my desktops