2025/09/22

2025-09-22 00:00:07 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-22 00:03:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-22 00:04:27 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-22 00:14:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 00:15:21 +0200Guest77(~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d)
2025-09-22 00:18:08 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-22 00:18:10 +0200karenw_(~karenw@user/karenw) (Ping timeout: 258 seconds)
2025-09-22 00:19:37 +0200Guest77(~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d) (Client Quit)
2025-09-22 00:19:53 +0200Guest77(~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d)
2025-09-22 00:20:42 +0200Guest77(~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d) (Client Quit)
2025-09-22 00:21:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-22 00:32:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 00:37:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-22 00:48:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 00:52:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-22 00:53:36 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 265 seconds)
2025-09-22 00:55:57 +0200pavonia(~user@user/siracusa) siracusa
2025-09-22 01:03:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 01:06:50 +0200vanishingidealv12l
2025-09-22 01:08:04 +0200v12lvanishingideal
2025-09-22 01:08:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-22 01:10:47 +0200Googulator14(~Googulato@80-95-93-255.pool.digikabel.hu)
2025-09-22 01:11:20 +0200Googulator95(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 01:15:06 +0200acidjnk(~acidjnk@p200300d6e717192574afc1412945a5f8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-09-22 01:17:28 +0200 <haskellbridge> <sm> 1`qx1w0[=]
2025-09-22 01:19:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 01:20:59 +0200 <int-e> nice password
2025-09-22 01:21:35 +0200 <monochrom> heh
2025-09-22 01:23:09 +0200 <c_wraith> based on groupings, looks like a cat stepping on the keyboard to me
2025-09-22 01:23:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 01:26:52 +0200sprotte24(~sprotte24@p200300d16f1625006cf61cf14496ae4e.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-22 01:30:47 +0200Googulator58(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 01:31:09 +0200Googulator14(~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed)
2025-09-22 01:34:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 01:37:26 +0200Googulator58Googulator
2025-09-22 01:39:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-22 01:43:52 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-09-22 01:46:25 +0200mange(~mange@user/mange) mange
2025-09-22 01:46:25 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2025-09-22 01:48:11 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-22 01:49:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 01:53:46 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-09-22 01:53:46 +0200Buliarou1(~gypsydang@46.232.210.139) (Read error: Connection reset by peer)
2025-09-22 01:54:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-22 01:54:08 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-09-22 01:55:38 +0200Googulator38(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 01:55:48 +0200Googulator(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 02:01:55 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-09-22 02:05:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 02:06:12 +0200Googulator38(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 02:06:28 +0200Googulator38(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 02:06:49 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 250 seconds)
2025-09-22 02:08:26 +0200defragger(~random@i5C742DFC.versanet.de) (Ping timeout: 248 seconds)
2025-09-22 02:08:43 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-09-22 02:10:24 +0200defragger(~random@i5C742C0E.versanet.de) defragger
2025-09-22 02:11:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-22 02:12:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-22 02:17:06 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 02:20:41 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 02:20:41 +0200Googulator38(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 02:22:44 +0200Axma12764(~Axman6@user/axman6) Axman6
2025-09-22 02:23:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 02:24:03 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-22 02:28:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-22 02:35:55 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-22 02:37:35 +0200califax(~califax@user/califx) califx
2025-09-22 02:38:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 02:40:42 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 02:41:03 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 02:43:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-22 02:45:50 +0200Googulator83(~Googulato@80-95-93-255.pool.digikabel.hu)
2025-09-22 02:45:56 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit)
2025-09-22 02:49:25 +0200xff0x(~xff0x@2405:6580:b080:900:7d79:c1b5:daad:1ed0) (Ping timeout: 255 seconds)
2025-09-22 02:49:42 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: sdkjs)
2025-09-22 02:53:50 +0200Googulator83(~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed)
2025-09-22 02:53:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 02:54:06 +0200Googulator83(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 02:55:39 +0200Googulator83(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit)
2025-09-22 02:55:42 +0200Googulator42(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 02:58:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-22 03:07:21 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-22 03:08:45 +0200defragger(~random@i5C742C0E.versanet.de) (Ping timeout: 258 seconds)
2025-09-22 03:09:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 03:11:48 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-22 03:12:07 +0200weary-traveler(~user@user/user363627) user363627
2025-09-22 03:14:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-22 03:16:29 +0200Googulator42(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 03:16:44 +0200Googulator42(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 03:19:01 +0200 <haskellbridge> <sm> sorry.. I can't even blame a cat.. was dusting
2025-09-22 03:24:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 03:25:23 +0200defragger(~random@i6DFADE56.versanet.de) defragger
2025-09-22 03:25:39 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: Leaving)
2025-09-22 03:26:11 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-22 03:27:40 +0200 <monochrom> cats and dust balls are both instances of the Furball type class so it's OK :)
2025-09-22 03:29:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-22 03:30:25 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-09-22 03:32:22 +0200 <geekosaur> dust bunny?
2025-09-22 03:32:34 +0200 <monochrom> yeah that's better :)
2025-09-22 03:40:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 03:40:41 +0200Googulator42(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 03:40:42 +0200Googulator68(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 03:44:43 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-22 03:45:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-22 03:45:51 +0200Googulator86(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 03:46:17 +0200Googulator68(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 03:46:17 +0200Googulator86(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit)
2025-09-22 03:46:25 +0200Googulator86(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 03:55:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 03:55:48 +0200comonad(~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-09-22 03:59:16 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-22 03:59:28 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-22 04:00:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-22 04:05:28 +0200craunts79(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-09-22 04:11:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 04:15:17 +0200williu5(~williu5@user/williu5) williu5
2025-09-22 04:15:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-22 04:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 04:30:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-22 04:30:40 +0200Googulator80(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 04:30:46 +0200Googulator86(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 04:38:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 04:39:46 +0200qqe(~qqq@185.54.23.100)
2025-09-22 04:43:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-22 04:45:06 +0200williu5(~williu5@user/williu5) (Remote host closed the connection)
2025-09-22 04:45:30 +0200williu5(~williu5@user/williu5) williu5
2025-09-22 04:47:24 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-22 04:49:21 +0200Axma12764(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-22 04:50:37 +0200Googulator93(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 04:50:41 +0200Googulator80(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 04:50:45 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-09-22 04:53:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-09-22 04:54:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 04:55:07 +0200williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-22 04:55:27 +0200williu5(~williu5@user/williu5) williu5
2025-09-22 05:00:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-22 05:03:54 +0200williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-22 05:03:54 +0200aforemny_(~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) aforemny
2025-09-22 05:04:44 +0200aforemny(~aforemny@2001:9e8:6ce4:5a00:77d6:6f62:e46:c270) (Ping timeout: 244 seconds)
2025-09-22 05:06:03 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 05:06:13 +0200Googulator93(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:12:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:15:39 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:15:45 +0200Googulator40(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 05:16:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-22 05:16:39 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-22 05:16:59 +0200weary-traveler(~user@user/user363627) user363627
2025-09-22 05:18:40 +0200williu5(~williu5@user/williu5) williu5
2025-09-22 05:22:24 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) dcpagan
2025-09-22 05:24:01 +0200 <dcpagan> How do I turn off alignment for GADTs with Floskell?
2025-09-22 05:27:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:29:55 +0200 <dcpagan> I would like a format similar to Johan Tibell's configuration (https://github.com/ennocramer/floskell/blob/master/styles/johan-tibell.md), but without aligning GADT records.
2025-09-22 05:32:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 05:40:37 +0200Googulator12(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 05:40:46 +0200Googulator40(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:41:35 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-22 05:42:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:45:44 +0200Googulator56(~Googulato@80-95-93-255.pool.digikabel.hu)
2025-09-22 05:46:10 +0200Googulator12(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:46:58 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-09-22 05:47:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-22 05:48:12 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-09-22 05:58:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:59:37 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-22 06:01:28 +0200aforemny(~aforemny@2001:9e8:6cc7:a300:13f0:3a0e:66b2:bfa6) aforemny
2025-09-22 06:01:30 +0200aforemny_(~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) (Ping timeout: 248 seconds)
2025-09-22 06:02:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-22 06:10:37 +0200Googulator39(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:10:45 +0200Googulator56(~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed)
2025-09-22 06:13:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 06:15:44 +0200Googulator52(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:16:04 +0200Axma29690(~Axman6@user/axman6) Axman6
2025-09-22 06:16:13 +0200Googulator39(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 06:18:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 06:18:03 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-22 06:21:58 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-09-22 06:23:33 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-22 06:29:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 06:32:35 +0200Googulator52(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 06:32:50 +0200Googulator52(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:35:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-22 06:39:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 06:44:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-22 06:50:35 +0200Googulator2(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:50:47 +0200Googulator52(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 06:55:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 06:55:44 +0200Googulator79(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:56:12 +0200Googulator2(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 06:59:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-22 07:07:47 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-22 07:10:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 07:15:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-22 07:15:36 +0200Googulator79(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 07:15:43 +0200Googulator73(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 07:25:54 +0200Googulator99(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 07:26:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 07:26:17 +0200Googulator73(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 07:30:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-22 07:30:54 +0200Googulator99(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 07:31:03 +0200Googulator99(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 07:35:39 +0200Googulator99(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit)
2025-09-22 07:36:06 +0200Googulator99(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 07:40:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 07:43:33 +0200williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-22 07:45:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-22 07:46:06 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 07:46:13 +0200Googulator99(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 07:48:08 +0200michalz(~michalz@185.246.207.203)
2025-09-22 07:48:33 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2025-09-22 07:48:41 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection)
2025-09-22 07:49:40 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2025-09-22 07:56:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 08:00:10 +0200comonad(~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de)
2025-09-22 08:03:52 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-22 08:04:06 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-22 08:04:41 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 258 seconds)
2025-09-22 08:07:45 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-22 08:12:19 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-22 08:14:04 +0200Maxdaman1usMaxdamantus
2025-09-22 08:15:58 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-22 08:20:08 +0200qqe(~qqq@185.54.23.100) (Remote host closed the connection)
2025-09-22 08:25:12 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
2025-09-22 08:28:16 +0200qqe(~qqq@185.54.23.100)
2025-09-22 08:29:46 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-09-22 08:29:46 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-22 08:31:29 +0200aplainzetakind(~aplainzet@37.155.33.61) aplainzetakind
2025-09-22 08:32:38 +0200qqe(~qqq@185.54.23.100) (Client Quit)
2025-09-22 08:42:23 +0200Axma29690Axman6
2025-09-22 08:44:34 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-22 08:44:54 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4)
2025-09-22 08:53:06 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
2025-09-22 08:55:59 +0200Googulator74(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 08:56:16 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 09:00:00 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-22 09:00:41 +0200caconym74787(~caconym@user/caconym) caconym
2025-09-22 09:12:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 09:12:50 +0200acidjnk(~acidjnk@p200300d6e7171901dc8a236a4169d06b.dip0.t-ipconnect.de) acidjnk
2025-09-22 09:19:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 09:23:04 +0200Square2(~Square@user/square) (Ping timeout: 256 seconds)
2025-09-22 09:24:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 09:30:23 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-22 09:35:41 +0200Googulator4(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 09:35:43 +0200Googulator74(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 09:37:25 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-22 09:40:27 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-22 09:42:03 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-09-22 09:52:50 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-22 10:03:15 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-22 10:05:41 +0200Googulator29(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 10:05:43 +0200Googulator4(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 10:08:47 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-22 10:10:05 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com)
2025-09-22 10:10:39 +0200Googulator29(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 10:10:46 +0200Googulator29(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 10:11:17 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds)
2025-09-22 10:11:28 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-22 10:30:39 +0200Googulator35(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 10:30:49 +0200Googulator29(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 10:33:36 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
2025-09-22 10:35:36 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-09-22 10:38:32 +0200kuribas(~user@2a02-1810-2825-6000-fedd-5dda-6057-f5dc.ip6.access.telenet.be) kuribas
2025-09-22 10:40:25 +0200qqe(~qqq@185.54.23.100)
2025-09-22 10:40:29 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-09-22 10:40:46 +0200poscat(~poscat@user/poscat) poscat
2025-09-22 10:45:34 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-22 10:46:20 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-09-22 10:46:42 +0200poscat(~poscat@user/poscat) poscat
2025-09-22 10:50:17 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 258 seconds)
2025-09-22 10:50:40 +0200Googulator35(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 10:50:41 +0200Googulator68(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 10:51:22 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-09-22 10:56:13 +0200chele(~chele@user/chele) chele
2025-09-22 10:59:52 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-22 11:05:58 +0200__monty__(~toonn@user/toonn) toonn
2025-09-22 11:06:46 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-09-22 11:07:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-22 11:10:40 +0200Googulator95(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 11:10:43 +0200Googulator68(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 11:12:06 +0200Square(~Square4@user/square) Square
2025-09-22 11:13:40 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 258 seconds)
2025-09-22 11:13:54 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-22 11:14:08 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-22 11:15:46 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-22 11:17:16 +0200AlexZenon(~alzenon@85.174.180.29) (Ping timeout: 256 seconds)
2025-09-22 11:19:47 +0200Axma53005(~Axman6@user/axman6) Axman6
2025-09-22 11:21:28 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac)
2025-09-22 11:21:29 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host)
2025-09-22 11:21:29 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 11:22:03 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-22 11:24:10 +0200AlexZenon(~alzenon@85.174.180.29)
2025-09-22 11:25:31 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-09-22 11:26:18 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-22 11:27:36 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4)
2025-09-22 11:32:43 +0200craunts79(~craunts@136.158.7.194)
2025-09-22 11:47:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds)
2025-09-22 11:48:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-09-22 11:49:32 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-09-22 11:51:00 +0200 <[exa]> Hey all. Is there any good way to "functionalize" a data structure used for suffix tree construction? It's a tree with "finger" and backlinks, see http://www.cs.helsinki.fi/u/ukkonen/SuffixT1withFigs.pdf
2025-09-22 11:51:32 +0200 <[exa]> technically I'd just do ST+vector but hoped there'd be something much cooler
2025-09-22 11:53:17 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 11:58:15 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2025-09-22 12:02:12 +0200[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 244 seconds)
2025-09-22 12:02:30 +0200[_________](~oos95GWG@user/oos95GWG) oos95GWG
2025-09-22 12:03:49 +0200qqe(~qqq@185.54.23.100) (Remote host closed the connection)
2025-09-22 12:10:21 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac)
2025-09-22 12:10:21 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host)
2025-09-22 12:10:21 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 12:11:06 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-22 12:11:30 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-22 12:13:26 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-22 12:15:39 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-09-22 12:15:44 +0200Googulator18(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 12:15:44 +0200Googulator95(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 12:21:49 +0200 <tomsmeding> how much performance do you want :p
2025-09-22 12:23:33 +0200qqe(~qqq@185.54.23.100)
2025-09-22 12:25:38 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-22 12:27:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2025-09-22 12:32:31 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-22 12:44:09 +0200mari88678(~mari-este@user/mari-estel) mari-estel
2025-09-22 12:44:12 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 12:44:38 +0200mari-estel(~mari-este@user/mari-estel) (Read error: Connection reset by peer)
2025-09-22 12:44:48 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-09-22 12:46:41 +0200 <merijn> [exa]: I mean, ST + vector seems very reasonable?
2025-09-22 12:47:14 +0200 <merijn> You could maybe do some fancy tricks with laziness, but that's probably gonna be much less understandable
2025-09-22 12:47:55 +0200poscat(~poscat@user/poscat) poscat
2025-09-22 12:48:51 +0200 <[exa]> tomsmeding: not a whole lot, was more like thinking if I could code it differently
2025-09-22 12:49:16 +0200 <[exa]> merijn: yeah I assume it's gonna end with ST but wanted to be cool
2025-09-22 12:49:18 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2025-09-22 12:49:47 +0200 <[exa]> OTOH there don't seem to be even data structures to support the backlinks sensibly, sans perhaps some of the ideas from inductive graphs...which is gonna be slow af in this case
2025-09-22 12:51:30 +0200ouilemur(~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds)
2025-09-22 12:52:25 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-22 12:52:56 +0200 <tomsmeding> [exa]: when representing a cyclic graph in haskell, you can essentially choose between an explicit graph representation (Map like fgl, or STVector etc.) or an implicit graph representation (an infinite data type with sharing to produce a cyclical structure in memory)
2025-09-22 12:53:02 +0200 <tomsmeding> the latter is _extremely_ hard to work with
2025-09-22 12:53:23 +0200 <tomsmeding> the former is cumbersome, but it has the very big selling point that it... works
2025-09-22 12:54:41 +0200fp1(~Thunderbi@2001:708:20:1406::10c5) fp
2025-09-22 12:54:44 +0200 <[exa]> yeah and the former in my case is just a slower ST vector... :D
2025-09-22 12:55:15 +0200 <[exa]> ok nvm, I take that any improvement over the vectors is hard, thanks for confirming tho :)
2025-09-22 12:55:44 +0200 <tomsmeding> nice functional programming is all about trees
2025-09-22 12:55:49 +0200 <tomsmeding> cyclic graphs are not trees
2025-09-22 12:56:04 +0200 <tomsmeding> so there is a fundamental impedance mismatch that you have to overcome somehow
2025-09-22 12:56:22 +0200 <[exa]> yeah looks like I'll try to somehow reinvent the algorithm with trees
2025-09-22 12:56:38 +0200fp1(~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer)
2025-09-22 12:56:41 +0200 <tomsmeding> even DAGs are not trees, but they're a bit closer
2025-09-22 12:56:42 +0200fp2(~Thunderbi@130.233.53.240) fp
2025-09-22 12:56:56 +0200 <[exa]> (that's quite stupidest on the whole suffix tree algorithm tho, it looks SO MUCH like a fingertree walk, except it's not)
2025-09-22 12:57:40 +0200 <tomsmeding> [exa]: perhaps the main tree could be a regular-old tree, but you have a separate Map from some node ID to the corresponding tree node, and backlinks are IDs where you have to go through the Map to find the tree node?
2025-09-22 12:57:57 +0200 <tomsmeding> then going down is just following a single pointer, and going up goes through a bunch of administration
2025-09-22 12:58:11 +0200 <tomsmeding> not sure if that helps at all
2025-09-22 12:58:13 +0200trickard_trickard
2025-09-22 12:58:58 +0200fp2fp1
2025-09-22 13:01:29 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 13:03:30 +0200mari88678(~mari-este@user/mari-estel) ()
2025-09-22 13:04:21 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-09-22 13:04:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-09-22 13:05:51 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-09-22 13:05:53 +0200dontdieych(~dontdieyc@132.226.169.184) (Remote host closed the connection)
2025-09-22 13:06:07 +0200dontdieych(~dontdieyc@132.226.169.184) dontdieych
2025-09-22 13:06:37 +0200 <jreicher> [exa]: Take this with a grain of salt, because my experience is still too limited, but I've found implicit graphs better if you manage one "paradigm shift": forget about the graph, and try to make precise the access functions. The structure is implied by those functions if you get them right.
2025-09-22 13:07:00 +0200 <jreicher> And that's especially true for infinitary expressions.
2025-09-22 13:14:43 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-22 13:14:56 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-22 13:15:28 +0200xff0x(~xff0x@2405:6580:b080:900:58c5:f92c:e5e0:d47f)
2025-09-22 13:15:43 +0200Googulator24(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 13:15:45 +0200Googulator18(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 13:23:56 +0200Athas(athas@2a01:7c8:aaac:1cf:d66b:b110:e135:a326) (Quit: ZNC 1.9.1 - https://znc.in)
2025-09-22 13:24:08 +0200Athas(athas@2a01:7c8:aaac:1cf:d153:5501:dd03:4891)
2025-09-22 13:24:13 +0200Googulator24(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 13:24:29 +0200Googulator24(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 13:24:48 +0200Guest77(~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3)
2025-09-22 13:28:05 +0200fp1(~Thunderbi@130.233.53.240) (Ping timeout: 265 seconds)
2025-09-22 13:30:50 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-22 13:31:40 +0200 <merijn> [exa]: In general arrays/vectors are very hard to beat for graph algorithms :p
2025-09-22 13:31:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2025-09-22 13:32:46 +0200inline_(~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-09-22 13:33:40 +0200Lord_of_Life_Lord_of_Life
2025-09-22 13:33:59 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-09-22 13:34:06 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 13:35:37 +0200Googulator24(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 13:35:41 +0200Googulator95(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 13:38:46 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-09-22 13:41:30 +0200trickard_trickard
2025-09-22 13:45:07 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-22 13:48:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-09-22 13:48:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-09-22 13:49:23 +0200petrichor(~jez@user/petrichor) (Ping timeout: 260 seconds)
2025-09-22 13:50:57 +0200 <[exa]> jreicher: yep, very true
2025-09-22 13:51:00 +0200 <[exa]> merijn: it
2025-09-22 13:51:21 +0200 <[exa]> ...'s going to be an array in the memory anyway, right :D
2025-09-22 13:53:09 +0200internatetional(~nate@2404:c0:7050::111d:130) internatetional
2025-09-22 14:00:44 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 14:01:43 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds)
2025-09-22 14:02:51 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-22 14:02:54 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-09-22 14:05:28 +0200qqe(~qqq@185.54.23.100) (Remote host closed the connection)
2025-09-22 14:05:32 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-09-22 14:06:03 +0200poscat(~poscat@user/poscat) poscat
2025-09-22 14:07:35 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-09-22 14:09:14 +0200jreicher(~user@user/jreicher) (Ping timeout: 260 seconds)
2025-09-22 14:09:45 +0200jreicher(~user@user/jreicher) jreicher
2025-09-22 14:10:08 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-09-22 14:10:42 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 14:10:42 +0200Googulator95(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 14:12:04 +0200internatetional(~nate@2404:c0:7050::111d:130) (Ping timeout: 265 seconds)
2025-09-22 14:12:49 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-22 14:13:58 +0200Guest77(~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) (Quit: Client closed)
2025-09-22 14:15:46 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 14:15:50 +0200Googulator73(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 14:17:08 +0200petrichor(~jez@user/petrichor) petrichor
2025-09-22 14:20:37 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-09-22 14:21:23 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-22 14:23:17 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac)
2025-09-22 14:23:17 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host)
2025-09-22 14:23:17 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 14:23:28 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-22 14:25:41 +0200Axma53005(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-22 14:29:16 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-09-22 14:34:28 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-22 14:35:36 +0200Googulator73(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 14:35:41 +0200Googulator84(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 14:56:31 +0200AlexZenon(~alzenon@85.174.180.29) (Quit: ;-)
2025-09-22 14:57:50 +0200AlexNoo(~AlexNoo@85.174.180.29) (Quit: Leaving)
2025-09-22 14:59:38 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4)
2025-09-22 15:03:31 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-22 15:03:58 +0200Googulator84(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 15:04:16 +0200Googulator84(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 15:10:43 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-22 15:11:04 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-22 15:14:13 +0200Guest77(~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3)
2025-09-22 15:14:21 +0200Guest77(~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) (Client Quit)
2025-09-22 15:15:33 +0200Googulator84(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 15:15:39 +0200Googulator34(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 15:17:34 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-09-22 15:20:39 +0200poscat(~poscat@user/poscat) poscat
2025-09-22 15:25:52 +0200Googulator65(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 15:26:16 +0200Googulator34(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 15:26:23 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-09-22 15:27:02 +0200AlexNoo(~AlexNoo@85.174.180.29)
2025-09-22 15:37:25 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-22 15:38:53 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac)
2025-09-22 15:38:53 +0200arandombit(~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host)
2025-09-22 15:38:53 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 15:39:12 +0200AlexZenon(~alzenon@85.174.180.29)
2025-09-22 15:43:22 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-22 15:43:43 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-09-22 15:44:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-09-22 15:49:41 +0200duckworld(~duckworld@user/duckworld) (Remote host closed the connection)
2025-09-22 15:50:00 +0200duckworld(~duckworld@user/duckworld) duckworld
2025-09-22 15:50:30 +0200ystael(~ystael@user/ystael) ystael
2025-09-22 15:53:12 +0200duckworld(~duckworld@user/duckworld) (Remote host closed the connection)
2025-09-22 15:53:28 +0200duckworld(~duckworld@user/duckworld) duckworld
2025-09-22 16:03:51 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 258 seconds)
2025-09-22 16:05:25 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 16:08:58 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-09-22 16:09:23 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-22 16:13:28 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-09-22 16:26:57 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-22 16:36:49 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
2025-09-22 16:38:31 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-22 16:44:24 +0200mari45126(~mari-este@user/mari-estel) mari-estel
2025-09-22 16:46:28 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 244 seconds)
2025-09-22 16:47:16 +0200petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2025-09-22 16:50:46 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-22 16:51:07 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-22 16:51:47 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-22 16:52:00 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-22 16:54:01 +0200Googulator65(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 16:54:17 +0200Googulator65(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 16:55:12 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-09-22 17:00:12 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 258 seconds)
2025-09-22 17:02:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 17:06:51 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-09-22 17:13:10 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-09-22 17:15:56 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-22 17:15:56 +0200Googulator65(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 17:16:03 +0200Googulator45(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 17:18:22 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-09-22 17:20:57 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 17:21:47 +0200dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2025-09-22 17:22:24 +0200dyniec(~dyniec@dybiec.info)
2025-09-22 17:24:59 +0200vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-09-22 17:25:40 +0200Googulator45(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 17:25:45 +0200Googulator27(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 17:33:49 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-09-22 17:53:16 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-09-22 17:55:41 +0200Googulator85(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 17:55:47 +0200Googulator27(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 17:55:54 +0200Axma58360(~Axman6@user/axman6) Axman6
2025-09-22 17:57:03 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-22 17:57:54 +0200Googulator85Googulator
2025-09-22 17:59:55 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-09-22 18:05:29 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-22 18:17:31 +0200petrichor(~jez@user/petrichor) petrichor
2025-09-22 18:21:01 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-09-22 18:23:05 +0200mari45126(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-09-22 18:27:27 +0200ouilemur(~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds)
2025-09-22 18:29:16 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-09-22 18:30:27 +0200bgamari_(~bgamari@64.223.225.237) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-22 18:31:15 +0200bgamari(~bgamari@64.223.225.237)
2025-09-22 18:33:19 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-22 18:38:15 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com)
2025-09-22 18:39:17 +0200williu5(~williu5@user/williu5) williu5