| 2024-03-19 00:01:01 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-19 00:03:35 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-03-19 00:06:29 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-03-19 00:19:55 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-03-19 00:20:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-19 00:21:49 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-03-19 00:27:41 +0100 | acidjnk | (~acidjnk@p200300d6e737e741c1187d44ef12676b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-03-19 00:28:19 +0100 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) (Ping timeout: 260 seconds) |
| 2024-03-19 00:49:14 +0100 | Mr | (~junkedsta@78.16.193.114) (Ping timeout: 252 seconds) |
| 2024-03-19 00:49:43 +0100 | Mr | (~junkedsta@80.233.56.26) |
| 2024-03-19 00:52:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-19 01:06:46 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-03-19 01:07:49 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 2024-03-19 01:12:29 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-19 01:12:44 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-03-19 01:13:14 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: nap time) |
| 2024-03-19 01:13:51 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 268 seconds) |
| 2024-03-19 01:15:38 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-19 01:21:58 +0100 | coldtom | (~coldtom@coldrick.cc) (Quit: Ping timeout (120 seconds)) |
| 2024-03-19 01:28:37 +0100 | aforemny | (~aforemny@2001:9e8:6cd4:cb00:9bba:1eb6:4bf2:2f1c) (Ping timeout: 264 seconds) |
| 2024-03-19 01:31:01 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2024-03-19 01:31:48 +0100 | coldtom | (~coldtom@coldrick.cc) |
| 2024-03-19 01:33:18 +0100 | aforemny | (~aforemny@i59F516D8.versanet.de) |
| 2024-03-19 01:36:27 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-03-19 01:38:12 +0100 | Mr | (~junkedsta@80.233.56.26) (Remote host closed the connection) |
| 2024-03-19 01:42:54 +0100 | yin | (~yin@user/zero) |
| 2024-03-19 01:44:00 +0100 | bilegeek | (~bilegeek@2600:1008:b083:aca9:5967:b460:7535:6f0a) |
| 2024-03-19 01:45:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-19 02:13:36 +0100 | gtdg13 | (~gtdg13@user/gtdg) |
| 2024-03-19 02:14:57 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-19 02:17:12 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:295b:1d30:7d96:18bd) (Remote host closed the connection) |
| 2024-03-19 02:18:07 +0100 | gtdg13 | (~gtdg13@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-19 02:19:08 +0100 | Mr | (~junkedsta@80.233.62.26) |
| 2024-03-19 02:21:46 +0100 | Guest36 | (~Guest36@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) |
| 2024-03-19 02:27:48 +0100 | Mr | (~junkedsta@80.233.62.26) (Read error: Connection reset by peer) |
| 2024-03-19 02:28:01 +0100 | Mr | (~junkedsta@78.16.193.114) |
| 2024-03-19 02:32:29 +0100 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-03-19 02:33:24 +0100 | megaTherion | (~therion@unix.io) (Ping timeout: 268 seconds) |
| 2024-03-19 02:38:20 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-03-19 02:43:14 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-03-19 02:43:43 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 02:45:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-19 02:59:10 +0100 | megaTherion | (~therion@unix.io) |
| 2024-03-19 03:00:30 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-19 03:02:56 +0100 | mei | (~mei@user/mei) |
| 2024-03-19 03:03:45 +0100 | megaTherion | (~therion@unix.io) (Ping timeout: 255 seconds) |
| 2024-03-19 03:06:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-03-19 03:07:04 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-19 03:10:02 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2024-03-19 03:11:41 +0100 | megaTherion | (~therion@unix.io) |
| 2024-03-19 03:14:13 +0100 | Guest36 | (~Guest36@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) (Quit: Client closed) |
| 2024-03-19 03:14:34 +0100 | VedantT | (~VedantT@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) |
| 2024-03-19 03:14:43 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2024-03-19 03:15:03 +0100 | VedantT | (~VedantT@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) (Client Quit) |
| 2024-03-19 03:15:14 +0100 | VedantT | (~VedantT@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) |
| 2024-03-19 03:18:42 +0100 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-19 03:19:39 +0100 | megaTherion | (~therion@unix.io) |
| 2024-03-19 03:25:52 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-03-19 03:28:03 +0100 | tertek | (~tertek@user/tertek) (Ping timeout: 255 seconds) |
| 2024-03-19 03:29:21 +0100 | VedantT | (~VedantT@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) (Quit: Client closed) |
| 2024-03-19 03:32:11 +0100 | otto_s | (~user@p4ff270a3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-19 03:32:15 +0100 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-03-19 03:33:37 +0100 | otto_s | (~user@p4ff27712.dip0.t-ipconnect.de) |
| 2024-03-19 03:39:03 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 03:39:16 +0100 | tertek | (~tertek@user/tertek) |
| 2024-03-19 03:40:36 +0100 | VedantT | (~VedantT@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) |
| 2024-03-19 03:40:44 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-19 03:44:47 +0100 | VedantT | (~VedantT@2603-6000-b500-0019-50e5-1888-cb59-ca37.res6.spectrum.com) (Client Quit) |
| 2024-03-19 03:56:10 +0100 | Guest71 | (~Guest71@d66-183-255-241.bchsia.telus.net) |
| 2024-03-19 03:57:13 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-19 04:04:29 +0100 | hgolden_ | (~hgolden@172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2024-03-19 04:08:45 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-03-19 04:09:47 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-19 04:12:44 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2024-03-19 04:15:01 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-03-19 04:16:05 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-03-19 04:16:10 +0100 | ft | (~ft@p508db238.dip0.t-ipconnect.de) |
| 2024-03-19 04:19:22 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-03-19 04:37:01 +0100 | falafel | (~falafel@38.90.133.18) |
| 2024-03-19 04:37:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-03-19 04:37:05 +0100 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Quit: Leaving) |
| 2024-03-19 04:42:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-19 04:43:12 +0100 | califax | (~califax@user/califx) |
| 2024-03-19 04:48:29 +0100 | td_ | (~td@i5387091B.versanet.de) (Ping timeout: 256 seconds) |
| 2024-03-19 04:50:05 +0100 | td_ | (~td@i5387092A.versanet.de) |
| 2024-03-19 04:56:40 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-19 04:57:07 +0100 | califax | (~califax@user/califx) |
| 2024-03-19 04:59:55 +0100 | falafel | (~falafel@38.90.133.18) (Ping timeout: 260 seconds) |
| 2024-03-19 05:08:59 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-19 05:09:19 +0100 | califax | (~califax@user/califx) |
| 2024-03-19 05:13:19 +0100 | aforemny_ | (~aforemny@2001:9e8:6cfb:4d00:6ff0:e19a:20a9:c38) |
| 2024-03-19 05:14:58 +0100 | aforemny | (~aforemny@i59F516D8.versanet.de) (Ping timeout: 268 seconds) |
| 2024-03-19 05:19:37 +0100 | bgamari | (~bgamari@64.223.157.69) (Ping timeout: 264 seconds) |
| 2024-03-19 05:23:08 +0100 | Mr | (~junkedsta@78.16.193.114) (Ping timeout: 252 seconds) |
| 2024-03-19 05:25:46 +0100 | bgamari | (~bgamari@64.223.226.84) |
| 2024-03-19 05:26:31 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-03-19 05:28:24 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 05:32:53 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2024-03-19 05:43:05 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-19 05:53:00 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2024-03-19 06:00:13 +0100 | Guest71 | (~Guest71@d66-183-255-241.bchsia.telus.net) (Quit: Client closed) |
| 2024-03-19 06:09:00 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-19 06:35:54 +0100 | danza | (~francesco@an-19-182-63.service.infuturo.it) |
| 2024-03-19 06:38:55 +0100 | danza_ | (~francesco@151.47.173.228) |
| 2024-03-19 06:39:59 +0100 | danza | (~francesco@an-19-182-63.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-03-19 06:45:00 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 07:17:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-19 07:20:23 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-03-19 07:34:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-03-19 07:34:40 +0100 | euleritian | (~euleritia@dynamic-176-006-194-070.176.6.pool.telefonica.de) |
| 2024-03-19 07:36:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-19 07:37:39 +0100 | dolio | (~dolio@130.44.134.54) (Ping timeout: 260 seconds) |
| 2024-03-19 07:40:47 +0100 | danza_ | (~francesco@151.47.173.228) (Ping timeout: 264 seconds) |
| 2024-03-19 07:42:22 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-19 07:49:05 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-19 07:49:40 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-03-19 07:52:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 07:58:18 +0100 | acidjnk | (~acidjnk@p200300d6e737e72270235573c24f8bdd.dip0.t-ipconnect.de) |
| 2024-03-19 07:59:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-19 08:05:59 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Quit: connection reset by purr) |
| 2024-03-19 08:12:52 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 08:17:30 +0100 | CiaoSen | (~Jura@2a05:5800:29f:800:e6b9:7aff:fe80:3d03) |
| 2024-03-19 08:29:50 +0100 | chele | (~chele@user/chele) |
| 2024-03-19 08:32:50 +0100 | danse-nr3 | (~danse@151.47.173.228) |
| 2024-03-19 08:35:13 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-19 08:41:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-19 08:49:21 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-03-19 08:49:45 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-19 08:50:10 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 246 seconds) |
| 2024-03-19 08:52:59 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-19 08:53:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-19 08:53:49 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-03-19 08:54:28 +0100 | rosco | (~rosco@175.136.155.53) (Read error: Connection reset by peer) |
| 2024-03-19 09:18:59 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-19 09:21:36 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-19 09:29:11 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 09:33:58 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2024-03-19 09:37:49 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-19 09:41:18 +0100 | bilegeek | (~bilegeek@2600:1008:b083:aca9:5967:b460:7535:6f0a) (Quit: Leaving) |
| 2024-03-19 09:44:49 +0100 | euleritian | (~euleritia@dynamic-176-006-194-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-19 09:45:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 09:52:20 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-19 09:52:38 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-03-19 10:02:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-19 10:02:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 10:07:07 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-19 10:16:52 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Quit: connection reset by purr) |
| 2024-03-19 10:18:04 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 10:22:27 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Quit: connection reset by purr) |
| 2024-03-19 10:23:33 +0100 | teo | (~teo@user/teo) |
| 2024-03-19 10:23:55 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-19 10:26:42 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 10:35:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-03-19 10:35:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-19 10:36:05 +0100 | danse-nr3 | (~danse@151.47.173.228) (Ping timeout: 252 seconds) |
| 2024-03-19 10:37:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-03-19 10:38:25 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-19 10:46:31 +0100 | Mr | (~junkedsta@78.16.193.114) |
| 2024-03-19 10:50:28 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Quit: connection reset by purr) |
| 2024-03-19 10:51:22 +0100 | danse-nr3 | (~danse@an-19-170-248.service.infuturo.it) |
| 2024-03-19 10:51:52 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 10:54:27 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-19 11:00:28 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Quit: connection reset by purr) |
| 2024-03-19 11:01:29 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 11:02:53 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Excess Flood) |
| 2024-03-19 11:06:46 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 11:07:57 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 2024-03-19 11:11:33 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-19 11:20:25 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2024-03-19 11:21:58 +0100 | chromoblob | (~chromoblo@176.59.204.188) (Quit: Quit) |
| 2024-03-19 11:24:56 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2024-03-19 11:26:20 +0100 | chromoblob | (~user@176.59.204.188) |
| 2024-03-19 11:26:31 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-19 11:26:39 +0100 | chromoblob | (~user@176.59.204.188) () |
| 2024-03-19 11:26:57 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Excess Flood) |
| 2024-03-19 11:28:02 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 11:28:21 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Excess Flood) |
| 2024-03-19 11:31:40 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 2024-03-19 11:31:46 +0100 | zetef_ | (~quassel@95.77.17.251) |
| 2024-03-19 11:31:48 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 11:32:59 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 264 seconds) |
| 2024-03-19 11:33:03 +0100 | zetef_ | (~quassel@95.77.17.251) (Read error: Connection reset by peer) |
| 2024-03-19 11:33:32 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-19 11:33:51 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-19 11:34:29 +0100 | mei | (~mei@user/mei) |
| 2024-03-19 11:40:08 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Excess Flood) |
| 2024-03-19 11:42:04 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 11:48:44 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Excess Flood) |
| 2024-03-19 11:49:01 +0100 | CiaoSen | (~Jura@2a05:5800:29f:800:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-03-19 11:53:18 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-19 11:53:40 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 11:57:49 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Excess Flood) |
| 2024-03-19 11:57:56 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:e7c6:1f43:269:138b) |
| 2024-03-19 12:01:40 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-19 12:04:14 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-03-19 12:06:12 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-19 12:08:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-03-19 12:08:51 +0100 | xff0x | (~xff0x@2405:6580:b080:900:78b6:ebc5:13f8:6873) |
| 2024-03-19 12:10:24 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 2024-03-19 12:13:08 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-19 12:18:06 +0100 | Silver_X | (~Silver_X@182.178.218.184) |
| 2024-03-19 12:22:59 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-19 12:32:46 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:1944:d319:bed9:58ac) |
| 2024-03-19 12:36:04 +0100 | <haskellbridge> | <eldritchcookie> hello why isn't there a general purpose arbitrary precision real number datatype for haskell? |
| 2024-03-19 12:46:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-19 12:46:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-19 12:47:15 +0100 | euleritian | (~euleritia@dynamic-176-006-205-073.176.6.pool.telefonica.de) |
| 2024-03-19 12:50:50 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-03-19 12:51:23 +0100 | euleritian | (~euleritia@dynamic-176-006-205-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-19 12:51:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 12:52:11 +0100 | hueso | (~root@user/hueso) (Ping timeout: 264 seconds) |
| 2024-03-19 12:52:56 +0100 | hueso | (~root@user/hueso) |
| 2024-03-19 12:53:00 +0100 | komikat | (~user@218.185.248.66) |
| 2024-03-19 12:53:57 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 2024-03-19 12:54:47 +0100 | dpren | (uid175126@id-175126.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-19 13:03:43 +0100 | mxs | (~mxs@user/mxs) |
| 2024-03-19 13:04:57 +0100 | <mauke> | > showCReal 100 (sqrt 2) |
| 2024-03-19 13:04:58 +0100 | <lambdabot> | "1.4142135623730950488016887242096980785696718753769480731766797379907324784... |
| 2024-03-19 13:05:26 +0100 | <haskellbridge> | <eldritchcookie> cool which library is that? |
| 2024-03-19 13:05:40 +0100 | <mauke> | numbers |
| 2024-03-19 13:06:19 +0100 | <int-e> | @hackage rounded |
| 2024-03-19 13:06:19 +0100 | <lambdabot> | https://hackage.haskell.org/package/rounded |
| 2024-03-19 13:06:53 +0100 | <mauke> | @hackage numbers |
| 2024-03-19 13:06:53 +0100 | <lambdabot> | https://hackage.haskell.org/package/numbers |
| 2024-03-19 13:07:02 +0100 | <haskellbridge> | <eldritchcookie> nice so the anwser is that i don't know how to search hackage |
| 2024-03-19 13:07:31 +0100 | <int-e> | There's nothing in base because neither the implementation nor the API design for these things is obvious... unlike integers, where you just compute results exactly as long as they fit into memory. |
| 2024-03-19 13:07:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-19 13:08:09 +0100 | td_ | (~td@i5387092A.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-03-19 13:08:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 13:12:04 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-19 13:15:19 +0100 | <haskellbridge> | <eldritchcookie> ok rounded is broken on nixpkgs ghc9.8 but it uses gmp so i guess numbers is the way to go |
| 2024-03-19 13:19:11 +0100 | td_ | (~td@i5387092A.versanet.de) |
| 2024-03-19 13:22:27 +0100 | xff0x | (~xff0x@2405:6580:b080:900:78b6:ebc5:13f8:6873) (Ping timeout: 268 seconds) |
| 2024-03-19 13:23:10 +0100 | zetef | (~quassel@95.77.17.251) (Read error: Connection reset by peer) |
| 2024-03-19 13:24:18 +0100 | hueso | (~root@user/hueso) (Ping timeout: 268 seconds) |
| 2024-03-19 13:26:22 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-19 13:27:14 +0100 | chromoblob | (~chromoblo@176.59.204.188) |
| 2024-03-19 13:27:50 +0100 | komikat | (~user@218.185.248.66) (Read error: Connection reset by peer) |
| 2024-03-19 13:28:44 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-19 13:29:32 +0100 | komikat | (~user@218.185.248.66) |
| 2024-03-19 13:29:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:78b6:ebc5:13f8:6873) |
| 2024-03-19 13:30:13 +0100 | <int-e> | worksforme, so this may be a nixpkg prob |
| 2024-03-19 13:30:29 +0100 | hueso | (~root@user/hueso) |
| 2024-03-19 13:33:34 +0100 | <haskellbridge> | <eldritchcookie> say in the standard no semantic meaning is given to JSON numbers is there any reason why aeson uses Scientific instead of Double? how common are numbers which don't fit in a double? |
| 2024-03-19 13:34:10 +0100 | <int-e> | > (1 :: CReal) == 1 + 10^^(-42) |
| 2024-03-19 13:34:12 +0100 | <lambdabot> | True |
| 2024-03-19 13:34:47 +0100 | <int-e> | (CReal has issues) |
| 2024-03-19 13:36:33 +0100 | <int-e> | (This particular issue is that there's a hardcoded precision for Eq and Ord instances (and Show as well).) |
| 2024-03-19 13:36:35 +0100 | danse-nr3 | (~danse@an-19-170-248.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-03-19 13:38:30 +0100 | <haskellbridge> | <eldritchcookie> i think it is due to the Num instance using round_uk |
| 2024-03-19 13:38:55 +0100 | <haskellbridge> | <eldritchcookie> because on Ord and Eq they use - directly |
| 2024-03-19 13:53:53 +0100 | hueso | (~root@user/hueso) (Ping timeout: 272 seconds) |
| 2024-03-19 13:55:25 +0100 | Silver_X | (~Silver_X@182.178.218.184) (Quit: Leaving) |
| 2024-03-19 13:56:08 +0100 | hueso | (~root@user/hueso) |
| 2024-03-19 13:57:53 +0100 | dorin | (~dorin@user/dorin) |
| 2024-03-19 13:59:20 +0100 | dorin | (~dorin@user/dorin) (Client Quit) |
| 2024-03-19 13:59:23 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-03-19 13:59:35 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-03-19 14:02:18 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-19 14:02:20 +0100 | dorin | (~dorin@user/dorin) |
| 2024-03-19 14:02:55 +0100 | rosco | (~rosco@183.171.79.111) |
| 2024-03-19 14:03:06 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-19 14:03:19 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2024-03-19 14:03:43 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-03-19 14:03:54 +0100 | danse-nr3 | (~danse@an-19-187-127.service.infuturo.it) |
| 2024-03-19 14:04:22 +0100 | rosco | (~rosco@183.171.79.111) (Read error: Connection reset by peer) |
| 2024-03-19 14:04:36 +0100 | rosco | (~rosco@2001:e68:5411:27c5:d75:19eb:3de6:e4c6) |
| 2024-03-19 14:05:23 +0100 | dorin63 | (~dorin@user/dorin) |
| 2024-03-19 14:05:24 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-19 14:05:25 +0100 | dorin | (~dorin@user/dorin) (Client Quit) |
| 2024-03-19 14:06:06 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-19 14:14:57 +0100 | CiaoSen | (~Jura@2a05:5800:29f:800:e6b9:7aff:fe80:3d03) |
| 2024-03-19 14:17:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-19 14:28:17 +0100 | ystael | (~ystael@user/ystael) |
| 2024-03-19 14:40:47 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-19 15:08:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-19 15:17:44 +0100 | <shapr> | How's the Haskell community in Boston? |
| 2024-03-19 15:17:48 +0100 | <shapr> | Anyone here? |
| 2024-03-19 15:17:51 +0100 | <shapr> | @quote boston |
| 2024-03-19 15:17:51 +0100 | <lambdabot> | iteratee says: From the boston haskell lightning talks, dec 2014: Kmett's law: "Eventually I will use your library." |
| 2024-03-19 15:21:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-03-19 15:22:28 +0100 | euleritian | (~euleritia@dynamic-176-006-195-227.176.6.pool.telefonica.de) |
| 2024-03-19 15:23:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 15:25:10 +0100 | <kuribas> | Wouldn't that be, eventually you will use my library? |
| 2024-03-19 15:28:26 +0100 | <__monty__> | Maybe it's thinking ahead, eventually Kmett will use your library and therefore most Haskellers will. So don't publish anything lightly. |
| 2024-03-19 15:28:51 +0100 | <tomsmeding> | beware the Ed |
| 2024-03-19 15:29:04 +0100 | <haskellbridge> | <irregularsphere> interesting, haskell lore |
| 2024-03-19 15:29:19 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:1944:d319:bed9:58ac) (Remote host closed the connection) |
| 2024-03-19 15:29:43 +0100 | <haskellbridge> | <eldritchcookie> say do we have a wishlist of libraries or something similar? |
| 2024-03-19 15:35:59 +0100 | <kuribas> | __monty__: oh well, nobody is using my libraries :-) |
| 2024-03-19 15:36:08 +0100 | <kuribas> | Well, some of my libraries... |
| 2024-03-19 15:40:14 +0100 | rosco_ | (~rosco@175.136.155.53) |
| 2024-03-19 15:43:25 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-19 15:44:13 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-19 15:46:38 +0100 | <haskellbridge> | <irregularsphere> I was reading the `transformers` package and I found this: `All of the monad transformers except ContT and SelectT are functors on the category of monads...` I was wondering if it's good to file an issue about making a typeclass out of this (for the sake of generalization), or has it already been filed? |
| 2024-03-19 15:47:06 +0100 | img | (~img@user/img) |
| 2024-03-19 15:47:32 +0100 | <haskellbridge> | <irregularsphere> Oh.... I realized it's hosted on Darcs. I don't want to bother creating another account :( |
| 2024-03-19 15:52:47 +0100 | <lyxia> | irregularsphere: see the package mmorph |
| 2024-03-19 15:53:03 +0100 | dorin63 | (~dorin@user/dorin) (Quit: Client closed) |
| 2024-03-19 15:53:57 +0100 | euleritian | (~euleritia@dynamic-176-006-195-227.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-19 15:54:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 15:55:52 +0100 | <haskellbridge> | <irregularsphere> Thanks! Wonder why it isn't already in `transformers`/`mtl` though. |
| 2024-03-19 15:57:55 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 260 seconds) |
| 2024-03-19 15:59:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-19 16:00:02 +0100 | fedorafan | (~fedorafan@user/fedorafan) (Read error: Connection reset by peer) |
| 2024-03-19 16:00:16 +0100 | fedorafansuper | (~fedorafan@user/fedorafan) |
| 2024-03-19 16:00:17 +0100 | <lyxia> | it's harder to find a use case |
| 2024-03-19 16:00:29 +0100 | fedorafansuper | fedorafan |
| 2024-03-19 16:01:01 +0100 | <haskellbridge> | <irregularsphere> fair |
| 2024-03-19 16:01:41 +0100 | <lyxia> | and there are quite a few subtly different definitions, it's not clear which is the right one |
| 2024-03-19 16:03:04 +0100 | euleritian | (~euleritia@dynamic-176-006-195-227.176.6.pool.telefonica.de) |
| 2024-03-19 16:05:54 +0100 | Guest17 | (~Guest17@bras-base-kgtnon0881w-grc-89-76-68-4-216.dsl.bell.ca) |
| 2024-03-19 16:08:35 +0100 | Guest17 | gabrielecimolino |
| 2024-03-19 16:09:03 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) (Read error: Connection reset by peer) |
| 2024-03-19 16:10:23 +0100 | Buggys | (Buggys@shelltalk.net) |
| 2024-03-19 16:12:13 +0100 | gabrielecimolino | (~Guest17@bras-base-kgtnon0881w-grc-89-76-68-4-216.dsl.bell.ca) (Quit: Client closed) |
| 2024-03-19 16:12:23 +0100 | <haskellbridge> | <irregularsphere> "harder to find a use case" just checked the documentation - yeah there's definitely a use-case (hoist generalize) |
| 2024-03-19 16:13:01 +0100 | gabrielecimolino | (~gabrielec@bras-base-kgtnon0881w-grc-89-76-68-4-216.dsl.bell.ca) |
| 2024-03-19 16:13:37 +0100 | gabrielecimolino | (~gabrielec@bras-base-kgtnon0881w-grc-89-76-68-4-216.dsl.bell.ca) (Client Quit) |
| 2024-03-19 16:14:25 +0100 | <haskellbridge> | <irregularsphere> "subtly different definitions"... of a monad morphism? `MFunctor` and `MMonad` has one clear defintion, so I don't know what you're talking about? |
| 2024-03-19 16:16:18 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 16:18:12 +0100 | <haskellbridge> | <irregularsphere> also the monad morphism laws are trivially equivalent? |
| 2024-03-19 16:19:26 +0100 | rosco_ | (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 2024-03-19 16:20:50 +0100 | gabrielecimolino | (~gabrielec@bras-base-kgtnon0881w-grc-89-76-68-4-216.dsl.bell.ca) |
| 2024-03-19 16:22:01 +0100 | gabrielecimolino | (~gabrielec@bras-base-kgtnon0881w-grc-89-76-68-4-216.dsl.bell.ca) (Client Quit) |
| 2024-03-19 16:22:17 +0100 | gabrielecimolino | (~gabrielec@86.48.15.226) |
| 2024-03-19 16:34:41 +0100 | danse-nr3 | (~danse@an-19-187-127.service.infuturo.it) (Remote host closed the connection) |
| 2024-03-19 16:35:04 +0100 | danse-nr3 | (~danse@an-19-187-127.service.infuturo.it) |
| 2024-03-19 16:38:15 +0100 | <haskellbridge> | <irregularsphere> damn, every idea I come up with has already been implemented before... maybe I am really late to functional programming |
| 2024-03-19 16:40:07 +0100 | <danse-nr3> | figure how would a mathematician feel ... |
| 2024-03-19 16:40:33 +0100 | <ncf> | the direction a monad morphism should go isn't fully agreed upon |
| 2024-03-19 16:40:45 +0100 | <ncf> | some people talk about lax monad morphisms and colax monad morphisms |
| 2024-03-19 16:40:58 +0100 | <ncf> | (for the fully general notion of morphism of monads on *different* categories) |
| 2024-03-19 16:41:24 +0100 | <ncf> | for monads on the same category it seems quite intuitive that the natural transformation should go in the "same direction" as the morphism |
| 2024-03-19 16:42:06 +0100 | <ncf> | (probably not what lyxia was talking about) |
| 2024-03-19 16:44:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 16:45:20 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-19 16:47:48 +0100 | CiaoSen | (~Jura@2a05:5800:29f:800:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-03-19 16:51:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-19 16:54:09 +0100 | lovasko | (~lovasko@2a00:79e0:42:206:e9e0:2adb:dc60:b0a6) |
| 2024-03-19 16:54:53 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2024-03-19 16:55:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-19 16:58:39 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-19 17:02:46 +0100 | <haskellbridge> | <irregularsphere> danse-nr3: to be fair, pure math does seem complete at first glance... I don't know how pure mathematicians can spot very small gaps in the theory |
| 2024-03-19 17:04:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 17:05:23 +0100 | <haskellbridge> | <irregularsphere> ncf: I see. In the case of Haskell though (since those monads are on the same category) I don't think that matters anyway |
| 2024-03-19 17:05:46 +0100 | <haskellbridge> | <irregularsphere> (I don't know anything about higher category theory) |
| 2024-03-19 17:14:42 +0100 | <lyxia> | For example, hoist in mmorph is arguably missing a Monad n constraint to more closely resemble a functor in the category of monads |
| 2024-03-19 17:15:51 +0100 | <haskellbridge> | <irregularsphere> ...right, didn't notice that |
| 2024-03-19 17:23:47 +0100 | lovasko | (~lovasko@2a00:79e0:42:206:e9e0:2adb:dc60:b0a6) (Ping timeout: 250 seconds) |
| 2024-03-19 17:28:57 +0100 | destituion | (~destituio@2a02:2121:655:c95b:abcd:4b31:c415:3114) (Ping timeout: 256 seconds) |
| 2024-03-19 17:38:28 +0100 | danse-nr3 | (~danse@an-19-187-127.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-03-19 17:38:41 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-19 17:39:39 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-03-19 17:55:28 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 17:56:33 +0100 | euleritian | (~euleritia@dynamic-176-006-195-227.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-19 17:56:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 18:03:47 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-19 18:05:35 +0100 | <Fay> | Hi all! My name is Fay, I am a self-taught functional programmer. I write most of my code in Rust, OCaml, and Typescript at the moment but I have enjoyed writing some Haskell and am eager to work with the language more. |
| 2024-03-19 18:06:20 +0100 | <Fay> | I am currently applying for Google Summer of Code and would like to work on the Haskell Language Server project proposed. I know my own experience with HLS, especially through Neovim, has been spotty at times and I would love to improve it for the larger community. |
| 2024-03-19 18:06:36 +0100 | <Fay> | I wanted to introduce myself before asking a bunch of technical questions. Super excited about this project! |
| 2024-03-19 18:07:15 +0100 | <Fay> | Also, please let me know if I'm in the wrong room or anything like that! Haven't used IRC in a very long time :) |
| 2024-03-19 18:08:37 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 2024-03-19 18:08:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-19 18:12:56 +0100 | <tomsmeding> | Fay: welcome! You're in the right room for general haskell questions, but there's a channel specifically for HLS at #haskell-language-server |
| 2024-03-19 18:13:15 +0100 | <tomsmeding> | if I'm not mistaken that HLS channel is primarily on the matrix side, but you'll notice soon enough I guess |
| 2024-03-19 18:18:25 +0100 | rosco | (~rosco@2001:e68:5411:27c5:d75:19eb:3de6:e4c6) (Remote host closed the connection) |
| 2024-03-19 18:18:38 +0100 | rosco | (~rosco@2001:e68:5411:27c5:d75:19eb:3de6:e4c6) |
| 2024-03-19 18:27:20 +0100 | Square | (~Square@user/square) |
| 2024-03-19 18:27:27 +0100 | teo | (~teo@user/teo) () |
| 2024-03-19 18:29:48 +0100 | zero-xray | (~zero-xray@user/nonlinear) |
| 2024-03-19 18:29:52 +0100 | zero-xray | (~zero-xray@user/nonlinear) (Textual IRC Client: www.textualapp.com) |
| 2024-03-19 18:30:47 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-03-19 18:32:38 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:e7c6:1f43:269:138b) (Remote host closed the connection) |
| 2024-03-19 18:38:11 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-03-19 18:39:12 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-19 18:39:42 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-03-19 18:45:00 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-19 18:56:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-19 18:57:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-19 19:01:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-19 19:04:27 +0100 | dpren | (uid175126@id-175126.helmsley.irccloud.com) |
| 2024-03-19 19:11:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 19:12:05 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-19 19:12:22 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2024-03-19 19:12:33 +0100 | ec_ | ec |
| 2024-03-19 19:18:53 +0100 | <tomsmeding> | For intermediate-level Haskellers in or close to The Netherlands: the AFP summer school is coming up again in July! https://uu-afp.github.io/ |
| 2024-03-19 19:19:17 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2024-03-19 19:20:25 +0100 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 2024-03-19 19:22:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-03-19 19:23:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-19 19:29:22 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) |
| 2024-03-19 19:32:46 +0100 | <Fay> | #haskell-langguage-server |
| 2024-03-19 19:34:32 +0100 | <ski> | /join #haskell-language-server |
| 2024-03-19 19:39:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 19:42:48 +0100 | Inst | (~Inst@120.244.192.27) |
| 2024-03-19 19:42:57 +0100 | <Inst> | erm, hey, anyone have an empty chrome instance they can crash? |
| 2024-03-19 19:43:16 +0100 | <Inst> | on Vivaldi on Linux, at least, you can cause lockup of your browser for an extended period of time |
| 2024-03-19 19:43:36 +0100 | <Inst> | via <script>while (true) {console.log("crash");}</script> in html |
| 2024-03-19 19:43:52 +0100 | <Inst> | Vivaldi's on Webkit |
| 2024-03-19 19:44:16 +0100 | <Inst> | If this also happens on Chrome / Chromium, it seems negligent of Google to not patch out this trivial crash |
| 2024-03-19 19:44:30 +0100 | <Inst> | because it could result in data loss scenarios if people are tossing infinite loop webpages around |
| 2024-03-19 19:46:02 +0100 | <geekosaur> | uh, there's only so much you can do about such things in Turing-complete languages |
| 2024-03-19 19:47:01 +0100 | <ncf> | also what does this have to do with haskell |
| 2024-03-19 19:49:14 +0100 | <Inst> | i guess it's more general computer science but it's interesting |
| 2024-03-19 19:49:18 +0100 | <Inst> | it's been reported since like 2014 |
| 2024-03-19 19:49:31 +0100 | <Inst> | it's way more damaging than a rickroll, and is trivially insertable into any webpage |
| 2024-03-19 19:51:00 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-19 19:51:36 +0100 | tomsmeding | uses firefox, browser works fine and cpu usage stops about a minute after closing the tab |
| 2024-03-19 19:52:38 +0100 | <mauke> | apparently in some old version of Windows/IE you could use the "save bookmark" javascript method to overwrite the OS kernel |
| 2024-03-19 19:54:30 +0100 | <shapr> | @quote |
| 2024-03-19 19:54:30 +0100 | <lambdabot> | monochrom says: Real World Haskell is not a spectator sport. :) |
| 2024-03-19 19:54:34 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-19 19:57:19 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Ping timeout: 260 seconds) |
| 2024-03-19 20:02:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-19 20:04:38 +0100 | <monochrom> | :) |
| 2024-03-19 20:12:49 +0100 | <c_wraith> | I'm pretty sure I once saw someone criticize Real World Haskell as "so good it got 90% of its content moved into libraries so those parts are irrelevant now" |
| 2024-03-19 20:14:19 +0100 | <monochrom> | haha |
| 2024-03-19 20:19:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-19 20:24:10 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-19 20:25:53 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:9e00:6501:d0d1:4030) |
| 2024-03-19 20:26:32 +0100 | <ph88> | Does someone know a good dummy type i can fill in for (* -> * -> *) -> * -> * ? |
| 2024-03-19 20:27:06 +0100 | <ph88> | hhmm maybe Either () |
| 2024-03-19 20:28:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-19 20:29:08 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-19 20:29:10 +0100 | <ski> | @kind Either () |
| 2024-03-19 20:29:11 +0100 | <lambdabot> | * -> * |
| 2024-03-19 20:29:52 +0100 | <ski> | @kind Const (Either ()) |
| 2024-03-19 20:29:53 +0100 | <lambdabot> | error: |
| 2024-03-19 20:29:53 +0100 | <lambdabot> | • Expecting one more argument to ‘Either ()’ |
| 2024-03-19 20:29:53 +0100 | <lambdabot> | Expected a type, but ‘Either ()’ has kind ‘* -> *’ |
| 2024-03-19 20:32:57 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-03-19 20:33:56 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-03-19 20:37:11 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-19 20:41:01 +0100 | <tomsmeding> | ph88: what do you need the dummy type for :p |
| 2024-03-19 20:41:09 +0100 | <ncf> | :k Join |
| 2024-03-19 20:41:10 +0100 | <lambdabot> | error: |
| 2024-03-19 20:41:10 +0100 | <lambdabot> | Not in scope: type constructor or class ‘Join’ |
| 2024-03-19 20:41:13 +0100 | <ncf> | https://hackage.haskell.org/package/bifunctors-5.6.2/docs/Data-Bifunctor-Join.html#t:Join |
| 2024-03-19 20:41:22 +0100 | <tomsmeding> | % data Dummy f a = Dummy (f a a) |
| 2024-03-19 20:41:22 +0100 | <yahb2> | <no output> |
| 2024-03-19 20:41:25 +0100 | <tomsmeding> | % :k Dummy |
| 2024-03-19 20:41:25 +0100 | <yahb2> | Dummy :: (k -> k -> *) -> k -> * |
| 2024-03-19 20:41:51 +0100 | <tomsmeding> | lol Dummy == Join |
| 2024-03-19 20:41:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 20:42:55 +0100 | <ncf> | @djinn (a -> a -> a) -> a -> a |
| 2024-03-19 20:42:55 +0100 | <lambdabot> | f a b = a b b |
| 2024-03-19 20:43:05 +0100 | <ncf> | everyone agrees |
| 2024-03-19 20:43:51 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-19 20:45:10 +0100 | <monochrom> | OK so does it mean that when people want "length (x,y) = 2" they should use "length (Join (x,y))" and then it will be 2? :) |
| 2024-03-19 20:47:55 +0100 | <ncf> | timesTwo = sum . Join . join (,) |
| 2024-03-19 20:50:07 +0100 | <ph88> | tomsmeding, just type puzzling at the moment see what works what not xD |
| 2024-03-19 20:51:55 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-03-19 20:52:37 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-19 20:53:00 +0100 | <EvanR> | > length (x,y) |
| 2024-03-19 20:53:02 +0100 | <lambdabot> | 1 |
| 2024-03-19 20:53:14 +0100 | <EvanR> | obviously the length is 1 and the width is 2 |
| 2024-03-19 20:54:14 +0100 | <EvanR> | timecube has 4 sides: front back and 2 sides. The top and bottom are obviously not sides |
| 2024-03-19 20:55:01 +0100 | <ncf> | perhaps even funnier like this: timesTwo = sum . Join @(,) . join (,) |
| 2024-03-19 20:55:37 +0100 | <ncf> | duplicate the value then duplicate the type (???) |
| 2024-03-19 20:56:01 +0100 | <ph88> | is there an automated way to add package ranges to a cabal file (stack lts has been set) |
| 2024-03-19 20:57:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 20:58:49 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-19 20:59:41 +0100 | ski | . o O ( `timesTwo = sum . ((Join @) <*> join) (,) |
| 2024-03-19 20:59:44 +0100 | <ski> | ') |
| 2024-03-19 21:00:18 +0100 | <ncf> | evil |
| 2024-03-19 21:00:20 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-19 21:05:32 +0100 | <geekosaur> | ph88, does `cabal gen-bounds` do what you want? |
| 2024-03-19 21:09:34 +0100 | <ph88> | thanks geekosaur |
| 2024-03-19 21:09:57 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-03-19 21:11:24 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2024-03-19 21:11:33 +0100 | cheater_ | cheater |
| 2024-03-19 21:14:20 +0100 | <tomsmeding> | `cabal gen-bounds` won't do anything with stack, so the bounds will not necessarily match up with any stack lts |
| 2024-03-19 21:15:05 +0100 | <geekosaur> | right, but with stack all you would get is '==' constraints anyway |
| 2024-03-19 21:15:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 21:15:28 +0100 | <geekosaur> | (you _can_ get that from cabal, if you download the lts as a freeze file, I think) |
| 2024-03-19 21:16:27 +0100 | <tomsmeding> | sure |
| 2024-03-19 21:16:58 +0100 | <tomsmeding> | but putting a stackage LTS in the stack.yaml and also putting ^>= constraints in the .cabal file, and having the two not match, is a recipe for trouble |
| 2024-03-19 21:17:27 +0100 | <tomsmeding> | ph88: is there a particular reason you're using stack? :p |
| 2024-03-19 21:18:39 +0100 | <ph88> | tomsmeding, it was recommended to me as easy for beginners back in 2015 and never felt the need to change :p |
| 2024-03-19 21:18:55 +0100 | <tomsmeding> | cabal has gotten better since 2015 :p |
| 2024-03-19 21:19:02 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-19 21:19:14 +0100 | <ph88> | ye i think so too, even that it can use package sets from stackage |
| 2024-03-19 21:19:14 +0100 | <tomsmeding> | but if you're happy with the way your working, don't feel forced to change |
| 2024-03-19 21:19:29 +0100 | <haskellbridge> | <sm> ph88: what's your reason for adding package ranges ? to make the package robust for non-stack users as well ? |
| 2024-03-19 21:19:47 +0100 | <ph88> | yes |
| 2024-03-19 21:20:21 +0100 | <haskellbridge> | <sm> I think it's fine to use cabal gen-bounds to update the cabal file, it should still work with your recommended stackage snapshot |
| 2024-03-19 21:20:52 +0100 | <tomsmeding> | but then you should also test building using cabal, otherwise the bounds are a lie :p |
| 2024-03-19 21:21:01 +0100 | <haskellbridge> | <sm> assuming it generates fairly broad ranges |
| 2024-03-19 21:21:05 +0100 | <haskellbridge> | <sm> of course, always test |
| 2024-03-19 21:21:17 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-19 21:21:43 +0100 | <tomsmeding> | sm: it will generate PVP ranges starting at the version selected by cabal's build plan |
| 2024-03-19 21:21:55 +0100 | <tomsmeding> | so e.g. '>= 0.7.10 && < 0.8' |
| 2024-03-19 21:22:16 +0100 | <tomsmeding> | that's not very broad and fairly likely to exclude your current stack lts |
| 2024-03-19 21:22:32 +0100 | <haskellbridge> | <sm> ph88 should override that then |
| 2024-03-19 21:22:44 +0100 | <haskellbridge> | <sm> if needed |
| 2024-03-19 21:22:57 +0100 | <tomsmeding> | can't one list the dependency versions that stack actually took? |
| 2024-03-19 21:23:06 +0100 | <tomsmeding> | i.e. the subset of the stackage snapshot that you're using |
| 2024-03-19 21:23:15 +0100 | <tomsmeding> | then a PVP range around that would be a good candidate |
| 2024-03-19 21:26:34 +0100 | Fay | (~fay@pool-108-4-12-197.rcmdva.fios.verizon.net) (Quit: Lost terminal) |
| 2024-03-19 21:26:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 21:30:44 +0100 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2024-03-19 21:32:30 +0100 | vulpine | (xfnw@tilde.team) |
| 2024-03-19 21:34:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-19 21:39:52 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-19 21:42:12 +0100 | chromoblob | (~chromoblo@176.59.204.188) (Remote host closed the connection) |
| 2024-03-19 21:42:32 +0100 | chromoblob | (~chromoblo@176.59.204.188) |
| 2024-03-19 21:45:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 21:47:17 +0100 | AlexZenon | (~alzenon@178.34.160.143) (Quit: ;-) |
| 2024-03-19 21:47:39 +0100 | AlexNoo | (~AlexNoo@178.34.160.143) (Quit: Leaving) |
| 2024-03-19 21:56:16 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-03-19 21:58:16 +0100 | AlexNoo | (~AlexNoo@178.34.160.143) |
| 2024-03-19 21:58:16 +0100 | AlexZenon | (~alzenon@178.34.160.143) |
| 2024-03-19 21:59:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 22:00:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:78b6:ebc5:13f8:6873) (Ping timeout: 272 seconds) |
| 2024-03-19 22:02:29 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-19 22:03:39 +0100 | chromoblob | (~chromoblo@176.59.204.188) (Read error: Connection reset by peer) |
| 2024-03-19 22:03:47 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-19 22:04:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-19 22:04:29 +0100 | euleritian | (~euleritia@dynamic-176-006-183-177.176.6.pool.telefonica.de) |
| 2024-03-19 22:09:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-03-19 22:09:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-19 22:12:22 +0100 | jbalint_ | (~jbalint@2600-6c44-117f-e98a-816a-9488-0fb1-07b7.inf6.spectrum.com) (Quit: Bye!) |
| 2024-03-19 22:14:16 +0100 | yin | (~yin@user/zero) |
| 2024-03-19 22:14:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 22:16:51 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 260 seconds) |
| 2024-03-19 22:18:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-19 22:19:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-19 22:32:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 22:34:09 +0100 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) |
| 2024-03-19 22:38:41 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-19 22:40:20 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-19 22:44:13 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-03-19 22:49:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 22:51:51 +0100 | Mr | (~junkedsta@78.16.193.114) (Read error: Connection reset by peer) |
| 2024-03-19 22:53:17 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-19 22:53:35 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:9e00:6501:d0d1:4030) (Remote host closed the connection) |
| 2024-03-19 22:54:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 22:56:34 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-19 22:56:45 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-19 22:58:02 +0100 | <glguy> | Related to ^>= constraints, you can use those with {} sets if you support multiple major versions |
| 2024-03-19 23:02:56 +0100 | germ | (~quassel@50.39.179.7) |
| 2024-03-19 23:04:01 +0100 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2024-03-19 23:04:05 +0100 | Server | +Cnt |
| 2024-03-19 23:05:01 +0100 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-19 23:09:01 +0100 | dpren | (uid175126@id-175126.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-19 23:09:42 +0100 | germ | (~quassel@50.39.179.7) (Changing host) |
| 2024-03-19 23:09:42 +0100 | germ | (~quassel@user/mipsel3) |
| 2024-03-19 23:09:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-19 23:11:03 +0100 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 2024-03-19 23:11:17 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-03-19 23:11:17 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-19 23:12:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 23:16:35 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-19 23:17:03 +0100 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2024-03-19 23:17:26 +0100 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 2024-03-19 23:17:26 +0100 | ChanServ | +v yahb2 |
| 2024-03-19 23:18:46 +0100 | <shapr> | I'm using QuickCheck's monadicIO in an hspec test suite. One of the calls inside monadicIO hits "error" but the property doesn't fail. |
| 2024-03-19 23:19:03 +0100 | <shapr> | Any idea what I need to do for a monadicIO property to fail when it hits an error call? |
| 2024-03-19 23:19:22 +0100 | <shapr> | I tried `fail` instead, but same lack of test case failure. |
| 2024-03-19 23:24:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 23:28:28 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-19 23:36:01 +0100 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-19 23:42:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-19 23:46:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-19 23:49:08 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-03-19 23:53:01 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |