2026/01/16

2026-01-16 00:05:34 +0000trickard(~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 00:05:48 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 00:08:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 00:10:48 +0000 <jreicher> Now you've got me wondering if it's possible to define a type that will allow construction of all the limit ordinals using infinite lists.
2026-01-16 00:11:37 +0000 <EvanR> all the ordinals is ... problematic but you can have a lot of them
2026-01-16 00:12:16 +0000 <jreicher> Yeah it seems to me the "first few" would be straightforward
2026-01-16 00:14:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-16 00:18:01 +0000k0zy(~user@user/k0zy) (Ping timeout: 264 seconds)
2026-01-16 00:19:09 +0000 <EvanR> I think agda makes this nicer by letting you define ordinals indexed by universe, then "useful programs using ordinals" (??) can then be universe polymorphic
2026-01-16 00:19:50 +0000 <monochrom> EvanR: I would be the one that threw in uncomputable bit streams. But I am not being inconsistent; if possible I would threw in uncomputable unary streams too, except that it is impossible, no such thing exists.
2026-01-16 00:20:27 +0000 <monochrom> which is again just the counterintuitive "change '1' to '2' suddenly everything is different".
2026-01-16 00:21:11 +0000 <jreicher> I certainly think it's interesting. It just doesn't seem to be something that should happen, but it does.
2026-01-16 00:21:16 +0000 <monochrom> I mean, if a theorem is counterintuitive, then question the intuition not the theorem.
2026-01-16 00:21:22 +0000 <jreicher> Yes
2026-01-16 00:21:44 +0000 <EvanR> intuition can be adjusted to fit the facts :tm:
2026-01-16 00:21:51 +0000 <jreicher> or question the definitions/axioms that result in the theorem.
2026-01-16 00:22:26 +0000 <EvanR> that's like questioning the game of chess itself if you lose
2026-01-16 00:22:39 +0000 <EvanR> better to play / define another game
2026-01-16 00:22:42 +0000 <int-e> "Young man, in mathematics you don't understand things. You just get used to them." -- John von Neumann
2026-01-16 00:22:47 +0000 <jreicher> More like questioning it if it's too easy or too hard to play. Or not fun. Something like that.
2026-01-16 00:23:01 +0000 <jreicher> Then it arguably doesn't satisfy its goal
2026-01-16 00:23:11 +0000DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-16 00:23:12 +0000 <monochrom> Shannon's definition of "information" implies that {0} has 0 bits of information, {0,1} has 1 bit of information. That is already a kind of "everything is different" if you look at the ratio: from 0 to 1 is an infinite percent increase. To a large extent the whole conversation above follows.
2026-01-16 00:23:14 +0000 <EvanR> the game in which you lost nonetheless exists
2026-01-16 00:23:16 +0000 <EvanR> and is valid
2026-01-16 00:23:31 +0000DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-16 00:23:40 +0000 <int-e> EvanR: Now that's different. Clearly chess was designed to make me lose!
2026-01-16 00:23:51 +0000 <jreicher> Umm, that's philosophical turf on which I'm very comfortable arguing, but that would be even more off-topic than we already have been. Can still go there if you want.
2026-01-16 00:23:59 +0000 <EvanR> I'm good
2026-01-16 00:24:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 00:24:43 +0000 <EvanR> monochrom, the zero, infinity, ... rule
2026-01-16 00:25:28 +0000DetourNe-DetourNetworkUK
2026-01-16 00:26:43 +0000 <TMA> monochrom: you can still have uncomputable subsets of unary strings though
2026-01-16 00:26:53 +0000 <monochrom> "my car can do 0 to infinity in 60 seconds" >:)
2026-01-16 00:27:25 +0000 <monochrom> TMA: Please don't go there :( >:)
2026-01-16 00:29:18 +0000 <TMA> monochrom: good idea, I'll go to bed instead
2026-01-16 00:29:26 +0000 <monochrom> haha
2026-01-16 00:30:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 00:32:56 +0000Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
2026-01-16 00:40:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 00:45:23 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-01-16 00:45:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 00:46:07 +0000 <geekosaur> I really should start kicking those things into #haskell-in-depth
2026-01-16 00:46:41 +0000 <monochrom> But I think we're done. :)
2026-01-16 00:47:04 +0000 <monochrom> But OK! Kicking people into the deep end feels good haha.
2026-01-16 00:48:19 +0000xff0x(~xff0x@2405:6580:b080:900:5f60:7a2f:94c6:623e) (Ping timeout: 244 seconds)
2026-01-16 00:48:33 +0000 <geekosaur> yeh, I've only been peeking in occasionally since I'm busy this afternoon/evening
2026-01-16 00:53:28 +0000 <jreicher> I didn't even know about that channel
2026-01-16 00:54:29 +0000 <dolio> Oh, maybe I should mention. You can set things up differently so that there are are uncomputable bit strings to talk about. And you can identify the computable bit strings as a subset, but is still uncountable.
2026-01-16 00:54:52 +0000 <dolio> That can be a useful perspective.
2026-01-16 00:56:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 00:57:28 +0000 <dolio> Not because there are 'really' uncomputable bit streams, but because a stream being uncomputable and you not knowing exactly how to compute it (because it doesn't come from some particular definition) act in sort of the same way.
2026-01-16 00:58:41 +0000 <dolio> Like, you can model the bits coming in from your ethernet cable as an 'uncomputable' bit stream, because it is an external entity not subject to your computational model. But you can computably act on the stream.
2026-01-16 01:01:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 01:01:55 +0000 <dolio> It can even be useful within a computing system.
2026-01-16 01:02:51 +0000 <dolio> Like, `unsafeInterleaveIO` lets you access a bit stream that has no corresponding Haskell term.
2026-01-16 01:06:59 +0000Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2026-01-16 01:07:09 +0000Zemy(~Zemy@2600:100c:b0a0:7e6f:e8ca:c9ff:fea3:b5f7)
2026-01-16 01:07:45 +0000Zemy_(~Zemy@72.178.108.235)
2026-01-16 01:09:44 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-01-16 01:09:45 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-01-16 01:10:09 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-01-16 01:10:25 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-16 01:11:45 +0000Zemy(~Zemy@2600:100c:b0a0:7e6f:e8ca:c9ff:fea3:b5f7) (Ping timeout: 252 seconds)
2026-01-16 01:11:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 01:16:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 01:24:42 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-01-16 01:25:05 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-01-16 01:27:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 01:32:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 01:39:13 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-01-16 01:43:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 01:50:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-16 01:52:19 +0000omidmash3(~omidmash@user/omidmash) omidmash
2026-01-16 01:53:56 +0000omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2026-01-16 01:53:56 +0000omidmash3omidmash
2026-01-16 01:57:51 +0000ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2026-01-16 02:01:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 02:04:15 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2026-01-16 02:04:38 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 02:06:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 02:16:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 02:21:50 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 02:23:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 02:24:22 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 02:29:59 +0000haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2026-01-16 02:30:46 +0000haskellbridge(~hackager@96.28.224.214) hackager
2026-01-16 02:30:47 +0000ChanServ+v haskellbridge
2026-01-16 02:30:59 +0000acidjnk(~acidjnk@p200300d6e7171948e4551533bd5d7598.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-01-16 02:36:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 02:41:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 02:41:20 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)
2026-01-16 02:43:19 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 02:43:33 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 02:44:44 +0000Googulator69(~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Quit: Client closed)
2026-01-16 02:44:59 +0000Googulator69(~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu)
2026-01-16 02:47:56 +0000omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-01-16 02:51:14 +0000omidmash(~omidmash@user/omidmash) omidmash
2026-01-16 02:51:25 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2026-01-16 02:52:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 02:55:56 +0000tomboy64(~tomboy64@user/tomboy64) tomboy64
2026-01-16 02:56:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 03:08:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 03:13:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 03:16:22 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-16 03:16:35 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-01-16 03:17:12 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-01-16 03:23:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 03:30:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 03:34:56 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-16 03:35:38 +0000cattiesCatty
2026-01-16 03:36:47 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-16 03:36:53 +0000Zemy(~Zemy@2600:100c:b000:db1:e431:70ff:fe61:4d09)
2026-01-16 03:38:55 +0000Zemy_(~Zemy@72.178.108.235) (Ping timeout: 240 seconds)
2026-01-16 03:39:43 +0000Zemy_(~Zemy@72.178.108.235)
2026-01-16 03:40:55 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-01-16 03:41:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 03:42:34 +0000jle`(~jle`@2603:8001:3b00:11:930a:850f:3a65:f2e0) jle`
2026-01-16 03:43:10 +0000Zemy(~Zemy@2600:100c:b000:db1:e431:70ff:fe61:4d09) (Ping timeout: 246 seconds)
2026-01-16 03:46:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 03:48:15 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2026-01-16 03:51:18 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 03:57:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 03:58:31 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-01-16 04:01:31 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 264 seconds)
2026-01-16 04:01:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 04:02:03 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-01-16 04:06:58 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 246 seconds)
2026-01-16 04:07:33 +0000ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2026-01-16 04:09:13 +0000pipsquak-bird(~g@c-71-235-170-34.hsd1.ma.comcast.net)
2026-01-16 04:11:23 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-16 04:12:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 04:13:01 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 04:13:14 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 04:16:46 +0000weary-traveler(~user@user/user363627) user363627
2026-01-16 04:16:58 +0000She(haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.)
2026-01-16 04:17:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 04:18:30 +0000She(haveident@libera/staff/she/her) She
2026-01-16 04:25:21 +0000comonad(~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2026-01-16 04:28:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 04:28:58 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-16 04:29:51 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 04:30:05 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-16 04:32:52 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-16 04:33:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 04:34:55 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2026-01-16 04:39:23 +0000Zemy(~Zemy@2600:100c:b000:db1:d457:8cff:fed5:dff0)
2026-01-16 04:39:23 +0000Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2026-01-16 04:40:06 +0000Zemy_(~Zemy@72.178.108.235)
2026-01-16 04:43:59 +0000Zemy(~Zemy@2600:100c:b000:db1:d457:8cff:fed5:dff0) (Ping timeout: 260 seconds)
2026-01-16 04:44:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 04:45:27 +0000Zemy(~Zemy@2600:100c:b000:db1:c051:aeff:fe7a:2412)
2026-01-16 04:45:28 +0000Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2026-01-16 04:46:05 +0000Zemy_(~Zemy@72.178.108.235)
2026-01-16 04:47:54 +0000trickard__(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 04:48:17 +0000trickard__trickard
2026-01-16 04:48:34 +0000ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2026-01-16 04:49:13 +0000trickard_(~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2026-01-16 04:49:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 04:49:49 +0000Zemy(~Zemy@2600:100c:b000:db1:c051:aeff:fe7a:2412) (Ping timeout: 260 seconds)
2026-01-16 04:59:53 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-01-16 04:59:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 05:01:22 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-16 05:01:56 +0000 <jreicher> monochrom: do you also have lecture notes that deal with countability? (I don't want to restart the topic here; asking only this question)
2026-01-16 05:04:59 +0000jle`(~jle`@2603:8001:3b00:11:930a:850f:3a65:f2e0) (Ping timeout: 250 seconds)
2026-01-16 05:06:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 05:06:48 +0000jle`(~jle`@2603:8001:3b00:11:de64:4c9b:8263:d4ce) jle`
2026-01-16 05:15:09 +0000bggd_(~bgg@2a01:e0a:fd5:f510:8d9:51ba:2d0b:e2a0)
2026-01-16 05:18:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 05:21:19 +0000jle`(~jle`@2603:8001:3b00:11:de64:4c9b:8263:d4ce) (Quit: WeeChat 4.7.1)
2026-01-16 05:22:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 05:23:34 +0000trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 05:23:48 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 05:26:13 +0000jle`(~jle`@2603:8001:3b00:11:a778:c925:9c27:688d) jle`
2026-01-16 05:29:49 +0000michalz(~michalz@185.246.207.201)
2026-01-16 05:30:22 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-16 05:31:29 +0000karenw(~karenw@user/karenw) karenw
2026-01-16 05:33:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 05:38:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 05:38:27 +0000mange(~mange@user/mange) (Quit: Quittin' time!)
2026-01-16 05:44:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 05:46:38 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 05:46:52 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 05:48:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-16 05:53:07 +0000trickard_trickard
2026-01-16 05:55:12 +0000jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-01-16 05:55:13 +0000troydm(~troydm@user/troydm) (Ping timeout: 244 seconds)
2026-01-16 05:56:09 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-01-16 05:58:57 +0000trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 05:59:10 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 05:59:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 06:04:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-16 06:05:10 +0000doyougnu(~doyougnu@38.175.72.111) (Quit: ZNC 1.8.2 - https://znc.in)
2026-01-16 06:06:26 +0000doyougnu(~doyougnu@38.175.72.111) doyougnu
2026-01-16 06:08:33 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2026-01-16 06:15:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 06:18:03 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-01-16 06:20:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 06:23:36 +0000pabs3(~pabs3@user/pabs3) (Ping timeout: 252 seconds)
2026-01-16 06:23:48 +0000ft(~ft@p4fc2a9d7.dip0.t-ipconnect.de) (Quit: leaving)
2026-01-16 06:24:34 +0000Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63
2026-01-16 06:29:24 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-01-16 06:30:06 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-16 06:30:50 +0000doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 265 seconds)
2026-01-16 06:31:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 06:31:26 +0000pabs3(~pabs3@user/pabs3) pabs3
2026-01-16 06:34:37 +0000Hardyhardhard(~Hardyhard@user/hardyhardhard) hardyhardhard
2026-01-16 06:36:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 06:37:20 +0000trickard_trickard
2026-01-16 06:41:43 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 244 seconds)
2026-01-16 06:41:49 +0000remexre(~remexre@user/remexre) (Ping timeout: 260 seconds)
2026-01-16 06:42:07 +0000Hardyhardhard(~Hardyhard@user/hardyhardhard) (Ping timeout: 272 seconds)
2026-01-16 06:42:46 +0000remexre(~remexre@user/remexre) remexre
2026-01-16 06:43:28 +0000Eoco(~ian@128.101.131.218) Eoco
2026-01-16 06:43:55 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-01-16 06:44:20 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-01-16 06:47:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 06:53:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 07:05:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 07:10:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 07:11:22 +0000jreicher(~joelr@user/jreicher) jreicher
2026-01-16 07:12:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 07:17:06 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-01-16 07:17:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 07:20:45 +0000trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 07:20:59 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 07:27:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 07:32:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 07:33:28 +0000GdeVolpi1(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-01-16 07:33:30 +0000haskellbridge(~hackager@96.28.224.214) (Read error: Connection reset by peer)
2026-01-16 07:33:45 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-01-16 07:33:51 +0000doyougnu(~doyougnu@38.175.72.111)
2026-01-16 07:35:14 +0000haskellbridge(~hackager@96.28.224.214) hackager
2026-01-16 07:35:15 +0000ChanServ+v haskellbridge
2026-01-16 07:36:39 +0000Hardyhardhard(~Hardyhard@user/hardyhardhard) hardyhardhard
2026-01-16 07:40:07 +0000housemate(~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-16 07:41:22 +0000Hardyhardhard(~Hardyhard@user/hardyhardhard) (Client Quit)
2026-01-16 07:43:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 07:43:37 +0000housemate(~housemate@203.56.146.214) housemate
2026-01-16 07:49:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 07:51:49 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-01-16 08:00:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 08:02:11 +0000jessicara(~shirogits@user/meow/jessicara) jessicara
2026-01-16 08:05:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 08:06:31 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
2026-01-16 08:07:29 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-01-16 08:08:35 +0000poscat0x04(~poscat@user/poscat) poscat
2026-01-16 08:08:39 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-01-16 08:08:54 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-01-16 08:10:31 +0000poscat(~poscat@user/poscat) (Ping timeout: 264 seconds)
2026-01-16 08:11:38 +0000Googulator69Googulator
2026-01-16 08:12:19 +0000krei-se-(~krei-se@p3ee0fe0e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2026-01-16 08:13:58 +0000krei-se(~krei-se@p50829ec0.dip0.t-ipconnect.de) krei-se
2026-01-16 08:14:58 +0000Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed)
2026-01-16 08:16:29 +0000Googulator(~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Ping timeout: 272 seconds)
2026-01-16 08:16:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 08:21:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-01-16 08:21:47 +0000trickard_trickard
2026-01-16 08:26:30 +0000trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 08:26:44 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 08:32:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 08:33:45 +0000chele(~chele@user/chele) chele
2026-01-16 08:37:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 08:41:38 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-16 08:45:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 08:45:20 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2026-01-16 08:50:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 08:53:25 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 264 seconds)
2026-01-16 08:53:33 +0000__monty__(~toonn@user/toonn) toonn
2026-01-16 08:56:30 +0000danza(~danza@user/danza) danza
2026-01-16 08:56:57 +0000Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63
2026-01-16 09:00:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 09:05:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 09:15:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 09:17:52 +0000Googulator(~Googulato@team.broadbit.hu)
2026-01-16 09:19:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 09:20:05 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-01-16 09:20:25 +0000karenw(~karenw@user/karenw) (Ping timeout: 264 seconds)
2026-01-16 09:25:46 +0000acidjnk(~acidjnk@p200300d6e71719276ddc164bdcca8bf0.dip0.t-ipconnect.de) acidjnk
2026-01-16 09:30:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 09:32:24 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2026-01-16 09:33:43 +0000danza(~danza@user/danza) danza
2026-01-16 09:34:20 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-16 09:35:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 09:46:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 09:47:09 +0000Brumaire(~no@94.140.114.73) Brumaire
2026-01-16 09:47:09 +0000Brumaire(~no@94.140.114.73) (Client Quit)
2026-01-16 09:52:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-01-16 09:54:05 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2026-01-16 09:54:26 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 09:54:40 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2026-01-16 09:56:03 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-16 09:59:30 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-01-16 10:00:56 +0000trickard_trickard
2026-01-16 10:04:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 10:05:25 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Ping timeout: 272 seconds)
2026-01-16 10:08:15 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-01-16 10:08:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 10:19:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 10:25:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 10:35:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 10:39:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 10:45:21 +0000fp(~Thunderbi@130.233.70.149) fp
2026-01-16 10:45:31 +0000fp(~Thunderbi@130.233.70.149) (Remote host closed the connection)
2026-01-16 10:47:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 10:48:33 +0000caubert(~caubert@user/caubert) caubert
2026-01-16 10:52:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 11:01:45 +0000fp(~Thunderbi@2001:708:20:1406::10c5) fp
2026-01-16 11:03:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 11:08:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 11:17:00 +0000ZLima12_ZLima12
2026-01-16 11:18:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 11:23:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 11:33:31 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-16 11:34:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 11:39:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 11:47:56 +0000 <gentauro> build elm-compiler 0.19.1 (7 years last commit) with stack, just works as a charm. Trying to build "something" with cabal + flakes … "yeah, let me build that ghc 8.10.7 which isn't really needed for scratch. See you in several hours" :|
2026-01-16 11:48:01 +0000 <gentauro> haha
2026-01-16 11:48:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 11:48:24 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-01-16 11:48:27 +0000 <gentauro> «avoid success at all costs» (Y)
2026-01-16 11:51:27 +0000dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2026-01-16 11:52:05 +0000dyniec(~dyniec@dybiec.info) dyniec
2026-01-16 11:52:30 +0000 <danza> it's not that bad
2026-01-16 11:52:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 11:54:16 +0000 <gentauro> I guess it has to do with Snoyman transitioning to Rust :'(
2026-01-16 11:57:05 +0000Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed)
2026-01-16 12:01:34 +0000 <danza> cabal has improved quite a lot
2026-01-16 12:01:39 +0000chewybread(~chewybrea@240b:10:9502:4100:8c87:65e5:9de1:f975)
2026-01-16 12:01:39 +0000chewybread(~chewybrea@240b:10:9502:4100:8c87:65e5:9de1:f975) (Changing host)
2026-01-16 12:01:39 +0000chewybread(~chewybrea@user/chewybread) chewybread
2026-01-16 12:02:56 +0000dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2026-01-16 12:03:17 +0000Zemy(~Zemy@2600:100c:b0ab:2acb:a81f:adff:fe14:77e5)
2026-01-16 12:03:17 +0000Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2026-01-16 12:03:44 +0000dyniec(~dyniec@dybiec.info) dyniec
2026-01-16 12:03:54 +0000Zemy_(~Zemy@72.178.108.235)
2026-01-16 12:03:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 12:08:07 +0000Zemy(~Zemy@2600:100c:b0ab:2acb:a81f:adff:fe14:77e5) (Ping timeout: 264 seconds)
2026-01-16 12:08:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 12:11:42 +0000 <gentauro> danza: it might just be me who don't seem to grasp how `flakes` work. If I do `nix shell --extra-experimental-features flakes --extra-experimental-features nix-command github:NixOS/nixpkgs?ref=nixos-25.05#haskell.compiler.ghc8107` it seems to actually get the `ghc` from NixOS cache
2026-01-16 12:12:05 +0000 <danza> you are conflating nix with cabal. Also, there is #nixos
2026-01-16 12:12:21 +0000 <gentauro> but, when I use `nix build …` it just decides to build `ghc8107` from scratch
2026-01-16 12:12:26 +0000 <gentauro> danza: most likely
2026-01-16 12:12:47 +0000 <gentauro> I'm not use to neither of them. I have kept myself to `stack` which seems to be the "thing that JUST worked"
2026-01-16 12:12:50 +0000 <gentauro> :-\
2026-01-16 12:13:14 +0000 <danza> well try to add nix to stack XD
2026-01-16 12:13:23 +0000 <gentauro> xD
2026-01-16 12:13:45 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-01-16 12:14:21 +0000 <gentauro> nah, I usually just tend to drop whatever I'm doing and move on to "greener fields". Used ot be a "gentoo user". I can't make myself to go back to that
2026-01-16 12:14:42 +0000 <Vq> You could do it the old fashioned way without flakes
2026-01-16 12:15:37 +0000 <gentauro> Vq: any exp with flakes? I kind of "not sure" it's the way cos I had to add `--extra-experimental-features` …
2026-01-16 12:15:40 +0000Googulator13(~Googulato@team.broadbit.hu)
2026-01-16 12:15:49 +0000 <gentauro> (invest time to learn that, if, it's not gonna be a thing)
2026-01-16 12:17:10 +0000 <Vq> gentauro: I have experience with flakes, but I haven't used 'nix shell'.
2026-01-16 12:19:41 +0000Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds)
2026-01-16 12:19:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 12:21:08 +0000 <Lycurgus> >:
2026-01-16 12:21:31 +0000 <gentauro> Vq: I'm looking for the `flakes` replacement to `nix-shell`. I though it would be as simple as `nix shell` :)
2026-01-16 12:21:34 +0000xff0x(~xff0x@2405:6580:b080:900:c589:6b53:dd18:5a14)
2026-01-16 12:21:50 +0000 <gentauro> (sometimes you "just" want to try someting out in a sandbox, before installing it)
2026-01-16 12:21:51 +0000 <Lycurgus> devenv?
2026-01-16 12:22:33 +0000 <Lycurgus> also lemme say ftr, claude can strip nix outta ihp
2026-01-16 12:22:46 +0000 <gentauro> `ihp`?
2026-01-16 12:23:15 +0000 <Lycurgus> a pkg
2026-01-16 12:24:11 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2026-01-16 12:24:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 12:24:34 +0000 <gentauro> I seem to be stucked in "old-school" NixOS xD
2026-01-16 12:25:36 +0000 <Lycurgus> https://eg.meansofproduction.biz/eg/index.php/NixOS
2026-01-16 12:26:33 +0000 <Lycurgus> those were the lean years in comparison to now
2026-01-16 12:27:50 +0000 <Vq> gentauro: Put this in a file with a name like ghc810_shell.nix: with import (builtins.fetchTarball { name = "nixos-25.05-2026-01-16"; url = "https://github.com/nixos/nixpkgs/archive/ac62194c3917d5f474c1a844b6fd6da2db95077d.tar.gz"; sha256 = "sha256:0v6bd1xk8a2aal83karlvc853x44dg1n4nk08jg3dajqyy0s98np"; }) {}; mkShell { buildInputs = [ haskell.compiler.ghc810 ]; }
2026-01-16 12:28:06 +0000 <Vq> gentauro: And then invoke it with: nix-shell ghc810_shell.nix
2026-01-16 12:28:26 +0000 <Vq> gentauro: That's the old fashioned way to do version pinning.
2026-01-16 12:28:58 +0000trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 12:29:14 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 12:32:24 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 12:33:15 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-16 12:33:25 +0000 <gentauro> Vq: Oh, I knew that. That's how I have been doing it up til now. However, projects seem to have moved on to `flakes`. So I'm trying to "learn" how to do stuff like that, but in flakes.
2026-01-16 12:33:44 +0000 <gentauro> the `nix shell --exp … flakes` and the GHC compiler actually works
2026-01-16 12:34:18 +0000 <gentauro> while I'n in `nix shell` with the GHC, I try to do the `nix build …` and point to the flakes.nix and … yeah, it decides to build the ghc8107 anyway
2026-01-16 12:34:33 +0000 <gentauro> I'm guessing it's just me who don't know how to "flakes"
2026-01-16 12:34:35 +0000 <gentauro> :)
2026-01-16 12:35:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 12:37:00 +0000 <Vq> gentauro: If you write your own flake you can define what the default package, shell and dev-shell is. Now I guess you're relying on what happens to be in nixpkgs.
2026-01-16 12:39:33 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 12:39:44 +0000danza(~danza@user/danza) danza
2026-01-16 12:39:59 +0000 <gentauro> Vq: I can actually build the `flake.nix` package. That said, I would like to be able to tell the `nix build` «Hey, here is ghc8107 cached, please use that instead of building it from scratch". I will keep investigating and probably become wiser
2026-01-16 12:42:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 12:43:34 +0000attlin(~user@user/attlin) (Ping timeout: 246 seconds)
2026-01-16 12:45:55 +0000 <Vq> gentauro: Maybe you're getting the environment for building ghc itself? If you define your own mkShell (in a flake) and put ghc810 in its buildInputs it ought to use the same cached version.
2026-01-16 12:45:55 +0000Googulator1(~Googulato@team.broadbit.hu)
2026-01-16 12:46:29 +0000 <gentauro> Vq: can I make a `flake.nix` and wrap their `flake.nix`? Like inception?
2026-01-16 12:48:41 +0000 <Vq> gentauro: "their" is nixpkgs, no? That one is normal to refer to as an input in your flake.
2026-01-16 12:48:50 +0000pipsquak-bird(~g@c-71-235-170-34.hsd1.ma.comcast.net) (Remote host closed the connection)
2026-01-16 12:49:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 12:49:27 +0000Googulator13(~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds)
2026-01-16 12:49:42 +0000 <gentauro> Vq: I have cloned a git repo and the `flakes.nix` is in the root of the project. When I state "theirs", I mean "flakes.nix in root of git repo" :)
2026-01-16 12:51:48 +0000 <gentauro> anyway, I will read a bit more of -> https://nix.dev/manual/nix/2.18/command-ref/new-cli/nix
2026-01-16 12:53:31 +0000 <gentauro> I'm guessing the `build` options https://nix.dev/manual/nix/2.18/command-ref/new-cli/nix3-build#options it seems possible to provide `--include`
2026-01-16 12:54:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 12:57:24 +0000danz91856(~danza@user/danza) danza
2026-01-16 12:57:32 +0000danz91856(~danza@user/danza) (Remote host closed the connection)
2026-01-16 12:58:27 +0000Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63
2026-01-16 12:59:24 +0000danza(~danza@user/danza) (Ping timeout: 244 seconds)
2026-01-16 13:00:37 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-01-16 13:01:41 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-16 13:03:10 +0000karenw(~karenw@user/karenw) karenw
2026-01-16 13:04:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 13:05:28 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-01-16 13:05:47 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-16 13:09:43 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-01-16 13:10:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 13:13:40 +0000fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds)
2026-01-16 13:17:22 +0000driib3180(~driib@vmi931078.contaboserver.net) driib
2026-01-16 13:19:58 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2026-01-16 13:20:01 +0000caubert(~caubert@user/caubert) (Ping timeout: 255 seconds)
2026-01-16 13:20:13 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 13:20:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 13:25:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 13:26:23 +0000caubert(~caubert@user/caubert) caubert
2026-01-16 13:28:29 +0000driib3180(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2026-01-16 13:29:23 +0000driib3180(~driib@vmi931078.contaboserver.net) driib
2026-01-16 13:31:23 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-01-16 13:31:48 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 13:32:01 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 13:36:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 13:38:00 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-16 13:41:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 13:42:23 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2026-01-16 13:43:07 +0000attlin(~user@user/attlin) attlin
2026-01-16 13:43:58 +0000Zemy(~Zemy@2600:100c:b0ab:2acb:40bf:cff:feb9:a01)
2026-01-16 13:46:31 +0000Zemy_(~Zemy@72.178.108.235) (Ping timeout: 240 seconds)
2026-01-16 13:50:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 13:52:21 +0000rekahsoft(~rekahsoft@70.51.99.245) rekahsoft
2026-01-16 13:55:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 13:57:07 +0000ystael(~ystael@user/ystael) ystael
2026-01-16 13:57:09 +0000Zemy_(~Zemy@syn-192-154-181-091.biz.spectrum.com)
2026-01-16 13:59:42 +0000Core7109(~Zemy@2600:100c:b0ab:2acb:80ef:aff:fee5:c080)
2026-01-16 13:59:44 +0000Zemy_(~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer)
2026-01-16 13:59:54 +0000Zemy(~Zemy@2600:100c:b0ab:2acb:40bf:cff:feb9:a01) (Ping timeout: 260 seconds)
2026-01-16 14:00:33 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-01-16 14:00:57 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-16 14:01:48 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-16 14:04:09 +0000trickard_trickard
2026-01-16 14:04:51 +0000Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com)
2026-01-16 14:06:54 +0000housemate(~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-16 14:07:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 14:08:07 +0000Core7109(~Zemy@2600:100c:b0ab:2acb:80ef:aff:fee5:c080) (Ping timeout: 244 seconds)
2026-01-16 14:10:36 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:7009:40ff:fefa:7180)
2026-01-16 14:10:36 +0000Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer)
2026-01-16 14:11:05 +0000Zemy(~Zemy@12.50.240.58)
2026-01-16 14:12:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 14:12:29 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:7009:40ff:fefa:7180) (Read error: Connection reset by peer)
2026-01-16 14:13:04 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:643b:56ff:fe57:94b2)
2026-01-16 14:15:06 +0000spew(~spew@user/spew) spew
2026-01-16 14:15:19 +0000Zemy(~Zemy@12.50.240.58) (Ping timeout: 240 seconds)
2026-01-16 14:20:49 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-16 14:23:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 14:24:47 +0000driib3180(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2026-01-16 14:26:47 +0000danza(~danza@user/danza) danza
2026-01-16 14:27:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 14:28:32 +0000driib3180(~driib@vmi931078.contaboserver.net) driib
2026-01-16 14:32:15 +0000Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com)
2026-01-16 14:34:52 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2026-01-16 14:36:04 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:643b:56ff:fe57:94b2) (Ping timeout: 260 seconds)
2026-01-16 14:37:29 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:3090:6ff:fe64:9a11)
2026-01-16 14:38:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 14:40:40 +0000housemate(~housemate@203.56.146.214) housemate
2026-01-16 14:40:55 +0000Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com) (Ping timeout: 240 seconds)
2026-01-16 14:43:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 14:43:33 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2026-01-16 14:48:05 +0000Zemy(~Zemy@72.178.108.235)
2026-01-16 14:51:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 14:51:34 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:3090:6ff:fe64:9a11) (Ping timeout: 265 seconds)
2026-01-16 14:56:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 14:58:49 +0000ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2026-01-16 14:59:46 +0000ZLima12(~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94)
2026-01-16 15:06:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 15:11:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 15:16:13 +0000AlexZenon(~alzenon@5.139.232.54) (Ping timeout: 265 seconds)
2026-01-16 15:16:33 +0000koz(~koz@121.99.240.58) (Ping timeout: 252 seconds)
2026-01-16 15:16:49 +0000koz(~koz@121.99.240.58)
2026-01-16 15:16:56 +0000AlexZenon(~alzenon@5.139.232.54)
2026-01-16 15:22:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 15:23:43 +0000AlexZenon(~alzenon@5.139.232.54) (Ping timeout: 240 seconds)
2026-01-16 15:27:56 +0000AlexZenon(~alzenon@5.139.232.54)
2026-01-16 15:29:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-16 15:30:13 +0000kuribas(~user@2a02-1810-2825-6000-1c47-76c1-25a4-31e8.ip6.access.telenet.be) kuribas
2026-01-16 15:31:04 +0000AlexZenon_2(~alzenon@5.139.232.54)
2026-01-16 15:32:07 +0000AlexZenon(~alzenon@5.139.232.54) (Ping timeout: 240 seconds)
2026-01-16 15:32:13 +0000Googulator1(~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds)
2026-01-16 15:40:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 15:41:01 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-01-16 15:44:15 +0000Digit(~user@user/digit) (Ping timeout: 240 seconds)
2026-01-16 15:45:25 +0000housemate(~housemate@203.56.146.214) (Remote host closed the connection)
2026-01-16 15:45:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 15:45:56 +0000housemate(~housemate@203.56.146.214) housemate
2026-01-16 15:46:13 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-01-16 15:46:48 +0000housemate(~housemate@203.56.146.214) (Max SendQ exceeded)
2026-01-16 15:47:18 +0000housemate(~housemate@203.56.146.214) housemate
2026-01-16 15:47:29 +0000housemate(~housemate@203.56.146.214) (Remote host closed the connection)
2026-01-16 15:47:51 +0000housemate(~housemate@203.56.146.214) housemate
2026-01-16 15:47:59 +0000housemate(~housemate@203.56.146.214) (Client Quit)
2026-01-16 15:48:58 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-01-16 15:52:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 15:56:33 +0000comonad(~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de)
2026-01-16 15:57:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 15:58:05 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2026-01-16 16:03:10 +0000AlexZenon_2AlexZenon
2026-01-16 16:04:26 +0000euphores(~SASL_euph@user/euphores) euphores
2026-01-16 16:06:25 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-01-16 16:07:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 16:09:52 +0000bggd_(~bgg@2a01:e0a:fd5:f510:8d9:51ba:2d0b:e2a0) (Remote host closed the connection)
2026-01-16 16:13:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 16:23:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 16:27:02 +0000karenw_(~karenw@user/karenw) karenw
2026-01-16 16:28:13 +0000karenw(~karenw@user/karenw) (Ping timeout: 264 seconds)
2026-01-16 16:28:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 16:29:05 +0000st_aldini(~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Remote host closed the connection)
2026-01-16 16:33:36 +0000droideqa(uid499291@user/droideqa) droideqa
2026-01-16 16:39:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 16:39:57 +0000Digit(~user@user/digit) Digit
2026-01-16 16:42:43 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-16 16:43:14 +0000jmcantrell_(~weechat@user/jmcantrell) (Client Quit)
2026-01-16 16:44:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 16:45:06 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-16 16:45:13 +0000jmcantrell_jmcantrell
2026-01-16 16:47:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 16:51:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 16:53:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 16:55:34 +0000st_aldini(~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) st_aldini
2026-01-16 16:57:28 +0000danz69287(~danza@user/danza) danza
2026-01-16 16:59:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 16:59:54 +0000danza(~danza@user/danza) (Read error: Connection reset by peer)
2026-01-16 17:01:44 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-16 17:07:31 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-16 17:09:13 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:10:07 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:10:47 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:10:57 +0000vgtw(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2026-01-16 17:11:04 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:11:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 17:11:45 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:12:18 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:13:30 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:14:09 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:15:54 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:16:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 17:16:29 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:17:40 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:17:40 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:18:49 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:19:15 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:21:19 +0000chewybread(~chewybrea@user/chewybread) (Ping timeout: 264 seconds)
2026-01-16 17:24:06 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:25:03 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2026-01-16 17:25:31 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-01-16 17:25:49 +0000Googulator1(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-16 17:26:00 +0000Googulator1Googulator
2026-01-16 17:26:25 +0000chewybread(~chewybrea@240b:10:9502:4100:3c10:28c4:7be:c338)
2026-01-16 17:26:26 +0000chewybread(~chewybrea@240b:10:9502:4100:3c10:28c4:7be:c338) (Changing host)
2026-01-16 17:26:26 +0000chewybread(~chewybrea@user/chewybread) chewybread
2026-01-16 17:26:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 17:27:39 +0000chewybread(~chewybrea@user/chewybread) ()
2026-01-16 17:29:40 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:ec57:5ff:fec4:9bc4)
2026-01-16 17:31:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 17:32:55 +0000Zemy(~Zemy@72.178.108.235) (Ping timeout: 240 seconds)
2026-01-16 17:36:00 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-01-16 17:36:26 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-16 17:37:04 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-16 17:38:12 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-16 17:42:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 17:42:57 +0000Zemy(~Zemy@mobile-107-80-206-40.mycingular.net)
2026-01-16 17:44:21 +0000karenw_karenw
2026-01-16 17:46:09 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:ec57:5ff:fec4:9bc4) (Ping timeout: 244 seconds)
2026-01-16 17:46:30 +0000Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed)
2026-01-16 17:48:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 17:48:01 +0000polykernel_(~polykerne@user/polykernel) polykernel
2026-01-16 17:48:40 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:e4bf:3fff:fe3a:6637)
2026-01-16 17:48:43 +0000Zemy(~Zemy@mobile-107-80-206-40.mycingular.net) (Read error: Connection reset by peer)
2026-01-16 17:50:42 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 244 seconds)
2026-01-16 17:50:42 +0000polykernel_polykernel
2026-01-16 17:51:24 +0000Zemy(~Zemy@mobile-107-80-206-40.mycingular.net)
2026-01-16 17:54:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 17:54:17 +0000Core1374(~Zemy@2600:100c:b0ab:2acb:50ad:11ff:fe6a:9452)
2026-01-16 17:54:36 +0000danz69287(~danza@user/danza) (Remote host closed the connection)
2026-01-16 17:54:50 +0000Core7244(~Zemy@mobile-107-80-206-79.mycingular.net)
2026-01-16 17:55:34 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:e4bf:3fff:fe3a:6637) (Ping timeout: 260 seconds)
2026-01-16 17:55:58 +0000Core1374(~Zemy@2600:100c:b0ab:2acb:50ad:11ff:fe6a:9452) (Read error: Connection reset by peer)
2026-01-16 17:56:23 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:e8e1:baff:fe6b:e416)
2026-01-16 17:57:04 +0000Core1017(~Zemy@mobile-107-80-206-71.mycingular.net)
2026-01-16 17:58:00 +0000Core5374(~Zemy@mobile-107-80-206-71.mycingular.net)
2026-01-16 17:58:28 +0000Zemy(~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 260 seconds)
2026-01-16 17:59:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-16 17:59:35 +0000Core7244(~Zemy@mobile-107-80-206-79.mycingular.net) (Ping timeout: 265 seconds)
2026-01-16 18:00:49 +0000Zemy_(~Zemy@2600:100c:b0ab:2acb:e8e1:baff:fe6b:e416) (Ping timeout: 260 seconds)
2026-01-16 18:01:31 +0000Core1017(~Zemy@mobile-107-80-206-71.mycingular.net) (Ping timeout: 265 seconds)
2026-01-16 18:05:07 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-01-16 18:07:10 +0000Zemy(~Zemy@2600:100c:b0ab:2acb:4b4:2dff:fe12:b91d)
2026-01-16 18:09:00 +0000kuribas(~user@2a02-1810-2825-6000-1c47-76c1-25a4-31e8.ip6.access.telenet.be) (Remote host closed the connection)
2026-01-16 18:09:33 +0000Core5374(~Zemy@mobile-107-80-206-71.mycingular.net) (Ping timeout: 260 seconds)
2026-01-16 18:09:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 18:14:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 18:19:49 +0000trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 18:20:02 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 18:25:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 18:30:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 18:33:52 +0000Zemy_(~Zemy@mobile-107-80-206-40.mycingular.net)
2026-01-16 18:37:30 +0000Brumaire(~no@94.140.114.73) Brumaire
2026-01-16 18:37:45 +0000Core8897(~Zemy@2600:100c:b0ab:2acb:b024:50ff:fe09:a124)
2026-01-16 18:37:51 +0000Zemy(~Zemy@2600:100c:b0ab:2acb:4b4:2dff:fe12:b91d) (Ping timeout: 252 seconds)
2026-01-16 18:39:37 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-01-16 18:40:24 +0000Zemy_(~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 244 seconds)
2026-01-16 18:41:13 +0000Zemy(~Zemy@72.178.108.235)
2026-01-16 18:41:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 18:41:25 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2026-01-16 18:44:30 +0000Core8897(~Zemy@2600:100c:b0ab:2acb:b024:50ff:fe09:a124) (Ping timeout: 256 seconds)
2026-01-16 18:45:38 +0000Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-16 18:45:45 +0000Googulator59(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-16 18:45:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 18:47:47 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-01-16 18:53:31 +0000acidjnk(~acidjnk@p200300d6e71719276ddc164bdcca8bf0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2026-01-16 18:55:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 18:59:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 19:10:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 19:14:44 +0000Digitdigitteknohippie
2026-01-16 19:15:02 +0000digitteknohippieDigit
2026-01-16 19:15:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 19:16:07 +0000caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2026-01-16 19:21:39 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-16 19:21:52 +0000trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-16 19:26:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 19:26:50 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
2026-01-16 19:27:22 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-16 19:29:53 +0000caubert(~caubert@user/caubert) caubert
2026-01-16 19:31:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 19:37:27 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2026-01-16 19:38:50 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-01-16 19:38:55 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2026-01-16 19:39:30 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-01-16 19:42:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 19:45:32 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-01-16 19:48:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 19:54:35 +0000karenw(~karenw@user/karenw) (Ping timeout: 240 seconds)
2026-01-16 19:56:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 19:59:32 +0000dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-16 20:00:54 +0000dolio(~dolio@130.44.140.168) dolio
2026-01-16 20:01:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 20:03:49 +0000dolio(~dolio@130.44.140.168) (Client Quit)
2026-01-16 20:04:46 +0000dolio(~dolio@130.44.140.168) dolio
2026-01-16 20:05:36 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-01-16 20:11:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 20:14:14 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-16 20:16:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 20:16:58 +0000trickard_trickard
2026-01-16 20:27:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 20:32:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-16 20:34:48 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-16 20:35:46 +0000paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-01-16 20:41:14 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-16 20:43:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 20:43:23 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-01-16 20:44:56 +0000paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection)
2026-01-16 20:45:54 +0000foul_owl(~kerry@94.156.149.96) (Ping timeout: 260 seconds)
2026-01-16 20:46:11 +0000foul_owl(~kerry@71-212-2-112.tukw.qwest.net) foul_owl
2026-01-16 20:47:56 +0000paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-01-16 20:48:13 +0000target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 260 seconds)
2026-01-16 20:48:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 20:48:43 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-01-16 20:53:28 +0000target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 260 seconds)
2026-01-16 20:53:28 +0000foul_owl(~kerry@71-212-2-112.tukw.qwest.net) (Ping timeout: 260 seconds)
2026-01-16 20:54:03 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-01-16 20:58:23 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-16 20:58:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 21:00:29 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-01-16 21:00:52 +0000tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2026-01-16 21:01:15 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds)
2026-01-16 21:04:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 21:07:44 +0000foul_owl(~kerry@94.156.149.96) foul_owl
2026-01-16 21:14:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 21:14:58 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-16 21:19:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 21:21:13 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2026-01-16 21:21:33 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2026-01-16 21:27:43 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2026-01-16 21:27:58 +0000acidjnk(~acidjnk@p200300d6e71719276ddc164bdcca8bf0.dip0.t-ipconnect.de) acidjnk
2026-01-16 21:30:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 21:33:29 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-01-16 21:34:16 +0000Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla
2026-01-16 21:37:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-16 21:37:40 +0000ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1)
2026-01-16 21:39:55 +0000target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 264 seconds)
2026-01-16 21:42:12 +0000cyphase(~cyphase@user/cyphase) (Read error: Connection reset by peer)
2026-01-16 21:42:48 +0000cyphase(~cyphase@user/cyphase) cyphase
2026-01-16 21:45:32 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-01-16 21:46:34 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-01-16 21:48:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 21:53:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-16 21:55:06 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-16 22:00:52 +0000jmcantrell_jmcantrell
2026-01-16 22:01:08 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-01-16 22:04:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 22:08:31 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-01-16 22:08:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 22:10:42 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-01-16 22:19:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 22:22:21 +0000Googulator59(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-16 22:22:41 +0000Googulator59(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-16 22:24:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 22:28:36 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-01-16 22:28:51 +0000qqq(~qqq@185.54.21.105) (Quit: Lost terminal)
2026-01-16 22:35:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 22:38:20 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-16 22:40:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-16 22:45:56 +0000Zemy_(~Zemy@72.178.108.235)
2026-01-16 22:45:57 +0000Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2026-01-16 22:51:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 22:55:49 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds)
2026-01-16 22:56:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-16 22:56:11 +0000newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-01-16 23:02:49 +0000michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2026-01-16 23:07:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 23:11:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-16 23:22:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 23:27:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-16 23:32:15 +0000oats(~oats@user/oats) (Read error: Connection reset by peer)
2026-01-16 23:32:30 +0000oats(~oats@user/oats) oats
2026-01-16 23:34:28 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds)
2026-01-16 23:36:54 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-16 23:38:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 23:40:54 +0000pavonia(~user@user/siracusa) siracusa
2026-01-16 23:42:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-16 23:50:40 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 246 seconds)
2026-01-16 23:52:32 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-01-16 23:52:50 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-01-16 23:53:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-16 23:56:27 +0000Sgeo(~Sgeo@user/sgeo) Sgeo