2025/09/20

2025-09-20 00:04:08 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-20 00:06:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 00:07:59 +0000arandombit(~arandombi@user/arandombit) arandombit
2025-09-20 00:10:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 00:21:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 00:26:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 00:32:29 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-09-20 00:35:05 +0000pmk_(6afe4476a1@2a03:6000:1812:100::26d) (Server closed connection)
2025-09-20 00:35:07 +0000califax(~califax@user/califx) califx
2025-09-20 00:35:12 +0000pmk(6afe4476a1@2a03:6000:1812:100::26d) pmk
2025-09-20 00:36:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 00:41:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 00:50:52 +0000acidjnk(~acidjnk@p200300d6e7171937d46e20cf8ad144df.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-09-20 00:52:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 00:56:24 +0000hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-09-20 00:59:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 01:10:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 01:13:45 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-20 01:14:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 01:25:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 01:28:21 +0000trickard(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 01:28:35 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-20 01:30:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 01:35:05 +0000buhman(sid411355@user/buhman) (Server closed connection)
2025-09-20 01:35:25 +0000buhman(sid411355@user/buhman) buhman
2025-09-20 01:41:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 01:45:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 01:54:29 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-09-20 01:56:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 01:57:22 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-20 02:01:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 02:02:20 +0000hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-09-20 02:04:14 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 02:06:31 +0000Axma56072(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-20 02:11:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 02:16:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 02:18:40 +0000hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-09-20 02:27:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 02:28:13 +0000craunts79(~craunts@152.32.99.194)
2025-09-20 02:32:00 +0000trickard_trickard
2025-09-20 02:34:38 +0000xff0x(~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 258 seconds)
2025-09-20 02:34:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 02:44:49 +0000pyrex(~pyrex@user/pyrex) pyrex
2025-09-20 02:45:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 02:46:30 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-20 02:50:03 +0000petrichor(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-09-20 02:52:14 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-09-20 02:52:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 02:52:51 +0000petrichor(~jez@user/petrichor) petrichor
2025-09-20 02:53:38 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-20 02:57:25 +0000xff0x(~xff0x@2405:6580:b080:900:675b:1eaf:a53a:b1f)
2025-09-20 03:03:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 03:04:29 +0000trickard(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-09-20 03:04:49 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-20 03:06:03 +0000aforemny_(~aforemny@2001:9e8:6cc4:e000:55b1:cdc4:a1b:cb22) aforemny
2025-09-20 03:06:50 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-09-20 03:06:54 +0000aforemny(~aforemny@i577B1293.versanet.de) (Ping timeout: 244 seconds)
2025-09-20 03:07:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 03:13:05 +0000bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Server closed connection)
2025-09-20 03:13:17 +0000bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2025-09-20 03:18:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 03:23:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 03:26:44 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-09-20 03:30:53 +0000Axma78459(~Axman6@user/axman6) Axman6
2025-09-20 03:33:03 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-20 03:34:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 03:39:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 03:39:55 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-20 03:48:00 +0000qqe(~qqq@185.54.23.100)
2025-09-20 03:49:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 03:54:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 04:05:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 04:08:23 +0000jreicher(~user@user/jreicher) (Ping timeout: 244 seconds)
2025-09-20 04:09:47 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-20 04:11:03 +0000img(~img@user/img) img
2025-09-20 04:12:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 04:14:32 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 04:16:33 +0000Axma78459(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-20 04:20:27 +0000yin(~zero@user/zero) (Ping timeout: 258 seconds)
2025-09-20 04:23:12 +0000yin(~zero@user/zero) zero
2025-09-20 04:24:17 +0000bcksl(~bcksl@user/bcksl) (Ping timeout: 256 seconds)
2025-09-20 04:24:17 +0000noctux(~noctux@user/noctux) (Ping timeout: 256 seconds)
2025-09-20 04:24:17 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 256 seconds)
2025-09-20 04:24:17 +0000kqr(~kqr@irc-1.xkqr.org) (Ping timeout: 256 seconds)
2025-09-20 04:25:03 +0000petrichor(~jez@user/petrichor) (Ping timeout: 256 seconds)
2025-09-20 04:25:06 +0000noctux(~noctux@user/noctux) noctux
2025-09-20 04:25:14 +0000petrichor(~jez@user/petrichor) petrichor
2025-09-20 04:25:21 +0000kqr(~kqr@irc-1.xkqr.org)
2025-09-20 04:26:03 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-09-20 04:27:30 +0000rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-09-20 04:28:03 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-20 04:30:39 +0000bcksl(~bcksl@user/bcksl) bcksl
2025-09-20 04:44:20 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-20 04:44:59 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-20 04:46:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 04:47:21 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-20 04:51:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 04:59:00 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 04:59:11 +0000Axma65644(~Axman6@user/axman6) Axman6
2025-09-20 04:59:14 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-20 05:01:09 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-20 05:01:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 05:06:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 05:17:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 05:21:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 05:27:49 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 05:28:02 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-20 05:32:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 05:37:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 05:40:21 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-09-20 05:45:49 +0000pyrex(~pyrex@user/pyrex) (Ping timeout: 250 seconds)
2025-09-20 05:47:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 05:52:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 06:03:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 06:08:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 06:18:26 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 06:18:40 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-20 06:18:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 06:23:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 06:28:39 +0000trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-09-20 06:28:45 +0000trickard__(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 06:33:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 06:37:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 06:42:48 +0000weary-traveler(~user@user/user363627) user363627
2025-09-20 06:43:52 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 06:46:03 +0000Axma65644(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-20 06:48:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 06:49:33 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-09-20 06:53:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 07:00:03 +0000caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-20 07:00:43 +0000caconym74787(~caconym@user/caconym) caconym
2025-09-20 07:04:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 07:08:37 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:f032:f72c:e619:8727) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-09-20 07:08:57 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog
2025-09-20 07:11:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 07:22:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 07:26:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 07:27:28 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 07:27:38 +0000tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-09-20 07:29:05 +0000jreicher(~user@user/jreicher) jreicher
2025-09-20 07:32:42 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-09-20 07:32:49 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds)
2025-09-20 07:34:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 07:35:31 +0000rvalue-rvalue
2025-09-20 07:38:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 07:39:21 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-20 07:45:27 +0000mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com)
2025-09-20 07:48:09 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-20 07:48:46 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-20 07:49:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 07:54:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 07:55:48 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-20 07:56:43 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-20 08:05:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 08:10:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 08:18:32 +0000Axman7217(~Axman6@user/axman6) Axman6
2025-09-20 08:18:41 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 08:20:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 08:20:33 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-20 08:25:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 08:29:45 +0000Square2(~Square@user/square) Square
2025-09-20 08:30:03 +0000Googulator1(~Googulato@2a01-036d-0106-217b-d921-1fcb-7b52-cdbe.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-09-20 08:35:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 08:41:06 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-20 08:42:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 08:44:50 +0000Sgeo__(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-20 08:47:03 +0000 <Enrico63> Hello there!
2025-09-20 08:50:24 +0000 <Rembane> Hello Enrico63 !
2025-09-20 08:50:57 +0000acidjnk(~acidjnk@p200300d6e717196005b97722411e3ede.dip0.t-ipconnect.de) acidjnk
2025-09-20 08:53:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 08:57:16 +0000 <Enrico63> I'm going though https://haskell.mooc.fi/part2 and one exercise (https://github.com/moocfi/haskell-mooc/blob/59735e76d37c5470504be4d64206cd49660e1324/exercises/Set…) consists in implementing a permutation function that works like this:
2025-09-20 08:57:17 +0000 <Enrico63> -- permute [0,1,2,3] "hask" ==> "hask"
2025-09-20 08:57:17 +0000 <Enrico63> -- permute [2,0,1,3] "hask" ==> "ashk"
2025-09-20 08:57:18 +0000 <Enrico63> -- permute [1,2,3,0] "hask" ==> "khas"
2025-09-20 08:57:18 +0000 <Enrico63> Using just lists, I've come up with this solution, which takes O(n log n - i.e. complexity of sorting):
2025-09-20 08:57:19 +0000 <Enrico63> permute :: [Int] -> [a] -> [a]
2025-09-20 08:57:19 +0000 <Enrico63> permute p s = map snd $ sortOn fst $ zip p s
2025-09-20 08:57:20 +0000 <Enrico63> however, if I had used mutable arrays, I could have done something like this, which is just O(n), right?
2025-09-20 08:57:20 +0000 <Enrico63> permute :: [Int] -> [a] -> [a]
2025-09-20 08:57:21 +0000 <Enrico63> permute idxs list =
2025-09-20 08:57:21 +0000 <Enrico63>     elems (array (0, n-1) (zip idxs list))
2025-09-20 08:57:22 +0000 <Enrico63>   where n = length list
2025-09-20 08:57:22 +0000 <Enrico63> To me it feels like such a solution requires 2 features: the ability to random access an array with O(1), and mutability.
2025-09-20 08:57:23 +0000 <Enrico63> The solution with sorting doesn't use either of those and indeed it pays with O(n log n) or whatever.
2025-09-20 08:57:23 +0000 <Enrico63> Can anybody suggest some material I could refer to, if I want to better understand the stuff above?
2025-09-20 08:57:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 08:58:48 +0000opqdonutopqdonut__
2025-09-20 08:58:57 +0000opqdonut_opqdonut
2025-09-20 08:59:49 +0000 <tomsmeding> Enrico63: the array you used isn't mutable, and doesn't need to be
2025-09-20 09:00:35 +0000 <tomsmeding> I would say that the most straightforward solution is the O(n^2) `permute idxs list = map (list !!) idxs`
2025-09-20 09:01:21 +0000 <tomsmeding> which you can speed up with an array using `permute idxs list = let arr = listArray (0, length list - 1) list in map (arr !) idxs`
2025-09-20 09:01:58 +0000 <tomsmeding> ... apologies, I got the permutation in the wrong direction
2025-09-20 09:02:06 +0000 <tomsmeding> your `array` solution is indeed correct, my suggestions are not
2025-09-20 09:02:33 +0000 <tomsmeding> `array` is indeed implemented using mutation under the hood, but the function as a whole is pure
2025-09-20 09:03:06 +0000 <tomsmeding> and indeed, all of haskell is, necessarily: the underlying hardware can do things only through mutation
2025-09-20 09:03:16 +0000 <Enrico63> Yeah, I know that. But the reason why it is fast is that it uses mutation.
2025-09-20 09:03:31 +0000 <tomsmeding> to an extent
2025-09-20 09:03:48 +0000 <tomsmeding> one thing you could I guess look up in reference to this, is pull arrays vs push arrays
2025-09-20 09:03:54 +0000 <Enrico63> So my question is not about Haskell. It's just that doing this in Haskell forced me to think about something I hadn't thought before.
2025-09-20 09:04:09 +0000 <tomsmeding> what you're being asked here is a forward permutation, which you can do efficiently in push-array style and not in pull-array style
2025-09-20 09:04:46 +0000 <tomsmeding> a backward permutation (which is what I described with `map (list !!) idxs`) can be efficiently implemented using pull arrays, which is more natural in a functional setting
2025-09-20 09:04:49 +0000 <Enrico63> Forward permutation =? I have the list of destination indices of original indices 0,1,2,..?
2025-09-20 09:05:12 +0000 <Enrico63> Ok, I think that's what you mean by forward/backward permutation
2025-09-20 09:05:14 +0000 <tomsmeding> yes
2025-09-20 09:07:03 +0000 <Enrico63> Ok, but backward permutation is a non-problem. I mean, if your original snippet can be even O(n) if `list` gives O(1) `!!`, and requires no mutability to be that fast.
2025-09-20 09:07:20 +0000 <tomsmeding> yes, and that's what I did using listArray
2025-09-20 09:07:39 +0000 <tomsmeding> I'm not sure what kind of theory you're looking for :p
2025-09-20 09:07:42 +0000 <Enrico63> Oh, right, didn't read that. Anyway, that's why I say it's a non-problem
2025-09-20 09:08:12 +0000 <tomsmeding> backward permutation is also easier to parallelise efficiently than forward permutation, especially if the permutation is not required to be bijective
2025-09-20 09:08:12 +0000 <Enrico63> I'm not sure either, ahahah
2025-09-20 09:08:41 +0000 <tomsmeding> having multiple destination elements read from the same source element is... just do that
2025-09-20 09:08:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 09:09:09 +0000 <tomsmeding> sending multiple source elements to the same destination element using `permute` is suddenly very interesting
2025-09-20 09:09:18 +0000 <tomsmeding> how do you combine multiple elements being sent to the same spot?
2025-09-20 09:09:36 +0000 <tomsmeding> this is why Data.Array.accumArray has a combining function
2025-09-20 09:10:41 +0000 <Enrico63> Why mutiple elements sent to the same spot? That doesn't happen with permutation..
2025-09-20 09:10:50 +0000 <tomsmeding> but we can generalise the operation to allow that
2025-09-20 09:10:57 +0000 <tomsmeding> well, we can easily generalise backward permutation to allow that
2025-09-20 09:11:04 +0000 <tomsmeding> generalising forward permutation suddenly requires a combining function
2025-09-20 09:11:17 +0000 <tomsmeding> % backpermute idxs list = map (list !!) idxs
2025-09-20 09:11:17 +0000 <yahb2> <no output>
2025-09-20 09:11:23 +0000 <tomsmeding> % backpermute [0,0,0,2] "hask"
2025-09-20 09:11:23 +0000 <yahb2> "hhhs"
2025-09-20 09:11:26 +0000 <tomsmeding> works fine
2025-09-20 09:11:41 +0000 <tomsmeding> % import qualified Data.Array as A
2025-09-20 09:11:41 +0000 <yahb2> <no output>
2025-09-20 09:11:59 +0000 <Enrico63> You're executing Haskell code in here... :O
2025-09-20 09:12:18 +0000 <tomsmeding> % A.accumArray (+) 0 (0,3) (zip [0,0,0,2] [1,2,3,4])
2025-09-20 09:12:18 +0000 <yahb2> array (0,3) [(0,6),(1,0),(2,4),(3,0)]
2025-09-20 09:12:24 +0000 <tomsmeding> % A.elems $ A.accumArray (+) 0 (0,3) (zip [0,0,0,2] [1,2,3,4])
2025-09-20 09:12:24 +0000 <yahb2> [6,0,4,0]
2025-09-20 09:12:52 +0000 <tomsmeding> this is a forward permutation with idxs=[0,0,0,2] and list=[1,2,3,4], using the (0, +) monoid
2025-09-20 09:13:11 +0000 <tomsmeding> if the permutation is bijective, i.e. you have no overlap, no monoid is required, as you've seen
2025-09-20 09:13:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 09:13:33 +0000 <tomsmeding> (1+2+3 = 6)
2025-09-20 09:14:05 +0000 <tomsmeding> @let import qualified Data.Array as A
2025-09-20 09:14:06 +0000 <lambdabot> Defined.
2025-09-20 09:14:15 +0000 <tomsmeding> > A.elems $ A.accumArray (+) 0 (0,3) (zip [0,0,0,2] [a,b,c,d])
2025-09-20 09:14:17 +0000 <lambdabot> [0 + a + b + c,0,0 + d,0]
2025-09-20 09:14:20 +0000 <tomsmeding> nice
2025-09-20 09:14:53 +0000 <Enrico63> Ok, yes, I see that. I think I just haven't been clear about what is puzzling me.
2025-09-20 09:16:03 +0000trickard__trickard
2025-09-20 09:16:50 +0000 <tomsmeding> what is puzzling you? :)
2025-09-20 09:18:17 +0000 <mauke> the nature of your game
2025-09-20 09:18:19 +0000 <Enrico63> I guess what I'm saying is that with the example I gave above, I understand that the problem of (backward) permutation is not doable in O(n) unless you have O(1) random access + mutability. And I'd like to understand a bit more about the relation between complexity and .. language features?
2025-09-20 09:18:48 +0000 <Enrico63> I see your point of mutability being an impl. detail, yes. But:
2025-09-20 09:19:24 +0000ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-09-20 09:20:16 +0000 <Enrico63> If I see something like `elems (array (0, n-1) (zip idxs list))`, and one tells me it's happening in O(n), ... then I know that array is allocating an array, doing mutation of that very array, and the passing that very array to elems.
2025-09-20 09:20:31 +0000 <tomsmeding> right
2025-09-20 09:21:01 +0000 <Enrico63> Mutation might be an impl. detail, but it kind leaks out by just knowing the complexity of the algo. If it's O(n), you know it's doing mutability.
2025-09-20 09:21:01 +0000ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-09-20 09:21:17 +0000 <tomsmeding> (in the usual RAM model where memory access is considered O(1), ignoring physical effects that mean memory access is more accurately something like O(sqrt(n)) with a very low constant factor)
2025-09-20 09:21:49 +0000 <tomsmeding> right. It depends mostly on what you consider your "base language" of pure operations
2025-09-20 09:22:22 +0000 <tomsmeding> allocating an array incurs mutation: you mutate the memory allocator's internal data structures and write a bunch of zeros to memory
2025-09-20 09:22:41 +0000 <tomsmeding> but it makes a lot of sense to consider this a pure operation, so we include this, black-box, as a pure operation in our "base language"
2025-09-20 09:23:02 +0000 <tomsmeding> similarly instead of writing zeros, writing elements computed using a pure function is still pure
2025-09-20 09:23:26 +0000 <tomsmeding> ( https://hackage.haskell.org/package/vector-0.13.1.0/docs/Data-Vector.html#v:generate )
2025-09-20 09:23:43 +0000 <tomsmeding> but somehow it feels wrong for `array` to also be a pure function in our "base language"
2025-09-20 09:23:45 +0000 <tomsmeding> why is that?
2025-09-20 09:23:50 +0000 <Enrico63> Maybe I'm just making confusion between language features and space requirements of an algo, now that I think more about it?
2025-09-20 09:24:06 +0000 <tomsmeding> no I completely get your feeling, I feel the same way about `array`
2025-09-20 09:24:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 09:24:17 +0000 <tomsmeding> but I do also think that it's a question of perspective
2025-09-20 09:24:59 +0000 <tomsmeding> maybe it's that `array` does not naturally parallelise?
2025-09-20 09:25:26 +0000 <tomsmeding> but it does -- you need an atomic write operation for the elements in case of overlap, but otherwise you're good
2025-09-20 09:25:58 +0000 <Enrico63> What I mean is that backward permutation, from a purely algorithmic perspective, probably requires O(n) space in order to achieve O(n) time. And O(n) space I think assumes that you have O(1) cost for reading-writing anywhere...
2025-09-20 09:26:20 +0000 <tomsmeding> backward permutation is the "easy" one
2025-09-20 09:26:33 +0000 <Enrico63> oh, sorry, then s/back/for/g
2025-09-20 09:26:35 +0000 <tomsmeding> right
2025-09-20 09:26:54 +0000 <tomsmeding> what O(n) space is that? The destination array?
2025-09-20 09:26:59 +0000 <Enrico63> yeah
2025-09-20 09:26:59 +0000 <tomsmeding> you need that anyway
2025-09-20 09:27:10 +0000 <tomsmeding> apart from inputs and outputs, no additional space is needed
2025-09-20 09:27:24 +0000 <tomsmeding> backward permutation (the easy one) also needs space for the input _and_ the output
2025-09-20 09:27:31 +0000 <tomsmeding> can't be done in-place either
2025-09-20 09:27:43 +0000 <tomsmeding> (even if input and output happen to be the same size)
2025-09-20 09:28:53 +0000 <Enrico63> What you mean? Any permutation can be done in-place if you can swap elements, no?
2025-09-20 09:28:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 09:29:03 +0000 <tomsmeding> from my perspective, the thing that makes `array`/`accumArray` (the forward permutation thing) feel "different" is that we tacitly accept a pull array (Data.Vector.generate) as a basic pure operation, but little more
2025-09-20 09:29:14 +0000qqe(~qqq@185.54.23.100) (Remote host closed the connection)
2025-09-20 09:29:16 +0000chexum_(~quassel@gateway/tor-sasl/chexum) chexum
2025-09-20 09:29:20 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds)
2025-09-20 09:29:30 +0000 <tomsmeding> Enrico63: how are you going to do a bijective backward permutation in O(n) time in-place?
2025-09-20 09:29:56 +0000 <Enrico63> Oh, I was lifting the O(n) req
2025-09-20 09:30:08 +0000 <tomsmeding> okay remove the "in O(n) time" then lol
2025-09-20 09:30:21 +0000 <Enrico63> As in, I thought you were saying something general
2025-09-20 09:30:25 +0000 <Enrico63> silly of me thinking so :D
2025-09-20 09:30:40 +0000 <tomsmeding> well, I think of these data movement operations as having a certain expected time complexity
2025-09-20 09:30:50 +0000 <tomsmeding> but in this particular case the time complexity is, I think, irrelevant to my point :p
2025-09-20 09:31:09 +0000 <tomsmeding> I know of a way to do a bijective backward permutation in-place, but it's very sequential and mutation-heavy
2025-09-20 09:31:22 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-20 09:31:36 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-20 09:31:59 +0000 <tomsmeding> and moreover, that sequential, mutation-heavy algorithm for a bijective backward permutation can be rather easily modified to do a bijective forward permutation instead
2025-09-20 09:32:37 +0000 <tomsmeding> it's when you lift the requirement of being in-place that the two start to meaningfully differ, as far as I know -- though I may be wrong here, because I've thought very little about the in-place case
2025-09-20 09:32:51 +0000 <tomsmeding> (if you need history: https://ircbrowse.tomsmeding.com/browse/lchaskell?events_page=16546 )
2025-09-20 09:33:05 +0000fgarcia(~lei@user/fgarcia) (Remote host closed the connection)
2025-09-20 09:34:30 +0000 <tomsmeding> I guess what I'm saying is: do you have a _precise_ way in which forward permutation is "less pure" (for some suitable definition of "less pure" that you can choose) than backward permutation?
2025-09-20 09:35:07 +0000qqe(~qqq@185.54.23.100)
2025-09-20 09:36:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 09:36:34 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-09-20 09:37:56 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-20 09:41:07 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-20 09:41:07 +0000ljdarj1ljdarj
2025-09-20 09:41:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 09:41:19 +0000craunts79(~craunts@152.32.99.194) (Quit: The Lounge - https://thelounge.chat)
2025-09-20 09:41:42 +0000 <Enrico63> Yes, the way I see it. The solution `permute idxs list = let arr = listArray (0, length list - 1) list in map (arr !) idxs` is fast by being able to read with random access. The ouptut is produced purely, by picking elements from arr while building the new output list. The solution `elems (array (0, n-1) (zip idxs list))` produces the output my
2025-09-20 09:41:42 +0000 <Enrico63> creating the array all at once, and then mutating the elements with random access.
2025-09-20 09:42:04 +0000 <Enrico63> That's probably not _precise_, but I see a difference between the two :D
2025-09-20 09:44:36 +0000 <Enrico63> I see that `listArray (0, lenth list - 1) list` is probably using mutability the same way that `array (0, n-1) (zip idx list))` is using it :/
2025-09-20 09:45:20 +0000 <Enrico63> well, maybe that's why the two things are not so different :/
2025-09-20 09:45:55 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-09-20 09:46:05 +0000 <tomsmeding> Enrico63: your reasoning why `elems (array (0, n-1) (zip idxs list))` is not pure first splits up `array` in two phases: array allocation and then a bunch of writes
2025-09-20 09:46:11 +0000 <tomsmeding> why do you not split up `listArray` similarly?
2025-09-20 09:46:26 +0000 <tomsmeding> right
2025-09-20 09:46:48 +0000 <Enrico63> yeah, I see
2025-09-20 09:46:49 +0000 <tomsmeding> I know they feel different, but indeed the point I'm making is that in terms of _purity_, they aren't necessarily so different
2025-09-20 09:47:22 +0000 <tomsmeding> they generalise differently to non-bijective index mapping functions, and they parallelise somewhat differently, especially in the non-bijective case
2025-09-20 09:47:43 +0000 <tomsmeding> but I don't think there's a robust way you can argue that one is more pure than the other
2025-09-20 09:48:01 +0000 <tomsmeding> without picking an arbitrary "base language" of pure operations that you allow
2025-09-20 09:49:16 +0000 <tomsmeding> also, they're just algorithmically not the same
2025-09-20 09:49:48 +0000 <tomsmeding> but "not the same" doesn't imply an order of preference
2025-09-20 09:50:20 +0000 <Enrico63> Thanks for the discussion! :)
2025-09-20 09:50:29 +0000 <tomsmeding> relevant: https://hackage-content.haskell.org/package/massiv-1.0.5.0/docs/Data-Massiv-Array.html (the `D` representation is a pull array, represented as effectively (Int, Int -> a); the `DL` representation is a push array)
2025-09-20 09:50:42 +0000 <Enrico63> Now that I'm unemployed, I have plenty of time to discuss stuff, ahah
2025-09-20 09:50:44 +0000 <tomsmeding> pull arrays are generally more versatile
2025-09-20 09:50:58 +0000 <tomsmeding> they behave more intuitively under composition of pull-style functions
2025-09-20 09:51:39 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 260 seconds)
2025-09-20 09:51:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 09:54:03 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-09-20 09:55:11 +0000puke(~puke@user/puke) (Read error: Connection reset by peer)
2025-09-20 09:55:31 +0000puke(~puke@user/puke) puke
2025-09-20 09:56:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 09:56:54 +0000fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2025-09-20 09:59:43 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-20 10:00:24 +0000__monty__(~toonn@user/toonn) toonn
2025-09-20 10:00:43 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-20 10:07:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 10:11:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 10:11:53 +0000Square2(~Square@user/square) (Remote host closed the connection)
2025-09-20 10:12:18 +0000Square2(~Square@user/square) Square
2025-09-20 10:17:19 +0000Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-09-20 10:19:11 +0000qqe(~qqq@185.54.23.100) (Remote host closed the connection)
2025-09-20 10:21:54 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 10:22:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 10:29:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 10:30:27 +0000Miroboru(~myrvoll@84.214.174.128) Miroboru
2025-09-20 10:37:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 10:41:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 10:46:13 +0000MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-09-20 11:00:04 +0000caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-20 11:02:03 +0000caconym74787(~caconym@user/caconym) caconym
2025-09-20 11:06:36 +0000Jackneill_(~Jackneill@91-83-15-174.pool.digikabel.hu)
2025-09-20 11:08:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 11:09:14 +0000Jackneill(~Jackneill@94-21-227-192.pool.digikabel.hu) (Ping timeout: 260 seconds)
2025-09-20 11:09:21 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-20 11:10:48 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-20 11:12:08 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
2025-09-20 11:12:13 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 11:12:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 11:14:33 +0000Axman7217(~Axman6@user/axman6) (Ping timeout: 264 seconds)
2025-09-20 11:21:59 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-20 11:23:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 11:24:20 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-20 11:26:52 +0000ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection)
2025-09-20 11:28:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 11:31:15 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-20 11:31:19 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2025-09-20 11:34:00 +0000Lord_of_Life_Lord_of_Life
2025-09-20 11:35:12 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 11:35:50 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 11:38:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 11:42:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 11:48:51 +0000ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin
2025-09-20 11:53:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 11:55:46 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-20 12:00:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 12:03:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:04:06 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-09-20 12:04:23 +0000califax(~califax@user/califx) califx
2025-09-20 12:06:17 +0000trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 12:06:31 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 12:07:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 12:11:49 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 12:16:43 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 12:18:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:19:53 +0000sprotte24(~sprotte24@p200300d16f0a7d0045d7d3800a6a8156.dip0.t-ipconnect.de)
2025-09-20 12:25:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 12:34:31 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 12:36:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:37:07 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 12:37:49 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-20 12:39:53 +0000Axma88744(~Axman6@user/axman6) Axman6
2025-09-20 12:42:13 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-20 12:43:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 12:44:51 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-09-20 12:45:58 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-20 12:50:44 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2025-09-20 12:54:14 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-20 12:54:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 12:56:17 +0000cjay-(cjay@nerdbox.nerd2nerd.org) (Ping timeout: 248 seconds)
2025-09-20 12:56:49 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 12:56:51 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-20 12:57:02 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 12:58:25 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-09-20 12:59:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 13:01:05 +0000Digit(~user@user/digit) (Server closed connection)
2025-09-20 13:02:07 +0000trickard_trickard
2025-09-20 13:02:59 +0000Digit(~user@user/digit) Digit
2025-09-20 13:10:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 13:13:03 +0000cjay(cjay@nerdbox.nerd2nerd.org) cjay
2025-09-20 13:13:28 +0000Vajb(~Vajb@n60zj54woz78yt8vc23-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds)
2025-09-20 13:14:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 13:15:06 +0000Vajb(~Vajb@n4ynrgb3yi85e37ttqn-1.v6.elisa-mobile.fi)
2025-09-20 13:17:29 +0000itaipu(~itaipu@168.121.97.28) (Ping timeout: 258 seconds)
2025-09-20 13:25:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 13:29:26 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-20 13:30:02 +0000Vajb(~Vajb@n4ynrgb3yi85e37ttqn-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2025-09-20 13:30:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 13:30:23 +0000Square2(~Square@user/square) Square
2025-09-20 13:30:29 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-09-20 13:33:06 +0000Vajb(~Vajb@n868zfe2g3ptw22xpcd-1.v6.elisa-mobile.fi)
2025-09-20 13:39:51 +0000trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 13:40:04 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 13:40:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 13:46:58 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-20 13:47:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 13:53:31 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 13:53:45 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 13:55:20 +0000chexum_(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds)
2025-09-20 13:55:33 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-09-20 13:58:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 13:58:53 +0000Vajb(~Vajb@n868zfe2g3ptw22xpcd-1.v6.elisa-mobile.fi) (Ping timeout: 250 seconds)
2025-09-20 14:02:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 14:04:52 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 14:05:59 +0000itaipu(~itaipu@168.121.97.28) (Ping timeout: 260 seconds)
2025-09-20 14:06:33 +0000Axma88744(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-20 14:11:29 +0000trickard_trickard
2025-09-20 14:12:22 +0000aplainzetakind(~aplainzet@37.155.33.61) aplainzetakind
2025-09-20 14:13:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 14:15:05 +0000nschoe-(~nschoe@2a01:e0a:8e:a190:9e37:3b8a:62b6:7bed) (Server closed connection)
2025-09-20 14:15:22 +0000nschoe(~nschoe@2a01:e0a:8e:a190:ec04:a931:3ffa:9fec) nschoe
2025-09-20 14:16:32 +0000Vajb(~Vajb@n4f8klatkxozrb9in2y-1.v6.elisa-mobile.fi)
2025-09-20 14:18:12 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-09-20 14:18:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 14:20:55 +0000codolio(~dolio@130.44.140.168) dolio
2025-09-20 14:21:07 +0000dolio(~dolio@130.44.140.168) (Ping timeout: 258 seconds)
2025-09-20 14:29:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 14:30:36 +0000Vajb(~Vajb@n4f8klatkxozrb9in2y-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds)
2025-09-20 14:30:57 +0000Vajb(~Vajb@n4epkt14cxrmk41pged-1.v6.elisa-mobile.fi)
2025-09-20 14:33:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 14:35:09 +0000sprotte24(~sprotte24@p200300d16f0a7d0045d7d3800a6a8156.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-20 14:39:19 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-20 14:41:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 14:46:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 14:56:19 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 14:56:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 14:57:19 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-20 15:01:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 15:03:28 +0000sprotte24(~sprotte24@p200300d16f0a7d0045d7d3800a6a8156.dip0.t-ipconnect.de)
2025-09-20 15:07:14 +0000trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-09-20 15:07:40 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 15:10:14 +0000ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1)
2025-09-20 15:11:37 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-20 15:12:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 15:13:55 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-20 15:14:31 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-20 15:16:25 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-20 15:16:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 15:24:20 +0000MelodyOwO(~MelodyOwO@user/MelodyOwO) (Quit: Leaving.)
2025-09-20 15:24:21 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 15:27:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 15:31:05 +0000xerox(~edi@user/edi) (Server closed connection)
2025-09-20 15:31:17 +0000xerox(~edi@user/edi) edi
2025-09-20 15:31:48 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-20 15:34:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 15:37:32 +0000Axma18514(~Axman6@user/axman6) Axman6
2025-09-20 15:39:45 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 264 seconds)
2025-09-20 15:42:00 +0000omnifunctor_omnifunctor
2025-09-20 15:42:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 15:43:05 +0000ouroboros(~ouroboros@user/ouroboros) (Server closed connection)
2025-09-20 15:43:57 +0000st_aldini1(~Thunderbi@136.48.46.187) st_aldini
2025-09-20 15:44:57 +0000ouroboros(~ouroboros@user/ouroboros) ouroboros
2025-09-20 15:46:41 +0000xerox_(~edi@user/edi) edi
2025-09-20 15:46:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 15:46:59 +0000fun-safe-math_(~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math
2025-09-20 15:47:42 +0000m1dnight_(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-09-20 15:48:04 +0000divlamir_(~divlamir@user/divlamir) divlamir
2025-09-20 15:51:59 +0000xerox(~edi@user/edi) (*.net *.split)
2025-09-20 15:51:59 +0000itaipu(~itaipu@168.121.97.28) (*.net *.split)
2025-09-20 15:52:00 +0000vanishingideal(~vanishing@user/vanishingideal) (*.net *.split)
2025-09-20 15:52:00 +0000Square2(~Square@user/square) (*.net *.split)
2025-09-20 15:52:00 +0000mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com) (*.net *.split)
2025-09-20 15:52:00 +0000bcksl(~bcksl@user/bcksl) (*.net *.split)
2025-09-20 15:52:00 +0000hiecaq(~hiecaq@user/hiecaq) (*.net *.split)
2025-09-20 15:52:00 +0000st_aldini(~Thunderbi@136.48.46.187) (*.net *.split)
2025-09-20 15:52:00 +0000divlamir(~divlamir@user/divlamir) (*.net *.split)
2025-09-20 15:52:00 +0000mjrosenb(~mjrosenb@70.18.10.118) (*.net *.split)
2025-09-20 15:52:00 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (*.net *.split)
2025-09-20 15:52:00 +0000hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2025-09-20 15:52:00 +0000AlexNoo(~AlexNoo@85.174.180.29) (*.net *.split)
2025-09-20 15:52:00 +0000vetkat(~vetkat@user/vetkat) (*.net *.split)
2025-09-20 15:52:00 +0000davean(~davean@davean.sciesnet.net) (*.net *.split)
2025-09-20 15:52:01 +0000fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) (*.net *.split)
2025-09-20 15:52:01 +0000gabriel_1(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2025-09-20 15:52:01 +0000mud(~mud@user/kadoban) (*.net *.split)
2025-09-20 15:52:01 +0000gabiruh_(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2025-09-20 15:52:01 +0000tjbc_(~tjbc@user/fliife) (*.net *.split)
2025-09-20 15:52:01 +0000m1dnight(~m1dnight@d8D861A17.access.telenet.be) (*.net *.split)
2025-09-20 15:52:01 +0000df_(~ben@justworks.xyz) (*.net *.split)
2025-09-20 15:52:01 +0000dontdieych(~dontdieyc@132.226.169.184) (*.net *.split)
2025-09-20 15:52:01 +0000TMA(tma@twin.jikos.cz) (*.net *.split)
2025-09-20 15:52:01 +0000Athas(athas@sigkill.dk) (*.net *.split)
2025-09-20 15:52:01 +0000pierrot(~pi@user/pierrot) (*.net *.split)
2025-09-20 15:52:01 +0000juri_(~juri@implicitcad.org) (*.net *.split)
2025-09-20 15:52:01 +0000zfnmxt(~zfnmxt@user/zfnmxt) (*.net *.split)
2025-09-20 15:52:04 +0000divlamir_divlamir
2025-09-20 15:52:07 +0000st_aldini1st_aldini
2025-09-20 15:56:15 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 15:56:29 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 15:57:11 +0000mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com)
2025-09-20 15:57:11 +0000tjbc(~tjbc@theophile.me)
2025-09-20 15:57:11 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-09-20 15:57:11 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-20 15:57:11 +0000Square2(~Square@user/square) Square
2025-09-20 15:57:11 +0000bcksl(~bcksl@user/bcksl) bcksl
2025-09-20 15:57:11 +0000hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-09-20 15:57:11 +0000mjrosenb(~mjrosenb@70.18.10.118)
2025-09-20 15:57:11 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-09-20 15:57:11 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-09-20 15:57:11 +0000vetkat(~vetkat@user/vetkat) vetkat
2025-09-20 15:57:11 +0000gabriel_1(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-09-20 15:57:11 +0000mud(~mud@user/kadoban) kadoban
2025-09-20 15:57:11 +0000gabiruh_(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-09-20 15:57:11 +0000df_(~ben@justworks.xyz)
2025-09-20 15:57:11 +0000TMA(tma@twin.jikos.cz) TMA
2025-09-20 15:57:11 +0000Athas(athas@sigkill.dk) Athas
2025-09-20 15:57:11 +0000pierrot(~pi@user/pierrot) pierrot
2025-09-20 15:57:11 +0000juri_(~juri@implicitcad.org) juri_
2025-09-20 15:57:11 +0000zfnmxt(~zfnmxt@user/zfnmxt) zfnmxt
2025-09-20 15:57:13 +0000tjbc(~tjbc@theophile.me) (Changing host)
2025-09-20 15:57:13 +0000tjbc(~tjbc@user/fliife) fliife
2025-09-20 15:57:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 15:57:47 +0000itaipu(~itaipu@168.121.97.28) (Max SendQ exceeded)
2025-09-20 15:57:47 +0000mud(~mud@user/kadoban) (Max SendQ exceeded)
2025-09-20 15:58:13 +0000mud(~mud@user/kadoban) kadoban
2025-09-20 15:58:25 +0000davean(~davean@davean.sciesnet.net) davean
2025-09-20 15:59:11 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-09-20 16:01:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-20 16:02:34 +0000Vajb(~Vajb@n4epkt14cxrmk41pged-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2025-09-20 16:03:07 +0000Vajb(~Vajb@n5hnl7odvls53y570jt-1.v6.elisa-mobile.fi)
2025-09-20 16:05:18 +0000trickard_trickard
2025-09-20 16:05:38 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-20 16:07:11 +0000hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-09-20 16:12:36 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-09-20 16:13:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 16:14:56 +0000Beowulf(florian@gabilgathol.bandrate.org) (Quit: = "")
2025-09-20 16:17:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 16:27:33 +0000EvanR(~EvanR@user/evanr) EvanR
2025-09-20 16:28:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 16:31:25 +0000Vajb(~Vajb@n5hnl7odvls53y570jt-1.v6.elisa-mobile.fi) (Ping timeout: 250 seconds)
2025-09-20 16:31:51 +0000Vajb(~Vajb@n612cuelus11w9lekus-1.v6.elisa-mobile.fi)
2025-09-20 16:32:31 +0000aplainzetakind(~aplainzet@37.155.33.61) ()
2025-09-20 16:33:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-20 16:43:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 16:47:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 16:53:40 +0000Vajb(~Vajb@n612cuelus11w9lekus-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds)
2025-09-20 16:54:12 +0000vetkat(~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish)
2025-09-20 16:58:33 +0000vetkat(~vetkat@user/vetkat) vetkat
2025-09-20 16:58:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 17:03:12 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 17:05:03 +0000Axma18514(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-20 17:05:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-20 17:10:57 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-20 17:16:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 17:17:51 +0000TMA(tma@twin.jikos.cz) (Ping timeout: 258 seconds)
2025-09-20 17:19:30 +0000Beowulf(florian@2a01:4f9:3b:2d56::2)
2025-09-20 17:19:31 +0000TMA(tma@twin.jikos.cz) TMA
2025-09-20 17:20:49 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 250 seconds)
2025-09-20 17:21:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 17:21:56 +0000pierrot_(~pi@user/pierrot) pierrot
2025-09-20 17:22:04 +0000pierrot(~pi@user/pierrot) (Ping timeout: 258 seconds)
2025-09-20 17:23:04 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-20 17:24:45 +0000juri_(~juri@implicitcad.org) (Ping timeout: 258 seconds)
2025-09-20 17:26:27 +0000juri_(~juri@implicitcad.org) juri_
2025-09-20 17:27:05 +0000Ekho(~Ekho@user/ekho) (Server closed connection)
2025-09-20 17:32:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 17:35:56 +0000Ekho(~Ekho@user/ekho) Ekho
2025-09-20 17:36:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 17:43:44 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-09-20 17:44:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 17:48:37 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-09-20 17:48:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 17:54:04 +0000remexre(~remexre@user/remexre) (Ping timeout: 260 seconds)
2025-09-20 17:55:49 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 260 seconds)
2025-09-20 17:56:01 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 17:59:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 18:03:33 +0000Eoco(~ian@128.101.131.218) Eoco
2025-09-20 18:04:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-20 18:05:07 +0000remexre(~remexre@user/remexre) remexre
2025-09-20 18:05:21 +0000Vajb(~Vajb@85-76-15-128-nat.elisa-mobile.fi)
2025-09-20 18:12:44 +0000Everything(~Everythin@217.147.163.184) Everything
2025-09-20 18:15:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 18:19:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 18:21:20 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 18:22:09 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-20 18:22:37 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-09-20 18:24:24 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-20 18:24:31 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-20 18:24:46 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-09-20 18:26:52 +0000Axma53083(~Axman6@user/axman6) Axman6
2025-09-20 18:28:53 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-20 18:30:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 18:35:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 18:35:47 +0000Everything(~Everythin@217.147.163.184) (Ping timeout: 250 seconds)
2025-09-20 18:37:51 +0000Everything(~Everythin@88.155.4.6) Everything
2025-09-20 18:39:37 +0000puke(~puke@user/puke) (Remote host closed the connection)
2025-09-20 18:40:00 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-09-20 18:40:04 +0000puke(~puke@user/puke) puke
2025-09-20 18:40:33 +0000Vajb(~Vajb@85-76-15-128-nat.elisa-mobile.fi) (Ping timeout: 250 seconds)
2025-09-20 18:44:32 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-20 18:44:35 +0000Vajb(~Vajb@n4eqdcvc7g7h1swevv4-1.v6.elisa-mobile.fi)
2025-09-20 18:45:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 18:47:09 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-09-20 18:47:31 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds)
2025-09-20 18:52:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 18:52:28 +0000rvalue-rvalue
2025-09-20 18:57:05 +0000shachaf(~shachaf@user/shachaf) (Server closed connection)
2025-09-20 18:57:14 +0000shachaf(~shachaf@user/shachaf) shachaf
2025-09-20 18:59:51 +0000rvalue(~rvalue@about/hackers/rvalue) (Max SendQ exceeded)
2025-09-20 19:00:01 +0000caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-20 19:00:40 +0000caconym74787(~caconym@user/caconym) caconym
2025-09-20 19:01:16 +0000Vajb(~Vajb@n4eqdcvc7g7h1swevv4-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds)
2025-09-20 19:02:14 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-20 19:02:18 +0000raym(~ray@user/raym) (Ping timeout: 252 seconds)
2025-09-20 19:02:42 +0000Vajb(~Vajb@n7mnr1s9y1j6if4uo7i-1.v6.elisa-mobile.fi)
2025-09-20 19:02:44 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-20 19:03:12 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-20 19:03:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 19:04:02 +0000raym(~ray@user/raym) raym
2025-09-20 19:06:36 +0000petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2025-09-20 19:07:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-20 19:12:53 +0000Square3(~Square@user/square) Square
2025-09-20 19:13:59 +0000bcksl(~bcksl@user/bcksl) (Ping timeout: 258 seconds)
2025-09-20 19:14:36 +0000Athas_(athas@2a01:7c8:aaac:1cf:d66b:b110:e135:a326)
2025-09-20 19:14:45 +0000shachaf(~shachaf@user/shachaf) (Ping timeout: 258 seconds)
2025-09-20 19:14:46 +0000hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 258 seconds)
2025-09-20 19:15:08 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 258 seconds)
2025-09-20 19:15:09 +0000mjrosenb(~mjrosenb@70.18.10.118) (Ping timeout: 258 seconds)
2025-09-20 19:15:09 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2025-09-20 19:15:09 +0000zfnmxt(~zfnmxt@user/zfnmxt) (Ping timeout: 258 seconds)
2025-09-20 19:15:16 +0000pukeGuest2627
2025-09-20 19:15:16 +0000pyooque(~puke@user/puke) puke
2025-09-20 19:15:16 +0000Guest2627(~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2025-09-20 19:15:16 +0000pyooquepuke
2025-09-20 19:15:32 +0000TMA(tma@twin.jikos.cz) (Ping timeout: 258 seconds)
2025-09-20 19:15:32 +0000Square2(~Square@user/square) (Ping timeout: 258 seconds)
2025-09-20 19:15:32 +0000gabriel_1(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 258 seconds)
2025-09-20 19:15:32 +0000df_(~ben@justworks.xyz) (Ping timeout: 258 seconds)
2025-09-20 19:15:55 +0000Athas(athas@sigkill.dk) (Ping timeout: 258 seconds)
2025-09-20 19:16:53 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-09-20 19:16:53 +0000mjrosenb(~mjrosenb@70.18.10.118)
2025-09-20 19:16:55 +0000shachaf(~shachaf@user/shachaf) shachaf
2025-09-20 19:17:10 +0000TMA(tma@twin.jikos.cz) TMA
2025-09-20 19:17:14 +0000df(~ben@justworks.xyz)
2025-09-20 19:17:24 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-09-20 19:17:30 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-09-20 19:18:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 19:18:52 +0000zfnmxt(~zfnmxt@user/zfnmxt) zfnmxt
2025-09-20 19:19:08 +0000Athas_Athas
2025-09-20 19:20:42 +0000bcksl(~bcksl@user/bcksl) bcksl
2025-09-20 19:21:23 +0000dontdieych(~dontdieyc@132.226.169.184) dontdieych
2025-09-20 19:22:42 +0000rvalue(~rvalue@about/hackers/rvalue) (Quit: bmV2ZXJnb25uYWdpdmV5b3V1cG5ldmVyZ29ubmFsZXR5b3Vkb3du)
2025-09-20 19:23:00 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-20 19:23:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 19:24:00 +0000Eoco(~ian@128.101.131.218) Eoco
2025-09-20 19:30:15 +0000petrichor(~jez@user/petrichor) petrichor
2025-09-20 19:33:02 +0000dontdieych(~dontdieyc@132.226.169.184) (Remote host closed the connection)
2025-09-20 19:33:17 +0000dontdieych(~dontdieyc@132.226.169.184) dontdieych
2025-09-20 19:34:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 19:38:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 19:39:27 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-20 19:43:54 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 256 seconds)
2025-09-20 19:48:09 +0000williu5(~williu5@user/williu5) williu5
2025-09-20 19:49:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 19:54:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-20 19:55:39 +0000Beowulf(florian@2a01:4f9:3b:2d56::2) (Quit: = "")
2025-09-20 19:58:07 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-09-20 19:59:21 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-09-20 19:59:31 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-09-20 20:00:00 +0000Beowulf(florian@2a01:4f9:3b:2d56::2)
2025-09-20 20:02:31 +0000williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-20 20:04:39 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-09-20 20:04:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 20:05:53 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 20:07:18 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-20 20:09:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-20 20:13:27 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 20:14:26 +0000Beowulf(florian@2a01:4f9:3b:2d56::2) (Quit: = "")
2025-09-20 20:18:31 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-09-20 20:20:14 +0000Beowulf(florian@2a01:4f9:3b:2d56::2)
2025-09-20 20:20:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 20:22:01 +0000trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-20 20:22:14 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-20 20:25:05 +0000c_wraith(~c_wraith@adjoint.us) (Server closed connection)
2025-09-20 20:26:16 +0000c_wraith(~c_wraith@adjoint.us) c_wraith
2025-09-20 20:27:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-20 20:29:53 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 20:31:58 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a)
2025-09-20 20:34:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 20:37:37 +0000pierrot_(~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
2025-09-20 20:37:54 +0000pierrot(~pi@user/pierrot) pierrot
2025-09-20 20:38:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-20 20:39:00 +0000Everything(~Everythin@88.155.4.6) (Quit: Lost terminal)
2025-09-20 20:49:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 20:53:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-20 20:54:50 +0000anish(~user@52.124.41.233)
2025-09-20 20:57:40 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2025-09-20 21:01:23 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-09-20 21:01:35 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-09-20 21:05:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 21:09:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 21:20:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 21:22:29 +0000pavonia(~user@user/siracusa) siracusa
2025-09-20 21:25:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-20 21:29:28 +0000anish(~user@52.124.41.233) (Ping timeout: 244 seconds)
2025-09-20 21:31:54 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-20 21:32:24 +0000anish(~user@52.124.41.233)
2025-09-20 21:32:51 +0000Axman6(~Axman6@user/axman6) Axman6
2025-09-20 21:34:47 +0000Axma53083(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-20 21:35:25 +0000weary-traveler(~user@user/user363627) user363627
2025-09-20 21:35:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 21:37:21 +0000anish(~user@52.124.41.233) (Ping timeout: 258 seconds)
2025-09-20 21:38:48 +0000anish(~user@52.124.41.233)
2025-09-20 21:40:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 21:41:24 +0000anish(~user@52.124.41.233) (Remote host closed the connection)
2025-09-20 21:41:37 +0000anish(~user@52.124.41.233)
2025-09-20 21:49:55 +0000anish(~user@52.124.41.233) (Ping timeout: 250 seconds)
2025-09-20 21:51:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 21:55:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-20 21:56:13 +0000anish(~user@52.124.41.233)
2025-09-20 21:56:20 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-09-20 22:00:35 +0000tromp(~textual@2001:1c00:3487:1b00:5948:8c6b:93fe:bd0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-20 22:01:04 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-09-20 22:02:01 +0000weary-traveler(~user@user/user363627) (Ping timeout: 244 seconds)
2025-09-20 22:03:57 +0000trickard___(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-20 22:04:39 +0000trickard_(~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-09-20 22:05:37 +0000trickard___trickard
2025-09-20 22:06:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 22:10:19 +0000anish(~user@52.124.41.233) (Ping timeout: 258 seconds)
2025-09-20 22:11:15 +0000williu5(~williu5@user/williu5) williu5
2025-09-20 22:13:08 +0000anish(~user@52.124.41.233)
2025-09-20 22:13:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 22:14:03 +0000williu5(~williu5@user/williu5) (Client Quit)
2025-09-20 22:15:38 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-20 22:15:59 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-20 22:16:25 +0000jmcantrell_(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-20 22:16:28 +0000anish(~user@52.124.41.233) (Remote host closed the connection)
2025-09-20 22:17:25 +0000williu5(~williu5@user/williu5) williu5
2025-09-20 22:20:07 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-09-20 22:23:56 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-09-20 22:24:11 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-20 22:24:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 22:25:12 +0000williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-20 22:28:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-20 22:35:14 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-20 22:40:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 22:44:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-20 22:52:51 +0000weary-traveler(~user@user/user363627) user363627
2025-09-20 22:55:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 22:55:53 +0000craunts79(~craunts@136.158.7.194)
2025-09-20 22:58:50 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-20 22:59:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-20 23:01:32 +0000Axma78874(~Axman6@user/axman6) Axman6
2025-09-20 23:03:37 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-20 23:07:34 +0000arandombit(~arandombi@user/arandombit) arandombit
2025-09-20 23:10:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 23:15:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-20 23:23:22 +0000tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-20 23:23:23 +0000Square2(~Square@user/square) Square
2025-09-20 23:23:30 +0000pyooque(~puke@user/puke) puke
2025-09-20 23:23:31 +0000puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2025-09-20 23:23:31 +0000pyooquepuke
2025-09-20 23:23:37 +0000jackneill__(~Jackneill@91-83-15-174.pool.digikabel.hu)
2025-09-20 23:24:53 +0000Jackneill_(~Jackneill@91-83-15-174.pool.digikabel.hu) (Read error: Connection reset by peer)
2025-09-20 23:24:54 +0000Digit(~user@user/digit) (Remote host closed the connection)
2025-09-20 23:24:54 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-09-20 23:24:54 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 256 seconds)
2025-09-20 23:24:58 +0000YoungFrawg(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog
2025-09-20 23:25:44 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-20 23:26:00 +0000Digitteknohippie(~user@user/digit) Digit
2025-09-20 23:26:01 +0000YoungFrawgYoungFrog
2025-09-20 23:26:19 +0000Square3(~Square@user/square) (Ping timeout: 256 seconds)
2025-09-20 23:26:19 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2025-09-20 23:26:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 23:28:41 +0000tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdjs)
2025-09-20 23:31:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-20 23:31:58 +0000mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 258 seconds)
2025-09-20 23:40:20 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-09-20 23:41:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 23:44:43 +0000hiredman(~hiredman@frontier1.downey.family) (Remote host closed the connection)
2025-09-20 23:45:54 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-09-20 23:45:54 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-09-20 23:46:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-20 23:53:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-20 23:58:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)