<drakonis>
despite it driving up low quality commits
<infinisil>
If you're a fan of casually abusing the Nix evaluator, here's a fibonacci number implementation that does recursion using IFD: https://paste.infinisil.com/ziH5ttBYXw.nix
<gchristensen>
I like it
<infinisil>
I should make a repository collecting cursed Nix
<pie_>
wow the osm registration process feels pretty good
spudly[m] has quit [Client Quit]
<pie_>
"If you just want something small fixed and don't have the time to sign up and learn how to edit, it's easy to add a note. " well i could have seen that earlier, oh well :P probably going to be doing more work than that anyway
spudly[m] has joined #nixos-chat
spudly[m] has quit [Quit: killed]
spudly[m] has joined #nixos-chat
buckley310 has joined #nixos-chat
spudly[m] has quit [Quit: killed]
spudly[m] has joined #nixos-chat
waleee-cl has quit [Quit: Connection closed for inactivity]
<abathur>
gchristensen: did you find that via resholve, or were you using osh on its own?
<gchristensen>
osh on its own
<gchristensen>
I haven't tried resholve on it
<abathur>
cool
<gchristensen>
maybe you'd like to? :)
<abathur>
if it's a parse error it'll presumably break in resholve since getting to the AST back with no errors is a pre-req :)
<abathur>
I've wondered, as OSH/Oil come out the other side of this c++ effort, if it'd be interesting to swap it in as the build shell in Nix/Nixpkgs and see how it goes
<abathur>
__monty__: it is a little inconvenient sometimes, but he generally only does that when someone reports an issue to him on zulip and he wants to make sure it gets tracked on GH; it might be better if there was a summary, but I understand him not wanting to spend time doing more than link; might make for an interesting bot...
spudly[m] has joined #nixos-chat
<abathur>
gchristensen: nod
<pie_>
hm maybe i should hold an openstreetmap workshop in the dorm
<eyJhb>
Any good way to track a file in Git history? Might have been removed, moved, etc.?
<Valodim>
`git log -p`?
waleee-cl has joined #nixos-chat
<abathur>
eyJhb: I have to search this every time I need it (and it's been a bit)... so I suspect I've only ever found arcane combinations of flags/commands; hope you find something more memorable this time? :)
rajivr has quit [Ping timeout: 240 seconds]
rajivr has joined #nixos-chat
<eyJhb>
`all: renaming files` :((( outside of Git
<eyJhb>
Valodim: Thanks ! :)
jared-w has quit [Ping timeout: 244 seconds]
rizary has quit [Ping timeout: 244 seconds]
jared-w has joined #nixos-chat
<srhb>
eyJhb: Also --follow
bbigras has quit [Ping timeout: 240 seconds]
aria has quit [Ping timeout: 244 seconds]
<__monty__>
abathur: Doesn't zulip provide for any way for unregistered people to read messages?
aria has joined #nixos-chat
rizary has joined #nixos-chat
irc_bot[m]1 has quit [Ping timeout: 240 seconds]
crazazy[m] has quit [Ping timeout: 240 seconds]
irc_bot[m]1 has joined #nixos-chat
<abathur>
gchristensen: got booze compiled; took a bit of fiddling but also eventually got the passthrough example script working (at least for simple read/write/list ops)
waleee-cl has quit [Ping timeout: 240 seconds]
<gchristensen>
nice
<gchristensen>
yikes :)
<abathur>
__monty__: I thought it did, myself; not sure if I'm mis-remembering, or if it changed, or if that's a configurable
<abathur>
WordExpansionFS here we come
<abathur>
WordSplitting?
<abathur>
that
<__monty__>
I came across some "guest user" and "public room" stuff with a quick google but it wasn't clear to me whether this actually means public or just, available for accounts without an explicit invite to the room.
crazazy[m] has joined #nixos-chat
waleee-cl has joined #nixos-chat
bridge[evilred] has joined #nixos-chat
liff has quit [*.net *.split]
mog has quit [*.net *.split]
mog has joined #nixos-chat
liff has joined #nixos-chat
colemickens has quit [Ping timeout: 240 seconds]
colemickens has joined #nixos-chat
bbigras has joined #nixos-chat
ky0ko1 has quit [Ping timeout: 244 seconds]
ky0ko1 has joined #nixos-chat
hax404 has quit [Ping timeout: 240 seconds]
hax404 has joined #nixos-chat
Ox4A6F has quit [Ping timeout: 244 seconds]
Ox4A6F has joined #nixos-chat
<bqv>
So I now have galliumos on my chromebook
<bqv>
And I'm realising
<bqv>
User mode nix is not very space efficient…
<bqv>
I keep having "why don't I save space and install this with dpkg" moments
<__monty__>
bqv: Otoh, nix kinda hands you the tools to get rid of all the redundancy, even multiple versions of shared libs.
<bqv>
At the cost of either having at least one duplication set, or it not being galliumos at all anymore
<__monty__>
Couldn't you symlink all the galliumos things into the nix store (in principle)?
<gchristensen>
I wish I could `git add -ip` by pattern
<bqv>
Probably, but that sounds insane :D
<gchristensen>
ie: if the patch segment looks like -#!/bin/bash, +#!/usr/bin/env bash, add
<bqv>
Realistically I should just mutate this into nixos, but then I lose some support
<__monty__>
Hmm, my idea doesn't quite work either, if galliumos requires a shared library at two versions you'd need them both in the store to even be able to symlink.
<eyJhb>
gchristensen: interactive patch?
<gchristensen>
yeah but I'm adding thousands of exactly this diff
<eyJhb>
What are you up to?
<eyJhb>
And when will you start twitch streaming it?
<__monty__>
I suspect he's replacing bash with osh in nixpkgs or something?
<gchristensen>
using `sed` and `grep` to fix #!/bin/bash to #!/usr/bin/env bash
<gchristensen>
nah, this is a client thing
<__monty__>
Ah : (
<eyJhb>
Aww :(
<eyJhb>
We need a Tweag Twitch stream
<__monty__>
I was thinking bash wouldn't be available at /bin anymore.
<eyJhb>
So I can stop watching KitchenNightmares
<__monty__>
gchristensen: Next best thing, work from a state without other changes, run the sed, add everything?
<gchristensen>
heh
<gchristensen>
aye
<srk>
gchristensen: I have git sed alias .. sed = "! git grep -z --full-name -l '.' | xargs -0 sed -i -e"
<gchristensen>
huh
<infinisil>
What if we celebrated all our birthdays on one day
<infinisil>
And we'll call it.. Birthdayday
<__monty__>
I don't like it.
<__monty__>
Reinforces the advantages for older kids.
<infinisil>
__monty__: Which advantages?
<__monty__>
Because of the periodicity of many things, often on somewhat year sized chunks, older kids have an advantage. In school they have the advantage of better motor skills and a more developed brain at the time of the tests. In sports they have the advantage of simply having more and more mature muscle.
<pie_>
infinisil: didnt say moce peoples actual birth dates xd
<pie_>
*move
<infinisil>
Yeah I'm not sure what you mean __monty__
<__monty__>
The studies I've seen on this looked at violin players and soccer players for example. The boys that were older at the times of try-outs and exams performed a little better, which coaches/teachers notice so they get more attention, this causes a cumulative effect.
<infinisil>
I'm just saying that we celebrate birthdays on one date, as a general day to celebrate aliveness
<pie_>
stop giving the business lobbyists ideas
<__monty__>
It's very obvious in elementary school. The younger kids in classes are categorised as being "nth year's" just like the older kids in the classes.
<gchristensen>
__monty__: that is really cool to know
<__monty__>
And your one birthday a year thing would do the same, pretend people born almost a year apart are "the same age."
<__monty__>
gchristensen: Yeah, interesting though unfortunate. Anecdotally I indeed had it real easy in school, kinda felt like I had a year stolen from me because everything was too easy. In a niece I see the reverse, she's the youngest in her classes and she often trails in performance.
<__monty__>
Age isn't the only thing that makes a difference of course. Your environment can make a huge difference too.
<eyJhb>
There are something about this regarding sports as well
<eyJhb>
According to at what time of the year you are born, something something
<bqv>
so what if we quantized age at a smaller scale, so it no longer made a significant enough difference
<__monty__>
eyJhb: Yeah, I mentioned the soccer players.
<bqv>
hypothetically of course. no way any country would have the balls to do something like that
<eyJhb>
__monty__: I was thinking basketball
<__monty__>
And indeed, if you look at top soccer players their birthdates kinda cluster around a specific time of the year, I think it was like february/march.
<eyJhb>
Also, there was a lot of text
<eyJhb>
Yeah, about that time
<sphalerite>
bqv: idk, this could be done on a school level, at least for schools that are big enough that they have multiple classes in a single year.
<eyJhb>
/april
<eyJhb>
What is the win of clustering them?
<sphalerite>
though I guess the classes will still be compared to each other
<bqv>
sphalerite: that would likely violate educational laws in almost every jurisdiction
<bqv>
because of curricula
<__monty__>
Ideally every kid would have personalized education based on performance in each subject of course.
<__monty__>
Which makes it hard on two dimensions.
<bqv>
it's an optimization problem :D
<__monty__>
(Because you can be good at math and bad at french, for example.)
<bqv>
and a clustering problem, i suppose
<__monty__>
Note that I'm basing this on a psychometrics course from a couple years ago. I haven't kept up with research in that area.
<bqv>
that still makes your armchair far bigger than ours
<__monty__>
As an aside, I have to say I'm really glad I elected for courses as far removed from my major as possible while still getting credits. I can recommend it highly.
<bqv>
i liked the idea of electives, but in practice the education system broke me so now i tend to just appropriate information by osmosis and fly by the seat of my pants
<bqv>
if it got me to uni, it can get me further
<__monty__>
Oh, I did attend a ton of lectures I couldn't get/spare credits for too : )
endformationage has joined #nixos-chat
<pie_>
lol im stealing this phrase <bqv> that still makes your armchair far bigger than ours
monsieurp has quit [Remote host closed the connection]
<sphalerite>
bqv: I was thinking to just form the classes based on ages, but not to change the year cycle. But then I realised that doesn't help the problem, since the classes will still be compared to each other.
monsieurp has joined #nixos-chat
<bqv>
yeah
cole-h has joined #nixos-chat
<__monty__>
Yeah, you certainly want to avoid the "That's the dumb kids class," kind of situation.
slack1256 has joined #nixos-chat
<__monty__>
Also, it'd only work if standardized tests are equally shifted to be available throughout the year, otherwise you'll still end up with over-/undertrained students taking the same test.
xd1le has joined #nixos-chat
slack1256 has quit [Remote host closed the connection]
rajivr has quit [Quit: Connection closed for inactivity]
MichaelRaskin has joined #nixos-chat
NinjaTrappeur has quit [Quit: WeeChat 2.9]
NinjaTrappeur has joined #nixos-chat
maxdevjs has joined #nixos-chat
cjpbirkbeck has joined #nixos-chat
buckley310 has quit [Quit: Connection closed for inactivity]
<eyJhb>
Sooo..... Chromium have started to use 100% of my CPU, without anything actually running. Are JS Crypto miners till a big thing?
<eyJhb>
Digitalocean uses 100% CPU pr. tab, I guess
<drakonis>
i'm fairly certain that's available as a package here
<ldlework>
endless sky?
<drakonis>
yes
<__monty__>
,locate endlesssky
<ldlework>
holy shit you're right
<{^_^}>
Couldn't find in any packages
<ldlework>
that is cool
<drakonis>
am i?
<drakonis>
it is
<drakonis>
,locate endless-sky
<{^_^}>
Found in packages: endless-sky
<__monty__>
Right, I think I've tried it out.
<bqv>
ok, the fact that my nix configuration is getting so many stars is starting to get uncomfortable
<bqv>
i mean it was always weird but what am i meant to do with a github repo that has tonnes of stars but is literally unusable by anyone who isn't me
<bqv>
oh wow, there are ones around with way more than mine
<bqv>
ok, nevermind, i'll just ignore it
aminechikhaoui has quit [Read error: Connection reset by peer]
aminechikhaoui has joined #nixos-chat
evalexpr has quit [Ping timeout: 240 seconds]
emilazy has quit [Ping timeout: 240 seconds]
sdier has quit [Ping timeout: 240 seconds]
disasm has quit [Ping timeout: 240 seconds]
sdier has joined #nixos-chat
emilazy has joined #nixos-chat
evalexpr has joined #nixos-chat
disasm has joined #nixos-chat
<infinisil>
bqv: Hehe yeah mine has a bunch too, I just take it as a "this helped me for my own config"
<bqv>
that's what i was thinking but then i realised it's hit 20 and that's an order of magnitude more than i've got for anything else, it's weird
<rummik>
Huh, I'm surprised mine is 10th on the nixos-configuration topic on GH
<energizer>
i want to use a service like Dropbox but I have 5TB which makes dropbox too expensive. Mega is encrypted and cheap up to 13TB, which would be perfect - only worrisome thing is their chrome extension got pwned in 2018 which makes me worried about their security. https://bpa.st/OK7Q I don't see any good options. Am I missing anything?
<bqv>
rummik: i basically do that with emacs file-local variables
<bqv>
and ensure i don't have more than one "non-nix syntax" per file
<bqv>
e.g. almost all emacs lisp is quarantined to ./emacs
<bqv>
the rest is explicitly tagged
<rummik>
There's a PR open for it, but since it's not a community standard it hasn't been pulled in yet
<bqv>
then i have shell files explicitly tagged, and i think there's one file with something else inline somewhere
<rummik>
I try to keep it to one syntax per file, I just found it more convenient to be able to have more than one syntax loaded
<rummik>
Well, one additional syntax
<bqv>
i mean it's an artificial constriction i've put on myself. emacs's poly-mode can handle arbitrary mixtures of many syntaces, but the more are loaded the messier things get, and there's no real need for more than "nix and <X>"
<rummik>
Either way, it would be nice to see a fenced syntax standard, since it's pretty common to see code in multiline strings
<bqv>
my logic was, any fencing standard would by nature require fencing every string in the file. that's not comfortable or ergonomic. therefore, forcing it to per-file means you can just fence on a file-by-file basis, which is still not ideal but far less intrusive than having to change your comment indicators
<rummik>
Makes sense
__monty__ has quit [Quit: leaving]
bk1603 has joined #nixos-chat
bk1603 has quit [Quit: WeeChat 2.9]
bk1603 has joined #nixos-chat
<eyJhb>
rummik: SO you have thing that makes writing nix expressions in Vim easier/possible. But it is not in NixPkgs? :p
<rummik>
Hm?
<rummik>
eyJhb: I'm not sure what you mean?
<gchristensen>
he's jealous :)
<rummik>
Oh
<gchristensen>
(me too)
<rummik>
I should probably move some of that into NUR
<samueldr>
though the PR's been there, all that time, for us to just use it :)
<samueldr>
funnily enough what I had in mind was basically the same
<samueldr>
(but had no idea where to start to begin implementing it)
<gchristensen>
I close and "light sleep" the laptop
<ashkitten>
colemickens: can you accept spam prs but also mark them as invalid for hacktoberfest?
<bqv>
dunno about spam
<bqv>
but definitely poorly thought out, implemented, and considered
<colemickens>
not sure. To be fair, most of the changes are indeed correct fixes, and someone must've really sat there and clicked all the links to check if they were valid. I certainly wasn't ever going to do that work.
<ashkitten>
yeah that was my point
<bqv>
eyJhb: i have a desktop, as well as pc, so i just never turn off the pc but the laptop can do what it wants. and i'm still working out how i'm going to deal with the implications of that for nix deployments
<ashkitten>
it's just that those changes arent really... super helpful, yk
spudly- has joined #nixos-chat
spudly- has joined #nixos-chat
spudly- has quit [Changing host]
<bqv>
i mean that's from your perspective, and i agree, but at the same time that doesn't make it spam
<bqv>
just incredibly dumb
<ashkitten>
sure
<ashkitten>
i'll concede :p
<bqv>
phew, cause i just realised i was getting myself into yet another argument i didn't want to have
<bqv>
thank you :p
<ashkitten>
i don't disagree with you
<samueldr>
if it needed categorizing, it'd be something like "churn" work
<ashkitten>
(which i don't think should be valid for hacktoberfest, but i don't make their rules)
spudly- is now known as spudly
xd1le has quit [Remote host closed the connection]
<rummik>
eyJhb: I usually just put mine to sleep if it's not on the dock, otherwise it runs all night
<rummik>
And by "sleep" I mean close the lid ^^;
<eyJhb>
Yeah, same. JUst going to bed now, so I wondered if I was normal for just turning off the displays :p
<eyJhb>
Because, I don't really trust DisplayLink will work on a resume.. And much in general I don't think my laptop handles sleep that well.... :|
<rummik>
I think my displays shut off after 5 minutes or something
<eyJhb>
It lives a hard laptop life with me
<eyJhb>
Usually do `xset dpms force off`
<ashkitten>
really appreciate the --keep-going arg
<ashkitten>
makes fixing the failed stuff much easier cuz you can do it after everything else
<ashkitten>
so, what is the state of nixos on power9?
<Ashy>
ashkitten: i'm also interested in that
<Ashy>
plannnig on getting a raptor blackbird in the next month or two
<ashkitten>
we might be getting a talos 2
<Ashy>
nice
<drakonis>
nice
<Ashy>
ashkitten: i remember reading somewhere (possibly on discourse) someone asking about power9 hydra cache and i think being told there would need to be a power9 build machine donated
JJJollyjim has joined #nixos-chat
<JJJollyjim>
I wish non-x86 machines were more affordable
<JJJollyjim>
I wanna play with power9 and arm and riscv and etc
<samueldr>
ARM kind of has a weird problem: affordable junk, or overpriced workstations :(
<JJJollyjim>
yeah:(
<ashkitten>
agreed
<ashkitten>
this one kinda fell into our hands
<ashkitten>
we would not have been able to buy it
<samueldr>
(junk may be harsh, they're acceptable for what they are meant to be used for... but not as a workstation)