jtojnar has quit [Read error: Connection reset by peer]
drakonis has quit [Ping timeout: 248 seconds]
vika_nezrimaya has quit [Ping timeout: 245 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
das_j has quit [Remote host closed the connection]
aszlig has quit [Ping timeout: 245 seconds]
aszlig has joined #nixos-chat
<pie__>
gchristensen: should i awk or just go full on perl
<pie__>
people dont seem to like perl very much so idk if i should...but then theres the people that are like perl is awesome (so, both ends of the spectrum, as usual
<samueldr>
use what you feel is appropriate
<Ralith>
the number and credibility of those groups may not be equal
<Ralith>
the existence of a person with an opinion does not entitle that opinion to equal weight wrt. every mutually exclusive opinion
<samueldr>
and know when to go to another option rather than sticking to the pile of hack for too long
<Ralith>
that said, for a choice specifically between awk and perl, that's more of a lesser of two evils situation
<samueldr>
and depending on the context, use what fits for the context (if there is an existing context)
ericnoan has quit [Ping timeout: 245 seconds]
<pie__>
samueldr: Ralith, well, bash-adjacent string processing I guess
ericnoan has joined #nixos-chat
<Ralith>
if it's not expressible in a simple sed expression, maybe it shouldn't be done in a shell script
<pie__>
Ralith: i guess i more or less agree
<pie__>
Ralith: my rule of thumb so far has been "if i want more than a single if expression in my bash script, i shouldnt write it in bash"
<pie__>
maybe those languages are less madening than bash though? :P
<Ralith>
idk about awk
<Ralith>
modern perl, maybe in theory? but you're trading off against people knowing it at all
<emily>
awk is pretty cool
<emily>
you should really use python or something if you outgrow it rather than perl though
<sphalerite>
mudri: I hear the agda implementor's meeting is taking place in Munich, would you also be interested in a nix meetup during that time? :)
<mudri>
sphalerite: ooh, that'd be interesting. What kind of thing were you thinking of? I think I've got one or two free days between AIM and the Proof and Computation Autumn School.
<adisbladis>
sphalerite: I'd like a way to accomplish that for the whole system
<sphalerite>
mudri: not sure, but the Munich nix meetups are mostly organised by us mayflower people so I'm sure we can get one organised during that time :)
<mudri>
Also, I've never been to an AIM, so I don't know whether there'll be any breaks during it and how exhausting it'll be.
<adisbladis>
sphalerite: That also works within the same nixos-rebuild ;)
<sphalerite>
mudri: fair enough. Fred would like for me to come apparently, but it sounds scary and it's a lot of time :p
<adisbladis>
That's the hard bit
<sphalerite>
adisbladis: what do you mean?
<mudri>
I guess it's time off work for you.
<sphalerite>
yep
<adisbladis>
sphalerite: I mean somenthing exactly like that, but as a part of your configuration.nix
<adisbladis>
Without causing infinite recursion
<sphalerite>
adisbladis: ah, well, that's not really possible I guess because it would make a circular dependency
<adisbladis>
Yeah :/
<adisbladis>
That would be awesome though
<adisbladis>
Since I'm working offline a fair bit
<eyJhb>
I wonder if 418 status code could be used by IoT teakettles or something
<adisbladis>
And it's always frustrating sitting on an airplane seeing nix trying to fetch sources & stuff
<sphalerite>
do you need it to be part of the nixos-rebuild that much?
<sphalerite>
because you could build that rooting derivation once before a flight or something
<adisbladis>
sphalerite: Otherwise I'd forget to do it
<sphalerite>
fair :D
<mudri>
sphalerite: Come to think of it, it'd be a convenient excuse to work out a Nix-ish way of doing Agda development. I've never worked out any way of doing it other than a single global installation.
<sphalerite>
ooh
<infinisil>
Would you believe me if I told you NixCon was the cause of (at least one) of my internet problems?
<sphalerite>
mudri: is emacs still the editor of choice for agda?
<adisbladis>
infinisil: Wat
<sphalerite>
infinisil: please elaborate :)
<yorick>
infinisil: I bet it's the dns thing
<eyJhb>
adisbladis: when you said flight and rebuild. I just asked my phone company what roaming are outside EU (because, some data is free). I learned it is 10 EUR pr. megabyte of data.A decent money over 3g would cost me 7.000 EUR :p
<mudri>
Emacs is still my choice, but supposèdly Atom works too, I think.
<infinisil>
Paying for nixcon (and everything around it) left me with an almost empty credit card, not enough to pay the monthly bill for the server I use for VPN, which I need because otherwise I have huge packet loss for some reason
<adisbladis>
eyJhb: Holy shit are those bytes made of gold
<adisbladis>
infinisil: Yak shaving economics
<infinisil>
And apparently online.net straight up turns off your server or something like that if you don't pay..
<infinisil>
But they also didn't send any notification that the transaction failed..
<eyJhb>
I would assume so. I am definitely turning everything off, or just shutting it off... I love how when I travel to Sweden, Norway etc. I have tehe same data as at home. So I can call, text, etc. as I were in DK
<sphalerite>
eyJhb: yeah, one of the best things the EU has done for us :D
<sphalerite>
infinisil: lol nice
<eyJhb>
sphalerite: well, outside the nordic countries I only have 6 GB and some charges :( But not... 20 DKK pr. minute call, or 10 DKK pr. SMS :p
<adisbladis>
Little known thing: 3 (the provider) has a similar deal even outside of the EU
<sphalerite>
eyJhb: huh? Since a couple of years ago, everywhere in the EU should be the same as your home country.
<adisbladis>
I can use a 3 UK sim in Hong Kong without roaming charges
<adisbladis>
Which funnily enough was the cheapest way to get unlimited data in that part of the world ^_^
<mudri>
sphalerite: Looks like I've gotta catch up! Probably the only Nix stuff I've done over the past couple of years is maintaining keyboard and input method stuff. 😂
<sphalerite>
mudri: tbf I've not used lorri myself yet
Arahael has quit [Ping timeout: 272 seconds]
<adisbladis>
Omg I hate conda so much -.-
<adisbladis>
How did anyone ever think this was good design
<andi->
I am more on the "I hate python" side of things today. I have a piece of code that is obviously going to cause runtime troubles to anyone familiar to the language... Then it works in the dirty nix-shell env but not in a (minimal) python env (.withPackages…)
Jackneill has quit [Ping timeout: 248 seconds]
Jackneill has joined #nixos-chat
<adisbladis>
andi-: I can join you on that side ;)
pie_ has joined #nixos-chat
<eyJhb>
sphalerite: Not from what I have heard, but it isn't exsessive anymore
<infinisil>
With 4 legs this can fix it guaranteed, and it only needs like <90 degree turn iirc
<infinisil>
Hehe neat
endformationage has joined #nixos-chat
jtojnar has quit [Quit: jtojnar]
jtojnar_ has joined #nixos-chat
<pie_>
infinisil: huuuuuh
<pie_>
i guess that makes sense, 3 legs is always stable
<pie_>
a 4th leg gives you one degree of freedom and you have one degree of freedom in the turning
<pie_>
of course thats very handwavy and its not immediately obvious that guarantees a solution
* pie_
should watch the vid
<pie_>
waaait a minute -_- what if you have a really short leg
<pie_>
(then its not a leg at all! :P)
<cransom>
no one said your table had to be flat
<pie_>
non-euclidean tables
<infinisil>
Ah the video assumes legs of equal length and the ground is assumed to be uneven
<pie_>
ohhh that makes sense
<infinisil>
Though maybe it still works with uneven legs, not sure
<infinisil>
Ah no it can't
<pie_>
so either an equal leg table on uneven ground
<pie_>
or an uneven table on level ground
<pie_>
...maybe thats not the right negation
* pie_
turns the earth so it stops wobbling on infinisil's table
<infinisil>
Hehe
<pie_>
sons of Atlas these days...psh.
<infinisil>
Yeah probably only one can be uneven
jtojnar_ has quit [Read error: Connection reset by peer]
<infinisil>
"If you already know what recursion is, just remember the answer. Otherwise, find someone who is standing closer to Douglas Hofstadter <https://en.wikipedia.org/wiki/Douglas_Hofstadter> than you are; then ask him or her what recursion is."
<infinisil>
A recursion joke with an actual base case!
<eyJhb>
func myFunc(counter int) { if counter == 0 { return; }; myFunc(counter++); }; myFunc(10); <- Usually how my recursive functions feel
<eyJhb>
But that one is actually good
<pie_>
one day we'll all be replaced by for loops
<infinisil>
Huh, is the point in yours that the exit condition is firstly never reached, and even if it would be reached it wouldn't end the recursion?
<pie_>
oops
<pie_>
infinisil: well technically it will be because overflow
<pie_>
or not - im not sure what language uses func
<eyJhb>
infinisil: yup, usually how it hapens
<eyJhb>
Nothing works as expected
<eyJhb>
Though the missing return with myFync(counter++) is just me... SEEG
<eyJhb>
I should not write recursive functions!
<infinisil>
A missing return?
<infinisil>
Ah, `return myFunc(counter++)`
<eyJhb>
Yeah, also, missing what it should return the function itself
<eyJhb>
This is starting to bug me actually...
<infinisil>
A poor man's infinite loop that doesn't do anything
<eyJhb>
adisbladis: but.. Is it? Isn't it one single display?
<adisbladis>
eyJhb: It's one single display
<adisbladis>
With 32:9 aspect ratio
<adisbladis>
So it's like 2x27" 19:6 screens next to each other
<eyJhb>
I might be a hater, but I would hate that :/
<adisbladis>
And 5120x1440p
<eyJhb>
If my OS sees it as a single monitor, I would fuck up my tiling window manage rsooo quick
<adisbladis>
If you'd see my workflow you'd understand
<adisbladis>
I live in emacs
<eyJhb>
Ohh I have heard about it from etu !
<infinisil>
I've been thinking about what the optimal tiling method would be, but I haven't reached a conclusion
<eyJhb>
You guys need a intervention!
<pie_>
reaching a concussion
<adisbladis>
infinisil: Are you an emacs user?
<eyJhb>
adisbladis: evilmode?
<infinisil>
adisbladis: Yeah but I don't manage any layout with it
<adisbladis>
eyJhb: Nope
<infinisil>
But I use xmonad with tiling
<adisbladis>
Ahh
<adisbladis>
I find that as an emacs user anything less than emacs is simply not good enough
<adisbladis>
So I use exwm
<infinisil>
Well xmonad can be anything you want! (if you code it..)
<infinisil>
adisbladis: How do you manage tiling?
<adisbladis>
Can it be exwm :3
<adisbladis>
infinisil: Manually?
<infinisil>
Um, like what's your workflow for adding/removing/arranging windows
<infinisil>
(or whatever emacs calls it)
<adisbladis>
infinisil: I don't have any auto layouting tools or anything like that
<pie_>
does xmonat have exwm bindings yet
<adisbladis>
I just use the regular old keyboard shortcuts to lay everything out
<adisbladis>
Holy shit I can see _everything_ at once
<infinisil>
Yeah I don't use any auto-layout thing either, but I think there's different ways you can go about manually managing stuff
<infinisil>
I use bisection (?), where I can insert new windows which splits the current one, and everything around how I want it
<eyJhb>
Am I the weird one for normally only having two vertical windows on each screen regarding tiling window manager? And then maybe 2 cols, with 3 vertical splits in on for coding?
<infinisil>
But it's arranged as a binary tree all the time
<infinisil>
(in memory)
<etu>
adisbladis: Oooh, that's many pixels of emacs at the same time :)
<infinisil>
eyJhb: Yeah I often have something like that too
<eyJhb>
Curoius, what is just current layout right now?
<infinisil>
Fullscreen weechat :P
<infinisil>
Mostly using fullscreen when I'm not doing anything concentrated
<etu>
adisbladis: I upgraded to the latest emacsGit and exwm of master today from the nix-community overlay :)
<adisbladis>
Yay!
<eyJhb>
infinisil: how many monitors? one?
<infinisil>
Just one, on my laptop right now, but I also only have one at home on my PC
<infinisil>
eyJhb: what about you?
<infinisil>
I guess two monitors might be nice, I sometimes run a bit low on space..
<eyJhb>
Three :| two external and my laptop. But I am at my moms right now, at home I run three external ones
<infinisil>
Hehe, I guess I'm the odd one with only one monitor
<infinisil>
Although, I do have another one I could plug in, but I think the multi-monitor management got on my nerves last time I did
<eyJhb>
I just want more! But I normally have most left screen 2 cols (weechat|browser for docu), center 2 cols (editor|editor,editor), and rightmost... movies and stuff
<adisbladis>
I hate multi monitor setups
<gchristensen>
me too, adisbladis!
<eyJhb>
I loooooooove them
<adisbladis>
gchristensen: <3
<adisbladis>
gchristensen: I know I've only used this monitor for less than an hour, but I'm alredy in love
<infinisil>
eyJhb: I do have to switch between workspaces quite a lot admittedly, another monitor would make this easier for sure..
<infinisil>
Maybe I got enough Haskell experience now to configure xmonad properly with multi monitors now
<adisbladis>
gchristensen: Gutsier how? :)
<gchristensen>
adisbladis: I was intimidated by the extra foot, haha
<adisbladis>
Heh :)
<eyJhb>
infinisil: yeah, I use them quite a lot on my monitors. Also , I have never had problems with multi screen setup. And I move my laptop from home, to uni, to my job at uni too..
<adisbladis>
I tried out another 49" in a shop a while back
<infinisil>
eyJhb: Isn't that a wallpaper multi-monitor artifact in the middle there? :P
<gchristensen>
I just got a U3818DW and boy
<adisbladis>
gchristensen: That's a real bad boy too
<gchristensen>
I don't think I could _fit_ a 49".
<eyJhb>
gchristensen: VESA mounts to the desks are SO nice
<eyJhb>
Frees up a lot of clutter from your desk
<gchristensen>
:D
<adisbladis>
gchristensen: It's the same width as my table
<manveru>
three modes i wouldn't even have bothered finding but that are pretty neat :)
ixxie has joined #nixos-chat
<manveru>
also they pin the mode versions, so you mostly get a consistent set that just works
<manveru>
the problem is just that it's not easy to manage with nix...
<manveru>
but i can live with that for now
<manveru>
bbl, dinner
<eyJhb>
manveru: give me some too...
ixxie has quit [Client Quit]
drakonis has joined #nixos-chat
<disasm>
anyone part of or know someone in the PGP WoT (strongset of kfwebs.net keyserver) We'd like to get our IOHK signing key added.
drakonis has quit [Ping timeout: 248 seconds]
* gchristensen
eyes andi-
drakonis has joined #nixos-chat
hydropyrum has joined #nixos-chat
<samueldr>
hmmm, on unstable alacritty seems to not update after a small while, until I either press a key or move the mouse (any key, including control)
<samueldr>
at first I thought it could be the whole X11 session, but the clock continues ticking seconds down
Guanin has joined #nixos-chat
<pie_>
samueldr: just checking, youve check if its the alacritty version?
<eyJhb>
Not the bunnies I want, and agreed :p But I can see why!
<pie_>
i hate cyriak
<pie_>
great stuff though
<drakonis>
why would anyone hate cyriak?
<gchristensen>
woohoo, thanks for the help earlier -- I got enough gdb skills to fix a bug in my Nix flame graph tooling where it is probably good enough to upstream
<samueldr>
maybe because everyone has different tastes and experiences?
<eyJhb>
gchristensen: did you survive on only, si, next, c, b ? :D
<gchristensen>
yup
<gchristensen>
man. cyriak. that brings me back!
<pie_>
i dont actually hate cyriak
<pie_>
but its freaky :P
<pie_>
(i think cyriak is awesome)
<drakonis>
agreed
Remosi has joined #nixos-chat
<cransom>
cyriak... did he do the spider cows too?
<cransom>
oh boy. sure did.
<cransom>
dali would be proud.
gvolpe has joined #nixos-chat
<gvolpe>
Hi all, how do I deal with broken Haskell packages in `nixpkgs`? I have a project that compiles fine using just `cabal new-build` but it doesn't work under `nix`.