| 2026-03-03 00:01:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-03 00:04:41 +0100 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-03-03 00:07:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f8aa:9656:36aa:e9bc) (Quit: xff0x) |
| 2026-03-03 00:08:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2026-03-03 00:12:16 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-03 00:12:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 00:13:44 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f8aa:9656:36aa:e9bc) |
| 2026-03-03 00:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 00:23:06 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 255 seconds) |
| 2026-03-03 00:23:15 +0100 | jeremyn | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-03 00:25:23 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-03-03 00:26:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-03 00:26:51 +0100 | yin | (~zero@user/zero) (Ping timeout: 246 seconds) |
| 2026-03-03 00:27:42 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-03 00:28:37 +0100 | jeremyn | (~jeremy@user/jeremyn) (Ping timeout: 268 seconds) |
| 2026-03-03 00:28:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 00:30:34 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: connection reset by purr) |
| 2026-03-03 00:31:32 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-03-03 00:33:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-03 00:35:03 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-03 00:35:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-03 00:44:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 00:45:55 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-03-03 00:48:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-03 00:49:06 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 248 seconds) |
| 2026-03-03 00:51:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-03 00:51:58 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-03 00:52:39 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 00:55:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 00:56:07 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-03-03 00:59:53 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-03 00:59:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-03 01:04:05 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2026-03-03 01:06:13 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 272 seconds) |
| 2026-03-03 01:10:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 01:14:44 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-03 01:14:59 +0100 | pavonia_ | (~user@user/siracusa) siracusa |
| 2026-03-03 01:15:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-03 01:15:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 01:16:31 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 264 seconds) |
| 2026-03-03 01:17:07 +0100 | pavonia_ | pavonia |
| 2026-03-03 01:17:49 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-03 01:18:53 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-03 01:20:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 01:25:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2026-03-03 01:26:20 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-03 01:30:26 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-03-03 01:30:46 +0100 | tmu | (~tmu@user/tccq) tccq |
| 2026-03-03 01:31:03 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-03-03 01:40:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 01:45:29 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-03 01:46:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-03 01:52:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-03-03 01:53:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f8aa:9656:36aa:e9bc) (Ping timeout: 268 seconds) |
| 2026-03-03 01:53:18 +0100 | yin | (~zero@user/zero) (Ping timeout: 246 seconds) |
| 2026-03-03 01:56:00 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e5876e445e500c43f7e0.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-03 01:56:50 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2026-03-03 01:57:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-03 01:58:05 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-03 01:58:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 02:03:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-03 02:03:10 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-03 02:12:00 +0100 | foul_owl | (~kerry@94.156.149.99) (Ping timeout: 255 seconds) |
| 2026-03-03 02:12:30 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 02:13:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 02:18:19 +0100 | n0w0n | (~john@user/n0w0n) n0w0n |
| 2026-03-03 02:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 02:23:43 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 2026-03-03 02:26:04 +0100 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-03-03 02:26:21 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2026-03-03 02:29:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 02:34:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-03 02:37:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-03 02:39:05 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-03-03 02:45:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 02:48:11 +0100 | loungerry_ | (~loungerry@150.241.86.78) (Changing host) |
| 2026-03-03 02:48:11 +0100 | loungerry_ | (~loungerry@user/loungerry-:45058) loungerry_ |
| 2026-03-03 02:50:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-03 02:56:51 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-03 02:57:40 +0100 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2026-03-03 02:57:58 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b980:6cb2:460b:b3bd:1dce) |
| 2026-03-03 03:01:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 03:06:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 03:11:17 +0100 | n0w0n | (~john@user/n0w0n) (Ping timeout: 252 seconds) |
| 2026-03-03 03:16:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 03:23:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-03 03:24:11 +0100 | rainbyte | (~rainbyte@186.22.19.220) (Read error: Connection reset by peer) |
| 2026-03-03 03:25:33 +0100 | rainbyte | (~rainbyte@186.22.19.220) rainbyte |
| 2026-03-03 03:26:09 +0100 | GCX | (~GCX@71.227.230.155) |
| 2026-03-03 03:34:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 03:39:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 03:50:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 03:55:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-03 04:01:04 +0100 | jmcantrell_ | jmcantrell |
| 2026-03-03 04:06:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 04:10:08 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 04:10:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-03-03 04:10:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 04:11:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 04:21:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 04:22:52 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-03-03 04:26:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 04:34:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 04:39:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-03-03 04:39:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-03 04:39:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 04:41:43 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-03 04:45:31 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-03-03 04:50:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 04:53:02 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2026-03-03 04:53:43 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 2026-03-03 04:53:43 +0100 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 264 seconds) |
| 2026-03-03 04:54:11 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-03 04:55:26 +0100 | barthandelous01 | (barth@triton.blinkenshell.org) barthandelous01 |
| 2026-03-03 04:55:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 05:04:34 +0100 | GCX | (~GCX@71.227.230.155) (Quit: Client closed) |
| 2026-03-03 05:06:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 05:06:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-03-03 05:07:03 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2026-03-03 05:07:30 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (Ping timeout: 256 seconds) |
| 2026-03-03 05:07:44 +0100 | tmu | (~tmu@user/tccq) (Ping timeout: 268 seconds) |
| 2026-03-03 05:10:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 05:12:19 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-03 05:21:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 05:26:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 05:37:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 05:42:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 05:48:30 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 265 seconds) |
| 2026-03-03 05:51:53 +0100 | crazazy | (crazazy@tilde.town) (Ping timeout: 252 seconds) |
| 2026-03-03 05:52:59 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 252 seconds) |
| 2026-03-03 05:53:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 05:58:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 05:58:53 +0100 | crazazy | (~crazazy@tilde.town) crazazy |
| 2026-03-03 06:06:36 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-03 06:08:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 06:13:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-03 06:16:59 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2026-03-03 06:29:24 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-03 06:30:01 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-03 06:31:39 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-03 06:35:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 06:36:15 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-03 06:40:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 06:42:07 +0100 | aaronv | (~aaron@2601:602:8d00:c320:9b36:b3e0:6a50:bb79) |
| 2026-03-03 06:46:47 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-03 06:47:05 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-03 06:47:42 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-03 06:50:38 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 06:51:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 06:53:09 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-03-03 06:53:34 +0100 | n0w0n | Guest8314 |
| 2026-03-03 06:56:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-03 07:07:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 07:07:39 +0100 | Guest8314 | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2026-03-03 07:11:30 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-03 07:12:10 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-03 07:13:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 07:14:49 +0100 | aaronv | (~aaron@2601:602:8d00:c320:9b36:b3e0:6a50:bb79) (Ping timeout: 272 seconds) |
| 2026-03-03 07:17:23 +0100 | aaronv | (~aaron@2601:602:8d00:c320:3d62:d6c1:74fd:69bc) |
| 2026-03-03 07:22:10 +0100 | aaronv | (~aaron@2601:602:8d00:c320:3d62:d6c1:74fd:69bc) (Ping timeout: 248 seconds) |
| 2026-03-03 07:23:50 +0100 | aaronv | (~aaron@2601:602:8d00:c320:f0e7:60e2:ac41:e5bb) |
| 2026-03-03 07:24:35 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-03 07:25:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 07:30:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-03 07:35:01 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-03 07:35:18 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-03 07:36:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 07:41:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 07:52:26 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-03 07:53:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-03 08:02:26 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-03-03 08:02:49 +0100 | n0w0n | Guest3565 |
| 2026-03-03 08:04:18 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-03-03 08:04:33 +0100 | emperori | (~emperori@223.187.124.245) |
| 2026-03-03 08:05:41 +0100 | u0_a2162 | (~molidae@223.187.124.245) |
| 2026-03-03 08:07:21 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-03 08:07:23 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-03 08:07:25 +0100 | emperori | (~emperori@223.187.124.245) (Remote host closed the connection) |
| 2026-03-03 08:09:38 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-03 08:15:55 +0100 | Guest3565 | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2026-03-03 08:17:40 +0100 | u0_a2162 | (~molidae@223.187.124.245) (Ping timeout: 245 seconds) |
| 2026-03-03 08:19:40 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-03 08:25:38 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 248 seconds) |
| 2026-03-03 08:25:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-03-03 08:26:14 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 08:29:15 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-03-03 08:32:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2026-03-03 08:33:55 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-03-03 08:34:14 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-03 08:39:27 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-03-03 08:42:02 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-03-03 08:46:15 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-03 08:47:31 +0100 | img | (~img@user/img) img |
| 2026-03-03 08:52:05 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-03 08:53:18 +0100 | aaronv | (~aaron@2601:602:8d00:c320:f0e7:60e2:ac41:e5bb) (Ping timeout: 246 seconds) |
| 2026-03-03 08:55:50 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-03 09:13:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-03 09:14:09 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-03-03 09:24:19 +0100 | Digitteknohippie | Digit |
| 2026-03-03 09:24:53 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-03 09:32:16 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-03 09:32:23 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-03 09:38:28 +0100 | u0_a216 | (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) |
| 2026-03-03 09:41:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2026-03-03 09:45:29 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-03 09:49:38 +0100 | akegalj | (~akegalj@78-1-128-213.adsl.net.t-com.hr) akegalj |
| 2026-03-03 09:53:55 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-03 09:54:54 +0100 | <[exa]> | do we have some good ELF writer package? (kinda like this but somewhat more complete and production-ready https://hackage.haskell.org/package/elf ) |
| 2026-03-03 10:00:05 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e58704b76465b5b58d34.dip0.t-ipconnect.de) acidjnk |
| 2026-03-03 10:01:19 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-03 10:11:40 +0100 | <dminuoso> | Out of curiosity: What does "production-ready" even mean? |
| 2026-03-03 10:13:49 +0100 | <dminuoso> | Relevant anecdotehttps://www.reddit.com/r/emacs/comments/lly7po/comment/gnvzisy/ |
| 2026-03-03 10:13:52 +0100 | <dminuoso> | Oh. https://www.reddit.com/r/emacs/comments/lly7po/comment/gnvzisy/ |
| 2026-03-03 10:14:03 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 2026-03-03 10:14:31 +0100 | <dminuoso> | That was strange, seems like a buffer rendering bug - there was defintitely a space between the URL and `anecdote` before I sent it. Must be that production-ready input buffer code. :-) |
| 2026-03-03 10:21:48 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-03-03 10:35:30 +0100 | skum | (~skum@user/skum) skum |
| 2026-03-03 10:43:09 +0100 | fp | (~Thunderbi@130.233.70.80) fp |
| 2026-03-03 10:47:47 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2026-03-03 10:48:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-03 11:04:06 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-03 11:06:24 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2026-03-03 11:07:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-03-03 11:19:19 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2026-03-03 11:21:27 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2026-03-03 11:27:05 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-03-03 11:27:15 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-03 11:29:43 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-03-03 11:29:43 +0100 | divlamir_ | divlamir |
| 2026-03-03 11:36:15 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2026-03-03 11:36:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 2026-03-03 11:44:37 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-03 11:50:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-03 11:59:17 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2026-03-03 12:02:37 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) |
| 2026-03-03 12:05:45 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e58704b76465b5b58d34.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-03-03 12:11:37 +0100 | u0_a216 | (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) (Ping timeout: 268 seconds) |
| 2026-03-03 12:11:57 +0100 | u0_a216 | (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) |
| 2026-03-03 12:14:10 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 2026-03-03 12:14:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2026-03-03 12:15:06 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-03-03 12:15:31 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-03 12:15:39 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2026-03-03 12:16:10 +0100 | xff0x | (~xff0x@ai084147.d.east.v6connect.net) |
| 2026-03-03 12:16:38 +0100 | u0_a2162 | (~molidae@223.187.122.195) |
| 2026-03-03 12:16:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-03 12:19:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-03-03 12:19:58 +0100 | u0_a2162 | (~molidae@223.187.122.195) (Read error: Connection reset by peer) |
| 2026-03-03 12:20:09 +0100 | u0_a216 | (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) (Ping timeout: 246 seconds) |
| 2026-03-03 12:21:27 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-03 12:22:55 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-03 12:30:15 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2026-03-03 12:30:35 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2026-03-03 12:31:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-03 12:41:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 12:49:54 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 256 seconds) |
| 2026-03-03 12:55:48 +0100 | u0_a216 | (~molidae@2401:4900:628f:90b4:f04f:39fd:d52a:6874) |
| 2026-03-03 12:56:25 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-03 13:01:40 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-03 13:01:52 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-03-03 13:04:02 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-03-03 13:05:43 +0100 | akegalj | (~akegalj@78-1-128-213.adsl.net.t-com.hr) (Ping timeout: 264 seconds) |
| 2026-03-03 13:06:16 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-03-03 13:08:42 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-03 13:12:02 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-03 13:14:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-03 13:14:35 +0100 | kuribas | (~user@2a02-1810-2825-6000-bb30-9cd7-63c4-2064.ip6.access.telenet.be) kuribas |
| 2026-03-03 13:22:08 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-03 13:22:33 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-03 13:26:34 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-03 13:26:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-03-03 13:28:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 13:37:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-03-03 13:41:43 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-03-03 13:43:34 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-03 13:49:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-03 13:58:16 +0100 | <fp> | Not exactly Haskell, but does anyone know a way to get a LUCID dev environment running? I downloaded some source for pLUCID which builds after some adjustment, but instantly segfaults when you try to run the shipped examples. Alternately, if there are other systems for learning about dataflow programming languages in 2026, I'd love to hear about them |
| 2026-03-03 14:00:04 +0100 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-03-03 14:00:30 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2026-03-03 14:07:00 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-03-03 14:25:26 +0100 | AlexNoo | (~AlexNoo@94.233.241.37) |
| 2026-03-03 14:26:42 +0100 | Alex_delenda_est | (~al_test@94.233.241.37) |
| 2026-03-03 14:38:10 +0100 | akegalj | (~akegalj@78-1-128-213.adsl.net.t-com.hr) |
| 2026-03-03 14:43:30 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-03 14:47:28 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-03-03 14:47:54 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) acidjnk |
| 2026-03-03 14:58:55 +0100 | fp | (~Thunderbi@130.233.70.80) (Ping timeout: 245 seconds) |
| 2026-03-03 15:03:39 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-03 15:10:10 +0100 | stef204 | (~stef204@user/stef204) stef204 |
| 2026-03-03 15:10:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-03-03 15:12:49 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2026-03-03 15:13:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-03 15:13:24 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-03 15:17:07 +0100 | Guest88 | (~Guest88@45.152.20.171) |
| 2026-03-03 15:17:46 +0100 | Guest88 | (~Guest88@45.152.20.171) (Client Quit) |
| 2026-03-03 15:25:49 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 2026-03-03 15:26:35 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-03 15:27:10 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-03 15:31:25 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 268 seconds) |
| 2026-03-03 15:33:43 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 15:36:33 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-03 15:37:21 +0100 | u0_a216 | (~molidae@2401:4900:628f:90b4:f04f:39fd:d52a:6874) (Ping timeout: 268 seconds) |
| 2026-03-03 15:38:13 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-03 15:39:14 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 248 seconds) |
| 2026-03-03 15:39:42 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 15:41:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-03 15:42:29 +0100 | <gentauro> | > :t putStrLn |
| 2026-03-03 15:42:31 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-03-03 15:42:42 +0100 | <gentauro> | % :t putStrLn |
| 2026-03-03 15:42:42 +0100 | <yahb2> | putStrLn :: String -> IO () |
| 2026-03-03 15:42:58 +0100 | <gentauro> | % putStrLn [ '🍎' ] |
| 2026-03-03 15:42:59 +0100 | <yahb2> | 🍎 |
| 2026-03-03 15:43:04 +0100 | <gentauro> | Hmmm |
| 2026-03-03 15:43:13 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-03-03 15:43:35 +0100 | <gentauro> | why do I get `<stdout>: hPutChar: invalid argument (cannot encode character '\55357'`? |
| 2026-03-03 15:44:14 +0100 | <__monty__> | Is your locale UTF-8? |
| 2026-03-03 15:44:18 +0100 | <gentauro> | I'm setting the encoding to `hSetEncoding stdout utf8`. |
| 2026-03-03 15:45:31 +0100 | <gentauro> | __monty__: it sure is -> https://paste.tomsmeding.com/ZsN4DRUa |
| 2026-03-03 15:46:40 +0100 | <haskellbridge> | <ijouw> Just to be sure, you can use hGetEncoding to double check |
| 2026-03-03 15:46:57 +0100 | <__monty__> | (FYI, you can use en_DK to get sensible dates ; ) ) |
| 2026-03-03 15:47:05 +0100 | <gentauro> | % putStrLn [ '🍎', '🍏' ] |
| 2026-03-03 15:47:05 +0100 | <yahb2> | 🍎🍏 |
| 2026-03-03 15:47:46 +0100 | <gentauro> | ijouw: let me try |
| 2026-03-03 15:50:10 +0100 | <gentauro> | ijouw: `hGetEncoding` -> `Just UTF-8` |
| 2026-03-03 15:50:25 +0100 | <gentauro> | I guess I've set UTF-8 properly in the Haskell app. |
| 2026-03-03 15:51:19 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-03-03 15:51:27 +0100 | <gentauro> | just in case, it's `hSetEncoding {stderr|stdin|stdout} utf8` |
| 2026-03-03 15:51:55 +0100 | <__monty__> | That doesn't look like valid Haskell syntax. |
| 2026-03-03 15:51:56 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 252 seconds) |
| 2026-03-03 15:53:07 +0100 | <gentauro> | __monty__: obviously not. It's to write less ;) |
| 2026-03-03 15:53:23 +0100 | <gentauro> | it's just x3 the same syntas with the following keywords |
| 2026-03-03 15:55:19 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 15:55:32 +0100 | <gentauro> | it's correct to assume that `hSetEncoding` is set globally right? I just need to add it in my `main :: IO ()` right? |
| 2026-03-03 15:59:17 +0100 | <__monty__> | If I `hSetEncoding` to `latin1` I do get the error you got so it looks like it is an encoding problem. |
| 2026-03-03 16:04:37 +0100 | <gentauro> | __monty__: what does your `locale` say? |
| 2026-03-03 16:05:47 +0100 | <__monty__> | s/en_US/en_DK/g; except LC_ALL is empty. |
| 2026-03-03 16:06:53 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-03 16:07:31 +0100 | <__monty__> | Does System.IO.localeEncoding report UTF-8 for you? |
| 2026-03-03 16:09:47 +0100 | <gentauro> | __monty__: yeah: `putStr (show localeEncoding)` -> `UTF-8` |
| 2026-03-03 16:11:05 +0100 | <int-e> | @src print |
| 2026-03-03 16:11:05 +0100 | <lambdabot> | print x = putStrLn (show x) |
| 2026-03-03 16:11:10 +0100 | <gentauro> | I guess even (Elm) Evan ran into something like this (back in 2019): https://discourse.elm-lang.org/t/help-improve-unicode-support-on-windows/3366 |
| 2026-03-03 16:11:18 +0100 | <gentauro> | but, I'm not on a windows device … |
| 2026-03-03 16:12:08 +0100 | <__monty__> | Can you reproduce the same behavior in GHCi? |
| 2026-03-03 16:12:53 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-03-03 16:14:49 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-03 16:15:43 +0100 | <gentauro> | __monty__: Nope. That seem to work |
| 2026-03-03 16:15:47 +0100 | <gentauro> | kind of strainge tbh |
| 2026-03-03 16:16:11 +0100 | gentauro | however, I DO run my `ghci` with stack -> `stack ghci` |
| 2026-03-03 16:22:10 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-03 16:34:04 +0100 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-03-03 16:35:14 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-03 16:41:08 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 16:41:56 +0100 | <durstloescher> | hey can someone explain binary trees in haskell to me? |
| 2026-03-03 16:42:24 +0100 | <c_wraith> | How comfortable are you with binary trees in general? |
| 2026-03-03 16:43:28 +0100 | <c_wraith> | (There's nothing particularly special about Haskell for binary trees, at least in the context of immutable data structures.) |
| 2026-03-03 16:44:39 +0100 | <durstloescher> | i know the concept but i'm not comfortable with the use of pattern matching in this topic |
| 2026-03-03 16:45:07 +0100 | <durstloescher> | i don't understand how i can "get" the value and how to proceed with the next node |
| 2026-03-03 16:45:28 +0100 | <durstloescher> | my intuition says i just use (x:xs) but trees are no lists |
| 2026-03-03 16:46:00 +0100 | <c_wraith> | Ah, true. Matching is done against the constructors for the data type. |
| 2026-03-03 16:46:14 +0100 | <c_wraith> | So you should be starting with the data definition, and the constructors within |
| 2026-03-03 16:48:05 +0100 | <c_wraith> | Do you have a specific example to work with, or just exploring the idea more generally? |
| 2026-03-03 16:48:30 +0100 | elainedastolat | (~m@2804:3d14:4b:de00:b20e:16f9:f4d1:21e4) |
| 2026-03-03 16:48:55 +0100 | <haskellbridge> | <ijouw> Yes, (:) is the constructor for lists. You need the one for trees. |
| 2026-03-03 16:48:55 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/myBmmoOKFntttTPQmkgsqoPc/QzDiwyVIkO4 (3 lines) |
| 2026-03-03 16:49:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-03 16:49:49 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 16:51:45 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 246 seconds) |
| 2026-03-03 16:54:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-03-03 16:58:09 +0100 | elainedastolat | (~m@2804:3d14:4b:de00:b20e:16f9:f4d1:21e4) (Quit: Leaving) |
| 2026-03-03 17:01:17 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-03 17:01:45 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-03 17:05:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-03 17:07:41 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 17:09:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2026-03-03 17:14:58 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-03 17:18:47 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-03 17:20:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) |
| 2026-03-03 17:30:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-03 17:35:32 +0100 | <EvanR> | durstloescher, search k1 (Branch k2 v l r) = case compare k1 k2 of {EQ -> v; LT -> search k1 l; GT -> search k2 r} |
| 2026-03-03 17:36:27 +0100 | <EvanR> | (for the case of an infinite tree with all branches) |
| 2026-03-03 17:37:14 +0100 | <EvanR> | the last k2 should be k1 of course, typo! not enough coffee |
| 2026-03-03 17:39:06 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-03 17:39:30 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-03 17:40:31 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 264 seconds) |
| 2026-03-03 17:43:04 +0100 | tmu | (~tmu@71.227.230.155) |
| 2026-03-03 17:43:38 +0100 | <gentauro> | durstloescher: I would highly recommend you to read Okasaki Functional Pearl "Red-Black Trees in a Functional Setting" |
| 2026-03-03 17:43:58 +0100 | <gentauro> | I think ACM now is free to read iirc |
| 2026-03-03 17:45:41 +0100 | <durstloescher> | thank you all i'll look into the book and try the provided code snippet <3 |
| 2026-03-03 17:46:03 +0100 | akegalj | (~akegalj@78-1-128-213.adsl.net.t-com.hr) (Quit: leaving) |
| 2026-03-03 17:46:29 +0100 | <gentauro> | durstloescher: here I use it (RB-Tree) for my `Set`. It can easily be used to create `Map` as well (just provide a tuple pair) -> https://paste.tomsmeding.com/K9QzYIJM |
| 2026-03-03 17:47:15 +0100 | <gentauro> | durstloescher: I have provided `insert`. It's up to the reader to implement the `delete` logic for the `RB-Trees` (muahahaha) |
| 2026-03-03 17:47:49 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-03 17:49:52 +0100 | <EvanR> | red black tree is kind of complicated isn't it, or is it sort of educational value for leading up to our "industrial" trees we use in haskell? |
| 2026-03-03 17:55:11 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-03 17:56:32 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 17:59:10 +0100 | <haskellbridge> | <ijouw> Doesn't Set use Red Black trees? |
| 2026-03-03 18:00:17 +0100 | <haskellbridge> | <ijouw> Ah, no. |
| 2026-03-03 18:01:55 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 18:02:16 +0100 | <gentauro> | EvanR: deleting in RB-trees is really really complex |
| 2026-03-03 18:03:39 +0100 | <haskellbridge> | <ijouw> I cannot remember if I ever had to implement deletion. Will try |
| 2026-03-03 18:04:28 +0100 | <c_wraith> | the nice thing about the tree implementation in containers is that balancing is is a fixup pass after a modification that's oblivious to what the modification was. |
| 2026-03-03 18:05:25 +0100 | <c_wraith> | it just checks the ratio of the sizes of the children of a node, and acts if it exceeds its threshold. |
| 2026-03-03 18:06:11 +0100 | <c_wraith> | (the proof that it's correct is complicated, but the algorithm is simple) |
| 2026-03-03 18:06:26 +0100 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 2026-03-03 18:08:05 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 245 seconds) |
| 2026-03-03 18:10:23 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 18:12:52 +0100 | <c_wraith> | I feel relatively competent addressing its balancing algorithm, because it's the same one used in the priority search pennants a couple different libraries used that I ended up spending a lot of time investigating a year ago after my AoC solution to one problem found a balancing error. |
| 2026-03-03 18:13:36 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-03 18:22:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-03 18:23:01 +0100 | <EvanR> | oof |
| 2026-03-03 18:26:52 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-03-03 18:27:15 +0100 | n0w0n | Guest5338 |
| 2026-03-03 18:31:26 +0100 | yin | (~zero@user/zero) (Ping timeout: 252 seconds) |
| 2026-03-03 18:33:45 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 18:38:53 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 268 seconds) |
| 2026-03-03 18:39:55 +0100 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2026-03-03 18:44:22 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 18:48:10 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-03 18:50:08 +0100 | Guest5338 | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2026-03-03 18:51:55 +0100 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2026-03-03 18:52:13 +0100 | u0_a216 | (~molidae@2401:4900:6289:5b82:f04f:39fd:d52a:6874) |
| 2026-03-03 18:53:30 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 18:54:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-03-03 18:55:11 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 18:55:16 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 18:56:24 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-03 18:56:34 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-03-03 18:57:48 +0100 | <c_wraith> | There were actually two bugs in those libraries. One was that they tried to optimize inserting to an empty tree and got the logic wrong so that it didn't balance repeated insertions on the same side. The other was that the paper they were working from misread one of its references and so missed an important part of the balancing algorithm's weight comparisons. |
| 2026-03-03 19:00:47 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 19:05:30 +0100 | <EvanR> | this is why it's better not to look at academic research and reinvent everything from the wheel. No way to know if the paper's right! |
| 2026-03-03 19:05:33 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-03 19:07:16 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-03 19:10:18 +0100 | <c_wraith> | absolutely the best lesson to take from that, yes |
| 2026-03-03 19:10:42 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-03-03 19:11:22 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 19:24:24 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-03 19:26:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-03-03 19:28:04 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-03 19:31:46 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 248 seconds) |
| 2026-03-03 19:32:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) |
| 2026-03-03 19:32:28 +0100 | Square | (~Square@user/square) Square |
| 2026-03-03 19:34:30 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2026-03-03 19:45:35 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 245 seconds) |
| 2026-03-03 19:46:27 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-03 19:49:13 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 19:49:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 19:54:37 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-03 19:57:19 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 2026-03-03 19:59:38 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 20:02:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 20:03:21 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 20:05:35 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2026-03-03 20:08:46 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:159d:62bb:2d29:74f6) |
| 2026-03-03 20:08:46 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:159d:62bb:2d29:74f6) (Changing host) |
| 2026-03-03 20:08:46 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-03 20:12:57 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-03-03 20:13:17 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-03-03 20:14:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 20:15:26 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 20:16:23 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-03 20:17:18 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-03 20:17:32 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-03 20:19:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 20:19:17 +0100 | ajdev | (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) |
| 2026-03-03 20:20:13 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 20:20:24 +0100 | Square | (~Square@user/square) Square |
| 2026-03-03 20:20:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-03-03 20:25:00 +0100 | kuribas | (~user@2a02-1810-2825-6000-bb30-9cd7-63c4-2064.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-03-03 20:25:36 +0100 | u0_a2162 | (~molidae@223.187.121.211) |
| 2026-03-03 20:27:51 +0100 | mc2 | (~mc@user/mc2) mc2 |
| 2026-03-03 20:27:55 +0100 | <mc2> | hello |
| 2026-03-03 20:28:05 +0100 | u0_a216 | (~molidae@2401:4900:6289:5b82:f04f:39fd:d52a:6874) (Ping timeout: 245 seconds) |
| 2026-03-03 20:29:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 20:30:44 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-03 20:31:57 +0100 | Square | (~Square@user/square) Square |
| 2026-03-03 20:32:08 +0100 | <haskellbridge> | <shapr> Hi |
| 2026-03-03 20:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 20:35:49 +0100 | ajdev | atejandev |
| 2026-03-03 20:38:25 +0100 | <monochrom> | I taught data structure courses. A pattern emerges: Delete is complicated for every data structure, including BSTs, open-addressing hash tables, and Bloom filters. |
| 2026-03-03 20:38:54 +0100 | <EvanR> | someone should come up with a datastructure which only has delete |
| 2026-03-03 20:39:42 +0100 | <EvanR> | if it's easy enough it can also double as an insert. Start with a plenum and whatever was deleted counts as inserted |
| 2026-03-03 20:39:51 +0100 | atejandev | (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) (Changing host) |
| 2026-03-03 20:39:51 +0100 | atejandev | (~ajdev@user/atejandev) atejandev |
| 2026-03-03 20:39:56 +0100 | <monochrom> | That data structure is doomed to also support insert trivially. So once again delete is no easier than insert. :) |
| 2026-03-03 20:40:09 +0100 | atejandev | (~ajdev@user/atejandev) (Quit: Konversation terminated!) |
| 2026-03-03 20:40:22 +0100 | <EvanR> | how do you mean doomed to also support insert |
| 2026-03-03 20:41:11 +0100 | <monochrom> | If it only has delete, then it's observationally equivalent to /dev/null, then you can add insert trivially. |
| 2026-03-03 20:42:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 20:44:05 +0100 | <EvanR> | it boils down to what laws if any we expect the operations to follow. and we didn't define any observations so yeah dev null or () |
| 2026-03-03 20:45:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 20:47:18 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-03-03 20:48:23 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-03 20:48:28 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Ping timeout: 240 seconds) |
| 2026-03-03 20:48:30 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-03-03 20:49:11 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 20:50:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 20:51:12 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-03 20:56:02 +0100 | yin | (~zero@user/zero) (Ping timeout: 248 seconds) |
| 2026-03-03 21:00:47 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-03 21:01:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 21:06:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-03 21:06:27 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-03-03 21:06:56 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-03-03 21:09:13 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2026-03-03 21:13:10 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 21:15:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-03 21:15:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-03-03 21:16:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-03 21:17:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 21:18:19 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 2026-03-03 21:22:31 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-03 21:22:55 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-03 21:24:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 21:35:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 21:40:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 21:40:22 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-03 21:45:27 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-03 21:45:31 +0100 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-03-03 21:50:26 +0100 | Digitteknohippie | Digit |
| 2026-03-03 21:51:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 21:54:57 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-03 21:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 21:58:56 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2026-03-03 22:00:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 22:01:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 22:01:33 +0100 | spew | (~spew@user/spew) spew |
| 2026-03-03 22:01:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-03 22:04:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-03 22:04:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 22:05:37 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-03-03 22:06:49 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-03 22:11:18 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-03-03 22:13:31 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-03 22:15:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 22:16:00 +0100 | spew | (~spew@user/spew) (Ping timeout: 245 seconds) |
| 2026-03-03 22:17:12 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-03 22:20:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-03 22:20:56 +0100 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2026-03-03 22:21:03 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2026-03-03 22:25:16 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 22:25:40 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-03-03 22:31:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 22:36:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-03 22:36:32 +0100 | <yin> | if i want to make number literals of a custom type, do i just define the Num instance with fromInteger? |
| 2026-03-03 22:37:28 +0100 | <mauke> | yes |
| 2026-03-03 22:38:38 +0100 | <yin> | and ignore the warning about missing other Num operations |
| 2026-03-03 22:39:38 +0100 | <mauke> | no |
| 2026-03-03 22:39:43 +0100 | <EvanR> | you could imagining at least inheriting the operations on Integer mapped through to your type where defined |
| 2026-03-03 22:40:46 +0100 | <yin> | fair enough |
| 2026-03-03 22:44:31 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 276 seconds) |
| 2026-03-03 22:46:39 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-03 22:47:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 22:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 23:02:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |