| 2024-02-05 00:05:33 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-05 00:06:41 +0000 | destituion | (~destituio@2a02:2121:304:cc78:71fe:5788:2033:9f91) (Ping timeout: 256 seconds) |
| 2024-02-05 00:07:47 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-02-05 00:07:56 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-02-05 00:10:34 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-02-05 00:12:59 +0000 | destituion | (~destituio@2a02:2121:626:f551:7691:f531:69f8:5291) |
| 2024-02-05 00:17:34 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-05 00:18:05 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2024-02-05 00:20:18 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-05 00:23:01 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-05 00:23:27 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-02-05 00:23:59 +0000 | bilegeek | (~bilegeek@2600:1008:b00b:6566:5eea:38e6:54d6:a59a) |
| 2024-02-05 00:31:35 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-02-05 00:33:20 +0000 | falafel | (~falafel@12.97.24.242) |
| 2024-02-05 00:37:46 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-05 00:41:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2024-02-05 00:51:21 +0000 | <ski> | given `Monad M', a function `f :: M T -> M U' is referentially transparent iff there exists a `g :: T -> M U' such that `f = (g =<<)'. in that case, `f . return = (g =<<) . return = g' (latter step being a monad law), so we can equivalently describe the condition as `f = (f . return =<<)' |
| 2024-02-05 00:57:14 +0000 | <ski> | ncf : why call that operation `unKleisli', though ? |
| 2024-02-05 00:57:39 +0000 | <ski> | irregularsphere : doesn't seem like kleisli composition, to me |
| 2024-02-05 01:00:26 +0000 | falafel | (~falafel@12.97.24.242) (Ping timeout: 256 seconds) |
| 2024-02-05 01:03:40 +0000 | average | (uid473595@user/average) |
| 2024-02-05 01:04:16 +0000 | fansly | (~fansly@2001:448a:2010:476e:fcbe:e3e5:ceb0:7fbe) (Ping timeout: 276 seconds) |
| 2024-02-05 01:04:29 +0000 | fansly | (~fansly@114.124.236.77) |
| 2024-02-05 01:20:49 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-05 01:23:34 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) |
| 2024-02-05 01:26:01 +0000 | fansly | (~fansly@114.124.236.77) (Remote host closed the connection) |
| 2024-02-05 01:38:15 +0000 | Achylles | (~Achylles_@45.182.57.53) (Remote host closed the connection) |
| 2024-02-05 01:41:14 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-02-05 01:41:20 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-05 01:42:43 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-02-05 01:45:58 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-02-05 01:50:06 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-05 01:56:27 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-02-05 01:58:12 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-05 02:04:54 +0000 | falafel | (~falafel@12.97.24.242) |
| 2024-02-05 02:05:06 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-02-05 02:05:08 +0000 | <haskellbridge> | 05<irregularsphere> yea i meant morphism |
| 2024-02-05 02:05:18 +0000 | <haskellbridge> | 05<irregularsphere> ...or at least that's the `a -> m b` part |
| 2024-02-05 02:06:40 +0000 | <haskellbridge> | 05<irregularsphere> ah, thanks for mentioning =<< |
| 2024-02-05 02:15:11 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-05 02:26:22 +0000 | otto_s | (~user@p4ff27bd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-05 02:27:20 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-05 02:27:48 +0000 | otto_s | (~user@p5de2f1f9.dip0.t-ipconnect.de) |
| 2024-02-05 02:31:33 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-05 02:32:47 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-02-05 02:33:01 +0000 | dolio | (~dolio@130.44.134.54) |
| 2024-02-05 02:35:32 +0000 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-02-05 02:37:45 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) |
| 2024-02-05 02:41:12 +0000 | dolio | (~dolio@130.44.134.54) |
| 2024-02-05 02:41:16 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-02-05 02:43:02 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-02-05 02:51:35 +0000 | falafel | (~falafel@12.97.24.242) (Ping timeout: 264 seconds) |
| 2024-02-05 02:55:51 +0000 | dolio | (~dolio@130.44.134.54) (Ping timeout: 260 seconds) |
| 2024-02-05 02:59:18 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-02-05 03:01:35 +0000 | lambdaman | (~textual@172.218.204.71) |
| 2024-02-05 03:02:55 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-02-05 03:13:27 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-05 03:14:22 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-02-05 03:36:50 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-02-05 03:40:01 +0000 | td_ | (~td@i5387090F.versanet.de) (Ping timeout: 246 seconds) |
| 2024-02-05 03:41:59 +0000 | td_ | (~td@i53870920.versanet.de) |
| 2024-02-05 03:46:01 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-02-05 03:47:21 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-02-05 03:50:03 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-02-05 03:52:45 +0000 | pavonia | (~user@user/siracusa) |
| 2024-02-05 04:08:52 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 276 seconds) |
| 2024-02-05 04:21:07 +0000 | Buggys | (Buggys@shelltalk.net) |
| 2024-02-05 04:54:58 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc1:3e00:6eba:7874:227:7b7c) |
| 2024-02-05 04:55:33 +0000 | aforemny | (~aforemny@89.245.22.249) (Ping timeout: 268 seconds) |
| 2024-02-05 05:11:58 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
| 2024-02-05 05:13:19 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-02-05 05:13:44 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-05 05:19:37 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
| 2024-02-05 05:20:57 +0000 | johnw | (~johnw@69.62.242.138) |
| 2024-02-05 05:53:31 +0000 | lambdaman | (~textual@172.218.204.71) (Read error: Connection reset by peer) |
| 2024-02-05 05:55:15 +0000 | mobivme | (~mobivme@104.28.226.104) |
| 2024-02-05 05:56:03 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-05 05:56:18 +0000 | mulk | (~mulk@p5b2dc663.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-05 05:58:46 +0000 | mulk | (~mulk@pd9514313.dip0.t-ipconnect.de) |
| 2024-02-05 06:00:23 +0000 | mobivme | (~mobivme@104.28.226.104) (Ping timeout: 252 seconds) |
| 2024-02-05 06:02:48 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-05 06:02:59 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-05 06:04:27 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-02-05 06:06:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-05 06:07:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 06:10:45 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-02-05 06:17:42 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-05 06:18:08 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-05 06:20:53 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-05 06:21:01 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-02-05 06:29:22 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-05 06:29:57 +0000 | euleritian | (~euleritia@dynamic-176-005-136-105.176.5.pool.telefonica.de) |
| 2024-02-05 06:32:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e737e7151d48d69d15fdaa8c.dip0.t-ipconnect.de) |
| 2024-02-05 06:37:57 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-02-05 06:38:16 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-05 06:47:03 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-05 06:48:33 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-02-05 06:51:26 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) |
| 2024-02-05 06:53:57 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2024-02-05 06:54:44 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2024-02-05 06:58:39 +0000 | raym | (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2024-02-05 06:59:55 +0000 | raym | (~ray@user/raym) |
| 2024-02-05 07:15:38 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 2024-02-05 07:19:21 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-05 07:26:59 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2024-02-05 07:27:16 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-02-05 07:30:05 +0000 | jargon | (~jargon@105.sub-174-205-230.myvzw.com) (Remote host closed the connection) |
| 2024-02-05 07:34:45 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) |
| 2024-02-05 07:36:52 +0000 | johnw | (~johnw@69.62.242.138) (Ping timeout: 276 seconds) |
| 2024-02-05 07:54:07 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) |
| 2024-02-05 07:59:18 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-05 08:00:39 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-05 08:01:09 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-05 08:01:42 +0000 | Square2 | (~Square4@user/square) |
| 2024-02-05 08:01:54 +0000 | euleritian | (~euleritia@dynamic-176-005-136-105.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 08:02:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 08:03:00 +0000 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-02-05 08:03:11 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-02-05 08:03:33 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-05 08:06:19 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-02-05 08:09:19 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-05 08:13:07 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-02-05 08:13:51 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:14:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:15:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:15:33 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-02-05 08:15:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:16:16 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:16:33 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-02-05 08:17:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:17:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-05 08:18:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:19:03 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:19:58 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:20:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:20:41 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:23:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:23:47 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:24:29 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:24:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:25:28 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-05 08:26:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:26:17 +0000 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-05 08:26:34 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:27:18 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:27:48 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:28:33 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:28:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:29:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:29:58 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:30:20 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:30:33 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-02-05 08:30:38 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:31:00 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:31:18 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:31:24 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-05 08:32:10 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:32:29 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:32:36 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-05 08:33:03 +0000 | CiaoSen | (~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03) |
| 2024-02-05 08:33:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:34:06 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:34:48 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:35:08 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:35:30 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:35:48 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:36:03 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-05 08:36:19 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-05 08:36:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:36:57 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:37:18 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:37:37 +0000 | chele | (~chele@user/chele) |
| 2024-02-05 08:37:38 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:37:57 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-02-05 08:38:26 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:38:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:39:32 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:39:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:40:14 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-05 08:40:34 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:40:59 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-02-05 08:40:59 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-05 08:41:00 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:41:42 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:42:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:42:28 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:42:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:43:33 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:44:01 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-05 08:44:05 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:44:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:44:53 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-02-05 08:45:15 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:45:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:46:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:46:56 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:47:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:48:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:48:29 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:49:07 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-02-05 08:49:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:50:13 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:50:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:51:18 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:51:40 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:52:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:52:33 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 256 seconds) |
| 2024-02-05 08:52:33 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 256 seconds) |
| 2024-02-05 08:52:33 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2024-02-05 08:52:33 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 256 seconds) |
| 2024-02-05 08:52:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:53:07 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 256 seconds) |
| 2024-02-05 08:53:07 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 256 seconds) |
| 2024-02-05 08:53:15 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:54:00 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:54:01 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-05 08:54:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:55:08 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:55:26 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:55:41 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-02-05 08:55:49 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-02-05 08:55:53 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-02-05 08:56:03 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-02-05 08:56:07 +0000 | probie | (cc0b34050a@user/probie) |
| 2024-02-05 08:56:18 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-05 08:56:41 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:56:52 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2024-02-05 08:56:58 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:57:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:57:36 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:57:41 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
| 2024-02-05 08:58:25 +0000 | ircbrowse_tom | (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 2024-02-05 08:58:31 +0000 | Server | +Cnt |
| 2024-02-05 08:59:20 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 08:59:38 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 08:59:59 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:00:16 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:00:37 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:00:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:02:08 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:02:26 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:02:47 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:03:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:03:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:03:42 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:04:03 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:04:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:04:45 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:05:06 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:05:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:06:08 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:06:29 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:06:46 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:07:07 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:07:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:07:45 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:08:02 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:08:23 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:08:40 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:09:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:09:18 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:10:02 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:10:20 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:10:41 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:10:58 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:11:04 +0000 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-02-05 09:11:42 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:12:00 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:12:20 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:12:39 +0000 | <ncf> | ski: what condition are you describing? |
| 2024-02-05 09:12:59 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:13:20 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:13:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:13:47 +0000 | <ncf> | also, why is that called referential transparency? i don't see the connection |
| 2024-02-05 09:14:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 09:14:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:15:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:15:32 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:15:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:15:58 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-05 09:16:31 +0000 | mmhat | (~mmh@p200300f1c73bf4b3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-05 09:17:05 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:17:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:17:27 +0000 | califax | (~califax@user/califx) |
| 2024-02-05 09:17:48 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2024-02-05 09:18:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:18:31 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:18:52 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:19:09 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:19:29 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:19:47 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:20:08 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:20:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:20:46 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:21:03 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:21:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:21:41 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:22:02 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:22:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:22:40 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:23:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:23:22 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:23:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:23:59 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:24:17 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:25:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:25:36 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:25:57 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:26:14 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:26:35 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:26:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:27:14 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:27:31 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:27:52 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:28:09 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:28:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-05 09:28:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:29:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:29:55 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:30:14 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:30:35 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:30:56 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:31:17 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:31:34 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:31:55 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:32:12 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:32:33 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:32:54 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:33:15 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:33:32 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:33:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-05 09:34:16 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:34:34 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:34:55 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:35:12 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:35:32 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:35:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:36:00 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-02-05 09:36:34 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:36:52 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:36:53 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 2024-02-05 09:37:13 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:37:31 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:37:52 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:38:09 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:38:30 +0000 | <lyxia> | "replacing a subexpression with another that denotes the same value does not change meaning". If "u :: M T" is an expression/computation, and if "x :: T" is its value, you want something like (f u) = (f (pure x)). |
| 2024-02-05 09:38:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:39:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:39:32 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:39:49 +0000 | tt12310 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-02-05 09:39:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:40:11 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:40:29 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:40:50 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:41:07 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:41:28 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:41:41 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-02-05 09:41:45 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:42:06 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:42:18 +0000 | tt1231 | (~tt123@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 268 seconds) |
| 2024-02-05 09:42:19 +0000 | tt12310 | tt1231 |
| 2024-02-05 09:42:23 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:42:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:43:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:43:22 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:43:27 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-05 09:43:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:44:00 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:44:17 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:44:38 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:44:58 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:45:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:45:37 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:45:58 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:46:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:47:03 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:47:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:47:46 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:48:20 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:49:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:49:23 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:49:44 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:50:02 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:50:23 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:50:23 +0000 | swistak | (~swistak@185.21.216.141) |
| 2024-02-05 09:50:41 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:51:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:51:41 +0000 | danse-nr3 | (~danse@na-19-84-1.service.infuturo.it) |
| 2024-02-05 09:51:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:52:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:52:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:52:45 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:52:47 +0000 | danse-nr3 | (~danse@na-19-84-1.service.infuturo.it) (Remote host closed the connection) |
| 2024-02-05 09:53:02 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:53:10 +0000 | danse-nr3 | (~danse@na-19-84-1.service.infuturo.it) |
| 2024-02-05 09:53:25 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-05 09:53:46 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:54:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:54:25 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:54:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:55:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:55:22 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:56:06 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:56:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:56:45 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:57:03 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:57:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:57:41 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:58:02 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:58:19 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:58:39 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:58:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-02-05 09:59:01 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 09:59:22 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 09:59:40 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:00:24 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:00:43 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:01:04 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:01:21 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:01:56 +0000 | <int-e> | yellowbean: why so many rejoins |
| 2024-02-05 10:02:06 +0000 | pruiz | (~user@user/pruiz) |
| 2024-02-05 10:02:35 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:02:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:03:14 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:03:32 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:03:49 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-05 10:04:16 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:04:35 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:04:56 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:05:15 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:05:36 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:05:53 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:06:14 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:06:31 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:06:52 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:07:09 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:07:30 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:07:43 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-02-05 10:07:47 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:08:08 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:08:09 +0000 | puke | (~puke@user/puke) |
| 2024-02-05 10:08:26 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:08:47 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:09:07 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) |
| 2024-02-05 10:09:51 +0000 | yellowbean | (~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection) |
| 2024-02-05 10:16:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-02-05 10:17:21 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-02-05 10:19:44 +0000 | <haskellbridge> | 05<irregularsphere> ski: you seem to be hinting that there are functions that aren't referentially transparent |
| 2024-02-05 10:20:00 +0000 | <haskellbridge> | 05<irregularsphere> hmm, maybe `reverse :: [a] -> [a]` is one? |
| 2024-02-05 10:21:13 +0000 | <haskellbridge> | 05<irregularsphere> ghci> reverse [1,2] |
| 2024-02-05 10:21:13 +0000 | <haskellbridge> | 05<irregularsphere> [2,1] |
| 2024-02-05 10:21:14 +0000 | <haskellbridge> | 05<irregularsphere> ghci> [1,2] >>= reverse . return |
| 2024-02-05 10:21:15 +0000 | <haskellbridge> | 05<irregularsphere> [1,2] |
| 2024-02-05 10:21:39 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-02-05 10:21:51 +0000 | <haskellbridge> | 05<irregularsphere> ncf: concludes it, not all functions `m a -> m b` have a proper `a -> m b` |
| 2024-02-05 10:22:03 +0000 | <haskellbridge> | 05<irregularsphere> thanks ski! |
| 2024-02-05 10:23:30 +0000 | tromp | (~textual@92.110.219.57) |
| 2024-02-05 10:24:35 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-05 10:26:18 +0000 | <ncf> | i'm pretty sure that's only the case for idempotent monads |
| 2024-02-05 10:26:40 +0000 | <haskellbridge> | 05<irregularsphere> ...though `\f -> >>= f . return` seems to turn every function into referentially transparent functions, since `>>= (>>= f . return) . return` is `>>= f . return` (monad law) |
| 2024-02-05 10:28:00 +0000 | bilegeek | (~bilegeek@2600:1008:b00b:6566:5eea:38e6:54d6:a59a) (Quit: Leaving) |
| 2024-02-05 10:29:12 +0000 | <haskellbridge> | 05<irregularsphere> ncf: wdym? are you saying that in an indempotent monad, every function is referentially transparent? |
| 2024-02-05 10:29:24 +0000 | <haskellbridge> | 05<irregularsphere> every function `m a -> m b`* |
| 2024-02-05 10:30:03 +0000 | <ncf> | specifically i'm thinking of "uniquely eliminating modalities", which is quite a strong condition |
| 2024-02-05 10:30:19 +0000 | <haskellbridge> | 05<irregularsphere> ok I'm lost, bailing out |
| 2024-02-05 10:31:17 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2024-02-05 10:35:19 +0000 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-02-05 10:35:43 +0000 | Square3 | (~Square4@user/square) |
| 2024-02-05 10:35:50 +0000 | mxs8 | (~mxs@user/mxs) |
| 2024-02-05 10:35:59 +0000 | fr33domlover3 | (~fr33domlo@towards.vision) |
| 2024-02-05 10:36:05 +0000 | ulvarref` | (~user@188.124.56.153) |
| 2024-02-05 10:36:19 +0000 | malte_ | (~malte@mal.tc) |
| 2024-02-05 10:36:23 +0000 | sefidel_ | (~sefidel@user/sefidel) |
| 2024-02-05 10:36:25 +0000 | tt12310 | (~tt123@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-02-05 10:36:31 +0000 | SethTisue_ | (sid14912@2a03:5180:f:3::3a40) |
| 2024-02-05 10:36:41 +0000 | exarkun_ | (~exarkun@user/exarkun) |
| 2024-02-05 10:36:41 +0000 | aspen_ | (sid449115@id-449115.helmsley.irccloud.com) |
| 2024-02-05 10:36:44 +0000 | g_ | (glguy@libera/staff/glguy) |
| 2024-02-05 10:36:47 +0000 | yaroot_ | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
| 2024-02-05 10:36:48 +0000 | alanz_ | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-02-05 10:36:49 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:2c89:8f43:9cbc:9a87) |
| 2024-02-05 10:36:53 +0000 | jbalint_ | (~jbalint@2600-6c44-117f-e98a-816a-9488-0fb1-07b7.inf6.spectrum.com) |
| 2024-02-05 10:36:57 +0000 | kaskal- | (~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c) |
| 2024-02-05 10:36:59 +0000 | orcus- | (~orcus@mail.brprice.uk) |
| 2024-02-05 10:37:00 +0000 | nitrix_ | (~nitrix@user/nitrix) |
| 2024-02-05 10:37:01 +0000 | T_S_____ | (sid501726@2a03:5180:f:5::7:a7de) |
| 2024-02-05 10:37:11 +0000 | Techcable_ | (sid534393@user/Techcable) |
| 2024-02-05 10:37:23 +0000 | YoungFrawg | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-02-05 10:37:24 +0000 | darksatanic | (~darkling@2001:ba8:1f1:f0e6::2) |
| 2024-02-05 10:37:28 +0000 | wryishly | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-02-05 10:38:09 +0000 | hexology- | (~hexology@user/hexology) |
| 2024-02-05 10:38:11 +0000 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2024-02-05 10:38:33 +0000 | markasoftware_ | (~quassel@107.161.26.124) |
| 2024-02-05 10:38:37 +0000 | masterbuilder_ | (~quassel@157.97.10.49) |
| 2024-02-05 10:38:53 +0000 | stefan-___ | (~m-yh2rcc@42dots.de) |
| 2024-02-05 10:39:01 +0000 | Rembane_ | (~Rembane@li346-36.members.linode.com) |
| 2024-02-05 10:39:03 +0000 | nckx_ | (~nckx@libera/staff/owl/nckx) |
| 2024-02-05 10:39:04 +0000 | it__ | (~quassel@188.172.228.139) |
| 2024-02-05 10:39:09 +0000 | shane | (~shane@ana.rch.ist) |
| 2024-02-05 10:39:41 +0000 | ddb1 | (ddb@tilde.club) |
| 2024-02-05 10:39:45 +0000 | ski_ | (~ski@remote11.chalmers.se) |
| 2024-02-05 10:40:02 +0000 | SrOs0 | (~sroso@user/SrOso) |
| 2024-02-05 10:40:06 +0000 | meejah_ | (~meejah@104.236.166.239) |
| 2024-02-05 10:40:13 +0000 | remsen | (ianremsen@198.50.210.248) |
| 2024-02-05 10:40:51 +0000 | Maxdaman1us | (~Maxdamant@user/maxdamantus) |
| 2024-02-05 10:41:38 +0000 | infinity0_ | (~infinity0@pwned.gg) |
| 2024-02-05 10:41:38 +0000 | infinity0 | (~infinity0@pwned.gg) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2024-02-05 10:41:38 +0000 | infinity0_ | infinity0 |
| 2024-02-05 10:44:10 +0000 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | sroso | (~sroso@user/SrOso) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | Square2 | (~Square4@user/square) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | masterbuilder | (~quassel@user/masterbuilder) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:fe92:5597:dc34:acbb) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | nitrix | (~nitrix@user/nitrix) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | ulvarrefr | (~user@188.124.56.153) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | kaskal | (~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | yaroot | (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | mxs | (~mxs@user/mxs) (*.net *.split) |
| 2024-02-05 10:44:10 +0000 | ski | (~ski@remote11.chalmers.se) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | g | (glguy@libera/staff/glguy) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | ddb | (ddb@2607:5300:203:b92b::115) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | Techcable | (sid534393@user/Techcable) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | hexology | (~hexology@user/hexology) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | nckx | (~nckx@libera/staff/owl/nckx) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | malte | (~malte@mal.tc) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | woffs | (3cd46299b2@woffs.de) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | orcus | (~orcus@mail.brprice.uk) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | shane_ | (~shane@ana.rch.ist) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | T_S____ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2024-02-05 10:44:11 +0000 | remsen | remmie |
| 2024-02-05 10:44:11 +0000 | tt12310 | tt1231 |
| 2024-02-05 10:44:11 +0000 | yaroot_ | yaroot |
| 2024-02-05 10:44:12 +0000 | mxs8 | mxs |
| 2024-02-05 10:44:12 +0000 | nckx_ | nckx |
| 2024-02-05 10:44:12 +0000 | alanz_ | alanz |
| 2024-02-05 10:44:12 +0000 | SethTisue_ | SethTisue |
| 2024-02-05 10:44:12 +0000 | aspen_ | aspen |
| 2024-02-05 10:44:16 +0000 | sefidel_ | sefidel |
| 2024-02-05 10:44:16 +0000 | YoungFrawg | YoungFrog |
| 2024-02-05 10:44:16 +0000 | fr33domlover3 | fr33domlover |
| 2024-02-05 10:44:16 +0000 | malte_ | malte |
| 2024-02-05 10:44:17 +0000 | Techcable_ | Techcable |
| 2024-02-05 10:44:17 +0000 | g_ | g |
| 2024-02-05 10:44:45 +0000 | nitrix_ | nitrix |
| 2024-02-05 10:44:47 +0000 | noctux | (~noctux@user/noctux) |
| 2024-02-05 10:45:07 +0000 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-02-05 10:45:23 +0000 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-02-05 10:46:53 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-02-05 10:48:35 +0000 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds) |
| 2024-02-05 10:48:45 +0000 | stefan-___ | stefan-__ |
| 2024-02-05 10:50:11 +0000 | pounce | (~pounce@user/cute/pounce) |
| 2024-02-05 10:50:48 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2024-02-05 11:02:05 +0000 | CiaoSen | (~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds) |
| 2024-02-05 11:08:15 +0000 | woffs | (3cd46299b2@woffs.de) |
| 2024-02-05 11:09:35 +0000 | dyniec | (~dyniec@dybiec.info) (Ping timeout: 264 seconds) |
| 2024-02-05 11:09:52 +0000 | dyniec | (~dyniec@dybiec.info) |
| 2024-02-05 11:11:59 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 264 seconds) |
| 2024-02-05 11:12:05 +0000 | danse-nr3 | (~danse@na-19-84-1.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-02-05 11:12:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2024-02-05 11:12:46 +0000 | danse-nr3 | (~danse@rm-19-12-255.service.infuturo.it) |
| 2024-02-05 11:19:01 +0000 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-05 11:19:28 +0000 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 2024-02-05 11:27:23 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-05 11:27:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-05 11:28:11 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 264 seconds) |
| 2024-02-05 11:28:25 +0000 | ski_ | ski |
| 2024-02-05 11:29:20 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-02-05 11:30:47 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-05 11:33:22 +0000 | xdminsy | (~xdminsy@117.147.71.221) |
| 2024-02-05 11:39:48 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) |
| 2024-02-05 11:46:24 +0000 | SrOs0 | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-05 11:46:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-05 11:46:44 +0000 | <haskellbridge> | 15<Jade> how can I signal EOF in ghci? |
| 2024-02-05 11:46:44 +0000 | <haskellbridge> | 15<Jade> When using `getContents`, pressing `CTRL+D` seems to 'input' EOT but it does not terminate |
| 2024-02-05 11:48:08 +0000 | <danse-nr3> | it also doubles each char, i guess it is not designed to be used that way |
| 2024-02-05 11:48:55 +0000 | <haskellbridge> | 15<Jade> danse-nr3: that seems sort of right because it's lazily writing to stdout as that's default ghci behavior for an IO-action |
| 2024-02-05 11:49:02 +0000 | <haskellbridge> | 15<Jade> but yeah it's a bit of a mess |
| 2024-02-05 11:52:35 +0000 | <[exa]> | also kinda hard to actually signal EOF twice, you only the close the file once right. |
| 2024-02-05 11:54:35 +0000 | substance_ | (~substance@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-02-05 11:57:43 +0000 | <haskellbridge> | 15<Jade> hm, I'm not sure how to show examples of these in the haddocks properly |
| 2024-02-05 11:58:12 +0000 | <int-e> | In essence, lazy IO on stdin doesn't work in ghci. |
| 2024-02-05 11:59:13 +0000 | <int-e> | % x <- getContents |
| 2024-02-05 11:59:13 +0000 | <yahb2> | <no output> |
| 2024-02-05 11:59:37 +0000 | <int-e> | % 1 |
| 2024-02-05 11:59:37 +0000 | <yahb2> | Oops, something went wrong |
| 2024-02-05 11:59:43 +0000 | <int-e> | % 1 |
| 2024-02-05 11:59:43 +0000 | <yahb2> | 1 |
| 2024-02-05 12:00:22 +0000 | <int-e> | That... is fun. (ghci will still print the prompt, and then say "<stdin>: hGetChar: illegal operation (handle is semi-closed)"; I guess yahb2 isn't prepared for that. |
| 2024-02-05 12:01:09 +0000 | <int-e> | Instead it looks like it recognizes the prompt, waits for the next command, but of course that'll fail miserably because the ghci session is already gone.) |
| 2024-02-05 12:11:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-05 12:13:17 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-05 12:14:32 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-02-05 12:15:23 +0000 | danse-nr3 | (~danse@rm-19-12-255.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-02-05 12:17:25 +0000 | <haskellbridge> | 15<Jade> ``` |
| 2024-02-05 12:17:26 +0000 | <haskellbridge> | 15<Jade> echo -e "interact (\str -> str ++ str)\nhi" | ghci |
| 2024-02-05 12:17:27 +0000 | <haskellbridge> | 15<Jade> ... |
| 2024-02-05 12:17:29 +0000 | <haskellbridge> | 15<Jade> ghci> hi |
| 2024-02-05 12:17:30 +0000 | <haskellbridge> | 15<Jade> hi |
| 2024-02-05 12:17:31 +0000 | <haskellbridge> | 15<Jade> ghci> Leaving GHCi. |
| 2024-02-05 12:17:33 +0000 | <haskellbridge> | 15<Jade> ``` |
| 2024-02-05 12:21:19 +0000 | <int-e> | echo hi | ghci -e 'interact (\xs -> xs ++ xs)' |
| 2024-02-05 12:26:01 +0000 | hexology- | hexology |
| 2024-02-05 12:26:52 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-05 12:30:47 +0000 | erian | (~erian@176.254.244.83) |
| 2024-02-05 12:46:13 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-05 12:53:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3340-7232-f033-8772-1378-52cf.rev.sfr.net) |
| 2024-02-05 12:54:02 +0000 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Remote host closed the connection) |
| 2024-02-05 12:56:03 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-05 12:57:19 +0000 | danse-nr3 | (~danse@rm-19-50-224.service.infuturo.it) |
| 2024-02-05 12:59:40 +0000 | danse-nr3 | (~danse@rm-19-50-224.service.infuturo.it) (Remote host closed the connection) |
| 2024-02-05 13:00:03 +0000 | danse-nr3 | (~danse@rm-19-50-224.service.infuturo.it) |
| 2024-02-05 13:06:10 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2024-02-05 13:09:57 +0000 | darksatanic | darkling |
| 2024-02-05 13:13:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-05 13:14:13 +0000 | <haskellbridge> | 05<irregularsphere> ...do reactions even work over the bridge? |
| 2024-02-05 13:14:20 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) |
| 2024-02-05 13:17:45 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
| 2024-02-05 13:18:21 +0000 | <int-e> | what's a reaction (I guess the answer is no) |
| 2024-02-05 13:18:45 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-05 13:20:22 +0000 | <haskellbridge> | 05<irregularsphere> matrix thing |
| 2024-02-05 13:25:41 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 256 seconds) |
| 2024-02-05 13:27:53 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-05 13:31:54 +0000 | <danse-nr3> | would that be like an emoji targeting a specific message? Just send the emoji on its line when you care about reaching IRC |
| 2024-02-05 13:46:04 +0000 | <haskellbridge> | 05<irregularsphere> huh |
| 2024-02-05 13:47:18 +0000 | <Clint> | what are these os-string failures i'm getting when trying to build hashable/unix with ghc 9.[68]? |
| 2024-02-05 13:49:54 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.1) |
| 2024-02-05 13:51:01 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-02-05 13:51:16 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-02-05 13:52:19 +0000 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2024-02-05 13:53:13 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-02-05 13:53:31 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-02-05 13:54:18 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2024-02-05 13:56:08 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 13:57:36 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 13:57:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 13:59:51 +0000 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-05 14:03:26 +0000 | czy | (~user@117.63.127.239) |
| 2024-02-05 14:05:41 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2024-02-05 14:07:45 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-05 14:08:58 +0000 | CiaoSen | (~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03) |
| 2024-02-05 14:09:53 +0000 | mmhat | (~mmh@p200300f1c73bf4b3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-05 14:10:11 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 2024-02-05 14:10:34 +0000 | pruiz | (~user@user/pruiz) |
| 2024-02-05 14:11:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:56e2:1ca0:c7fa:8b8d) |
| 2024-02-05 14:13:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-02-05 14:13:38 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) |
| 2024-02-05 14:18:03 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 14:18:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 14:18:38 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-05 14:19:59 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2024-02-05 14:23:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-02-05 14:23:16 +0000 | average | (uid473595@user/average) |
| 2024-02-05 14:23:46 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) |
| 2024-02-05 14:25:34 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 14:29:01 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2024-02-05 14:29:30 +0000 | <haskellbridge> | 15<Jade> how can I test the `bufferMode` of a handle? Inside my terminal using `BlockBuffering` or `NoBuffering` on `stdin` does not seem to have any effect (I assume my shell is overriding stuff?) |
| 2024-02-05 14:31:50 +0000 | mmhat | (~mmh@p200300f1c7032851ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-05 14:39:34 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-05 14:40:21 +0000 | mmhat | (~mmh@p200300f1c7032851ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-05 14:40:41 +0000 | califax | (~califax@user/califx) |
| 2024-02-05 14:40:43 +0000 | mmhat | (~mmh@p200300f1c70328ebee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-05 14:44:32 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 252 seconds) |
| 2024-02-05 14:45:41 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-05 14:46:24 +0000 | <tomsmeding> | % System.Process.system "echo hi | ghci -e 'interact (\\xs -> xs ++ xs)'" |
| 2024-02-05 14:46:24 +0000 | <yahb2> | hi ; hi ; ExitSuccess |
| 2024-02-05 14:54:32 +0000 | mobivme | (~mobivme@130.105.162.31) |
| 2024-02-05 14:54:32 +0000 | mobivme | (~mobivme@130.105.162.31) (Changing host) |
| 2024-02-05 14:54:32 +0000 | mobivme | (~mobivme@user/mobivme) |
| 2024-02-05 14:57:19 +0000 | vitorg | (~vitorg@189.28.157.44) (Ping timeout: 260 seconds) |
| 2024-02-05 14:57:38 +0000 | vitorg | (~vitorg@2804:d55:7604:3000:fc0e:3448:351e:7502) |
| 2024-02-05 14:57:38 +0000 | vitorg | (~vitorg@2804:d55:7604:3000:fc0e:3448:351e:7502) (Client Quit) |
| 2024-02-05 15:01:41 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 240 seconds) |
| 2024-02-05 15:06:16 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-05 15:13:05 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-05 15:17:23 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 15:17:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 15:18:52 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-05 15:23:37 +0000 | masterbuilder_ | masterbuilder |
| 2024-02-05 15:23:51 +0000 | masterbuilder | (~quassel@157.97.10.49) (Changing host) |
| 2024-02-05 15:23:51 +0000 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-02-05 15:28:29 +0000 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 15:40:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-05 15:40:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 15:53:44 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-05 15:56:29 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-05 15:59:57 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:f6db:8be1:d3a6:27f9) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-05 16:00:14 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-02-05 16:01:13 +0000 | dolio | (~dolio@130.44.134.54) |
| 2024-02-05 16:03:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-05 16:04:04 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) |
| 2024-02-05 16:04:27 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 16:04:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 16:05:48 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-05 16:05:51 +0000 | tromp | (~textual@92.110.219.57) |
| 2024-02-05 16:10:45 +0000 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Quit: WeeChat 4.2.1) |
| 2024-02-05 16:11:13 +0000 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2024-02-05 16:12:21 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-05 16:13:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-05 16:15:33 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-02-05 16:16:35 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-02-05 16:23:37 +0000 | pruiz | (~user@user/pruiz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-02-05 16:24:05 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-05 16:24:45 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-05 16:26:56 +0000 | maxfan8_ | (~max@2a01:4f8:192:5356::2) (Quit: WeeChat 3.3) |
| 2024-02-05 16:30:01 +0000 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Quit: WeeChat 4.2.1) |
| 2024-02-05 16:30:23 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-05 16:30:41 +0000 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2024-02-05 16:32:48 +0000 | mei | (~mei@user/mei) |
| 2024-02-05 16:33:01 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-05 16:38:40 +0000 | notzmv | (~zmv@user/notzmv) |
| 2024-02-05 16:41:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-05 16:42:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 16:42:59 +0000 | AlexNoo_ | (~AlexNoo@178.34.151.185) |
| 2024-02-05 16:45:35 +0000 | AlexZenon | (~alzenon@178.34.161.225) (Ping timeout: 264 seconds) |
| 2024-02-05 16:46:34 +0000 | AlexNoo | (~AlexNoo@178.34.161.225) (Ping timeout: 268 seconds) |
| 2024-02-05 16:48:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-02-05 16:49:11 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) |
| 2024-02-05 16:50:40 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 16:50:53 +0000 | danse-nr3 | (~danse@rm-19-50-224.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-02-05 16:50:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 16:55:30 +0000 | AlexZenon | (~alzenon@178.34.151.185) |
| 2024-02-05 17:03:39 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-05 17:06:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-05 17:06:41 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) |
| 2024-02-05 17:11:55 +0000 | AlexNoo_ | AlexNoo |
| 2024-02-05 17:12:53 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-02-05 17:17:18 +0000 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 17:17:38 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-02-05 17:21:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-05 17:23:17 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-02-05 17:23:22 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-05 17:27:05 +0000 | euleritian | (~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-02-05 17:29:02 +0000 | euleritian | (~euleritia@176.5.154.182) |
| 2024-02-05 17:33:20 +0000 | tzh | (~tzh@71.193.181.0) |
| 2024-02-05 17:40:10 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-05 17:40:19 +0000 | santiagopim | (~user@90.167.66.131) |
| 2024-02-05 17:41:50 +0000 | califax | (~califax@user/califx) |
| 2024-02-05 17:42:48 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3340-7232-f033-8772-1378-52cf.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-02-05 17:45:47 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-05 17:49:25 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) |
| 2024-02-05 17:50:38 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-05 17:53:03 +0000 | mei | (~mei@user/mei) |
| 2024-02-05 17:53:08 +0000 | euleritian | (~euleritia@176.5.154.182) (Read error: Connection reset by peer) |
| 2024-02-05 17:53:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 17:53:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 17:57:11 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-02-05 17:57:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-05 17:58:10 +0000 | euleritian | (~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) |
| 2024-02-05 17:58:37 +0000 | CiaoSen | (~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-02-05 18:04:41 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-05 18:11:04 +0000 | pavonia | (~user@user/siracusa) |
| 2024-02-05 18:12:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-05 18:17:24 +0000 | euleritian | (~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 18:17:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 18:22:32 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2024-02-05 18:29:40 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-02-05 18:30:32 +0000 | meejah_ | meejah |
| 2024-02-05 18:30:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-05 18:31:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-05 18:31:54 +0000 | <haskellbridge> | 15<Jade> what are some examples for `fixIO`? I can't seem to find any use-case for ir |
| 2024-02-05 18:31:55 +0000 | <haskellbridge> | 15<Jade> s/ir/it |
| 2024-02-05 18:35:32 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.0.2) |
| 2024-02-05 18:38:24 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-05 18:38:34 +0000 | <ski> | linking up `IORef's (or better, `IVar's) in a cycle without back-patching. or (lazily) feeding the result of a future I/O operation as an input to a present one, say |
| 2024-02-05 18:38:58 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-05 18:39:31 +0000 | <ski> | hmm .. now that i think of it, i guess you could e.g. build a list, TCMC-style, with it, while doing some I/O |
| 2024-02-05 18:39:54 +0000 | califax | (~califax@user/califx) |
| 2024-02-05 18:43:49 +0000 | mobounce | (~mobivme@104.28.194.104) |
| 2024-02-05 18:44:23 +0000 | mobivme | (~mobivme@user/mobivme) (Ping timeout: 264 seconds) |
| 2024-02-05 18:45:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-02-05 18:45:58 +0000 | euleritian | (~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) |
| 2024-02-05 18:51:13 +0000 | euleritian | (~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 18:51:18 +0000 | <ncf> | https://wiki.haskell.org/MonadFix#Examples |
| 2024-02-05 18:51:28 +0000 | euleritian | (~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) |
| 2024-02-05 18:52:32 +0000 | Achylles | (~Achylles_@45.182.57.17) |
| 2024-02-05 18:54:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 18:55:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-05 18:59:49 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-05 19:00:18 +0000 | califax | (~califax@user/califx) |
| 2024-02-05 19:00:40 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-02-05 19:13:02 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2024-02-05 19:15:32 +0000 | g | (glguy@libera/staff/glguy) (Remote host closed the connection) |
| 2024-02-05 19:15:51 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 260 seconds) |
| 2024-02-05 19:16:13 +0000 | exarkun_ | exarkun |
| 2024-02-05 19:19:22 +0000 | <mreh> | Jade: it's used in reflex |
| 2024-02-05 19:20:36 +0000 | <tomsmeding> | Do newtypes survive in Core? Is there any situation where introducing a newtype around something can decrease performance? |
| 2024-02-05 19:21:53 +0000 | Achylles | (~Achylles_@45.182.57.17) (Remote host closed the connection) |
| 2024-02-05 19:22:39 +0000 | <geekosaur> | newtypes are gone by Core. there are however situations where they are not optimized away, such as when you map a coercion over the items in a list (which becomes `map id …` in Core) |
| 2024-02-05 19:23:12 +0000 | <tomsmeding> | right |
| 2024-02-05 19:23:23 +0000 | <mreh> | I just installed a shared lib. The CPP can find the header files, but the linked can't. It's there when I run `ldconfig -p` |
| 2024-02-05 19:23:25 +0000 | <geekosaur> | there are some ways around this, such as `coerce` over the list instead of the items or use of `.#` |
| 2024-02-05 19:23:34 +0000 | <tomsmeding> | I'm writing some TH code that can either run code in a monad, or manually write out the monad operations without a newtype around it |
| 2024-02-05 19:23:45 +0000 | <tomsmeding> | my question is whether there is any benefit to the latter, and it seems the answer is no |
| 2024-02-05 19:23:47 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-05 19:23:53 +0000 | <tomsmeding> | because the operations would be the same anyway -- no 'map coerce' |
| 2024-02-05 19:24:05 +0000 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-02-05 19:25:44 +0000 | <mreh> | I think this is a gcc issue actually.. |
| 2024-02-05 19:26:02 +0000 | <tomsmeding> | "the linked" -> "the linker"? as in `ld`? |
| 2024-02-05 19:26:08 +0000 | <mreh> | tomsmeding: yeah |
| 2024-02-05 19:26:15 +0000 | <mreh> | ld.gold on my system |
| 2024-02-05 19:26:19 +0000 | g | (g@libera/staff/glguy) |
| 2024-02-05 19:27:27 +0000 | <mreh> | trying to compile some C bindings to assimp |
| 2024-02-05 19:28:04 +0000 | <tomsmeding> | mreh: do you have extra-lib-dirs in cabal? |
| 2024-02-05 19:28:13 +0000 | <tomsmeding> | if it's not in something like /usr/lib |
| 2024-02-05 19:28:38 +0000 | glguy | (g@libera/staff/glguy) |
| 2024-02-05 19:29:33 +0000 | <mreh> | tomsmeding: pkgconfig-depends: assimp |
| 2024-02-05 19:30:06 +0000 | <mreh> | looks like GHC is passing -lassimp to gcc |
| 2024-02-05 19:30:34 +0000 | <mreh> | the binding is humourously called "buttdemon" if you want to look it up on github |
| 2024-02-05 19:30:46 +0000 | <tomsmeding> | mreh: what does 'pkg-config --libs assimp' print in your terminal |
| 2024-02-05 19:31:26 +0000 | <mreh> | tomsmeding: -L/usr/local/lib -lassimp |
| 2024-02-05 19:31:51 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-05 19:32:46 +0000 | <tomsmeding> | does that -L/usr/local/lib show up in 'cabal build --verbose'? |
| 2024-02-05 19:33:12 +0000 | <tomsmeding> | and is there indeed a /usr/local/lib/libassimp.so |
| 2024-02-05 19:33:13 +0000 | <[exa]> | I've got an app that would be dealing with large amounts of text that can be parsed and generated by small parts (imagine a stream of line entries). I want the library to be somewhat flexible for people to work with, especially for working with huge amounts of the entries. Is using Data.Text.Lazy a good idea for this? My reasoning is that anyone can convert that to strict text (or any other |
| 2024-02-05 19:33:15 +0000 | <[exa]> | format) anytime, and for folks with unloadably large files this ain't stay in the way. |
| 2024-02-05 19:33:34 +0000 | ubert | (~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de) |
| 2024-02-05 19:34:02 +0000 | <mreh> | tomsmeding: I can paste the failing gcc call, there's no -L/usr/local/lib but there is a libassimp.so |
| 2024-02-05 19:34:06 +0000 | <[exa]> | (Similar question for parsing -- is it a good idea to simply provide a megaparsec interface into which one may plug in anything where `Token stream ~ Char`?) |
| 2024-02-05 19:34:08 +0000 | <mreh> | in it |
| 2024-02-05 19:34:16 +0000 | mei | (~mei@user/mei) |
| 2024-02-05 19:34:48 +0000 | <mreh> | @paste |
| 2024-02-05 19:34:49 +0000 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2024-02-05 19:36:07 +0000 | <mreh> | tomsmeding: https://paste.debian.net/plain/1306403 |
| 2024-02-05 19:38:32 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2024-02-05 19:39:00 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-02-05 19:40:09 +0000 | <mreh> | It shows up when I run cabal build --verbose, but I'm actually compiling the binding through stack as a dependency of my project... |
| 2024-02-05 19:40:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 19:41:04 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-05 19:42:43 +0000 | <tomsmeding> | sad |
| 2024-02-05 19:43:56 +0000 | <mreh> | it doesn't even build when I run cabal build on dependency code alone either |
| 2024-02-05 19:44:01 +0000 | <mreh> | but for other reasons |
| 2024-02-05 19:51:06 +0000 | johnw | (~johnw@69.62.242.138) |
| 2024-02-05 19:53:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-05 20:02:13 +0000 | ubert | (~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-05 20:04:19 +0000 | <haskellbridge> | 14<mauke> Is hsc involved? |
| 2024-02-05 20:05:40 +0000 | <mreh> | who said that?! |
| 2024-02-05 20:05:44 +0000 | <mreh> | yes it is |
| 2024-02-05 20:06:29 +0000 | <geekosaur> | this channel is bridged to #haskell-irc:matrix.org, mauke is on that side |
| 2024-02-05 20:06:30 +0000 | <mreh> | I can't see your nick, haskellbridge isn't forwarding it on |
| 2024-02-05 20:06:42 +0000 | <geekosaur> | it's colored darkgrey |
| 2024-02-05 20:06:45 +0000 | ubert | (~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de) |
| 2024-02-05 20:06:55 +0000 | <mreh> | so is my terminal background :\ |
| 2024-02-05 20:07:01 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-05 20:07:20 +0000 | <tomsmeding> | https://tomsmeding.com/ss/get/tomsmeding/P7us92 |
| 2024-02-05 20:07:24 +0000 | califax | (~califax@user/califx) |
| 2024-02-05 20:07:39 +0000 | <mreh> | mauke: yes |
| 2024-02-05 20:17:19 +0000 | ubert | (~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de) (Quit: ubert) |
| 2024-02-05 20:17:35 +0000 | ubert | (~Thunderbi@p200300ecdf1f17a2e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2024-02-05 20:24:05 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) |
| 2024-02-05 20:25:52 +0000 | mima | (~mmh@aftr-62-216-211-50.dynamic.mnet-online.de) |
| 2024-02-05 20:32:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-05 20:37:40 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2024-02-05 20:37:59 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2024-02-05 20:38:31 +0000 | Rembane_ | Rembane |
| 2024-02-05 20:41:56 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) (Remote host closed the connection) |
| 2024-02-05 20:42:39 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) |
| 2024-02-05 20:48:31 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-05 20:48:34 +0000 | santiagopim | (~user@90.167.66.131) (Ping timeout: 264 seconds) |
| 2024-02-05 20:54:23 +0000 | xdminsy | (~xdminsy@117.147.71.221) (Read error: Connection reset by peer) |
| 2024-02-05 20:54:59 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) (Remote host closed the connection) |
| 2024-02-05 20:55:24 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) |
| 2024-02-05 20:56:23 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-02-05 20:56:31 +0000 | mei | (~mei@user/mei) |
| 2024-02-05 20:56:57 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-05 20:59:58 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-05 21:01:16 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) (Remote host closed the connection) |
| 2024-02-05 21:01:22 +0000 | Square | (~Square@user/square) |
| 2024-02-05 21:03:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 21:04:18 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-05 21:05:06 +0000 | alexherbo2 | (~alexherbo@157.36.22.93.rev.sfr.net) |
| 2024-02-05 21:06:46 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-02-05 21:07:19 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-05 21:07:53 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) |
| 2024-02-05 21:13:14 +0000 | <cheater> | geekosaur: please turn off the coloring. please. most of the time it becomes invisible |
| 2024-02-05 21:14:00 +0000 | <tomsmeding> | most of the time? |
| 2024-02-05 21:14:09 +0000 | <cheater> | https://imgur.com/a/9n2wlCL |
| 2024-02-05 21:14:24 +0000 | <tomsmeding> | it's always visible for me, but then I have a predictably nearly (but not quite) black background |
| 2024-02-05 21:14:27 +0000 | <cheater> | well, sometimes it seems to be white and not grey, in which case it isn't quite invisible, just very difficult to see |
| 2024-02-05 21:14:36 +0000 | <tomsmeding> | right |
| 2024-02-05 21:14:59 +0000 | <tomsmeding> | okay yeah with not-black and not-white it doesn't really work lol |
| 2024-02-05 21:15:27 +0000 | santiagopim | (~user@90.167.66.131) |
| 2024-02-05 21:15:39 +0000 | <cheater> | geekosaur: can you turn off the coloring please... it really doesn't work |
| 2024-02-05 21:15:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-05 21:15:45 +0000 | <cheater> | the white one is hard to read as well |
| 2024-02-05 21:17:11 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) (Remote host closed the connection) |
| 2024-02-05 21:17:36 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-05 21:18:32 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) |
| 2024-02-05 21:21:26 +0000 | <haskellbridge> | 15<Jade> (i doubt this will work on the irc side) |
| 2024-02-05 21:21:37 +0000 | <tomsmeding> | (what? :p) |
| 2024-02-05 21:21:50 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-05 21:24:37 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-02-05 21:25:15 +0000 | mmohammadi9812 | (~mohammad@85.185.32.251) (Ping timeout: 272 seconds) |
| 2024-02-05 21:26:06 +0000 | <cheater> | ? |
| 2024-02-05 21:26:53 +0000 | <haskellbridge> | <Jade> rainbow text |
| 2024-02-05 21:27:30 +0000 | <tomsmeding> | came in as plain text here |
| 2024-02-05 21:28:31 +0000 | <tomsmeding> | Jade: I suspect it simply takes the "body" (as opposed to the "formatted_body") from the matrix message, which means that stuff like colours get lost and normal formatting, depending on the sending client, is formatted as markdown |
| 2024-02-05 21:28:48 +0000 | <haskellbridge> | <Jade> yeah that's what's happening |
| 2024-02-05 21:37:59 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 256 seconds) |
| 2024-02-05 21:39:52 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 21:46:56 +0000 | <[exa]> | cheater: what's that client? |
| 2024-02-05 21:49:10 +0000 | <EvanR> | a practical "fix" might be to disable almost white and almost black |
| 2024-02-05 21:49:39 +0000 | <EvanR> | but also I remember yellow on white being unreadable too |
| 2024-02-05 21:51:20 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-05 21:54:41 +0000 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-05 21:56:44 +0000 | mobounce | (~mobivme@104.28.194.104) (Changing host) |
| 2024-02-05 21:56:44 +0000 | mobounce | (~mobivme@user/mobivme) |
| 2024-02-05 21:58:13 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-05 21:58:41 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-05 21:59:28 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2024-02-05 22:01:21 +0000 | mobounce | (~mobivme@user/mobivme) (Ping timeout: 256 seconds) |
| 2024-02-05 22:01:40 +0000 | alexherbo2 | (~alexherbo@157.36.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-05 22:02:23 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-05 22:02:40 +0000 | justache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2024-02-05 22:04:11 +0000 | chomwitt | (~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-02-05 22:05:09 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-05 22:05:54 +0000 | justache | (~justache@user/justache) |
| 2024-02-05 22:08:04 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-05 22:11:28 +0000 | <haskellbridge> | <irregularsphere> Jade: did you expect irc to use html lol |
| 2024-02-05 22:12:10 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-05 22:12:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:56e2:1ca0:c7fa:8b8d) (Ping timeout: 255 seconds) |
| 2024-02-05 22:13:01 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2024-02-05 22:13:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:626d:bbc7:8995:51b8) |
| 2024-02-05 22:14:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-05 22:25:00 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-02-05 22:25:26 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-02-05 22:26:01 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-05 22:29:07 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 2024-02-05 22:29:13 +0000 | sprout_ | sprout |
| 2024-02-05 22:31:11 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 22:50:44 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-02-05 22:50:58 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-02-05 22:58:00 +0000 | son0p | (~ff@186.121.12.53) (Quit: Bye) |
| 2024-02-05 23:02:06 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-05 23:03:09 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-05 23:04:03 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 272 seconds) |
| 2024-02-05 23:05:30 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 23:09:53 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-05 23:10:30 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-05 23:12:17 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-02-05 23:16:03 +0000 | lottaquestions | (~nick@2607:fa49:503d:b200:5126:8366:8f76:8d51) (Remote host closed the connection) |
| 2024-02-05 23:16:29 +0000 | lottaquestions | (~nick@2607:fa49:503d:b200:4163:3ce9:6b9:1e91) |
| 2024-02-05 23:21:17 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2024-02-05 23:24:15 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-02-05 23:24:31 +0000 | acidjnk_new | (~acidjnk@p200300d6e737e7151d48d69d15fdaa8c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-05 23:26:13 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 272 seconds) |
| 2024-02-05 23:27:49 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 23:27:49 +0000 | mechap | (~mechap@user/mechap) (Client Quit) |
| 2024-02-05 23:28:03 +0000 | mechap | (~mechap@user/mechap) |
| 2024-02-05 23:40:49 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-05 23:44:25 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-05 23:49:23 +0000 | mud | (~mud@user/kadoban) |
| 2024-02-05 23:51:25 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 264 seconds) |
| 2024-02-05 23:52:05 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-05 23:55:59 +0000 | santiagopim | (~user@90.167.66.131) (Ping timeout: 272 seconds) |
| 2024-02-05 23:56:32 +0000 | euleritian | (~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-05 23:56:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |