| 2025-09-22 00:00:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 00:03:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 00:04:27 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-22 00:14:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 00:15:21 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d) |
| 2025-09-22 00:18:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-22 00:18:10 +0200 | karenw_ | (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 2025-09-22 00:19:37 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d) (Client Quit) |
| 2025-09-22 00:19:53 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d) |
| 2025-09-22 00:20:42 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:cdc4:4029:b4ac:ee8d) (Client Quit) |
| 2025-09-22 00:21:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 00:32:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 00:37:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-22 00:48:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 00:52:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 00:53:36 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2025-09-22 00:55:57 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-22 01:03:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 01:06:50 +0200 | vanishingideal | v12l |
| 2025-09-22 01:08:04 +0200 | v12l | vanishingideal |
| 2025-09-22 01:08:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 01:10:47 +0200 | Googulator14 | (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-22 01:11:20 +0200 | Googulator95 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 01:15:06 +0200 | acidjnk | (~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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 01:26:52 +0200 | sprotte24 | (~sprotte24@p200300d16f1625006cf61cf14496ae4e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-22 01:30:47 +0200 | Googulator58 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 01:31:09 +0200 | Googulator14 | (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 01:34:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 01:37:26 +0200 | Googulator58 | Googulator |
| 2025-09-22 01:39:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 01:43:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-22 01:46:25 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-22 01:46:25 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-09-22 01:48:11 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-22 01:49:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 01:53:46 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-09-22 01:53:46 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) (Read error: Connection reset by peer) |
| 2025-09-22 01:54:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-22 01:54:08 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-09-22 01:55:38 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 01:55:48 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 02:01:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-22 02:05:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 02:06:12 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 02:06:28 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 02:06:49 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 250 seconds) |
| 2025-09-22 02:08:26 +0200 | defragger | (~random@i5C742DFC.versanet.de) (Ping timeout: 248 seconds) |
| 2025-09-22 02:08:43 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-09-22 02:10:24 +0200 | defragger | (~random@i5C742C0E.versanet.de) defragger |
| 2025-09-22 02:11:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-22 02:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 02:17:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 02:20:41 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 02:20:41 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 02:22:44 +0200 | Axma12764 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 02:23:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 02:24:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 02:28:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-22 02:35:55 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-22 02:37:35 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-22 02:38:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 02:40:42 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 02:41:03 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 02:43:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 02:45:50 +0200 | Googulator83 | (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-22 02:45:56 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 2025-09-22 02:49:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7d79:c1b5:daad:1ed0) (Ping timeout: 255 seconds) |
| 2025-09-22 02:49:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: sdkjs) |
| 2025-09-22 02:53:50 +0200 | Googulator83 | (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 02:53:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 02:54:06 +0200 | Googulator83 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 02:55:39 +0200 | Googulator83 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 2025-09-22 02:55:42 +0200 | Googulator42 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 02:58:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-22 03:07:21 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-22 03:08:45 +0200 | defragger | (~random@i5C742C0E.versanet.de) (Ping timeout: 258 seconds) |
| 2025-09-22 03:09:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 03:11:48 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-22 03:12:07 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-22 03:14:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-22 03:16:29 +0200 | Googulator42 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:16:44 +0200 | Googulator42 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 03:25:23 +0200 | defragger | (~random@i6DFADE56.versanet.de) defragger |
| 2025-09-22 03:25:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: Leaving) |
| 2025-09-22 03:26:11 +0200 | wootehfoot | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 03:30:25 +0200 | tzh | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 03:40:41 +0200 | Googulator42 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:40:42 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 03:44:43 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-22 03:45:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 03:45:51 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 03:46:17 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:46:17 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 2025-09-22 03:46:25 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 03:55:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 03:55:48 +0200 | comonad | (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-09-22 03:59:16 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 03:59:28 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 04:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 04:05:28 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-22 04:11:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 04:15:17 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-22 04:15:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 04:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 04:30:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 04:30:40 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:30:46 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:38:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 04:39:46 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-22 04:43:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-22 04:45:06 +0200 | williu5 | (~williu5@user/williu5) (Remote host closed the connection) |
| 2025-09-22 04:45:30 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-22 04:47:24 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 04:49:21 +0200 | Axma12764 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-22 04:50:37 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:50:41 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:50:45 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-22 04:53:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-22 04:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 04:55:07 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-09-22 04:55:27 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-22 05:00:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 05:03:54 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-09-22 05:03:54 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) aforemny |
| 2025-09-22 05:04:44 +0200 | aforemny | (~aforemny@2001:9e8:6ce4:5a00:77d6:6f62:e46:c270) (Ping timeout: 244 seconds) |
| 2025-09-22 05:06:03 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:06:13 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:12:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 05:15:39 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:15:45 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:16:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 05:16:39 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-22 05:16:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-22 05:18:40 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-22 05:22:24 +0200 | dcpagan | (~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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 05:40:37 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:40:46 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:41:35 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-22 05:42:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 05:45:44 +0200 | Googulator56 | (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-22 05:46:10 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:46:58 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-09-22 05:47:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 05:48:12 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-09-22 05:58:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 05:59:37 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-22 06:01:28 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:a300:13f0:3a0e:66b2:bfa6) aforemny |
| 2025-09-22 06:01:30 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) (Ping timeout: 248 seconds) |
| 2025-09-22 06:02:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 06:10:37 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 06:10:45 +0200 | Googulator56 | (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 06:13:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 06:15:44 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 06:16:04 +0200 | Axma29690 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 06:16:13 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 06:18:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 06:18:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 06:21:58 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-09-22 06:23:33 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-22 06:29:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 06:32:35 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 06:32:50 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 06:35:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 06:39:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 06:44:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-22 06:50:35 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 06:50:47 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 06:55:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 06:55:44 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 06:56:12 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 06:59:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-22 07:07:47 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-22 07:10:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 07:15:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-22 07:15:36 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 07:15:43 +0200 | Googulator73 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 07:25:54 +0200 | Googulator99 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 07:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 07:26:17 +0200 | Googulator73 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 07:30:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 07:30:54 +0200 | Googulator99 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 07:31:03 +0200 | Googulator99 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 07:35:39 +0200 | Googulator99 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 2025-09-22 07:36:06 +0200 | Googulator99 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 07:40:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 07:43:33 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-09-22 07:45:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 07:46:06 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 07:46:13 +0200 | Googulator99 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 07:48:08 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-09-22 07:48:33 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-09-22 07:48:41 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2025-09-22 07:49:40 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-09-22 07:56:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 08:00:10 +0200 | comonad | (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) |
| 2025-09-22 08:03:52 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 08:04:06 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 08:04:41 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 258 seconds) |
| 2025-09-22 08:07:45 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-22 08:12:19 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-22 08:14:04 +0200 | Maxdaman1us | Maxdamantus |
| 2025-09-22 08:15:58 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-22 08:20:08 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-22 08:25:12 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 2025-09-22 08:28:16 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-22 08:29:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-09-22 08:29:46 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-22 08:31:29 +0200 | aplainzetakind | (~aplainzet@37.155.33.61) aplainzetakind |
| 2025-09-22 08:32:38 +0200 | qqe | (~qqq@185.54.23.100) (Client Quit) |
| 2025-09-22 08:42:23 +0200 | Axma29690 | Axman6 |
| 2025-09-22 08:44:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-22 08:44:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 08:53:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-09-22 08:55:59 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 08:56:16 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 09:00:00 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-22 09:00:41 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-22 09:12:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 09:12:50 +0200 | acidjnk | (~acidjnk@p200300d6e7171901dc8a236a4169d06b.dip0.t-ipconnect.de) acidjnk |
| 2025-09-22 09:19:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 09:23:04 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-22 09:24:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 09:30:23 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-22 09:35:41 +0200 | Googulator4 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 09:35:43 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 09:37:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-22 09:40:27 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-22 09:42:03 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-09-22 09:52:50 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-22 10:03:15 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-22 10:05:41 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 10:05:43 +0200 | Googulator4 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 10:08:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 10:10:05 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-22 10:10:39 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 10:10:46 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 10:11:17 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2025-09-22 10:11:28 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-22 10:30:39 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 10:30:49 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 10:33:36 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-22 10:35:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-22 10:38:32 +0200 | kuribas | (~user@2a02-1810-2825-6000-fedd-5dda-6057-f5dc.ip6.access.telenet.be) kuribas |
| 2025-09-22 10:40:25 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-22 10:40:29 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 10:40:46 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-22 10:45:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-22 10:46:20 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 10:46:42 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-22 10:50:17 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-22 10:50:40 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 10:50:41 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 10:51:22 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-22 10:56:13 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-22 10:59:52 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-22 11:05:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-22 11:06:46 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-22 11:07:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-22 11:10:40 +0200 | Googulator95 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 11:10:43 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 11:12:06 +0200 | Square | (~Square4@user/square) Square |
| 2025-09-22 11:13:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-22 11:13:54 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 11:14:08 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 11:15:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-22 11:17:16 +0200 | AlexZenon | (~alzenon@85.174.180.29) (Ping timeout: 256 seconds) |
| 2025-09-22 11:19:47 +0200 | Axma53005 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 11:21:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 11:21:29 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 11:21:29 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 11:22:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 11:24:10 +0200 | AlexZenon | (~alzenon@85.174.180.29) |
| 2025-09-22 11:25:31 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-22 11:26:18 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-22 11:27:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 11:32:43 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-09-22 11:47:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-09-22 11:48:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-22 11:49:32 +0200 | bitdex | (~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 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 11:58:15 +0200 | arandombit | (~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 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-22 12:10:21 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 12:10:21 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 12:10:21 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 12:11:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-22 12:11:30 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-22 12:13:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-22 12:15:39 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-22 12:15:44 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 12:15:44 +0200 | Googulator95 | (~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 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-22 12:25:38 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 12:27:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-09-22 12:32:31 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-22 12:44:09 +0200 | mari88678 | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-22 12:44:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 12:44:38 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-22 12:44:48 +0200 | poscat | (~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 +0200 | poscat | (~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 +0200 | arandombit | (~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 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds) |
| 2025-09-22 12:52:25 +0200 | lortabac | (~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 +0200 | fp1 | (~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 +0200 | fp1 | (~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 +0200 | fp2 | (~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 +0200 | trickard_ | trickard |
| 2025-09-22 12:58:58 +0200 | fp2 | fp1 |
| 2025-09-22 13:01:29 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 13:03:30 +0200 | mari88678 | (~mari-este@user/mari-estel) () |
| 2025-09-22 13:04:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-22 13:04:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-09-22 13:05:51 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-22 13:05:53 +0200 | dontdieych | (~dontdieyc@132.226.169.184) (Remote host closed the connection) |
| 2025-09-22 13:06:07 +0200 | dontdieych | (~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 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 13:14:56 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 13:15:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:58c5:f92c:e5e0:d47f) |
| 2025-09-22 13:15:43 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 13:15:45 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 13:23:56 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:d66b:b110:e135:a326) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-22 13:24:08 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:d153:5501:dd03:4891) |
| 2025-09-22 13:24:13 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 13:24:29 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 13:24:48 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) |
| 2025-09-22 13:28:05 +0200 | fp1 | (~Thunderbi@130.233.53.240) (Ping timeout: 265 seconds) |
| 2025-09-22 13:30:50 +0200 | Lord_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 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2025-09-22 13:32:46 +0200 | inline_ | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-22 13:33:40 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-22 13:33:59 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-09-22 13:34:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 13:35:37 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 13:35:41 +0200 | Googulator95 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 13:38:46 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-22 13:41:30 +0200 | trickard_ | trickard |
| 2025-09-22 13:45:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 13:48:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-22 13:48:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-09-22 13:49:23 +0200 | petrichor | (~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 +0200 | internatetional | (~nate@2404:c0:7050::111d:130) internatetional |
| 2025-09-22 14:00:44 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 14:01:43 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-09-22 14:02:51 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-22 14:02:54 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 14:05:28 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-22 14:05:32 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-22 14:06:03 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-22 14:07:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-22 14:09:14 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-09-22 14:09:45 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-22 14:10:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-22 14:10:42 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 14:10:42 +0200 | Googulator95 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 14:12:04 +0200 | internatetional | (~nate@2404:c0:7050::111d:130) (Ping timeout: 265 seconds) |
| 2025-09-22 14:12:49 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-22 14:13:58 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) (Quit: Client closed) |
| 2025-09-22 14:15:46 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 14:15:50 +0200 | Googulator73 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 14:17:08 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-22 14:20:37 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-22 14:21:23 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 14:23:17 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 14:23:17 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 14:23:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 14:23:28 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 14:25:41 +0200 | Axma53005 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-22 14:29:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-09-22 14:34:28 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-22 14:35:36 +0200 | Googulator73 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 14:35:41 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 14:56:31 +0200 | AlexZenon | (~alzenon@85.174.180.29) (Quit: ;-) |
| 2025-09-22 14:57:50 +0200 | AlexNoo | (~AlexNoo@85.174.180.29) (Quit: Leaving) |
| 2025-09-22 14:59:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 15:03:31 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-22 15:03:58 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 15:04:16 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 15:10:43 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-22 15:11:04 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-22 15:14:13 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) |
| 2025-09-22 15:14:21 +0200 | Guest77 | (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) (Client Quit) |
| 2025-09-22 15:15:33 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 15:15:39 +0200 | Googulator34 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 15:17:34 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 15:20:39 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-22 15:25:52 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 15:26:16 +0200 | Googulator34 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 15:26:23 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-22 15:27:02 +0200 | AlexNoo | (~AlexNoo@85.174.180.29) |
| 2025-09-22 15:37:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-22 15:38:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 15:38:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 15:38:53 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 15:39:12 +0200 | AlexZenon | (~alzenon@85.174.180.29) |
| 2025-09-22 15:43:22 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-22 15:43:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-22 15:44:10 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-22 15:49:41 +0200 | duckworld | (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2025-09-22 15:50:00 +0200 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-09-22 15:50:30 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-22 15:53:12 +0200 | duckworld | (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2025-09-22 15:53:28 +0200 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-09-22 16:03:51 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-22 16:05:25 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 16:08:58 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-22 16:09:23 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-22 16:13:28 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-09-22 16:26:57 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-22 16:36:49 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-22 16:38:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-22 16:44:24 +0200 | mari45126 | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-22 16:46:28 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2025-09-22 16:47:16 +0200 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-22 16:50:46 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-22 16:51:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-22 16:51:47 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 16:52:00 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 16:54:01 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 16:54:17 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 16:55:12 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-22 17:00:12 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2025-09-22 17:02:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 17:06:51 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-22 17:13:10 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-22 17:15:56 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 17:15:56 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 17:16:03 +0200 | Googulator45 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 17:18:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-22 17:20:57 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 17:21:47 +0200 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2025-09-22 17:22:24 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2025-09-22 17:24:59 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-09-22 17:25:40 +0200 | Googulator45 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 17:25:45 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 17:33:49 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-09-22 17:53:16 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-22 17:55:41 +0200 | Googulator85 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 17:55:47 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 17:55:54 +0200 | Axma58360 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 17:57:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 17:57:54 +0200 | Googulator85 | Googulator |
| 2025-09-22 17:59:55 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-22 18:05:29 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-22 18:17:31 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-22 18:21:01 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-22 18:23:05 +0200 | mari45126 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-22 18:27:27 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-09-22 18:29:16 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-09-22 18:30:27 +0200 | bgamari_ | (~bgamari@64.223.225.237) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-22 18:31:15 +0200 | bgamari | (~bgamari@64.223.225.237) |
| 2025-09-22 18:33:19 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 18:38:15 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-22 18:39:17 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-22 18:48:06 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-09-22 18:49:56 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-22 18:49:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-22 18:50:28 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 18:50:41 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 18:54:01 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-22 19:00:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-22 19:02:17 +0200 | <dminuoso_> | So I've been wondering about something with nix. How is it, that a language with extremely poor ergonomics, a stdlib that lack all the fundamental programming tasks, a stdlib that lacks all the advanced functional programming tricks, gives you infinite recursion left and right with virtually no control over strictness, hiding the defining bodies at the end (no where-bindings), very mediocre |
| 2025-09-22 19:02:19 +0200 | <dminuoso_> | performance and the poorest of diagnostics (all you get is a universal throw with no catch mechanics).... attracts more users than Haskell? |
| 2025-09-22 19:02:25 +0200 | dminuoso_ | dminuoso |
| 2025-09-22 19:02:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-22 19:02:50 +0200 | <Franciman> | because of nixos, dminuoso |
| 2025-09-22 19:03:17 +0200 | <dminuoso> | Franciman: But thats the thing. Guix is lightyears more usable for the same problem domain. |
| 2025-09-22 19:03:36 +0200 | <Franciman> | yes |
| 2025-09-22 19:03:40 +0200 | <Franciman> | and standard ml is much better than haskell |
| 2025-09-22 19:03:49 +0200 | <Franciman> | yet haskell is more famous |
| 2025-09-22 19:03:51 +0200 | <Franciman> | such is life |
| 2025-09-22 19:03:56 +0200 | <Franciman> | cargo cult, probably |
| 2025-09-22 19:04:09 +0200 | <Franciman> | dminuoso: jokes aside the problem with guix is that it's strictly abiding to the free software culture |
| 2025-09-22 19:04:17 +0200 | <Franciman> | and they are completely obsessed with reproducibility |
| 2025-09-22 19:04:28 +0200 | <Franciman> | this makes adoption harder |
| 2025-09-22 19:04:33 +0200 | <Franciman> | because it's more difficult to package stuff |
| 2025-09-22 19:04:50 +0200 | <dminuoso> | I would argue that nix packaging is about as difficult. |
| 2025-09-22 19:05:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-22 19:05:07 +0200 | <dminuoso> | The frankenstein monster type of nix derivations and hackeries people write left and right is amazing. |
| 2025-09-22 19:05:07 +0200 | <Franciman> | nix packaging is not as serious about reproducibility as guix's |
| 2025-09-22 19:05:33 +0200 | <Franciman> | other than that guix feels much better to me as well |
| 2025-09-22 19:05:44 +0200 | <dminuoso> | Yeah but interfacing with any packaging that is not some ancient autotools packaged thing that mkDerivation somehow can deal with.. |
| 2025-09-22 19:05:46 +0200 | <Franciman> | the code is a bit difficult to read for me. But the external UI is very clean |
| 2025-09-22 19:05:49 +0200 | <davean> | Yah I've wanted to move to guix but ... |
| 2025-09-22 19:06:03 +0200 | <inline> | Ark got shot |
| 2025-09-22 19:06:20 +0200 | <inline> | couldn't boot anymore from it's vram |
| 2025-09-22 19:06:22 +0200 | <dminuoso> | Franciman: I find nix code to be as hard to read as llvm generated vectorized assembly. |
| 2025-09-22 19:06:25 +0200 | <inline> | hahaha |
| 2025-09-22 19:06:26 +0200 | <inline> | oh man |
| 2025-09-22 19:06:45 +0200 | <Franciman> | lol dminuoso |
| 2025-09-22 19:06:59 +0200 | <inline> | it's the second OS which failed to boot on virtualbox now, totally randomly it seems |
| 2025-09-22 19:07:01 +0200 | <dminuoso> | Seriously, you get 1700 lines of nix files dealing with fixed point magic, various extend/override tricks, hooking inside out, outside in, double wrapping twisted turning fixed point inversion logic.. |
| 2025-09-22 19:07:07 +0200 | <dminuoso> | All without a single line of comment. |
| 2025-09-22 19:07:14 +0200 | <dminuoso> | Of a single empty line to just group code. |
| 2025-09-22 19:07:17 +0200 | <davean> | well at least llvm generated vectorized assembly is easier to read than hand-optimize vectorized assembly |
| 2025-09-22 19:07:25 +0200 | <inline> | last time it was bookworm of debian, no idea what's going on |
| 2025-09-22 19:07:30 +0200 | jmcantrell_ | jmcantrell |
| 2025-09-22 19:07:35 +0200 | <inline> | i now even updated virtualbox |
| 2025-09-22 19:07:54 +0200 | <dminuoso> | I dont even know why nix people even botter with CR/LF. |
| 2025-09-22 19:08:00 +0200 | <dminuoso> | Its not as if helps readability. |
| 2025-09-22 19:08:05 +0200 | <Franciman> | davean: i would like to see a declarative language for nix-style stuff using logic programming paradigm |
| 2025-09-22 19:08:23 +0200 | <dminuoso> | Franciman: Oh prolix! |
| 2025-09-22 19:08:28 +0200 | <dminuoso> | Lets make that a thing. |
| 2025-09-22 19:08:52 +0200 | <Franciman> | maybe we can inject the fixed point shit about making derivation into the classic fixpoint semantics of logic programs? |
| 2025-09-22 19:08:55 +0200 | <inline> | seems like when encryption of devices is the case and windows suddenly looses the device (even though it was initially opened via passphrase and ran 2-3 days) |
| 2025-09-22 19:08:58 +0200 | <Franciman> | prolix sounds good |
| 2025-09-22 19:09:00 +0200 | <dminuoso> | Neither usable nor popular, sounds we could torture a PhD student with it. |
| 2025-09-22 19:09:45 +0200 | <Franciman> | lol |
| 2025-09-22 19:09:46 +0200 | <dminuoso> | Franciman: All that fixed point logic is just trying very hard to define module/packaging/interface boundaries |
| 2025-09-22 19:09:56 +0200 | <dminuoso> | Software developers have been solving these problems for 5 decades. |
| 2025-09-22 19:10:06 +0200 | <dminuoso> | s/define/avoid/ |
| 2025-09-22 19:10:21 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-22 19:10:21 +0200 | <inline> | i had 3 levels of encryption, the one via bitlocker (it looses the device from time to time) then i had an encryption level from the VBox, then another of the virtual disk with cryptsetup in the OS |
| 2025-09-22 19:10:43 +0200 | <Franciman> | dminuoso: you think we would need full prolog power or just a datalog dialect? |
| 2025-09-22 19:11:15 +0200 | <inline> | so 1. level flaky, 2. level flaky due to previous or on it's own, 3. level stable |
| 2025-09-22 19:11:19 +0200 | <Franciman> | i'm not sure i follow the comment on fixed point logics, wdym dminuoso ? |
| 2025-09-22 19:11:54 +0200 | <inline> | and once i installed haskell in there the updates won't ever end.... |
| 2025-09-22 19:11:55 +0200 | <dminuoso> | Franciman: So the fixed points that occur in nixpkgs allow for composability of "things" |
| 2025-09-22 19:11:59 +0200 | <dminuoso> | In various degrees. |
| 2025-09-22 19:12:16 +0200 | <inline> | on almost every update i saw haskell packages... looks like a fast moving thing |
| 2025-09-22 19:12:19 +0200 | <dminuoso> | In case of NixOS modules config fixed point, its how modules can talk to each other to figure out whats what |
| 2025-09-22 19:12:20 +0200 | <Franciman> | ahh i see |
| 2025-09-22 19:12:28 +0200 | <Franciman> | i thought fixpoints was to compute the final derivation |
| 2025-09-22 19:12:47 +0200 | <dminuoso> | Sometimes its about a singular derivation |
| 2025-09-22 19:12:49 +0200 | <dminuoso> | Sometimes its about config |
| 2025-09-22 19:12:51 +0200 | <Franciman> | i see |
| 2025-09-22 19:12:51 +0200 | <dminuoso> | Sometimes its about attrsets |
| 2025-09-22 19:13:00 +0200 | <dminuoso> | At the end its all done to compose things together |
| 2025-09-22 19:13:13 +0200 | <dminuoso> | But its an absurd abstraction because it leaks implementation at every step of the way |
| 2025-09-22 19:13:17 +0200 | <dminuoso> | The best example is this: |
| 2025-09-22 19:13:19 +0200 | <dminuoso> | https://github.com/NixOS/nixpkgs/issues/26561 |
| 2025-09-22 19:13:28 +0200 | <dminuoso> | 8 year old issue about haskellPackages.extend and haskellPackages.override |
| 2025-09-22 19:13:52 +0200 | <dminuoso> | Long story short: One is bad, you should probably use the other, and use a bunch of magic undocumented library functions to make it really extensible. |
| 2025-09-22 19:14:19 +0200 | <dminuoso> | And its not because the problem domain is complicated: its just that all that fixed point nonsense is very much adhoc. |
| 2025-09-22 19:14:23 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-09-22 19:16:16 +0200 | <Franciman> | i see |
| 2025-09-22 19:17:12 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-22 19:17:12 +0200 | jmcantrell_ | jmcantrell |
| 2025-09-22 19:21:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 19:22:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-22 19:23:01 +0200 | kuribas | (~user@2a02-1810-2825-6000-fedd-5dda-6057-f5dc.ip6.access.telenet.be) (Ping timeout: 255 seconds) |
| 2025-09-22 19:24:04 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-22 19:24:21 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-22 19:24:34 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-22 19:28:03 +0200 | Axma58360 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 19:30:55 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 19:31:18 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 19:45:28 +0200 | trickard_ | trickard |
| 2025-09-22 19:46:16 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-22 19:49:16 +0200 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-09-22 19:55:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 20:00:36 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-22 20:04:56 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-22 20:13:42 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-09-22 20:15:33 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-22 20:15:45 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2025-09-22 20:15:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 20:19:48 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-22 20:20:43 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-09-22 20:22:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-22 20:24:26 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-22 20:24:46 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-22 20:25:45 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 20:25:45 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 20:29:01 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-09-22 20:32:34 +0200 | <monochrom> | Does it boil down to doing open recursion so you can compose extensions before you tie the knot and close it? |
| 2025-09-22 20:33:26 +0200 | <monochrom> | But I'm not surprised that evolved languages (as opposed to intelligently designed) are messes. |
| 2025-09-22 20:35:22 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-09-22 20:45:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 20:48:09 +0200 | <yin> | what's the state of backpack these days? i've just learned about it |
| 2025-09-22 20:48:38 +0200 | <monochrom> | I haven't used it for a while. But should be usable with cabal-install. |
| 2025-09-22 20:49:25 +0200 | <monochrom> | It should work fine because there is recent blog post using it. (I think you saw that. :) ) |
| 2025-09-22 20:50:00 +0200 | <yin> | i read 'Death to Type Classes' |
| 2025-09-22 20:50:16 +0200 | monochrom | naïvely trust that every blog authors actually test their code before posting. |
| 2025-09-22 20:50:21 +0200 | <monochrom> | Yeah that one. |
| 2025-09-22 20:51:19 +0200 | <yin> | most links i find on official sources are dead or insecure |
| 2025-09-22 20:52:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 20:56:52 +0200 | <davean> | which links do you find that are insecure? |
| 2025-09-22 20:58:38 +0200 | <yin> | ghc.haskell.org/trac/ghc/wiki/Backpack for example |
| 2025-09-22 20:59:09 +0200 | <davean> | thats a 403 |
| 2025-09-22 21:00:02 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-22 21:00:37 +0200 | <davean> | https://ghc.haskell.org/trac/ghc/wiki/Backpack |
| 2025-09-22 21:00:43 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-22 21:02:02 +0200 | <yin> | certificate expired a year ago |
| 2025-09-22 21:02:27 +0200 | <yin> | that's why i was getting the insecure notice |
| 2025-09-22 21:03:25 +0200 | <int-e> | huh. I get a current certificate but it's only for data.gitlab.haskell.org |
| 2025-09-22 21:03:38 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 21:03:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 21:04:13 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-22 21:04:38 +0200 | <int-e> | (So still invalid for ghc.haskell.org) |
| 2025-09-22 21:05:18 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/wikis/backpack |
| 2025-09-22 21:05:31 +0200 | <geekosaur> | the redirects for wiki pages are still messed up |
| 2025-09-22 21:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 21:08:28 +0200 | <int-e> | The server in question appears to use the SNI thing (gitlab.haskell.org is the same IP but comes with a different TLS cert). I guess ghc.haskell.org just fell through the cracks completely? |
| 2025-09-22 21:10:14 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-09-22 21:15:37 +0200 | Googulator35 | (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-22 21:15:50 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 21:17:25 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2025-09-22 21:19:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 21:19:36 +0200 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-09-22 21:19:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-22 21:19:57 +0200 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2025-09-22 21:20:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-22 21:20:41 +0200 | Googulator94 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 21:20:41 +0200 | Googulator35 | (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 21:22:16 +0200 | jespada | (~jespada@2800:a4:220e:1100:7986:c3b7:972a:6739) jespada |
| 2025-09-22 21:23:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 21:28:04 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-22 21:32:52 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-22 21:36:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 21:37:25 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 21:37:39 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 21:40:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 21:43:59 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-09-22 21:45:55 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-22 21:46:22 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-22 21:47:12 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 21:47:23 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-22 21:47:36 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-09-22 21:47:39 +0200 | williu5 | (~williu5@user/williu5) (Client Quit) |
| 2025-09-22 21:47:41 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-09-22 21:49:43 +0200 | divlamir | (~divlamir@user/divlamir) (Remote host closed the connection) |
| 2025-09-22 21:49:49 +0200 | sprotte24 | (~sprotte24@p200300d16f1ea6001dda7b6d5e2790e6.dip0.t-ipconnect.de) |
| 2025-09-22 21:49:58 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-22 21:51:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 21:56:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 21:57:02 +0200 | divlamir | (~divlamir@user/divlamir) (Remote host closed the connection) |
| 2025-09-22 21:59:13 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-22 22:02:21 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-22 22:02:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 22:06:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-22 22:06:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 22:07:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-22 22:11:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 22:14:03 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-09-22 22:15:48 +0200 | jespada | (~jespada@2800:a4:220e:1100:7986:c3b7:972a:6739) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-09-22 22:17:56 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-09-22 22:19:06 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2025-09-22 22:19:37 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-22 22:22:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 22:24:33 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-22 22:25:18 +0200 | trickard_ | trickard |
| 2025-09-22 22:26:16 +0200 | Googulator94 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 22:28:10 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-22 22:29:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 22:31:30 +0200 | jespada | (~jespada@2800:a4:220e:1100:c085:e42:ccd1:a8e7) jespada |
| 2025-09-22 22:31:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 22:36:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 22:38:33 +0200 | divlamir | (~divlamir@user/divlamir) (Remote host closed the connection) |
| 2025-09-22 22:38:47 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-22 22:43:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-22 22:47:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-22 22:51:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 22:52:51 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-22 22:53:46 +0200 | jespada | (~jespada@2800:a4:220e:1100:c085:e42:ccd1:a8e7) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-09-22 22:55:24 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-09-22 23:02:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 23:02:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |