2025-07-30 00:00:10 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-07-30 00:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 00:01:30 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
2025-07-30 00:01:54 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-07-30 00:05:11 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 00:05:38 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Server closed connection) |
2025-07-30 00:05:47 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
2025-07-30 00:05:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 00:08:23 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-30 00:10:38 +0200 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) (Server closed connection) |
2025-07-30 00:10:45 +0200 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet |
2025-07-30 00:11:34 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-30 00:16:44 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 252 seconds) |
2025-07-30 00:16:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 00:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-30 00:27:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
2025-07-30 00:28:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-30 00:28:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
2025-07-30 00:30:41 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
2025-07-30 00:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 00:33:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-30 00:33:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
2025-07-30 00:36:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-30 00:40:16 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-07-30 00:44:56 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-07-30 00:47:37 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-07-30 00:47:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 00:47:49 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-30 00:50:56 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
2025-07-30 00:54:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-07-30 00:59:27 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
2025-07-30 00:59:32 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 00:59:33 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 00:59:33 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 00:59:34 +0200 | Square | (~Square@user/square) Square |
2025-07-30 01:03:12 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-07-30 01:03:41 +0200 | sprotte24 | (~sprotte24@p200300d16f2f2e004c797f050bffabfe.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-07-30 01:05:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-07-30 01:05:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-30 01:05:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 01:06:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 01:08:04 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
2025-07-30 01:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-30 01:14:53 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 01:21:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 01:25:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-30 01:27:32 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-30 01:28:36 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 01:28:36 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 01:28:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 01:33:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
2025-07-30 01:36:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 01:41:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-30 01:41:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 01:43:15 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-30 01:43:19 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
2025-07-30 01:46:16 +0200 | spew | (e9e8135d87@user/spew) spew |
2025-07-30 01:51:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 01:54:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-07-30 01:56:42 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-07-30 01:56:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-30 01:57:48 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 01:58:44 +0200 | jespada | (~jespada@2800:a4:2321:ae00:3d94:e932:f9f7:a754) (Ping timeout: 260 seconds) |
2025-07-30 01:59:55 +0200 | jespada | (~jespada@2800:a4:220e:b200:c473:adea:281c:a65c) jespada |
2025-07-30 02:02:06 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
2025-07-30 02:02:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 02:07:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 02:08:26 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
2025-07-30 02:09:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
2025-07-30 02:10:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-07-30 02:11:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-30 02:13:03 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 02:13:16 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 02:15:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 02:17:41 +0200 | trickard_ | trickard |
2025-07-30 02:22:34 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 02:22:34 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 02:22:34 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 02:22:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 02:25:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-30 02:27:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-30 02:28:00 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
2025-07-30 02:30:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 02:30:33 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-07-30 02:33:51 +0200 | acidjnk | (~acidjnk@p200300d6e72d7b44607862084601bf6d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-07-30 02:34:00 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 02:34:02 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
2025-07-30 02:34:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-30 02:36:53 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-07-30 02:45:01 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 02:45:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 02:50:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-30 02:52:16 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-07-30 02:52:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:81c1:adc5:7d10:efff) (Ping timeout: 252 seconds) |
2025-07-30 03:00:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-07-30 03:00:59 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-07-30 03:01:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 03:03:14 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 03:03:14 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 03:03:14 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 03:04:34 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-07-30 03:04:34 +0200 | ChanServ | +v haskellbridge |
2025-07-30 03:05:47 +0200 | <geekosaur> | upgrade complete, we're back in business |
2025-07-30 03:06:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-30 03:08:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
2025-07-30 03:16:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 03:21:15 +0200 | philopso1 | (~caecilius@pool-96-246-242-199.nycmny.fios.verizon.net) (Quit: Lost terminal) |
2025-07-30 03:21:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-30 03:22:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 03:25:15 +0200 | jan_ | (~jankat@syn-066-052-051-079.res.spectrum.com) |
2025-07-30 03:25:35 +0200 | jan_ | (~jankat@syn-066-052-051-079.res.spectrum.com) (Client Quit) |
2025-07-30 03:27:17 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-07-30 03:32:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 03:32:23 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 03:32:23 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 03:32:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 03:36:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-07-30 03:37:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 03:37:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
2025-07-30 03:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-30 03:42:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-07-30 03:48:50 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-07-30 03:50:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 03:52:42 +0200 | ft | (~ft@p508db189.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-07-30 03:52:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 03:54:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 03:58:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
2025-07-30 03:58:35 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 03:59:03 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 04:04:31 +0200 | ft | (~ft@p3e9bcd7f.dip0.t-ipconnect.de) ft |
2025-07-30 04:05:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 04:07:14 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 04:08:45 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 04:08:58 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 04:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 04:12:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 04:16:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 04:16:19 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 04:16:42 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 04:16:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 04:17:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-07-30 04:25:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 04:27:55 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-07-30 04:29:19 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 04:29:20 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 04:29:20 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 04:30:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-30 04:38:40 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 04:38:50 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 04:39:04 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 04:39:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 04:41:22 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-07-30 04:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 04:45:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 04:46:33 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 04:46:40 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-07-30 04:54:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2025-07-30 04:54:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
2025-07-30 04:56:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-07-30 04:56:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 05:01:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-30 05:02:01 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-07-30 05:03:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-07-30 05:08:58 +0200 | bgtdsword | (b968c1779f@user/titibandit) (Server closed connection) |
2025-07-30 05:09:07 +0200 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
2025-07-30 05:09:25 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-07-30 05:10:43 +0200 | img | (~img@user/img) img |
2025-07-30 05:11:57 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 05:11:57 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 05:11:57 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 05:12:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 05:15:49 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
2025-07-30 05:16:25 +0200 | xal | (~xal@mx1.xal.systems) xal |
2025-07-30 05:17:01 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
2025-07-30 05:18:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-30 05:18:53 +0200 | trickard_ | trickard |
2025-07-30 05:27:10 +0200 | kimjetwav | (~user@2607:fea8:25a3:a100:d659:4ee6:e67a:606a) kimjetwav |
2025-07-30 05:30:02 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 05:30:02 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 05:30:02 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 05:30:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 05:31:22 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-07-30 05:32:03 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
2025-07-30 05:35:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-30 05:35:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
2025-07-30 05:39:06 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-07-30 05:40:49 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-30 05:41:00 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-30 05:45:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 05:48:48 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 05:48:48 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 05:48:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 05:49:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2025-07-30 05:49:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 05:54:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-07-30 05:58:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
2025-07-30 05:59:25 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:44e7:4e7f:ba0a:f269) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2025-07-30 05:59:45 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
2025-07-30 06:01:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 06:01:26 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-07-30 06:04:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-07-30 06:05:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-07-30 06:05:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 06:05:50 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 06:05:50 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 06:05:50 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 06:07:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-30 06:08:14 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 06:08:28 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 06:08:43 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 245 seconds) |
2025-07-30 06:11:35 +0200 | trickard_ | trickard |
2025-07-30 06:11:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 06:13:22 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 06:14:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
2025-07-30 06:16:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-30 06:17:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-07-30 06:21:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 06:22:59 +0200 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
2025-07-30 06:23:19 +0200 | califax | (~califax@user/califx) califx |
2025-07-30 06:24:21 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
2025-07-30 06:24:43 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-07-30 06:27:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 06:29:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 06:31:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 06:34:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
2025-07-30 06:38:58 +0200 | JamesMowery1773 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Server closed connection) |
2025-07-30 06:39:23 +0200 | JamesMowery1773 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-07-30 06:42:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 06:47:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-30 06:49:30 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 06:49:30 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 06:49:30 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 06:54:07 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-07-30 06:54:36 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
2025-07-30 06:57:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 07:01:37 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-07-30 07:02:07 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
2025-07-30 07:02:47 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
2025-07-30 07:03:09 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-07-30 07:04:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 07:07:43 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 07:07:44 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 07:07:44 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 07:12:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 07:13:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-07-30 07:17:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-30 07:22:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-07-30 07:26:17 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 07:26:17 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 07:26:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 07:26:55 +0200 | michalz | (~michalz@185.246.207.217) |
2025-07-30 07:27:06 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-30 07:28:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 07:28:23 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-07-30 07:29:41 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-07-30 07:31:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
2025-07-30 07:31:30 +0200 | michalz | (~michalz@185.246.207.217) |
2025-07-30 07:32:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-30 07:34:19 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 07:35:24 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 07:37:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-07-30 07:37:40 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-07-30 07:40:23 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
2025-07-30 07:43:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 07:45:35 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-07-30 07:47:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 07:49:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-30 07:54:52 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 07:54:52 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 07:54:52 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 07:55:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-07-30 07:55:35 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-07-30 07:56:23 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-07-30 07:58:08 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-30 07:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 08:00:49 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
2025-07-30 08:01:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 08:04:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-30 08:11:13 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
2025-07-30 08:13:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 08:17:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-07-30 08:24:37 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 08:29:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 08:29:26 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
2025-07-30 08:31:06 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-07-30 08:36:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-30 08:41:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-07-30 08:47:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 08:48:11 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-07-30 08:51:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-30 08:52:54 +0200 | kuribas | (~user@ptr-17d51en9kylyjiql1lx.18120a2.ip6.access.telenet.be) kuribas |
2025-07-30 08:54:04 +0200 | j0lol | (~j0lol@132.145.17.236) (Remote host closed the connection) |
2025-07-30 08:54:18 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
2025-07-30 08:54:25 +0200 | <kuribas> | Isn't it easier to create a concurrent generational GC with immutable data? |
2025-07-30 08:54:52 +0200 | <kuribas> | You can just copy the data to a new region without needing to lock the process reading from it. |
2025-07-30 08:55:36 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 08:55:48 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 08:55:49 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 08:56:28 +0200 | <kuribas> | And switch over when all the data is copied. |
2025-07-30 08:56:52 +0200 | <kuribas> | Don't know how IORefs would work though, I suppose you'd need a lock. |
2025-07-30 08:57:22 +0200 | visilii | (~visilii@213.24.127.253) (Ping timeout: 276 seconds) |
2025-07-30 09:00:02 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-07-30 09:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-07-30 09:01:03 +0200 | <c_wraith> | if your data is truly immutable, yes |
2025-07-30 09:01:20 +0200 | <c_wraith> | But note that GHC doesn't compile to immutable data on the heap |
2025-07-30 09:01:29 +0200 | <c_wraith> | laziness is implemented with mutation |
2025-07-30 09:01:32 +0200 | <kuribas> | right |
2025-07-30 09:01:43 +0200 | <kuribas> | I was thinking about idris. |
2025-07-30 09:01:49 +0200 | <kuribas> | But it has optional lazyness too. |
2025-07-30 09:02:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-30 09:04:55 +0200 | <kuribas> | Default is eager though, so it could work. |
2025-07-30 09:05:41 +0200 | <kuribas> | But locking mutable variables seems not great for performance. |
2025-07-30 09:06:05 +0200 | <kuribas> | How does GHC deal with IORefs? |
2025-07-30 09:06:13 +0200 | <kuribas> | Are they in a separate region? |
2025-07-30 09:07:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-07-30 09:10:09 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
2025-07-30 09:10:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-30 09:13:43 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-07-30 09:15:42 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 09:15:56 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 09:18:52 +0200 | visilii | (~visilii@213.24.127.253) |
2025-07-30 09:24:23 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-07-30 09:47:38 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
2025-07-30 09:48:42 +0200 | ft | (~ft@p3e9bcd7f.dip0.t-ipconnect.de) (Quit: leaving) |
2025-07-30 09:54:24 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-30 09:54:57 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 09:54:57 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 09:54:57 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 09:59:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-07-30 10:00:12 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-07-30 10:02:03 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2025-07-30 10:02:56 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 10:03:41 +0200 | chele | (~chele@user/chele) chele |
2025-07-30 10:07:11 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-07-30 10:07:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-07-30 10:08:32 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 10:09:53 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds) |
2025-07-30 10:14:59 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
2025-07-30 10:17:57 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-30 10:20:52 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-30 10:22:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-07-30 10:23:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-07-30 10:24:13 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
2025-07-30 10:25:44 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-07-30 10:26:46 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-07-30 10:26:47 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
2025-07-30 10:26:54 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-07-30 10:28:20 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Client Quit) |
2025-07-30 10:29:45 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-07-30 10:35:55 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 10:36:09 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 10:36:23 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-30 10:41:51 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 10:43:09 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Read error: Connection reset by peer) |
2025-07-30 10:44:15 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
2025-07-30 10:45:01 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 10:47:13 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-30 10:51:39 +0200 | trickard_ | trickard |
2025-07-30 10:58:41 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 11:00:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 11:03:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
2025-07-30 11:03:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-30 11:05:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-07-30 11:16:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-07-30 11:17:22 +0200 | ubert1 | (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) ubert |
2025-07-30 11:21:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-07-30 11:21:18 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-30 11:23:30 +0200 | acidjnk | (~acidjnk@p200300d6e72d7b44ad4e219a14911733.dip0.t-ipconnect.de) acidjnk |
2025-07-30 11:39:29 +0200 | kaskal | (~kaskal@84-115-230-9.cable.dynamic.surfer.at) (Ping timeout: 248 seconds) |
2025-07-30 11:41:20 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
2025-07-30 11:42:19 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 11:44:07 +0200 | kaskal | (~kaskal@84-115-230-9.cable.dynamic.surfer.at) kaskal |
2025-07-30 11:45:04 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 11:45:19 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 11:48:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 11:53:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-07-30 11:56:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
2025-07-30 11:56:12 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
2025-07-30 11:56:34 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 11:57:15 +0200 | arandombit | (~arandombi@45.94.211.243) |
2025-07-30 11:57:15 +0200 | arandombit | (~arandombi@45.94.211.243) (Changing host) |
2025-07-30 11:57:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 12:01:11 +0200 | arandombit | (~arandombi@user/arandombit) (Read error: Connection reset by peer) |
2025-07-30 12:03:45 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 12:04:40 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-07-30 12:04:56 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-07-30 12:05:55 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 12:09:41 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 12:09:54 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-07-30 12:10:16 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-07-30 12:10:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
2025-07-30 12:15:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 12:20:00 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-07-30 12:20:15 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-07-30 12:20:32 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-07-30 12:25:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2025-07-30 12:26:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-07-30 12:26:20 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline |
2025-07-30 12:27:30 +0200 | ubert1 | (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
2025-07-30 12:27:57 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2025-07-30 12:35:06 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
2025-07-30 12:37:53 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-07-30 12:38:17 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
2025-07-30 12:38:41 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 12:39:05 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 12:40:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
2025-07-30 12:49:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-30 12:51:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 12:51:31 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-30 12:52:02 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
2025-07-30 12:53:32 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
2025-07-30 12:53:46 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 12:53:53 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
2025-07-30 12:53:53 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 12:53:53 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 12:53:57 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-07-30 12:56:08 +0200 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-07-30 12:56:28 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-07-30 12:57:20 +0200 | haritz | (~hrtz@209.35.65.79) |
2025-07-30 12:57:20 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
2025-07-30 12:57:20 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-07-30 12:58:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-07-30 13:01:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-07-30 13:01:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 13:05:25 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-07-30 13:08:29 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
2025-07-30 13:08:51 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 13:09:57 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
2025-07-30 13:16:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-30 13:17:17 +0200 | arandombit | (~arandombi@37.120.80.229) |
2025-07-30 13:17:17 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
2025-07-30 13:17:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-07-30 13:18:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a1bc:22ca:8bd:b4a5) |
2025-07-30 13:20:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-07-30 13:21:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-07-30 13:23:32 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
2025-07-30 13:23:52 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
2025-07-30 13:27:29 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-07-30 13:32:59 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
2025-07-30 13:33:08 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-07-30 13:44:06 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-30 13:45:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-07-30 13:49:00 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-07-30 13:50:06 +0200 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 13:50:19 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-07-30 13:53:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 13:59:44 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 14:01:08 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-30 14:01:22 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-07-30 14:04:39 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
2025-07-30 14:06:43 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-07-30 14:08:06 +0200 | jespada | (~jespada@2800:a4:220e:b200:c473:adea:281c:a65c) (Ping timeout: 265 seconds) |
2025-07-30 14:10:05 +0200 | jespada | (~jespada@2800:a4:2329:2800:4ce6:2e6:4cfb:a0e1) jespada |
2025-07-30 14:13:54 +0200 | ubert | (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) ubert |
2025-07-30 14:15:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-30 14:19:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-30 14:22:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 14:25:49 +0200 | trickard_ | trickard |
2025-07-30 14:31:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-30 14:34:33 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
2025-07-30 14:38:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 14:42:46 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 14:45:55 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-07-30 14:46:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-30 14:49:45 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-30 14:52:16 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-07-30 14:54:42 +0200 | Square | (~Square@user/square) Square |
2025-07-30 14:55:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-07-30 14:55:57 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2025-07-30 14:56:29 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-07-30 14:56:34 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Client Quit) |
2025-07-30 14:57:12 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-07-30 15:03:32 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
2025-07-30 15:06:31 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 15:07:24 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
2025-07-30 15:19:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-07-30 15:20:39 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
2025-07-30 15:26:38 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-07-30 15:26:47 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-30 15:34:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-30 15:36:20 +0200 | sp1ff``` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
2025-07-30 15:37:47 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 15:45:13 +0200 | om | (~om@2a00:7c80:0:3bc::13) |
2025-07-30 15:46:14 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-30 15:49:00 +0200 | sp1ff``` | (~user@c-24-21-190-184.hsd1.wa.comcast.net) |
2025-07-30 15:49:09 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
2025-07-30 15:50:47 +0200 | om82 | (~om@2a00:7c80:0:39a::11) |
2025-07-30 15:53:06 +0200 | om82 | (~om@2a00:7c80:0:39a::11) (Client Quit) |
2025-07-30 15:54:51 +0200 | om | (~om@2a00:7c80:0:3bc::13) (Ping timeout: 272 seconds) |
2025-07-30 16:00:01 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-30 16:00:22 +0200 | pyooque | (~puke@user/puke) puke |
2025-07-30 16:00:22 +0200 | puke | (~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services))) |
2025-07-30 16:00:22 +0200 | pyooque | puke |
2025-07-30 16:02:27 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-07-30 16:03:28 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-07-30 16:04:22 +0200 | pyooque | (~puke@user/puke) puke |
2025-07-30 16:04:22 +0200 | puke | (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
2025-07-30 16:04:22 +0200 | pyooque | puke |
2025-07-30 16:04:31 +0200 | Guest94 | (~Guest94@cpc147822-brnt4-2-0-cust196.4-2.cable.virginm.net) |
2025-07-30 16:06:57 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
2025-07-30 16:14:22 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-30 16:16:21 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
2025-07-30 16:23:25 +0200 | <Guest94> | Good afternoon, I am a complete beginner when it comes to Haskell, which I have picked up to follow along with the book "Discrete Mathematics Using a Computer", which uses Hugs 98. I have encountered an issue with using the Ratio Integer type, specifically: |
2025-07-30 16:23:25 +0200 | <Guest94> | Stdm> 2/3 :: Ratio Integer |
2025-07-30 16:23:26 +0200 | <Guest94> | ERROR - Undefined type constructor "Ratio" |
2025-07-30 16:23:26 +0200 | <Guest94> | Where Stdm is the file created by the authors for working through the examples and exercises in the book. I have not found any information online on how to proceed other than some suggestions to "import" the datatype Ratio (the quotation marks are meant to signal that I am unsure of the meaning of this term in a Haskell context, e.g. I am unsure if |
2025-07-30 16:23:27 +0200 | <Guest94> | I have to add some code to the Stdm file I am loading, or do something else) |
2025-07-30 16:23:27 +0200 | <Guest94> | Are there any resources anyone here could point me to that I may help myself? Most of the other code runs fine, so I should be able to get through the book without any issues, but I ask the above in case this is a sign of some potentially serious issue that will bite me later. |