gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
rj has quit [Ping timeout: 268 seconds]
lunc has quit []
rj has joined #nixos-chat
srk has quit [Remote host closed the connection]
srk has joined #nixos-chat
supersandro2000 has quit [Disconnected by services]
supersandro2000 has joined #nixos-chat
rajivr has joined #nixos-chat
rj has quit [Ping timeout: 268 seconds]
rj has joined #nixos-chat
<infinisil> o/
<infinisil> Oh, everybody is already asleep
<ajs124> infinisil: no u
<infinisil> Ayy :D
<infinisil> This ramen I just had, oh it was so good
<infinisil> Just the right amount of spice
<infinisil> And very tasty
<ajs124> uh, oh. sounds nice.
<infinisil> It's called AnSungTangMyun
<waleee-cl> sounds burmese
<ajs124> If I didn't have enough instant ramen to survive weeks on, I might order that
<ajs124> apparently it's korean
<gchristensen> I spent 2 hours today trying to find a place to buy pig trotters to make my own ramen broth :(
<infinisil> ajs124: Lol nice, what kinds you got?
<infinisil> gchristensen: Ohh I once did that too, cooking my own ramen broth
<infinisil> And had the same problem
<gchristensen> was it amazing?
<infinisil> gchristensen: Well, I messed up the recipe a bit, there was too much oil, and too much of the green sheet things
<gchristensen> ahh
<infinisil> And the cooking was so exhausting that I couldn't even enjoy the meal properly xD
<infinisil> But other than that it was pretty good :)
<ajs124> infinisil: it's actually mostly not ramen. I have two different kinds of nissin soba, indomie mi goreng and samyang something
<ajs124> Also, I'm a vegetarian, which reduces the choices quite a bit
<infinisil> Oh yeah I can imagine, I only know of one veggie ramen
<infinisil> But yeah, I recently got onto soba too, it's damn good
<infinisil> I'm debating what I like more now, ramen or soba
<ajs124> funnily enough, a bunch of chicken flavored ramen is actually vegetarian
<infinisil> Huh, how?
<infinisil> Do they bathe the chicken or?
<ajs124> they just don't put any chicken in there ^^
<infinisil> ajs124: Well, but like where does the flavor come from
<ajs124> probably same as cheap fake pizza chesse
<ajs124> magic
<infinisil> Well then!
rj has quit [Ping timeout: 268 seconds]
<ajs124> to quote amazon.de "künstlicher Huhn Geschmack"
<infinisil> Nice
<infinisil> for the non-germans: "artificial chicken flavor"
<infinisil> And for the british: "artificial chicken flavour"
<aanderse> oh gee are you talking about ramen again?
<infinisil> Ayy!
rj has joined #nixos-chat
<infinisil> aanderse: What's some of your favorite foods?
<aanderse> my kid was sick the other day and my wife made some for him
<aanderse> it was instant, but whatever, it worked
<aanderse> after you were talking about it last week... obviously i had to have some too :P
<aanderse> infinisil: oh boy... i'm a foodie, so how long do you have? :P
<infinisil> aanderse: Oh nice, I see you like it too then!
<aanderse> i'm a big ramen fan, but i rarely eat it
<aanderse> :(
<infinisil> aanderse: I have all night, until I go to sleep :)
<ajs124> food talk makes me want to eat. I have a bunch of leftover potatoe pancakes (?), that I could eat. hm.
<infinisil> Lol, potato pancakes
<infinisil> I think I know what you mean, but that term is lol
<aanderse> i get nabe way more often than ramen, which works out fine because nabe is delicious
<ajs124> "Potato pancakes are associated with various European cuisines, including German and Austrian (as Kartoffelpuffer, Reibekuchen, Reiberdatschi, Erdäpfelpuffer and Erdäpfellaibchen)"
<infinisil> aanderse: Ohh, what's all in there?
<aanderse> with nabe you just throw whatever in
<infinisil> ajs124: Or Rösti in switzerland :P
<aanderse> various japanese mushrooms work well, tofu is awesome in it, thin sliced pork, i love when there is kimchi in it, cabbage is really common
<infinisil> Ah neat, so are there no noodles in it?
<aanderse> i think its common enough to put shiritaki noodles in it
<infinisil> That does sound pretty good
<gchristensen> maybe you have a favorite recipe to start with, aanderse? :)
<aanderse> ha ha ha
<aanderse> when it comes to japanese soups a miso based broth is where i always like to start
<aanderse> well... where my wife always likes to start
<aanderse> and i encourage her :P
<gchristensen> I desperately need to expand my repertoire to include more interesting cuisine
<infinisil> Same
<infinisil> Though actually I don't really want to spend a lot of time cooking
* aanderse is wishing pandemic was over and it was time for a vacation -_-
<aanderse> a delicious vacation
* infinisil agrees
patagonicus5 has joined #nixos-chat
rj has quit [Ping timeout: 268 seconds]
<lovesegfault> Woohoo new PC with custom loop up and running
<lovesegfault> now to remember how to generate the minimal ISO from nixos-unstable
patagonicus has quit [Ping timeout: 246 seconds]
Emantor has quit [Quit: ZNC - http://znc.in]
Emantor has joined #nixos-chat
<infinisil> lovesegfault: Loop?
<lovesegfault> infinisil: water cooling loop
<infinisil> Ahh
<gchristensen> aanderse: you're killing me
<infinisil> In switzerland, they're doing this thing where only if a number of conditions are satisfied, the covid restrictions are weakened
<infinisil> That is, a maximum number of new cases in the last 14 days, a maximum positive rate of tests in the last 7 days (average), a maximum R value, and a maximum number of ICU's used
<infinisil> Only if all 4 are satisfied, the restrictions are weakened. Currently only 1/4 is satisfied though :/
<infinisil> I like this idea though
<gchristensen> i like that the conditions are clear
<gchristensen> vs. here which are, like, whatever they feel like
<infinisil> Yea
Dotz0cat has quit [Ping timeout: 246 seconds]
Dotz0cat has joined #nixos-chat
<gchristensen> it is annoying that gray/grey is a thing
<aleph-> Alright I'm tabling this go-wireguard stuff till I can crib my mates code.
* aleph- is done with IPC error codes
* aleph- doesn't recommend them
cole-h has joined #nixos-chat
<cole-h> lovesegfault: If you're still wondering how to generate a minimal ISO...
<cole-h> basically just `imports = [ (modulesPath + "/installer/cd-dvd/installation-cd-minimal.nix") ];`
<lovesegfault> cole-h: working on nix copying to my new system :D
<lovesegfault> almost done, I think
<lovesegfault> just need to figure out how to `nix copy` to an ipv6 address
<aaronjanse> > nix copy
<aaronjanse> o.O TIL that exists
<{^_^}> undefined variable 'copy' at (string):489:5
<aaronjanse> If you copy a system closure, does that mean you can just run nixos-rebuild or whatever to have NixOS installed?
<lovesegfault> yup
<lovesegfault> I never use `nixos-rebuild` though, I just manually edit the profile and then run the activation bin
<lovesegfault> (when bootstrapping)
<aaronjanse> Woah
<cole-h> edgy
<Mic92> clever: merge what?
<Mic92> clever: ah. Now I saw it.
endformationage has quit [Quit: WeeChat 2.9]
slack1256 has joined #nixos-chat
sparogy has quit [Quit: issued !quit command]
<lovesegfault> ayooo
<lovesegfault> new system
cole-h has quit [Ping timeout: 276 seconds]
slack1256 has quit [Read error: Connection reset by peer]
slac36247 has joined #nixos-chat
<aaronjanse> lovesegfault are there any online resources I can read to try to do this myself? I'm trying to install NixOS on a Debian machine (without physical access) and `nix copy` sounds like a fun way to do so
<lovesegfault> aaronjanse: What do you mean "install NixOS on a Debian machine"?
<lovesegfault> Idk of any resources, but I'd be happy to help you figure things out :)
<clever> aaronjanse: if you follow these directions, youll get nixos running from a ramdisk, then you can just format and nixos-install as normal
waleee-cl has quit [Quit: Connection closed for inactivity]
<aaronjanse> <lovesegfault "Idk of any resources, but I'd be"> That would be awesome
<aaronjanse> Whoa, very cool. Thank you for that link clever!
<aaronjanse> I'm installing NixOS onto a personal VM hosted by a server infra club at my uni
<aaronjanse> Wow that entire repo is cool
<aaronjanse> That kexec session markdown file is super concise. I love it
<lovesegfault> might have some useful stuff too
slac36247 is now known as slack1256
slack1256 has quit [Remote host closed the connection]
<aaronjanse> Ooh, how's Wayland? I briefly tried it around Christmas. Maybe I should try it again once VSCode supports Wayland natively
<lovesegfault> I've been using wayland for years and really enjoy it :)
<lovesegfault> it's only gotten better
<lovesegfault> the only thing that sucks is you cant' screenshare with zoom
<aaronjanse> You can :-)
<aaronjanse> I did it for my classes while using Wayland
<aaronjanse> But it was a bit of a PITA
<lovesegfault> How'd you do it?
<lovesegfault> using Gnome/mutter doesn't count :P
<aaronjanse> Yeah I think I did something like that. I had a command piping a view of the desktop to a virtual camera in Zoom understands
<lovesegfault> Ah, I've done that too
<lovesegfault> but the quality sucks ass
<aaronjanse> It's not the best
<aaronjanse> Yeah
<ar> i've tried screensharing in chrome under sway, and it did let me share individual windows. though it might be the case that all of the apps i had running were running under xwayland
patagonicus5 is now known as patagonicus
patagonicus has quit [Quit: The Lounge - https://thelounge.chat]
<lovesegfault> God, I really love having 16 cores
<Ke> why must program A have native support, xwayland seems to just work
patagonicus has joined #nixos-chat
<aaronjanse> Hmm, xwayland was blurry for me when using screen scaling (I have a hidpi display). Are you using Ubuntu's patches to make scaling work with xwayland?
<Ke> I have been running sway for a while, no regrets
<ar> lovesegfault: yeah, i wouldn't think that i'd notice it going from 8 cores, but it's more noticable than i thought
<ar> also, i have a problem with sway in that menus for kde apps, for example kate, are rendering way off from where they should be
<Ke> I use native resolution
<ar> i don't use scaling, but i have multiple monitors and my main one doesn't start at 0,0
<ar> instead it's at 0,818; because the monitor next to it is in portrait, and the top edge of the main one is physically below the top edge of the other one
<aaronjanse> lovesegfault: Last year I moved from 8 to 12 cores, and it's amazing. It lets me actually use my laptop while still doing stuff. Sadly my XPS has been annoying in almost every other way (my keyboard is falling apart, the fan has been replaced and is already whining again, and my display flickers & glitches unless I install kernel patches I found on the internet)
<siraben> I am still on 2 cores heh
<aaronjanse> Ah, I'd definitely be on Wayland if I didn't need scaling
<ar> aaronjanse: wait, you have 12 cores in a laptop?
<aaronjanse> <Ke "I have been running sway for a w"> Sway is so snappy. It's awesome
<aaronjanse> <ar "aaronjanse: wait, you have 12 co"> Wait no
<siraben> sway is great
<aaronjanse> 6 cores, I misspoke
<aaronjanse> I went from 8 to 12 threads
<siraben> aaronjanse: nitpick but matrix replies don't show up well for IRC people
<siraben> oh i see
<ar> also, in december i moved from having 2 cores to 8 cores in laptop
<aaronjanse> 16 cores sounds amazing
<siraben> ar: big improvement?
<ar> siraben: web browsers are finally usable
<siraben> the most intensive tasks I run honestly are nix builds
<lovesegfault> 5950x goes zoom zoom
<aaronjanse> siraben: Thank you for the heads up. I've tried using a right caret for quoting, but Nix's IRC bots don't like that. Should I just not quote when responding?
<siraben> aaronjanse: i'm also bridged via matrix but I mention people like this
<siraben> I think people can usually infer what you are replying to
<siraben> ar: they're unusable? heh
<siraben> i do have aggressive ublock settings
<siraben> ublock origin*
<siraben> and generally avoid webapps
<ar> the old laptop (with i7-6500U) was just barely enough. new laptop, with 4750U, feels as fast as my old desktop (2700X). new desktop (5950X) feels faster still
<aaronjanse> In defense of web browsers, they make it really easy to open a ton of tabs, which ofc would use a lot of resources
<aaronjanse> I'm frustrated by some of my uni's websites using lots of energy when idle
<lovesegfault> ,locate pkgconf
<siraben> mine is the MacBookPro11,1 model https://support.apple.com/en-us/HT201300
<{^_^}> Found in packages: pkgconf, pkgconf-unwrapped, pkgconf-unwrapped.dev, pkgconf-unwrapped.doc
<ar> aaronjanse: do you need those tabs to actually stay active?
<siraben> replaced the battery in the summer of 2020 since it exceeded 1.1K cycles
<aaronjanse> :O What does ,locate do? Does it find binaries?
<siraben> aaronjanse: i use an auto suspender
<aaronjanse> Ooooh
<siraben> "Auto Tab Discard" extension for firefox
<siraben> yeah that one
<aaronjanse> I used that for a few days and had a great experience
<aaronjanse> I'll try it again
<aaronjanse> Oh fun fact
<siraben> fortunately the fact that my uni's course registration sites etc. are written with like pre 2010 javascript means it isn't bloated
<siraben> and still functional
<siraben> but Brightspace is a bit annoying sometimes
<siraben> AKA Canvas
<siraben> aaronjanse: what laptop are you using?
<aaronjanse> The FAFSA (the way usa students get crippling debt via student loans from gov't) had a CORS issue, so the actual submit button was broken on both Chrome and Firefox. The only way I could get the loan I needed this year was by launching Firefox with a special cli flag
<siraben> does anyone know if NixOS can run on Macs with T2 chips and later? I think I have one of the last models pre T2
<siraben> yikes
<siraben> govt online infrastructure is... interesting
<siraben> "Busiest hour ever in the history of Gov.uk 17M page requests just 21 5xx errors"
<aaronjanse> I *love* the form factor and performance. But as I'm typing, the `i` key falls off if I press the bottom half and my screen is flickering because I'm running nixos-rebuild
<siraben> I was eyeing a Dell XPS 13
<siraben> Heard good things about linux compat
<siraben> there's so many laptops that are interesting like the purism line, KDE Slimbook, http://frame.work/
<aaronjanse> I bought this laptop directly from Dell with Ubuntu pre-installed
<aaronjanse> The pre-installed Ubuntu had fantastic support for my laptop
<siraben> nice but ubuntu 🤮
<siraben> Yeah
<aaronjanse> But when installing anything else, the hardware support has been worse than it was for my 2016 macbook pro
<siraben> speaking of performance and so on, I should move to a more lightweight Matrix client
<siraben> than using the Element electron app
<aaronjanse> My display requires kernel patches to be usable (otherwise it just turns black while in use, requiring a reboot)
<aaronjanse> Eyyy I was thinking the same thing
<siraben> aaronjanse: was your 2016 MBP pre T2?
<aaronjanse> I wanted to ask
<siraben> so could have linux and so on
<aaronjanse> I think so
<infinisil> siraben: What announcement was that?
<siraben> but i haven't set it up yet
<aaronjanse> Also siraben which Matrix clients are you considering? I've had a good experience with Nheko (it supports cross-signing), but it looks a little ugly
<Ke> I am using weechat-matrix, it's kind of bad, but works if you don't do a lot of e2e
<siraben> infinisil: that was one of the gov.uk engineers I think regarding how they handled a huge spike in traffic
<Ke> there is e2e support, but it's not perfect
<aaronjanse> "(though some features like cross-signing and session unwedging are unimplemented" Awww
<infinisil> siraben: Yeah, but like, what caused the spike
<infinisil> He talks about "an announcment"
<aaronjanse> ^
<siraben> infinisil: boris' annoucement
<Ke> also weechat-matrix drops messages, if your connection to homeserver is lost, but you get error for that
<siraben> wow that was jan 4? jeez
<siraben> oh 2021
<siraben> I was thinking the UK was really early to the game
<aaronjanse> Ahaha
<infinisil> Hah, siraben still in 2020
<aaronjanse> My uni said something about paperwork?
<aaronjanse> Paper's just a metaphor, right?
<aaronjanse> I thought Berkeley was just a website?
<aaronjanse> I'll go to IRL school one day...
<siraben> have you not had in person classes yet?
<aaronjanse> Nope
<siraben> oh wow
<siraben> are cali schools not reopening?
<aaronjanse> I haven't had in-person classes since the middle of senior year in high school
<siraben> Emil Karlson: I see, I don't think I have a lot of e2e
<siraben> who am I kidding I should be using https://github.com/alphapapa/matrix-client.el since I use Emacs
<aaronjanse> siraben: Some students are allowed on campus, but classes are still all virtual
<aaronjanse> Oh no the Emacs rabbit hole
<siraben> i see
<aaronjanse> I spent ~10 hours last week reading about Emacs
<siraben> I was in person up to march 2020 and have been in Thailand since (intl student)
<siraben> likely would return in august
<aaronjanse> Ah
<siraben> but things are hybrid over there
<siraben> ok I downloaded nheko before but had trouble logging in
<siraben> it directs me to an SSO page
<siraben> "paperwork" = PDF these days
<aaronjanse> Ohh. Enter in your password first then do the usernape :P
<aaronjanse> *username. There's a pinned issue to fix the SSO thing
<siraben> aaronjanse: noo it still gives me sso
<siraben> maybe homebrew gives an older version
<aaronjanse> > Alternatively you can enter your password first, then your userid and click the loginbutton with the mouse
<{^_^}> error: syntax error, unexpected ',', expecting ')', at (string):489:48
<aaronjanse> Oh sorry
<aaronjanse> I forgot quoting doesn't work
<aaronjanse> Nheko is worth the login jankiness
<aaronjanse> It's the most complete non-Electron client I've found
<Ke> nheko never worked for me
<Ke> like crashed typically very early, now just fails to init secret store
<aaronjanse> Oh no
<Ke> probably, because I don't have gnome-keyring or similar
<Ke> it should support plain text store though
<aaronjanse> Yeah
<aaronjanse> siraben: I assume you use emacs with proportional font etc support?
<siraben> aaronjanse: I use the GUI if that's what you mean
<siraben> i use monospace though
<aaronjanse> Ah got it
<aaronjanse> Yeah
<aaronjanse> I've been debating if I should try a terminal-only workflow with something like Kakoune, but tbh I don't see a benefit of limiting myself to terminal
<aaronjanse> (I'm comfortable in Vim, so I can edit configs on remote servers etc, but I generally prefer sshfs with vscode)
<siraben> Emacs is definitely text-oriented, and if I had to use it in the terminal I could
<siraben> but GUI is a lot better visually
<Ke> sshfs and not gvfs?
<siraben> emacs TRAMP mode FTW
<aaronjanse> Would gvfs be faster? Emil Karlson
<Ke> perhaps not, but more convenient
<siraben> aaronjanse: I assume you're studying CS?
<Ke> well, unless your setup is very static
<aaronjanse> Gvfs looks super cool. I think I'll try that
<aaronjanse> (side note, my dotfiles are at https://github.com/aaronjanse/dotfiles, if anyone's curious)
<siraben> omg Nix flake <3
<aaronjanse> siraben: Yep! I'm a freshman
<siraben> plugging mine then: https://github.com/siraben/dotfiles
<siraben> fancy
<aaronjanse> Hehe Nix flakes have made things so much easier
<aaronjanse> I no longer have to mess with channels etc. My flake also evaluates much faster in some scenarios
<siraben> yeah I've been using it in all my projects
<siraben> but haven't flakified my dotfiles yet
<siraben> I should figure out how to do that with HM
<aaronjanse> I've also moved to using wrappers for everything instead of home-manager. It's made evaluation faster and it's been easier to install my dotfiles than it was with HM
<aaronjanse> Ah
<siraben> Since I need HM config for macOS and NixOS
<aaronjanse> I wanna figure out HM for user systemd units on a flake-based system
<aaronjanse> Yeah
<aaronjanse> siraben: If you just need a declarative list of packages, you can do that with `buildEnv` and `nix profile`. But I assume you also want home-manager's dotfiles and services
<siraben> aaronjanse: had no idea you were involved in Redox!
<siraben> so you worked on the cross-compilation work, nice.
<siraben> I wish that infra were better documented, I haven't put the time to explain how to add new targets and so on yet
<aaronjanse> Hehe, it's been super fun
<siraben> but MMIX and reMarkable 1/2 support is there
<aaronjanse> OOH
<aaronjanse> Oh shoot, I kinda want a reMarkable 2
<siraben> I have the reMarkable 1, especially for math it's so useful
<aaronjanse> Ha, I was thinking the same thing (math)
<siraben> taking notes in CS is tricky because how do you copy code lol
<siraben> nice to ssh into it and do random stuff like install Nix heh
<aaronjanse> I've tried taking math notes in LaTeX/markdown/etc. It's fun to make jupyter notebooks and stuff but I get almost zero value from it, and it can be tedious. I think I'd gain a lot more from something like a reMarkable
<aaronjanse> How's the reMarkable for reading PDFs?
<siraben> aaronjanse: pretty good, I've read more books and papers because of it
<siraben> before, I kid you not, I used to print out stuff >.<
<siraben> i have the entire emacs manual printed :P
<siraben> (and read all of it)
<aaronjanse> Wow!
<siraben> contrast is lower than real paper
<siraben> it's like newspaper gray
<aaronjanse> Awww
<siraben> so you'll need to read with more lighting
<siraben> which tbh isn't really a problem
<aaronjanse> Does it not have a backlight?
<siraben> no
<siraben> e-ink
<aaronjanse> Hmm some e-ink displays have backlight
<aaronjanse> But that's okay
<siraben> since it's e-ink it doesn't consume power when suspended
<siraben> so get that ambient headlines
<aaronjanse> Ooooooh
<aaronjanse> Okay, I'll be back in a few. I'm reading about reMarkable
<siraben> once I finally grokked flakes it was definitely worth it than ad-hoc structuring of projects (do I make it an overlay, an attrset of packages, a single package? etc.)
<siraben> The finally improved CLI docs tipped me over
<aaronjanse> Same here
<aaronjanse> I've also recently started using direnv with flakes. It lets me get `cd` into a directory and immediately have the flake develop loaded (in my zsh shell). And I have the vscode addon so I can `code /path/to/python/project` and get working LSP, linting, etc (which wouldn't work without the dependencies being visible to vscode via the flake)
<aaronjanse> I can also now add personal packages' flakes to my NixOS config and easily bump versions. This is helping me dogfood some projects and actually use some utilities I've built for myself (e.g. a fuzzy-search bookmarks tool)
<aaronjanse> siraben: It looks like the remarkable mostly keeps up with pencil movement when writing normally? Wow
<lovesegfault> man, it's pretty amazing how fast these new CPUs are
__monty__ has joined #nixos-chat
<siraben> aaronjanse: pretty much, the rM2 has even lower latency
<siraben> yeah direnv is great, I used it with niv before flakes
<siraben> lovesegfault: which CPU?
<lovesegfault> siraben: ryzen 5950x
<siraben> lovesegfault: ah cool
<siraben> aaronjanse: have you drank the FP kool aid yet?
<siraben> oh just realized what time it is over there, perhaps some other day heh
<lovesegfault> ,locate libcrypto.so.1.0.0
<{^_^}> Found in packages: robomongo
<aaronjanse> Ahaha no worries siraben. I'm sleepy but not asleep yet :P
<siraben> aaronjanse: how did you get into Nix as a high schooler?
<aaronjanse> Gosh, that's a tough question. I'll need a few minutes to think
<aaronjanse> Around junior year, after using Arch Linux for 6 months, I was frustrated by imperatively needing to patch small things. NixOS let me just define things once then re-use them indefinitely
<aaronjanse> I have no idea how I managed to overcome the lack of packages and documentation at the time
<aaronjanse> Part of this was that I did a summer internship where I was working on a custom build system for SiFIve
<aaronjanse> That cemented my interest in Nix, since it made me realize how elegantly Nix solves a lot of tough issues (well, at least more elegantly than other systems I've used)
<siraben> Very cool, I had a similar path when I used Debian as a daily driver around Junior year
<aaronjanse> Ooh, I haven't heard of Debian on a laptop in a long time
<siraben> it was stable but frustrating to install from scratch (when you're a noob reinstalling seems like the best option) and accumulated cruft over time from random experimentation
<siraben> like WMs and stuff
<aaronjanse> Honestly it's what I'd run if not NixOS
<aaronjanse> Yep!
<siraben> So I never got into i3 as much as I wanted to because of it
<siraben> but when I got into NixOS it was i3 + XFCE full time, now sway :)
<aaronjanse> Before I installed NixOS, I'd have to do a ~yearly re-install of my system to deal with cruft
<siraben> Hah, glad I'm not the only one that used to do that
* siraben eyes reinstalling macOS
<aaronjanse> Ahaha
<aaronjanse> Hehe, I also learned i3 though NixOS. I hated it at first, but I didn't know enough Nix to replace it with a different WM, so I just dealt with it for a few days then fell in love
<siraben> Yeah, i3's awesome
<siraben> but I switched to sway after struggling to get an external display with a different DPi working
<siraben> things would scale weirdly
<aaronjanse> Yep. I plan to do the same thing
<siraben> during the transition, NixOS made it painless, it was even mid-semester, I just had to maintain two generation lines in parallel
<siraben> then when it was ready, merge into master
<aaronjanse> Side note, i3 is the reason I love doing dev work on a 13" laptop. Otherwise I'd need a much bigger display
<aaronjanse> Ooooh
<siraben> yeah didn't want to switch right away in case issues came up
<aaronjanse> Yep
<siraben> which there were, like xwayland makes non-wayland apps look blurry on my Retina display
<aaronjanse> Have you figured out how to fix that?
<siraben> Have not
<siraben> nor screen sharing
<siraben> Probably the reason why I still spend most of the time on macOS
<aaronjanse> Aaah. Allegedly Ubuntu has a patch for xwayland blurriness
<siraben> with advent of zoom and whatnot
<aaronjanse> Yeah
<siraben> but I justify it by fixing builds of packages on macOS hehe
<aaronjanse> Also, regarding your FP comment above, I spent about a month writing everything in lisp. I'm back to imperative-supporting languages, but I've learned to prefer immutability and carefully keep track of mutation. Rust has been a good balance for me at the moment, letting me connect functions in a functional-like style while still using small imperative stuff within functions. I plan to eventually try Haskell
<aaronjanse> Thank you for the work on macOS nixpkgs!
<aaronjanse> A classmate of mine is trying to bait me into using macOS so I can fix packages for him, ahaha
<siraben> yeah, we need more darwin maintainers so we can toggle macports and homebrew
<siraben> aaronjanse: Haskell is my favorite! I ended up on it by learning C → Scheme → Standard ML → Haskell
<siraben> Rust is also like an ML-style language
<siraben> yeah, of course mutation is not the issue but uncontrolled mutation often is
<siraben> but more generally, uncontrolled effects
<aaronjanse> Yep
<siraben> which Haskell deals with well with monads and effect systems
<aaronjanse> So far, 100% of my most-difficult-to-debug issues (throughout my entire lifetime) have been related to mutation
<aaronjanse> Oh whoops, 90%. The other 10% is bad USB cables
<siraben> doing a lot of serial stuff?
<siraben> random question but what calculator do you own?
<aaronjanse> I was at SiFive. I got two bad cables in a row. I'm also working on writing a RPi 4 kernel by hand, in machine code
<siraben> oh, neat. I should take another crack at embedded on something that isn't from the 80s, heh
<siraben> https://github.com/siraben/zkeme80 was a lot of fun
<aaronjanse> Hehehe
<siraben> TI-84+
<aaronjanse> I was about to link to that
<aaronjanse> Yep!
<aaronjanse> I have a TI-84+
<siraben> Ooh!
<aaronjanse> I might try that
<siraben> I've tested it personally on my device, haven't bricked it or anything
<siraben> but never got around to making a REPL
<siraben> aaronjanse: https://github.com/siraben/ti84-forth/ might be better because it actually lets you play around with Forth
<siraben> and runs under TI-OS
<siraben> `nix build github:siraben/siraben-overlay#ti84-forth`
<aaronjanse> I'm currently working on a REPL in Rust (with whack syntax like `1:1000 ? prime |p (1:p-2 ?a a ^ p-1 mod p != 1)` and whitespace-aware operator precedence)
<siraben> should produce the .8xp file
<aaronjanse> Gosh, having a Nix expression makes that so nice
<aaronjanse> I'm running that right now
<siraben> lol last commit was Nov 21 2020 when I didn't know flakes yet
<siraben> so it's in my overlay
<aaronjanse> Yep, it worked!
<siraben> 🎉
<aaronjanse> Whoa, Element desktop did confetti for the entire screen
<siraben> aaronjanse: looks like some APL style thing?
<siraben> /J
<siraben> yeah it also does that for snow
<siraben> ❄
<aaronjanse> Oooooh
<siraben> can you send it? It doesn't appear for me
<siraben> I think only when received
<aaronjanse> ❄️
<aaronjanse> I see it both when sending & receiving
<siraben> hmm
<siraben> maybe it's my macOS systems settings to reduce motion
<aaronjanse> My repl thing: 1:1000 ? prime |p (1:p-2 ?a a ^ p-1 mod p != 1)
<aaronjanse> Psuedocode: 1..1000 | filter(prime) | (1..p-2 | filter(a^(p-1) % p != 1))
<siraben> I try to keep the setup as close to linux as possible so it's easier to switch
<aaronjanse> Huh maybe
<aaronjanse> Ah
<aaronjanse> How's emacs? I've been playing around with it, but I don't wanna just replicate vscode. Do you use non-coding-related things inside emacs?
<siraben> yes yes yes
<aaronjanse> Maybe I already asked
<siraben> I use it for prose, homework, navigating the filesystem, coding
<siraben> used to read email in it too
<siraben> but use thunderbird now
<siraben> you should definitely try magit if you use Emacs
<siraben> I barely use the Git CLI
<aaronjanse> Will do
<siraben> aaronjanse: by fermat's little theorem that code is gonna produce the empty list right?
<aaronjanse> Yep!
<siraben> nice, I knew that congruence looked familiar
<aaronjanse> I was using it to double-check stuff to make sure I understood my math notes :-)
<aaronjanse> But now I'm playing with https://github.com/fonsp/Pluto.jl
<siraben> perfectly readable to FP programmers heh
<aaronjanse> Heh, yeah
<siraben> aaronjanse: one of the AOC problems from 2020 was easily solved with the Chinese Remainder Theorem
<aaronjanse> Oooh
<siraben> and there was another where you had to implement diffie-hellman
<aaronjanse> That's cool
<siraben> (DH is day 25, CRT is day 13)
<aaronjanse> Ha, all of FLT, CRT, and diffie-hellman were on my math exam yesterday
<siraben> number theory?
<siraben> Or cryptography/
<aaronjanse> Oh whoops, we had RSA on the test, but we did learn diffie-hellman in class
<aaronjanse> We're doing discrete math (cs major requirement)
<siraben> Oh nice, my discrete math was different heh
<siraben> yeah discrete math is pretty fun
<siraben> for programming languages, logic, type theory and order theory are pretty useful
<siraben> category theory too if the language is functional
<aaronjanse> Ooh
<aaronjanse> Yeah
<siraben> Nice, julia looks interesting
<siraben> I use Mathematica for that kind of stuff
<siraben> which is regrettably not open source
<aaronjanse> Ah, yeah, a lot of my classmates also use Mathematica
<siraben> probably some of the best docs I've seen
<siraben> they literally have a "neat examples" section for most functions
<aaronjanse> Oh that's cool
<aaronjanse> I'll probably use Mathematica for some of my linalg class next semester
<aaronjanse> Also, hello from gomuks tui matrix client!
<siraben> o.O how is that client?
<siraben> > gomuks.meta.homepage
<siraben> good bot
<aaronjanse> It works well so far!
<siraben> BTW regarding flakes, I found it useful to pin nixpkgs
<siraben> because I was sick of the tarball constantly redownloading heh
<siraben> Do it with `nix registry pin nixpkgs`
<aaronjanse> Omg, this changes everything
<aaronjanse> Lmao I've been downloaded every time, for months
<siraben> lol
<siraben> it's annoying, no? and you have to wait for the decompression
<aaronjanse> Very annoying
<siraben> oof gomuks assumes the terminal is black
<siraben> it looks nasty on white
<siraben> I'll try it a bit later, thanks for the find!
<aaronjanse> No problem!
<aaronjanse> Hmm, I should sleep. It's almost 3 am here
<aaronjanse> I'll cya tomorrow
crazazy has joined #nixos-chat
<crazazy> so as it turns out, you can't have ephemeral nix-env profiles
<crazazy> at least i tried it but I got stuck on loading the display manager when turning /nix/var/nix/profiles/per-user into a symlink to /tmp
<Ke> am I the only one that the scope/syntax for with is silly
<Ke> eg. not with aa (expr); or with aa: expr;
<gchristensen> I agree, I don't use with
<Ke> normally I don't either, but imo it's nice for obvious lists like systemPackages
<gchristensen> ah, same
FRidh has joined #nixos-chat
<__monty__> I don't think with scopes overy only the next expression but everything that follows (within the current scope)?
<__monty__> So the syntax you suggest wouldn't make sense with the semantics.
<__monty__> Though I do think the current semantics are harder to work with.
<Ke> __monty__: if you think my use of partitioning for u-boot is crazy, take a look at this https://linux-sunxi.org/Bootable_SD_card#GPT_.28experimental.29
<__monty__> -_- get out
<__monty__> : p
eta has quit [*.net *.split]
lejonet has quit [*.net *.split]
andi- has quit [*.net *.split]
samueldr has quit [*.net *.split]
pie_ has quit [*.net *.split]
grfn has quit [*.net *.split]
managarmr has quit [*.net *.split]
AtnNn has quit [*.net *.split]
ldlework has quit [*.net *.split]
AtnNn has joined #nixos-chat
pie_ has joined #nixos-chat
grfn has joined #nixos-chat
managarmr has joined #nixos-chat
samueldr has joined #nixos-chat
lejonet has joined #nixos-chat
eta has joined #nixos-chat
ldlework has joined #nixos-chat
andi- has joined #nixos-chat
liebach has quit [Ping timeout: 272 seconds]
liebach has joined #nixos-chat
<siraben> aaronjanse: hello from gomuks!
<siraben> well watcha know, it's pretty good and lightweight
<Ke> don't let the appereance fool you, it is quite slow, if you run it on a router
<Ke> where as weechat is not
<Ke> but it's not bad either
<Ke> for MBR apparently fdisk allows you to set partition start anywhere in expert commands
<siraben> Emil Karlson: it's quite slow in what regard? and what do you mean by running it on a router?
<Ke> uses a lot of cpu relatively
<Ke> router is a computer that routes networking traffic, some people run other programs on routers
<Ke> mine was fairly high end with 4 A72 cores running at 1.3GHz
<siraben> Emil Karlson: well the amount of CPU it runs can't be more than Element client right?
<siraben> how did you measure it?
<Ke> mostly htop
<siraben> I'm seeking a sort of light as possible matrix client
<Ke> not a quantitative benchmark, but it was definitely the top thing on cpu usage, since it was running long term
<siraben> very interesting
<siraben> I am running it on a laptop, not a router
<Ke> anyway, it's possible something got improved since then so, if you are running it, you can look at it yourself
<Ke> in your environment
<siraben> Oh wow CPU seemed to spike, depends on if Activity Monitor on macOS is even a legit way to measure heh
<siraben> Ok htop is reporting it
<Ke> IIRC I had interactivity stalls that I presumed were related
<Ke> you can also look at the process cumulative cpu time
<Ke> it's not exact either, but probably best you can get without really tracing it hard
<siraben> Do you think that it would be less than Element at least?
<siraben> even lower is an improvement
<Ke> probably, but don't know
<Ke> obviously I never ran element on my router in fair comparison
<Ke> gomuks also drops contents of long copy-pastes, unless it was fixed
<Ke> there was some buffering library that just drops contents it does not have time to handle and has unreasonably short buffer for 2021
<Ke> this is what the lead dev explained
<Ke> I think much of these faults are/were in the libs and may get fixed even without updating gomuks
<Ke> did not profile where cpu time was spend
<Ke> spent
<Ke> I also hate beyond description the clickable more thing in channel list that appears needlessly
<Ke> I never understood that ui convention in cases, where "more" does not trigger unreasonably long computation or uncontrollably floods the ui
<Ke> gomuks is not the only sw that does that so it must have some fairly ambient causal reason
<siraben> So looking at my culmulative CPU time, it doesn't seem too bad
<siraben> Around the same as background services on macOS
<siraben> I wish I could collapse leave/join though, should RTFM
<Ke> collapse what?
<siraben> collapse leave/join messages
<Ke> right
<siraben> this is a rainbow
<siraben> wow wee
<siraben> gomuks doesn't have E2E, sad
<{^_^}> tulir/gomuks#205 (by tulir, 27 weeks ago, open): Handle incoming verification requests
<f0x> siraben: might be interested in https://github.com/matrix-org/pantalaimon
<f0x> or the poljar's weechat plugin, supports basic E2E, or the rust rewrite which seems to continue development
<f0x> ah the rust rewrite doesn't do much yet
<das_j> f0x: Sounds like literally every rust rewrite
<f0x> lol
<siraben> rewrite it in C++
<f0x> i love the rust rewrite for ls, exa
<siraben> reminds me I should try an oxidized stdenv
<supersandro2000> f0x: lsd is better
<supersandro2000> try lsd --tree --dereference --total-size -l
<f0x> supersandro2000: hmm I like the way exa combines tree view with info a lot more
<eta> oh dear, matrix
<f0x> matrix <3
<supersandro2000> but exa has not icons
<supersandro2000> I am surprised you can't reorder the view
<supersandro2000> lsd allows you to reorder everything else
<supersandro2000> found a PR for that https://github.com/Peltoche/lsd/pull/489
<{^_^}> Peltoche/lsd#489 (by zwpaper, 3 weeks ago, open): show tree edge before name block
* etu tries out using pipewire instead of pulseaudio
<etu> Seems to work just fine
<siraben> supersandro2000: what about ranger?
<supersandro2000> siraben: whats about it?
<siraben> supersandro2000: does it do the same thing of rearranging files?
<supersandro2000> siraben: I think I am missing a bit of context here
<supersandro2000> ranger is a terminal file manager
cole-h has joined #nixos-chat
cole-h has quit [Ping timeout: 256 seconds]
<__monty__> Ranger can sort your files whichever way you want. It defaults to "natural", lexical but digit sequences are considered numbers (so Ep 10 doesn't precede Ep 2).
rajivr has quit [Quit: Connection closed for inactivity]
waleee-cl has joined #nixos-chat
<__monty__> (The whichever does require you to write a sort function though : ), there's a decent number of built-in orders.)
<gchristensen> lol juniper set vendor-class-identifier = "Juniper-ex2200-24t-4g\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000";
<f0x> seems i succeeded in making my first nixos package \o/
<f0x> or at least, it Works On My Machine :P
srk has quit [Remote host closed the connection]
srk has joined #nixos-chat
<f0x> also :P
<gchristensen> heck yeah
<adisbladis> I'm so annoyed...
<adisbladis> Why does Lenovo not want to sell me a laptop?!
<adisbladis> Why do they not want customers
slack1256 has joined #nixos-chat
<samueldr> out of stock, or models not available in your region?
<samueldr> the former: because everything is out of stock in tech :<
<samueldr> the latter: because they hate money
<adisbladis> samueldr: "my region" lol
<adisbladis> I don't have a region :P
<gchristensen> adisbladis: lenovo doesn't actually like selling laptops
<samueldr> the region in which you shop for
<adisbladis> samueldr: I'm looking at buying it in the US
<samueldr> yeah
<samueldr> the region in which you shop for
<adisbladis> And as soon as you want something which isn't 100% cookie cutter it goes from NBD to 8-12 weeks shipping
<samueldr> maybe look at taobao?
<adisbladis> Like I know where I'll be in 8-12 weeks...
<samueldr> ah, so the former
<adisbladis> gchristensen: Must be
<samueldr> at least you have _the option_
<samueldr> check in the canada store, and compare
<samueldr> customization? what's that?
<samueldr> here, there are two models, with bad options
<samueldr> now multiply that for every OEM
<samueldr> hp does not even sell most of their laptops on their canadian store
<gchristensen> costco got me a laptop in 2 days meanwhile dell was gonig to take 3 weeks to get me a totally uncustomized laptop
<adisbladis> "Great"
<samueldr> (I'm talking in normal times)
<adisbladis> Too bad Lenovo is the only company that makes laptops with decent input devices
<adisbladis> So I only really have one choice..
<samueldr> but yeah, right now there is a real hard shortage in all things computery
<gchristensen> any retailers able to get you approximately whaat you want?
<adisbladis> gchristensen: Nope.
<samueldr> displays are in shortage, CPUs are in shortage, RAM is, storage is
<adisbladis> gchristensen: All the models I'm looking at have soldered RAM
<adisbladis> So I can't just buy something with less and upgrade it
<samueldr> it's likely that it's going to be a good year still until things maybe resolve themselves
<samueldr> not good as in fun, but good as in full
<gchristensen> welp
<adisbladis> The country I'm in rn is arguably one of the worst for purchasing electronics :P
<samueldr> it may get worse until it gets better
<gchristensen> egypt still?
<adisbladis> Yes
<adisbladis> gchristensen: 50%+ import duties heck yeah
<samueldr> so if you _need_ something, you might actually want to consider taking what's available, since later this year maybe there won't even be what few options there are
<gchristensen> heck yeah indeed
<adisbladis> And also might take months to get it through customs in the first place
<gchristensen> maybe it just isn't your time to buy a computer
<adisbladis> But I might go to central america soon-ish
<adisbladis> And a Thinkpad X13 is mighty tempting
<adisbladis> But it seems like they don't want you to get a fully speced out one
<__monty__> Maybe the airport has a duty-free computer shop?
<adisbladis> __monty__: That sells customised laptopts? :D
<adisbladis> laptops too
<__monty__> Customized no. But maybe a stick of RAM and an SSD is easier to get where you're going? Or at least you would only pay the markup on relatively cheaper things?
<adisbladis> __monty__: The problem is these laptops only have soldered ram
<adisbladis> You cannot upgrade after the fact
<adisbladis> I mean you can probably pull out your rework station ^_^
<tazjin> __monty__: tbh I'd be surprised if the airport here sells edible food
<tazjin> let alone laptops
<adisbladis> tazjin: Maybe you can buy them from the lost and found tho
<tazjin> adisbladis: ah, I have a guy I can call for that
<f0x> started throwing whatever snippets I learn on this journey on my site: https://cthu.lu/projects/nixos/
<f0x> probably wrong things but my system is starting to come together nicely :)
<__monty__> I assumed Cairo airport was pretty big. Our airport has smartphone shops so I figured laptops wouldn't be a stretch.
<adisbladis> __monty__: You clearly haven't been to Cairo :D
<adisbladis> They have a "vodafone" shop that will scam you
<adisbladis> And I guess one or two more shops that sells sim cards and stuff like this
<adisbladis> I put vodafone in quotes because I don't thing it's legit
<__monty__> I haven't been across the mediterranean, no.
<tazjin> the nearest airport for us is also not Cairo
<tazjin> like, the more likely thing to happen is that you meet someone in a bar who's cousin's half-brother's neigbour's ex-wife is a director at Lenovo and can just sort out ThinkPads in cash at the bar
<__monty__> That sounds like a ludicrous amount of corruption.
crazazy has left #nixos-chat ["ERC (IRC client for Emacs 27.1)"]
<supersandro2000> why are you buying laptops directly at lenovo?
<supersandro2000> most of the people I know bought their devices second hand or got them from work
<__monty__> Well, if you can't get them from your employer and you need a device to last you maybe many years, buying new isn't a bad idea.
<supersandro2000> You can get devices which are basically new but only cost a fraction from sites like luxnote
<supersandro2000> they maybe have one scratch and are not the newest but for the price they are very competitive
<supersandro2000> just put a sticker on the scratch and it is new
sparogy has joined #nixos-chat
<supersandro2000> that moment when you need rust for your stdenv 😂
aminechikhaoui has quit [Quit: The Lounge - https://thelounge.github.io]
FRidh has quit [Quit: Konversation terminated!]
cole-h has joined #nixos-chat
__monty__ has quit [Quit: leaving]
<lovesegfault> aaronjanse: I saw you followed me on GH, and then saw you go to UCB; I live in berkeley too :)
<lovesegfault> well, with covid maybe you don't live in berkeley right now, but still
<lovesegfault> if you want to grab a bagel sometime let me know
* cole-h now wants to visit Berkeley to grab a bagel, with or without lovesegfault
<cole-h> tbh I just want a bagel
<lovesegfault> there's this jewish bagel shop about a mile from my place that is insanely good
<elvishjerricco> Hm. A drive in my backup server is failing. I probably need to replace it, but the drive is 12 years old. I dunno if I should replace it with the same model or something newer
<leah2> how do you even get a 12 year old drive?
<elvishjerricco> leah2: Buying an old used enterprise server for cheap
<leah2> replacing failing disks with used ones sounds like a bad plan :p
<elvishjerricco> leah2: Well the replacement disk would hopefully be new :P Just a very old model
<elvishjerricco> I guess that doesn't actually make sense. Probably way too old to get new
<elvishjerricco> Newer model it is then.
<elvishjerricco> What should I replace a ST32000445SS with?
<leah2> as long as you can get new ones for the connector, i'd go for new ones
lunc has joined #nixos-chat
<infinisil> Happy π day!
<infinisil> (for many europeans at least, america will have to wait for a bit to celebrate)
<cole-h> :(
<infinisil> > pi
<{^_^}> 3.14159
<infinisil> Close enough!
<cole-h> The days surrounding my birthday are stacked. Pi Day *and* St Patty's Day :D
<infinisil> :o
<elvishjerricco> Hm. Seems difficult to find an individual sas drive new.
sorki has joined #nixos-chat
srk has quit [Ping timeout: 268 seconds]