2025-06-22 00:02:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 00:04:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 00:04:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:09:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 00:09:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:10:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-22 00:12:00 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-06-22 00:13:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 00:13:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:18:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 00:18:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:19:54 +0200 | Discordian93 | (~Discordia@user/Discordian93) (Remote host closed the connection) |
2025-06-22 00:21:43 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 00:21:56 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 00:24:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 00:25:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:28:33 +0200 | jespada | (~jespada@179.26.247.12) (Ping timeout: 248 seconds) |
2025-06-22 00:31:56 +0200 | jespada | (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) jespada |
2025-06-22 00:32:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 00:32:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 00:33:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 00:34:57 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2025-06-22 00:40:19 +0200 | acidjnk | (~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-22 00:42:45 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-06-22 00:43:29 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
2025-06-22 00:44:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:47:45 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 00:47:59 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 00:48:15 +0200 | <hololeap> | System.OsPath.osp :: QuasiQuoter |
2025-06-22 00:48:36 +0200 | <hololeap> | can someone remind me how to use quasi quoters like this |
2025-06-22 00:49:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 00:50:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:50:28 +0200 | <hololeap> | would it be: myPath = [| osp "myPath" |] :: OsPath |
2025-06-22 00:52:54 +0200 | <hololeap> | [osp| "myPath" |] |
2025-06-22 00:52:57 +0200 | <hololeap> | looks like |
2025-06-22 00:54:06 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-06-22 00:54:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 00:55:11 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
2025-06-22 00:55:28 +0200 | Digitteknohippie | Digit |
2025-06-22 00:56:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 00:56:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-06-22 00:58:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 00:59:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 00:59:55 +0200 | trickard_ | trickard |
2025-06-22 01:04:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:04:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:09:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:10:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:11:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 01:13:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:14:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:16:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 01:19:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 01:19:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:19:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:20:14 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-06-22 01:22:03 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-06-22 01:25:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:27:00 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-06-22 01:27:32 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 01:27:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-06-22 01:27:45 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 01:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 01:33:31 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 01:33:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:37:47 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 01:38:02 +0200 | sprotte24 | (~sprotte24@p200300d16f085b008008e72f4942b32e.dip0.t-ipconnect.de) |
2025-06-22 01:38:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:39:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:41:48 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 01:42:07 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-06-22 01:42:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2025-06-22 01:43:28 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-06-22 01:44:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-22 01:47:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 01:47:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:51:59 +0200 | <hololeap> | hmm... (Bool -> Bool -> Bool) -> [a -> m Bool] -> a -> m Bool |
2025-06-22 01:52:10 +0200 | trickard_ | trickard |
2025-06-22 01:53:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:53:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 01:58:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 01:58:23 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 268 seconds) |
2025-06-22 01:58:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:03:33 +0200 | jespada | (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-06-22 02:05:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:05:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:08:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:08:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:09:56 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
2025-06-22 02:11:52 +0200 | <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 02:11:52 +0200 | <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 02:11:58 +0200 | <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 02:11:58 +0200 | <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 02:12:06 +0200 | <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 02:12:06 +0200 | <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 02:12:58 +0200 | <hololeap> | yeah, I realized I have to choose the Any or All monoids because mempty also needs to be defined |
2025-06-22 02:14:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 02:14:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:16:33 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-06-22 02:17:54 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-22 02:19:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-06-22 02:20:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:21:38 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
2025-06-22 02:25:29 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-06-22 02:25:45 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
2025-06-22 02:26:28 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-06-22 02:26:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:26:42 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-06-22 02:26:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:31:51 +0200 | sprotte24 | (~sprotte24@p200300d16f085b008008e72f4942b32e.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-06-22 02:32:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:32:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:38:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 02:39:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:39:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-06-22 02:44:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-22 02:44:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:45:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:46:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-06-22 02:47:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 02:48:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 02:50:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:50:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 02:51:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
2025-06-22 02:52:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-06-22 02:52:18 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-06-22 02:53:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-22 02:53:51 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 02:56:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 02:56:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:02:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:02:46 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-22 03:03:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:05:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:05:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:08:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:09:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:12:28 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-06-22 03:13:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 03:14:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 03:14:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:15:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:15:28 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-06-22 03:16:09 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-06-22 03:19:45 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-22 03:19:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 03:20:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 03:20:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:21:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:25:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:26:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:27:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-06-22 03:27:58 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-06-22 03:31:08 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 244 seconds) |
2025-06-22 03:31:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:32:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:34:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:35:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:40:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:40:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:41:52 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 03:42:05 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 03:43:00 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
2025-06-22 03:44:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:45:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:45:50 +0200 | <haskellbridge> | <maerwald> hololeap: without the quotes |
2025-06-22 03:46:11 +0200 | <haskellbridge> | <maerwald> [osp|mypath|] |
2025-06-22 03:52:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:52:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:55:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 03:56:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 03:56:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 03:56:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:00:39 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 04:00:53 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 04:01:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:02:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2025-06-22 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-06-22 04:07:16 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 04:07:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:08:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:14:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:14:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:21:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 04:21:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:24:14 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
2025-06-22 04:26:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:26:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:31:48 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2025-06-22 04:32:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 04:32:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:33:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 04:33:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 04:34:05 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
2025-06-22 04:34:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-06-22 04:35:43 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2025-06-22 04:36:55 +0200 | hc | (~hc@mail.hce.li) hc |
2025-06-22 04:37:51 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-06-22 04:39:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:39:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:46:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 04:48:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:48:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:49:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 04:51:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:52:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:53:19 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 04:57:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 04:57:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 04:57:58 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 04:58:12 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 05:03:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:03:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:04:43 +0200 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
2025-06-22 05:06:33 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 05:10:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:10:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:17:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:17:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:19:10 +0200 | aforemny_ | (~aforemny@i577B12E7.versanet.de) aforemny |
2025-06-22 05:20:06 +0200 | aforemny | (~aforemny@2001:9e8:6ce1:db00:337c:8178:e350:ca70) (Ping timeout: 276 seconds) |
2025-06-22 05:22:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:23:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:27:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:28:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:29:42 +0200 | raym | (~ray@user/raym) (Quit: leaving) |
2025-06-22 05:30:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 05:30:33 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-22 05:31:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 05:31:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:32:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:37:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 05:38:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:43:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:44:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-22 05:44:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:44:57 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
2025-06-22 05:50:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 05:50:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 05:55:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-22 05:58:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 06:05:03 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-06-22 06:16:09 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 268 seconds) |
2025-06-22 06:25:25 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 06:44:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 06:45:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-06-22 06:46:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 06:49:32 +0200 | <hololeap> | maerwald: ty |
2025-06-22 06:51:28 +0200 | Jeanne-Kamikaze | (~jeannekam@static-23-234-95-217.cust.tzulo.com) Jeanne-Kamikaze |
2025-06-22 06:51:51 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-06-22 06:54:07 +0200 | Jeanne-Kamikaze | (~jeannekam@static-23-234-95-217.cust.tzulo.com) (Remote host closed the connection) |
2025-06-22 06:56:32 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-22 07:05:32 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 07:05:45 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 07:13:52 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 07:15:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 07:16:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 07:18:24 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-06-22 07:35:31 +0200 | soverysour | (~soverysou@84.232.150.229) |
2025-06-22 07:35:31 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-22 07:35:31 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-22 07:36:20 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-06-22 07:42:27 +0200 | hololeap | (~quassel@user/hololeap) (Quit: stack overflow) |
2025-06-22 07:44:03 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
2025-06-22 07:47:14 +0200 | Alyosha | (~Alyosha@user/Alyosha) (Remote host closed the connection) |
2025-06-22 07:56:57 +0200 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
2025-06-22 07:58:02 +0200 | hololeap | (~quassel@user/hololeap) (Quit: odbye) |
2025-06-22 07:58:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2025-06-22 08:05:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-22 08:36:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 08:38:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 08:39:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 08:39:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 08:42:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Client Quit) |
2025-06-22 08:43:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-22 08:45:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-06-22 08:47:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-06-22 08:50:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 08:54:49 +0200 | trickard_ | trickard |
2025-06-22 08:57:40 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-22 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-22 09:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-22 09:00:53 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-22 09:04:16 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2025-06-22 09:11:07 +0200 | raym | (~ray@user/raym) raym |
2025-06-22 09:15:24 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 09:19:32 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-22 09:23:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 09:24:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 09:28:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-06-22 09:29:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 09:38:36 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
2025-06-22 09:39:03 +0200 | kmein | (~weechat@user/kmein) kmein |
2025-06-22 09:43:44 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds) |
2025-06-22 09:45:02 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 09:45:16 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 09:53:00 +0200 | acidjnk | (~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) acidjnk |
2025-06-22 09:55:10 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2025-06-22 09:56:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 09:57:13 +0200 | O-matorkama-BiH- | (~O-matorka@109.175.50.243) |
2025-06-22 10:02:21 +0200 | O-matorkama-BiH- | (~O-matorka@109.175.50.243) (Quit: Client closed) |
2025-06-22 10:06:34 +0200 | O-matorkama-BiH- | (~O-matorka@109.175.50.243) |
2025-06-22 10:06:47 +0200 | O-matorkama-BiH- | (~O-matorka@109.175.50.243) (Write error: Broken pipe) |
2025-06-22 10:06:57 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 10:07:09 +0200 | My-Bosnian-mom-M | (~My-Bosnia@109.175.50.243) |
2025-06-22 10:12:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 10:12:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 10:15:21 +0200 | trickard_ | trickard |
2025-06-22 10:16:35 +0200 | My-Bosnian-mom-M | (~My-Bosnia@109.175.50.243) (Quit: Client closed) |
2025-06-22 10:16:55 +0200 | My-Bosnian-mom-M | (~My-Bosnia@109.175.50.243) |
2025-06-22 10:21:03 +0200 | Square | (~Square@user/square) Square |
2025-06-22 10:23:02 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 10:23:09 +0200 | My-Bosnian-mom-M | (~My-Bosnia@109.175.50.243) (Quit: Client closed) |
2025-06-22 10:23:16 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 10:25:49 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
2025-06-22 10:38:45 +0200 | trickard_ | trickard |
2025-06-22 10:44:58 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
2025-06-22 10:49:39 +0200 | Digit | (~user@user/digit) Digit |
2025-06-22 10:52:05 +0200 | pyooque | (~puke@user/puke) puke |
2025-06-22 10:52:05 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
2025-06-22 10:52:05 +0200 | pyooque | puke |
2025-06-22 10:52:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 10:52:32 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-06-22 10:52:58 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-06-22 11:00:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-06-22 11:05:21 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-06-22 11:12:25 +0200 | sprotte24 | (~sprotte24@p200300d16f0e3d00d9d0ec515bdfe1f4.dip0.t-ipconnect.de) |
2025-06-22 11:17:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 11:17:31 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 11:24:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-22 11:29:57 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 11:30:11 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 11:35:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 11:52:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 11:55:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 11:55:34 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.2) |
2025-06-22 11:55:59 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) |
2025-06-22 11:57:28 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 11:57:42 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 12:05:29 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 12:07:59 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 12:18:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 12:19:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 12:19:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 12:23:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-06-22 12:24:27 +0200 | trickard_ | trickard |
2025-06-22 12:27:51 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-06-22 12:29:06 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
2025-06-22 12:31:44 +0200 | hseg | (~gesh@46.120.20.122) |
2025-06-22 12:34:57 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
2025-06-22 12:47:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-22 12:48:34 +0200 | <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 12:48:43 +0200 | <haskellbridge> | <loonycyborg> s/for/from |
2025-06-22 12:53:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 12:57:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 13:00:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-06-22 13:00:58 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:5fd2:26f6:52c7:14ad) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-06-22 13:01:42 +0200 | jespada | (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) jespada |
2025-06-22 13:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-22 13:03:01 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 13:03:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 13:03:15 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 13:03:16 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:3366:9435:f038:dded) nschoe |
2025-06-22 13:04:10 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
2025-06-22 13:04:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-06-22 13:09:38 +0200 | trickard_ | trickard |
2025-06-22 13:13:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-22 13:13:25 +0200 | acidjnk | (~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-22 13:17:39 +0200 | Digit | (~user@user/digit) Digit |
2025-06-22 13:17:42 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
2025-06-22 13:19:36 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 13:20:34 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-22 13:23:25 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-06-22 13:23:45 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
2025-06-22 13:23:45 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 13:25:31 +0200 | Digit | Digitteknohippie |
2025-06-22 13:25:36 +0200 | Digitteknohippie | Digit |
2025-06-22 13:29:49 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
2025-06-22 13:30:59 +0200 | Digit | (~user@user/digit) Digit |
2025-06-22 13:38:59 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-06-22 13:41:15 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 13:41:29 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 13:43:12 +0200 | acidjnk | (~acidjnk@p200300d6e70b66892d06789958098d16.dip0.t-ipconnect.de) acidjnk |
2025-06-22 13:56:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2025-06-22 14:13:09 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-22 14:15:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
2025-06-22 14:20:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 14:20:44 +0200 | trickard_ | trickard |
2025-06-22 14:22:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-22 14:23:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 14:28:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-22 14:28:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 14:30:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 14:31:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 14:37:26 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-06-22 14:40:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-22 14:41:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-22 14:44:24 +0200 | AlexZenon | (~alzenon@178.34.163.228) (Ping timeout: 252 seconds) |
2025-06-22 14:49:00 +0200 | AlexZenon | (~alzenon@178.34.163.228) |
2025-06-22 14:55:47 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
2025-06-22 14:56:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 15:06:29 +0200 | acidjnk | (~acidjnk@p200300d6e70b66892d06789958098d16.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-06-22 15:09:45 +0200 | Digit | (~user@user/digit) Digit |
2025-06-22 15:14:30 +0200 | Digit | digitteknohippie |
2025-06-22 15:16:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 15:31:49 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 15:32:03 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 15:32:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 15:36:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 15:38:14 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 15:39:58 +0200 | soverysour | (~soverysou@84.232.150.229) soverysour |
2025-06-22 15:39:59 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-22 15:39:59 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-22 15:45:10 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2025-06-22 15:55:18 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 15:55:25 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-22 15:56:09 +0200 | doyougnu | (~doyougnu@syn-045-046-168-241.res.spectrum.com) |
2025-06-22 15:57:14 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 16:00:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 16:02:35 +0200 | trickard_ | trickard |
2025-06-22 16:03:27 +0200 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
2025-06-22 16:04:03 +0200 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
2025-06-22 16:06:07 +0200 | digitteknohippie | Digit |
2025-06-22 16:12:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-22 16:14:46 +0200 | acidjnk | (~acidjnk@p200300d6e70b6617e17d28f8f1b32aad.dip0.t-ipconnect.de) acidjnk |
2025-06-22 16:28:12 +0200 | EvanR_ | (~EvanR@user/evanr) EvanR |
2025-06-22 16:28:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 16:29:30 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
2025-06-22 16:29:30 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 260 seconds) |
2025-06-22 16:30:26 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
2025-06-22 16:30:34 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
2025-06-22 16:30:40 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
2025-06-22 16:31:40 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-06-22 16:35:08 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-06-22 16:37:03 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 16:38:53 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-06-22 16:41:16 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 16:42:15 +0200 | ol0ck | (~quassel@user/ol0ck) ol0ck |
2025-06-22 16:43:18 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 16:47:45 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-06-22 16:47:53 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-22 16:48:07 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-22 16:49:33 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-22 17:08:01 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 17:24:42 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-06-22 17:26:47 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-22 17:28:48 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-22 17:33:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-22 17:33:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-22 17:34:05 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-22 17:34:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 17:35:48 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-22 17:37:16 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-06-22 17:38:42 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 17:47:29 +0200 | Square | (~Square@user/square) Square |
2025-06-22 17:50:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-06-22 17:56:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-22 18:09:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-22 18:16:32 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-06-22 18:16:50 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 18:23:37 +0200 | trickard_ | trickard |
2025-06-22 18:25:57 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Ping timeout: 276 seconds) |
2025-06-22 18:35:19 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 18:36:54 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-22 18:37:42 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-22 18:38:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 18:38:40 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 18:39:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-22 18:40:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 18:40:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 18:40:48 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 18:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-22 18:44:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 18:49:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 18:50:25 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 18:58:46 +0200 | soverysour | (~soverysou@84.232.150.229) soverysour |
2025-06-22 18:58:46 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-22 18:58:46 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-22 19:05:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 19:06:47 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 19:07:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-22 19:13:00 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-06-22 19:23:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-06-22 19:24:49 +0200 | <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 19:25:54 +0200 | <haskellbridge> | <loonycyborg> And how to integrate ASTs? with <>? |
2025-06-22 19:26:27 +0200 | <geekosaur> | that part I couldn't tell you as I'm only a novice with TH, sorry |
2025-06-22 19:27:08 +0200 | <monochrom> | Also, "it depends". |
2025-06-22 19:29:11 +0200 | acidjnk | (~acidjnk@p200300d6e70b6617e17d28f8f1b32aad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-06-22 19:31:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 19:33:15 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-22 19:35:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 19:35:53 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
2025-06-22 19:38:50 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 19:39:43 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 19:41:20 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 19:41:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-06-22 19:41:50 +0200 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
2025-06-22 19:45:28 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-06-22 19:54:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-22 19:54:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 19:55:42 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-06-22 20:00:44 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-06-22 20:02:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 20:03:59 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 20:04:34 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
2025-06-22 20:05:22 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-06-22 20:05:47 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-06-22 20:05:51 +0200 | califax | (~califax@user/califx) (Client Quit) |
2025-06-22 20:07:26 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 20:11:49 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-22 20:12:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 20:12:22 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-06-22 20:15:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-22 20:15:48 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-06-22 20:15:49 +0200 | califax | (~califax@user/califx) califx |
2025-06-22 20:18:00 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-06-22 20:26:22 +0200 | hseg | (~gesh@46.120.20.122) (Ping timeout: 272 seconds) |
2025-06-22 20:29:47 +0200 | acidjnk | (~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) acidjnk |
2025-06-22 20:33:13 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-22 20:34:19 +0200 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-06-22 20:36:03 +0200 | dispater | (~dispater@user/brprice) brprice |
2025-06-22 20:36:33 +0200 | orcus | (~orcus@user/brprice) brprice |
2025-06-22 20:41:26 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-06-22 20:41:54 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
2025-06-22 20:46:21 +0200 | rvalue- | rvalue |
2025-06-22 20:47:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-22 20:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-22 20:48:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-22 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-22 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-22 21:01:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 21:05:15 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-22 21:07:18 +0200 | <tomsmeding> | loonycyborg: Well, an AST is a tree; (<>) wouldn't be able to decde for you how to combine them ;) |
2025-06-22 21:07:20 +0200 | <tomsmeding> | *decide |
2025-06-22 21:07:32 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-06-22 21:09:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-22 21:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-22 21:10:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 21:10:19 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-06-22 21:14:12 +0200 | My-Bosnian-Mom-M | (~My-Bosnia@109.175.54.108) |
2025-06-22 21:14:51 +0200 | Guest59 | (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) |
2025-06-22 21:15:38 +0200 | Guest59 | (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit) |
2025-06-22 21:17:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-06-22 21:18:13 +0200 | <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 21:19:05 +0200 | <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 21:20:30 +0200 | <haskellbridge> | <loonycyborg> probably implementing own QQ without using other QQ would be better choice anyway |
2025-06-22 21:20:56 +0200 | <haskellbridge> | <loonycyborg> mainly was thinking of this because QQ reusing other QQ could be more maintainable |
2025-06-22 21:24:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-22 21:24:18 +0200 | EvanR_ | EvanR |
2025-06-22 21:25:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 21:25:23 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-06-22 21:25:46 +0200 | <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 21:27:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 21:28:39 +0200 | <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 21:29:20 +0200 | <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 21:30:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-22 21:33:04 +0200 | <EvanR> | TH is a monad right. Is there some deep theoretical connection between stuff like TH and monads |
2025-06-22 21:34:19 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
2025-06-22 21:36:07 +0200 | soverysour | (~soverysou@84.232.150.229) |
2025-06-22 21:36:07 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-22 21:36:07 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-22 21:37:01 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-22 21:45:33 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.3) |
2025-06-22 21:45:41 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) |
2025-06-22 21:46:09 +0200 | My-Bosnian-Mom-M | (~My-Bosnia@109.175.54.108) (Quit: Client closed) |
2025-06-22 21:46:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-22 21:46:48 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 276 seconds) |
2025-06-22 21:49:18 +0200 | <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 21:49:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-22 21:49:43 +0200 | <tomsmeding> | "TH" is syntax, not really something that can "be" a monad, I think |
2025-06-22 21:49:54 +0200 | <EvanR> | I was thinking of Q |
2025-06-22 21:50:11 +0200 | <Hecate> | Just like James Bond when his gadgets don't work |
2025-06-22 21:53:04 +0200 | <mauke> | .oO( it's a continuum ) |
2025-06-22 21:59:47 +0200 | <Hecate> | 'sup mauke :) |
2025-06-22 22:00:12 +0200 | <mauke> | o/ |
2025-06-22 22:05:35 +0200 | <EvanR> | what's a continuum |
2025-06-22 22:05:47 +0200 | <EvanR> | rather what does "it" refer to |
2025-06-22 22:06:04 +0200 | <EvanR> | the james bond franschise? xD |