| 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 |