| 2023-08-06 00:02:21 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-06 00:03:22 +0000 | califax | (~califax@user/califx) |
| 2023-08-06 00:15:49 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-06 00:19:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-06 00:29:39 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-06 00:31:32 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-06 00:34:46 +0000 | artem | (~artem@38.42.227.237) (Quit: Quit) |
| 2023-08-06 00:35:00 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-06 00:35:08 +0000 | ulysses4ever | (~artem@38.42.227.237) (Client Quit) |
| 2023-08-06 00:35:22 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-06 00:41:52 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-06 00:41:52 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-06 00:41:52 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-06 00:50:05 +0000 | ulysses4ever | artem |
| 2023-08-06 00:58:19 +0000 | razetime | (~quassel@117.254.36.168) |
| 2023-08-06 00:59:50 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-08-06 01:11:22 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-06 01:11:33 +0000 | <dsal> | It's kind of annoying to write quickcheck shrinkers, but I don't feel I quite understand what hedgehog does. I've got two DAG types for my tests. One does a basic DAG generation, and when shrinking, it basically drops nodes and then enforces there aren't any pointers to missing nodes. |
| 2023-08-06 01:11:57 +0000 | <dsal> | The second type is a DAG and a key that's known to be in the DAG, so when I shrink, I can't consider any value that doesn't contain that key. |
| 2023-08-06 01:15:43 +0000 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2023-08-06 01:15:43 +0000 | Me-me | (~me-me@user/me-me) |
| 2023-08-06 01:17:29 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-06 01:22:59 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 01:24:23 +0000 | R3G3N3R4T3 | (~R3G3N3R4T@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-08-06 01:27:28 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-06 01:32:30 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-06 01:33:02 +0000 | mention | (~mention@bcdcac82.skybroadband.com) |
| 2023-08-06 01:36:55 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-06 01:40:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-08-06 01:41:04 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-06 01:47:15 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-08-06 01:47:43 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-06 01:55:35 +0000 | <dsal> | It looks like I can influence that a bit with `Gen.mapMaybe` and such, but that seems less direct. |
| 2023-08-06 01:58:07 +0000 | bilegeek | (~bilegeek@2600:1008:b046:71bf:385f:ca76:1b01:287f) |
| 2023-08-06 02:00:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-08-06 02:00:56 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-06 02:16:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 02:18:14 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-06 02:32:31 +0000 | ddellacosta | (~ddellacos@146.70.165.10) (Ping timeout: 245 seconds) |
| 2023-08-06 02:34:30 +0000 | ddellacosta | (~ddellacos@146.70.166.248) |
| 2023-08-06 02:35:23 +0000 | nick4 | (~nick@2600:8807:9084:7800:ec9c:4d02:2ec4:e8ec) |
| 2023-08-06 02:36:12 +0000 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-06 02:37:49 +0000 | td_ | (~td@i5387092A.versanet.de) |
| 2023-08-06 02:44:52 +0000 | shapr | (~user@2600:1700:c640:3100:5b39:72cf:2cf6:4f57) (Remote host closed the connection) |
| 2023-08-06 02:45:06 +0000 | shapr | (~user@2600:1700:c640:3100:c1a9:d78c:4858:73ee) |
| 2023-08-06 02:46:56 +0000 | nick3 | (~nick@98.186.196.41) |
| 2023-08-06 02:48:27 +0000 | nick4 | (~nick@2600:8807:9084:7800:ec9c:4d02:2ec4:e8ec) (Ping timeout: 246 seconds) |
| 2023-08-06 02:51:56 +0000 | qqq | (~qqq@92.43.167.61) |
| 2023-08-06 02:52:08 +0000 | nick4 | (~nick@2600:8807:9084:7800:4415:cce6:aebf:151d) |
| 2023-08-06 02:53:00 +0000 | nick3 | (~nick@98.186.196.41) (Ping timeout: 245 seconds) |
| 2023-08-06 03:00:13 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-06 03:00:13 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-06 03:00:13 +0000 | finn_elija | FinnElija |
| 2023-08-06 03:00:21 +0000 | razetime | (~quassel@117.254.36.168) (Ping timeout: 246 seconds) |
| 2023-08-06 03:04:20 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-08-06 03:12:13 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-06 03:12:40 +0000 | razetime | (~quassel@117.254.37.46) |
| 2023-08-06 03:12:42 +0000 | phma | (~phma@2001:5b0:210d:fef8:786c:170d:9d9:5b69) |
| 2023-08-06 03:17:16 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2023-08-06 03:19:07 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-06 03:23:17 +0000 | aforemny_ | (~aforemny@i59F516D0.versanet.de) |
| 2023-08-06 03:24:34 +0000 | aforemny | (~aforemny@2001:9e8:6cf0:ae00:b4f4:25a1:c52c:f256) (Ping timeout: 260 seconds) |
| 2023-08-06 03:32:25 +0000 | razetime | (~quassel@117.254.37.46) (Ping timeout: 240 seconds) |
| 2023-08-06 03:38:16 +0000 | phma | (~phma@2001:5b0:210d:fef8:786c:170d:9d9:5b69) (Read error: Connection reset by peer) |
| 2023-08-06 03:38:45 +0000 | phma | (~phma@2001:5b0:210d:fef8:786c:170d:9d9:5b69) |
| 2023-08-06 03:41:54 +0000 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2023-08-06 03:47:33 +0000 | razetime | (~quassel@117.254.37.46) |
| 2023-08-06 03:57:04 +0000 | shapr | (~user@2600:1700:c640:3100:c1a9:d78c:4858:73ee) (Remote host closed the connection) |
| 2023-08-06 03:57:18 +0000 | shapr | (~user@2600:1700:c640:3100:b49b:8203:a696:85b3) |
| 2023-08-06 04:00:18 +0000 | phma | (~phma@2001:5b0:210d:fef8:786c:170d:9d9:5b69) (Read error: Connection reset by peer) |
| 2023-08-06 04:00:47 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) |
| 2023-08-06 04:07:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-06 04:08:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-06 04:10:31 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-06 04:20:58 +0000 | trev | (~trev@user/trev) |
| 2023-08-06 04:21:03 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-06 04:21:28 +0000 | phma | (phma@2001:5b0:210d:fef8:786c:170d:9d9:5b69) |
| 2023-08-06 04:24:38 +0000 | myme | (~myme@2a01:799:d60:e400:b41a:c870:8ef2:7459) (Ping timeout: 246 seconds) |
| 2023-08-06 04:25:50 +0000 | myme | (~myme@2a01:799:d60:e400:f52f:533:322f:2121) |
| 2023-08-06 04:28:25 +0000 | shapr | (~user@2600:1700:c640:3100:b49b:8203:a696:85b3) (Ping timeout: 240 seconds) |
| 2023-08-06 04:31:17 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-06 04:33:02 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-06 04:54:47 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-06 04:59:42 +0000 | Inst_ | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-06 05:08:54 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-08-06 05:08:58 +0000 | travgm | (~travgm@173-47-170-22.cpe.cableone.net) |
| 2023-08-06 05:08:58 +0000 | travgm | (~travgm@173-47-170-22.cpe.cableone.net) (Changing host) |
| 2023-08-06 05:08:58 +0000 | travgm | (~travgm@fsf/member/travgm) |
| 2023-08-06 05:10:42 +0000 | mei | (~mei@user/mei) |
| 2023-08-06 05:18:20 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-06 05:22:03 +0000 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2023-08-06 05:23:50 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-06 05:25:45 +0000 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-08-06 05:26:00 +0000 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
| 2023-08-06 05:49:56 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-06 05:52:30 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-08-06 05:55:54 +0000 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ec22:7125:3e26:e7ab) |
| 2023-08-06 06:01:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-06 06:02:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 06:20:33 +0000 | razetime | (~quassel@117.254.37.46) (Ping timeout: 246 seconds) |
| 2023-08-06 06:21:14 +0000 | razetime | (~quassel@117.254.37.21) |
| 2023-08-06 06:24:03 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-06 06:29:23 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2023-08-06 06:31:48 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-08-06 06:32:47 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2023-08-06 06:47:24 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-06 06:51:38 +0000 | raym | (~ray@user/raym) |
| 2023-08-06 06:55:25 +0000 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-08-06 07:10:48 +0000 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ec22:7125:3e26:e7ab) (Ping timeout: 246 seconds) |
| 2023-08-06 07:16:14 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 07:16:43 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-095-239.46.114.pool.telefonica.de) |
| 2023-08-06 07:20:26 +0000 | razetime | (~quassel@117.254.37.21) (Remote host closed the connection) |
| 2023-08-06 07:20:55 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-06 07:23:18 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-06 07:51:40 +0000 | bilegeek | (~bilegeek@2600:1008:b046:71bf:385f:ca76:1b01:287f) (Quit: Leaving) |
| 2023-08-06 07:53:18 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-06 07:55:34 +0000 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-06 07:57:01 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 246 seconds) |
| 2023-08-06 07:58:29 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-06 08:03:07 +0000 | acidjnk | (~acidjnk@p200300d6e7072f078d7b2a00ab71d1ea.dip0.t-ipconnect.de) |
| 2023-08-06 08:07:07 +0000 | dvb^ | (~cd@24.125.210.85) (Remote host closed the connection) |
| 2023-08-06 08:07:10 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-06 08:09:19 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 08:10:32 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-06 08:13:49 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-06 08:22:10 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 2023-08-06 08:32:43 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-06 08:34:08 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 08:34:11 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-06 08:36:42 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-08-06 08:36:56 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 2023-08-06 08:38:26 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-06 08:40:29 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-06 08:45:06 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-06 08:45:11 +0000 | mmhat | (~mmh@p200300f1c73d19a2ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-06 08:48:27 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 08:50:42 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-06 08:54:09 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-06 08:56:46 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-06 09:02:48 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-06 09:03:42 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-06 09:04:33 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-06 09:11:47 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-06 09:13:09 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-06 09:15:12 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-06 09:24:38 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: brb/bbiab) |
| 2023-08-06 09:24:49 +0000 | travgm | (~travgm@fsf/member/travgm) (Remote host closed the connection) |
| 2023-08-06 09:25:55 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 240 seconds) |
| 2023-08-06 09:27:53 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-06 09:34:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Remote host closed the connection) |
| 2023-08-06 09:36:29 +0000 | benin | (~benin@2001:df1:800:a00e:4::a44e) |
| 2023-08-06 09:37:45 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-06 09:38:21 +0000 | benin | (~benin@2001:df1:800:a00e:4::a44e) (Client Quit) |
| 2023-08-06 09:39:16 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 09:40:31 +0000 | ub | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) |
| 2023-08-06 09:42:54 +0000 | mmhat | (~mmh@p200300f1c73d19a2ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-08-06 09:47:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-08-06 09:48:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-06 09:54:10 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-06 10:07:16 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-08-06 10:10:57 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-06 10:10:57 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-08-06 10:15:30 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-06 10:16:17 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-06 10:20:26 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 10:24:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-06 10:30:28 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-06 10:35:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4412:cedf:3c2a:7919) |
| 2023-08-06 10:35:04 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-06 10:39:23 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-06 10:39:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4412:cedf:3c2a:7919) (Ping timeout: 246 seconds) |
| 2023-08-06 10:41:42 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-06 10:43:55 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-06 10:44:23 +0000 | Buggys | (Buggys@buggy.shelltalk.net) (Ping timeout: 264 seconds) |
| 2023-08-06 10:44:28 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-06 10:46:12 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-06 10:48:25 +0000 | nick4 | (~nick@2600:8807:9084:7800:4415:cce6:aebf:151d) (Ping timeout: 245 seconds) |
| 2023-08-06 10:50:44 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-08-06 10:51:18 +0000 | ub | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) (Quit: ub) |
| 2023-08-06 10:52:11 +0000 | mysl | (~mysl@user/mysl) (Ping timeout: 264 seconds) |
| 2023-08-06 10:56:20 +0000 | ubert | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2023-08-06 10:56:26 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-06 11:01:26 +0000 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-08-06 11:03:37 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-06 11:04:41 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-06 11:05:14 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 11:05:42 +0000 | mrmr | (~mrmr@user/mrmr) |
| 2023-08-06 11:06:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-06 11:09:38 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-06 11:13:48 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-06 11:16:55 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Client Quit) |
| 2023-08-06 11:17:46 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 11:20:46 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-06 11:21:54 +0000 | mysl | (~mysl@user/mysl) |
| 2023-08-06 11:22:36 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-06 11:23:10 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-06 11:27:24 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-08-06 11:29:19 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 11:33:46 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-06 11:37:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-06 11:38:00 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-06 11:38:29 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-06 11:38:44 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 11:54:31 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 12:00:25 +0000 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2023-08-06 12:02:26 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-08-06 12:04:15 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-06 12:04:15 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-06 12:04:50 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-095-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-08-06 12:05:05 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-06 12:05:30 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Client Quit) |
| 2023-08-06 12:07:11 +0000 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-08-06 12:07:42 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-06 12:07:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-06 12:11:16 +0000 | seeg123456 | (~seeg12345@64.176.64.83) () |
| 2023-08-06 12:11:17 +0000 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-08-06 12:11:24 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-06 12:18:41 +0000 | seeg123456 | (~seeg12345@64.176.64.83) () |
| 2023-08-06 12:18:52 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 12:25:15 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-06 12:26:14 +0000 | yangby | (~secret@183.157.65.111) (Quit: Go out for a walk and buy a drink.) |
| 2023-08-06 12:33:15 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-06 12:38:26 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-095-239.46.114.pool.telefonica.de) |
| 2023-08-06 12:38:27 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-06 12:41:00 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-06 12:49:21 +0000 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-08-06 12:57:10 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-06 12:57:55 +0000 | ddellacosta | (~ddellacos@146.70.166.248) (Ping timeout: 240 seconds) |
| 2023-08-06 13:01:09 +0000 | shapr | (~user@2600:1700:c640:3100:9415:bb5d:ae7f:5570) |
| 2023-08-06 13:04:38 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-06 13:15:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-06 13:21:03 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-06 13:23:10 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::3d70) |
| 2023-08-06 13:29:14 +0000 | ddellacosta | (~ddellacos@146.70.166.248) |
| 2023-08-06 13:32:43 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-06 13:33:01 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-08-06 13:35:26 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-06 13:35:43 +0000 | razetime | (~quassel@117.254.37.21) |
| 2023-08-06 13:41:16 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-06 13:42:19 +0000 | dolio | (~dolio@130.44.134.54) (Ping timeout: 260 seconds) |
| 2023-08-06 13:47:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-06 14:14:47 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 14:20:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-06 14:34:16 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-06 14:40:34 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-06 14:46:02 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2023-08-06 14:46:50 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::3d70) (Quit: Where is it) |
| 2023-08-06 14:47:05 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-08-06 14:55:08 +0000 | xkuru | (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
| 2023-08-06 14:55:36 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2023-08-06 15:04:22 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-06 15:04:23 +0000 | xkuru | (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
| 2023-08-06 15:05:10 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2023-08-06 15:05:47 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-06 15:10:32 +0000 | x_kuru | (~xkuru@user/xkuru) |
| 2023-08-06 15:11:24 +0000 | x_kuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2023-08-06 15:11:26 +0000 | xkuru | (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
| 2023-08-06 15:11:44 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2023-08-06 15:17:27 +0000 | razetime | (~quassel@117.254.37.21) (Remote host closed the connection) |
| 2023-08-06 15:19:19 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 15:21:42 +0000 | ulysses4ever | (~artem@172.56.193.140) |
| 2023-08-06 15:22:35 +0000 | artem | (~artem@38.42.227.237) (Ping timeout: 245 seconds) |
| 2023-08-06 15:22:44 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-06 15:23:50 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-06 15:24:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-06 15:24:08 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-08-06 15:25:54 +0000 | ulysses4ever | (~artem@172.56.193.140) (Read error: Connection reset by peer) |
| 2023-08-06 15:26:12 +0000 | ulysses4ever | (~artem@50.216.106.10) |
| 2023-08-06 15:29:57 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-08-06 15:30:24 +0000 | ulysses4ever | (~artem@50.216.106.10) (Ping timeout: 246 seconds) |
| 2023-08-06 15:36:05 +0000 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-08-06 15:37:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-06 15:39:28 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4412:cedf:3c2a:7919) |
| 2023-08-06 15:43:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4412:cedf:3c2a:7919) (Ping timeout: 240 seconds) |
| 2023-08-06 15:44:33 +0000 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-08-06 15:48:32 +0000 | sm_ | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-06 15:50:24 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-06 15:52:48 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-06 15:53:23 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-06 15:53:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-06 15:55:30 +0000 | Inst_ | (~Inst@2601:6c4:4081:2fc0:1819:b44d:a133:3985) |
| 2023-08-06 15:56:14 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-06 15:58:08 +0000 | danza | (~francesco@151.57.78.253) |
| 2023-08-06 16:05:30 +0000 | danza | (~francesco@151.57.78.253) (Ping timeout: 245 seconds) |
| 2023-08-06 16:07:55 +0000 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 16:07:55 +0000 | orcus- | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 16:08:26 +0000 | sevenfour | (~sevenfour@174.112.127.99) |
| 2023-08-06 16:09:40 +0000 | dispater | (~dispater@mail.brprice.uk) |
| 2023-08-06 16:10:10 +0000 | orcus | (~orcus@mail.brprice.uk) |
| 2023-08-06 16:10:17 +0000 | ubert1 | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) |
| 2023-08-06 16:13:51 +0000 | dispater | (~dispater@mail.brprice.uk) (Client Quit) |
| 2023-08-06 16:13:51 +0000 | orcus | (~orcus@mail.brprice.uk) (Client Quit) |
| 2023-08-06 16:14:16 +0000 | sevenfour | (~sevenfour@174.112.127.99) (Quit: Leaving) |
| 2023-08-06 16:14:31 +0000 | Guest70 | (~Guest38@174.112.127.99) |
| 2023-08-06 16:15:12 +0000 | dispater | (~dispater@mail.brprice.uk) |
| 2023-08-06 16:15:43 +0000 | orcus | (~orcus@mail.brprice.uk) |
| 2023-08-06 16:17:38 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-06 16:20:29 +0000 | <Guest70> | Hello, I'm a beginner programmer would like some criticisms and advice on my tictactoe board's logic and documentation. https://paste.tomsmeding.com/kd2Qziqs |
| 2023-08-06 16:22:42 +0000 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 16:23:02 +0000 | orcus | (~orcus@user/brprice) |
| 2023-08-06 16:24:12 +0000 | <[exa]> | Guest70: actually looks pretty clean |
| 2023-08-06 16:24:45 +0000 | <[exa]> | Guest70: you might want to remove the Show instance for Player (Show should generally produce a parseable representation, and you have a different renderer in showCell anyway) |
| 2023-08-06 16:24:54 +0000 | <int-e> | `abs (x-y) == 2` happens to work, but x+y == 2 defines the actual diagonal. |
| 2023-08-06 16:25:23 +0000 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 16:25:44 +0000 | dispater | (~dispater@user/brprice) |
| 2023-08-06 16:26:07 +0000 | <int-e> | . o O ( data Player = X | O ) |
| 2023-08-06 16:26:19 +0000 | <[exa]> | +1 ^ |
| 2023-08-06 16:28:40 +0000 | trev | (~trev@user/trev) |
| 2023-08-06 16:29:20 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-06 16:29:28 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-06 16:30:14 +0000 | <[exa]> | Guest70: in `modifyBoard` you might get a little better parenthesization if the `Int` argument of `modify` was first, I think you could get something like `modBoard (x,y) f = modify y (modify x f)` |
| 2023-08-06 16:30:42 +0000 | <[exa]> | ...which in turn may rewrite to a completely silly looking `modBoard (x,y) = modify y . modify x` |
| 2023-08-06 16:30:55 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-06 16:32:24 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-06 16:32:38 +0000 | <Guest70> | Yea, I was having a hell of a time trying to figure out how to make it look better. That's pretty cool looking |
| 2023-08-06 16:32:52 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 16:35:07 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 16:35:07 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 16:36:28 +0000 | dispater | (~dispater@user/brprice) |
| 2023-08-06 16:36:54 +0000 | <ncf> | using lens: modifyBoard (x, y) p = ix y . ix x ?~ p |
| 2023-08-06 16:36:58 +0000 | orcus | (~orcus@user/brprice) |
| 2023-08-06 16:37:10 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-06 16:37:20 +0000 | <[exa]> | Guest70: there's a general intuition that the most "variable" arguments should go last, which probably applies here. And yeah lenses are the next step there :D |
| 2023-08-06 16:38:49 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-06 16:39:09 +0000 | <Guest70> | Whoa someone already wrote the function I wanted |
| 2023-08-06 16:41:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-06 16:43:01 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-06 16:43:45 +0000 | Harriet | (harriet@user/Lareina) (not now) |
| 2023-08-06 16:44:10 +0000 | <Guest70> | Alright, thank you all for the advice. Also, do you guys have any documentation tips, or anywhere I should read up on how to document my code better? |
| 2023-08-06 16:44:20 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-06 16:52:08 +0000 | stilgart | (~Christoph@chezlefab.net) |
| 2023-08-06 16:52:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-06 16:54:30 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-06 16:55:14 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-08-06 16:55:44 +0000 | <hellwolf> | not so sure I would recommend using lens for such exercise.. |
| 2023-08-06 16:56:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-06 16:57:20 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-08-06 16:57:52 +0000 | <monochrom> | IMO using lens in that context is caused by an XY problem. The wrong decision was made to use [[Cell]] for the board. It went downhill from there. |
| 2023-08-06 16:58:17 +0000 | <monochrom> | Everything would be more direct if a real array was chosen at the beginning. |
| 2023-08-06 16:59:32 +0000 | <monochrom> | C beginners suffer the opposite problem, evidently. They use arrays when they should use real linked lists or trees. >:) |
| 2023-08-06 17:01:07 +0000 | <Guest70> | I see, so should I be using array from the Data.Array library? |
| 2023-08-06 17:02:41 +0000 | <monochrom> | I have seen someone's C code for Dijkstra shortest path. It did a linear search on an array to find the minimum-weight edge. And it was not even written by a beginner. It was code library of one of the best teams in ACM ICPC. |
| 2023-08-06 17:03:48 +0000 | <geekosaur> | Data.Array or Data.Vector. the former has the advantage that 2D is directly supported, the latter is somewhat better optimized |
| 2023-08-06 17:10:30 +0000 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-08-06 17:11:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-06 17:23:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-06 17:23:36 +0000 | <[exa]> | Guest70: re documentation, haddock has a standard form of adding docstrings, nothing surprising I'd say |
| 2023-08-06 17:24:18 +0000 | seeg123456 | (~seeg12345@64.176.64.83) () |
| 2023-08-06 17:24:27 +0000 | <[exa]> | Guest70: re arrays, for this problem size don't worry at all, and eventually Data.Vector (for dense representation) or Data.Map (for sparse one) will probably fix it |
| 2023-08-06 17:24:29 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Quit: Leaving) |
| 2023-08-06 17:26:40 +0000 | <monochrom> | This is not about size and runtime efficiency. This is about using the right API for the right purpose and programmer-time efficiency. |
| 2023-08-06 17:26:45 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 17:26:50 +0000 | <EvanR> | in C you rewrite linked list every time you need one. In haskell you rewrite 2D array using Vectors every time |
| 2023-08-06 17:27:03 +0000 | <EvanR> | they're complementary |
| 2023-08-06 17:27:31 +0000 | <int-e> | But it's 9 entries... the data structure hardly matters. |
| 2023-08-06 17:28:13 +0000 | <EvanR> | data Nine a = Nine a a a a a a a a a |
| 2023-08-06 17:28:15 +0000 | <int-e> | :t (//) |
| 2023-08-06 17:28:16 +0000 | <lambdabot> | Ix i => Array i e -> [(i, e)] -> Array i e |
| 2023-08-06 17:28:36 +0000 | <int-e> | Having // is convenient though. |
| 2023-08-06 17:28:49 +0000 | <monochrom> | That is my point. |
| 2023-08-06 17:29:35 +0000 | <monochrom> | I was commenting one why lens was brought in. It does not matter that the board size is 1x1. |
| 2023-08-06 17:29:36 +0000 | <int-e> | EvanR: type Nine a = Three (Three a) |
| 2023-08-06 17:29:54 +0000 | <EvanR> | touché |
| 2023-08-06 17:30:16 +0000 | cole-k | (~cole@cpe-104-32-238-223.socal.res.rr.com) |
| 2023-08-06 17:30:35 +0000 | <EvanR> | you only need prime numbered tuples |
| 2023-08-06 17:31:05 +0000 | <EvanR> | which is why we don't have 1-tuples |
| 2023-08-06 17:31:30 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-06 17:32:10 +0000 | <cole-k> | Is there a way to get stack (or cabal) to compile all files in the project? Right now it's stopping when there's a compilation error in one file. The files in question don't depend on each other. |
| 2023-08-06 17:33:44 +0000 | <monochrom> | Probably at the build target granularity instead of the file granularity. |
| 2023-08-06 17:34:11 +0000 | <monochrom> | Probably `cabal build exe:foo` for example. |
| 2023-08-06 17:34:21 +0000 | <c_wraith> | well, depending on the source of the errors... there's -fdefer-type-errors |
| 2023-08-06 17:36:24 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-06 17:38:43 +0000 | dyniec | (~dyniec@mail.dybiec.info) |
| 2023-08-06 17:43:03 +0000 | <cole-k> | monochrom: could you give me some references or search terms I could use to investigate? |
| 2023-08-06 17:43:39 +0000 | <cole-k> | c_wraith: I'm trying to get LiquidHaskell to check all files in a repository and it looks like it doesn't emit type errors proper. |
| 2023-08-06 17:44:30 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-06 17:45:03 +0000 | <monochrom> | https://cabal.readthedocs.io/en/stable/cabal-commands.html#target-forms |
| 2023-08-06 17:45:25 +0000 | ubert | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) |
| 2023-08-06 17:46:09 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2240-0754-089c-9637-4186-a977.rev.sfr.net) |
| 2023-08-06 17:47:03 +0000 | <geekosaur> | --keep-going ? |
| 2023-08-06 17:47:31 +0000 | <monochrom> | Hey that's better! |
| 2023-08-06 17:48:11 +0000 | <c_wraith> | that appears to only apply at the package level. Unless the documentation is worded poorly |
| 2023-08-06 17:49:13 +0000 | <cole-k> | yeah it seems to fail still :( |
| 2023-08-06 17:49:34 +0000 | <geekosaur> | given the way cabal delegates to ghc, you probably need 'ghc-options: -fkeep-going' for that |
| 2023-08-06 17:50:00 +0000 | <geekosaur> | (or the command line form which should be --ghc-options=-fkeep-going) |
| 2023-08-06 17:50:05 +0000 | taupiqueur | (~taupiqueu@126.199.204.77.rev.sfr.net) |
| 2023-08-06 17:50:30 +0000 | <cole-k> | geekosaur: Yes! That seems to work. Thank you! |
| 2023-08-06 17:52:00 +0000 | <cole-k> | For posterity, the fix that worked for me was adding the ghc-option -fkeep-going to my package.yaml file (I'm compiling with stack). |
| 2023-08-06 17:54:51 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-06 17:55:13 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-095-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-08-06 17:56:46 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-06 17:56:52 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2240-0754-089c-9637-4186-a977.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-06 17:57:15 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2240-0754-089c-9637-4186-a977.rev.sfr.net) |
| 2023-08-06 18:00:33 +0000 | cole-k | (~cole@cpe-104-32-238-223.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-08-06 18:00:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-06 18:01:14 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-06 18:02:44 +0000 | <Guest70> | These are the only "major" changes I had to make to have the program seem to work as intended. But is this how I'm supposed to import? |
| 2023-08-06 18:02:44 +0000 | <Guest70> | import Data.Vector ((!), (//), Vector) |
| 2023-08-06 18:02:45 +0000 | <Guest70> | import qualified Data.Vector as V |
| 2023-08-06 18:02:45 +0000 | <Guest70> | modifyBoard (x,y) p b = b // [(x, modRow)] |
| 2023-08-06 18:02:46 +0000 | <Guest70> | where modRow = b ! x // [(y, Just p)] |
| 2023-08-06 18:04:59 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-06 18:05:41 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-06 18:06:11 +0000 | <monochrom> | I personally prefer keeping it 1-dimensional and calculate my own 3*x+y or x+3*y. |
| 2023-08-06 18:06:54 +0000 | <monochrom> | or else use Data.Array |
| 2023-08-06 18:07:34 +0000 | doyougnu- | (~doyougnu@45.46.170.68) |
| 2023-08-06 18:07:46 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 260 seconds) |
| 2023-08-06 18:08:57 +0000 | <EvanR> | yes that is better |
| 2023-08-06 18:09:07 +0000 | <EvanR> | for locality |
| 2023-08-06 18:12:02 +0000 | <[exa]> | b..b...b..but z-order |
| 2023-08-06 18:13:50 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) |
| 2023-08-06 18:17:02 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2240-0754-089c-9637-4186-a977.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-08-06 18:17:33 +0000 | taupiqueur | (~taupiqueu@126.199.204.77.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-08-06 18:18:30 +0000 | <monochrom> | I'm OK with z-order too. Just forgot the formula. |
| 2023-08-06 18:19:19 +0000 | <dolio> | Z order is no good. You should use Hilbert's space filling curve. |
| 2023-08-06 18:19:21 +0000 | <monochrom> | This is one of the rare right times when one can legitimately harp "it's just 3x3, doesn't matter". |
| 2023-08-06 18:21:04 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-06 18:21:09 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-06 18:21:09 +0000 | <[exa]> | Z order index computation is like 3 instructions (you just mix the bits) |
| 2023-08-06 18:21:21 +0000 | <[exa]> | hilbert is not as happy although it can be done |
| 2023-08-06 18:22:01 +0000 | <int-e> | somebody is exated. |
| 2023-08-06 18:23:30 +0000 | <[exa]> | (we should also have array organization holy wars.) |
| 2023-08-06 18:23:55 +0000 | <int-e> | no we should not |
| 2023-08-06 18:25:58 +0000 | <dolio> | Wikipedia gives some loop for calculating the Hilbert index, which seems bad. But I'm not sure it's worse than Z order unless you have dedicated instructions. |
| 2023-08-06 18:26:21 +0000 | <dolio> | Is there some fast way to interleave the bits of two integers? |
| 2023-08-06 18:26:23 +0000 | <monochrom> | You should use 18 bits for a tic-tac-toe board. |
| 2023-08-06 18:26:25 +0000 | <[exa]> | dolio: https://github.com/exaexa/hilbert-curve-o1/blob/master/intbert.c |
| 2023-08-06 18:26:41 +0000 | <dolio> | Oh geeze. |
| 2023-08-06 18:26:44 +0000 | <[exa]> | (this is as far as I got) |
| 2023-08-06 18:27:06 +0000 | <int-e> | > logBase 2 3 / 2 |
| 2023-08-06 18:27:08 +0000 | <lambdabot> | 0.7924812503605781 |
| 2023-08-06 18:27:26 +0000 | <int-e> | monochrom: 2 bytes, each holding 5 trits. |
| 2023-08-06 18:27:28 +0000 | <dolio> | This is just unrolling the loop with lots of bit magic, right? |
| 2023-08-06 18:28:24 +0000 | <int-e> | dolio: nah, it's also splitting moves into power-of-two steps, because then they can be done in parallel |
| 2023-08-06 18:28:45 +0000 | <monochrom> | Yeah it does read like FFT... |
| 2023-08-06 18:28:52 +0000 | <dolio> | Ah, okay. |
| 2023-08-06 18:29:41 +0000 | <monochrom> | OK how about 18 bits but the order is Hilbert space curve >:) |
| 2023-08-06 18:31:00 +0000 | <monochrom> | then run it through compression so it fits into 16 bits |
| 2023-08-06 18:31:24 +0000 | <[exa]> | we're getting to cosmic scale tictactoe |
| 2023-08-06 18:31:43 +0000 | nick4 | (~nick@2600:8807:9084:7800:8141:f2b0:61a7:53a9) |
| 2023-08-06 18:36:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-06 18:36:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-06 18:36:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-06 18:39:46 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-06 18:41:09 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2023-08-06 18:42:24 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-06 18:48:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-06 18:48:43 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-06 18:57:21 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-06 19:06:12 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-06 19:08:22 +0000 | michalz | (~michalz@185.246.207.215) |
| 2023-08-06 19:12:58 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) |
| 2023-08-06 19:21:09 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-06 19:26:44 +0000 | taupiqueur | (~taupiqueu@71.198.204.77.rev.sfr.net) |
| 2023-08-06 19:28:16 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2241-6be6-0c27-c5f9-b118-a81f.rev.sfr.net) |
| 2023-08-06 19:32:12 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-08-06 19:33:43 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-06 19:35:06 +0000 | ubert | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) (Quit: ubert) |
| 2023-08-06 19:35:06 +0000 | ubert1 | ubert |
| 2023-08-06 19:48:54 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-08-06 19:51:49 +0000 | zeenk | (~zeenk@2a02:2f04:a110:8d00::7fe) |
| 2023-08-06 19:52:06 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 19:53:00 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) (Ping timeout: 245 seconds) |
| 2023-08-06 19:55:45 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-06 19:56:20 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-06 20:00:25 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-08-06 20:02:38 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-08-06 20:07:38 +0000 | ddellacosta | (~ddellacos@146.70.166.248) (Quit: WeeChat 4.0.2) |
| 2023-08-06 20:10:35 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-06 20:13:19 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-06 20:14:16 +0000 | img | (~img@user/img) |
| 2023-08-06 20:14:27 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) |
| 2023-08-06 20:17:55 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-095-239.46.114.pool.telefonica.de) |
| 2023-08-06 20:18:24 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 20:22:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-06 20:25:47 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-06 20:25:59 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Client Quit) |
| 2023-08-06 20:26:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-06 20:29:01 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-08-06 20:29:39 +0000 | mei | (~mei@user/mei) |
| 2023-08-06 20:33:05 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-06 20:36:56 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-06 20:42:15 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2023-08-06 20:43:47 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-08-06 20:44:34 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2241-6be6-0c27-c5f9-b118-a81f.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-06 20:45:34 +0000 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-08-06 20:49:44 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-06 20:51:34 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-06 20:56:47 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-06 20:57:38 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2023-08-06 21:03:15 +0000 | taupiqueur | (~taupiqueu@71.198.204.77.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-08-06 21:04:39 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-06 21:06:31 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) |
| 2023-08-06 21:12:08 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-06 21:12:08 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-06 21:12:08 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-06 21:17:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-06 21:19:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-06 21:27:16 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-06 21:27:35 +0000 | danza | (~francesco@ge-19-123-155.service.infuturo.it) (Ping timeout: 245 seconds) |
| 2023-08-06 21:28:16 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-06 21:28:50 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-06 21:29:08 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-06 21:33:00 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-06 21:33:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 21:33:25 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2023-08-06 21:37:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-06 21:39:49 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-06 21:40:42 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-08-06 21:40:57 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-06 21:41:12 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-06 21:46:52 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-06 21:47:44 +0000 | zeenk | (~zeenk@2a02:2f04:a110:8d00::7fe) (Quit: Konversation terminated!) |
| 2023-08-06 21:48:37 +0000 | acidjnk | (~acidjnk@p200300d6e7072f078d7b2a00ab71d1ea.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-06 21:48:42 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-08-06 21:57:02 +0000 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-08-06 22:00:05 +0000 | zaraksh | (~zaraksh@94.11.219.121) |
| 2023-08-06 22:02:02 +0000 | micro | (~micro@user/micro) (Ping timeout: 245 seconds) |
| 2023-08-06 22:03:24 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2023-08-06 22:03:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-08-06 22:03:57 +0000 | micro | (~micro@user/micro) |
| 2023-08-06 22:11:03 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-06 22:21:54 +0000 | ubert1 | (~Thunderbi@77.119.215.66.wireless.dyn.drei.com) |
| 2023-08-06 22:23:16 +0000 | ubert | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2023-08-06 22:23:16 +0000 | ubert1 | ubert |
| 2023-08-06 22:30:04 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-06 22:38:06 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-06 22:48:49 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-06 22:50:21 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 246 seconds) |
| 2023-08-06 22:52:00 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-08-06 22:52:42 +0000 | bilegeek | (~bilegeek@2600:1008:b0aa:9826:3cd0:f7c6:82d4:d441) |
| 2023-08-06 23:12:51 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Ping timeout: 260 seconds) |
| 2023-08-06 23:13:38 +0000 | bilegeek | (~bilegeek@2600:1008:b0aa:9826:3cd0:f7c6:82d4:d441) (Quit: Leaving) |
| 2023-08-06 23:13:56 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-08-06 23:15:33 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-06 23:15:33 +0000 | mauke_ | mauke |
| 2023-08-06 23:24:11 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-08-06 23:25:44 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-06 23:27:24 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-06 23:30:45 +0000 | <bratwurst> | is there a channel for asking nix questions? #nix seems to be invite-only |
| 2023-08-06 23:30:53 +0000 | <bratwurst> | i'm trying to get obelisk to work |
| 2023-08-06 23:31:17 +0000 | tokie | (~tokie@tokie.net) (WeeChat 2.8) |
| 2023-08-06 23:31:40 +0000 | <dsal> | There's #nixos, but I've rarely had a question answered there. |
| 2023-08-06 23:31:43 +0000 | phma | (phma@2001:5b0:210d:fef8:786c:170d:9d9:5b69) (Read error: Connection reset by peer) |
| 2023-08-06 23:32:07 +0000 | phma | (phma@2001:5b0:210d:fef8:25dd:a689:321e:57aa) |
| 2023-08-06 23:32:25 +0000 | <jackdk> | #reflex-frp for obelisk/reflexverse stuff |
| 2023-08-06 23:32:31 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-06 23:32:53 +0000 | <jackdk> | Nix people moved to matrix and #nixos is a bit of a ghost town |
| 2023-08-06 23:33:16 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-095-239.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-08-06 23:33:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-06 23:51:54 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-08-06 23:54:03 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-06 23:55:59 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-06 23:57:18 +0000 | bilegeek | (~bilegeek@2600:1008:b0aa:9826:3cd0:f7c6:82d4:d441) |
| 2023-08-06 23:57:32 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |