00:04
drakonis_ has joined #nixos-dev
00:29
drakonis_ has quit [Read error: Connection reset by peer]
00:30
drakonis_ has joined #nixos-dev
00:32
drakonis1 has joined #nixos-dev
00:35
drakonis_ has quit [Ping timeout: 256 seconds]
00:42
drakonis_ has joined #nixos-dev
00:46
drakonis1 has quit [Ping timeout: 246 seconds]
01:06
drakonis1 has joined #nixos-dev
01:09
drakonis_ has quit [Ping timeout: 240 seconds]
01:27
drakonis1 has quit [Ping timeout: 272 seconds]
01:42
orivej has quit [Ping timeout: 264 seconds]
02:20
calbrech` has joined #nixos-dev
02:20
tetdim_ has joined #nixos-dev
02:21
srhb_ has joined #nixos-dev
02:21
nh2_ has joined #nixos-dev
02:21
msirabella has joined #nixos-dev
02:24
drakonis1 has joined #nixos-dev
02:24
sphalerite_ has joined #nixos-dev
02:28
drakonis has quit [*.net *.split]
02:28
sphalerite has quit [*.net *.split]
02:28
calbrecht has quit [*.net *.split]
02:28
b42 has quit [*.net *.split]
02:28
danielrf[m] has quit [*.net *.split]
02:28
ky0ko has quit [*.net *.split]
02:28
mjsir911 has quit [*.net *.split]
02:28
JJJollyjim has quit [*.net *.split]
02:28
Ericson2314 has quit [*.net *.split]
02:28
colemickens has quit [*.net *.split]
02:28
Irenes[m] has quit [*.net *.split]
02:28
domenkozar[m] has quit [*.net *.split]
02:28
srhb has quit [*.net *.split]
02:28
tetdim has quit [*.net *.split]
02:28
nh2 has quit [*.net *.split]
02:28
srhb_ is now known as srhb
02:28
nh2_ is now known as nh2
02:31
jongeOld[m] has quit [Ping timeout: 240 seconds]
02:31
regnat[m] has quit [Ping timeout: 260 seconds]
02:31
abbradar[m] has quit [Ping timeout: 260 seconds]
02:31
alexarice[m] has quit [Ping timeout: 260 seconds]
02:32
PkmX[m] has quit [Ping timeout: 246 seconds]
02:32
tokudan[m] has quit [Ping timeout: 260 seconds]
02:32
freeman42x[m]1 has quit [Ping timeout: 252 seconds]
02:32
roberth has quit [Ping timeout: 252 seconds]
02:32
Valodim[m] has quit [Ping timeout: 252 seconds]
02:32
vaibhavsagar has quit [Ping timeout: 252 seconds]
02:32
michaelpj has quit [Ping timeout: 244 seconds]
02:32
jonge[m] has quit [Ping timeout: 244 seconds]
02:32
rnhmjoj has quit [Ping timeout: 244 seconds]
02:32
DamienCassou has quit [Ping timeout: 244 seconds]
02:32
aanderse has quit [Ping timeout: 244 seconds]
02:32
yegortimoshenko has quit [Ping timeout: 244 seconds]
02:32
doronbehar has quit [Ping timeout: 244 seconds]
02:32
nocent has quit [Ping timeout: 244 seconds]
02:32
bennofs[m] has quit [Ping timeout: 244 seconds]
02:32
mkg20001 has quit [Ping timeout: 256 seconds]
02:32
bachp has quit [Ping timeout: 256 seconds]
02:32
xfix has quit [Ping timeout: 256 seconds]
02:32
Ox4A6F has quit [Ping timeout: 256 seconds]
02:32
rycee has quit [Ping timeout: 244 seconds]
02:32
thefloweringash has quit [Ping timeout: 240 seconds]
02:32
worldofpeace has quit [Ping timeout: 252 seconds]
02:32
ma27[m] has quit [Ping timeout: 252 seconds]
02:32
jtojnar has quit [Ping timeout: 252 seconds]
02:32
Dandellion has quit [Ping timeout: 252 seconds]
02:33
timokau[m] has quit [Ping timeout: 256 seconds]
02:33
matthewbauer has quit [Ping timeout: 256 seconds]
02:33
puzzlewolf has quit [Ping timeout: 260 seconds]
02:36
emily has quit [Ping timeout: 260 seconds]
02:39
nocent has joined #nixos-dev
02:40
Valodim[m] has joined #nixos-dev
02:40
freeman42x[m]1 has joined #nixos-dev
02:40
vaibhavsagar has joined #nixos-dev
02:40
PkmX[m] has joined #nixos-dev
02:41
roberth has joined #nixos-dev
02:42
ky0ko has joined #nixos-dev
02:43
jongeOld[m] has joined #nixos-dev
02:44
b42 has joined #nixos-dev
02:45
doronbehar has joined #nixos-dev
02:46
bennofs[m] has joined #nixos-dev
02:46
aanderse has joined #nixos-dev
02:46
DamienCassou has joined #nixos-dev
02:46
alexarice[m] has joined #nixos-dev
02:46
regnat[m] has joined #nixos-dev
02:47
michaelpj has joined #nixos-dev
02:51
tokudan[m] has joined #nixos-dev
02:51
yegortimoshenko has joined #nixos-dev
02:59
rnhmjoj has joined #nixos-dev
03:03
jonge[m] has joined #nixos-dev
03:03
abbradar[m] has joined #nixos-dev
03:06
emily has joined #nixos-dev
03:06
rycee has joined #nixos-dev
03:06
worldofpeace has joined #nixos-dev
03:06
ma27[m] has joined #nixos-dev
03:07
Ericson2314 has joined #nixos-dev
03:07
jtojnar has joined #nixos-dev
03:09
Irenes[m] has joined #nixos-dev
03:10
colemickens has joined #nixos-dev
03:11
matthewbauer has joined #nixos-dev
03:11
bachp has joined #nixos-dev
03:11
Ox4A6F has joined #nixos-dev
03:11
mkg20001 has joined #nixos-dev
03:13
thefloweringash has joined #nixos-dev
03:15
puzzlewolf has joined #nixos-dev
03:20
Dandellion has joined #nixos-dev
03:21
domenkozar[m] has joined #nixos-dev
03:21
danielrf[m] has joined #nixos-dev
03:22
JJJollyjim has joined #nixos-dev
03:39
drakonis1 has quit [Quit: WeeChat 2.8]
04:41
dongcarl has quit [Read error: Connection reset by peer]
04:53
justanotheruser has quit [Ping timeout: 246 seconds]
05:23
justanotheruser has joined #nixos-dev
07:02
<
andi- >
Not sure that's worth the bytes it wastes...
07:07
FRidh has joined #nixos-dev
07:49
__monty__ has joined #nixos-dev
08:00
sphalerite_ is now known as sphalerite
08:43
<
arianvp >
We have a stale bot now?
08:44
<
arianvp >
Did I miss some discussion on this? I suggested introducing one and that discussion wasn't very well-received... So wonder how / why people changed their minds?
08:52
<
LnL >
I'm not aware of anything
08:55
<
niksnut >
I think the main objection was to auto-closing issues
09:05
<
rnhmjoj >
i also got to wake up to some ghost of the past (issue). do you know where this was discussed?
09:30
orivej has joined #nixos-dev
09:32
<
MichaelRaskin >
arianvp: I think RFCs#51 was that discussion, where there were objections re:closing, but setting a label ended up way less controversial
09:33
<
MichaelRaskin >
Bitte
09:33
<
Profpatsch >
ryantm: look good!
09:33
<
Profpatsch >
*looks
09:33
<
Profpatsch >
As long as it doesn’t close automatically, this is a UX improvement
09:34
<
Profpatsch >
Especially the suggestions at the end
09:34
<
Profpatsch >
Also triaging is as simple as filtering by stale tag now.
09:35
<
JJJollyjim >
Oh cool I'm glad it's not closing
09:35
<
Profpatsch >
ryantm: will it also comment on PRs?
09:35
<
MichaelRaskin >
I think it does
09:35
<
JJJollyjim >
The "we haven't acknowleged this so it doesn't exist" thing really annoys me, especially in commercial products
09:37
<
MichaelRaskin >
Isn't the standard «we acknowledged it and it still doesn't exist»?
09:50
<
NinjaTrappeur >
what happens if we end up not doing that twice a year?
09:52
<
NinjaTrappeur >
Ah, I get it, the stale label will be removed once you reply to the bot.
10:16
teto has joined #nixos-dev
11:05
<
FRidh >
I don't think I've ever received as much mail as today.
11:12
* gchristensen
hasn't checked yet
11:14
<
LnL >
don't really get the point of spamming a few hundred people
11:16
<
pie_ >
well...we'll see how it goes...
11:18
<
niksnut >
might be better to send these notifications continuously rather than twice a year
11:26
<
pie_ >
do the notifications get sent twice a year or just 6 months between notifications for a given issue, because i assumed the latter
11:27
<
infinisil >
Pretty sure it's 6 months after the last activity in a Pr/issue
11:30
<
infinisil >
The fact that we get these notifications only now is just because it wasn't working for 6 months and just got fixed: #89278
11:40
tokudan has quit [Quit: Dunno.]
11:41
tokudan has joined #nixos-dev
11:48
<
aanderse >
manveru: thanks for replying. is there someone else people can bug about ruby? i get the distinct feeling you don't want to be the ruby person anymore... and thats fair :)
11:49
<
manveru >
aanderse: not really :)
11:50
<
manveru >
i'll do what needs to be done until someone wants to step up, but i have the feeling nobody is that much into ruby anymore these days :P
11:50
<
aanderse >
well... manveru++ for being such a trooper and putting up with stuff you don't want to :P
11:50
<
{^_^} >
manveru's karma got increased to 44
11:58
<
manveru >
sorry if i seem frustrated, we just have an incredible amount of complexity caused by bundler, when all it should actually do is resolving dependency graphs...
12:00
<
manveru >
and i'm not using ruby for much of anything anymore, so i don't notice issues actively anymore
12:00
<
aanderse >
no frustration here... you fixed the only issue i had :)
12:00
<
aanderse >
i've never written a line of ruby, just used an app written in ruby
12:02
<
manveru >
i guess that's the common experience these days :)
12:05
orivej has quit [Ping timeout: 246 seconds]
12:19
Guest83733 has joined #nixos-dev
12:19
<
{^_^} >
hydra#743 (by Ma27, 4 weeks ago, open): Add a filter for maintainers in the jobset-eval view
12:19
Guest83733 is now known as xfix
12:19
xfix has joined #nixos-dev
12:19
xfix has quit [Changing host]
12:19
xfix has joined #nixos-dev
12:19
xfix has quit [Changing host]
12:20
xfix has quit [Client Quit]
12:20
xfix has joined #nixos-dev
12:38
asda has joined #nixos-dev
12:43
asda has quit [Remote host closed the connection]
12:55
teto has quit [Ping timeout: 256 seconds]
12:58
orivej has joined #nixos-dev
13:02
drakonis has joined #nixos-dev
13:23
notgne2 has joined #nixos-dev
14:04
teto has joined #nixos-dev
14:25
tilpner has quit [Ping timeout: 272 seconds]
14:27
<
Ericson2314 >
niksnut: how should I distinguish the Nix PRs that are part of some large idea (but still passing and not WIP) from the ones that aren't (like the one you merged already about bool -> enum) and wholly ready to go?
15:41
alp has joined #nixos-dev
15:45
timokau[m] has joined #nixos-dev
16:04
justanotheruser has quit [Ping timeout: 260 seconds]
16:08
<
ryantm >
Profpatsch: Yes it should not close; Yes it should comment on PRs.
16:17
justanotheruser has joined #nixos-dev
16:19
teto has quit [Ping timeout: 260 seconds]
16:23
FRidh has quit [Ping timeout: 240 seconds]
16:24
FRidh has joined #nixos-dev
17:03
<
adisbladis >
FWIW I was against the stale bot until I saw it in action
17:04
<
adisbladis >
It's a good reminder =)
17:11
teto has joined #nixos-dev
17:18
<
ryantm >
I'm sorry that it being misconfigured resulted in a bunch of emails all at once. I hope it will be more reasonable/manageable going forward.
17:39
<
adisbladis >
ryantm: It's OK :) Mistakes happen.
18:02
<
Profpatsch >
ryantm: Emails can be batch-deleted :)
18:35
Dandellion has quit [*.net *.split]
18:35
puzzlewolf has quit [*.net *.split]
18:35
ma27[m] has quit [*.net *.split]
18:35
abbradar[m] has quit [*.net *.split]
18:35
tokudan[m] has quit [*.net *.split]
18:35
doronbehar has quit [*.net *.split]
18:35
cocreature has quit [*.net *.split]
18:41
danielrf[m] has quit [Ping timeout: 240 seconds]
18:41
domenkozar[m] has quit [Ping timeout: 240 seconds]
18:41
Ericson2314 has quit [Ping timeout: 240 seconds]
18:41
jongeOld[m] has quit [Ping timeout: 240 seconds]
18:41
yegortimoshenko has quit [Ping timeout: 260 seconds]
18:41
mkg20001 has quit [Ping timeout: 252 seconds]
18:41
bachp has quit [Ping timeout: 252 seconds]
18:41
worldofpeace has quit [Ping timeout: 252 seconds]
18:41
emily has quit [Ping timeout: 252 seconds]
18:42
thefloweringash has quit [Ping timeout: 256 seconds]
18:42
Irenes[m] has quit [Ping timeout: 256 seconds]
18:42
rycee has quit [Ping timeout: 256 seconds]
18:42
PkmX[m] has quit [Ping timeout: 256 seconds]
18:42
Valodim[m] has quit [Ping timeout: 256 seconds]
18:42
alexarice[m] has quit [Ping timeout: 252 seconds]
18:42
colemickens has quit [Ping timeout: 244 seconds]
18:42
rnhmjoj has quit [Ping timeout: 244 seconds]
18:42
DamienCassou has quit [Ping timeout: 244 seconds]
18:42
aanderse has quit [Ping timeout: 244 seconds]
18:42
vaibhavsagar has quit [Ping timeout: 244 seconds]
18:42
michaelpj has quit [Ping timeout: 246 seconds]
18:42
freeman42x[m]1 has quit [Ping timeout: 246 seconds]
18:42
xfix has quit [Ping timeout: 260 seconds]
18:42
Ox4A6F has quit [Ping timeout: 240 seconds]
18:42
regnat[m] has quit [Ping timeout: 240 seconds]
18:42
JJJollyjim has quit [Ping timeout: 252 seconds]
18:42
nocent has quit [Ping timeout: 252 seconds]
18:42
matthewbauer has quit [Ping timeout: 260 seconds]
18:42
jtojnar has quit [Ping timeout: 260 seconds]
18:42
jonge[m] has quit [Ping timeout: 260 seconds]
18:42
bennofs[m] has quit [Ping timeout: 260 seconds]
18:42
timokau[m] has quit [Ping timeout: 256 seconds]
18:42
roberth has quit [Ping timeout: 260 seconds]
18:44
Dandellion has joined #nixos-dev
18:44
puzzlewolf has joined #nixos-dev
18:44
ma27[m] has joined #nixos-dev
18:44
doronbehar has joined #nixos-dev
18:44
abbradar[m] has joined #nixos-dev
18:44
tokudan[m] has joined #nixos-dev
18:44
cocreature has joined #nixos-dev
18:44
tokudan[m] has quit [Ping timeout: 244 seconds]
18:44
abbradar[m] has quit [Ping timeout: 244 seconds]
18:44
Dandellion has quit [Ping timeout: 244 seconds]
18:44
puzzlewolf has quit [Ping timeout: 244 seconds]
18:45
ma27[m] has quit [Ping timeout: 244 seconds]
18:45
doronbehar has quit [Ping timeout: 244 seconds]
19:14
teto has quit [Ping timeout: 272 seconds]
19:15
abathur has quit [Quit: abathur]
19:16
teto has joined #nixos-dev
19:17
emily has joined #nixos-dev
19:18
FRidh has quit [Quit: Konversation terminated!]
19:27
rnhmjoj has joined #nixos-dev
19:27
dtz has joined #nixos-dev
19:27
freeman42x[m] has joined #nixos-dev
19:27
aanderse has joined #nixos-dev
19:27
danielrf[m] has joined #nixos-dev
19:27
abbradar[m] has joined #nixos-dev
19:27
bennofs[m] has joined #nixos-dev
19:27
PkmX[m] has joined #nixos-dev
19:27
mkg20001 has joined #nixos-dev
19:27
xfix has joined #nixos-dev
19:27
vaibhavsagar has joined #nixos-dev
19:27
nocent has joined #nixos-dev
19:27
JJJollyjim has joined #nixos-dev
19:27
Valodim[m] has joined #nixos-dev
19:27
arcnmx has joined #nixos-dev
19:27
jongeOld[m] has joined #nixos-dev
19:27
colemickens has joined #nixos-dev
19:27
jonge[m] has joined #nixos-dev
19:27
jtojnar has joined #nixos-dev
19:27
alexarice[m] has joined #nixos-dev
19:27
Dandellion has joined #nixos-dev
19:27
puzzlewolf has joined #nixos-dev
19:27
ma27[m] has joined #nixos-dev
19:27
tokudan[m] has joined #nixos-dev
19:27
thefloweringash has joined #nixos-dev
19:27
rycee has joined #nixos-dev
19:27
roberth has joined #nixos-dev
19:27
timokau[m] has joined #nixos-dev
19:27
michaelpj has joined #nixos-dev
19:27
matthewbauer has joined #nixos-dev
19:27
bachp has joined #nixos-dev
19:27
Ox4A6F has joined #nixos-dev
19:27
domenkozar[m] has joined #nixos-dev
19:27
DamienCassou has joined #nixos-dev
19:27
worldofpeace has joined #nixos-dev
19:27
Irenes[m] has joined #nixos-dev
19:27
Ericson2314 has joined #nixos-dev
19:27
yegortimoshenko has joined #nixos-dev
19:27
regnat[m] has joined #nixos-dev
19:27
doronbehar has joined #nixos-dev
19:34
orivej_ has joined #nixos-dev
19:34
tilpner has joined #nixos-dev
19:34
orivej has quit [Ping timeout: 272 seconds]
19:50
<
clever >
> "${hello}"
19:50
<
{^_^} >
"/nix/store/hs6rg4zbsclx660s6i5938605zmv6lgh-hello-2.10"
19:54
<
gchristensen >
> ack 1 2
20:17
<
Profpatsch >
should I?
20:17
<
Profpatsch >
> ack 2 2
20:17
<
Profpatsch >
> ack 2 4
20:17
<
Profpatsch >
> ack 3 2
20:18
<
{^_^} >
ack = m: n: if m == 0 then n + 1 else if (m > 0 && n == 0) then (ack (m - 1) 1) else (ack (m - 1) (ack m (n - 1)))
20:18
<
Profpatsch >
Is this the ackermann function? I kinda don’t want to try further? :)
20:18
<
gchristensen >
it is
20:18
<
gchristensen >
it is okay, you won't blow up the universe
20:18
<
Profpatsch >
wp says 4 2 has 17k decimal places
20:18
<
Profpatsch >
> ack 4 2
20:19
<
Profpatsch >
hoo boi
20:19
* gchristensen
waits for the universe to collapse
20:19
<
lassulus >
> "${hello}"
20:19
<
{^_^} >
"/nix/store/hs6rg4zbsclx660s6i5938605zmv6lgh-hello-2.10"
20:19
<
gchristensen >
{^_^}
20:19
<
Profpatsch >
integer overflow -> error
20:20
<
gchristensen >
{^_^} has a robust architecture
20:20
<
pie_ >
yeah i would have thought infinis added timeouts or something
20:20
<
Profpatsch >
wait, does nix wrap?
20:20
<
Profpatsch >
it does :(
20:21
<
{^_^} >
error: stack overflow (possible infinite recursion)
20:23
<
infinisil >
It doesn't have a timeout yet, but it's limited to half the RAM :)
20:23
<
infinisil >
(although it can still fill up the whole swap)
20:25
<
gchristensen >
good to know
20:34
abathur has joined #nixos-dev
21:04
<
samueldr >
"fun" issue, what sort algorithm should be used in a list of attribute names in e.g. all-packages.nix?
21:04
<
samueldr >
should it ignore case, so naturally?
21:05
<
gchristensen >
hrm. there is a certain amount of argument that it should do wahtever it does now, no matter what thaht is
21:05
<
samueldr >
if I use vim's :sort it puts ROCRK3399PC before Rock64, using :!sort (to call `sort`) puts it after ubootRockPro64
21:05
<
gchristensen >
oh you mean in terms of organizing in the text file. not nix's behavior, nvm :)
21:05
<
samueldr >
I'm not talking about the unordered mess, but a small subsection that
*is* kept ordered
21:05
<
samueldr >
we simply never had a name that broke the mold enough that two commands named sort did different things
21:07
<
samueldr >
I know I'm picking nits here, I can probably do either and both are right, but I'm curious about opinions
21:07
<
samueldr >
I think I'll go with :!sort (so unix `sort`) simply because it's editor agnostic
21:08
<
samueldr >
(I said editor agnostic, not locale agnostic!)
21:11
andi- has quit [Remote host closed the connection]
21:13
andi- has joined #nixos-dev
22:01
alp has quit [Ping timeout: 272 seconds]
22:43
teto has quit [Ping timeout: 246 seconds]
22:55
teto has joined #nixos-dev
22:58
orivej_ has quit [Ping timeout: 252 seconds]
22:59
orivej has joined #nixos-dev
23:14
phreedom has quit [Remote host closed the connection]
23:15
phreedom has joined #nixos-dev
23:23
__monty__ has quit [Quit: leaving]
23:32
teto has quit [Quit: WeeChat 2.8]
23:42
justanotheruser has quit [Ping timeout: 260 seconds]
23:57
justanotheruser has joined #nixos-dev