2024-04-11 00:00:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-11 00:05:45 +0200 | destituion | (~destituio@84.208.69.255) (Ping timeout: 252 seconds) |
2024-04-11 00:07:06 +0200 | destituion | (~destituio@2a02:2121:107:22da:bbaf:a6d8:6599:5221) |
2024-04-11 00:10:11 +0200 | n8n | (n8n@user/n8n) (Quit: WeeChat 4.2.2) |
2024-04-11 00:10:43 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
2024-04-11 00:14:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
2024-04-11 00:14:01 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-11 00:17:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-04-11 00:21:39 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-04-11 00:23:07 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-11 00:25:44 +0200 | <liamzy__> | oh cool, i never knew about this |
2024-04-11 00:25:45 +0200 | <liamzy__> | https://mmhaskell.com/blog/2021/10/18/using-io-without-the-io-monad |
2024-04-11 00:25:47 +0200 | liamzy__ | Inst |
2024-04-11 00:26:20 +0200 | <Inst> | better way to do it would be newtype over IO and use... wait, that was the whole MTL pattern, wasn't it? ;_; |
2024-04-11 00:28:39 +0200 | n8n | (n8n@user/n8n) |
2024-04-11 00:42:49 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-04-11 00:49:21 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 255 seconds) |
2024-04-11 01:03:09 +0200 | yin_ | (~yin@user/zero) |
2024-04-11 01:04:41 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-11 01:05:36 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc00c12ceadbd6a85e80.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-04-11 01:05:47 +0200 | yin_ | yin |
2024-04-11 01:06:10 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc00fd5385a2196456e3.dip0.t-ipconnect.de) |
2024-04-11 01:08:59 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-04-11 01:16:27 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-11 01:19:03 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
2024-04-11 01:43:23 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
2024-04-11 01:47:32 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-04-11 02:01:25 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2024-04-11 02:01:50 +0200 | EvanR | (~EvanR@user/evanr) |
2024-04-11 02:03:25 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-11 02:05:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-04-11 02:06:53 +0200 | califax | (~califax@user/califx) |
2024-04-11 02:07:39 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-04-11 02:14:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-04-11 02:15:33 +0200 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
2024-04-11 02:17:37 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
2024-04-11 02:19:53 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-04-11 02:20:44 +0200 | sroso | (~sroso@user/SrOso) |
2024-04-11 02:20:53 +0200 | mei | (~mei@user/mei) |
2024-04-11 02:23:28 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-11 02:23:29 +0200 | mud | (~mud@user/kadoban) |
2024-04-11 02:23:32 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
2024-04-11 02:28:21 +0200 | mud | (~mud@user/kadoban) (Client Quit) |
2024-04-11 02:34:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc00fd5385a2196456e3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-04-11 02:37:23 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Quit: Lost terminal) |
2024-04-11 02:37:47 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 264 seconds) |
2024-04-11 02:38:51 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
2024-04-11 02:40:17 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
2024-04-11 03:15:29 +0200 | n8n | (n8n@user/n8n) (Ping timeout: 272 seconds) |
2024-04-11 03:17:09 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-04-11 03:23:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8f14:ae0b:51f2:7dcb) (Ping timeout: 246 seconds) |
2024-04-11 03:28:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-04-11 03:29:16 +0200 | euleritian | (~euleritia@dynamic-176-006-178-156.176.6.pool.telefonica.de) |
2024-04-11 03:40:39 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-11 03:43:03 +0200 | mei | (~mei@user/mei) |
2024-04-11 03:50:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-04-11 03:50:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-04-11 03:52:16 +0200 | otto_s | (~user@p5de2f4c0.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-04-11 03:53:49 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
2024-04-11 03:54:04 +0200 | otto_s | (~user@p4ff2773c.dip0.t-ipconnect.de) |
2024-04-11 03:56:31 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
2024-04-11 04:01:26 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-11 04:05:02 +0200 | dbaoty | (~dbaoty@tptn-04-0838.dsl.iowatelecom.net) (Read error: Connection reset by peer) |
2024-04-11 04:05:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-04-11 04:06:00 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
2024-04-11 04:10:42 +0200 | visilii_ | (~visilii@188.254.126.29) |
2024-04-11 04:13:47 +0200 | visilii | (~visilii@188.254.110.118) (Ping timeout: 252 seconds) |
2024-04-11 04:17:24 +0200 | euleritian | (~euleritia@dynamic-176-006-178-156.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-11 04:17:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 04:18:37 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
2024-04-11 04:27:40 +0200 | tomiguez | (~user@181.165.74.182) |
2024-04-11 04:29:30 +0200 | tomiguez | (~user@181.165.74.182) (Changing host) |
2024-04-11 04:29:30 +0200 | tomiguez | (~user@user/tomiguez) |
2024-04-11 04:43:14 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
2024-04-11 04:51:12 +0200 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 252 seconds) |
2024-04-11 04:53:10 +0200 | td_ | (~td@i5387091E.versanet.de) |
2024-04-11 04:55:30 +0200 | tomiguez | (~user@user/tomiguez) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2024-04-11 05:01:20 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-04-11 05:01:35 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-11 05:06:07 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
2024-04-11 05:13:45 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-04-11 05:15:10 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-11 05:15:39 +0200 | yin | (~yin@user/zero) |
2024-04-11 05:26:15 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
2024-04-11 05:26:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-04-11 05:26:43 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
2024-04-11 05:28:04 +0200 | califax | (~califax@user/califx) |
2024-04-11 05:45:39 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-04-11 05:50:39 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc8:c200:892:31c9:646a:fd40) |
2024-04-11 05:51:27 +0200 | <jcarpenter2> | jle`: ah thanks for the resource! i had already arrived at their `applyExpr` function, looks like this post describes the direction I'm trying to go |
2024-04-11 05:52:00 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:e300:a070:17b7:ef89:325a) (Ping timeout: 260 seconds) |
2024-04-11 05:55:24 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
2024-04-11 06:02:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-11 06:10:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-11 06:14:10 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-11 06:25:04 +0200 | fut | (~futar@129.234.0.174) |
2024-04-11 06:25:26 +0200 | <fut> | #h |
2024-04-11 06:25:53 +0200 | fut | (~futar@129.234.0.174) (Client Quit) |
2024-04-11 06:26:55 +0200 | michalz | (~michalz@185.246.207.203) |
2024-04-11 06:29:08 +0200 | Inst | (~Inst@user/Inst) |
2024-04-11 06:56:51 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-11 07:03:12 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
2024-04-11 07:03:55 +0200 | Inst | (~Inst@user/Inst) |
2024-04-11 07:12:31 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-11 07:17:08 +0200 | igemnace | (~ian@user/igemnace) |
2024-04-11 07:20:28 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-11 07:22:03 +0200 | zetef | (~quassel@5.2.182.99) (Client Quit) |
2024-04-11 07:22:50 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-11 07:26:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-04-11 07:28:21 +0200 | yin | (~yin@user/zero) |
2024-04-11 07:31:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-04-11 07:31:13 +0200 | euleritian | (~euleritia@dynamic-176-006-198-099.176.6.pool.telefonica.de) |
2024-04-11 07:31:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-04-11 07:34:21 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-04-11 08:00:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-11 08:17:21 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-04-11 08:23:23 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-04-11 08:25:32 +0200 | euleritian | (~euleritia@dynamic-176-006-198-099.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-11 08:26:08 +0200 | mud | (~mud@user/kadoban) |
2024-04-11 08:26:28 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
2024-04-11 08:27:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 08:36:50 +0200 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
2024-04-11 08:41:36 +0200 | sroso | (~sroso@user/SrOso) |
2024-04-11 08:44:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-11 08:45:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-11 08:48:34 +0200 | rosco | (~rosco@210.163.63.164) |
2024-04-11 08:49:10 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-04-11 08:58:51 +0200 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
2024-04-11 08:59:32 +0200 | laxmik | (~laxmik@ip-109-43-243-132.web.vodafone.de) |
2024-04-11 09:01:23 +0200 | laxmik | michals |
2024-04-11 09:01:55 +0200 | sroso | (~sroso@user/SrOso) |
2024-04-11 09:02:29 +0200 | rosco | (~rosco@210.163.63.164) (Quit: Lost terminal) |
2024-04-11 09:04:31 +0200 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
2024-04-11 09:04:48 +0200 | danza_ | (~francesco@151.47.191.189) |
2024-04-11 09:09:17 +0200 | michals | (~laxmik@ip-109-43-243-132.web.vodafone.de) (Quit: michals) |
2024-04-11 09:16:32 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-11 09:18:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-04-11 09:18:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-04-11 09:18:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-04-11 09:19:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-11 09:20:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-11 09:22:28 +0200 | acidjnk | (~acidjnk@p200300d6e714dc13ec2e195541a6ee52.dip0.t-ipconnect.de) |
2024-04-11 09:22:44 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-11 09:24:19 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
2024-04-11 09:27:12 +0200 | Inst_ | (~Inst@user/Inst) |
2024-04-11 09:29:09 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
2024-04-11 09:29:59 +0200 | danza_ | (~francesco@151.47.191.189) (Ping timeout: 264 seconds) |
2024-04-11 09:37:08 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
2024-04-11 09:40:56 +0200 | sroso | (~sroso@user/SrOso) |
2024-04-11 09:43:46 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-04-11 09:45:37 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-04-11 09:53:01 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-11 09:53:27 +0200 | n8n | (n8n@user/n8n) |
2024-04-11 09:54:41 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
2024-04-11 09:56:06 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Remote host closed the connection) |
2024-04-11 09:57:34 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
2024-04-11 10:00:24 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-04-11 10:01:24 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-04-11 10:02:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
2024-04-11 10:02:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-04-11 10:04:15 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-11 10:05:01 +0200 | rvalue- | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
2024-04-11 10:08:54 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-04-11 10:09:09 +0200 | Guest82 | (~Guest82@p7002208-ipoefx.ipoe.ocn.ne.jp) |
2024-04-11 10:09:17 +0200 | Guest82 | (~Guest82@p7002208-ipoefx.ipoe.ocn.ne.jp) (Client Quit) |
2024-04-11 10:09:38 +0200 | Guest82 | (~Guest82@p7002208-ipoefx.ipoe.ocn.ne.jp) |
2024-04-11 10:10:07 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
2024-04-11 10:12:54 +0200 | rvalue- | rvalue |
2024-04-11 10:18:22 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-04-11 10:18:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-11 10:19:15 +0200 | wagle | (~wagle@quassel.wagle.io) |
2024-04-11 10:21:43 +0200 | AkechiShiro | (~licht@user/akechishiro) |
2024-04-11 10:22:50 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-04-11 10:32:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-04-11 10:44:08 +0200 | danse-nr3 | (~danse-nr3@151.47.191.189) |
2024-04-11 10:46:35 +0200 | Guest82 | (~Guest82@p7002208-ipoefx.ipoe.ocn.ne.jp) (Quit: Client closed) |
2024-04-11 10:50:21 +0200 | danse-nr3 | (~danse-nr3@151.47.191.189) (Ping timeout: 252 seconds) |
2024-04-11 10:53:45 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-11 10:55:45 +0200 | danse-nr3 | (~danse-nr3@151.47.191.189) |
2024-04-11 10:56:04 +0200 | Inst_ | (~Inst@user/Inst) (Remote host closed the connection) |
2024-04-11 10:57:51 +0200 | danse-nr3 | (~danse-nr3@151.47.191.189) (Remote host closed the connection) |
2024-04-11 10:58:17 +0200 | danse-nr3 | (~danse-nr3@151.47.191.189) |
2024-04-11 11:00:32 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-04-11 11:02:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 11:03:02 +0200 | cfricke | (~cfricke@user/cfricke) (Client Quit) |
2024-04-11 11:03:02 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-04-11 11:04:00 +0200 | <dminuoso> | https://gist.github.com/dminuoso/640518c49bdd41f426ad0566bf088cb5 |
2024-04-11 11:04:25 +0200 | <dminuoso> | Is there any way to make GHC emit just more information here? That huge stack of generics is forcing that constraint somewhere, but I have absolutely no clue where. |
2024-04-11 11:05:42 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-11 11:06:29 +0200 | madeleine-sydney | (~madeleine@user/madeleine-sydney) |
2024-04-11 11:09:13 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
2024-04-11 11:09:29 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-04-11 11:10:01 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-11 11:11:40 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-04-11 11:16:47 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
2024-04-11 11:17:24 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:b96:446c:954e:ac70) |
2024-04-11 11:23:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-04-11 11:25:03 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-04-11 11:38:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-11 11:42:18 +0200 | chele | (~chele@user/chele) |
2024-04-11 12:10:47 +0200 | danse-nr3 | (~danse-nr3@151.47.191.189) (Ping timeout: 264 seconds) |
2024-04-11 12:11:25 +0200 | danse-nr3 | (~danse-nr3@an-19-178-47.service.infuturo.it) |
2024-04-11 12:20:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2024-04-11 12:37:25 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-04-11 12:37:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-04-11 12:40:16 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-04-11 12:43:05 +0200 | yin | (~yin@user/zero) |
2024-04-11 12:46:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-04-11 12:46:47 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
2024-04-11 12:48:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-04-11 12:51:06 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-11 12:57:28 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 255 seconds) |
2024-04-11 13:02:34 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-11 13:06:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-11 13:07:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 13:08:09 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-04-11 13:16:07 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2024-04-11 13:25:05 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Write error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Write error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | duncan | (c6181279e3@user/meow/duncan) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | sm2n | (ae95cb1267@user/sm2n) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | probie | (cc0b34050a@user/probie) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Write error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Write error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Write error: Connection reset by peer) |
2024-04-11 13:25:05 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
2024-04-11 13:25:05 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Remote host closed the connection) |
2024-04-11 13:25:06 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
2024-04-11 13:25:06 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
2024-04-11 13:25:06 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
2024-04-11 13:25:06 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
2024-04-11 13:25:06 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection) |
2024-04-11 13:25:06 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
2024-04-11 13:25:14 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
2024-04-11 13:25:15 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
2024-04-11 13:25:15 +0200 | sus | (1b7af6299f@user/zeromomentum) |
2024-04-11 13:25:16 +0200 | probie | (cc0b34050a@user/probie) |
2024-04-11 13:25:16 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Read error: Connection reset by peer) |
2024-04-11 13:25:16 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
2024-04-11 13:25:17 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
2024-04-11 13:25:17 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
2024-04-11 13:25:17 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
2024-04-11 13:25:17 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2024-04-11 13:25:17 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
2024-04-11 13:25:17 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
2024-04-11 13:25:17 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
2024-04-11 13:25:17 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
2024-04-11 13:25:18 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
2024-04-11 13:25:18 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
2024-04-11 13:25:18 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
2024-04-11 13:25:19 +0200 | rselim | (ce261f06ff@user/milesrout) |
2024-04-11 13:25:19 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
2024-04-11 13:25:19 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
2024-04-11 13:25:21 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
2024-04-11 13:25:21 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
2024-04-11 13:25:22 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
2024-04-11 13:25:22 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) |
2024-04-11 13:25:22 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
2024-04-11 13:25:22 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
2024-04-11 13:25:23 +0200 | jakzale | (6291399afa@user/jakzale) |
2024-04-11 13:25:25 +0200 | duncan | (c6181279e3@user/meow/duncan) |
2024-04-11 13:25:26 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
2024-04-11 13:25:26 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
2024-04-11 13:25:27 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
2024-04-11 13:25:27 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
2024-04-11 13:25:27 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
2024-04-11 13:25:28 +0200 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) |
2024-04-11 13:25:30 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Excess Flood) |
2024-04-11 13:25:30 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
2024-04-11 13:25:30 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
2024-04-11 13:25:31 +0200 | sm2n | (ae95cb1267@user/sm2n) |
2024-04-11 13:25:31 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
2024-04-11 13:25:31 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
2024-04-11 13:25:33 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
2024-04-11 13:25:44 +0200 | Square | (~Square4@user/square) |
2024-04-11 13:25:49 +0200 | duncan | (c6181279e3@user/meow/duncan) (Remote host closed the connection) |
2024-04-11 13:25:50 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Remote host closed the connection) |
2024-04-11 13:25:51 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection) |
2024-04-11 13:25:52 +0200 | probie | (cc0b34050a@user/probie) (Remote host closed the connection) |
2024-04-11 13:25:53 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection) |
2024-04-11 13:25:53 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
2024-04-11 13:25:53 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Remote host closed the connection) |
2024-04-11 13:25:53 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
2024-04-11 13:25:53 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
2024-04-11 13:25:53 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection) |
2024-04-11 13:25:57 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Read error: Connection reset by peer) |
2024-04-11 13:26:22 +0200 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | rselim | (ce261f06ff@user/milesrout) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) (Remote host closed the connection) |
2024-04-11 13:26:22 +0200 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
2024-04-11 13:26:23 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
2024-04-11 13:26:23 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Remote host closed the connection) |
2024-04-11 13:26:23 +0200 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
2024-04-11 13:26:25 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
2024-04-11 13:26:25 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Remote host closed the connection) |
2024-04-11 13:28:08 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
2024-04-11 13:28:08 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
2024-04-11 13:28:09 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
2024-04-11 13:28:09 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
2024-04-11 13:28:10 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
2024-04-11 13:28:10 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2024-04-11 13:28:10 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
2024-04-11 13:28:10 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
2024-04-11 13:28:11 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
2024-04-11 13:28:11 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
2024-04-11 13:28:11 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
2024-04-11 13:28:11 +0200 | probie | (cc0b34050a@user/probie) |
2024-04-11 13:28:11 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
2024-04-11 13:28:11 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
2024-04-11 13:28:12 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
2024-04-11 13:28:13 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
2024-04-11 13:28:13 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
2024-04-11 13:28:14 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
2024-04-11 13:28:14 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
2024-04-11 13:28:14 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
2024-04-11 13:28:15 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) |
2024-04-11 13:28:15 +0200 | akspecs | (00cc8321af@2a03:6000:1812:100::11a) |
2024-04-11 13:28:15 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
2024-04-11 13:28:15 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
2024-04-11 13:28:16 +0200 | akspecs | (00cc8321af@2a03:6000:1812:100::11a) (Changing host) |
2024-04-11 13:28:16 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
2024-04-11 13:28:17 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
2024-04-11 13:28:17 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
2024-04-11 13:28:18 +0200 | duncan | (c6181279e3@user/meow/duncan) |
2024-04-11 13:28:19 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
2024-04-11 13:28:19 +0200 | sm2n | (ae95cb1267@user/sm2n) |
2024-04-11 13:28:19 +0200 | sus | (1b7af6299f@user/zeromomentum) |
2024-04-11 13:28:21 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
2024-04-11 13:28:21 +0200 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) |
2024-04-11 13:28:21 +0200 | rselim | (ce261f06ff@user/milesrout) |
2024-04-11 13:28:21 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
2024-04-11 13:28:21 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
2024-04-11 13:28:21 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
2024-04-11 13:28:21 +0200 | jakzale | (6291399afa@user/jakzale) |
2024-04-11 13:28:22 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
2024-04-11 13:28:23 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
2024-04-11 13:29:23 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
2024-04-11 13:37:13 +0200 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
2024-04-11 13:38:18 +0200 | yin | (~yin@user/zero) |
2024-04-11 13:38:42 +0200 | darkstardevx | (~darkstard@50.53.3.2) |
2024-04-11 13:39:00 +0200 | Fijxu | (~Fijxu@user/fijxu) |
2024-04-11 13:41:27 +0200 | darkstardevx | (~darkstard@50.53.3.2) (Remote host closed the connection) |
2024-04-11 13:41:50 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
2024-04-11 13:42:43 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-04-11 13:43:37 +0200 | yin | (~yin@user/zero) |
2024-04-11 13:44:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-04-11 13:47:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-04-11 13:48:39 +0200 | yin | (~yin@user/zero) (Remote host closed the connection) |
2024-04-11 13:50:59 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
2024-04-11 13:51:03 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-04-11 13:56:08 +0200 | madeleine-sydney | (~madeleine@user/madeleine-sydney) (Quit: Konversation terminated!) |
2024-04-11 14:02:51 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-04-11 14:04:00 +0200 | yin | (~yin@user/zero) |
2024-04-11 14:09:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-04-11 14:13:26 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-04-11 14:21:13 +0200 | danse-nr3 | (~danse-nr3@an-19-178-47.service.infuturo.it) (Ping timeout: 246 seconds) |
2024-04-11 14:24:35 +0200 | hippoid | (~hippoid@user/hippoid) (Ping timeout: 264 seconds) |
2024-04-11 14:25:15 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
2024-04-11 14:31:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-11 14:32:31 +0200 | yin | (~yin@user/zero) (Ping timeout: 272 seconds) |
2024-04-11 14:33:44 +0200 | yin | (~yin@user/zero) |
2024-04-11 14:41:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-04-11 14:42:09 +0200 | yeitrafferin | (~user@2a04:4540:720b:b700:fa81:ac57:de72:bade) |
2024-04-11 14:43:21 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) |
2024-04-11 14:43:46 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) (Remote host closed the connection) |
2024-04-11 14:44:10 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) |
2024-04-11 14:52:03 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
2024-04-11 14:54:16 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
2024-04-11 14:56:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-04-11 15:10:21 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) |
2024-04-11 15:14:49 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-04-11 15:18:50 +0200 | simendsjo | (~user@84.209.170.3) |
2024-04-11 15:27:11 +0200 | incertia | (~incertia@209.122.137.252) (Ping timeout: 260 seconds) |
2024-04-11 15:39:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-04-11 15:41:54 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-11 15:48:28 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
2024-04-11 15:48:35 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-11 15:48:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 15:53:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-04-11 15:55:36 +0200 | yin | (~yin@user/zero) |
2024-04-11 15:57:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-04-11 15:58:54 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) |
2024-04-11 16:00:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:665a:484:4391:cc83) |
2024-04-11 16:05:27 +0200 | sp1ff` | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
2024-04-11 16:11:42 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-11 16:12:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 16:13:24 +0200 | yin | (~yin@user/zero) |
2024-04-11 16:17:23 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
2024-04-11 16:20:23 +0200 | doyougnu- | (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-04-11 16:21:30 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-11 16:22:13 +0200 | mei | (~mei@user/mei) |
2024-04-11 16:25:55 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 16:26:57 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) (Ping timeout: 256 seconds) |
2024-04-11 16:28:35 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) |
2024-04-11 16:30:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
2024-04-11 16:31:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-04-11 16:35:03 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-11 16:39:03 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
2024-04-11 16:43:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-11 16:46:17 +0200 | n8n | (n8n@user/n8n) (Quit: WeeChat 4.2.2) |
2024-04-11 16:56:22 +0200 | n8n | (n8n@user/n8n) |
2024-04-11 16:57:46 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-04-11 17:04:54 +0200 | <lyxia> | dminuoso: maybe the secret -ddump-cs-trace helps? I once learned about it here (but never got the opportunity to use it since) https://gitlab.haskell.org/ghc/ghc/-/issues/15044 |
2024-04-11 17:07:01 +0200 | simendsjo | (~user@84.209.170.3) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2024-04-11 17:07:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2024-04-11 17:07:24 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-11 17:12:38 +0200 | simendsjo | (~user@84.209.170.3) |
2024-04-11 17:13:38 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-04-11 17:13:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-11 17:14:49 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) (Remote host closed the connection) |
2024-04-11 17:15:10 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) |
2024-04-11 17:15:11 +0200 | igemnace | (~ian@user/igemnace) |
2024-04-11 17:19:22 +0200 | __monty__ | (~toonn@user/toonn) |
2024-04-11 17:22:04 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
2024-04-11 17:25:46 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 17:28:21 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-04-11 17:30:03 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.1.1) |
2024-04-11 17:30:29 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
2024-04-11 17:32:28 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
2024-04-11 17:32:28 +0200 | ChanServ | +v haskellbridge |
2024-04-11 17:33:07 +0200 | akegalj | (~akegalj@85.114.55.14) |
2024-04-11 17:42:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-11 17:43:09 +0200 | mei | (~mei@user/mei) |
2024-04-11 17:49:25 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-11 17:50:19 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
2024-04-11 17:51:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-04-11 17:53:08 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-04-11 17:53:50 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-11 17:56:15 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 17:57:29 +0200 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
2024-04-11 18:00:06 +0200 | yeitrafferin | (~user@2a04:4540:720b:b700:fa81:ac57:de72:bade) (Quit: Leaving) |
2024-04-11 18:00:45 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
2024-04-11 18:00:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-04-11 18:04:43 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-11 18:05:03 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-04-11 18:05:30 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-04-11 18:08:50 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-04-11 18:10:51 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) |
2024-04-11 18:23:30 +0200 | phma_ | (~phma@host-67-44-208-49.hnremote.net) |
2024-04-11 18:26:40 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-04-11 18:27:16 +0200 | phma | (phma@2001:5b0:211c:1c38:d0a3:2736:ae8b:8902) (Ping timeout: 246 seconds) |
2024-04-11 18:27:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-04-11 18:29:27 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-04-11 18:29:59 +0200 | danse-nr3 | (~danse-nr3@151.37.238.5) (Ping timeout: 264 seconds) |
2024-04-11 18:30:45 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
2024-04-11 18:31:06 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) |
2024-04-11 18:39:01 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-11 18:39:35 +0200 | <cheater> | @hoogle [a] -> a -> [[a]] |
2024-04-11 18:39:36 +0200 | <lambdabot> | Happstack.Server.Internal.MessageWrap splitList :: Eq a => a -> [a] -> [[a]] |
2024-04-11 18:39:36 +0200 | <lambdabot> | Data.GI.CodeGen.Util splitOn :: Eq a => a -> [a] -> [[a]] |
2024-04-11 18:39:36 +0200 | <lambdabot> | Hledger.Utils splitAtElement :: Eq a => a -> [a] -> [[a]] |
2024-04-11 18:40:06 +0200 | euleritian | (~euleritia@tmo-118-51.customers.d1-online.com) |
2024-04-11 18:44:31 +0200 | <EvanR> | Data.List.Split has splitOn :: Eq a => [a] -> [a] -> [[a]] |
2024-04-11 18:48:08 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-11 18:51:30 +0200 | euleritian | (~euleritia@tmo-118-51.customers.d1-online.com) (Ping timeout: 256 seconds) |
2024-04-11 18:52:02 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) |
2024-04-11 18:57:05 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) (Ping timeout: 252 seconds) |
2024-04-11 18:57:53 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 18:58:55 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) |
2024-04-11 19:02:36 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
2024-04-11 19:05:21 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) (Ping timeout: 252 seconds) |
2024-04-11 19:06:14 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-11 19:06:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 19:07:55 +0200 | <cheater> | hmm oh |
2024-04-11 19:08:06 +0200 | <cheater> | yeah it's weird that this function doesn't exist in stdlib |
2024-04-11 19:13:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-11 19:13:45 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) |
2024-04-11 19:14:14 +0200 | <geekosaur> | there is no stdlib in that sense |
2024-04-11 19:15:02 +0200 | <geekosaur> | this isn't python, and the tight binding between base and ghc means we want to avoid putting too many things into base that thereby become frozen / non-upgradeable without upgrading ghc |
2024-04-11 19:17:49 +0200 | <sm> | I consider `split` part of the stdlib |
2024-04-11 19:18:17 +0200 | <sm> | (safe, also) |
2024-04-11 19:19:17 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-11 19:19:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 19:25:03 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) |
2024-04-11 19:26:48 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) (Remote host closed the connection) |
2024-04-11 19:27:13 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) |
2024-04-11 19:27:29 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
2024-04-11 19:27:48 +0200 | <probie> | :t \p -> unfoldr (\x -> let x' = dropWhile p x in if null x' then Nothing else Just (break p x')) |
2024-04-11 19:27:49 +0200 | <lambdabot> | (a -> Bool) -> [a] -> [[a]] |
2024-04-11 19:31:17 +0200 | <probie> | How often do you really use `splitOn` on anything other than `Text` (which comes with its own `splitOn`)? |
2024-04-11 19:40:57 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) (Ping timeout: 272 seconds) |
2024-04-11 19:42:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-11 19:43:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 19:43:56 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) |
2024-04-11 19:45:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-11 19:46:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-11 19:50:07 +0200 | <akegalj> | probie: I use splitOn constantly on small programming contents |
2024-04-11 19:50:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-04-11 19:50:52 +0200 | <c_wraith> | and in general, String hate has gone way too far. There are a lot of programs where it's just fine and there's no reason to touch Text |
2024-04-11 19:51:01 +0200 | euleritian | (~euleritia@dynamic-176-006-187-251.176.6.pool.telefonica.de) |
2024-04-11 19:51:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-04-11 19:52:56 +0200 | <akegalj> | s/contents/contests |
2024-04-11 19:53:06 +0200 | <geekosaur> | afaict 90% of strings used in xmonad are so short that Text would cause a space blowup |
2024-04-11 19:53:27 +0200 | <geekosaur> | window titles are the only place where they'd be a win |
2024-04-11 19:54:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3241-81d3-dd01-7ee4-ed66-c81e.rev.sfr.net) |
2024-04-11 19:55:31 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 19:56:18 +0200 | <c_wraith> | unfoldr, though. I utterly hate the nested data in it. And yeah, I know GHC is likely to optimize out all the Just constructors, but it still hurts me to see them there. |
2024-04-11 19:57:30 +0200 | <c_wraith> | Every time I see it, I just want to twist the type around into (forall r. b -> r -> (a -> b -> r) -> r) -> b -> [a] |
2024-04-11 20:00:11 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
2024-04-11 20:00:50 +0200 | <ncf> | say no! to church encodings |
2024-04-11 20:00:52 +0200 | <c_wraith> | What do you even call that? like... I guess it's a CPS transform on the function argument, but not the whole definition? |
2024-04-11 20:01:38 +0200 | <ncf> | you've just replaced Maybe with its church encoding |
2024-04-11 20:01:51 +0200 | <c_wraith> | Well. I've replaced Maybe (a, b) with its church encoding. |
2024-04-11 20:01:57 +0200 | <c_wraith> | which makes it pay off a lot more |
2024-04-11 20:02:45 +0200 | <c_wraith> | also, it's not like this is a case where the data will be re-used, which is when church encoding gets bad for performance. |
2024-04-11 20:07:42 +0200 | ski | 'd still want unboxed sum types |
2024-04-11 20:07:52 +0200 | <ski> | (unboxing the continuations, not the values) |
2024-04-11 20:08:53 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-04-11 20:14:26 +0200 | <sm> | c_wraith hear hear |
2024-04-11 20:16:19 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
2024-04-11 20:16:35 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-04-11 20:17:10 +0200 | <dolio> | You should fix your heuristics to not 'hurt' you by applying them in (likely) inappropriate contexts. |
2024-04-11 20:17:33 +0200 | <c_wraith> | that's why I want -ffull-laziness off by default. :P |
2024-04-11 20:17:43 +0200 | sharan | (~shara@c-24-60-154-223.hsd1.ma.comcast.net) (Remote host closed the connection) |
2024-04-11 20:24:01 +0200 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 272 seconds) |
2024-04-11 20:24:48 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2024-04-11 20:25:13 +0200 | puke | (~puke@user/puke) |
2024-04-11 20:26:58 +0200 | nij- | (~NPC@natp-128-119-202-53.wireless.umass.edu) |
2024-04-11 20:27:25 +0200 | <nij-> | Is it possible to do RPC in haskell? If so, how does haskell guarantee that the return value will be of certain type? |
2024-04-11 20:28:00 +0200 | <nij-> | It doesn't have to be RPC; any procedure that refers to the external of haskell should have this problem. |
2024-04-11 20:28:25 +0200 | causal | (~eric@50.35.88.207) |
2024-04-11 20:28:28 +0200 | <c_wraith> | The general solution is to parse received according to rules for the type |
2024-04-11 20:28:45 +0200 | <c_wraith> | You don't just slam it into memory blindly, you ensure that it's correct. |
2024-04-11 20:28:45 +0200 | <nij-> | What is the type of PARSE then? |
2024-04-11 20:28:58 +0200 | <nij-> | Its "input type" has to be those too.. |
2024-04-11 20:29:27 +0200 | <c_wraith> | It'd be something like Binary a => ByteString -> a |
2024-04-11 20:29:41 +0200 | <c_wraith> | well. Binary a => ByteString -> Either ParseError a |
2024-04-11 20:29:57 +0200 | <nij-> | Oh! |
2024-04-11 20:30:28 +0200 | <c_wraith> | Maybe you'd use a different class than Binary. |
2024-04-11 20:30:34 +0200 | <c_wraith> | But that's the basic shape. |
2024-04-11 20:30:53 +0200 | Moyst_ | (~moyst@user/moyst) |
2024-04-11 20:31:12 +0200 | <nij-> | I see! Thanks! |
2024-04-11 20:32:23 +0200 | <c_wraith> | There's a project called "cloud haskell" that is endeavoring to build a platform sort of like Erlang/OTP. I think. I haven't checked in on it in a while. It may have stalled out. |
2024-04-11 20:32:45 +0200 | <nij-> | cool |
2024-04-11 20:34:44 +0200 | <geekosaur> | it's distributed-process now, and seems to still be getting commits |
2024-04-11 20:35:07 +0200 | <geekosaur> | (I thought it was yet another promising project that died when its author got hired into industry…) |
2024-04-11 20:35:45 +0200 | <nij-> | Does the author still haskell? |
2024-04-11 20:37:31 +0200 | <geekosaur> | mm, website hasn't been updated since 2017 😞 |
2024-04-11 20:37:56 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-04-11 20:38:00 +0200 | <nij-> | When I was working in a company, the most time were spent on killing bugs. |
2024-04-11 20:38:39 +0200 | <nij-> | Some of them are type related (i.e. could have been prevented by a strong type system), and while some of them are logical mistake (e.g. wrting +1 instead of -1). |
2024-04-11 20:39:16 +0200 | <nij-> | I wonder when you're coding in haskell in a relatively large codebase, do you still encounter a lot of bugs? And if so, are most ofthem of the second type? |
2024-04-11 20:40:05 +0200 | <geekosaur> | seems like something to ask of ghc, pandoc, etc. devs |
2024-04-11 20:40:42 +0200 | <nij-> | Are they here? |
2024-04-11 20:40:58 +0200 | <c_wraith> | Having done it... Haskell isn't magic. Bugs are still bugs, though there are classes of bugs that just go away. I just spent 2 days tracking down an issue in rails caused by accidentally mutating a global variable. That wouldn't happen in Haskell, but it's not related to types. :) |
2024-04-11 20:41:40 +0200 | <nij-> | oh yeah global var is evil too.. though handy |
2024-04-11 20:41:54 +0200 | <c_wraith> | The big wins you get from types in Haskell projects is the ability to make changes with a lot of touch points relatively fearlessly. |
2024-04-11 20:42:06 +0200 | <nij-> | How does haskellers "live without" global vars though? given that they are so handy? |
2024-04-11 20:42:46 +0200 | <c_wraith> | It wasn't uncommon for someone to go "this design is suboptimal" in our haskell product, then... change it. touch a lot of lines in a lot of files, and it all still works the same way when it type checks again. |
2024-04-11 20:42:49 +0200 | <nij-> | When I'm lisping I try to keep global vars out. But there are scenarios where introducing global vars make the program much less verbose. |
2024-04-11 20:42:54 +0200 | <geekosaur> | they're usually a mistake even in non-haskell, in my experience |
2024-04-11 20:43:33 +0200 | <nij-> | And global vars usually are helpful if I'm writing a "stateful machine" or a "stateful procedure". |
2024-04-11 20:43:39 +0200 | <nij-> | I wonder how haskellers would do that. |
2024-04-11 20:43:54 +0200 | <nij-> | For example, I was asked by my boss to write a chatbot, using their "technology". |
2024-04-11 20:44:04 +0200 | <nij-> | or say their "algorithm" |
2024-04-11 20:44:13 +0200 | <nij-> | But their algorithm isn't a composition of several clean little functions |
2024-04-11 20:44:28 +0200 | <nij-> | Instead, in its nature, it has to do step A, B, C,.. etc Z. |
2024-04-11 20:44:39 +0200 | <nij-> | But in step ,say, F, you need to use the result from A and B. |
2024-04-11 20:44:55 +0200 | <nij-> | So simply put, say there are ten steps A1, A2, .., A10. |
2024-04-11 20:45:11 +0200 | <nij-> | To perform A(k+1), you basically need to results from A1,..,Ak. |
2024-04-11 20:45:15 +0200 | <nij-> | Thus the "state". |
2024-04-11 20:45:29 +0200 | destituion | (~destituio@2a02:2121:107:22da:bbaf:a6d8:6599:5221) (Ping timeout: 256 seconds) |
2024-04-11 20:45:33 +0200 | <nij-> | The action of A(k+1) is going to depend on them. You can't just simply through them away. |
2024-04-11 20:45:49 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
2024-04-11 20:46:00 +0200 | <c_wraith> | There are a lot of patterns for local or scoped state that are often used. |
2024-04-11 20:46:40 +0200 | <c_wraith> | They get names like the State transformer, or RIO. |
2024-04-11 20:47:06 +0200 | <nij-> | Does it just accumulate the state as it passes? |
2024-04-11 20:47:33 +0200 | <nij-> | So instead of PossibleOutComeType(i)->PossibleOutComeType(i+1). |
2024-04-11 20:47:35 +0200 | <c_wraith> | That's what the State transformer does. It just handles the bookkeeping of passing it all around correctly in complex control flow. |
2024-04-11 20:47:52 +0200 | <nij-> | Make all functions to be of type Possible(1)+Possible(2)+..POssible(n) -> Possible(1)+Possible(2)+..POssible(n) ? |
2024-04-11 20:48:24 +0200 | <c_wraith> | that sounds more like indexed types. They can add safety, but be really awkward to work with. |
2024-04-11 20:49:07 +0200 | <nij-> | Oh no no sorry lemme rephrase |
2024-04-11 20:49:29 +0200 | <nij-> | (I'm not good at haskell so maybe I use terms wrong..) |
2024-04-11 20:49:40 +0200 | <nij-> | (Union A B C D E .. Z) -> (Union A B C D E .. Z) |
2024-04-11 20:52:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-11 20:58:14 +0200 | <danse-nr3> | Union A B -> Union C D |
2024-04-11 20:58:35 +0200 | <danse-nr3> | given A -> C, B -> D? |
2024-04-11 20:58:57 +0200 | <nij-> | No, given A->B AB->C, ABC->D, ABCD->E |
2024-04-11 20:59:23 +0200 | <danse-nr3> | interesting |
2024-04-11 20:59:46 +0200 | <nij-> | Some algorithms are in this nature, and it was quite painful to write. |
2024-04-11 20:59:57 +0200 | <nij-> | I imagine it would be even more painful in haskell.. right? |
2024-04-11 21:00:01 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-11 21:00:02 +0200 | <ncf> | no |
2024-04-11 21:00:10 +0200 | <nij-> | How would you approach it? |
2024-04-11 21:01:26 +0200 | mei | (~mei@user/mei) |
2024-04-11 21:02:34 +0200 | <ncf> | f :: A → B, g :: (A, B) → C, h :: (A, B, C) → D ⊢ (λ a → h (a, f a, g (a, f a))) :: A → D |
2024-04-11 21:02:44 +0200 | <ncf> | (forgive me for stopping at 3) |
2024-04-11 21:03:13 +0200 | <ncf> | then use let bindings for sharing and deduplication, and then maybe move into your favourite monad |
2024-04-11 21:03:28 +0200 | <danse-nr3> | or not XD |
2024-04-11 21:03:40 +0200 | <danse-nr3> | (the monad step) |
2024-04-11 21:04:06 +0200 | <ncf> | it's fine if your favourite monad is the identity monad |
2024-04-11 21:04:26 +0200 | <nij-> | I don't know how this could be wrapped into a monad. |
2024-04-11 21:04:27 +0200 | <danse-nr3> | what is that, modus ponens? |
2024-04-11 21:04:43 +0200 | <danse-nr3> | don't think about that part nij- |
2024-04-11 21:05:03 +0200 | <nij-> | Why not? |
2024-04-11 21:05:14 +0200 | <ncf> | do b ← f a; c ← g a b; d ← h a b c; ... |
2024-04-11 21:05:18 +0200 | <danse-nr3> | to make your life easier to start with |
2024-04-11 21:05:21 +0200 | <nij-> | A monad is just an monoid in the algebra End(F), where F is a functor. |
2024-04-11 21:05:35 +0200 | <ncf> | almost |
2024-04-11 21:05:44 +0200 | akegalj | (~akegalj@85.114.55.14) (Remote host closed the connection) |
2024-04-11 21:06:30 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
2024-04-11 21:06:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-04-11 21:08:14 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
2024-04-11 21:09:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3241-81d3-dd01-7ee4-ed66-c81e.rev.sfr.net) (Ping timeout: 250 seconds) |
2024-04-11 21:11:52 +0200 | <ski> | (.. kinda looks like course-of-values induction) |
2024-04-11 21:17:51 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-04-11 21:28:37 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-04-11 21:29:41 +0200 | nij- | (~NPC@natp-128-119-202-53.wireless.umass.edu) (Ping timeout: 240 seconds) |
2024-04-11 21:31:01 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 246 seconds) |
2024-04-11 21:33:36 +0200 | AlexZenon | (~alzenon@178.34.160.182) (Ping timeout: 255 seconds) |
2024-04-11 21:40:26 +0200 | AlexZenon | (~alzenon@178.34.160.182) |
2024-04-11 21:42:52 +0200 | <jle`> | jcarpenter2: np! goes to show, a lot of times when you think you need make a monad, you really don't :) |
2024-04-11 21:43:30 +0200 | <jle`> | to be fair sometimes you really do want to make a monad |
2024-04-11 21:43:52 +0200 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
2024-04-11 21:44:13 +0200 | <danse-nr3> | (: |
2024-04-11 21:45:11 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 260 seconds) |
2024-04-11 21:53:07 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
2024-04-11 21:55:40 +0200 | danse-nr3 | (~danse-nr3@151.35.233.8) (Ping timeout: 256 seconds) |
2024-04-11 21:59:09 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-04-11 22:10:49 +0200 | <EvanR> | when you wish upon a monad |
2024-04-11 22:11:09 +0200 | <geekosaur> | …it will bind your soul |
2024-04-11 22:13:26 +0200 | <Rembane> | It's simply too powerful! |
2024-04-11 22:17:12 +0200 | <EvanR> | there's some kind of hierarchy of power where Functor is less powerful than Applicative is less powerful than Monad. If the details of what this power is or isn't could be fleshed out maybe that could open up more kinds of abstractions so you get the right kind of power? Or proves these are the only essentially unique possibilities |
2024-04-11 22:19:13 +0200 | <c_wraith> | Applicative is a weird place on that hierarchy. |
2024-04-11 22:19:26 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
2024-04-11 22:19:54 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
2024-04-11 22:20:34 +0200 | <c_wraith> | Going from Functor to Monad can be done minimally (at least in theory; the classes don't support this) by providing return and join. |
2024-04-11 22:21:08 +0200 | <c_wraith> | the combination of return and join can't be used to recover fmap, so they imply something new. |
2024-04-11 22:22:13 +0200 | <c_wraith> | But Applicative is weird. Functor to Applicative requires adding pure and <*>, which.. can be combined to give you back fmap. |
2024-04-11 22:22:36 +0200 | <c_wraith> | There's redundancy there, in a strange way. |
2024-04-11 22:23:30 +0200 | <Rembane> | c_wraith: Speaking of which. Have you seen the Purescript type class hierarchy? |
2024-04-11 22:23:39 +0200 | <c_wraith> | meanwhile, going from Applicative to Monad doesn't seem possible with something smaller than join. The added power <*> gives you doesn't help. |
2024-04-11 22:24:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-04-11 22:24:57 +0200 | <c_wraith> | It feels like the segmentation between them is... not ideal, in some sense. You'd want to break things down differently, if there was some obvious way to do so. |
2024-04-11 22:24:59 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 272 seconds) |
2024-04-11 22:25:03 +0200 | <c_wraith> | Rembane: I haven't |
2024-04-11 22:25:59 +0200 | <probie> | Split Applicative into Pointed and Apply(? I forget the canonical name for Applicative without `pure`) |
2024-04-11 22:27:20 +0200 | <EvanR> | uh isn't what you're describing "solved" by removing return from Monad... at least in the haskellworld |
2024-04-11 22:27:26 +0200 | <Rembane> | c_wraith: They have split the Functor, Applicative, Monad trio into more typeclasses that in some ways make more sense. |
2024-04-11 22:27:35 +0200 | <EvanR> | requiring pure and return to be the same thing |
2024-04-11 22:30:04 +0200 | <c_wraith> | EvanR: no. That turns out to be completely irrelevant to my actual observations. 1. It's weird that pure + <*> gives you everything in Functor. There's no "smaller" implementation of Applicative that re-uses some of Functor. 2. It's weird that there's no smaller implementation of Monad that needs a less powerful tool to get from pure and <*> than join. |
2024-04-11 22:30:31 +0200 | <c_wraith> | In both cases, it's kind of an observation that <*> is the weird thing. |
2024-04-11 22:31:12 +0200 | <EvanR> | I tried to understand what you're saying but failed. There's nothing between Applicative and Monad. Sounds plausible, and interesting |
2024-04-11 22:33:01 +0200 | <ncf> | sure there is |
2024-04-11 22:33:46 +0200 | <dolio> | It's not smaller, but I think you can make an equivalent version of Applicative that requires fmap to recover the current interface. |
2024-04-11 22:33:47 +0200 | <ncf> | https://hackage.haskell.org/package/invertible-0.2.0.8/docs/Control-Invertible-Monoidal.html#t:Mon… |
2024-04-11 22:34:38 +0200 | <ncf> | i guess i don't understand the observation either |
2024-04-11 22:34:40 +0200 | <EvanR> | is that equivalent to Applicative |
2024-04-11 22:34:50 +0200 | <ncf> | but there's nothing weird mathematically here |
2024-04-11 22:34:52 +0200 | <EvanR> | rather than strictly between |
2024-04-11 22:35:39 +0200 | <c_wraith> | Nah, that actually is better, from this point of view. You can't recover fmap from that, but when given fmap you get something fully equivalent to Applicative |
2024-04-11 22:36:04 +0200 | <EvanR> | Functor is a prerequisite there |
2024-04-11 22:36:23 +0200 | <monochrom> | There is Arrow between Applicative and Monad. :) |
2024-04-11 22:36:45 +0200 | <ncf> | you can't state the Monoidal laws without fmap |
2024-04-11 22:37:37 +0200 | <c_wraith> | the key feature remains: unit and >*< can't recover fmap. |
2024-04-11 22:37:57 +0200 | <c_wraith> | The operations are smaller than those of Applicative |
2024-04-11 22:37:59 +0200 | <EvanR> | Arrow, a new abstract view of computation |
2024-04-11 22:38:09 +0200 | <ncf> | i don't know why that's a feature |
2024-04-11 22:38:09 +0200 | <EvanR> | by John Hughes |
2024-04-11 22:40:52 +0200 | Square | (~Square@user/square) |
2024-04-11 22:42:01 +0200 | destituion | (~destituio@2a02:2121:107:22da:b93a:2071:f42:9bef) |
2024-04-11 22:57:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-11 22:59:38 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
2024-04-11 23:06:55 +0200 | nij- | (~NPC@2601:180:8300:6610:a0b8:1df4:4fb0:85ce) |
2024-04-11 23:10:38 +0200 | phma_ | (~phma@host-67-44-208-49.hnremote.net) (Read error: Connection reset by peer) |
2024-04-11 23:10:44 +0200 | phma | (phma@2001:5b0:2172:a338:b304:4663:8d39:5294) |
2024-04-11 23:17:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-04-11 23:21:49 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-11 23:21:51 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-11 23:24:14 +0200 | mei | (~mei@user/mei) |
2024-04-11 23:25:55 +0200 | nij- | (~NPC@2601:180:8300:6610:a0b8:1df4:4fb0:85ce) (Using Circe, the loveliest of all IRC clients) |
2024-04-11 23:34:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-04-11 23:50:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-04-11 23:50:49 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-04-11 23:58:22 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |