gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
Drakonis has quit [Read error: Connection reset by peer]
<infinisil> jasongrossman: (it won't know about a "talyz:" user)
Drakonis has joined #nixos-chat
jasongrossman has quit [Read error: Connection reset by peer]
jasongrossman has joined #nixos-chat
<jasongrossman> Thanks infinisil.
<jasongrossman> ,tell talyz Yes, that's exactly how I'd categorise vegans, except that you could add environmental.
<{^_^}> jasongrossman: I'll pass that on to talyz
webster23 has quit [Ping timeout: 264 seconds]
Guanin has quit [Remote host closed the connection]
Myhlamaeus has joined #nixos-chat
andgate has joined #nixos-chat
andgate has quit [Remote host closed the connection]
andgate has joined #nixos-chat
andgate has quit [Remote host closed the connection]
andgate has joined #nixos-chat
jasongrossman has quit [Ping timeout: 246 seconds]
andgate has quit [Ping timeout: 260 seconds]
endformationage has quit [Ping timeout: 248 seconds]
Drakonis has quit [Quit: WeeChat 2.4]
<ashkitten> augh, so tired. i've been trying to fiddle with petabyteboy's mastodon module to get it to work with my fork (or at all, really) but i keep running into issues
benkolera has left #nixos-chat [#nixos-chat]
Myhlamaeus has quit [Remote host closed the connection]
Arahael has quit [Ping timeout: 246 seconds]
arahael1 has joined #nixos-chat
jasongrossman has joined #nixos-chat
jasongrossman has quit [Ping timeout: 244 seconds]
<etu> I notice that tmpfs is an excellent filesystem for the home directory
<etu> :D
magnetophon has joined #nixos-chat
<makefu> etu: somehow a lot of nix-ers try $HOME as immutable file-system. it seems that nix/nixos somewhat helps with these kinds of experiments
<etu> makefu: Yeah :)
<etu> makefu: It would probably be a lot harder on other distros :)
<etu> unless you use some kind of overlayfs
<etu> Which is one easy way... :)
<qyliss> ooh, I haven't thought of a ro mount
<talyz> ,tell jasongrossman Ah, yes, of course!
<{^_^}> talyz: I'll pass that on to jasongrossman
<{^_^}> talyz: 9 hours, 18 minutes ago <jasongrossman> Yes, that's exactly how I'd categorise vegans, except that you could add environmental.
<qyliss> My /home has been 0500 forever, though
<talyz> etu: It works well for the whole root, really (if you remember to link / bind stuff you want to keep ;)
<etu> talyz: Yeah, I have had it for the root for like a couple of months now, but I was a bit scared and bind-mounted in my home-directory but have now started doing the work of symlinking in what I need there so that can be tmpfs as well :p
<talyz> etu: Yeah, I know ;)
<talyz> etu: Did you use my module? :)
<etu> talyz: Nope :)
<etu> Or, not yet
<etu> we'll see
<qyliss> sad about non-free office hours :(
<talyz> etu: Ah, okay. I should probably document it a bit, too..
<talyz> qyliss: What are the benefits of a ro home? :o
<etu> talyz: Lots of sad applications? :D
__monty__ has joined #nixos-chat
<qyliss> talyz: no config being written outside nix behind my back
<qyliss> I can be sure my system is entirely reproducible
<qyliss> And also my home directory doesn't get full of ugly dot files
<__monty__> qyliss: Talking about doing config in nix, rather than having nix put your configs in place?
<tilpner> "# Find the current version number with `git log --pretty=%h | wc -l`"
<tilpner> That's a versioning scheme I hadn't seen before
<gchristensen> lol yeah that is one you could choose
<tilpner> SE recommends git rev-list master --count
<gchristensen> SE?
<tilpner> StackExchange, here StackOverflow
<gchristensen> cool
<tilpner> I found that in lorris release.nix, while investigating why its rolling-release doesn't build here
<gchristensen> I know :) --- interesting that it doesn't build ...
<talyz> etu: yeah, that's what I was thinking :p
<talyz> qyliss: Ah, right, but are most applications fine with that?
<tilpner> Oh no, the lorri error changed and I can't explain why :c
<tilpner> It went from vendoring hash mismatch to unstable library features
<gchristensen> ouch
<gchristensen> tilpner: maybe fetch the carnix branch and make suure it is up to date with rolling release
<tilpner> Oh
<tilpner> This might be because I built it from git checkout on a server that is registered as a cache on my laptop
<tilpner> So spooky side effects at a distance?
<gchristensen> the buildRustPackage thing is a really horrible hack
<tilpner> Well, that's consistent
<gchristensen> hm?
<tilpner> lorri/carnix also gets the unstable library feature error
<gchristensen> ruh roh
<tilpner> Which is probably because I pass custom pkgs, not the internally provided pkgs
<tilpner> I can fix that
magnetophon has quit [Ping timeout: 272 seconds]
<gchristensen> I'm glad you have an idea on what is going on
<tilpner> Yay, it builds again
<gchristensen> cool, want to +1 that PR? :)
<tilpner> I put a heart on it already :)
<gchristensen> or "approve" it?
webster23 has joined #nixos-chat
<tilpner> I don't feel qualified to review it, I have no idea what lorri_travis_fold is
<tilpner> Although I could just read travis_fold.sh
<tilpner> Oh, is that just to allow folding blocks in their log output?
<gchristensen> yea
<tilpner> Line 7/8 in default.nix looks weird, that empty set might be easier to spot if it was on one line
<gchristensen> true
magnetophon has joined #nixos-chat
<tilpner> :o mystery donation via OC
<ar> /41
<tilpner> Despite all that's wrong with buildRustPackage, it's still the most reliable one I've tried :/
<gchristensen> yeah that 2k donation is surprising tilpner :)
<tilpner> And now it hurts a little that OC gets 158.25€ (7.9%) of that c.c
<gchristensen> nah
<gchristensen> we got that donation *because* we're on OC now
<__monty__> What's OC?
<gchristensen> opencollective.com/nixos
<__monty__> Oic
* etu just joined that one as well :)
<etu> It seems better than the paypal donations since it's more transparent and visible
<gchristensen> exactly
<__monty__> They also eat less than paypal does probably.
* etu also happened to double the donation while moving it from paypal to oc
<gchristensen> :D
jasongrossman has joined #nixos-chat
Drakonis has joined #nixos-chat
jasongrossman has quit [Remote host closed the connection]
tilpner has quit [Quit: WeeChat 2.4]
tilpner has joined #nixos-chat
<__monty__> lol
<__monty__> Is the heat produced actually noticeable when it's hot out?
<gchristensen> definitely
<gchristensen> it raises the temperature of my basement several degrees, and I depend on the basement to cool my house when it is hot out
<gchristensen> (I have a big fan to suck cool air from my basement in to the rest of my house)
<__monty__> What sort of monstrous hardware is running r13y?
<gchristensen> a 6 core AMD desktop
magnetophon has quit [Ping timeout: 268 seconds]
<__monty__> o.O
<__monty__> No idea that could produce so much heat.
<gchristensen> it can produce a bit of heat, but the big deal is it takes like 12h
magnetophon has joined #nixos-chat
<__monty__> Are *you* causing all this excessive heat? -.^
<gchristensen> so it is at maximum power consumption (heat generation) for 12h in my basement
__monty__ has quit [Ping timeout: 258 seconds]
endformationage has joined #nixos-chat
__monty__ has joined #nixos-chat
__monty__ has quit [Ping timeout: 268 seconds]
__monty__ has joined #nixos-chat
<Church-> Can't wait to put new drive in nix laptop
<Church-> Yay
<Church-> The joy of NixOS. I can easily reinstall back to my base state
<gchristensen> yay :D
Guanin has joined #nixos-chat
<pie_> joepie91, fanfics, but knowledge management
<pie_> this is actually pretty cool
<pie_> weaponised autism but in a good way
<__monty__> I missed it. Talking about some sort of personal wiki software or something?
<pie_> oops, failed to actually link
<pie_> im mostly skimming right now
<__monty__> Is the blog about "being a fan" or about pinboard?
<__monty__> And if it's the latter, how does it compare to pocket as a del.icio.us replacement?
<pie_> something something fandom people writing a big collaborative document about what they want from pinboard after the owner asked for feature requests to take over the market after delicious got rekt by a buyout
<pie_> or something like that
<__monty__> Ok, thanks for the TLDR, sounds like it might be an interesting read.
<gchristensen> in the end, pinboard bought delicious
<__monty__> Gdi, G, what's with the spoilers?
<__monty__> ; )
<gchristensen> oh oops
<gchristensen> lol: In the time it took me to explain why I couldn't build the feature, someone did it for me and stuck a hyperlink into this document that is spiraling out of control.
<gchristensen> eh that wasn't a big part of the story anyway. he likes to brag about he took their massive AWS account and moved decilious to a single, cheap server
<joepie91> pie_: very good article, and I recognize that high-powered anonymous collaboration from both archiveteam and anonops
<joepie91> where it worked similarly
<pie_> im not actually sure what anonops actually did
<joepie91> well, 'anonops' didn;'t really do anything, it was an IRC network
<joepie91> but a lot of stuff went on there, much of it similarly collaborative
<joepie91> though using etherpads, not google docs :P
<pie_> oh
* samueldr annoyingly hits inode exhaustion again
magnetophon has quit [Ping timeout: 272 seconds]
<samueldr> something I never had to deal with before nix lol
<gchristensen> lol
<gchristensen> what do people use instead of google sheets?
<andi-> try zfs/btrfs/…?
<samueldr> andi-: don't they also have limits? or is it something that just does not exist with zfs?
<gchristensen> zfs/btrfs has inodes, but they are not limited
<samueldr> right
<samueldr> though I could also tune the fs right
<andi-> unless you know your exact workload it might be hard to tune (just right amounts) whenever the system was created.
<samueldr> I'm comfy in my no-frills ext4 socks
<samueldr> andi-: exactly
<samueldr> in this case it's my home build which hadn't been collected in what might have been forever
<samueldr> home builder*
<andi-> I am very happy with BTRFS on my notebook. I have a BTRFS on a server that corrupts once a year and has to be touched manually :/ Disks look fine every time.
<samueldr> it's not like I hit inode limits every day, it's only the second time since using nix :)
<samueldr> and the first time was due to how badly proxmox assumes containers are for small fs with few files
<samueldr> something in the fs creation with proxmox ended up with way too few inodes
magnetophon has joined #nixos-chat
<samueldr> (since then I just dropped using it, it didn't feel right to use)
<joepie91> gchristensen: I use libreoffice calc
<etu> gchristensen: ord-mode :)
<etu> org-mode*
<samueldr> (relatedly) I had the same question, but was thinking about concurrent editing from multiple locations
<samueldr> I should try again the web version of apple's numbers
<samueldr> always was a fan of the way they handle sheets
<ashkitten> i still need to port all my dotfiles from dotbot to nix
<__monty__> Hmm, qyliss never answered my question this morning.
<gchristensen> samueldr: oh cool, I didn't know the yhad a web one. they do a nice job, indeed
<samueldr> I wonder how the oss web based ones stack up
<ashkitten> wasnt there a floss web based collaborative editing thing with nextcloud integration?
<ashkitten> the interface looked decent
<samueldr> I think that's what I was thinking about
<ashkitten> says it's libreoffice based
<ashkitten> what does that even mean for a web app
<ashkitten> did they port the libreoffice codebase to javascript? did they build it to target wasm and slap a new frontend on?
<__monty__> You don't think you could share code just because the gui's rendered using js?
<ashkitten> hmm
<samueldr> >> LibreOffice Online is the online office suite edition of LibreOffice. It allows for the use of LibreOffice through a web browser by using the canvas element of HTML5
<ashkitten> wait
<ashkitten> does it literally run libreoffice in the background and render to a canvas
<joepie91> I would not be surprised lol
<ashkitten> wow
<samueldr> wondering if it's streaming the hard work from the server, or wasm
<samueldr> and either of those wouldn't be surprising
<ashkitten> i hope it's wasm
<samueldr> though I think streaming the draw events is more likely
<ashkitten> i suppose it could be asmjs
<ashkitten> since asmjs has been around since before wasm
<samueldr> well, whatever compile-to-basically-js
<ashkitten> i seriously hope it's not just streaming from the server
<__monty__> I think the server-side approach is just smarter because you have to multicast it anyway for collaborative editing.
<__monty__> (Which is easier to do centralized if decentralization's not a goal anyway.)
<__monty__> Sending diffs to the server is probably a lot harder than just sending a sequence of inputs?
<samueldr> and built-for-streaming GUIs are likely performant enough, not like vnc where they just stream the bitmap data
<samueldr> so I guess it doesn't work offline
<samueldr> (well, concurrent editing wouldn't)
<samueldr> (in any of the other options)
<joepie91> collaborative editors usually use https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type
<joepie91> modern ones anyway
<joepie91> older ones are often based on https://en.wikipedia.org/wiki/Operational_transformation
<joepie91> cc __monty__
<joepie91> dunno about 'libreoffice-based" ones though
<joepie91> CRDT-based things could, in principle, work offline
<qyliss> I was just informed that the flakes RFC is #1 on Hacker News??
<joepie91> that
<joepie91> how
<joepie91> what
<joepie91> ???
<joepie91> it is
<joepie91> I don't understand why or how
<ashkitten> samueldr: interesting. i wonder if it'd be possible to get it to run with wasm, but the point about trying to jit millions of lines of cross-compiled js is scary
<ashkitten> wasm on the other hand has much closer to native performance
<qyliss> joepie91: ikr
<samueldr> possible, likely? sane? just as with any huge "legacy" codebase I guess
<gchristensen> samueldr: it is amazing that apple has managed to make their web one SO similar to their desktop one.
<samueldr> not sure how their tools evolved since the last time I used them
<samueldr> but maybe ~2014-2015 they had a great feeling to them
<samueldr> but I never used their tools outside of the web ones :)
<ashkitten> i refuse to use any rich text editor though
<ashkitten> i'd rather learn latex
<ashkitten> if you select a thing, bold it, then select it again and unbold, what you've probably just done is wrapped the bold in unbold, rather than actually reversing it
<ashkitten> and your document just grows in size like that
<samueldr> I like WYSIWYM rich editors for that
<samueldr> where those symbols end up in the editor view
<ashkitten> wysiwym?
<ashkitten> ahh
<ashkitten> i do like those
<samueldr> it's kinda more involved than just "bold here" in some cases
<samueldr> but the general idea is nicer to use since you can also add semantics that are visible at edition
<ashkitten> i think in vscode by default if you edit markdown it'll apply certain formatting to the text in the editor along with the symbols that cause that formatting
<samueldr> that's kinda it yeah
<ashkitten> but wysiwyg editors are just awful
<samueldr> yeah
<samueldr> ideally a good wyswig editor at least minimizes the tree to the simpler expression, but you can realistically still have some<b> </b>useless bolding
<__monty__> Technically, editors like vim/emacs do the whole bold/unbold thing too. They just don't write it to the file. They might write it to an undo history file though : >
<ashkitten> wdym
<ashkitten> vim isn't a rich text editor
<__monty__> The undo history is essentianlly the same bold/unbold information. Just in a different form.
<ashkitten> the difference is that your wysiwyg editor treats both the bold and unbold tags as canonical
<ashkitten> undo history is explicitly not canonical
<__monty__> Yeah, just being facetious for comedic effect.
<joepie91> modern WYSIWYG editors don't usually have 'unbold tags', but rather undo or split a bold tag depending on whether the unbold was partial or not
<ashkitten> i guess
<ashkitten> i still don't trust them anyways because i'm a reproducibility fanatic
__monty__ has quit [Ping timeout: 245 seconds]
pie_ has quit [Ping timeout: 252 seconds]
__monty__ has joined #nixos-chat
magnetophon has quit [Read error: Connection reset by peer]
<Church-> Grumble. Have to wait for my screwdriver set to arrive before new drive goes in
<Church-> Bummer.
<__monty__> Not a fan of the old tried and true dangly method?
<ashkitten> hoping i can get nixos working on the cosmo communicator
<ashkitten> *vibrates*
<ashkitten> does nixos have support for telephony stuff?
<samueldr> not currently
<samueldr> does the telephony stuff for it work under their debian image?
<samueldr> (I guess it must)
<manveru> ashkitten: well, there's freeswitch
<ashkitten> i mean like
<ashkitten> for actual telephony hardware
<manveru> i assume that's down to the kernel, but no idea :P
<samueldr> I assume that since it looks so closely related to the gemini PDA most things will work about the same
<samueldr> >> For today, if you want linux and phone functionality, use sailfish. If you want to use debian, you are probably out of luck.
<samueldr> looks like it's a mixed bag
<samueldr> not something that's impossible, but not currently done, if that forum is a reliable source
<ashkitten> i'll probably send them an email later
<__monty__> Fingers crossed for sailfish's success : )
<__monty__> Anyone know whether it's usable?
<samueldr> sailfish?
<samueldr> likely usable
<samueldr> not sure though if planet computers have the full blown with-android-apps support
<ashkitten> does the gemini pda have sailfish?
<ashkitten> meh im too tired for this
<ashkitten> nap time
<samueldr> looks like it's the community edition
<samueldr> or not
<__monty__> I don't really need any apps outside of a good ad-free browser and a good ebook reader.
<samueldr> 29.90€
<infinisil> /r/programming man, here is a pretty good and extensive introduction article to formal proofs: https://www.reddit.com/r/programming/comments/cfpgyl/mathematical_proof_of_algorithm_correctness_and/
<infinisil> It has more down than upvotes
<__monty__> Doesn't show up/down votes to me.
<infinisil> Well it shows on desktop, it's 43% upvoted (after it received my upvote)
<Ralith> correctness is the devil
<samueldr> especially on low vote counts, reddit's numbers cannot be trusted
<__monty__> Because of fuzzing?
<samueldr> yeah
<samueldr> supposedly for helping countering vote manipulation
<samueldr> and maybe also it eases caching woes through eventual consistency
<infinisil> samueldr: I haven't encountered any other subreddit with such low upvote percentages than /r/programming
<infinisil> I really don't think it's just reddit messing with the votes
<infinisil> Oh well, programmers be programmers
<__monty__> r/programming's a little brogrammery imo.
* infinisil is unsure what that means
<makefu> infinisil: probably because it got reposted a couple of times before that already: https://old.reddit.com/submit?url=https%3A%2F%2Fstackabuse.com%2Fmathematical-proof-of-algorithm-correctness-and-efficiency%2F
<infinisil> makefu: Hm I doubt that so many people remember something so far back with so little karma. But that's a theory yeah
<makefu> infinisil: you may be right, 1 months is like 3 years in internet-time
<infinisil> Yeah lol
<infinisil> Oh well, the solution is to just not care about this stuff, stop browsing reddit and coding something useful instead
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
__monty__ has quit [Ping timeout: 272 seconds]
__monty__ has joined #nixos-chat
<__monty__> infinisil: Tbh, the article wasn't all that great though. Already knowing this made it seem exceedingly slow to me while at the same time it seemed exceedingly rapid for someone with no familiarity. That's not a good combination.
<infinisil> Yeah, it wasn't a great article, but it was decent imo, certainly not deserving more down than upvotes at least
__monty__ has quit [Quit: leaving]
<andi-> slack manages to add a tray icon on sway but nm-applet (with appindicator) fails. Not the result I would have expected.
* gchristensen has retreated to his basement