| 2023-06-04 00:00:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 00:01:55 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-06-04 00:07:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 00:09:36 +0000 | CiaoSen | (~Jura@145.224.74.19) (Ping timeout: 248 seconds) |
| 2023-06-04 00:10:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 00:12:33 +0000 | boukenshaou | (~Boukensha@223.178.84.62) |
| 2023-06-04 00:16:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 00:17:04 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 250 seconds) |
| 2023-06-04 00:25:12 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-04 00:27:28 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 00:27:37 +0000 | anpad | (~pandeyan@user/anpad) |
| 2023-06-04 00:30:05 +0000 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 246 seconds) |
| 2023-06-04 00:36:31 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-04 00:38:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 00:40:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 00:45:26 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 01:00:50 +0000 | falafel | (~falafel@2603-8000-d700-115c-4e17-c0b2-4915-077f.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-06-04 01:01:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:01:42 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-06-04 01:04:21 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:10:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:10:37 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-04 01:11:50 +0000 | Guest18 | (~Guest18@host-091-097-060-051.ewe-ip-backbone.de) (Quit: Client closed) |
| 2023-06-04 01:14:09 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:16:46 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-04 01:21:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:24:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:26:57 +0000 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 265 seconds) |
| 2023-06-04 01:31:46 +0000 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-06-04 01:34:12 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-06-04 01:37:28 +0000 | ddellacosta | (~ddellacos@143.244.47.72) |
| 2023-06-04 01:42:35 +0000 | <ghostbuster> | what is the name for the syntax where you specify a list as head, plus the rest, ie. myfunc (x:xs) = ... |
| 2023-06-04 01:44:24 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-04 01:44:28 +0000 | <yushyin> | pattern matching |
| 2023-06-04 01:45:10 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2023-06-04 01:46:54 +0000 | mang0sicle | (~mango@131.252.68.89) |
| 2023-06-04 01:48:46 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-04 01:48:46 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-04 01:48:46 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 01:48:57 +0000 | mango_ | (~mango@131.252.68.91) |
| 2023-06-04 01:49:13 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-06-04 01:49:35 +0000 | mango_ | (~mango@131.252.68.91) (Client Quit) |
| 2023-06-04 01:51:37 +0000 | mang0sicle | (~mango@131.252.68.89) (Ping timeout: 240 seconds) |
| 2023-06-04 01:55:25 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-06-04 02:03:47 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2023-06-04 02:04:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:06:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:09:17 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-06-04 02:12:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:13:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:14:33 +0000 | boukenshaou | (~Boukensha@223.178.84.62) (Remote host closed the connection) |
| 2023-06-04 02:17:24 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 02:17:40 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-04 02:17:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:19:25 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:21:16 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-04 02:22:29 +0000 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 2023-06-04 02:23:24 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-04 02:23:24 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-04 02:23:24 +0000 | finn_elija | FinnElija |
| 2023-06-04 02:24:03 +0000 | teo | (~teo@user/teo) |
| 2023-06-04 02:24:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:26:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:27:22 +0000 | vandita | (~vandit@87-97-82-165.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-06-04 02:28:53 +0000 | vandita | (~vandit@87-97-88-241.pool.digikabel.hu) |
| 2023-06-04 02:30:54 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-04 02:31:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:34:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:40:55 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 250 seconds) |
| 2023-06-04 02:46:07 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds) |
| 2023-06-04 02:48:17 +0000 | tessier | (~treed@98.97.63.104) |
| 2023-06-04 02:49:28 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-06-04 02:52:52 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-04 02:54:48 +0000 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 250 seconds) |
| 2023-06-04 02:56:42 +0000 | td_ | (~td@i5387091D.versanet.de) |
| 2023-06-04 02:59:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 03:00:02 +0000 | haasn` | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2023-06-04 03:00:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 03:04:43 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-04 03:05:34 +0000 | chromoblob | (~user@37.113.158.8) |
| 2023-06-04 03:08:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 03:14:44 +0000 | falafel | (~falafel@2603-8000-d700-115c-c504-e09d-0095-3fda.res6.spectrum.com) |
| 2023-06-04 03:19:30 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 03:20:22 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-06-04 03:20:29 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-06-04 03:20:29 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2023-06-04 03:20:29 +0000 | jinsun_ | jinsun |
| 2023-06-04 03:22:15 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Remote host closed the connection) |
| 2023-06-04 03:27:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-04 03:42:37 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 03:47:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 03:51:37 +0000 | tessier | (~treed@98.97.63.104) (Ping timeout: 240 seconds) |
| 2023-06-04 03:53:13 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-06-04 03:57:12 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-04 03:58:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:00:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:02:40 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-06-04 04:06:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:09:47 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:16:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:20:11 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:22:24 +0000 | falafel | (~falafel@2603-8000-d700-115c-c504-e09d-0095-3fda.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 2023-06-04 04:28:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:30:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:37:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:38:22 +0000 | trev | (~trev@user/trev) |
| 2023-06-04 04:41:00 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 04:41:23 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 04:41:48 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:48:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:57:00 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 05:00:54 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-04 05:02:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-04 05:17:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 05:19:07 +0000 | vandita | (~vandit@87-97-88-241.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 05:21:08 +0000 | vandita | (~vandit@fibhost-66-106-228.fibernet.hu) |
| 2023-06-04 05:23:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 05:27:05 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2023-06-04 05:27:11 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 05:36:04 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-06-04 05:37:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 05:39:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 05:41:22 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-04 05:43:45 +0000 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2023-06-04 05:48:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 05:52:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 05:54:00 +0000 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-04 05:54:14 +0000 | iteratee | (~kyle@162.218.222.207) (Remote host closed the connection) |
| 2023-06-04 06:01:56 +0000 | <freeside> | so, my adventures continue; we previously explored logging with Writer and throwing errors with Either. But Writer is not respected by the gurus. |
| 2023-06-04 06:02:27 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 265 seconds) |
| 2023-06-04 06:04:00 +0000 | <freeside> | Which brings us to packages that try to go further: Data.Validation and Control.Monad.Validate |
| 2023-06-04 06:05:20 +0000 | <freeside> | Data.Validation accumulates errors; it is Applicative but not Monad. |
| 2023-06-04 06:06:04 +0000 | <freeside> | Control.Monad.Validate offers alternatives to throwError and tell; and it is a monad transformer. |
| 2023-06-04 06:06:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:07:20 +0000 | <freeside> | The only question in my mind now is: why isn't monad-validate in stackage? What does it take to get something blessed into LTS? |
| 2023-06-04 06:08:06 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:14:35 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-04 06:16:48 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-06-04 06:18:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:18:29 +0000 | <Inst> | probie: size of ecosystem, compiler development, etc |
| 2023-06-04 06:21:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:22:42 +0000 | falafel | (~falafel@2603-8000-d700-115c-d336-1d77-aff5-64e4.res6.spectrum.com) |
| 2023-06-04 06:23:10 +0000 | <Inst> | example might be ML; i.e, hasktorch is incomplete, but plodding its way through, tensorflow bindings are stackage only, but only with antique GHCs |
| 2023-06-04 06:27:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:31:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:31:06 +0000 | troydm | (~troydm@user/troydm) |
| 2023-06-04 06:32:00 +0000 | <arrowhead> | I am trying to finish my VSCODE + GHCUP integration. I am having this error: https://imgur.com/a/21I9gz0 |
| 2023-06-04 06:32:18 +0000 | <arrowhead> | That Main.hs is from a diligently generated cabal project |
| 2023-06-04 06:38:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:38:55 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-06-04 06:39:39 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:44:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:46:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:49:39 +0000 | reverse_ | (~inversed@188.220.172.130) (Ping timeout: 250 seconds) |
| 2023-06-04 06:50:49 +0000 | <probie> | arrowhead: what is in the cabal file? |
| 2023-06-04 06:51:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:58:52 +0000 | acidjnk | (~acidjnk@p200300d6e7072f786955850a7a43216e.dip0.t-ipconnect.de) |
| 2023-06-04 07:00:32 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-04 07:01:06 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:11:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 07:14:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:15:59 +0000 | <arrowhead> | It is a fresh cabal init |
| 2023-06-04 07:16:09 +0000 | <arrowhead> | probie: ^ |
| 2023-06-04 07:16:47 +0000 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-04 07:18:16 +0000 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-06-04 07:22:27 +0000 | <mauke> | that doesn't really answer the question |
| 2023-06-04 07:22:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 07:23:01 +0000 | reverse | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 250 seconds) |
| 2023-06-04 07:23:25 +0000 | <freeside> | vs code usually does the right thing if you place all your faith in the extensions |
| 2023-06-04 07:23:36 +0000 | <freeside> | trying to be helpful usually leads to sadness |
| 2023-06-04 07:24:21 +0000 | <arrowhead> | probie: https://paste.tomsmeding.com/uuPfxdCb |
| 2023-06-04 07:24:27 +0000 | <arrowhead> | mauke: apologies |
| 2023-06-04 07:24:49 +0000 | gurkenglas | (~user@dynamic-046-114-183-113.46.114.pool.telefonica.de) |
| 2023-06-04 07:25:01 +0000 | <mauke> | ok, base is in there |
| 2023-06-04 07:26:33 +0000 | <arrowhead> | and cabal build builds fine |
| 2023-06-04 07:26:45 +0000 | <arrowhead> | so I'm inclined to believe the errors VS Code are reporting are bogus somehow |
| 2023-06-04 07:27:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 07:27:54 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-06-04 07:31:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:37:33 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-04 07:37:52 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-04 07:38:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 07:39:07 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:40:52 +0000 | <arrowhead> | uninstalling and reinstalling the VS Code plugin "Haskell for Visual Studio Code" does not solve the problem |
| 2023-06-04 07:42:34 +0000 | hisa385 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-04 07:44:03 +0000 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-06-04 07:44:50 +0000 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-06-04 07:44:50 +0000 | hisa385 | hisa38 |
| 2023-06-04 07:46:56 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 07:49:11 +0000 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) |
| 2023-06-04 07:49:45 +0000 | falafel | (~falafel@2603-8000-d700-115c-d336-1d77-aff5-64e4.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 2023-06-04 07:50:11 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-06-04 07:51:38 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-06-04 07:52:07 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-04 07:52:16 +0000 | cheater_ | cheater |
| 2023-06-04 07:54:37 +0000 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 240 seconds) |
| 2023-06-04 07:54:45 +0000 | boukenshaou | (~Boukensha@223.178.84.62) |
| 2023-06-04 08:00:30 +0000 | <geekosaur> | I'd wonder about ~/.cache/hie-bios |
| 2023-06-04 08:03:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:03:44 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-06-04 08:04:02 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-04 08:06:58 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:10:17 +0000 | <freeside> | noob question: If I want to add (Just 1) to (Just 2), I liftA2 (+). What do I do if I want to add (Just (Just 1)) to (Just (Just 2)) ? |
| 2023-06-04 08:11:06 +0000 | <c_wraith> | :t liftA2 (liftA2 (+)) |
| 2023-06-04 08:11:07 +0000 | <lambdabot> | (Applicative f1, Applicative f2, Num c) => f1 (f2 c) -> f1 (f2 c) -> f1 (f2 c) |
| 2023-06-04 08:11:50 +0000 | <freeside> | i should've seen that |
| 2023-06-04 08:11:57 +0000 | <c_wraith> | liftA2 takes and returns a binary operation |
| 2023-06-04 08:12:07 +0000 | <c_wraith> | you can just keep nesting as needed |
| 2023-06-04 08:12:17 +0000 | <freeside> | what if i want to use the (+) <$> (Just 1) <*> (Just 2) form? |
| 2023-06-04 08:12:47 +0000 | <c_wraith> | that gets more awkward and I'd try to avoid it. |
| 2023-06-04 08:12:59 +0000 | <freeside> | is there some punctuation that makes it unnecessary to say (liftA2 (+)) <$> ... ? |
| 2023-06-04 08:13:16 +0000 | <c_wraith> | that already is unnecessary |
| 2023-06-04 08:13:34 +0000 | <freeside> | well, for (liftA2 (+)) <$> (Just (Just 1)) <*> (Just (Just 2)) |
| 2023-06-04 08:13:38 +0000 | <c_wraith> | well, some of those parens are unnecessary |
| 2023-06-04 08:13:52 +0000 | <c_wraith> | operators are always lower-precedence |
| 2023-06-04 08:14:01 +0000 | <freeside> | i expect there is some library that does <$$> <**> |
| 2023-06-04 08:14:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:14:19 +0000 | <geekosaur> | have you asked hoogle? |
| 2023-06-04 08:14:30 +0000 | <c_wraith> | I'm not sure there is much. |
| 2023-06-04 08:14:44 +0000 | <c_wraith> | Because if you really want to do it cleanly, there's Data.Functor.Compose |
| 2023-06-04 08:14:50 +0000 | <freeside> | the likeliest thing is "LambdaHack: A game engine library for tactical squad ASCII roguelike dungeon crawlers" lol |
| 2023-06-04 08:15:20 +0000 | <freeside> | protolude offers <<$>> |
| 2023-06-04 08:15:26 +0000 | <probie> | > getCompose $ (+) <$> Compose (Just (Just 1)) <*> Compose (Just (Just 2)) |
| 2023-06-04 08:15:28 +0000 | <lambdabot> | Just (Just 3) |
| 2023-06-04 08:16:03 +0000 | <geekosaur> | I'd just use the liftA2 version, that's getting pretty unreadable |
| 2023-06-04 08:16:56 +0000 | <freeside> | ah well, just when i thought i could be clever with RWS (Either a b) |
| 2023-06-04 08:17:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:18:37 +0000 | <probie> | both `Compose` and `Identity` bother me, because they're such long names for things that I generally want to ignore |
| 2023-06-04 08:22:07 +0000 | Inst | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-04 08:22:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 08:23:28 +0000 | <freeside> | anyhoo, thanks for the ideas, i have incorporated them into my teach-myself-RWS(T) gist, https://gist.github.com/mengwong/73af81ad600a533f12ef42fc655fed0f if anyone has comments i would be grateful |
| 2023-06-04 08:27:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Ping timeout: 246 seconds) |
| 2023-06-04 08:28:30 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-06-04 08:31:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:32:55 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 08:35:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:37:25 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 08:38:58 +0000 | falafel | (~falafel@2603-8000-d700-115c-7fee-34fa-241b-7017.res6.spectrum.com) |
| 2023-06-04 08:39:11 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-04 08:39:30 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-04 08:41:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:42:11 +0000 | chromoblob | (~user@37.113.158.8) (Ping timeout: 268 seconds) |
| 2023-06-04 08:44:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:45:42 +0000 | <ncf> | freeside: the second form should be equivalent to ExceptT String RWS a, if you want to stick to monad transformers |
| 2023-06-04 08:54:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:54:36 +0000 | <ncf> | (and then you can rewrite your functions to work equally well with both versions, using mtl-style classes) |
| 2023-06-04 08:54:39 +0000 | boukenshaou | (~Boukensha@223.178.84.62) (Remote host closed the connection) |
| 2023-06-04 08:55:09 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-04 08:55:20 +0000 | falafel | (~falafel@2603-8000-d700-115c-7fee-34fa-241b-7017.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-06-04 08:57:39 +0000 | mmhat | (~mmh@p200300f1c70668c9ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-04 08:59:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-06-04 09:00:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-04 09:01:03 +0000 | mu[m] | (~mumixnatu@2001:470:69fc:105::3:52c3) (Remote host closed the connection) |
| 2023-06-04 09:01:34 +0000 | CiaoSen | (~Jura@145.224.74.19) |
| 2023-06-04 09:07:12 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-06-04 09:08:44 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-06-04 09:10:02 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-9cbe-3a69-612d-747d.rev.sfr.net) |
| 2023-06-04 09:11:25 +0000 | mmhat | (~mmh@p200300f1c70668c9ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-06-04 09:11:38 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-9cbe-3a69-612d-747d.rev.sfr.net) |
| 2023-06-04 09:11:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 09:13:05 +0000 | chromoblob | (~user@37.113.158.8) |
| 2023-06-04 09:18:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 09:19:36 +0000 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2023-06-04 09:21:21 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 09:22:49 +0000 | <freeside> | thank you ncf. I was going to look at Effects libraries next |
| 2023-06-04 09:23:48 +0000 | ripspin | (~chatzilla@1.145.135.26) |
| 2023-06-04 09:24:13 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 09:26:09 +0000 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) |
| 2023-06-04 09:31:17 +0000 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2023-06-04 09:31:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 09:32:13 +0000 | vandita | (~vandit@fibhost-66-106-228.fibernet.hu) (Ping timeout: 265 seconds) |
| 2023-06-04 09:33:40 +0000 | vandita | (~vandit@fibhost-66-106-217.fibernet.hu) |
| 2023-06-04 09:43:10 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-04 09:52:03 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 10:06:08 +0000 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-06-04 10:08:58 +0000 | <freeside> | actually, i am now learning monad-validate, which feels like the next step forward along that progression |
| 2023-06-04 10:11:01 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:11:51 +0000 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 265 seconds) |
| 2023-06-04 10:12:37 +0000 | vandita | (~vandit@fibhost-66-106-217.fibernet.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 10:13:34 +0000 | <Axman6> | probie: you just need type (f . g) x = f (g x) of course! |
| 2023-06-04 10:13:48 +0000 | arrowhead | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) (Remote host closed the connection) |
| 2023-06-04 10:14:46 +0000 | vandita | (~vandit@193-226-238-254.pool.digikabel.hu) |
| 2023-06-04 10:21:54 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-06-04 10:24:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:27:38 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-04 10:28:23 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-06-04 10:28:46 +0000 | <ncf> | this is neat https://hackage.haskell.org/package/monad-validate-1.2.0.1/docs/Control-Monad-Validate-Internal.ht… |
| 2023-06-04 10:28:52 +0000 | phma | (phma@2001:5b0:210b:91a8:aa36:cb59:278d:999d) (Read error: Connection reset by peer) |
| 2023-06-04 10:29:16 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:29:47 +0000 | phma | (~phma@host-67-44-208-65.hnremote.net) |
| 2023-06-04 10:32:38 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 10:34:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:35:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:35:36 +0000 | <ncf> | lexi-lambda: has this technique (using polymorphism to maintain invariants, like in MonoMaybe) been written about somewhere? is it used anywhere else? (it gives me ST vibes, but this is different) |
| 2023-06-04 10:36:28 +0000 | <freeside> | I just got to the bit where runState / runValidate return (Either e a, s) vs Either e (a, s) and I'm like, hey, I just did that |
| 2023-06-04 10:40:48 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-04 10:43:03 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:e042:36a:f7a2:f7) (Quit: Ping timeout (120 seconds)) |
| 2023-06-04 10:43:21 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-06-04 10:46:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:50:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:50:31 +0000 | acidjnk | (~acidjnk@p200300d6e7072f786955850a7a43216e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-06-04 10:52:08 +0000 | <freeside> | hm, i wonder if there's a version of this Control.Monad.Validate where I can tell to a writer without failing; i suppose that isn't really possible because the interface ultimately presents as Either. |
| 2023-06-04 10:53:54 +0000 | <ncf> | freeside: you might wanna check out monad-chronicle |
| 2023-06-04 10:56:19 +0000 | <freeside> | yeah, I was just wondering if I could ValidateT a monad-logger or something along those lines |
| 2023-06-04 11:00:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:05:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 11:10:49 +0000 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Remote host closed the connection) |
| 2023-06-04 11:11:36 +0000 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-06-04 11:20:00 +0000 | vandita | (~vandit@193-226-238-254.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-06-04 11:20:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:21:17 +0000 | vandita | (~vandit@87-97-2-229.pool.digikabel.hu) |
| 2023-06-04 11:22:16 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 11:28:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:32:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 11:39:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:41:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 11:42:00 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 11:42:47 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-06-04 11:44:14 +0000 | <MangoIV[m]> | There’s a cute ghc proposal by iceland jack which perhaps will make things like that easier |
| 2023-06-04 11:45:06 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-04 11:45:25 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-04 11:48:28 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 11:48:56 +0000 | acidjnk | (~acidjnk@p200300d6e7072f78f06f7de5909d4fa2.dip0.t-ipconnect.de) |
| 2023-06-04 11:51:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:51:54 +0000 | <MangoIV[m]> | I can’t find it. If anybody can, I’d also be happy to get the link… 😅 |
| 2023-06-04 11:52:28 +0000 | <[Leary]> | ncf: I haven't seen anything written about this, but it reminds me of embeddings of subtyping relations through parametricity, e.g. <https://gist.github.com/LSLeary/0d3bf054f73c08910a6da2cfb49a4c28>. |
| 2023-06-04 11:53:02 +0000 | RedNifre | (~RedNifre@dslb-002-206-109-067.002.206.pools.vodafone-ip.de) (Quit: distro upgrade) |
| 2023-06-04 11:53:21 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-06-04 11:54:08 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 11:56:42 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 11:59:31 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:02:21 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 12:05:37 +0000 | CiaoSen | (~Jura@145.224.74.19) (Ping timeout: 240 seconds) |
| 2023-06-04 12:05:55 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 12:06:55 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-06-04 12:10:35 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-06-04 12:10:50 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-06-04 12:18:49 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a1e2:300e:8412:6879) |
| 2023-06-04 12:18:51 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a1e2:300e:8412:6879) (Client Quit) |
| 2023-06-04 12:23:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 12:23:51 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 12:25:01 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-06-04 12:27:01 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:32:01 +0000 | ripspin | (~chatzilla@1.145.135.26) (Remote host closed the connection) |
| 2023-06-04 12:36:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 12:38:13 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-04 12:39:16 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-06-04 12:40:55 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-04 12:42:07 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-06-04 12:43:04 +0000 | img | (~img@user/img) |
| 2023-06-04 12:47:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:48:08 +0000 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) |
| 2023-06-04 12:49:07 +0000 | vandita | (~vandit@87-97-2-229.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 12:51:09 +0000 | vandita | (~vandit@176-241-45-152.pool.digikabel.hu) |
| 2023-06-04 12:55:51 +0000 | jrm | (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2023-06-04 12:56:11 +0000 | jrm | (~jrm@user/jrm) |
| 2023-06-04 12:56:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 12:57:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:06:06 +0000 | <ncf> | [Leary]: diabolical |
| 2023-06-04 13:16:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:18:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:22:25 +0000 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-06-04 13:25:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:27:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 13:29:16 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:31:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Ping timeout: 250 seconds) |
| 2023-06-04 13:34:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:36:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:38:50 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 13:40:16 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-06-04 13:43:10 +0000 | oneeyedalien | (~oneeyedal@125-63-26-107.ip4.superloop.au) |
| 2023-06-04 13:44:23 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-04 13:45:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:49:17 +0000 | vandita | (~vandit@176-241-45-152.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-06-04 13:50:31 +0000 | vandita | (~vandit@80-95-82-210.pool.digikabel.hu) |
| 2023-06-04 13:51:30 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 13:56:19 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:03:24 +0000 | oneeyedalien | (~oneeyedal@125-63-26-107.ip4.superloop.au) (Quit: Leaving) |
| 2023-06-04 14:03:25 +0000 | vandita | (~vandit@80-95-82-210.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 14:05:07 +0000 | vandita | (~vandit@79-120-162-143.pool.digikabel.hu) |
| 2023-06-04 14:10:32 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 14:11:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:13:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:13:31 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2023-06-04 14:18:48 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-06-04 14:19:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:20:52 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:21:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-04 14:28:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:31:17 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:31:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-04 14:32:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-04 14:37:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:39:06 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:44:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:45:57 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2023-06-04 14:47:04 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-06-04 14:47:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:54:07 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 14:55:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:57:17 +0000 | AstraGravityGirl | (~astra@186.11.51.21) |
| 2023-06-04 14:59:21 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:08:57 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-04 15:09:37 +0000 | ddellacosta | (~ddellacos@143.244.47.72) (Ping timeout: 240 seconds) |
| 2023-06-04 15:12:49 +0000 | ddellacosta | (~ddellacos@146.70.166.226) |
| 2023-06-04 15:14:28 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 15:15:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:15:44 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-06-04 15:16:12 +0000 | zxrom | (~zxrom@mm-214-30-212-37.vitebsk.dynamic.pppoe.byfly.by) (Quit: Leaving) |
| 2023-06-04 15:17:34 +0000 | ddellacosta | (~ddellacos@146.70.166.226) (Client Quit) |
| 2023-06-04 15:18:05 +0000 | vandita | (~vandit@79-120-162-143.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-06-04 15:18:37 +0000 | ddellacosta | (~ddellacos@146.70.166.226) |
| 2023-06-04 15:19:42 +0000 | vandita | (~vandit@178-164-188-52.pool.digikabel.hu) |
| 2023-06-04 15:20:27 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-06-04 15:22:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:23:53 +0000 | jero98772 | (~jero98772@190.158.28.80) |
| 2023-06-04 15:28:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:31:42 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:41:03 +0000 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) |
| 2023-06-04 15:49:58 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 15:50:43 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-04 15:57:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:57:48 +0000 | acidjnk | (~acidjnk@p200300d6e7072f78f06f7de5909d4fa2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-04 15:58:27 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-06-04 15:59:43 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-06-04 16:00:01 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-06-04 16:00:28 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:04:45 +0000 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 2023-06-04 16:06:11 +0000 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) |
| 2023-06-04 16:06:11 +0000 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) (Changing host) |
| 2023-06-04 16:06:11 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 16:07:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 16:10:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:14:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:17:28 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 240 seconds) |
| 2023-06-04 16:17:53 +0000 | yaroot | (~yaroot@p3001131-ipngn7601souka.saitama.ocn.ne.jp) |
| 2023-06-04 16:21:14 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2023-06-04 16:21:16 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 16:22:25 +0000 | econo | (uid147250@user/econo) |
| 2023-06-04 16:23:01 +0000 | zer0bitz__ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 16:23:31 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-06-04 16:25:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:26:14 +0000 | <jade[m]> | what would be the easiest way to convert constructors to a specific string? |
| 2023-06-04 16:26:14 +0000 | <jade[m]> | Essentially `deriving (Show)` but with my own implementation. |
| 2023-06-04 16:26:55 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 16:27:31 +0000 | <c_wraith> | I assume you mean following some rules that you can describe programmatically? TH seems like the only real approach |
| 2023-06-04 16:27:50 +0000 | <c_wraith> | Unless a class is involved, then you can use SYB or Generics or the like |
| 2023-06-04 16:27:53 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-06-04 16:28:16 +0000 | <c_wraith> | (I suppose you can use them anyway, but it's more awkward) |
| 2023-06-04 16:28:33 +0000 | <jade[m]> | mhm yeah I thought about TH |
| 2023-06-04 16:28:54 +0000 | <jade[m]> | but maybe this is an entirely wrong approach to begin with, maybe I should give some context |
| 2023-06-04 16:29:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:30:51 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-04 16:33:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-06-04 16:33:54 +0000 | <jade[m]> | I'm using `blaze-html` and `clay` to write a `style.css` and `index.html`. |
| 2023-06-04 16:33:54 +0000 | <jade[m]> | Both use instances of `IsString` (the specifics shouldn't be too important) to add attributes and selectors in html and css respectively. |
| 2023-06-04 16:33:54 +0000 | <jade[m]> | One approach that I wanted to avoid is the way you'd write each manually, which is that both just write out the strings manually. A slightly better version would define variables of type `IsString s => s` that both the css and html use for atleast *some* safety. |
| 2023-06-04 16:33:54 +0000 | <jade[m]> | I wanted to couple both, so I could use a `withStyle css html` combinator. For the names of classes and such I wanted to use a few ADT that I convert to `abc-def-ghi` syntax for the document, which my question was about |
| 2023-06-04 16:34:21 +0000 | <jade[m]> | thinking about it a bit I think the second approach might be best, and the withStyle combinator could still be implemented |
| 2023-06-04 16:36:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:37:41 +0000 | vandita | (~vandit@178-164-188-52.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 16:39:24 +0000 | vandita | (~vandit@94-21-157-168.pool.digikabel.hu) |
| 2023-06-04 16:39:40 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:42:08 +0000 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-04 16:45:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:47:42 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 16:48:36 +0000 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-04 16:48:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:55:38 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-04 16:56:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:56:37 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2023-06-04 16:58:58 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 16:59:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:02:12 +0000 | zer0bitz__ | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 17:02:27 +0000 | zxrom | (~zxrom@mm-214-30-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-04 17:04:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:05:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:06:35 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 17:07:17 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 17:07:59 +0000 | Guest14 | (~Guest14@186.120.108.65) |
| 2023-06-04 17:08:04 +0000 | <Guest14> | Hello everyone |
| 2023-06-04 17:08:08 +0000 | pharonix71 | (~pharonix7@user/pharonix71) (Ping timeout: 240 seconds) |
| 2023-06-04 17:08:31 +0000 | <Guest14> | I'm having a problem while trying to install the latest version of ghc |
| 2023-06-04 17:08:45 +0000 | <Guest14> | Can you guys help me figure out what is it? |
| 2023-06-04 17:08:58 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 17:10:23 +0000 | <geekosaur> | do you have a paste showing the problem? |
| 2023-06-04 17:10:25 +0000 | <geekosaur> | @where paste |
| 2023-06-04 17:10:25 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-06-04 17:10:49 +0000 | <Guest14> | Error: [GHCup-00841] |
| 2023-06-04 17:11:38 +0000 | <tomsmeding> | https://errors.haskell.org/messages/GHCup-00841/ |
| 2023-06-04 17:11:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:11:50 +0000 | <tomsmeding> | Guest14: please post the full error log |
| 2023-06-04 17:11:55 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 17:12:04 +0000 | <tomsmeding> | also the log file in the directory printed at the end |
| 2023-06-04 17:12:16 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 17:15:12 +0000 | <geekosaur> | (thank you, I was trying to find where that was) |
| 2023-06-04 17:15:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:16:31 +0000 | <yushyin> | TIL about the haskell error index, nice. |
| 2023-06-04 17:16:47 +0000 | <geekosaur> | I knew about it but misremembered where it was |
| 2023-06-04 17:17:21 +0000 | tomsmeding | remembered it was errors something haskell something, and guessed right |
| 2023-06-04 17:17:39 +0000 | <tomsmeding> | though this particular code is not terribly helpful :p |
| 2023-06-04 17:18:53 +0000 | <yushyin> | a little more context would be helpful, yes. |
| 2023-06-04 17:19:54 +0000 | <tomsmeding> | ( which process ended prematurely at what stage of installation and with what output :p) |
| 2023-06-04 17:20:43 +0000 | <Guest14> | I think I found the error, I was missing g++. I'm trying to install the latest version again (im using the gcup tui) |
| 2023-06-04 17:20:58 +0000 | <tomsmeding> | are you on linux? |
| 2023-06-04 17:21:06 +0000 | <Guest14> | Yes |
| 2023-06-04 17:21:08 +0000 | <Guest14> | Linux Mint |
| 2023-06-04 17:21:11 +0000 | <tomsmeding> | https://www.haskell.org/ghcup/install/#system-requirements |
| 2023-06-04 17:21:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:23:11 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2023-06-04 17:23:12 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-06-04 17:25:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:25:42 +0000 | <sm> | @where+ errors https://errors.haskell.org the Haskell Error Index |
| 2023-06-04 17:25:42 +0000 | <lambdabot> | It is forever etched in my memory. |
| 2023-06-04 17:27:22 +0000 | <Guest14> | Thank you |
| 2023-06-04 17:27:28 +0000 | Guest14 | (~Guest14@186.120.108.65) (Quit: Client closed) |
| 2023-06-04 17:30:18 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 17:31:50 +0000 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) |
| 2023-06-04 17:31:50 +0000 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) (Changing host) |
| 2023-06-04 17:31:50 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 17:32:22 +0000 | <sm> | now it can also be found via https://haskell-links.org/?q=errors or jumped to via https://haskell-links.org/errors |
| 2023-06-04 17:32:25 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-06-04 17:35:17 +0000 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 17:37:04 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 250 seconds) |
| 2023-06-04 17:37:04 +0000 | coot_ | coot |
| 2023-06-04 17:38:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:41:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:45:17 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 17:46:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:49:20 +0000 | <chromoblob> | why are the error numbers so random yet of only 5 digits? |
| 2023-06-04 17:53:01 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:54:28 +0000 | AstraGravityGirl | (~astra@186.11.51.21) (Ping timeout: 240 seconds) |
| 2023-06-04 17:56:34 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2023-06-04 17:58:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:59:26 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:59:50 +0000 | <int-e> | chromoblob: https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Types/Error/Codes.hs#L65-74 suggests that they *are* random (though that's not actually stated as a requirement). |
| 2023-06-04 18:00:37 +0000 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 18:05:39 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 18:07:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:08:41 +0000 | vandita | (~vandit@94-21-157-168.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 18:08:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:10:15 +0000 | vandita | (~vandit@178-164-208-71.pool.digikabel.hu) |
| 2023-06-04 18:14:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:27:09 +0000 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 18:29:51 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:31:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-04 18:32:28 +0000 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 18:36:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:39:51 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:41:31 +0000 | fun-safe-math | (~fun-safe-@c-24-22-79-16.hsd1.wa.comcast.net) |
| 2023-06-04 18:43:20 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 18:46:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:47:08 +0000 | vandita | (~vandit@178-164-208-71.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-06-04 18:48:16 +0000 | vandita | (~vandit@fibhost-67-47-13.fibernet.hu) |
| 2023-06-04 18:49:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:52:08 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-06-04 18:54:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:55:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:59:11 +0000 | fun-safe-math | (~fun-safe-@c-24-22-79-16.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2023-06-04 18:59:35 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-04 19:01:52 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-04 19:02:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:03:03 +0000 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 19:06:08 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-04 19:08:37 +0000 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 19:10:45 +0000 | drlkf_ | (~drlkf@192.184.163.34.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 2023-06-04 19:13:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:14:25 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-04 19:15:03 +0000 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 2023-06-04 19:16:28 +0000 | pavonia | (~user@user/siracusa) |
| 2023-06-04 19:19:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:31:15 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-04 19:31:15 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-04 19:31:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 19:36:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:37:05 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2023-06-04 19:37:57 +0000 | michalz | (~michalz@185.246.207.215) |
| 2023-06-04 19:40:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 19:41:52 +0000 | vandita | (~vandit@fibhost-67-47-13.fibernet.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 19:43:30 +0000 | vandita | (~vandit@87-97-12-202.pool.digikabel.hu) |
| 2023-06-04 19:43:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 19:45:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:49:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:51:11 +0000 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 19:51:24 +0000 | nschoe | (~q@2a01:e0a:8e:a190:43aa:dbe8:a8d9:56e4) |
| 2023-06-04 19:52:49 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 19:53:18 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 19:53:58 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 2023-06-04 19:55:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:55:25 +0000 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 19:56:41 +0000 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) |
| 2023-06-04 19:57:24 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 19:58:00 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-04 19:58:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:59:32 +0000 | biberu | (~biberu@user/biberu) |
| 2023-06-04 19:59:34 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-04 20:01:45 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-06-04 20:02:51 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-04 20:02:52 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 20:03:38 +0000 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-06-04 20:04:28 +0000 | biberu | (~biberu@user/biberu) |
| 2023-06-04 20:05:05 +0000 | AstraGravityGirl | (~astra@186.11.51.21) |
| 2023-06-04 20:06:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:09:28 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:12:37 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-06-04 20:12:41 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-04 20:22:12 +0000 | AstraGravityGirl | (~astra@186.11.51.21) (Remote host closed the connection) |
| 2023-06-04 20:22:47 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2023-06-04 20:23:11 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-04 20:26:06 +0000 | boukenshaou | (~Boukensha@223.178.84.62) |
| 2023-06-04 20:28:13 +0000 | acidjnk | (~acidjnk@p200300d6e7072f782910d7d1b226f26d.dip0.t-ipconnect.de) |
| 2023-06-04 20:28:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:29:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:31:10 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-04 20:32:00 +0000 | gurkenglas | (~user@dynamic-046-114-183-113.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-06-04 20:32:45 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 20:33:07 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 20:34:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:34:51 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-06-04 20:35:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:35:34 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 20:36:01 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-06-04 20:36:06 +0000 | cheater_ | cheater |
| 2023-06-04 20:41:50 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-04 20:42:22 +0000 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) (Remote host closed the connection) |
| 2023-06-04 20:42:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:46:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:52:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:52:58 +0000 | Guest24 | (~Guest24@2603-8000-a500-1b03-df0f-77e5-4322-e46f.res6.spectrum.com) |
| 2023-06-04 20:54:00 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:e862:112e:a681:b90f) |
| 2023-06-04 20:54:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:54:14 +0000 | mheinzel | (~mheinzel@2a01:c22:a8ca:c500:e14a:606b:6a3c:22fb) |
| 2023-06-04 20:54:16 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:e862:112e:a681:b90f) (Read error: Connection reset by peer) |
| 2023-06-04 20:56:02 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-04 20:56:47 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-04 21:02:06 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-04 21:02:56 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-04 21:03:27 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-06-04 21:06:48 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-06-04 21:06:53 +0000 | Guest24 | (~Guest24@2603-8000-a500-1b03-df0f-77e5-4322-e46f.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-06-04 21:07:19 +0000 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) |
| 2023-06-04 21:07:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-04 21:09:37 +0000 | <jade[m]> | this blog from Haskell News seems to have a lot of issues https://anurudhp.github.io/blogs/2021/06/23/io-monad-in-cpp.html |
| 2023-06-04 21:10:43 +0000 | <jade[m]> | > -- haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/ab5eaeaa3b479c0cb579b5f4468442c87948…>) |
| 2023-06-04 21:10:44 +0000 | <lambdabot> | <no location info>: error: |
| 2023-06-04 21:10:45 +0000 | <lambdabot> | not an expression: ‘-- haskell... (full message at <https://libera.ems.h... |
| 2023-06-04 21:11:32 +0000 | <jade[m]> | > instance Monad IO where... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/9af38ee961291e1745028a68ac9bae96fede…>) |
| 2023-06-04 21:11:33 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input ‘instance’ |
| 2023-06-04 21:11:48 +0000 | <ncf> | :k IO |
| 2023-06-04 21:11:49 +0000 | <lambdabot> | * -> * |
| 2023-06-04 21:11:58 +0000 | <ncf> | :t unsafePerformIO |
| 2023-06-04 21:11:59 +0000 | <lambdabot> | error: Variable not in scope: unsafePerformIO |
| 2023-06-04 21:12:14 +0000 | <ncf> | anyway, in C++ it definitely is escapable ;) |
| 2023-06-04 21:12:49 +0000 | <EvanR> | nevermind monads in C++, can you even have Functor |
| 2023-06-04 21:12:59 +0000 | <geekosaur> | also if you dig in the internals you will find that >>= is bindIO and there is a runIO |
| 2023-06-04 21:13:48 +0000 | <geekosaur> | (that said, runIO is highly magical and probably doesn't do what you would think) |
| 2023-06-04 21:14:01 +0000 | gurkenglas | (~user@46.114.183.113) |
| 2023-06-04 21:14:37 +0000 | <jade[m]> | jade[m]: > <@jade.256:the-apothecary.club> > instance Monad IO where... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/3a1e4e980784255a49af89598545f6c28ac4…>) |
| 2023-06-04 21:15:25 +0000 | <ncf> | i assume it refers to the seq they defined in the C++ pane... |
| 2023-06-04 21:15:41 +0000 | <jade[m]> | oh that would make a little more sense yeah |
| 2023-06-04 21:15:49 +0000 | <jade[m]> | the problem is that the type matches lol |
| 2023-06-04 21:15:53 +0000 | <geekosaur> | right, I was about to ask if they had a local definition like they presumably have for bind |
| 2023-06-04 21:16:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:16:56 +0000 | <jade[m]> | jade[m]: that made me think they searched hoogle for `IO a -> IO b -> IO b` and it showed `seq` |
| 2023-06-04 21:17:18 +0000 | <jade[m]> | but it would make more sense that it's just an abbreviation of "sequential application" |
| 2023-06-04 21:18:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:19:13 +0000 | <ncf> | i read a blog post today that also used Seq for (>>): https://acatalepsie.fr/posts/overloading-lambda |
| 2023-06-04 21:20:00 +0000 | <jade[m]> | <jade[m]> "> -- haskell..." <- > <@jade.256:the-apothecary.club> > -- haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/633d030db251effcd32690a2307d22f28314…>) |
| 2023-06-04 21:21:16 +0000 | <geekosaur> | (a) your multiple levels of quoting yourself are somewhat obnoxious IRC-side (b) is there some reason there should be one, as opposed to showing a comparison to "standard" IO? |
| 2023-06-04 21:22:59 +0000 | <EvanR> | it doesn't help that lambdabot is responding to the matrix quotes or whatever is going on there |
| 2023-06-04 21:23:03 +0000 | <ncf> | ban matrix users, for their own sake |
| 2023-06-04 21:23:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-04 21:24:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:24:42 +0000 | <ncf> | anyway, you could argue that in C++ IO is basically Identity (if you're willing to assign meaning to this...), which is why `run` is part of the definition |
| 2023-06-04 21:24:56 +0000 | <ncf> | data IO a = IO { run :: a } -- if you will |
| 2023-06-04 21:25:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:25:19 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 21:26:06 +0000 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) (Quit: WeeChat 3.8) |
| 2023-06-04 21:26:56 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 246 seconds) |
| 2023-06-04 21:27:47 +0000 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2023-06-04 21:31:14 +0000 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-06-04 21:31:25 +0000 | hippoid | (~hippoid@user/hippoid) |
| 2023-06-04 21:35:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:37:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:39:32 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-06-04 21:42:59 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 21:45:30 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 21:47:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:49:01 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 21:49:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:49:24 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 21:50:05 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 21:50:12 +0000 | <monochrom> | newtype Identity a = Identity (IO a) |
| 2023-06-04 21:50:16 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-06-04 21:50:20 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 21:51:31 +0000 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-06-04 21:52:48 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-04 21:54:17 +0000 | <hpc> | fun fact: in IO the 'I' stands for Identity |
| 2023-06-04 21:54:30 +0000 | <hpc> | and the 'O' stands for https://hackage.haskell.org/package/base-4.18.0.0/docs/GHC-Base.html#v:O |
| 2023-06-04 21:54:33 +0000 | <hpc> | it's like RWS :P |
| 2023-06-04 21:55:09 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 21:55:25 +0000 | <monochrom> | Heh opague identity |
| 2023-06-04 21:55:39 +0000 | <EvanR> | Idontity |
| 2023-06-04 21:56:25 +0000 | <hpc> | Idon'tity, gotta spell it right |
| 2023-06-04 21:56:27 +0000 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 268 seconds) |
| 2023-06-04 21:56:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:58:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:03:21 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 22:03:38 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 22:04:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:05:42 +0000 | CiaoSen | (~Jura@145.224.74.19) |
| 2023-06-04 22:07:11 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:08:37 +0000 | ddellacosta | (~ddellacos@146.70.166.226) (Ping timeout: 240 seconds) |
| 2023-06-04 22:13:11 +0000 | systemhalted | (~systemhal@122.161.92.64) |
| 2023-06-04 22:13:12 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2023-06-04 22:13:28 +0000 | systemhalted | (~systemhal@122.161.92.64) (Remote host closed the connection) |
| 2023-06-04 22:14:55 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 265 seconds) |
| 2023-06-04 22:17:49 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
| 2023-06-04 22:18:05 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2023-06-04 22:18:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:19:02 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 22:20:19 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:21:59 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-06-04 22:22:47 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 22:23:08 +0000 | nschoe | (~q@2a01:e0a:8e:a190:43aa:dbe8:a8d9:56e4) (Quit: Switching off) |
| 2023-06-04 22:23:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 22:26:13 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-04 22:27:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:27:30 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-04 22:27:50 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 22:29:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:30:38 +0000 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-06-04 22:32:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 22:33:12 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 22:34:01 +0000 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 22:36:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:38:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:39:00 +0000 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 268 seconds) |
| 2023-06-04 22:39:28 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 22:39:45 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 22:41:37 +0000 | Pickchea | (~private@user/pickchea) (Remote host closed the connection) |
| 2023-06-04 22:41:53 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 22:46:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:48:47 +0000 | chromoblob | (~user@37.113.158.8) (Ping timeout: 265 seconds) |
| 2023-06-04 22:49:35 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:50:15 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 22:53:37 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
| 2023-06-04 22:54:31 +0000 | acidjnk | (~acidjnk@p200300d6e7072f782910d7d1b226f26d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-06-04 22:57:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 22:58:45 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-04 23:01:31 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 23:02:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:03:28 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Client Quit) |
| 2023-06-04 23:09:39 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:11:33 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 23:11:55 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 23:12:53 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-06-04 23:14:37 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds) |
| 2023-06-04 23:14:37 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 2023-06-04 23:14:37 +0000 | mauke_ | mauke |
| 2023-06-04 23:14:45 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 23:15:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:16:13 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:16:17 +0000 | alphabeta | (~kilolympu@vpn-fn-226.net.ed.ac.uk) |
| 2023-06-04 23:16:21 +0000 | kilolympus | (~kilolympu@213.144.144.24) (Ping timeout: 250 seconds) |
| 2023-06-04 23:20:36 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-04 23:21:08 +0000 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 23:23:06 +0000 | zenobit | (~zenobit@88.103.31.15) |
| 2023-06-04 23:23:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:24:41 +0000 | gurkenglas | (~user@46.114.183.113) (Read error: Connection reset by peer) |
| 2023-06-04 23:25:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:26:59 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Ping timeout: 246 seconds) |
| 2023-06-04 23:28:37 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 240 seconds) |
| 2023-06-04 23:28:54 +0000 | sudden | (~cat@user/sudden) (Ping timeout: 265 seconds) |
| 2023-06-04 23:29:35 +0000 | sudden | (~cat@user/sudden) |
| 2023-06-04 23:31:28 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-04 23:31:58 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 250 seconds) |
| 2023-06-04 23:33:13 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-06-04 23:37:37 +0000 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2023-06-04 23:39:26 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-04 23:40:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:43:26 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:43:40 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-04 23:49:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:52:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:55:27 +0000 | zenobit | (~zenobit@88.103.31.15) (Quit: Connection closed) |
| 2023-06-04 23:58:51 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 23:58:53 +0000 | mheinzel | (~mheinzel@2a01:c22:a8ca:c500:e14a:606b:6a3c:22fb) (Quit: Leaving) |