2025/06/22

2025-06-22 00:03:33 +0000jespada(~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-06-22 00:05:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:05:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:08:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:08:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:09:56 +0000inline(~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline
2025-06-22 00:11:52 +0000 <ski> % :t let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo
2025-06-22 00:11:52 +0000 <yahb2> let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo ; :: (Applicative i, Monoid m) => [a -> i m] -> a -> i m
2025-06-22 00:11:58 +0000 <ski> % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo
2025-06-22 00:11:58 +0000 <yahb2> let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo ; :: Applicative i => [a -> i Bool] -> a -> i Bool
2025-06-22 00:12:06 +0000 <ski> % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo
2025-06-22 00:12:06 +0000 <yahb2> let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo ; :: Applicative i => [a -> i Bool] -> a -> i Bool
2025-06-22 00:12:58 +0000 <hololeap> yeah, I realized I have to choose the Any or All monoids because mempty also needs to be defined
2025-06-22 00:14:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 00:14:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:16:33 +0000arahael(~arahael@user/arahael) arahael
2025-06-22 00:17:54 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-06-22 00:19:24 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-06-22 00:20:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:20:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:21:38 +0000rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-06-22 00:25:29 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-06-22 00:25:45 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-06-22 00:26:28 +0000inline(~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-06-22 00:26:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:26:42 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-06-22 00:26:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:31:51 +0000sprotte24(~sprotte24@p200300d16f085b008008e72f4942b32e.dip0.t-ipconnect.de) (Quit: Leaving)
2025-06-22 00:32:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:32:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:38:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 00:39:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:39:23 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-06-22 00:44:19 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-22 00:44:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:45:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:46:10 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-06-22 00:47:22 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 00:48:46 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 00:50:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:50:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 00:51:13 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2025-06-22 00:52:01 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-06-22 00:52:18 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds)
2025-06-22 00:53:49 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-06-22 00:53:51 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 00:56:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 00:56:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:02:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:02:46 +0000wbooze(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline
2025-06-22 01:03:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:05:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:05:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:08:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:09:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:12:28 +0000g00gler(uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-22 01:13:43 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 01:14:29 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 01:14:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:15:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:15:28 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-06-22 01:16:09 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-06-22 01:19:45 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-22 01:19:55 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 01:20:40 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 01:20:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:21:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:25:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:26:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:27:04 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-06-22 01:27:58 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-06-22 01:31:08 +0000juri_(~juri@implicitcad.org) (Ping timeout: 244 seconds)
2025-06-22 01:31:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:32:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:34:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:35:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:40:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:40:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:41:52 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 01:42:05 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 01:43:00 +0000juri_(~juri@implicitcad.org) juri_
2025-06-22 01:44:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:45:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:45:50 +0000 <haskellbridge> <maerwald> hololeap: without the quotes
2025-06-22 01:46:11 +0000 <haskellbridge> <maerwald> [osp|mypath|]
2025-06-22 01:52:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:52:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:55:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 01:56:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 01:56:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 01:56:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:00:39 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 02:00:53 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 02:01:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:02:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:05:03 +0000op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-06-22 02:05:34 +0000op_4(~tslil@user/op-4/x-9116473) op_4
2025-06-22 02:07:16 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 02:07:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:08:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:14:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:14:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:21:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 02:21:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:24:14 +0000notzmv(~umar@user/notzmv) (Ping timeout: 260 seconds)
2025-06-22 02:26:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:26:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:31:48 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-06-22 02:32:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 02:32:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:33:13 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 02:33:59 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 02:34:05 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2025-06-22 02:34:27 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-06-22 02:35:43 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-06-22 02:36:55 +0000hc(~hc@mail.hce.li) hc
2025-06-22 02:37:51 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-06-22 02:39:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:39:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:46:43 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 02:48:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:48:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:49:24 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 02:51:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:52:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:53:19 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 02:57:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 02:57:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 02:57:58 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 02:58:12 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 03:03:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:03:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:04:43 +0000notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-06-22 03:06:33 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 03:10:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:10:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:17:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:17:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:19:10 +0000aforemny_(~aforemny@i577B12E7.versanet.de) aforemny
2025-06-22 03:20:06 +0000aforemny(~aforemny@2001:9e8:6ce1:db00:337c:8178:e350:ca70) (Ping timeout: 276 seconds)
2025-06-22 03:22:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:23:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:27:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:28:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:29:42 +0000raym(~ray@user/raym) (Quit: leaving)
2025-06-22 03:30:07 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 03:30:33 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-06-22 03:31:35 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 03:31:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:32:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:37:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 03:38:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:43:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:44:09 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-22 03:44:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:44:57 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2025-06-22 03:50:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 03:50:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 03:55:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-22 03:58:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 04:05:03 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-06-22 04:16:09 +0000notzmv(~umar@user/notzmv) (Ping timeout: 268 seconds)
2025-06-22 04:25:25 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 04:44:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 04:45:09 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-22 04:46:35 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 04:49:32 +0000 <hololeap> maerwald: ty
2025-06-22 04:51:28 +0000Jeanne-Kamikaze(~jeannekam@static-23-234-95-217.cust.tzulo.com) Jeanne-Kamikaze
2025-06-22 04:51:51 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-22 04:54:07 +0000Jeanne-Kamikaze(~jeannekam@static-23-234-95-217.cust.tzulo.com) (Remote host closed the connection)
2025-06-22 04:56:32 +0000Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-22 05:05:32 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 05:05:45 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 05:13:52 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 05:15:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 05:16:10 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 05:18:24 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-06-22 05:35:31 +0000soverysour(~soverysou@84.232.150.229)
2025-06-22 05:35:31 +0000soverysour(~soverysou@84.232.150.229) (Changing host)
2025-06-22 05:35:31 +0000soverysour(~soverysou@user/soverysour) soverysour
2025-06-22 05:36:20 +0000sajenim(~sajenim@user/sajenim) sajenim
2025-06-22 05:42:27 +0000hololeap(~quassel@user/hololeap) (Quit: stack overflow)
2025-06-22 05:44:03 +0000hololeap(~quassel@user/hololeap) hololeap
2025-06-22 05:47:14 +0000Alyosha(~Alyosha@user/Alyosha) (Remote host closed the connection)
2025-06-22 05:56:57 +0000notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-06-22 05:58:02 +0000hololeap(~quassel@user/hololeap) (Quit: odbye)
2025-06-22 05:58:15 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-06-22 06:05:49 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-22 06:36:38 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 06:38:02 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 06:39:02 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 06:39:34 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 06:42:56 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Client Quit)
2025-06-22 06:43:36 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-22 06:45:49 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-06-22 06:47:45 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-06-22 06:50:05 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 06:54:49 +0000trickard_trickard
2025-06-22 06:57:40 +0000poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-06-22 07:00:01 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-22 07:00:40 +0000caconym7(~caconym@user/caconym) caconym
2025-06-22 07:00:53 +0000poscat(~poscat@user/poscat) poscat
2025-06-22 07:04:16 +0000soverysour(~soverysou@user/soverysour) (Ping timeout: 272 seconds)
2025-06-22 07:11:07 +0000raym(~ray@user/raym) raym
2025-06-22 07:15:24 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 07:19:32 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-06-22 07:23:08 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 07:24:28 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 07:28:53 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-22 07:29:05 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 07:38:36 +0000kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-06-22 07:39:03 +0000kmein(~weechat@user/kmein) kmein
2025-06-22 07:43:44 +0000Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds)
2025-06-22 07:45:02 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 07:45:16 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 07:53:00 +0000acidjnk(~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) acidjnk
2025-06-22 07:55:10 +0000Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-06-22 07:56:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 07:57:13 +0000O-matorkama-BiH-(~O-matorka@109.175.50.243)
2025-06-22 08:02:21 +0000O-matorkama-BiH-(~O-matorka@109.175.50.243) (Quit: Client closed)
2025-06-22 08:06:34 +0000O-matorkama-BiH-(~O-matorka@109.175.50.243)
2025-06-22 08:06:47 +0000O-matorkama-BiH-(~O-matorka@109.175.50.243) (Write error: Broken pipe)
2025-06-22 08:06:57 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 08:07:09 +0000My-Bosnian-mom-M(~My-Bosnia@109.175.50.243)
2025-06-22 08:12:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 08:12:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 08:15:21 +0000trickard_trickard
2025-06-22 08:16:35 +0000My-Bosnian-mom-M(~My-Bosnia@109.175.50.243) (Quit: Client closed)
2025-06-22 08:16:55 +0000My-Bosnian-mom-M(~My-Bosnia@109.175.50.243)
2025-06-22 08:21:03 +0000Square(~Square@user/square) Square
2025-06-22 08:23:02 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 08:23:09 +0000My-Bosnian-mom-M(~My-Bosnia@109.175.50.243) (Quit: Client closed)
2025-06-22 08:23:16 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 08:25:49 +0000Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru
2025-06-22 08:38:45 +0000trickard_trickard
2025-06-22 08:44:58 +0000notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2025-06-22 08:49:39 +0000Digit(~user@user/digit) Digit
2025-06-22 08:52:05 +0000pyooque(~puke@user/puke) puke
2025-06-22 08:52:05 +0000puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2025-06-22 08:52:05 +0000pyooquepuke
2025-06-22 08:52:30 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 08:52:32 +0000rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-06-22 08:52:58 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-06-22 09:00:38 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-22 09:05:21 +0000__monty__(~toonn@user/toonn) toonn
2025-06-22 09:12:25 +0000sprotte24(~sprotte24@p200300d16f0e3d00d9d0ec515bdfe1f4.dip0.t-ipconnect.de)
2025-06-22 09:17:09 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 09:17:31 +0000califax(~califax@user/califx) califx
2025-06-22 09:24:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-22 09:29:57 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 09:30:11 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 09:35:27 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 09:52:48 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 09:55:21 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 09:55:34 +0000cawfee(root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.2)
2025-06-22 09:55:59 +0000cawfee(root@2001:19f0:4400:79a1::babe)
2025-06-22 09:57:28 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 09:57:42 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 10:05:29 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 10:07:59 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 10:18:17 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 10:19:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 10:19:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 10:23:56 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-06-22 10:24:27 +0000trickard_trickard
2025-06-22 10:27:51 +0000Digitteknohippie(~user@user/digit) Digit
2025-06-22 10:29:06 +0000Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-06-22 10:31:44 +0000hseg(~gesh@46.120.20.122)
2025-06-22 10:34:57 +0000Digitteknohippie(~user@user/digit) (Ping timeout: 248 seconds)
2025-06-22 10:47:57 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-22 10:48:34 +0000 <haskellbridge> <loonycyborg> What's the proper way of calling one quasiquoter for another? Like if I want to implement my own quasiquoter in terms of osp.
2025-06-22 10:48:43 +0000 <haskellbridge> <loonycyborg> s/for/from
2025-06-22 10:53:17 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 10:57:47 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 11:00:34 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-22 11:00:58 +0000nschoe(~nschoe@2a01:e0a:8e:a190:5fd2:26f6:52c7:14ad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-22 11:01:42 +0000jespada(~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) jespada
2025-06-22 11:02:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-22 11:03:01 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 11:03:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 11:03:15 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 11:03:16 +0000nschoe(~nschoe@2a01:e0a:8e:a190:3366:9435:f038:dded) nschoe
2025-06-22 11:04:10 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2025-06-22 11:04:45 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-06-22 11:09:38 +0000trickard_trickard
2025-06-22 11:13:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-22 11:13:25 +0000acidjnk(~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-22 11:17:39 +0000Digit(~user@user/digit) Digit
2025-06-22 11:17:42 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2025-06-22 11:19:36 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 11:20:34 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-06-22 11:23:25 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-06-22 11:23:45 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 244 seconds)
2025-06-22 11:23:45 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 11:25:31 +0000DigitDigitteknohippie
2025-06-22 11:25:36 +0000DigitteknohippieDigit
2025-06-22 11:29:49 +0000Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-06-22 11:30:59 +0000Digit(~user@user/digit) Digit
2025-06-22 11:38:59 +0000Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-06-22 11:41:15 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 11:41:29 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 11:43:12 +0000acidjnk(~acidjnk@p200300d6e70b66892d06789958098d16.dip0.t-ipconnect.de) acidjnk
2025-06-22 11:56:22 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-06-22 12:13:09 +0000doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-22 12:15:52 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds)
2025-06-22 12:20:02 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 12:20:44 +0000trickard_trickard
2025-06-22 12:22:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-22 12:23:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 12:28:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-22 12:28:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 12:30:33 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 12:31:15 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 12:37:26 +0000Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-06-22 12:40:22 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-22 12:41:33 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-22 12:44:24 +0000AlexZenon(~alzenon@178.34.163.228) (Ping timeout: 252 seconds)
2025-06-22 12:49:00 +0000AlexZenon(~alzenon@178.34.163.228)
2025-06-22 12:55:47 +0000hololeap(~quassel@user/hololeap) hololeap
2025-06-22 12:56:57 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 13:06:29 +0000acidjnk(~acidjnk@p200300d6e70b66892d06789958098d16.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-22 13:09:45 +0000Digit(~user@user/digit) Digit
2025-06-22 13:14:30 +0000Digitdigitteknohippie
2025-06-22 13:16:38 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 13:31:49 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 13:32:03 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 13:32:38 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 13:36:15 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 13:38:14 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 13:39:58 +0000soverysour(~soverysou@84.232.150.229) soverysour
2025-06-22 13:39:59 +0000soverysour(~soverysou@84.232.150.229) (Changing host)
2025-06-22 13:39:59 +0000soverysour(~soverysou@user/soverysour) soverysour
2025-06-22 13:45:10 +0000soverysour(~soverysou@user/soverysour) (Ping timeout: 272 seconds)
2025-06-22 13:55:18 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 13:55:25 +0000Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-22 13:56:09 +0000doyougnu(~doyougnu@syn-045-046-168-241.res.spectrum.com)
2025-06-22 13:57:14 +0000califax(~califax@user/califx) califx
2025-06-22 14:00:37 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 14:02:35 +0000trickard_trickard
2025-06-22 14:03:27 +0000oxapentane(~oxapentan@user/oxapentane) (Remote host closed the connection)
2025-06-22 14:04:03 +0000oxapentane(~oxapentan@user/oxapentane) oxapentane
2025-06-22 14:06:07 +0000digitteknohippieDigit
2025-06-22 14:12:39 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-06-22 14:14:46 +0000acidjnk(~acidjnk@p200300d6e70b6617e17d28f8f1b32aad.dip0.t-ipconnect.de) acidjnk
2025-06-22 14:28:12 +0000EvanR_(~EvanR@user/evanr) EvanR
2025-06-22 14:28:45 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 14:29:30 +0000rubin55(sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 260 seconds)
2025-06-22 14:29:30 +0000Adeon(sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 260 seconds)
2025-06-22 14:30:26 +0000Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-06-22 14:30:34 +0000rubin55(sid666180@id-666180.ilkley.irccloud.com) rubin55
2025-06-22 14:30:40 +0000EvanR(~EvanR@user/evanr) (Ping timeout: 260 seconds)
2025-06-22 14:31:40 +0000wbooze(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-06-22 14:35:08 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-06-22 14:37:03 +0000califax(~califax@user/califx) califx
2025-06-22 14:38:53 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2025-06-22 14:41:16 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 14:42:15 +0000ol0ck(~quassel@user/ol0ck) ol0ck
2025-06-22 14:43:18 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 14:47:45 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-06-22 14:47:53 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-22 14:48:07 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-22 14:49:33 +0000wbooze(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline
2025-06-22 15:08:01 +0000califax(~califax@user/califx) califx
2025-06-22 15:24:42 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-06-22 15:26:47 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-22 15:28:48 +0000poscat(~poscat@user/poscat) poscat
2025-06-22 15:33:22 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-22 15:33:29 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-22 15:34:05 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-22 15:34:11 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 15:35:48 +0000poscat(~poscat@user/poscat) poscat
2025-06-22 15:37:16 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds)
2025-06-22 15:38:42 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 15:47:29 +0000Square(~Square@user/square) Square
2025-06-22 15:50:33 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-06-22 15:56:42 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-22 16:09:56 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-22 16:16:32 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds)
2025-06-22 16:16:50 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 16:23:37 +0000trickard_trickard
2025-06-22 16:25:57 +0000cawfee(root@2001:19f0:4400:79a1::babe) (Ping timeout: 276 seconds)
2025-06-22 16:35:19 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 16:36:54 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-22 16:37:42 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-22 16:38:31 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 16:38:40 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 16:39:18 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad)
2025-06-22 16:40:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 16:40:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 16:40:48 +0000califax(~califax@user/califx) califx
2025-06-22 16:44:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-22 16:44:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 16:49:06 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 16:50:25 +0000califax(~califax@user/califx) califx
2025-06-22 16:58:46 +0000soverysour(~soverysou@84.232.150.229) soverysour
2025-06-22 16:58:46 +0000soverysour(~soverysou@84.232.150.229) (Changing host)
2025-06-22 16:58:46 +0000soverysour(~soverysou@user/soverysour) soverysour
2025-06-22 17:05:31 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 17:06:47 +0000califax(~califax@user/califx) califx
2025-06-22 17:07:46 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-22 17:13:00 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-06-22 17:23:19 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-06-22 17:24:49 +0000 <geekosaur> loonycyborg: a quasiquoter is just a function `String -> Q Exp`, so you have to determine the substring to be passed to the other quasiquoter and then you can just call its defining function and integrate the resulting AST into yours
2025-06-22 17:25:54 +0000 <haskellbridge> <loonycyborg> And how to integrate ASTs? with <>?
2025-06-22 17:26:27 +0000 <geekosaur> that part I couldn't tell you as I'm only a novice with TH, sorry
2025-06-22 17:27:08 +0000 <monochrom> Also, "it depends".
2025-06-22 17:29:11 +0000acidjnk(~acidjnk@p200300d6e70b6617e17d28f8f1b32aad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-22 17:31:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 17:33:15 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-22 17:35:05 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 17:35:53 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-06-22 17:38:50 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 17:39:43 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 17:41:20 +0000califax(~califax@user/califx) califx
2025-06-22 17:41:50 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-06-22 17:41:50 +0000notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-06-22 17:45:28 +0000notzmv(~umar@user/notzmv) notzmv
2025-06-22 17:54:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-22 17:54:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 17:55:42 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-22 18:00:44 +0000tavare(~tavare@user/tavare) tavare
2025-06-22 18:02:23 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 18:03:59 +0000califax(~califax@user/califx) califx
2025-06-22 18:04:34 +0000notzmv(~umar@user/notzmv) (Ping timeout: 260 seconds)
2025-06-22 18:05:22 +0000rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-06-22 18:05:47 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-06-22 18:05:51 +0000califax(~califax@user/califx) (Client Quit)
2025-06-22 18:07:26 +0000califax(~califax@user/califx) califx
2025-06-22 18:11:49 +0000soverysour(~soverysou@user/soverysour) (Ping timeout: 252 seconds)
2025-06-22 18:12:16 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 18:12:22 +0000tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-06-22 18:15:31 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-06-22 18:15:48 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-06-22 18:15:49 +0000califax(~califax@user/califx) califx
2025-06-22 18:18:00 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-06-22 18:26:22 +0000hseg(~gesh@46.120.20.122) (Ping timeout: 272 seconds)
2025-06-22 18:29:47 +0000acidjnk(~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) acidjnk
2025-06-22 18:33:13 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-22 18:34:19 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-22 18:36:03 +0000dispater(~dispater@user/brprice) brprice
2025-06-22 18:36:33 +0000orcus(~orcus@user/brprice) brprice
2025-06-22 18:41:26 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-06-22 18:41:54 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds)
2025-06-22 18:46:21 +0000rvalue-rvalue
2025-06-22 18:47:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 18:47:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 18:48:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-22 19:00:02 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-22 19:00:42 +0000caconym7(~caconym@user/caconym) caconym
2025-06-22 19:01:35 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 19:05:15 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 19:07:18 +0000 <tomsmeding> loonycyborg: Well, an AST is a tree; (<>) wouldn't be able to decde for you how to combine them ;)
2025-06-22 19:07:20 +0000 <tomsmeding> *decide
2025-06-22 19:07:32 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds)
2025-06-22 19:09:05 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 19:09:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-22 19:10:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 19:10:19 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-06-22 19:14:12 +0000My-Bosnian-Mom-M(~My-Bosnia@109.175.54.108)
2025-06-22 19:14:51 +0000Guest59(~Guest59@pool-100-36-178-27.washdc.fios.verizon.net)
2025-06-22 19:15:38 +0000Guest59(~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
2025-06-22 19:17:29 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-06-22 19:18:13 +0000 <haskellbridge> <loonycyborg> hmm if original QQ returns AST then another QQ would have to operate on that AST and add own code to it, I don't know TH much yet either.
2025-06-22 19:19:05 +0000 <haskellbridge> <loonycyborg> I only know that you can turn some of your code immediately into AST but I'm not sure how to make it see result of another QQ as a variable inside of it
2025-06-22 19:20:30 +0000 <haskellbridge> <loonycyborg> probably implementing own QQ without using other QQ would be better choice anyway
2025-06-22 19:20:56 +0000 <haskellbridge> <loonycyborg> mainly was thinking of this because QQ reusing other QQ could be more maintainable
2025-06-22 19:24:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-06-22 19:24:18 +0000EvanR_EvanR
2025-06-22 19:25:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 19:25:23 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2025-06-22 19:25:46 +0000 <geekosaur> most of the time I expect that you would graft the new AST as an expression when you would otherwise insert a new AST node of your own?
2025-06-22 19:27:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 19:28:39 +0000 <geekosaur> should be no different from building an expression subnode of your own, except in this case it was built by the other quasiquoter
2025-06-22 19:29:20 +0000 <geekosaur> becomes more complicated if you need to refer to stuff inside of it, of course, but hopefully you don't need to
2025-06-22 19:30:52 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-22 19:33:04 +0000 <EvanR> TH is a monad right. Is there some deep theoretical connection between stuff like TH and monads
2025-06-22 19:34:19 +0000cawfee(root@2001:19f0:4400:79a1::babe) qjqqyy
2025-06-22 19:36:07 +0000soverysour(~soverysou@84.232.150.229)
2025-06-22 19:36:07 +0000soverysour(~soverysou@84.232.150.229) (Changing host)
2025-06-22 19:36:07 +0000soverysour(~soverysou@user/soverysour) soverysour
2025-06-22 19:37:01 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-22 19:45:33 +0000cawfee(root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.3)
2025-06-22 19:45:41 +0000cawfee(root@2001:19f0:4400:79a1::babe)
2025-06-22 19:46:09 +0000My-Bosnian-Mom-M(~My-Bosnia@109.175.54.108) (Quit: Client closed)
2025-06-22 19:46:26 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-22 19:46:48 +0000soverysour(~soverysou@user/soverysour) (Ping timeout: 276 seconds)
2025-06-22 19:49:18 +0000 <tomsmeding> EvanR: "TH is a monad" doesn't track; the staged code in TH runs in a monad (called Q) because it needs to do effectful stuff like generating names, querying information from the compiler, etc.
2025-06-22 19:49:30 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-22 19:49:43 +0000 <tomsmeding> "TH" is syntax, not really something that can "be" a monad, I think
2025-06-22 19:49:54 +0000 <EvanR> I was thinking of Q
2025-06-22 19:50:11 +0000 <Hecate> Just like James Bond when his gadgets don't work
2025-06-22 19:53:04 +0000 <mauke> .oO( it's a continuum )
2025-06-22 19:59:47 +0000 <Hecate> 'sup mauke :)
2025-06-22 20:00:12 +0000 <mauke> o/
2025-06-22 20:05:35 +0000 <EvanR> what's a continuum
2025-06-22 20:05:47 +0000 <EvanR> rather what does "it" refer to
2025-06-22 20:06:04 +0000 <EvanR> the james bond franschise? xD
2025-06-22 20:10:06 +0000 <geekosaur> the Q Continuum from ST:TNG
2025-06-22 20:10:20 +0000 <EvanR> oh
2025-06-22 20:14:06 +0000pavonia(~user@user/siracusa) siracusa
2025-06-22 20:14:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-22 20:17:03 +0000 <monochrom> Q is a monad because it has two effects: Fresh name generation, IO.
2025-06-22 20:19:11 +0000 <EvanR> is that the only reason?
2025-06-22 20:19:25 +0000 <EvanR> if it weren't for that would it just be a monoid or something
2025-06-22 20:19:37 +0000 <ski> (constructing local scopes with variables, in MetaML,MetaOCaml, does not require an effect)
2025-06-22 20:19:41 +0000 <EvanR> or just an expression
2025-06-22 20:21:44 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-06-22 20:23:29 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-06-22 20:26:30 +0000ThePenguin(~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection)
2025-06-22 20:29:00 +0000ThePenguin(~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin
2025-06-22 20:34:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-22 20:35:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 20:36:22 +0000 <tomsmeding> EvanR: these are the monad methods https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH-Syntax.html…
2025-06-22 20:50:39 +0000Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-22 20:56:23 +0000Square(~Square@user/square) (Ping timeout: 268 seconds)
2025-06-22 21:07:15 +0000tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 21:15:09 +0000weary-traveler(~user@user/user363627) user363627
2025-06-22 21:16:39 +0000tromp(~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5)
2025-06-22 21:50:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-22 21:50:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 22:05:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-22 22:05:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 22:06:38 +0000prdak(~Thunderbi@user/prdak) prdak
2025-06-22 22:06:56 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-06-22 22:10:49 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-06-22 22:11:40 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-06-22 22:13:21 +0000dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-22 22:13:22 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-22 22:15:05 +0000dispater(~dispater@user/brprice) brprice
2025-06-22 22:15:34 +0000orcus(~orcus@user/brprice) brprice
2025-06-22 22:18:24 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds)
2025-06-22 22:19:23 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-06-22 22:32:49 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-22 22:33:57 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 22:33:59 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-06-22 22:46:50 +0000ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2025-06-22 22:46:50 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-22 22:47:18 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-06-22 22:47:18 +0000ChanServ+v haskellbridge
2025-06-22 22:49:47 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-06-22 22:49:49 +0000jespada(~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-06-22 22:51:31 +0000jespada(~jespada@r167-61-33-87.dialup.adsl.anteldata.net.uy) jespada
2025-06-22 22:52:42 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds)
2025-06-22 22:52:46 +0000tmciver_(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-22 22:54:16 +0000tromp(~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 22:57:56 +0000wbooze(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-06-22 23:00:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-22 23:01:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-22 23:02:08 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-22 23:02:45 +0000acidjnk(~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-22 23:08:43 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-06-22 23:17:01 +0000sprotte24(~sprotte24@p200300d16f0e3d00d9d0ec515bdfe1f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-06-22 23:26:04 +0000wbooze(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline
2025-06-22 23:35:23 +0000ystael(~ystael@user/ystael) ystael
2025-06-22 23:39:34 +0000Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-22 23:41:33 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-06-22 23:43:19 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-22 23:48:53 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich