gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<cole-h> Hmm
<danderson> so you need a new tip every 2-6 months of regular use.
<cole-h> Hmmmmmmmm
<danderson> The tips are $12 for 8 though, so I'm not bothered by the ongoing cost
<danderson> and the remarkable hacker community has a list of "compatible" stylus pens from other manufacturers, as insurance against the company going bust
* colemickens is mostly just excited for more nixos evangelism :P
<danderson> so you can just use a random Lenovo stylus and probably be fine
<colemickens> danderson: you're mostly using to markup documents, take notes you'd otherwise take on paper?
<danderson> it's funny, the *only* questions I got about my nixos shitposting were "oo what's that tablet"
<cole-h> Haha
<colemickens> I am fascinated by the tech, or the idea of having a b/w screen usable outdoors, but I fear it would sit in a drawer for most of its life
<danderson> colemickens: I'm using it purely to take notes right now, work log style
<danderson> sec, I can post a photo
<cole-h> As a student, the idea of being able to take notes on not-paper is greatly appealing. Have it organized someplace without have loose-leaf paper everywhere
* cole-h sets up a GoFundMe for this tablet
<colemickens> hm, might be nice for some architectural/process diagramming. There's a limit to how much meaning I can convey with Google Docs or markdown tooling.
<cole-h> :P
<colemickens> @cole-h that was his remark, he never felt like he was running out of room, he could find htings later, one of the apps had this "infinite zoom" mechanism you could use to organize notes "in space" (or a plane, I guess). Seemed neat!
<cole-h> Infinite zoom reminds me of prezi
<colemickens> Oh god, that reminds me of the semester when everyone thought it was a good idea until they sat through 2 hours of head-spinning presentations (and not in the good way)
<danderson> Here's a photo of one of my notebooks ("notebook" is the basic unit of organizing sheets of "paper" in the tablet OS): https://photos.app.goo.gl/fntjZ7nB5eZMWCzg9
<danderson> that's the notes for my "working through the nixpkgs security bugs backlog" project
<danderson> apologies for awful handwriting
<colemickens> hm interesting, a very analog way of digitally tracking tasks
<danderson> it's actully now turned more into "all the PRs and bugs I'm involved in on nixpkgs" rather than purely security
<colemickens> but my desk is littered with sticky notes, so...
<cole-h> Man I hate CA >:( I turn 21 and governor orders all bars to close >:(
<danderson> yeah. it's helped a *lot* with my memory recall
* cole-h is mostly kidding
<danderson> actually writing stuff down helps me retain it, vs. typing it into a txt file
<cole-h> ^ 100% agree
<danderson> this notebook is not a good illustration of the flexibility of the tablet, it's mostly stuff I could put in a txt file as well
<cole-h> danderson: What are those squares at the bottom? Navigation buttons a la Android?
<danderson> lemme find a page from my laptop setup notebook...
* colemickens is interesting in starting a personal wiki precisely for trakcing/recall. :( need to start building the skill before it's 100% necessary.
<colemickens> hm...
<cole-h> Or "quick menu" buttons maybe
<danderson> cole-h: quick buttons, meaning varies depending on the running app
<danderson> in notebooks, the left/right buttons are "next page/previous page"
<danderson> (it creates new pages as needed)
<danderson> the center button is usually "up" (context-dependent, e.g. in notebooks it pulls up a grid view of all the pages in the notebook)
<FireFly> hm, sounds neat
<danderson> the tablet also sleeps pretty aggressively (shuts down the touchscreen polling). When it does, the center button is "wake up I want to write"
<cole-h> Man, you're really making me want one
<danderson> (when it sleeps it still shows the page, eink consumes ~0 power when not updating)
<cole-h> And to clarify: can you read e.g. epubs on it? Is there a good "app" for that?
<danderson> that's a photo of my laptop setup notes. in that notebook I'm using the "todo list" page template, which comes with checkboxes pre-made (I discovered that later, so the old notebook is hand-drawn)
<danderson> and you can see I'm starting to use more freeform "scribbling on paper" things to cross-reference items
<danderson> rather than ".txt file on a piece of paper" style
<danderson> cole-h: it comes with a PDF reader and an "ebooks" reader. I haven't used either of them yet.
<danderson> I'm assuming "ebooks" means epub
<cole-h> btw I don't think niv is really a lorri alternate -- it's more for version control (I like to compare it to git submodules that don't suck, but that's probably not entirely accurate)
<danderson> yup, confirmed, DRM-free epub
<danderson> yup, my notes are outdated :)
<cole-h> Very cool. I'd been wanting an e-ink reader (to be able to take outside when the weather is nicer) for a while too
<danderson> that cluster is reminding me that home-manager+niv+lorri is probably the combo I need
<cole-h> It's the combo I use, yeah
<colemickens> I am going to lose my mind before figuiring out this website - is it usb type c?
<colemickens> I hope you say no so I don't buy one.
<danderson> no, micro-usb
<cole-h> colemickens got lucky :P
<danderson> there have been rumors floating about for 6 months that remarkable is going to launch a v2 tablet "soon"
<cole-h> 👀
<danderson> but afaict (a) there's no proof of that, I think people are just making shit up
<danderson> and (b) the pandemic has completely shot their supply chain, so I would not expect anything soon anyway
<FireFly> hm, considering I don't have an e-reader as it is but have been kind-of meaning to get one, it's kind of tempting..
<danderson> fwiw, I thought about it for ~6 months before getting one. The price really makes you think twice.
<cole-h> FireFly: Same.
<cole-h> danderson: Definitely one of the sore points.
<danderson> now that I have one, I'm happy that I do. But it was definitely a significant investment
<FireFly> I also desperately do need some decent way of taking notes
<colemickens> so wait, what's the 30 day business?
<colemickens> Is that a warranty or some strings on some non-free software on it ?
<cole-h> No questions asked return policy I thought
<danderson> 30 day no-questions-asked return if you don't like it
<colemickens> aha, ok
<danderson> but it's 30 days from the day you click "buy" on the website
<danderson> and right now they're having supply chain issues, so shipping can be pretty delayed
<colemickens> Got it.
<cole-h> ^ but you can ask their support to make it be 30 days from when you receive it I think
<danderson> in my case, I received the tablet ~35 days after ordering
<danderson> so technically I never got to use the return policy
<cole-h> Or maybe I misread what danderson said
<danderson> but in practice yes, I heard that if you care about that, support is extending the return policy to "30 days from the day we shipped it"
<danderson> because, well, obviously :)
<cole-h> Ah, so it's more in light of covid and not an always kinda thing
<danderson> anyway, sorry to shill random products on IRC. Not affiliated etc, just a pretty happy user
<danderson> cole-h: I think it's triggered by covid, because normally they would ship in 1-2 business days
<danderson> but right now everything is delayed
<danderson> (it might be better now, I don't know)
<cole-h> Got it
<danderson> but in general, afaict they're a pretty reasonable company
<FireFly> I'd seen the remarkable tablet before when looking around a bit, but kinda disregarded it.. I guess because of the price (and primarily wanting an e-reader for pdfs and books)
<FireFly> hmm
<FireFly> I'm kinda tempted to keep an eye on it, and see if the v1 sells for cheap if a v2 eventually comes around :p
<danderson> yeah, if you want mostly a reader, I would say kindle is the way to go, sadly
<FireFly> *nod*
<FireFly> there's the Sony PRS ones and stuff, but I dunno if those are still a thing
<danderson> last time I checked, it was still easy to break the DRM on them (access a secret menu to get your device serial#, with that Calibre can decrypt the mobi files, and from there it's portable across any e-reader)
<FireFly> hmm ah
<danderson> I've also heard good things about the barnes&noble nook, but I've never used it
<danderson> (does it even still exist?...)
<danderson> mostly I read ebooks on my phone, because I always have it with me
<cole-h> Same
<cole-h> But it kinda hurts my hands after awhile
<cole-h> (I mostly read in bed at night)
<danderson> yeah, definitely
rardiol has joined #nixos-chat
<jtojnar> I am pretty happy with my old Kobo e-reader (Aura H₂O)
<Irenes[m]> I actually think there are a lot of interesting eReaders out there, although software-wise none of them are really solid ecosystems in the way that phones are
<Irenes[m]> not to be perceived as a shill or anything, but the reviews on goodereader.com are generally really useful for getting an understanding of what's out there and what makes particular models noteworthy
<Irenes[m]> I cannot recommend buying through their store though, I had a bad experience and so did the one other person I know who tried
<danderson> good call
<danderson> I would definitely not buy a remarkable just as an ereader. It's nice, but you're wasting money if you're not using the "writable" features imo
<danderson> though I guess it also has nicely hackable software, which can be a plus for some
<Irenes[m]> that all makes sense
<drakonis> calibre makes it easy to won a kindle
<drakonis> own a kindle
<Irenes[m]> Calibre is great
<Irenes[m]> I just wish it understood BibTeX
<Irenes[m]> Calibre is awesome for fiction and okay for blogs, but for academic papers I don't have a good workflow that doesn't involve doing like twenty minutes of manual data entry on each paper
<Irenes[m]> (yes I've looked at custom metadata import plugins)
slack1256 has quit [Remote host closed the connection]
KeiraT has quit [Ping timeout: 240 seconds]
KeiraT has joined #nixos-chat
<gchristensen> adisbladis: you here, or did you go to bed at a reasonable time? :P
<adisbladis> gchristensen: Wdyt ;)
<gchristensen> it installs a vault-setup command which unseals the vault and configures plugins and mounts, with updated hashes, as needed.
<gchristensen> not worth upstreaming -- it isn't declarative -- but has been useful for my hacking :)
<lovesegfault> yesterday was the first time I felt like going back to Gentoo since I started using NixOS (around October)
<lovesegfault> Trying to debug a Rust program that linked in a C library and I just couldn't get it to work
<lovesegfault> I'm still upset about it
<gchristensen> ouch
<adisbladis> gchristensen: That looks pretty cool
<lovesegfault> Like NixOS gives me so many nice things
<lovesegfault> but I can't even get gdb to work well :/
<gchristensen> lovesegfault: did you read the wiki page on enabling debug symbols?
<lovesegfault> yes
<gchristensen> sometimes I use this https://github.com/edolstra/dwarffs
<lovesegfault> I kept getting this:
<lovesegfault> Starting program: /home/bemeurer/src/chromaprint_sys/target/debug/chromaprint_sys
<lovesegfault> Warning:
<lovesegfault> Cannot insert breakpoint 1.
<lovesegfault> Cannot access memory at address 0x75d7
<lovesegfault> not sure why
<lovesegfault> eventually with rr I got gdb to work at _all_
<lovesegfault> And then of course I had this beauty:
<lovesegfault> (rr) s
<lovesegfault> chromaprint_new (algorithm=1) at /build/chromaprint-v1.4.3/src/chromaprint.cpp:57
<lovesegfault> 57 /build/chromaprint-v1.4.3/src/chromaprint.cpp: No such file or directory.
<adisbladis> Is that an endpoint in vault ?
julm has joined #nixos-chat
<lovesegfault> this was doing (pkgs.enableDebugging pkgs.chromaprint) in buildInputs
<gchristensen> adisbladis: yeah, that is mounting the oauthapp plugin to oauth2/github/
<adisbladis> Because I just misunderstood the purpose for a second... And I think my misunderstand may have had an unintended side effect ;)
<gchristensen> oh?
<adisbladis> Holy crap someone already implemented it https://github.com/jboero/hashifuse
<gchristensen> omg lol
* adisbladis should really go to bed
<adisbladis> o/
<adisbladis> Night night
<gchristensen> right now I'm looking at bootstrapping Vault with TLS using Vault to make the TLS certs https://www.vaultproject.io/docs/secrets/pki/index.html
<gchristensen> g'night adisbladis!
<danderson> whatcha vaulting gchristensen?
<danderson> Asking for a me who'll have to figure out vault on nixos if I get nixos in prod
<gchristensen> danderson: right now, I'm treating it like a better password manager :) but ultimately, production just like you
<aleph-> Vault is nice. Wanted to use it at work
<aleph-> But thankfully we might move to GCS/GCP
<gchristensen> why should I stick some untracked, long-term AWS tokens in to `pass` when I could instead give my laptop nice prod-quality tools too :)
<aleph-> Which obvliates it somewhat since I just wanted it for disk encrypt keys
<danderson> good to know! Curious what setup was needed beyond the vault nixos module that's in unstable n
<danderson> now*
<danderson> I think the setup I'll want in prod is auto-unseal from some cloud KMS, and *handwave* auth
<gchristensen> yeah, and tbh vault is really intended to be operated by hand
<danderson> yup, like most databases. Super stateful, doesn't make a huge amount of sense to manage otherwise
<gchristensen> yea
<danderson> although I guess a lot of the desired state can be set up declaratively
<gchristensen> my use case has it locking and unlocking very frequently, sealing with my screen locker, etc.
<gchristensen> and no need for the 3/5 keys... I have a script stored in `pass` which provides the 3 keys to unlock, automatically
<danderson> hmm, I think you can change the thresholds
<danderson> you could just make a 1,1 key during init
<danderson> and stick that in pass
<gchristensen> that is a nice idea -- I hadn't looked in to that
<cole-h> gchristensen: Am I misunderstanding if I think that you're using vault like you would pass -- as a personal password store?
<danderson> that's how I initialized stuff last time I was playing with vault iirc
<gchristensen> cole-h: I'm not actually putting regular passwords in there, no
<aleph-> gchristensen: So why use vault if you have pass? :P
<gchristensen> but I am using it to get short-term creds for Packet and GitHub, and soon AWS, SSH, and RabbitMQ :)
<gchristensen> aleph-: because Vault can grant me a token valid for 30 minutes. pass can't
<cole-h> So basically token storage?
<cole-h> OK, I see
<gchristensen> no, the point I'm interested in is that the tokens are not static
* colemickens is wary
<colemickens> how hard is bootstrap on a new machine?
<cole-h> Yeah, I worded that wrong x)
<gchristensen> no idea, colemickens :) part of the experiment
<gchristensen> also part of the experiment is running Vault in a private network namespace, with the only way to access it is through a proxy which requires I tap my yubikey to create new tokens
<cole-h> The one good thing to come out of covid: just got free unlimited mobile data on TMo until 5/13 (previously 2GB cap with "unlimited" low-speed)
<colemickens> wow, very cool
<colemickens> gchristensen: you wrote the proxy?
<gchristensen> yeah
<aleph-> cole-h: Yeah got that as well
<aleph-> Still need to return that sim and refund my service, given I never used it
<cole-h> Now how long until Comcast uncaps my internet
<gchristensen> it isn't good, yet, it is the "gateway" example from the Rust project Hyper, with a simple pattern match and a shelling out to a yubiky-validating script
<cole-h> 1TB/mo bleh
<gchristensen> but I want to be notified and involved when new credentials are created. I'm pretty sure, in general, my laptop shouldn't be doing things like that without me instructing them
<cole-h> I'd be interested to read a writeup or blog post or something when you finish setting it up to your liking
<gchristensen> that is a nice idea
<gchristensen> it may be too much trouble :P
<gchristensen> but yeah
<danderson> gchristensen: fun fact, that yubikey proxy of yours is worth about $75k/year
<cole-h> If you do write something, you know where to ping me :P
<danderson> which is what Hashicorp wants for their "Governance module" that adds 2FA on credential access
<danderson> so, please share :D
<gchristensen> danderson: oh, neat :)
<cole-h> gchristensen: That means you should sell it for $70k/yr >:)
<gchristensen> I will license it in exchange for one (1) NixOS in production at your gig, danderson :P
<cole-h> :D
<gchristensen> kidding of course. I have been lucky enough to have written almost zero closed source software in like, a year
<cole-h> 🎉
<danderson> gchristensen: deal :O
<danderson> Nixos in prod is on the todo list. Nobody's objected yet.
<gchristensen> :o
<danderson> CEO says it's the only sensible way to manage a prod fleet (either that, or give up and accept that it's unmanaged)
<danderson> this was in a conversation where I conservatively said that hmm, we'll probably want chef or ansible or something soon
<danderson> and he said lol no, those don't work, something like nixos is the only thing that would actually work out
<gchristensen> :D :D
<danderson> and everyone else seems at least neutral on nixos, as long as I figure out automated deployment and maintain it
<danderson> so I'm very carefully not trying to argue about anything :P
<cole-h> I was neutral on Nix(OS) until I actually started using it
<cole-h> Now I'm an evangelical
<danderson> same, but I'm careful to manage the innovation tokens of my coworkers
<danderson> some have a low-ish threshold for too much new stuff at once
<danderson> so I'm trying to either space it out, or sneak it in such that they don't have to care about what I changed :P
<cole-h> Smart. Still a student, so I don't have much experience with managing the bureaucracy
<danderson> eh, not so much bureaucracy, just personalities
<danderson> we're a 5-7 person company depending on how you count, barely 1y old
<danderson> that means there is a *lot* of stuff to do, and I can't spend too much time just tinkering with prod
<danderson> I have to go and actually build a product that people want :P
<gchristensen> that is a good way to go
<danderson> but otoh, we're building a security product, and in some ways our control plane ends up being a CA for a bunch of companies, so I want to lock it the hell down asap
<aleph-> danderson: Your company isn't based in Croatia is it?
<danderson> technically it's not based anywhere, we don't have offices :)
<aleph-> Heh, is it nominally based there?
<danderson> I guess legally it's a Canadian company, but we're currently in 3 countries and 3 timezones (us-east, us-west, australia)
<aleph-> Okay, so not the one I'm thinking of
<danderson> it's https://tailscale.com - sorry, didn't mean to be mysterious :)
waleee-cl has quit [Quit: Connection closed for inactivity]
<cole-h> Uh oh
<cole-h> Why is my lag in weechat climbing
<lovesegfault> do I use vaapiVdpau or libvdpau-va-gl?
<lovesegfault> or both?
<danderson> good question, that's on my own list of stuff to figure out
<danderson> especially with a Radeon GPU, I haven't had one of those for years.
* lovesegfault shoves both in
<danderson> the X driver talks about VDPAU when it initializes the session, so I'm hoping it just works... But I have no idea
lovesegfault has quit [Quit: WeeChat 2.7.1]
<infinisil> Hm, access time for files in /nix/store could be used to figure out whether packages have been used in the last X days
<infinisil> Which then could be used to minimize your system :o
<danderson> I wouldn't trust atime for that tbh. I'd go with a wrapper that pings access times into some database
<danderson> bonus, it'll probably be less inefficient because you can dedup hits in nix-daemon, and not smash the filesystem every time a script runs a sub-bash :)
rardiol has quit [Ping timeout: 250 seconds]
abathur has quit [Ping timeout: 240 seconds]
skrzyp1 is now known as skrzyp
lovesegfault has joined #nixos-chat
<monsieurp> what a shame
skrzyp has quit [Remote host closed the connection]
<drakonis> this is some supervillain level stuff
<drakonis> hoard the cure to the disease destroying countries
<drakonis> now then, playing minecraft again was a mistake, i had stuff to do
<drakonis> now its late, time to sleep
skrzyp has joined #nixos-chat
drakonis has quit [Quit: WeeChat 2.7.1]
cole-h has quit [Ping timeout: 240 seconds]
malSet has quit [Quit: Quit.]
malSet has joined #nixos-chat
Jackneill has joined #nixos-chat
__monty__ has joined #nixos-chat
<sphalerite> infinisil: you have atime active??
<infinisil> sphalerite: Nah
<infinisil> danderson: But nothing goes through the daemon for just file access
<eyJhb> ,howold
<{^_^}> eyJhb: Did you mean howoldis?
<eyJhb> Not functioning anymore?
<adisbladis> eyJhb: I believe it's a fall-out from https://discourse.nixos.org/t/announcement-moving-nixos-org-to-netlify/6212
<eyJhb> Ahh, adisbladis any idea if the changes from yesterday are in unstable yet?
<eyJhb> Nvm, the coc-go changes never made it :p
<eyJhb> So that still doesn't function anyways
<infinisil> sphalerite: Oh, imagine GC based purely off atime
<sphalerite> yeeeeeah but that's expensive
<infinisil> So if you install nerdfonts (that's like 100 huge fonts), but only use one of them, the others will get GC'd after some time
<sphalerite> wait, so you mean regardless of dependencies?
<sphalerite> That's terrifying
<infinisil> Trading storage space for some computing time (and potentially missing files if you need something only rarely)
<infinisil> sphalerite: It kind of is yeah
<adisbladis> eyJhb: Did you create a PR for that?
<eyJhb> adisbladis: nope, I have no clue how to incorporate it with the exsisting override
<infinisil> sphalerite: But it would be interesting to see how well it would work :)
<eyJhb> adisbladis: appreciate if you can show me ;)
<eyJhb> Or maybe I can myself?
<eyJhb> !*
abathur has joined #nixos-chat
abathur has quit [Ping timeout: 246 seconds]
<adisbladis> eyJhb: Maybe try it yourself first and ping me if you get stuck?
<eyJhb> I have tried to override it (see #nixos), but I cannot test it :/
<eyJhb> Building master fails for me in general
<eyJhb> I might try again
<eyJhb> I will try again, but only for you
waleee-cl has joined #nixos-chat
tilpner has quit [Quit: tilpner]
tilpner has joined #nixos-chat
<eyJhb> Is writing nix like this https://termbin.com/4c34 ugly?
<eyJhb> Don't know if this is any better? https://termbin.com/w1pb
<__monty__> eyJhb: I usually have if, then and else either on the same line or across 3 lines. Not if...then\nelse, that's worst of *both* worlds ; p
<sphalerite> eyJhb: I think the extra parens in the "taller" style are weird, but other than that I prefer it
<eyJhb> Oh yeah, I added it when it were on the same line :p
<eyJhb> I am an little conflicted. I somewhat like the shorthand if then 1 ... on the same line, and the else below, seeing as it is a short function
<eyJhb> But there are no convenstion?
<eyJhb> we need a nixfmt!
<eyJhb> Also, the syntax ` # fib' : int -> int -> int -> int` seems weird
<tilpner> See the related projects section for more formatters
<eyJhb> What, that is a whole other way to do the if
<eyJhb> Well, the medium implements a wrong fib :|
<FireFly> I think I'd do "if expr" "then expr" "else expr" on individual lines, but then I don't really write a ton of nix myself yet
<FireFly> I guess write it in a way you're comfy with primarily :p
<FireFly> (or in a single line if short enough)
rardiol has joined #nixos-chat
<eyJhb> Hmm, finally learning something about nix. LEts see where it takes me
<eyJhb> But still, my main struggle are overlays and stuff
<etu> overlays are fun
<etu> especially when you select between self and super
<etu> Even more fun if you take them in in the wrong order :D
<adisbladis> tilpner: I wish we could just converge on one formatter.
* tilpner hasn't used any of them, formats like a barbarian
<adisbladis> I've been using nixpkgs-fmt
<adisbladis> It's great
<gchristensen> +1
<adisbladis> I was a bit upset that the latest release slightly changed the formatting though
<tilpner> adisbladis: I see you have forked opensnitch, do you have it packaged too?
<adisbladis> tilpner: Umm.. I haven't hacked on that in _ages_
<tilpner> Well, you sorted early in the GH forks tab
<adisbladis> Yeah I still have commit bit to it :P
<tilpner> So you were using it, and stopped?
<adisbladis> Yes
<tilpner> Why? Notification overload?
<adisbladis> I wrote up some things on reddit before
<adisbladis> tilpner: ^
<tilpner> I'm not sure I'm quite prepared for the full discussion yet, but I might inquire about the eBPF part in a while
<adisbladis> tilpner: Anyway
<adisbladis> I haven't had a nix package for it since it was all in python
<tilpner> I found a Nix package, but it was unlicensed, and the author is only on XMPP
<adisbladis> tilpner: In any case I'd not want opensnitch in nixpkgs.
<adisbladis> It's not ready and it's unmaintained.
<tilpner> I agree after reading that comment
<tilpner> Do you know of any similar projects?
<adisbladis> Subgraph had something similar with an even worse design
<tilpner> ._.
<adisbladis> They were using a custom kernel module
<adisbladis> Which is not needed with eBPF
* tilpner shall read up on eBPF
<adisbladis> tilpner: Do you know about BPF?
<tilpner> I "know" it's a packet filter turned into a multi-purpose VM inside the kernel
<adisbladis> tilpner: Ok, good :)
<adisbladis> eBPF extends on the context with shared memory structures
<adisbladis> Where one of these structures could be a set of firewall rules shared with userspace
<tilpner> I have been stumbling upon "this could be done with eBPF" for multiple problems
<adisbladis> So your userspace application manages the rules and the kernel would be interpreting them
<tilpner> (Most recently, "something is creating lots of read IO, how do I figure out what is being accessed")
<adisbladis> I had a PoC with opensnitch running on ebpf, but I don't have the code any more :/
<adisbladis> Anyway, if you want a long rant you can PM :P
<adisbladis> I have lots of things to say about this
<tilpner> Aww, no backups? :/
<adisbladis> No
<adisbladis> But I think this is one of those rare cases where a rewrite from scratch is in order
<tilpner> It would have helped me to understand your approach without lots of stupid questions
<adisbladis> At the time ebpf tooling was a bit of a mess, I think it's better know but I haven't really been keeping up
<adisbladis> I think rust is a serious contender for ebpf nowadays?
* tilpner can't tell yet
<tilpner> There are some articles from 2018 using Rust to... control eBPF programs, presumably originally written in C
<tilpner> And there is Rust fork that supposedly can compile Rust to eBPF, but is not merged and outdated
tilpner has quit [Remote host closed the connection]
tilpner has joined #nixos-chat
drakonis has joined #nixos-chat
<pie_[bnc]> what did i miss
* pie_[bnc] mildly raises eyebrow at ebpf
<eyJhb> pie_[bnc]: stuff and more stuff ;)
malSet_ has joined #nixos-chat
<adisbladis> eyJhb: You forgot about things!
<eyJhb> Ohh, sorry adisbladis ! pie_[bnc] things as well
malSet_ has quit [Read error: Connection reset by peer]
malSet has quit [Ping timeout: 250 seconds]
<eyJhb> Well, back to Better Call Saul and Nix
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
<gchristensen> man, even Vault can't help but trip over themselves and suggest terrifyingly bad configuration settings
malSet has quit [Read error: Connection reset by peer]
<manveru> gchristensen: such as?
<gchristensen> I have decided I should not say right now, to give some time to remediate
<manveru> :)
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
abathur has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
<eyJhb> and finally the let ... in { } clicks, what it actually means
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
<gchristensen> nice
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 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]
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]
<__monty__> gchristensen: Put me on the list for people to tell too, sounds interesting.
<andi-> gchristensen: are you running consul in some redundant mode or just one node for experimentation?
<gchristensen> no consul
cole-h has joined #nixos-chat
<Taneb> I was thinking last night about the infrastructure I'd like to exist for Agda libraries in nixpkgs
<Taneb> Because for the first time I was working on an agda package that depends on an agda package that depends on an agda package
<cole-h> Is `++` valid in an IRC nick?
<ar> 165605 freenode ─── │ ar++: Erroneous Nickname
<{^_^}> ar's karma got decreased to 3
<cole-h> ar++ Darn
<{^_^}> ar's karma got increased to 4
<cole-h> Would have been funny if I created a new user that was `cole-h ++`, `++`'d it, and let the bot go into an infinite loop (I assume) :D
<cole-h> ar++ Thanks for checking what I was too lazy to
<{^_^}> ar's karma got increased to 5
<cole-h> Another (probably stupid question: is it possible to have a different login shell than interactive shell?
* cole-h fat-fingered the enter key, but there should be a closing paren somewhere in there
<srk> Taneb: how do I even get started with Agda? :)
<MichaelRaskin> cole-h: what is interactive shell in this context?
<cole-h> Not-login :P Really, I just want to have my TTY shell be bash (so I don't source my env vars from my fish config), and everywhere else be fish
<Taneb> srk: that's an excellent question. I can't remember how I did
<cole-h> I don't know if that answers your question...
<__monty__> 4 types of shells, interactive login, interactive non-login, non-interactive login, non-interactive non-login. Afaik you usually use an interactive non-login shell.
<MichaelRaskin> You can always create a wrapper script that launches your terminal of choice after setting SHELL=fish I guess
<Taneb> srk: find a tutorial, work through the tutorial, then keep reading the manual and standard library until things begin making sense, then try to do something yourself and fail horribly
<cole-h> Going off what __monty__ said, I guess I want `interactive login` = bash, while `interactive non-login` = fish.
<srk> Taneb: cool, was asking more like how do I get a right shell but that is helpful as well :)
<Taneb> srk: nix-shell -p haskellPackages.Agda works for me (although it might be marked as broken)
<__monty__> srk: The right way to get started with agda is to install the emacs agda-mode.
<Taneb> Assuming you have emacs installed
<Taneb> __monty__: the shell does that for you, I think
<cole-h> My current workaround is to just cancel sourcing my config if I'm in a login shell :P If I could set two different shells for either of those scenarios, that would be a much better solution
<cole-h> But I don't mind the current way I'm doing it
<cole-h> Mainly just curious
<srk> __monty__: Taneb: if I'm a vim user? all is lost? evil?
<Taneb> srk: if you're a vim user you're probably going to have a bad time (I use emacs only for Agda)
<__monty__> srk: I'm a vim user. Agda is the only thing I've used emacs for so far.
<__monty__> cole-h: When are you running into a fish login shell btw?
<srk> right
<MichaelRaskin> cole-h: where you get your non-login shells from? Terminal emulators? Well, you can tell them what to run as a shell
<Taneb> srk: you might want to find an emacs tutorial while you're at it
<__monty__> cole-h: Normally you'd use different rc files for the distinction you want but that's obviously a single shell solution.
<srk> looks like ghc865.Agda might work
<srk> Taneb: yeah, I figured :)
<cole-h> MichaelRaskin: Yeah, that would probably work as well.
<cole-h> __monty__ I start sway from the TTY, so that's where I see the login-interactive shell
<Taneb> srk: if I can summon the motivation I'll start working on my Agda-infra-in-nixpkgs idea
<Taneb> Tonight
<srk> :))
<infinisil> Just tracked down a bug for like 30 minutes, turns out the fix is to just delete a single char
<srk> Taneb: I'm digging deep into symbolic linear algebra .. https://paste.rs/qqU.hs
<srk> infinisil: these are the worst
<cole-h> infinisil: :D At least you found it
<__monty__> infinisil: A single character can make *all* the difference, ask the rapists!
<cole-h> 👀
<Taneb> srk: neat!
<srk> not quite sure about it, my very first such thing
<Taneb> Interest is neat
<cole-h> 😱 crates.io is down
<srk> :)
<cransom> heroku seems to have fallen on it's face.
<__monty__> Sounds like a CDN has issues?
<pie_[bnc]> Taneb: not sure if looking at tihs will do much for you but hi https://discourse.nixos.org/t/wip-rfc-a-new-nixpkgs-frontend-for-language-infrastructures/3447
* pie_[bnc] pops out again
<pie_[bnc]> wish i could get around to working on that stuff again >:(
<Taneb> pie_[bnc]: that does look interesting
<pie_[bnc]> i have a bunch of half-updated stuff on my github
<pie_[bnc]> ugh i really need to uplaod the changes i made to the R stuff
* pie_[bnc] flails helplessly :(
<cole-h> I kinda wish GH let you resolve your own conversations, instead of having to rely on the PR author to do so...
<__monty__> cole-h: Reviewers can do so too.
<cole-h> But only if they're actually a reviewer, and not just some Joe Schmoe who left a drive-by comment
<MichaelRaskin> It's a good question if _requested_ reviewers who are non-committers can do this
<MichaelRaskin> (What about non-committer org members, i.e. maintainers?)
<cole-h> 99% sure non-committers cannot resolve even their own comments. Unsure about requested
<cole-h> Though I haven't been a member of the org for long enough to be completely certain...
<adisbladis> MichaelRaskin: It's almost as if Github was not mean to manage large projects...
<cole-h> ;^)
<MichaelRaskin> adisbladis: Well, I guess their paying market is where each conversation includes at least one committer (but maybe there are protected branches)
<eyJhb> I wil never be ready for FedEx forwarding me to the Swedish department.
<eyJhb> HOw is that okay :(
<cole-h> wot
<adisbladis> Just speak Swedish.. It's easy.
<adisbladis> Even the kids in Sweden know how to!
<eyJhb> Normally it is quite alright, but when I am disputing a case with them, them that is not okay..
<eyJhb> Basically they placed a package without my "consent" etc. that needed to be paid for. Which you have the right to refuse...
<eyJhb> So..
<eyJhb> > DKK 240
<eyJhb> extra.. :(
<{^_^}> "240 DKK = 36.000000 USD"
<adisbladis> MichaelRaskin: Yeah. My observation is that most closed-source orgs have very simple git hosting requirements.
<adisbladis> Thank you {^_^} for converting one currency I don't have a concept of to another one I don't really have a concept of :)
<eyJhb> > USD 36
<{^_^}> "36 USD = 240.000000 DKK"
<adisbladis> :D
<cole-h> lol
<eyJhb> Damn it! I thought it was to EUR...
<eyJhb> > 240 / 7.5
<{^_^}> 32
<MichaelRaskin> It remembered, I guess
<FireFly> just 240 more expensive kr
<MichaelRaskin> > 32 EUR
<{^_^}> attempt to call something which is not a function but an integer, at (string):288:1
<cole-h> > EUR 32
<{^_^}> "32 EUR = 240.000000 DKK"
<cole-h> lmao
<eyJhb> Whooo, everything is in DKK! Soon the world!
<adisbladis> Omg
<adisbladis> This is terri^Wfantastic
<eyJhb> > SWE 00
<{^_^}> undefined variable 'SWE' at (string):288:1
<adisbladis> > SEK 00
<{^_^}> undefined variable 'SEK' at (string):288:1
<waleee-cl> SEK 1000
<adisbladis> :<
<eyJhb> I need one more!
<adisbladis> Sweden is a myth anyway
<waleee-cl> > SEK 1000
<{^_^}> undefined variable 'SEK' at (string):288:1
<adisbladis> It doesn't exist
<MichaelRaskin> That's why FedEx redirects your complaints there
<cole-h> Fake country
<adisbladis> MichaelRaskin: ln -s /dev/null Sweden
<__monty__> waleee-cl: These couple functions are just what we defined when we were having fun : )
<waleee-cl> ah, ok
<adisbladis> > SEK = throw "Sweden doesn't exist!"
<{^_^}> SEK defined
<adisbladis> > SEK 100
<{^_^}> Sweden doesn't exist!
<MichaelRaskin> And they have to be pure so no fetching real-time traded exchange trates
<cole-h> Haha :D adisbladis++
<{^_^}> adisbladis's karma got increased to 38
<__monty__> 🤣
<srk> > true
<{^_^}> true
<srk> I'm tempted to true = false
<cole-h> Dewit
<MichaelRaskin> #define true false // happy debugging
<srk> > true = false
<{^_^}> true defined
<srk> > if true then "y" else "n"
<{^_^}> "n"
<__monty__> This is why we can't have nice things : (
<cole-h> rofl
<MichaelRaskin> > 1 == 1
<srk> hm, can't do true = true! :D
<{^_^}> true
<srk> > true = not true
<{^_^}> true defined
<srk> > if true then "y" else "n"
<{^_^}> infinite recursion encountered, at (string):163:13
<cole-h> LOL
<srk> oop!
<cole-h> > true = !false
<{^_^}> true defined
<cole-h> > if true then ":)" else ":("
<eyJhb> > SEK = (x : toString x + " SEK = " + toString (0.68*x) + " DKK" )
<{^_^}> ":)"
<{^_^}> SEK defined
<eyJhb> Yes. Sooon!
<adisbladis> eyJhb: !!
<__monty__> : (
<eyJhb> adisbladis: come at me
<eyJhb> :D
<cole-h> ⁉
<adisbladis> > DKK = throw "Hvad laver du for helvede?!"
<{^_^}> DKK defined
<MichaelRaskin>   ¿
<eyJhb> > SEK 10
<{^_^}> "10 SEK = 6.800000 DKK"
<waleee-cl> MichaelRaskin: "what the hell are you doing"
<eyJhb> Damn, better throw it in here then
<eyJhb> > SEK = x : toString x + " SEK (weakest of the Norse Borthers) = " + toString (0.68*x) + " DKK"
<{^_^}> SEK defined
<eyJhb> Shots fired.
<cole-h> Funny song, but contains explicit language: https://www.youtube.com/watch?v=mBrYDoe6HMk
<infinisil> eyJhb: That serves as my reminder that I still need to improve the bot to not allow things like true = false :)
<infinisil> Because now it's borked!
<MichaelRaskin> cole-h: In the context, you should also say what language
<cole-h> I fixed it, didn't I?
<eyJhb> Who borked it!
<gchristensen> > builtins.scopedImport ...
<{^_^}> error: syntax error, unexpected ELLIPSIS, expecting ')', at (string):289:23
<MichaelRaskin> > true = (1==1)
<{^_^}> true defined
<cole-h> MichaelRaskin: Sorry :( It's English
<adisbladis> MichaelRaskin: Danish
<srk> cole-h fixed it :)
<infinisil> Ahhh
<cole-h> > if true then ":)" else ":("
<{^_^}> ":)"
<infinisil> > :v true
<{^_^}> true = (1==1)
<infinisil> But still, would be nice to disallow things like that :)
<MichaelRaskin> > builtins.true
<{^_^}> true
<MichaelRaskin> > true = __true
<{^_^}> error: undefined variable '__true' at (string):254:9
<eyJhb> Christ, I started all this bot thingy :p
<MichaelRaskin> > true = builtins.true
<{^_^}> true defined
<srk> infinisil: like good luck with that :D
<infinisil> builtins = throw "No builtins for you!"
<cole-h> > builtins.true
<{^_^}> true
<cole-h> >:)
<eyJhb> I just enjoy my currency conversion. I am happy
<adisbladis> > DKK = x: "${toString (x * 3465.01)} VND"
<{^_^}> DKK defined
<adisbladis> There you go :)
<eyJhb> What
<adisbladis> Vietnamese dong
<eyJhb> > DKK 240
<{^_^}> "831602.400000 VND"
<eyJhb> :(
<eyJhb> I don't want you dong money adisbladis
<gchristensen> wooo
<adisbladis> Oh! I know then! The weirdest currency I've ever encountered
* andi- gives this the typical skeptical monoculture look
<adisbladis> DKK = x: "${toString (x * 604.08)} KHR"
<__monty__> s/GitHub/Microsoft
<eyJhb> KHR?
<srk> more github centralization!
<adisbladis> It's useless even in it's origin country
<Taneb> So now Microsoft controls every JavaScript library?
<adisbladis> eyJhb: Cambodian
<andi-> Taneb: basically
<cole-h> inb4they add analytics to leftpad :(
<adisbladis> Even in Cambodia it's pretty much useless
<adisbladis> Since they use USD for most transactions
<MichaelRaskin> cole-h: telemetry
<MichaelRaskin> analytics is Google
<cole-h> s/analytics/telemetry
<cole-h> x)
<adisbladis> Iirc ~4000 KHR == 1 USD, except they don't use US cents in cambodia
<adisbladis> They use KHR for anything less than 1 usd
<adisbladis> andi-: Don't know if an improvement or not... NPM was already pretty sketchy
<andi-> well not it is just "one" (probably many) legal entity
<eyJhb> adisbladis: npm is love. Not a dependency hell at all...
<__monty__> I guess them hosting npm does mean nixpkgs is probably not getting kicked off for unsupported use?
<adisbladis> Regenerating & building nodePackages put my machine at a load average at 106 yesterday :'(
<adisbladis> It overheated and shutd down
<adisbladis> =)
<emily> better than the package registry being controlled by VCs as before I guess
* emily wonders if this means npm will be rehiring everyone that got fired for organizing :|
<danderson> lol no, it's microsoft
<danderson> aka "we provide services to ICE so that we can win the DoD JEDI contract"
<adisbladis> danderson: It _is_ a pretty cool name for a contract
<danderson> It is. Unfortunatel, it's more evil empire than jedi.
<danderson> e.g. using machine learning to "accelerate the kill chain" in drone warfare.
<danderson> (automated image classification to pinpoint targets for strikes)
<eyJhb> I find Nix harder to read than I should... ( https://medium.com/@MrJamesFisher/nix-by-example-a0063a1a4c55 - Modules, public and private)
<samueldr> something to keep in mind, Nixpkgs has patterns that are Nixpkgs specific, that are built on top of the language
<eyJhb> > SEK 200
<{^_^}> "200 SEK (weakest of the Norse Borthers) = 136.000000 DKK"
abathur has quit [Ping timeout: 256 seconds]
endformationage has joined #nixos-chat
lovesegfault has quit [Quit: WeeChat 2.7.1]
abathur has joined #nixos-chat
<MichaelRaskin> Does WorksOnARM count as the News?
lovesegfault has joined #nixos-chat
<gchristensen> that is up to you
<adisbladis> Close enough
nckx has quit [*.net *.split]
nckx has joined #nixos-chat
<gchristensen> andi-: I'm not using consul at all, because no clustering -> no need for consul :)
<andi-> gchristensen: okay, I always either thought vault so critical for all the usage that you want at lest 3 very trustworthy instances in three failure domains + the needed consul stuff. It always looks like overkill for anything I ever wanted to use it for.
<gchristensen> if I was doing it In Production probably yeah
<gchristensen> but I'm running it in little-p production, my laptop
<gchristensen> and later on 1 or two servers
wildtrees has joined #nixos-chat
<ashkitten> gchristensen: ooh nice article
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]
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]
<eyJhb> Hell Malsets connections is unstable
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
<eyJhb> Time to switch to Dvorak Programmers layout I guess..
<lovesegfault> day started with a panic that I now tracked down to monotonic time being not that
<lovesegfault> amaze
<eyJhb> Lovely way to spend the evening - https://i.imgur.com/gOXgoR6.jpg
<eyJhb> lovesegfault: what was the issue?
<eyJhb> (also, ignore profanity in the image)
<lovesegfault> eyJhb: unclear, I suspect it's a kernel bug
<lovesegfault> we're on an old kernel
<eyJhb> Doesn't seem nice then..
<lovesegfault> 4.4.0-142-generic
<lovesegfault> Yes, not at all lovely :P
<eyJhb> Bring som red wine then! ;)
<cole-h> btw lovesegfault you'll be please to know I've fixed my sway-via-Nix issue
<cole-h> s/please/pleased
<lovesegfault> oh, nice, how cole-h?
<cole-h> When I originally imported my environment into systemd, I had a whole bunch of junk that it didn't like, which somehow caused the unit to fail to start
<cole-h> So I added a check to my login shell config that exits in login mode so it doesn't taint my env and I can safely `systemctl import-environment --user`
<cole-h> (and completely erased everything that I had accidentally put in systemd by parsing the `show-environment` output)
<lovesegfault> Sweet :)
<cole-h> My only problem now is that the swayidle unit doesn't work -- it gives me pam auth failures: `pam_authenticate failed: authentication information unavailable`
Jackneill has quit [Read error: Connection reset by peer]
nckx has quit [*.net *.split]
<cole-h> Rather, this is a problem with swaylock spawned by the swayidle unit
nckx has joined #nixos-chat
<eyJhb> etu: it is a weird way the QMK has started to work
<lovesegfault> hm
<lovesegfault> it works fine for me but it has this weird black flash
<cole-h> Problem is probably that I'm still on Arch :P
<lovesegfault> Come to NixOS :P
<cole-h> Nooooo
<samueldr> yes
<eyJhb> ,locate avr-gcc
<{^_^}> Found in packages: arduino, arduino_core
<eyJhb> Well, none of them export it. Wth :(
<eyJhb> No avr-gcc for NixOS I guess
<MichaelRaskin> pkgsCross.avr.buildPackages.gcc ?
<lovesegfault> ^
<eyJhb> nix-shell -p (how?)
<MichaelRaskin> nix-shell -p pkgsCross.avr.buildPackages.gcc ?
<eyJhb> Nvm
<eyJhb> Excluded from nix search I guess
<eyJhb> Thanks MichaelRaskin :)
* lovesegfault grumbles at nix search
<MichaelRaskin> I guess blindly traversing _this_ package set is not exactly helpful for happiness, either
<eyJhb> Pros and cons every time :(
<eyJhb> Stupid question, how can I make a something.nix, which gives me a shell which has X, Y and Z package?
<eyJhb> Found a example :)
tokudan has quit [Quit: Dunno.]
tokudan has joined #nixos-chat
kraem has joined #nixos-chat
<samueldr> pro-tip: the dot up north is where there's likely absolutely no one, and it should be a couple spots dotted along the st-lawrence
<eyJhb> samueldr: what am I overseeing?
<samueldr> bad representation
<lovesegfault> samueldr: the virus is infecting the snow
<samueldr> they are using the geographic center of the province
<samueldr> it's like that for almost everywhere, but sometimes the country
<etu> eyJhb: qmk provides a shell.nix
<samueldr> exactly that one lovesegfault
<etu> eyJhb: that pins package versions of everything that works
<samueldr> that map is bad
<etu> eyJhb: It's amazing :)
<samueldr> the should be using a gradient intensity per division
<eyJhb> UH etu didn't see that
<samueldr> so if it's the country, the whole country with a gradient, states for states, etc.
<samueldr> those circles are next to useless
<samueldr> though great at making people panic!
<etu> eyJhb: yeah, they are super helpful :)
<eyJhb> Getting ready to configure my new layout for Dvorak
<eyJhb> I both love and hate it
<lovesegfault> I miss my keyboard so much
<lovesegfault> and my monitor
<lovesegfault> I hate wfh
<eyJhb> wfh?
<cole-h> Working from home
<eyJhb> Ahh
<eyJhb> I have 2xErgodox-ez
<cole-h> Go back to work, take your stuff, and go back home :P
<eyJhb> Three monitors at home, only two at uni
<lovesegfault> cole-h: sf is now in lockdown
<lovesegfault> there's mandatory shelter-in-place
<etu> I love wfh :D
<cole-h> Don't get caught
<cole-h> >:)
<lovesegfault> so I have to stay home
<etu> It's gonna be hard to get me back to the office
<lovesegfault> I really hate wfh
<lovesegfault> like a lot a lot
<lovesegfault> hate hate
<gchristensen> lovesegfault: agreed, so important to have the good tools
<lovesegfault> gchristensen: yeah, it's been one week working w/o my ergodox and w/o a monitor and it's so hard
<etu> I was worried about the wfh situation, and I'm just 3 days in. But so far it's the best ever.
<lovesegfault> I don't really have a setup at home
<etu> lovesegfault: I brought my ergodox home and I have a good monitor at home. So no real difference except I'm not interrupted as much.
<etu> Got a proper desk and everything
<lovesegfault> etu: what about chair/desk?
<lovesegfault> ah
<etu> standing desk at home
<lovesegfault> I'm working from my dinner table
<etu> :)
<etu> ough
<lovesegfault> on a dinner chair
<cransom> wfh is my default, but if all i had was an 13" macbook air and a sofa or kitchen table, i would be pretty sad too. but maybe super focused because 3 screens does let your mind wander.
<cole-h> Heroku, your issue doesn't look resolved to me... https://paste.rs/ga6.jpg
<etu> lovesegfault: I would hate that
<eyJhb> etu: do you use compose key?
<etu> eyJhb: yes
<lovesegfault> yeah, I hate it a lot
<etu> eyJhb: I map scroll lock to compose
<eyJhb> What is the name of your main host? :p I need those juicy configs
<lovesegfault> it seems my wife has the virus though, so hopefully I get it too and am immune after a week or so
<lovesegfault> and then I can go back to normal life
<etu> eyJhb: I also map the <>|-key to compose for when I'm on my laptop
<samueldr> latest from WHO is transmission might be possible up to 2 weeks after the last symptoms subside
<etu> eyJhb: agrajag is my private laptop :)
<MichaelRaskin> What does that mean for asymptomatic cases?
<eyJhb> Wait, where do you configure it etu ?
<lovesegfault> I'll be the only one in the city :P
<samueldr> MichaelRaskin: "dang it" I guess :/
<MichaelRaskin> lovesegfault: it
<MichaelRaskin> 's more like they screen before testing
<etu> eyJhb: Then take a look at my modules: https://github.com/etu/nixconfig/tree/master/modules
<MichaelRaskin> So there is only S.Korea who has any clue about lightest cases
<lovesegfault> MichaelRaskin: I know
<etu> eyJhb: aaah :D
<lovesegfault> My mother is in Brazil and has the virus too, but can't get tested
<etu> eyJhb: you know, emacs is my wm :D
<MichaelRaskin> Meanwhile, I hear that in Russia they manage to hospitalise people because of coronavirus after actually testing them and getting clean results.
<MichaelRaskin> (no, the people do not have new symptoms)
<eyJhb> WHy not throw that into xkbOptions etu ?
<etu> eyJhb: For the <>-key you need xmodmap
<eyJhb> But I think there is a option that runs that as well
<etu> hmm, is there?
<etu> I know there's an option for scroll lock to compose
<eyJhb> Maybe not
<etu> I used to do that before I added <> as well
<eyJhb> I just thought I read it somewhere
<etu> If you find it, please send it to me. I rather have an xkbOption than xmodmap :)
<MichaelRaskin> I am annoyed that if X.org completely falls over, I will need to build a keymap out of my carefully modularised xmodmap script setup
<eyJhb> will do etu ! Can you tell me how composite key works? Is it just universal, that if you press it in the US layout, then you can type e.g. swedish and danish letters?
<MichaelRaskin> You mean Compose?
<eyJhb> Yeah, sorry
<MichaelRaskin> As far as I remember (I prefer deadkeys for French/German/…), it is something like e'[Compose] → é
<etu> eyJhb: think of compose as "turning the next keystroke into a deadkey to combine it with the keystroke after"
<MichaelRaskin> Compose is prefix, not suffix? Ah
<etu> eyJhb: compose a e => æ
<eyJhb> But can I just switch to us dvorak, map capslock to compose, and then it works for letters?
<etu> eyJhb: compose a a => å
<etu> eyJhb: compose / o => ø
<eyJhb> So I should do it, and then edit my layout soonis
<eyJhb> Btw.. keyboard_extras dvp, is that dvorak programming?
<etu> eyJhb: Nah
<etu> eyJhb: It's nothing that fancy
<etu> eyJhb: They just map basic keycodes for letters
<etu> eyJhb: So DV_O will be mapped to KC_S to send the keycode for the letter S, and then the keymap in your OS will translate that to an O
<etu> eyJhb: But if you've typed dvorak for close to half your life it's weird to think in qwerty locations. So they made that mapping file.
<eyJhb> But, does dvp do the same but programming layout? Just wondering
<eyJhb> Don't know if you know it
<etu> The layout is something you have to build :p
<etu> My layout is fairly basic, I mostly want a decent thumb-cluster (which everyone except me does wrong ;)) and a basic dvorak.
<eyJhb> But the only real difference is the numbers anyways
<etu> yeah, then you have to edit the layout to get that
<eyJhb> Are you hinting that I do my thumb clusters wrong? ;)
<eyJhb> Might be a project for tomorrow
<eyJhb> I came so close
<eyJhb> But rest of the night is most possibly red wine and waffles
<MichaelRaskin> I feel an implication that even people who get the exact same layout are still doing it wrong
<eyJhb> MichaelRaskin: most people do everything wrong
<MichaelRaskin> Hmmm; not buying. SWap the quantifiers, and then it's way more plausible!
<gchristensen> oh man, I just solved my problem of how to manage the certificates for my laptop's Vault
<gchristensen> I can just generate them on every boot. they'll get erased anyway
<gchristensen> then there is no bootstrapping problem
<__monty__> What do you generate them from? Cause it sounds like you'd still need a seed.
<gchristensen> a self-signed root certificate
<__monty__> Hmm, is providing a single certificate really so much easier than providing a couple?
<gchristensen> why would I do 2?
<__monty__> Well I assumed the trade-off was 1 important root cert or multiple service specific certs so you have more control.
<eyJhb> MichaelRaskin: everything people do most wrong?
<MichaelRaskin> Well, everything people do, most people do wrong. That doesn't require a single person do _everything_ wrong at once.
alex_giusi_tiri has joined #nixos-chat
<colemickens> lovesegfault: my sha256s were different for those nouveau patches
<colemickens> however, after fixing them, things seem to (mostly) work.
<colemickens> my display doesn't wake after switching in my KVM which is a huge bummer, but it's nvidia so I'll take what I can get.
<lovesegfault> colemickens: Nice! if you have issues post in #nouveau and ping imirkin and karolherbst
<lovesegfault> they are super nice and helpful
* colemickens still struggles with GTK apps on a brand new nixos install - particularly icons missing by default.
* colemickens thinks he saw a nixos module for configuring gtk maybe.
<{^_^}> #80865 (by gnidorah, 3 weeks ago, open): nixos/gtk: init
<colemickens> Shout out to my SF homies, also. <3
<__monty__> Does anyone use SRI hashes for nix source hashes? Does nixpkgs prefer them over the usual base32 ones?
<lovesegfault> colemickens: :(
<lovesegfault> Gyms closed
<lovesegfault> I'm going to lose my mind
<cole-h> Just do pushups lol
<cole-h> Hehe
<lovesegfault> I like the rowing machine :(
<__monty__> r/bodyweightfitness
<MichaelRaskin> Just sit on your ass. Catch: it should be your only part touching any support, and all this should happen on a horisontal surface.
neeasade has joined #nixos-chat
<cole-h> Update to my Nix-ification of stuff I use daily: gpg{,-agent{,-ssh}} works!
<viric> colemickens: GTK apps & icons, something that never worked well
<viric> there is also KDE apps & icons & other pieces
<colemickens> I thinking of giving gnidorah's PR up there a shot. It seems like the goal is to maybe address this problem.
* colemickens needs to narrow his focus, too many exciting projects right now
<colemickens> " npm is joining GitHub "
<colemickens> wat
* colemickens thinks about NixOS building so much around GH and shudders
<adisbladis> colemickens: I think most of us would like to move away
<adisbladis> But that would be detrimental to the community
<viric> npm is that javascript thing?
<adisbladis> viric: Yes
<viric> Isn't it a program?
<viric> how a program joins github?
<colemickens> I do appreciate that NixOS's usage of GitHub makes NixOS possible.
<adisbladis> viric: A company is operating https://www.npmjs.com/
<viric> ha, I didn't expect that
<adisbladis> Before it was owned by github it was owned by some venture capitalists
<adisbladis> So while the github mono culture is bad, I'm not so sure this change was a negative one.
<drakonis> where would NixOS go were to leave github?
<adisbladis> NixHub of course
<drakonis> haw
<infinisil> How about https://sourcehut.org/
<viric> we could use a decentralized VCS instead
<drakonis> i'd appreciate sourcehut
<drakonis> holy crap there's a way to look up projects there now
<drakonis> its nice.
<adisbladis> infinisil: It's not gratis though
<drakonis> sircmpwn does make it gratis to projects
<infinisil> And self-hosting could be done
<drakonis> also that
<adisbladis> Which costs $$$$ and volunteer time that could be spent hacking :)
<adisbladis> Githubs value proposition is still great
<drakonis> to a certain degree
<infinisil> Yeah I don't mind GitHub really :)
<drakonis> there'll be a point it'll be necessary to shed it
<drakonis> hedging our bets would be best
<adisbladis> I don't actually think so
<adisbladis> Not in the next 5-10 years at least
<viric> can all countries reach github?
<drakonis> the range's a little wide
<drakonis> no
<drakonis> all countries with sanctions applied by the US cannot reach github
<drakonis> imagine if the president wakes up and decides to sanction china
<drakonis> or someone else with a significant contributor base
<viric> NixOS is usable by whoever US wants
<viric> only.
<viric> NixOS still does not have any way to become full-offline, right?
<adisbladis> Sourcehut is also US hosted it seems, so the same legal hurdles applies?
<drakonis> you can run your own instances though
<adisbladis> drakonis: Which again, costs time and money.
<adisbladis> Both of which we don't have enough of.
<drakonis> and yes there's the same hurdles, sadly.
<adisbladis> Gitlab.com suffers from the same thing
<adisbladis> On a more technical note I find the sourcehut UI very unwelcoming
<adisbladis> Tbh github is pretty great in a lot of aspects
<colemickens> I'll take basically anything over waiting 1.5 seconds for every dir navigation in the GitLab UI.
<drakonis> i find that github has some kinda weird design choices.
<cole-h> I don't mind it, but I think the largest barrier to entry for this project would be that the intended way to file bugs, etc, is by mailing lists
<colemickens> sourcehut took some getting used to, my biggest remaining issue is that it's hard to get from Todo -> the code repo without manual URL manging.
<drakonis> that seems to be worked on atm
<colemickens> mangling*
<adisbladis> Also I'm very wary of the author.. I'm not a fan.
<samueldr> colemickens: with github and gitlab, you can use `T` for fuzzy search in a file listing, if you know what you're going after
<drakonis> i'm aware.
<samueldr> why is it hidden behind an obscure key trigger? dunno, it's dumb
<drakonis> the web patchsets have been available since october last year
<drakonis> cole-h: the intended way is email all the things
<drakonis> but it looks like there may or may not be a web path being developed
<drakonis> not optimal for the majority of people but
<cole-h> Interesting to hear. Drew hasn't posted much of it (or that I remember) then
<drakonis> oh actually
<drakonis> its there already
<drakonis> you can report and comment on tickets from the web now
<drakonis> fun.
<drakonis> filing and commenting works on the web UI, truly grand.
<drakonis> i suppose he had to do it, otherwise alienate a potential userbase
<cole-h> If you're talking about todo.sr.ht, pretty sure he only intended that to be used for TODOs for the codebase as opposed to issues
<cole-h> If there's something else, I missed it
<drakonis> i can see issues in here
<__monty__> Afaik sr.ht was always designed to be email-first, not email-exclusively?
Jackneill has joined #nixos-chat
<drakonis> yeah
<__monty__> Would you even need a service for email-exclusively?
<gchristensen> it is difficult to `git clone` from a mailing list
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]
<__monty__> There's plenty of git repository hosting services though.
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]
<drakonis> they have a limited amount of features not equivalent to that of the big services
<eyJhb> MichaelRaskin: wise words :)
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
<__monty__> I'm not criticising sr.ht. I'm only pointing out they never claimed to be email-only. Which adisbladis seemed to assume?
malSet has joined #nixos-chat
<eyJhb> adisbladis: sudden swedish mixed into the text? ;)
malSet has quit [Read error: Connection reset by peer]
<eyJhb> What is wrong with Gitlab btw.?
<adisbladis> eyJhb: Huh?
malSet has joined #nixos-chat
malSet has quit [Read error: Connection reset by peer]
<adisbladis> __monty__: I never assumed that :}
<adisbladis> I know they have a web ui
<eyJhb> "gratis"
<adisbladis> eyJhb: That's english too :>
<eyJhb> Holy hell. Didn't know that
<eyJhb> I will use that from now on instead of free.
<adisbladis> It's not that widely used :D
<eyJhb> One word at a time adisbladis , we will conquer the world!
<eyJhb> Sadly for me, my written Danish is about as good as my English.
<adisbladis> Kamelåså!
<eyJhb> Norsk?
<adisbladis> eyJhb: Oh you have missed something amazing
<cole-h> btw, re our GH conversation earlier: confirmed: you cannot "resolve" your own reviews on PRs as part of a team w/o commit bit
<adisbladis> eyJhb: My sister is starting to point out my swedish is getting "strange"
<adisbladis> I don't speak it often enough so sometimes it's a literal translation from english :D
Jackneill has quit [Remote host closed the connection]
<eyJhb> Ohh, I have seen it
<eyJhb> That is basically how I speak atm.
<eyJhb> After I have had all the trouble with my mouth, my speech is generally screwed
nckx has quit [Ping timeout: 264 seconds]
__monty__ has quit [Quit: leaving]
nckx has joined #nixos-chat
<cole-h> Ya hate to see it: https://paste.rs/fvO.jpg
<eyJhb> Reminds me. I have ran du -hs on /nix/store 5 times in the last two days
<eyJhb> Forgot to see the output each time
<samueldr> eyJhb: ncdu!
<eyJhb> samueldr: scans the whole disk??
<samueldr> just like du, but as a TUI application
<eyJhb> /nix/store ended up being 120 GB
<eyJhb> I should prop cleanup a little
<samueldr> though it has some nice goodies, you can save the data structures to a (json) file and use it later
<adisbladis> eyJhb: Do you have store optimisation enabled?
<eyJhb> Yeah
<adisbladis> Which file system?
<eyJhb> ` nix = { autoOptimiseStore = true; };`
<eyJhb> You will not like this.
<eyJhb> EXT4
<adisbladis> :<
<eyJhb> I should go something else
<adisbladis> No built in compression then
<eyJhb> And run dedup as well
<eyJhb> btw. thanks samueldr , it seems quite nice!