| 2025-10-09 00:00:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 00:05:36 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 00:05:39 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 00:10:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 00:13:46 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-09 00:15:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 00:22:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-09 00:26:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 00:33:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-09 00:34:22 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 00:34:35 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 00:38:09 +0200 | tamer | (~tamer@5.2.74.82) (Changing host) |
| 2025-10-09 00:38:09 +0200 | tamer | (~tamer@user/tamer) tamer |
| 2025-10-09 00:39:04 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-09 00:41:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-09 00:41:28 +0200 | ljdarj1 | ljdarj |
| 2025-10-09 00:43:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-09 00:44:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 00:48:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-10-09 00:49:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-09 00:53:28 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-09 00:54:19 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-10-09 00:54:35 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-09 00:59:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 01:04:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 01:06:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-10-09 01:09:24 +0200 | craunts7953 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-09 01:10:11 +0200 | craunts7953 | (~craunts@136.158.7.194) |
| 2025-10-09 01:10:40 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 01:10:41 +0200 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 01:10:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-09 01:15:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 01:16:13 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-09 01:16:31 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 01:17:23 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-09 01:18:50 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
| 2025-10-09 01:18:54 +0200 | synchrom1 | (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) synchromesh |
| 2025-10-09 01:20:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-09 01:20:53 +0200 | Googulator41 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 01:20:53 +0200 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 01:28:31 +0200 | ridcully | (~ridcully@p57b52867.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-09 01:30:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 01:34:13 +0200 | acidjnk | (~acidjnk@p200300d6e7171954c04f1adcf50f27d3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-09 01:34:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 01:34:58 +0200 | trickard_ | trickard |
| 2025-10-09 01:40:32 +0200 | Googulator41 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 01:40:39 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 01:40:56 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-09 01:41:44 +0200 | ridcully | (~ridcully@pd951f9b7.dip0.t-ipconnect.de) ridcully |
| 2025-10-09 01:43:44 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-10-09 01:44:29 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-09 01:45:47 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 01:45:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 01:46:15 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 01:48:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-09 01:49:32 +0200 | ridcully | (~ridcully@pd951f9b7.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-10-09 01:50:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 02:00:53 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 02:01:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 02:05:41 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 02:05:48 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 02:08:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 02:10:17 +0200 | ridcully | (~ridcully@p508accdc.dip0.t-ipconnect.de) ridcully |
| 2025-10-09 02:10:54 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 244 seconds) |
| 2025-10-09 02:12:25 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2025-10-09 02:19:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 02:20:38 +0200 | bjs | (sid190364@user/bjs) (Ping timeout: 260 seconds) |
| 2025-10-09 02:21:28 +0200 | bjs | (sid190364@user/bjs) bjs |
| 2025-10-09 02:23:25 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-10-09 02:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 02:27:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-09 02:29:16 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2025-10-09 02:29:34 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-09 02:34:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 02:35:41 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 02:35:44 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 02:39:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-09 02:40:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-10-09 02:43:42 +0200 | defragger | (~random@i6DFADE93.versanet.de) (Ping timeout: 252 seconds) |
| 2025-10-09 02:44:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eb0a:12ff:4234:8ea5) (Ping timeout: 244 seconds) |
| 2025-10-09 02:45:27 +0200 | defragger | (~random@i6DFADE43.versanet.de) defragger |
| 2025-10-09 02:50:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 02:53:25 +0200 | otto_s | (~user@p5de2f8a0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-09 02:54:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 02:54:57 +0200 | otto_s | (~user@p4ff27ab1.dip0.t-ipconnect.de) |
| 2025-10-09 02:59:17 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-09 03:03:13 +0200 | Jackneill_ | (~Jackneill@188-143-82-121.pool.digikabel.hu) |
| 2025-10-09 03:03:23 +0200 | Jackneill | (~Jackneill@188-143-82-121.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-10-09 03:03:36 +0200 | kimiamania99 | (~92460e22@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2025-10-09 03:03:44 +0200 | annamalai | (~annamalai@157.32.202.67) (Remote host closed the connection) |
| 2025-10-09 03:03:54 +0200 | trampi2 | (~trampi@mx.trampusch.info) trampi |
| 2025-10-09 03:03:58 +0200 | kimiamania99 | (~92460e22@user/kimiamania) kimiamania |
| 2025-10-09 03:04:10 +0200 | annamalai | (~annamalai@157.32.202.67) annamalai |
| 2025-10-09 03:04:36 +0200 | craunts79533 | (~craunts@136.158.7.194) |
| 2025-10-09 03:05:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 03:05:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-09 03:05:41 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 03:05:44 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 03:06:23 +0200 | typedfern__ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-10-09 03:06:42 +0200 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-10-09 03:06:49 +0200 | craunts7953 | (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 2025-10-09 03:06:49 +0200 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-10-09 03:06:49 +0200 | trampi | (~trampi@mx.trampusch.info) (Ping timeout: 256 seconds) |
| 2025-10-09 03:06:49 +0200 | typedfern_ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2025-10-09 03:06:50 +0200 | trampi2 | trampi |
| 2025-10-09 03:08:13 +0200 | FANTOM | (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-09 03:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-09 03:11:15 +0200 | FANTOM | (~fantom@87.75.184.126) |
| 2025-10-09 03:12:40 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 265 seconds) |
| 2025-10-09 03:17:14 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2025-10-09 03:21:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 03:25:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 03:36:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 03:40:31 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-09 03:40:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-09 03:49:18 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-10-09 03:50:40 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2025-10-09 03:51:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 03:57:20 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2025-10-09 03:58:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-09 04:03:01 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-10-09 04:09:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 04:10:23 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 2025-10-09 04:13:29 +0200 | keinbock | (~pepsi@129.80.237.116) jamesmartinez |
| 2025-10-09 04:14:11 +0200 | <yin> | what's this type tetria I hear about? |
| 2025-10-09 04:14:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 04:14:22 +0200 | <yin> | tetris |
| 2025-10-09 04:16:34 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-10-09 04:25:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 04:29:32 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 04:29:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-09 04:33:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-09 04:35:39 +0200 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 04:35:43 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 04:37:40 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 04:40:35 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-09 04:40:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 04:45:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 04:52:41 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 04:52:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 04:53:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 04:57:37 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-09 04:58:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-09 05:01:13 +0200 | trickard_ | trickard |
| 2025-10-09 05:07:13 +0200 | aforemny | (~aforemny@2001:9e8:6cfe:fa00:f0a4:d59e:65ba:70ff) aforemny |
| 2025-10-09 05:07:13 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce1:5a00:119f:ba7b:f92f:1a2c) (Ping timeout: 265 seconds) |
| 2025-10-09 05:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 05:09:59 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-09 05:10:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-10-09 05:12:08 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 05:14:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 05:18:36 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 05:20:46 +0200 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 05:21:09 +0200 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 05:23:56 +0200 | <fgidim> | if you have some functions you want to change the type signatures of, you can have the compiler help you out |
| 2025-10-09 05:24:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 05:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 05:30:33 +0200 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving) |
| 2025-10-09 05:35:31 +0200 | craunts79533 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-09 05:40:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 05:41:25 +0200 | shapr | (~user@130.44.148.32) (Ping timeout: 264 seconds) |
| 2025-10-09 05:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 05:47:44 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-10-09 05:47:58 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 05:53:54 +0200 | mange | (~mange@user/mange) mange |
| 2025-10-09 05:55:49 +0200 | Googulator2 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-09 05:56:22 +0200 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 05:58:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 06:06:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-09 06:16:53 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-09 06:17:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-09 06:17:31 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 06:17:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 06:17:45 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 06:22:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 06:23:08 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-09 06:25:40 +0200 | Googulator2 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 06:25:43 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 06:33:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 06:37:09 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-09 06:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 06:44:24 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-09 06:46:31 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 2025-10-09 06:47:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-09 06:48:16 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-10-09 06:48:20 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-10-09 06:48:22 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 06:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 06:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-09 06:54:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 06:59:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-09 07:00:01 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 07:00:43 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 07:00:44 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 07:10:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 07:14:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 07:15:39 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 250 seconds) |
| 2025-10-09 07:23:02 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-10-09 07:24:29 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2025-10-09 07:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 07:25:38 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-10-09 07:26:07 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-10-09 07:30:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-09 07:30:42 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-09 07:30:55 +0200 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2025-10-09 07:31:58 +0200 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-10-09 07:33:43 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 07:38:45 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-09 07:38:59 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 265 seconds) |
| 2025-10-09 07:39:09 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-09 07:40:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 07:43:25 +0200 | <dminuoso> | yin: So we have an extension called RankNTypes that gives you multiple levels of GHC to beat (rank 1, rank 2, etc..)? Upon reaching rank N there is an endboss - a mysterious dark wizard named Skolem. Be careful not to zonk his type minions too early, or you will not defeat him. One done you achieve eternal unification and make it onto a global leaderboard. |
| 2025-10-09 07:44:23 +0200 | <dminuoso> | Maybe a Haskell-themed roguelike wouldn't be the worst of ideas. |
| 2025-10-09 07:47:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 07:54:19 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 07:55:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 08:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 08:00:40 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 08:00:42 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 08:06:28 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-09 08:06:31 +0200 | <[exa]> | dminuoso: ascension message: "You reach immutability" |
| 2025-10-09 08:06:47 +0200 | <dminuoso> | Not bad. |
| 2025-10-09 08:08:10 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-10-09 08:11:00 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-09 08:11:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 08:11:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-09 08:12:32 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-10-09 08:12:34 +0200 | dontdieych | (~dontdieyc@132.226.169.184) (Ping timeout: 244 seconds) |
| 2025-10-09 08:13:52 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-10-09 08:15:20 +0200 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-10-09 08:15:34 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-09 08:15:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-09 08:15:45 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-10-09 08:16:10 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-10-09 08:17:15 +0200 | fired_ | (~la@173-255-196-82.ip.linodeusercontent.com) |
| 2025-10-09 08:17:39 +0200 | fired | (la@2600:3c00::f03c:92ff:fee3:aace) (Ping timeout: 260 seconds) |
| 2025-10-09 08:17:48 +0200 | fired_ | fired |
| 2025-10-09 08:18:06 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 252 seconds) |
| 2025-10-09 08:19:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-09 08:20:40 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 08:21:34 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-09 08:25:28 +0200 | trickard_ | trickard |
| 2025-10-09 08:26:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 08:26:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-09 08:26:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-09 08:26:45 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-09 08:26:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-09 08:27:01 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-09 08:27:19 +0200 | michalz_ | (~michalz@185.246.207.217) |
| 2025-10-09 08:28:18 +0200 | annamalai | (~annamalai@157.32.202.67) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | mange | (~mange@user/mange) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | kimiamania99 | (~92460e22@user/kimiamania) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | trampi | (~trampi@mx.trampusch.info) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:18 +0200 | keinbock | (~pepsi@129.80.237.116) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:23 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:23 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:23 +0200 | FANTOM | (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-09 08:28:52 +0200 | fired | (la@2600:3c00::f03c:92ff:fee3:aace) |
| 2025-10-09 08:29:17 +0200 | keinbock | (~pepsi@129.80.237.116) LispTyro |
| 2025-10-09 08:29:20 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-10-09 08:30:49 +0200 | annamalai | (~annamalai@2409:4042:4cb7:e799::9e8a:bd0a) annamalai |
| 2025-10-09 08:30:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 08:31:55 +0200 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-10-09 08:35:07 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-10-09 08:35:20 +0200 | FANTOM | (~fantom@87.75.184.126) |
| 2025-10-09 08:36:02 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-09 08:36:15 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 250 seconds) |
| 2025-10-09 08:39:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-09 08:41:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 08:42:12 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Quit: peterbecich) |
| 2025-10-09 08:45:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-09 08:45:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-09 08:46:10 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 08:46:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-09 08:47:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-09 08:47:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-09 08:55:34 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 08:56:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 08:56:48 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 08:56:56 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-10-09 08:59:33 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-09 09:00:02 +0200 | caconym747879 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-09 09:00:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-09 09:00:44 +0200 | caconym747879 | (~caconym@user/caconym) caconym |
| 2025-10-09 09:01:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 09:06:33 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-09 09:06:37 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-09 09:07:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-09 09:08:20 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 09:09:32 +0200 | srazkvt | (~sarah@user/srazkvt) (Client Quit) |
| 2025-10-09 09:11:44 +0200 | annamalai | (~annamalai@2409:4042:4cb7:e799::9e8a:bd0a) (Ping timeout: 256 seconds) |
| 2025-10-09 09:12:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-09 09:14:49 +0200 | annamalai | (~annamalai@2409:4042:4cb7:e799::9e8a:bd0a) annamalai |
| 2025-10-09 09:16:47 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 09:18:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-09 09:23:58 +0200 | <tomsmeding> | :D |
| 2025-10-09 09:24:08 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 09:35:47 +0200 | synchrom1 | (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) (Read error: Connection reset by peer) |
| 2025-10-09 09:36:13 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) synchromesh |
| 2025-10-09 09:39:30 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-09 09:39:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:20e8:609d:321c:1b27) |
| 2025-10-09 09:39:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:20e8:609d:321c:1b27) (Changing host) |
| 2025-10-09 09:39:37 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-09 09:40:25 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-09 09:43:29 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 09:47:07 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 2025-10-09 09:48:01 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2025-10-09 09:50:44 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 244 seconds) |
| 2025-10-09 09:51:02 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-10-09 09:55:04 +0200 | Googulator87 | Googulator |
| 2025-10-09 10:02:16 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 10:02:30 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 10:03:01 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 10:06:39 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-09 10:09:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 10:11:43 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 265 seconds) |
| 2025-10-09 10:12:35 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 10:12:46 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-09 10:13:21 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-09 10:15:41 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 10:15:42 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 10:18:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-10-09 10:21:51 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-10-09 10:23:39 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 10:28:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-09 10:28:36 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-09 10:29:06 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-10-09 10:29:24 +0200 | Googulator51 | Googulator |
| 2025-10-09 10:30:52 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 10:34:03 +0200 | acidjnk | (~acidjnk@p200300d6e7171986c04f1adcf50f27d3.dip0.t-ipconnect.de) acidjnk |
| 2025-10-09 10:35:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-09 10:36:30 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Quit: fp) |
| 2025-10-09 10:37:42 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-09 10:39:34 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 10:40:59 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2025-10-09 10:44:22 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 10:44:38 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 10:45:40 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-09 10:45:43 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 10:45:49 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds) |
| 2025-10-09 10:51:04 +0200 | hsw | (~hsw@112.104.9.97) hsw |
| 2025-10-09 10:58:04 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 10:58:58 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 10:59:12 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 10:59:56 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-10-09 11:01:50 +0200 | cyphase | (~cyphase@user/cyphase) (Max SendQ exceeded) |
| 2025-10-09 11:02:22 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-09 11:02:52 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-09 11:03:22 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 11:05:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-09 11:06:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-09 11:06:18 +0200 | bgg | (~bgg@2a01:e0a:819:1510:a88d:3564:1305:67db) (Remote host closed the connection) |
| 2025-10-09 11:07:30 +0200 | bgg | (~bgg@2a01:e0a:819:1510:ad92:bec8:5c99:95cb) |
| 2025-10-09 11:08:56 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 11:13:11 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-10-09 11:13:18 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-09 11:14:23 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 11:14:25 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds) |
| 2025-10-09 11:15:38 +0200 | Googulator42 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 11:15:44 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 11:20:53 +0200 | YawnyYak | (~YawnyYak@185.209.196.135) YawnyYak |
| 2025-10-09 11:21:19 +0200 | YawnyYak | (~YawnyYak@185.209.196.135) (Client Quit) |
| 2025-10-09 11:21:53 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 11:22:45 +0200 | rvalue- | rvalue |
| 2025-10-09 11:27:49 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 11:38:49 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2025-10-09 11:38:55 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-09 11:41:14 +0200 | fp1 | fp |
| 2025-10-09 11:47:39 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 11:56:01 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-09 11:56:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-09 12:09:06 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 12:17:35 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 12:19:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-09 12:19:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-09 12:20:14 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 12:20:28 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 12:21:01 +0200 | trickard_ | trickard |
| 2025-10-09 12:21:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-10-09 12:24:08 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-10-09 12:33:27 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-09 12:33:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 12:34:53 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-09 12:35:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-09 12:35:12 +0200 | craunts79533 | (~craunts@136.158.7.194) |
| 2025-10-09 12:38:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-10-09 12:40:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-09 12:45:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 12:49:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-09 12:50:20 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-09 12:52:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-09 13:00:02 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 13:00:04 +0200 | caconym747879 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-09 13:00:15 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 13:00:55 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-09 13:02:07 +0200 | caconym747879 | (~caconym@user/caconym) caconym |
| 2025-10-09 13:04:01 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 13:04:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-09 13:04:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-09 13:12:14 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-10-09 13:12:28 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 13:25:43 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 13:25:43 +0200 | Googulator42 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 13:30:21 +0200 | <yin> | I got excited but understood nothing |
| 2025-10-09 13:35:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-10-09 13:35:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-09 13:37:36 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-09 13:39:34 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-09 13:39:49 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-09 13:45:33 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-10-09 13:46:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-10-09 13:54:53 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-09 13:55:18 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-09 14:00:46 +0200 | Googulator34 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 14:00:46 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 14:04:12 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-10-09 14:05:48 +0200 | fp | (~Thunderbi@wireless-86-50-140-195.open.aalto.fi) fp |
| 2025-10-09 14:06:48 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-10-09 14:07:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-10-09 14:07:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-09 14:10:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-09 14:18:47 +0200 | <tomsmeding> | I think that was the intent |
| 2025-10-09 14:18:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-09 14:19:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 14:25:49 +0200 | Googulator34 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 14:25:52 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 14:28:08 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-09 14:28:32 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-09 14:28:38 +0200 | fp | (~Thunderbi@wireless-86-50-140-195.open.aalto.fi) (Remote host closed the connection) |
| 2025-10-09 14:33:58 +0200 | Googulator8 | Googulator |
| 2025-10-09 14:45:29 +0200 | trickard_ | trickard |
| 2025-10-09 14:45:29 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 14:45:40 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 14:54:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:71b0:f5ba:82dd:7e7f) |
| 2025-10-09 14:55:37 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-10-09 14:56:12 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-10-09 14:56:19 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-09 14:56:47 +0200 | shapr | (~user@130.44.148.32) shapr |
| 2025-10-09 15:00:06 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-09 15:00:36 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 15:00:39 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 15:00:40 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 15:00:49 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 15:01:17 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 15:02:23 +0200 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-10-09 15:02:36 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-10-09 15:03:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-10-09 15:05:06 +0200 | hellwolf | (~user@2c57-5130-89c5-1c8e-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2025-10-09 15:10:23 +0200 | hellwolf | (~user@78fb-20dc-c388-7329-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-10-09 15:18:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-09 15:19:14 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-09 15:22:20 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-09 15:26:37 +0200 | markasoftware | (~quassel@2604:180:f2::217) (Ping timeout: 250 seconds) |
| 2025-10-09 15:26:59 +0200 | hololeap | (~quassel@user/hololeap) (Ping timeout: 260 seconds) |
| 2025-10-09 15:28:05 +0200 | markasoftware | (~quassel@107.161.26.124) markasoftware |
| 2025-10-09 15:29:34 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
| 2025-10-09 15:30:41 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 15:30:44 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 15:39:17 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 15:39:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-09 15:39:30 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 15:41:52 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-09 15:46:16 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-09 15:46:51 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-09 15:53:43 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-10-09 15:55:29 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-09 15:59:00 +0200 | Googulator82 | Googulator |
| 2025-10-09 15:59:10 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-09 15:59:15 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 15:59:37 +0200 | trickard_ | trickard |
| 2025-10-09 15:59:39 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-09 16:00:51 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 16:10:13 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-09 16:13:50 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 16:20:14 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-09 16:29:12 +0200 | inline | (~inline@2a02:8071:57a1:dc0:284f:e148:3928:c0cb) Inline |
| 2025-10-09 16:30:47 +0200 | <haskellbridge> | <Morj> Guys can you imagine I met Vitaly Bragilevsky at a conf today |
| 2025-10-09 16:34:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-09 16:38:06 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-09 16:42:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-09 16:42:40 +0200 | [exa] | googles vitaly bragilevsky |
| 2025-10-09 16:43:32 +0200 | <[exa]> | google returns no conclusion |
| 2025-10-09 16:43:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 16:47:28 +0200 | inline | (~inline@2a02:8071:57a1:dc0:284f:e148:3928:c0cb) (Ping timeout: 260 seconds) |
| 2025-10-09 16:48:17 +0200 | <haskellbridge> | <Morj> The author of «haskell in depth» book |
| 2025-10-09 16:48:54 +0200 | <haskellbridge> | <Morj> More well known for appearing on normie shows and podcasts and advocating for mathematical thinking and functional programming |
| 2025-10-09 16:55:07 +0200 | inline | (~inline@2a02:8071:57a1:dc0:284f:e148:3928:c0cb) Inline |
| 2025-10-09 16:56:55 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 240 seconds) |
| 2025-10-09 17:03:32 +0200 | <Hecate> | nice, Morj |
| 2025-10-09 17:06:09 +0200 | annamalai | (~annamalai@2409:4042:4cb7:e799::9e8a:bd0a) (Ping timeout: 260 seconds) |
| 2025-10-09 17:10:53 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 17:11:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-09 17:14:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-09 17:18:49 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-09 17:18:51 +0200 | inline | (~inline@2a02:8071:57a1:dc0:284f:e148:3928:c0cb) (Ping timeout: 250 seconds) |
| 2025-10-09 17:20:42 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 17:20:44 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 17:21:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-10-09 17:27:40 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-09 17:31:50 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 17:32:03 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 17:34:19 +0200 | n0den1te | (~n0den1te@42.111.145.186) n0den1te |
| 2025-10-09 17:35:49 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 17:35:50 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 17:36:15 +0200 | annamalai | (~annamalai@157.32.206.85) annamalai |
| 2025-10-09 17:36:37 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 264 seconds) |
| 2025-10-09 17:37:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-09 17:41:48 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 17:43:50 +0200 | n0den1te | (~n0den1te@42.111.145.186) (Read error: Connection reset by peer) |
| 2025-10-09 17:46:11 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-09 17:50:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-09 17:51:55 +0200 | annamalai | (~annamalai@157.32.206.85) (Remote host closed the connection) |
| 2025-10-09 17:52:14 +0200 | annamalai | (~annamalai@157.32.206.85) annamalai |
| 2025-10-09 17:52:14 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) (Read error: Connection reset by peer) |
| 2025-10-09 17:53:54 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) synchromesh |
| 2025-10-09 17:54:29 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-09 17:56:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-09 17:56:59 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 250 seconds) |
| 2025-10-09 17:57:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-09 18:00:41 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 18:00:42 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 18:06:19 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 18:07:06 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-09 18:09:21 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-10-09 18:10:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-09 18:11:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-09 18:12:03 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-09 18:12:48 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-09 18:15:59 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 18:16:13 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 18:17:40 +0200 | inline | (~inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) Inline |
| 2025-10-09 18:19:03 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-09 18:19:19 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 240 seconds) |
| 2025-10-09 18:26:52 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-09 18:27:42 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-09 18:30:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-09 18:30:40 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 18:30:43 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 18:33:17 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-09 18:33:29 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-10-09 18:38:45 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-09 18:43:38 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 18:43:52 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 18:47:16 +0200 | ulysses4ever | (~artem@2601:249:4380:2400:1772:84b0:3058:898) |
| 2025-10-09 18:52:17 +0200 | gustrb | (~gustrb@191.243.134.87) (Remote host closed the connection) |
| 2025-10-09 18:53:00 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-09 18:55:35 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-09 18:59:19 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-10-09 19:02:13 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-10-09 19:11:19 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-09 19:11:45 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-10-09 19:11:48 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 19:15:34 +0200 | <dminuoso> | yin: Type tetris is not a well defined term, but usually refers to some act where you shuffle/turn things until they type check, much like you would rotate pieces in tetris until they fit. |
| 2025-10-09 19:15:44 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 19:15:44 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 19:16:24 +0200 | <dminuoso> | Some people use them in different cases, but they all usually somehow revolve around making things fit to please the type checker, sometimes (but not always) without even knowing why or how it worked. |
| 2025-10-09 19:16:55 +0200 | <dminuoso> | In some silly sense programming can be a kind of computer game in this way. |
| 2025-10-09 19:17:07 +0200 | <dminuoso> | You win once your program type checks. |
| 2025-10-09 19:17:25 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2025-10-09 19:19:06 +0200 | <EvanR> | tetris is too hard |
| 2025-10-09 19:19:13 +0200 | <EvanR> | much prefer making types fit |
| 2025-10-09 19:19:46 +0200 | <EvanR> | a master of tetris might feel like he's playing type theory |
| 2025-10-09 19:20:29 +0200 | <dminuoso> | I think it's most notable when you're relatively early in the haskell career (or early into stepping into more complicatedly typed libraries), where you dont really understand what you're doing, but sometimes if it type checks, its more likely to be correct than not. |
| 2025-10-09 19:20:42 +0200 | <APic> | But the epic Alexei Paschitnow brought it to us in the 1984! |
| 2025-10-09 19:22:23 +0200 | <EvanR> | I have noticed that in a complicated but well design library, just getting the types to check without knowing wtf you're doing "somehow works" |
| 2025-10-09 19:23:16 +0200 | <EvanR> | 1984 corresponds to the development of martin-lof type theory |
| 2025-10-09 19:23:23 +0200 | <EvanR> | coincidence? I think not |
| 2025-10-09 19:23:30 +0200 | <dminuoso> | Personally I think it's an indicator of poor documentation or over complication, if the only way for you to interact is to randomly slap things together until they fit. |
| 2025-10-09 19:24:06 +0200 | <EvanR> | for some highly algebraic systems, I do not envy anyone trying to use it or invent it without types |
| 2025-10-09 19:24:13 +0200 | <dminuoso> | Imagine this is how you had to assemble anything, say a model car. |
| 2025-10-09 19:24:29 +0200 | <EvanR> | which is why you see typeless system devolve into the dumbest common denominator "write the rest yourself" |
| 2025-10-09 19:24:33 +0200 | <dminuoso> | Certainly good to waste ones time like puzzling, but I dont think people write Haskell to waste time. |
| 2025-10-09 19:25:10 +0200 | <EvanR> | it really wins when the only sensible ways to combine things is the algebraically correct way |
| 2025-10-09 19:25:24 +0200 | <EvanR> | without types, that's just hazardous |
| 2025-10-09 19:25:30 +0200 | <dminuoso> | EvanR: It's good for robustness, but it shouldn't be the way we guide programmers to the conclusion. |
| 2025-10-09 19:25:55 +0200 | <dminuoso> | Imagine Airbus had their engineers assemble helicopters this way. |
| 2025-10-09 19:26:01 +0200 | <dminuoso> | "Slap things until they fit, it will be alright" |
| 2025-10-09 19:26:04 +0200 | <EvanR> | whether any of this is actually good for programming might just reflect what we think programming even is |
| 2025-10-09 19:26:15 +0200 | <dminuoso> | Even *if* it worked, it would be horrible in terms of efficiency. |
| 2025-10-09 19:26:34 +0200 | <EvanR> | is it writing a random script to get some job done as fast as possible, or is it proving a theorem in a way that a computer could check it |
| 2025-10-09 19:26:49 +0200 | <EvanR> | or many other scenarios |
| 2025-10-09 19:27:19 +0200 | dyno | (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 19:27:25 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 2025-10-09 19:29:57 +0200 | <dminuoso> | Here's a fun set of interfaces: |
| 2025-10-09 19:30:22 +0200 | <dminuoso> | f1 :: T r r -> T r' r; f2 :: ((a -> r) -> T r r) -> T r a |
| 2025-10-09 19:30:59 +0200 | <dminuoso> | Now the type signatures pretty much tell you all there is to know. It's a terribly confusing API. |
| 2025-10-09 19:32:23 +0200 | <dminuoso> | Now `T ~ Cont` of course. |
| 2025-10-09 19:33:28 +0200 | <EvanR> | it doens't seem that confusing |
| 2025-10-09 19:33:47 +0200 | <EvanR> | this mistakes one letter variable names with "intrinsically confusing" |
| 2025-10-09 19:34:00 +0200 | <EvanR> | science and math works using them regardless |
| 2025-10-09 19:34:22 +0200 | <shapr> | @quote |
| 2025-10-09 19:34:22 +0200 | <lambdabot> | mueval-core says: <lambdabot> mueval-core: Time limit exceeded <mueval-core> lambdabot: stfu |
| 2025-10-09 19:34:25 +0200 | <EvanR> | if someone doesn't know the subject matter then yeah they might be confused, personally |
| 2025-10-09 19:34:28 +0200 | <shapr> | ow, burn |
| 2025-10-09 19:34:55 +0200 | <tomsmeding> | lol shapr |
| 2025-10-09 19:34:59 +0200 | <dminuoso> | EvanR: Dunno, I find the interface (and all of the resulting program structure) of delimited continuations pure confusion. |
| 2025-10-09 19:35:02 +0200 | <shapr> | howdy tomsmeding, how's code? |
| 2025-10-09 19:35:08 +0200 | <EvanR> | I can't argue with that |
| 2025-10-09 19:35:26 +0200 | <shapr> | I've been playing with the TUI graph library granite, having fun recreating the graphs from Thinking in Systems by Donella Meadows |
| 2025-10-09 19:35:27 +0200 | <tomsmeding> | code is okay, phd thesis is also okay |
| 2025-10-09 19:35:38 +0200 | <shapr> | oh nice, self education |
| 2025-10-09 19:35:39 +0200 | <tomsmeding> | the latter will be handed in somewhere the coming few months |
| 2025-10-09 19:35:44 +0200 | <shapr> | w00! what did you write about? |
| 2025-10-09 19:35:49 +0200 | <tomsmeding> | automatic differentiation! |
| 2025-10-09 19:35:53 +0200 | <[exa]> | oh cool |
| 2025-10-09 19:36:07 +0200 | <shapr> | nice! any papers I can read? |
| 2025-10-09 19:36:08 +0200 | tomsmeding | looks up granite |
| 2025-10-09 19:36:22 +0200 | <shapr> | I'm doing this kind of thing: https://github.com/mchav/granite?tab=readme-ov-file#line-graph |
| 2025-10-09 19:36:34 +0200 | <tomsmeding> | oh that thing, didn't that appear in the HWN at some point? |
| 2025-10-09 19:36:41 +0200 | <tomsmeding> | yeah that's snazzy |
| 2025-10-09 19:36:49 +0200 | <dminuoso> | Even with plain continuations with things like callCC it gets rather confusing. In C-world something like setjmp/longjmp is just far easier to conceptualize, and it feels easier when reading programs. |
| 2025-10-09 19:37:03 +0200 | <shapr> | I dunno, I just found it last week or so |
| 2025-10-09 19:37:06 +0200 | <dminuoso> | Just because you can express it with a function does not mean its the best of ideas. :-) |
| 2025-10-09 19:37:24 +0200 | <[exa]> | granite was somewhat popular on discourse recently no? |
| 2025-10-09 19:37:45 +0200 | <EvanR> | yes "everything is a function" is as dumb as "everything's an object" |
| 2025-10-09 19:37:58 +0200 | <EvanR> | or everything is a set |
| 2025-10-09 19:38:04 +0200 | <[exa]> | EvanR: ENTITY. |
| 2025-10-09 19:38:05 +0200 | <dminuoso> | The "everything is an object" at least is introspectable easily. |
| 2025-10-09 19:38:21 +0200 | <tomsmeding> | shapr: I'll do you a better one, here is an extremely-hot-off-the-press current draft of the entire bloody thing https://tomsmeding.com/vang/EZ5CNw/thesis-2025-10-09.pdf |
| 2025-10-09 19:38:26 +0200 | <shapr> | w00! |
| 2025-10-09 19:38:35 +0200 | <EvanR> | is it |
| 2025-10-09 19:38:45 +0200 | <EvanR> | then introspect functions, which are objects, because everything is |
| 2025-10-09 19:39:04 +0200 | <EvanR> | actually you can do this in idris, or at least you used to |
| 2025-10-09 19:39:07 +0200 | <tomsmeding> | shapr: warning: it's long lol |
| 2025-10-09 19:39:34 +0200 | <[exa]> | tomsmeding: man that's LOONG |
| 2025-10-09 19:39:38 +0200 | <shapr> | tomsmeding: I think you gotta `unset SOURCE_DATE_EPOCH` |
| 2025-10-09 19:39:53 +0200 | <tomsmeding> | [exa]: it is, send help |
| 2025-10-09 19:39:57 +0200 | <tomsmeding> | shapr: hm? |
| 2025-10-09 19:40:16 +0200 | <shapr> | mind you, my Dutch is terrible, is "geboren op 21 februari 1998" supposed to be the date you built the document? |
| 2025-10-09 19:40:16 +0200 | <tomsmeding> | [exa]: note that this is B5 paper size, not A4 |
| 2025-10-09 19:40:25 +0200 | <tomsmeding> | shapr: "geboren" means "born" |
| 2025-10-09 19:40:28 +0200 | <tomsmeding> | ;) |
| 2025-10-09 19:40:34 +0200 | <shapr> | jaså, tack! |
| 2025-10-09 19:40:37 +0200 | jgart | whereiseveryone |
| 2025-10-09 19:40:38 +0200 | <[exa]> | tomsmeding: you can't do the paperclip thesis? (you submit papers and write a <50pp commentary on the story behind) |
| 2025-10-09 19:40:54 +0200 | <shapr> | maybe my Dutch will improve next year, it's my hope to end up in that country. |
| 2025-10-09 19:41:08 +0200 | <tomsmeding> | [exa]: it was an option, but neiter me nor my supervisors preferred that |
| 2025-10-09 19:41:21 +0200 | <tomsmeding> | if this was to be an actual consistent book there'd be a whole lot more to be done |
| 2025-10-09 19:41:41 +0200 | <tomsmeding> | as it is there's some content duplication between two papers, some stuff that doesn't really belong, etc. |
| 2025-10-09 19:41:46 +0200 | <tomsmeding> | it's _mostly_ consistent |
| 2025-10-09 19:41:48 +0200 | <[exa]> | like, this is insane amount of work |
| 2025-10-09 19:42:04 +0200 | <tomsmeding> | ch. 3, 4 and 6 are copy-pasta from already-written publications though |
| 2025-10-09 19:42:11 +0200 | <[exa]> | you might want to make a self-standing book out of that |
| 2025-10-09 19:42:12 +0200 | <tomsmeding> | ch. 1, 2, 5, 8 are new |
| 2025-10-09 19:42:25 +0200 | <tomsmeding> | shapr: ooh what are you going to do here |
| 2025-10-09 19:42:49 +0200 | <shapr> | escape the USA, mostly |
| 2025-10-09 19:42:59 +0200 | <shapr> | continue being self employed, maybe join a hackerspace? |
| 2025-10-09 19:43:02 +0200 | <tomsmeding> | oh, to people here wanting to learn about automatic differentiation: I recommend section 2.2 in my background |
| 2025-10-09 19:43:17 +0200 | <tomsmeding> | I wrote it as an intro to AD for functional programmers, and I have one good review already |
| 2025-10-09 19:43:24 +0200 | <shapr> | that sounds exciting |
| 2025-10-09 19:43:37 +0200 | <tomsmeding> | shapr: that makes sense |
| 2025-10-09 19:44:04 +0200 | <tomsmeding> | I'm looking for postdocs and it's possible that I'll be leaving the country, but we'll see that after I submit :p |
| 2025-10-09 19:44:12 +0200 | <tomsmeding> | in any case, let me know if you do end up here |
| 2025-10-09 19:44:22 +0200 | <tomsmeding> | it's not a very big country |
| 2025-10-09 19:44:48 +0200 | <tomsmeding> | [exa]: re self-standing book: what I wrote above lol |
| 2025-10-09 19:45:06 +0200 | <tomsmeding> | I'm not sure I want to spend the effort to make this an actual consistent book |
| 2025-10-09 19:45:15 +0200 | <tomsmeding> | enough time went into those papers and the rest already |
| 2025-10-09 19:45:25 +0200 | <[exa]> | ah okay :D |
| 2025-10-09 19:45:34 +0200 | <shapr> | put up the source and solicit improvements? or just go on to the next publication? |
| 2025-10-09 19:46:06 +0200 | <tomsmeding> | the latter in case I continue in academia, neither if I end up outside academia, I guess? |
| 2025-10-09 19:46:20 +0200 | <tomsmeding> | would you like the source to be up? |
| 2025-10-09 19:46:50 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 19:46:53 +0200 | <tomsmeding> | all the code is public; do people really want a bunch of LaTeX too? |
| 2025-10-09 19:46:57 +0200 | <shapr> | hm, I dunno if I'll have time to put up any fixes |
| 2025-10-09 19:46:57 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 19:47:12 +0200 | <shapr> | I'm a big fan of LaTeX, but that's me |
| 2025-10-09 19:47:40 +0200 | <tomsmeding> | I guess you can look at my beautiful Ti kZ code then |
| 2025-10-09 19:47:44 +0200 | <shapr> | yay! |
| 2025-10-09 19:47:50 +0200 | <shapr> | I haven't learned TikZ yet |
| 2025-10-09 19:48:16 +0200 | <tomsmeding> | Fig. 2.4 on page 13 actually uses a loop inside Ti kZ |
| 2025-10-09 19:49:46 +0200 | <shapr> | re the unset comment from earlier, I have to do that to get today's date in my invoices in NixOS |
| 2025-10-09 19:50:19 +0200 | <tomsmeding> | oh _right_ nix |
| 2025-10-09 19:50:23 +0200 | <tomsmeding> | I don't use nix |
| 2025-10-09 19:50:28 +0200 | <shapr> | fair enough |
| 2025-10-09 19:50:32 +0200 | <tomsmeding> | but yeah makes sense |
| 2025-10-09 19:51:13 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2025-10-09 19:51:38 +0200 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2025-10-09 19:53:57 +0200 | <shapr> | I'm guessing EVM is not ethereum virtual machine? |
| 2025-10-09 19:54:14 +0200 | <tomsmeding> | lol no |
| 2025-10-09 19:54:17 +0200 | <tomsmeding> | Environment Vector Monad |
| 2025-10-09 19:54:26 +0200 | <shapr> | Oh, I got my brain eaten by monoidal hashing last week |
| 2025-10-09 19:54:27 +0200 | <tomsmeding> | it's an accumulation state monad |
| 2025-10-09 19:54:32 +0200 | <shapr> | ah thanks |
| 2025-10-09 19:55:19 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-09 19:55:31 +0200 | <tomsmeding> | oh you were looking at the ToC I guess |
| 2025-10-09 19:55:57 +0200 | <shapr> | and I jumped to the EVM code, didn't look like ethereum |
| 2025-10-09 19:56:11 +0200 | <shapr> | It's so nice to be able to click the table of contents and jump to that location |
| 2025-10-09 19:56:12 +0200 | <tomsmeding> | I expect it didn't, no |
| 2025-10-09 19:56:15 +0200 | <tomsmeding> | yes |
| 2025-10-09 19:58:37 +0200 | <tomsmeding> | the little TODOs in the margin are also kind of cute |
| 2025-10-09 19:58:51 +0200 | <shapr> | yeah, got several smiles from them |
| 2025-10-09 19:59:00 +0200 | <tomsmeding> | I switched to that halfway through the process or so, the nice thing is that they don't influence the layout of the text |
| 2025-10-09 19:59:18 +0200 | <tomsmeding> | shapr: which ones made you smile? |
| 2025-10-09 19:59:53 +0200 | <tomsmeding> | the boo part is that those margin notes (\marginpar) don't work in footnotes |
| 2025-10-09 20:00:10 +0200 | <tomsmeding> | spawning a float from inside a float-like thing is apparently too floaty for TeX |
| 2025-10-09 20:00:20 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-09 20:00:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-09 20:03:54 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-09 20:06:15 +0200 | <shapr> | tomsmeding: "whatever fash CHAD ends up achieving" was the first smile |