Logs on 2025-08-26 (liberachat/#haskell)
| 00:04:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:04:46 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 00:05:35 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:09:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:14:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 00:17:50 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 00:19:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:20:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:26:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 00:27:02 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (Server closed connection) |
| 00:27:14 | → | hamishmack joins (sid389057@id-389057.hampstead.irccloud.com) |
| 00:28:54 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 00:29:15 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 00:29:55 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 00:30:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:33:12 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 00:33:19 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 00:35:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:37:12 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 00:45:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 00:50:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:55:40 | → | itaipu joins (~itaipu@168.121.97.28) |
| 01:01:10 | × | xff0x quits (~xff0x@2405:6580:b080:900:b9f9:93d3:5baf:528b) (Ping timeout: 245 seconds) |
| 01:01:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:03:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:04:59 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Server closed connection) |
| 01:05:48 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 01:06:09 | → | bilegeek joins (~bilegeek@243.sub-174-209-34.myvzw.com) |
| 01:07:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:07:51 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 01:08:39 | × | bilegeek quits (~bilegeek@243.sub-174-209-34.myvzw.com) (Client Quit) |
| 01:17:23 | × | yegor quits (~yegor@user/yegorc) (Excess Flood) |
| 01:18:16 | → | yegor joins (~yegor@user/yegorc) |
| 01:19:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:24 | × | cbarrett quits (sid192934@id-192934.helmsley.irccloud.com) (Server closed connection) |
| 01:20:28 | × | yegor quits (~yegor@user/yegorc) (Max SendQ exceeded) |
| 01:20:35 | → | cbarrett joins (sid192934@id-192934.helmsley.irccloud.com) |
| 01:21:35 | → | yegor joins (~yegor@user/yegorc) |
| 01:24:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:42:33 | → | ell joins (~ellie@user/ellie) |
| 01:44:49 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 01:45:27 | → | itaipu joins (~itaipu@168.121.97.28) |
| 01:50:11 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 01:51:36 | × | yegor quits (~yegor@user/yegorc) (Excess Flood) |
| 01:53:46 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:53:57 | → | yegor joins (~yegor@user/yegorc) |
| 01:55:26 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 01:59:30 | → | yegorc joins (~yegor@user/yegorc) |
| 01:59:37 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:00:24 | × | yegor quits (~yegor@user/yegorc) (Ping timeout: 248 seconds) |
| 02:02:53 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Server closed connection) |
| 02:03:32 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 02:12:39 | yegorc | is now known as yegor |
| 02:26:21 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 02:29:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:35:19 | × | fgarcia quits (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 02:36:57 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 02:41:36 | → | fgarcia joins (~lei@user/fgarcia) |
| 02:45:21 | × | n3t quits (~n3t@user/n3t) (Server closed connection) |
| 02:45:46 | → | n3t joins (~n3t@user/n3t) |
| 02:47:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:49:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:52:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 03:03:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:05:40 | → | trickard__ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 03:06:32 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 03:07:50 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 03:07:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:12:45 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:18:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:20:16 | × | trickard__ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 03:20:31 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 03:23:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:30:42 | → | aforemny_ joins (~aforemny@2001:9e8:6ce0:b400:b37:e7d1:7c56:28e9) |
| 03:31:38 | × | aforemny quits (~aforemny@2001:9e8:6cc1:4500:e2a2:a3a1:5209:ec30) (Ping timeout: 248 seconds) |
| 03:32:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 03:33:49 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:34:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:39:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 03:48:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 03:49:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:50:39 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 03:52:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:54:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:00:26 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 04:05:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:07:00 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 04:11:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:16:50 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:23:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:24:29 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:24:42 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:24:42 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 04:24:47 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 04:24:54 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Client Quit) |
| 04:25:13 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 04:28:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:38:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:43:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:52:42 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 04:53:07 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 04:53:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 04:54:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:57:39 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 04:58:49 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Client Quit) |
| 04:59:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:59:41 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 05:05:35 | trickard_ | is now known as trickard |
| 05:10:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:14:12 | → | michalz joins (~michalz@185.246.207.221) |
| 05:14:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:17:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:22:33 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 05:26:23 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 05:27:43 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 05:28:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:32:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 05:34:49 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 05:38:03 | <probie> | What is a good name for a class `class NameHere f where { empty :: f a }`? Does it have a canonical name? |
| 05:39:55 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 05:41:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 05:43:10 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:43:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:47:04 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 05:50:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:55:49 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:56:57 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 06:01:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:06:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 06:08:56 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 258 seconds) |
| 06:17:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:17:33 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 06:17:34 | <Axman6> | what are the properties of f? |
| 06:17:56 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:18:54 | <Axman6> | Looks a lot like either Alternative's empty of MonadPlus' mzero |
| 06:21:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:26:05 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:30:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 06:32:01 | <haskellbridge> | <maerwald> geekosaur: Yeah, I'm super conservative with bumping the recommended version of cabal, since I don't have high confidence about release quality and regression testing. But that also means that sometimes people have to challenge the recommendations. That's good. |
| 06:32:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:32:50 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:33:05 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:34:37 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 06:36:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 06:37:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:43:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:46:09 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:47:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:52:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:56:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 06:59:08 | × | zarakshR quits (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 256 seconds) |
| 06:59:20 | <Axman6> | This feels like an obvious question, but is there a better way to compute the cube root of a number than n**(1/3)? |
| 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 07:02:05 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 07:03:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:06:32 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 07:07:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:08:46 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:08:58 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 07:10:18 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 07:11:48 | → | acidjnk joins (~acidjnk@p200300d6e7171935d5e5673b6843e553.dip0.t-ipconnect.de) |
| 07:15:13 | <jreicher> | Axman6: what do you mean by "better"? |
| 07:15:55 | <Axman6> | we have sqrt, wondering if there's anything more direct like that |
| 07:18:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:20:07 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:20:20 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 07:22:19 | <jreicher> | Axman6: https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Float.html#sqrt |
| 07:22:57 | <lortabac> | numeric-prelude has a class with a 'root' method |
| 07:23:34 | <lortabac> | but under the hood it probably still does n ** (1 / m) |
| 07:24:40 | → | chele joins (~chele@user/chele) |
| 07:24:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:25:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:25:45 | <jreicher> | lortabac: I'm not familiar with that but looking at the code I think it carries around the number as a surd? |
| 07:27:29 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 07:28:49 | <lortabac> | jreicher: I'm not brave enough to read the code of a library where all the classes are named 'C' |
| 07:29:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:30:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:31:44 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 07:34:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:37:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 07:44:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:47:54 | → | Square3 joins (~Square4@user/square) |
| 07:48:40 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 07:49:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:54:47 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 07:55:38 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 07:56:04 | → | paul joins (~paul@p200300d0c724c972c1124819265dadf7.dip0.t-ipconnect.de) |
| 07:56:08 | paul | is now known as Guest6666 |
| 07:56:48 | trickard_ | is now known as trickard |
| 08:00:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:03:36 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:04:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 08:04:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 08:06:22 | × | drdo quits (~drdo@2a01:4f8:1c1c:4976::1) (Server closed connection) |
| 08:06:33 | → | drdo joins (~drdo@2a01:4f8:1c1c:4976::1) |
| 08:09:32 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 08:09:41 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 08:15:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:19:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:23:43 | → | sprotte24 joins (~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de) |
| 08:30:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:34:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:43:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:47:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:58:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:02:49 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:03:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 09:05:11 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 09:06:04 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 09:07:05 | × | mari-estel quits (~mari-este@user/mari-estel) (Client Quit) |
| 09:07:22 | → | inline_ joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 09:10:16 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 09:12:50 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:12:56 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 09:13:03 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 09:13:55 | × | pikajude quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Server closed connection) |
| 09:14:15 | → | pikajude joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
| 09:14:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:14:42 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 09:15:18 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 09:17:11 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 09:20:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 09:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:31:26 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 09:32:26 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:32:39 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 09:35:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 09:37:11 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:42:29 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 09:42:57 | × | Gravifer quits (~Gravifer@user/Gravifer) (Quit: Client closed) |
| 09:46:29 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 09:46:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:49:53 | × | kaskal quits (~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) (Quit: ZNC - https://znc.in) |
| 09:50:10 | → | kaskal joins (~kaskal@2a02:8388:15bf:c200:4ad7:7046:d36e:df72) |
| 09:51:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:55:19 | → | ubert1 joins (~Thunderbi@178.115.39.91.wireless.dyn.drei.com) |
| 10:01:21 | trickard_ | is now known as trickard |
| 10:02:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:07:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 10:07:37 | <Athas> | Are Text literals (using OverloadedStrings) efficiently represented? |
| 10:09:02 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 10:17:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:21:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 10:23:08 | <sshine> | how would they be more efficiently represented than non-literals; by static inlining? |
| 10:25:34 | <Athas> | Semantically, a Haskell string literal "foo" will be (fromList ('f' : 'o' : 'o' " [])). |
| 10:25:42 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 10:25:56 | <Athas> | That's eight constructors and a lazy application. I hope that is not the code that is generated from the appropriate fromList type is monomorphic. |
| 10:26:58 | <Leary> | Without `OverloadedStrings`, a `String` literal "foo" compiles to `unpackCString "foo"#`. I don't see why the extension should change anything in this regard. |
| 10:27:28 | <Athas> | Oh, so GHC already has an optimisation for that case. I'd be surprised if it didn't, but it's nice to make sure. |
| 10:27:36 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 10:28:28 | <Leary> | Presumably you can also write RULES for `yourFromString (unpackCString s)` if you want to do better. |
| 10:29:51 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:32:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:37:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 10:38:32 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:38:44 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 10:38:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:40:20 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 10:40:42 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 10:46:05 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 10:47:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:50:18 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 10:51:49 | × | sprotte24 quits (~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 10:52:50 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 10:54:03 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:54:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 11:00:04 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:17 | → | caconym747 joins (~caconym@user/caconym) |
| 11:02:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:05:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:05:50 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection) |
| 11:06:04 | → | nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 11:07:36 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 11:10:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 11:16:32 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 11:21:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:25:44 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 11:26:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 11:29:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:bd9c:270d:261:4d07) |
| 11:31:22 | → | tremon joins (~tremon@83.80.159.219) |
| 11:32:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:34:31 | → | __monty__ joins (~toonn@user/toonn) |
| 11:37:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 11:38:29 | → | kuribas joins (~user@2a02-1810-2825-6000-1140-f7e9-a719-3107.ip6.access.telenet.be) |
| 11:39:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 11:40:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:42:53 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 11:44:58 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:46:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:47:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:47:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Client Quit) |
| 11:48:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:50:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 11:51:32 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:52:07 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:52:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 11:57:58 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 11:58:11 | → | bradparker joins (sid262931@id-262931.uxbridge.irccloud.com) |
| 12:02:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 12:03:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:06:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 12:08:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:11:40 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 12:14:42 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Server closed connection) |
| 12:14:56 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 12:18:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:19:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:20:43 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 12:20:49 | → | tomboy65 joins (~tomboy64@user/tomboy64) |
| 12:23:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 12:24:41 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 12:28:20 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:28:37 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 12:30:51 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 12:33:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:38:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 12:42:25 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 12:43:25 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:46:07 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp) |
| 12:46:14 | → | fp1 joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 12:46:16 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 12:48:32 | fp1 | is now known as fp |
| 12:49:16 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:49:16 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:49:16 | → | haritz joins (~hrtz@user/haritz) |
| 12:49:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:50:04 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:50:17 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 12:50:29 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Remote host closed the connection) |
| 12:51:37 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 12:51:38 | → | gmg joins (~user@user/gehmehgeh) |
| 12:52:39 | × | int-e quits (~noone@int-e.eu) (Server closed connection) |
| 12:52:48 | → | int-e joins (~noone@int-e.eu) |
| 12:53:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:54:45 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 12:55:18 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 12:56:12 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:00:22 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 13:04:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:05:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 13:07:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 13:09:10 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 256 seconds) |
| 13:09:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 13:14:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 13:20:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:24:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 13:30:11 | <tomsmeding> | Athas: the unpackCString# expansion is a desugaring, so you can already see it in Core https://play.haskell.org/saved/IaWMOGrc |
| 13:30:34 | <tomsmeding> | so if you're paranoid, you can look at Core of code you're interested in and see what's happening |
| 13:31:08 | → | ystael joins (~ystael@user/ystael) |
| 13:31:21 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:31:43 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 13:32:15 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 13:34:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:38:36 | trickard_ | is now known as trickard |
| 13:39:04 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 13:39:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:40:08 | <bwe> | how do I parMap with https://hackage.haskell.org/package/streaming ? |
| 13:41:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 13:42:20 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 13:42:38 | <bwe> | there is https://github.com/haskell-streaming/streaming-concurrency but it's pretty out of date |
| 13:43:27 | × | APic quits (apic@chiptune.apic.name) (Server closed connection) |
| 13:43:39 | → | APic joins (apic@apic.name) |
| 13:52:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:57:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 14:02:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 14:02:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:03:48 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:04:01 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 14:06:13 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 14:07:17 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection) |
| 14:07:37 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 14:08:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:12:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 14:14:37 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 14:22:46 | → | tbahne joins (~tbahne@user/tbahne) |
| 14:23:34 | × | nicole quits (ilbelkyr@libera/staff/ilbelkyr) (Quit: Reconnecting) |
| 14:23:39 | → | nicole joins (ilbelkyr@libera/staff/ilbelkyr) |
| 14:23:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:24:21 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 14:24:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:25:19 | × | tbahne quits (~tbahne@user/tbahne) (Remote host closed the connection) |
| 14:26:32 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 256 seconds) |
| 14:26:35 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Server closed connection) |
| 14:26:53 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:8400:bfb7:7968:3470) |
| 14:28:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 14:33:51 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 14:34:51 | → | pabs3 joins (~pabs3@user/pabs3) |
| 14:35:06 | × | Guest6666 quits (~paul@p200300d0c724c972c1124819265dadf7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:35:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:36:02 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 14:37:48 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 14:40:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 14:40:41 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:47:20 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 14:50:39 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 14:51:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:52:11 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 14:53:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:55:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 15:02:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 15:02:34 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:05:19 | × | acidjnk quits (~acidjnk@p200300d6e7171935d5e5673b6843e553.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 15:06:28 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 15:06:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:09:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 15:11:15 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:11:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 15:22:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:29:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 15:30:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 15:30:41 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:32:35 | → | acidjnk joins (~acidjnk@p200300d6e7171900c8d1e26a04eb2053.dip0.t-ipconnect.de) |
| 15:33:08 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 15:36:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:41:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 15:42:39 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 15:51:43 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:51:55 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 15:52:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:56:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 16:01:11 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 16:04:44 | → | shapr joins (~user@130.44.148.32) |
| 16:07:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:12:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:12:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:23:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:27:30 | × | edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 16:27:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:27:41 | → | edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com) |
| 16:27:42 | → | tromp joins (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 16:29:46 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 16:33:44 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 16:33:56 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Server closed connection) |
| 16:34:05 | → | divlamir joins (~divlamir@user/divlamir) |
| 16:34:07 | → | tapas joins (sid467876@id-467876.ilkley.irccloud.com) |
| 16:35:15 | × | coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (Server closed connection) |
| 16:35:27 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 16:37:09 | × | [_________] quits (~oos95GWG@user/oos95GWG) (Server closed connection) |
| 16:37:27 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 16:37:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:37:59 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 16:40:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 16:42:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:42:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 16:43:35 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Server closed connection) |
| 16:43:48 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 16:45:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:45:57 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 16:47:19 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:50:24 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 16:51:32 | → | ystael joins (~ystael@user/ystael) |
| 16:53:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:55:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 16:58:18 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 16:58:45 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 16:59:46 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:00:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:00:27 | → | Square2 joins (~Square@user/square) |
| 17:03:15 | × | Square3 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 17:04:39 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:05:12 | → | zarakshR joins (~Thunderbi@0542a05a.skybroadband.com) |
| 17:10:09 | → | Nolrai2 joins (~Nolrai2@c-73-96-34-24.hsd1.or.comcast.net) |
| 17:11:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:13:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 17:13:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 17:14:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:16:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 17:17:09 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:21:04 | → | sprotte24 joins (~sprotte24@p200300d16f0e5a00c5b8a13e20fc3383.dip0.t-ipconnect.de) |
| 17:21:24 | <Nolrai2> | So I am parsing this xml-alike DSL and it stores lots of things as string literals, is there an easier way to do this than https://paste.tomsmeding.com/Qxv4LdcR ? |
| 17:22:13 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:23:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 17:26:50 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 17:27:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:27:04 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:29:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:31:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:35:11 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 17:36:38 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 17:38:45 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:38:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:40:15 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 17:43:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:43:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:43:53 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 17:48:35 | × | ircbrowse_tom quits (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 17:48:58 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 17:49:03 | Server | sets mode +Cnt |
| 17:49:25 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 17:50:43 | × | kuribas quits (~user@2a02-1810-2825-6000-1140-f7e9-a719-3107.ip6.access.telenet.be) (Remote host closed the connection) |
| 17:51:49 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:52:59 | → | Frostillicus joins (~Frostilli@71.174.119.69) |
| 17:54:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:57:01 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 17:58:07 | × | Frostillicus quits (~Frostilli@71.174.119.69) (Ping timeout: 258 seconds) |
| 17:58:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 17:59:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:59:55 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 18:02:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 18:02:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 18:07:39 | × | Nolrai2 quits (~Nolrai2@c-73-96-34-24.hsd1.or.comcast.net) (Ping timeout: 250 seconds) |
| 18:09:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:09:46 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:12:46 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 18:14:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 18:14:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 18:15:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:17:06 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 276 seconds) |
| 18:21:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 18:22:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:23:23 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 18:25:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:29:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:34:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 18:34:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 18:34:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:36:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:37:41 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:39:22 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 18:39:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:44:13 | → | Everything joins (~Everythin@178-133-32-20.mobile.vf-ua.net) |
| 18:44:15 | trickard_ | is now known as trickard |
| 18:46:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:48:42 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 260 seconds) |
| 18:54:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 18:57:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 18:57:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:58:56 | → | Nosrep joins (~jimothy@user/nosrep) |
| 19:00:03 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 19:02:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:03:55 | → | Everythi1g joins (~Everythin@94.153.24.225) |
| 19:04:26 | × | Everything quits (~Everythin@178-133-32-20.mobile.vf-ua.net) (Ping timeout: 258 seconds) |
| 19:13:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:16:34 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 19:17:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 19:17:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:17:50 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 19:17:52 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 19:18:02 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 19:19:22 | → | vetkat joins (~vetkat@user/vetkat) |
| 19:23:14 | → | vetkat7 joins (~vetkat@user/vetkat) |
| 19:25:31 | × | vetkat quits (~vetkat@user/vetkat) (Ping timeout: 258 seconds) |
| 19:25:31 | vetkat7 | is now known as vetkat |
| 19:25:52 | rvalue- | is now known as rvalue |
| 19:26:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 19:27:02 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:28:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:31:03 | → | __monty__ joins (~toonn@user/toonn) |
| 19:33:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:34:20 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 19:39:34 | → | gmg joins (~user@user/gehmehgeh) |
| 19:41:09 | × | Everythi1g quits (~Everythin@94.153.24.225) (Quit: leaving) |
| 19:44:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:48:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:55:29 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 19:58:17 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:58:25 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 19:58:46 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 19:59:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:59:48 | × | tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Server closed connection) |
| 20:00:04 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 20:01:56 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 20:02:50 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 20:04:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:09:32 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 20:14:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:15:23 | → | Square3 joins (~Square4@user/square) |
| 20:20:42 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 20:21:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:24:39 | → | Nolrai2 joins (~Nolrai2@c-73-96-34-24.hsd1.or.comcast.net) |
| 20:25:02 | × | Nolrai2 quits (~Nolrai2@c-73-96-34-24.hsd1.or.comcast.net) (Client Quit) |
| 20:26:12 | × | igemnace quits (~igemnace@user/igemnace) (Server closed connection) |
| 20:26:35 | → | igemnace joins (~igemnace@user/igemnace) |
| 20:28:08 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 20:29:59 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 20:32:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:37:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:56:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:57:51 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:00:16 | <shapr> | @quote |
| 21:00:16 | <lambdabot> | Masklinn says: truth is that lambdabot and dons recursively coded each other |
| 21:00:19 | <shapr> | ha |
| 21:03:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:04:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 21:05:57 | <monochrom> | haha |
| 21:08:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:10:18 | <geekosaur> | https://en.wikipedia.org/wiki/Drawing_Hands |
| 21:12:56 | <mauke> | preflex: quote |
| 21:12:56 | <preflex> | <jcreigh> SELECT * FROM FooBar WITHOUT IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
| 21:14:08 | <Franciman> | do you know any datalog implementation for haskell? |
| 21:14:15 | <Franciman> | https://flora.pm/packages/@hackage/datalog i found this one ,but it seems to be very old |
| 21:16:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 21:17:28 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 21:19:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:19:23 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 21:23:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:33:44 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:33:58 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 21:34:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:39:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:45:20 | × | Square3 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 21:49:47 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 21:50:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:53:03 | × | mesaoptimizer quits (~mesa@user/PapuaHardyNet) (Server closed connection) |
| 21:53:30 | → | mesaoptimizer joins (~mesa@user/PapuaHardyNet) |
| 21:54:14 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 21:55:06 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 21:57:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:57:40 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 22:00:39 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:01:22 | → | gmg joins (~user@user/gehmehgeh) |
| 22:03:20 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:03:33 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 22:06:54 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 22:08:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:09:24 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:12:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 22:15:37 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 22:20:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:21:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:21:28 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:21:56 | → | pavonia joins (~user@user/siracusa) |
| 22:22:55 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 22:23:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:24:33 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Server closed connection) |
| 22:24:50 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 22:27:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 22:28:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:35:09 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:35:16 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 22:35:23 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 22:38:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:43:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:48:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 22:48:41 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:54:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:55:27 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 22:56:41 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:57:25 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 22:59:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 23:01:04 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 23:02:47 | → | nitrix_ joins (~nitrix@user/meow/nitrix) |
| 23:03:29 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 272 seconds) |
| 23:04:24 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 23:04:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 23:07:02 | × | noctuks quits (aVjnm6iDRi@user/noctux) (Server closed connection) |
| 23:07:21 | → | noctuks joins (eCIc2Rhff8@user/noctux) |
| 23:09:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:10:15 | × | yushyin quits (rAA5wfgz8R@mail.karif.server-speed.net) (Server closed connection) |
| 23:10:39 | → | yushyin joins (8jcHYEVNqp@mail.karif.server-speed.net) |
| 23:12:47 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 23:13:28 | × | s4msung quits (gjllrwEMMC@user/s4msung) (Server closed connection) |
| 23:13:47 | → | s4msung joins (Ci2aDJRib8@user/s4msung) |
| 23:14:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 23:14:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 23:15:04 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 23:24:14 | → | weary-traveler joins (~user@user/user363627) |
| 23:25:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:29:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 23:31:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 23:37:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 23:37:22 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:39:23 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 23:40:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:41:18 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:41:32 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 23:42:04 | × | sprotte24 quits (~sprotte24@p200300d16f0e5a00c5b8a13e20fc3383.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:44:04 | → | mange joins (~mange@user/mange) |
| 23:44:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:44:16 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:44:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:47:04 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 23:48:40 | × | kaol quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Ping timeout: 245 seconds) |
| 23:49:41 | → | kaol joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 23:56:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:56:56 | × | xff0x quits (~xff0x@2405:6580:b080:900:bd9c:270d:261:4d07) (Ping timeout: 244 seconds) |
| 23:58:57 | trickard_ | is now known as trickard |
All times are in UTC on 2025-08-26.