gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
drakonis has joined #nixos-chat
nckx has quit [Quit: Updating my GNU Guix System — https://guix.gnu.org]
nckx has joined #nixos-chat
rardiol has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
drakonis has quit [Quit: WeeChat 2.7]
drakonis has joined #nixos-chat
andi- has quit [Ping timeout: 248 seconds]
andi- has joined #nixos-chat
ajs124 has quit [Quit: Gateway shutdown]
drakonis has quit [Quit: Leaving]
lopsided98 has quit [Quit: No Ping reply in 180 seconds.]
lopsided98 has joined #nixos-chat
<ldlework> i am the confused
<MichaelRaskin> ldlework: standard question — df -i
<MichaelRaskin> Also, why not txt…
<Taneb> ldlework: is that happening conistently?
<ldlework> i mean for this command yes
<ldlework> doesn't seem like an inode issue
<ldlework> i'm not out of ram or anything
<ldlework> no idea
Jackneill has joined #nixos-chat
<lassulus> isn't pip trying to install into the nix-store?
<ldlework> i'm in a virtualenv
<ldlework> /home/ldlework/.cache/pypoetry/virtualenvs/storybro-py3.6/bin/pip
<ldlework> (so I don't think so?) heh
<ldlework> well overriding TMPDIR worked
ajs124 has joined #nixos-chat
psyanticy has joined #nixos-chat
__monty__ has joined #nixos-chat
tokudan has quit [Quit: Dunno.]
tokudan has joined #nixos-chat
veske has joined #nixos-chat
veske has quit [Quit: This computer has gone to sleep]
<infinisil> Today's a horrible day: We don't have any running water!
<infinisil> Some pipe outside burst or something, I think they're trying to fix it
<__monty__> Getting into formal modeling?
<__monty__> infinisil: That sucks. Makes you realize how valuable tap water is though.
<gchristensen> __monty__: do you know tla? I'm having a hard time making my spec fail.
<__monty__> Not really no. I'd be glad to take a look day after tomorrow though.
<gchristensen> ok
<__monty__> b/wg 14
<__monty__> sorry
<gchristensen> I forgot to tell tla+ to check that invariant
cjpbirkbeck has joined #nixos-chat
__monty__ has quit [Quit: leaving]
endformationage has joined #nixos-chat
drakonis has joined #nixos-chat
<gchristensen> TLA+ (or pluscal? I dunno)'s case syntaxs i hilarious
cjpbirkbeck has quit [Quit: Quitting now.]
psyanticy has quit [Quit: Connection closed for inactivity]
andi- has quit [Remote host closed the connection]
andi- has joined #nixos-chat
Jackneill has quit [Remote host closed the connection]
ivan has quit [Quit: lp0 on fire]
<eyJhb> Spending new years alone, pros: more alcohol for me + food, cons: not sharing it with anyone. Weird how it can be both!
<eyJhb> Everyone enjoying themselves?
<gchristensen> eyJhb: you can spend it with us =)
<lassulus> I'm alone and enjoying it
<lassulus> but after 8 days of ccc I'm basically empty
<eyJhb> gchristensen: the NixOS family! - lassulus so far it is somewhat good! Just sad that the one I wanted to spend it with made other plans, before I could ask her and couldn't back out
<eyJhb> Isn't that some time ago lassulus ?
<lassulus> ended yesterday, I went earlier for buildup of gsm network.
<eyJhb> Oh, then you must be exhausted !
<gchristensen> eyJhb: perhaps next time :)
<lassulus> yeah, also I got sick which made stuff harder :D but I'm happy I went because it was very nice
<eyJhb> Hopefully, she said yes to booking a summer house/holliday home for next year, and just spending the day cooking food, having wine and getting fat :D
<eyJhb> lassulus Ahh bad luck... Better now or what?
<eyJhb> Btw. how are you spending new years gchristensen ?
<lassulus> I guess I'm through the worst :)
ivan has joined #nixos-chat
<eyJhb> lassulus: that is always something! Hoping not to get sick in the forseeable future
drakonis1 has joined #nixos-chat
drakonis has quit [Ping timeout: 240 seconds]
<gchristensen> eyJhb: I'm reading Practical TLA+ and hanging out with Emily who isn't feeling well
<drakonis1> ho ho
<eyJhb> gchristensen: emily from here?
drakonis1 has quit [Ping timeout: 260 seconds]
<eyJhb> Last dish of today, brownies!
<gchristensen> eyJhb: Emily is my wife :)
<gchristensen> (and not IRC emily)
<eyJhb> gchristensen: Ah! You never know! Sounds lovely, not the sick part. But always nice spending time with a significant other! Have you ensured she has enough snacks ? ;)
<gchristensen> quite sure snacks would exacerbate the situation at the moment :x
<gchristensen> I am helping her nap by telling her about TLA+ when she wakes up
<eyJhb> gchristensen: aww sad :( Snack usually solve many problems! - Haha, that is a way of doing it! I have used that trick before myself :D
<adisbladis> Ugh, these darwin/linux regex differences in nix are driving me nuts -.-
drakonis has joined #nixos-chat
<samueldr> oh, builtins regexes are platform-dependent?
<samueldr> that sounds unfun
<gchristensen> °f
<gchristensen> oof
<adisbladis> samueldr: Indeedy
<{^_^}> nix#1537 (by copumpkin, 2 years ago, open): Regex behavior differs across platforms
cjpbirkbeck has joined #nixos-chat
<eyJhb> Happy new year from DK then :)
<samueldr> happy new year donkey kong!
<eyJhb> God damn it samueldr ! Shouldn't you be in bed?
<samueldr> wat?
<samueldr> it's 18:04 here
<samueldr> why would I be in bed?
<eyJhb> Sounds like the perfect early bedtime!
<gchristensen> lol
<eyJhb> Well, at least I got a call from her gchristensen :D Always something
<eyJhb> Well, some days going to bed at 18.00 would be the dream
<samueldr> I still need to get together with friends for a new year's eve feast
<eyJhb> That's true
<eyJhb> Wait, when do you guys meet up samueldr ?
<samueldr> in about 1h20 from now
<etu> Happy New year!
<adisbladis> etu: The downside of going to 36c3 is that you are very tired afterwards so not exactly in a party mood, and 36c3 itself is already the ultimate NYE party :)
<MichaelRaskin> Happy new year
<MichaelRaskin> adisbladis: it depends whether you goal is to have a good time or to have a NY party at the socially expected time
<adisbladis> MichaelRaskin: I'm not having a NYE party :)
<adisbladis> Going out for some fireworks, but except for that I'm celebrating it by having some well-needed alone time
<eyJhb> I feel like Snapchat is NOT enjoying NYE
<MichaelRaskin> I kind of hope Snapchat has not yet gained sentience necessary for enjoying such things
<MichaelRaskin> adisbladis: well, I am also alone at my (well, rented) flat
<MichaelRaskin> (and completely fine with that)
<MichaelRaskin> (yesterday I did go to the university… unbelievable, how nice and detailed a research discussion one can have with the head of chair when there is nobody else at the chair!)
<eyJhb> MichaelRaskin: it has, sadly
<MichaelRaskin> I still hope it reacts to the load in a cause-agnostic way
<eyJhb> Not a fan of Snapchat MichaelRaskin ?
<MichaelRaskin> Not a fan of any mobile-first communication platform not present in F-Droid.
<eyJhb> Hmm true
<eyJhb> Feel the same way, I just enjoy the picture way of communication
<talyz> Happy new year! \o/
<MichaelRaskin> I am also not a fun of than, indeed.
<eyJhb> MichaelRaskin: well, some I do enjoy pictures from others not that much :p But I don't use it that actively
drakonis has quit [Ping timeout: 268 seconds]
drakonis has joined #nixos-chat
<etu> adisbladis: I'm with friends in Malmö that also attended congress ;)
<talyz> adisbladis: indeed, same here :)
colemickens_ has joined #nixos-chat
<adisbladis> Finally time ; Happy New year!