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