gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
slack1256 has joined #nixos-chat
pinpox has joined #nixos-chat
rajivr has joined #nixos-chat
supersandro2000 has quit [Disconnected by services]
supersandro2000 has joined #nixos-chat
lunc has quit [Ping timeout: 245 seconds]
cole-h has quit [Ping timeout: 260 seconds]
abathur has quit [Ping timeout: 246 seconds]
abathur has joined #nixos-chat
evalexpr_ has joined #nixos-chat
evalexpr has quit [Remote host closed the connection]
Jackneill has quit [Ping timeout: 260 seconds]
Jackneill has joined #nixos-chat
<colemickens> built a brand new PC, finished it. The power button on the chassis is broken.
<colemickens> I now have no working desktop computers in my home.
<samueldr> F
<samueldr> time to make an impractical replacement for the power button?
<samueldr> and, let me guess, they'll RMA the full case rather than just the button
<colemickens> I have a hard time sticking up for myself sometimes. The button is not part of a replace-able part. I am not dragging this on a bus to return it.
<colemickens> So, we shall see.
<samueldr> oh, local purchase?
<samueldr> and yeah, transporting unwieldy things like that on public transport is not fun
<colemickens> I just have this strong feeling that I'm going to wind up spending an hour unbuilding this, an hour dragging it up the hill on a bus, another hour walking home, another week without a computer when they ship a new one...
<colemickens> The cost is more than I paid for it originally, frankly.
neeasade has joined #nixos-chat
kini has quit [Remote host closed the connection]
kini has joined #nixos-chat
slack1256 has quit [Remote host closed the connection]
slack1256 has joined #nixos-chat
slack1256 has quit [Remote host closed the connection]
slack1256 has joined #nixos-chat
<ashkitten> screwdriver
<ashkitten> oh, i was scrolled up
<samueldr> nah, that's a perfect swear word
mcornick has joined #nixos-chat
neeasade has quit [Ping timeout: 264 seconds]
Shados_ has quit [Quit: Shados_]
Shados has joined #nixos-chat
mcornick has quit [Quit: zzzzz]
slack1256 has quit [Remote host closed the connection]
<aaronjanse> Are most people here chatting via a terminal-based interface?
endformationage has quit [Quit: WeeChat 2.9]
<ldlework> I'm running nixos out of a clone of nixpkgs on the nixos-unstable branch. I just installed pytorchWithCuda and it's compiling it.. is this because I'm not using channels?
<colemickens> Is Cuda non-free? That would be the answer.
<ldlework> I see
<colemickens> Using a checkout of nixpkgs at a branch revision like nixos-unstable, etc, is effectively the same thing as being on the nixos-unstable channel.
waleee-cl has quit [Quit: Connection closed for inactivity]
neeasade has joined #nixos-chat
Jackneill has quit [Read error: Connection reset by peer]
Jackneill has joined #nixos-chat
cole-h has joined #nixos-chat
<eyJhb> Aww, yiiiiiisss! https://www.speedtest.net/result/11071481709.png with static IP and IPv6 /48 all for me! <3
<etu> eyJhb: so slow?
<ar> eh
cole-h has quit [Quit: Goodbye]
cole-h has joined #nixos-chat
<ldlework> i wonder if compiling cuda will take hours or days
__monty__ has joined #nixos-chat
pinpox has quit [Quit: The Lounge - https://thelounge.chat]
pinpox has joined #nixos-chat
cole-h has quit [Ping timeout: 246 seconds]
jackdk has quit []
jackdk has joined #nixos-chat
srhb has quit []
srhb has joined #nixos-chat
kmein has quit [Quit: ciao kakao]
crazazy has joined #nixos-chat
crazazy has quit [Quit: ERC (IRC client for Emacs 27.1)]
<lovesegfault> ,locate libcryptlib.so
<{^_^}> Couldn't find in any packages
LnL has quit [Ping timeout: 260 seconds]
slack1256 has joined #nixos-chat
hax404 has quit [Quit: WeeChat 2.9]
hax404 has joined #nixos-chat
puzzlewolf has quit [Quit: authenticating]
puzzlewolf has joined #nixos-chat
slack1256 has quit [Remote host closed the connection]
<eyJhb> ar: I somewhat hate asymetric up/down :p Not sure why
<eyJhb> Maybe because most here are like 25/3
<ar> eyJhb: i wouldn't mind more upload too, but the other isp options here are worse
<eyJhb> But you can download a LOT of research on that connection :p
<eyJhb> What do you pay for it?
<ar> 89pln (~20€), and that includes the extra 10pln i pay to have a static routable ipv4
<eyJhb> ar: that's quite manageable, can you get a full 1000/1000?
<ar> not from this isp
<eyJhb> I could get 100/100 for 20 EUR as well. This (200/200 + IPv4 static + IPv6/48 static) is 40 EUR
<eyJhb> 50 EUR for 1000/1000 w. the same as above
<ar> also, my current isp doesn't do ipv6 at all
<eyJhb> I chose this one specifically because they do IPv6
<eyJhb> But they are about the cheapest as well anyways. Except the "exclusive" deal we have out where I live, which is the 100/100 for 20 EUR. Which is not that normal to get
<ar> there's an isp here that does 1000/300, but they require you to use their router (cannot get just a dumb ONT from them, like i do with current isp), does both ipv4 and ipv6, but you cannot get static ipv4/ipv6 from them
<eyJhb> Ahh annoying.... A lot of cons
<eyJhb> But I guess IPv6 is a nice to have not need to have. We have one ISP here in DK that insits on not implementing IPv6 for its customers, because we have plenty of IPv4 IPs left
<ar> also, they're an asshole when it comes to exchanging internet traffic with them, which often means routes to geographically-nearby stuff often goes through frankfurt, germany (reminder that i live in poland)
<eyJhb> ar: Do you want to go throgh Russia instead? ;)
<ar> ;)
<eyJhb> Shady bastard ar ;) :p
<adisbladis> eyJhb: I remember etu saying something similar about a swedish isp
<adisbladis> "We have many ipv4 addresses left, no ipv6 support for you"
<adisbladis> Pretty much
<ar> adisbladis: the isp i'm with has no ipv4 left (meaning new customers unconditionally get put behind cgnat)
<eyJhb> adisbladis: This is also gold 'Vi har ikke nogen planer om at levere det, da der er for få hjemmesider der understøtter det i dag. '
<ar> adisbladis: and yet they still have no ipv6
<adisbladis> ar: "Yay"
<adisbladis> eyJhb: My home ISP in HK offered 10 gigabit to the home :P
<adisbladis> It was expensive AF, but you could get it
<adisbladis> And they had ipv6!
<leons> ar: I'm behind CGNAT, our ISP has been bought by Vodafone (used to be UPC/Unitymedia) who cancelled most peerings, and you cannot get a static v6 even in their business contracts, even though every customer gets a /56
<eyJhb> adisbladis: This! DanskNet "Privatkunder må vente, vi har ingen planer om IPv6, da vi har fint med kapacitet til at tildele IPv4-adresser længe endnu. Klar til erhverv."
<eyJhb> adisbladis: So... Well... I would rather go to Japan atm. with how it looks in HK. But it would be nice. Sounds awesome :D
<adisbladis> eyJhb: So stupid...
<eyJhb> need to upgrade my server however
<etu> eyJhb: I got my 1000/1000 for 100sek/month :p
<eyJhb> etu: Work?
<etu> eyJhb: Home.
<leons> The creepiest thing is, they have a Speedtetst which doesn't only test from your browser, but opens a UDP server on your modem for them to test to
<eyJhb> Home work?
<etu> Yes, but has nothing with work to do
<eyJhb> I meant, is it payed partially by work?
<eyJhb> Add
<adisbladis> eyJhb: It's pretty common in sweden for a HOA to collectively bargain and give some ISP exclusivity
<eyJhb> Ahh
<eyJhb> Cheap
<adisbladis> But that means it's dirt cheap
<eyJhb> I meant cheat, but the same
<adisbladis> My parents pay something similar
<eyJhb> > SEK 100
<{^_^}> "100 SEK (weakest of the Norse Brothers) = 71.000000 DKK"
<etu> :D
<eyJhb> Can we votekick people in here?
<adisbladis> > DKK 71
<{^_^}> "246015.710000 VND"
<eyJhb> ^ still hate you for that adisbladis
<etu> > VND 246015
<adisbladis> :D
<{^_^}> "9.348570 EUR"
<eyJhb> It is a long chain
<adisbladis> > EUR 9.348570
<{^_^}> "9.348570 EUR = 70.114275 DKK"
<eyJhb> :D
<adisbladis> Lol
<adisbladis> It loops!
<adisbladis> :D
<eyJhb> Full circle baby <3
<eyJhb> Everything ends up in DKK
<eyJhb> > USD 10
<{^_^}> "10 USD = 66.666667 DKK"
<etu> :D
<eyJhb> etu: Can you get the same kind of fiber at your maybe future place?
<eyJhb> (just in general)
<etu> eyJhb: Yeah, should be able to. Just need to find a place that fit my needs :)
<adisbladis> eyJhb: If you buy a villa that's not as cheap.
<adisbladis> Since you lack the power of collective bargaining
<etu> Indeed
<eyJhb> We need someone to push the prices down even further here in DK as well
<eyJhb> It should be like our phone companies. Those guys are fucked
<etu> This housing association is like 170+ appartments, so when they went to an ISP and said: "we want cheap internet" they were very happy and provided a deal ;)
<adisbladis> I think "stadsnät" is conceptually a great idea, but it still doesn't seem to work out to reduce prices
<eyJhb> Our deal is shit compared to that
<eyJhb> Any static IP etu ? IPv6?
<eyJhb> adisbladis: Not sure what it is based on the website :(
<etu> eyJhb: I think it's kinda static, they provided me with my IPv4 like weeks before activation. But no IPv6. Haven't asked yet though.
<eyJhb> etu: Might not make sense to ask if you don't really need it, just nice to have
<eyJhb> I can't find the painkillers I packed.. And I would really enjoy some as of now. My neck is killing me
<adisbladis> eyJhb: It's basically: Some government owned thing is responsible for building the physical infrastructure (fiber, edge switches etc) and then private ISPs can freely sell you an internet connection within that framework
<adisbladis> As opposed to every ISP having to build separate infra
<adisbladis> The worst I've seen in terms of broadband in the western world is London... It's both shitty _and_ expensive!
<adisbladis> There is like one decent ISP, but you're lucky to live in a house that they actually serve
<adisbladis> HK was semi-expensive but at least the service was good
<__monty__> Isn't everything in London expensive, no matter how subpar?
<adisbladis> __monty__: Good point :P
<__monty__> Maybe WiMax should be resurrected for such super dense cities.
<__monty__> Oh, or one of the cool mesh networking projects, like Spain has.
<adisbladis> __monty__: That sounds suboptimal compared to municipal broadband
<pie_> isnt density bad for wifi interference
<adisbladis> Yeah
<__monty__> Mesh doesn't imply WiFi.
<adisbladis> But it's the UK... So you can't expect things to get better exactly :P
<__monty__> And WiMax solves the interference problem with big, expensive antenas I guess.
<adisbladis> etu: When I had ownit I emailed them and got a static IP assigned without any issues
<adisbladis> By default it's dynamic iirc
<adisbladis> pie_: Lol that fan attachment looks dumb :P
<etu> adisbladis: It's probably "static enough" for me :)
<adisbladis> Overall a 10/10 ISP :)
<pie_> adisbladis: yeah where are the LEDs
cosimone has joined #nixos-chat
<adisbladis> Do you even RGB brah
aminechikhaoui8 has joined #nixos-chat
liebach has quit [Ping timeout: 258 seconds]
mog- has joined #nixos-chat
liebach has joined #nixos-chat
kraem1 has joined #nixos-chat
Dotz0cat has joined #nixos-chat
spudly- has joined #nixos-chat
spudly- has joined #nixos-chat
spudly- has quit [Changing host]
matthewcroughan_ has joined #nixos-chat
mog has quit [Ping timeout: 256 seconds]
Dotz0cat_ has quit [Ping timeout: 256 seconds]
kraem has quit [Ping timeout: 256 seconds]
aminechikhaoui has quit [Ping timeout: 256 seconds]
spudly has quit [Ping timeout: 256 seconds]
hyperfekt has quit [Ping timeout: 256 seconds]
matthewcroughan has quit [Ping timeout: 256 seconds]
judson has quit [Ping timeout: 256 seconds]
aminechikhaoui8 is now known as aminechikhaoui
mog- is now known as mog
hyperfekt_ has joined #nixos-chat
spudly- is now known as spudly
judson has joined #nixos-chat
hyperfekt_ has quit [Max SendQ exceeded]
hyperfekt has joined #nixos-chat
<f0x> compiled my first rust thing from nixos :)
<f0x> so i can run synapse-compress-state from my beefiest machine
rj has joined #nixos-chat
__monty__ has quit [Quit: leaving]
NinjaTrappeur has quit [Ping timeout: 272 seconds]
NinjaTrappeur has joined #nixos-chat
lunc has joined #nixos-chat
<joepie91> the grahams are multiplying!
<joepie91> I mean, after OVH burning down, and youtube breaking the space bar for everyone, this seems to fit in the theme
<joepie91> oh, and the microsoft vulns
<joepie91> it's just One Of Those Weeks
cosimone has quit [Quit: cosimone]
awaxa has quit [Quit: Idle for 30+ days]
waleee-cl has joined #nixos-chat
lunc has quit [Ping timeout: 256 seconds]
<pie_> hold my graham, ive got this
<drakonis> graham crackers?
endformationage has joined #nixos-chat
infinisi1 is now known as infinisil
<gchristensen> lol
<pie_> graham chrackersen
<pie_> im sorry youve probably been hearing that joke since elementary school
<pie_> if not, you need punnier friends
<gchristensen> lol
<pie_> this girl i was talking to yesterday was not ... how do you say this in english. I need some idiom books :P
<pie_> wasnt gettin my puns
<pie_> :(
<pie_> <x> >We now offer an unlimited, perpetual enterprise license that has been reduced from 15,000 EURO to 3,750 USD.
<pie_> </totallyrandom>
<pie_> anyone want to do some photogrammetry
<ashkitten> pie_: (re: asus phone) i think it's really silly that the specs on these phones keeps going up and up but the capability to actually run anything interesting doesn't because they're stuck with android
<pie_> :)
<pie_> hm could run a couple VMs with 18 gig
<pie_> maybe a firefox session
<pie_> someting very strange about firefox on android, either theres a bug where inacctive tabs get lost (im just making this up) or its actually able to suspend or unload or whatever tabs without still taking a boatoad of ram
<pie_> and i wonder why that isnt the case for desktop
rajivr has quit [Quit: Connection closed for inactivity]
cole-h has joined #nixos-chat
<ashkitten> pie_: probably because desktop is expected to be more interactive
<ar> pie_: it's a bit annoying at times, but otherwise does wonders
<samueldr> ashkitten: for their "gaming" market, it totally makes sense: use that dual screen attachment, run a big game, run twitch, youtube, and a streaming app
<samueldr> because yes, people do do that
<ashkitten> are there a lot of heavy games for phones?
<samueldr> apparently
<samueldr> but really, the 18GB variant is a vanity thing
<samueldr> the 8~12GB are those that are going to end up selling
<ashkitten> i figured the phone gaming market would be pretty lightweight because they have to account for the low end phones too
<ashkitten> that's how it used to be anyways
<samueldr> AFAIUI there's a divide in occidental an oriental markets for that
<ashkitten> and yeah i would contend that there are exactly zero use cases for 18GB RAM in a phone
<samueldr> yet!
<samueldr> ROG phone has type-c eDP
<samueldr> at least, all the previous ones beforehand did
<ashkitten> i very rarely use that much ram in my *desktop*
<samueldr> but yes, 18GB is a lot, for now
<ashkitten> i can't imagine what possible use case it would have before that phone is obsolute :/
<ashkitten> obsolete
<gchristensen> I wish my computer had 18g
<ashkitten> clearly it's a phone made for building firefox on mobile-nixos
<ashkitten> overkill heatsink and everything
<samueldr> yes!
<samueldr> now you're thinking with Mobile NixOS
<samueldr> really, what I hope is that an ROG phone phone (maybe even those from before) will end up going for cheap on ebay
<samueldr> because they have always been interesting hardware
<samueldr> even the first one, which wasn't really that much interesting
<elvishjerricco> As overkill as that ROG phone is, the tech in it is really cool. Like it's got a really smart cooling system so that new 888 can just run forever and only get throttled like 10%. Apparently its display does a number of things way better than other 144hz displays. But yea, the RAM is kinda dumb
<elvishjerricco> I don't know how big the gaming market is, but you could probably build something to use it like a nintendo switch and it'd probably be way more capable. Just need the games
<samueldr> yes, I really see the ROG phone as asus's "let's try new design concepts" phone
<samueldr> and they're able to go a bit more wild because it's "niche"
<pie_> ar: i think i did use that before i made a new session
<samueldr> but it must not be *that* niche since they're now selling three different models, with each different variants for ram
<pie_> huh <samueldr> AFAIUI there's a divide in occidental an oriental markets for that
<pie_> tbf i think i have heard things about asians and phone as primary
<elvishjerricco> It almost makes me want "your phone is your nintendo switch" to take off
<pie_> :D <samueldr> now you're thinking with Mobile NixOS
<pie_> mobile spectrumos
<samueldr> it is unknown if kvm works on the snapdragon 888
<samueldr> supposedly recent android phones will have kvm working for a feature I don't remember
<samueldr> maybe the 888 lineage of devices is recent enouhg
<samueldr> enough*
<elvishjerricco> I didn't even know arm had a virtualization standard until someone told me the M1 uses exactly that, and so does the A14 for some reason
<samueldr> and, remember: that ROG phone can output to a display using the eDP port!!
<samueldr> the type-c port**
<samueldr> elvishjerricco: the mediatek phones I have around have /dev/kvm going
<samueldr> and then all the aarch64 SBCs I have, do too
<samueldr> really, only consumer grade qualcomm hardware does not
<samueldr> they actually do, but it's being disabled early at boot
<elvishjerricco> Cool. Glad Apple actually stuck to a standard for once...
<samueldr> if you have a boot chain exploit for consumer qualcomm hardware you can boot a modified firmware
<ashkitten> <3 pulseeffects
<pie_> i only know virtualization on phone is a thing because i was like
<pie_> hm
<pie_> what if qubes/spectrum but phone
rj has quit [Ping timeout: 268 seconds]
<samueldr> yeah, won't happen on most existing qualcomm phones people here would already have
<samueldr> :(
<ar> samueldr: one of the early bootloader stages disables virtualization?
<samueldr> yes
<samueldr> from before user has any control
<samueldr> it's before aboot or ABL is started IIRC
<pie_> but y tho
<samueldr> market segmentation
<samueldr> the virtualization feature was sold only for server use
<samueldr> and look how that worked well!
disasm has quit [Ping timeout: 272 seconds]
disasm has joined #nixos-chat
Fare has joined #nixos-chat
rj has joined #nixos-chat
<lovesegfault> andi-++
<{^_^}> andi-'s karma got increased to 59
<pie_> samueldr: how did that work well
<pie_> arm servers?
<pie_> so i dont get it. is this like, a thing where they agree that the vendors will lock the virtualization feature in software and then get the processors for cheaper, or what?
<samueldr> pie_: Qualcomm ARM servers!
<samueldr> all of them!
<samueldr> basically, it didn't help
<pie_> if they didnt want to do different silicon revisions couldnt they just have burned some fuse for the virtualization component or something
<pie_> oh you mean qualcomm, not arm
<samueldr> yeah
<samueldr> I don't even think anyone "agreed" to i
<samueldr> to it*
<samueldr> qualcomm just does it
<pie_> but....theyre different markets anyway
<samueldr> the CPU you get has virtualization support, but is disabled in software
<pie_> (???)
<samueldr> it's not an option
<pie_> the question marks were at my sentence
<samueldr> yeah
<samueldr> it does not make sense really
<samueldr> it's just what they did
<pie_> ok
<pie_> so hows the firmware mods going? :P
<samueldr> not involved in any of that
<pie_> i could imagine setting up virtualization actually needs extra software setup or something
<pie_> do the processors even really support it properly in silocon? maybe its just not done
<pie_> well then again, you did just say<samueldr> pie_: Qualcomm ARM servers!
<samueldr> well, that existed, with virtualization
<samueldr> for what I know has been verified on one device, kvm would work if it wasn't disabled
<pie_> aha
<pie_> big sigh in any case
<samueldr> yes
rj has quit [Ping timeout: 268 seconds]
rj has joined #nixos-chat
Fare has quit [Ping timeout: 264 seconds]
rj has quit [Ping timeout: 268 seconds]
rj has joined #nixos-chat
Fare has joined #nixos-chat
rj has quit [Ping timeout: 268 seconds]
rj has joined #nixos-chat
slack1256 has joined #nixos-chat
rj has quit [Ping timeout: 268 seconds]
<pie_> today on internet drama
<pie_> ​🐦<HackingDave> Wow, I am completely speechless here. ␤ ␤ Microsoft really did remove the PoC code from Github. ␤ ␤ This is huge, removing a security researchers code from GitHub against their own product and which has already been patched. ␤ ␤ This is not good. <vice.com/en/article/n7v… https://t.co/yqO7sebCSU> <puck.moe/t/aeq9l5p9ktms>
rj has joined #nixos-chat
tokudan_ has quit [Remote host closed the connection]
tokudan has joined #nixos-chat
<joepie91> ah, so it's been confirmed
<joepie91> madness
tokudan has quit [Remote host closed the connection]
tokudan has joined #nixos-chat
<pie_> no this is...no im not gonna do it
<joepie91> lol
<supersandro2000> I think I almost mirrored that repo
<supersandro2000> left the tab open for an hour and then it was DMCAd
rj has quit [Ping timeout: 268 seconds]
rj has joined #nixos-chat
Fare has quit [Remote host closed the connection]
<pie_> time to start mirroring infosec github now that there is a precedent :P
<pie_> any relation to enterprise deployments needing to update?
<pie_> (dunno if thats even relevant)
<supersandro2000> not the first time
<supersandro2000> it is often tried by companies to get some exploit of twitter with copyrighjt