| 2023-08-05 00:10:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-05 00:10:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-05 00:10:26 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 00:11:28 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-05 00:15:18 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-08-05 00:15:36 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 00:17:52 +0000 | phma | (~phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) (Read error: Connection reset by peer) |
| 2023-08-05 00:18:00 +0000 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2023-08-05 00:18:18 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) |
| 2023-08-05 00:24:00 +0000 | pjs | (~pjs@user/pjs) () |
| 2023-08-05 00:26:45 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-05 00:36:43 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-05 00:36:57 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 260 seconds) |
| 2023-08-05 00:41:32 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 00:43:48 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-05 00:44:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-05 00:45:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-05 00:56:43 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2023-08-05 00:57:57 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2023-08-05 00:59:17 +0000 | kamek | (~kamek@modemcable169.17-58-74.mc.videotron.ca) |
| 2023-08-05 01:06:58 +0000 | ulysses4ever | (~ulysses4e@38.42.227.237) |
| 2023-08-05 01:09:10 +0000 | kamek | (~kamek@modemcable169.17-58-74.mc.videotron.ca) (Quit: Client closed) |
| 2023-08-05 01:11:20 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-05 01:16:08 +0000 | razetime | (~quassel@117.254.36.5) |
| 2023-08-05 01:17:28 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-05 01:20:42 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 01:24:04 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 01:28:52 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 01:30:44 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 01:54:32 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 01:55:18 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 01:59:45 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-08-05 02:01:37 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 02:02:43 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 02:02:56 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-05 02:09:04 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 02:12:53 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-05 02:12:53 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-05 02:12:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 02:15:53 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-05 02:18:23 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 02:32:38 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2023-08-05 02:37:39 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-05 02:39:05 +0000 | td_ | (~td@i53870923.versanet.de) |
| 2023-08-05 02:41:21 +0000 | Pixi | (~Pixi@user/pixi) |
| 2023-08-05 02:42:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a81e:4fdc:9952:342d) (Ping timeout: 260 seconds) |
| 2023-08-05 02:44:53 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-05 02:53:31 +0000 | ft | (~ft@p3e9bca6a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-08-05 02:55:36 +0000 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) |
| 2023-08-05 02:58:10 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-05 02:58:10 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-05 02:58:11 +0000 | finn_elija | FinnElija |
| 2023-08-05 02:59:34 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 03:00:09 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-05 03:13:04 +0000 | foul_owl | (~kerry@157.97.134.164) |
| 2023-08-05 03:19:07 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 03:20:01 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-08-05 03:22:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a81e:4fdc:9952:342d) |
| 2023-08-05 03:23:17 +0000 | aforemny | (~aforemny@2001:9e8:6cf0:ae00:b4f4:25a1:c52c:f256) |
| 2023-08-05 03:23:47 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc3:ab00:c8f5:c003:d632:3504) (Ping timeout: 260 seconds) |
| 2023-08-05 03:25:41 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 03:26:05 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-05 03:27:20 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-05 03:29:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 03:30:09 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 03:35:02 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Quit: Leaving) |
| 2023-08-05 03:35:38 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-05 03:36:03 +0000 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) |
| 2023-08-05 03:36:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Remote host closed the connection) |
| 2023-08-05 03:39:51 +0000 | ddellacosta | (~ddellacos@146.70.171.184) (Ping timeout: 246 seconds) |
| 2023-08-05 03:55:29 +0000 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) (Read error: Connection reset by peer) |
| 2023-08-05 03:55:53 +0000 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) |
| 2023-08-05 03:56:39 +0000 | razetime | (~quassel@117.254.36.5) (Ping timeout: 246 seconds) |
| 2023-08-05 04:02:52 +0000 | ddellacosta | (~ddellacos@143.244.47.89) |
| 2023-08-05 04:05:46 +0000 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) (Read error: Connection reset by peer) |
| 2023-08-05 04:06:11 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) |
| 2023-08-05 04:07:12 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds) |
| 2023-08-05 04:07:46 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 04:08:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 04:14:09 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 04:14:29 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 04:15:43 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 04:16:02 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 04:18:02 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 04:20:19 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-05 04:23:37 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 04:24:31 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 04:30:14 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 04:39:03 +0000 | anandprabhu | (~anandprab@185.195.233.189) |
| 2023-08-05 04:39:16 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 04:39:29 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-05 04:49:48 +0000 | astra | amish |
| 2023-08-05 04:49:54 +0000 | amish | (sid289983@2a03:5180:f:4::4:6cbf) (Changing host) |
| 2023-08-05 04:49:54 +0000 | amish | (sid289983@user/amish) |
| 2023-08-05 04:50:12 +0000 | amish | astra |
| 2023-08-05 04:53:17 +0000 | shapr | (~user@2600:1700:c640:3100:894d:ede3:2bfa:7011) (Ping timeout: 246 seconds) |
| 2023-08-05 04:55:08 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-05 05:02:19 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-05 05:02:19 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-05 05:02:45 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 05:04:04 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 05:09:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-05 05:12:01 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 05:15:03 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 05:15:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 05:17:00 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-05 05:18:42 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Ping timeout: 260 seconds) |
| 2023-08-05 05:19:12 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-05 05:19:20 +0000 | califax | (~califax@user/califx) |
| 2023-08-05 05:19:21 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-05 05:20:14 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-05 05:21:01 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 05:26:39 +0000 | trev | (~trev@user/trev) |
| 2023-08-05 05:34:27 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-05 05:35:59 +0000 | travgm | (~travgm@fsf/member/travgm) |
| 2023-08-05 05:45:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-05 06:37:11 +0000 | acidjnk | (~acidjnk@p200300d6e7072f29e122610b7cbe2edf.dip0.t-ipconnect.de) |
| 2023-08-05 06:47:37 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-05 06:47:37 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-05 06:47:37 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 06:52:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 07:00:46 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-05 07:10:15 +0000 | ubert | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) |
| 2023-08-05 07:14:00 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-08-05 07:24:43 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 07:39:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Remote host closed the connection) |
| 2023-08-05 07:42:51 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-08-05 07:47:23 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-08-05 07:51:00 +0000 | mmhat | (~mmh@p200300f1c73d19c4ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-05 07:52:26 +0000 | mmhat | (~mmh@p200300f1c73d19c4ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-05 07:54:15 +0000 | puke | (~puke@user/puke) |
| 2023-08-05 07:54:58 +0000 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2023-08-05 07:55:26 +0000 | califax | (~califax@user/califx) |
| 2023-08-05 07:55:39 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:954:aa42:2681:deb6) |
| 2023-08-05 07:55:43 +0000 | <Inst> | is Flatparse standard these days? |
| 2023-08-05 07:59:26 +0000 | <Inst> | jesus, i just saw the benchmarks, the way i remembered it, attoparsec used to be very close to C performance, but extrapolating from Rust benchmarks it seems that flatparse is 1.75x rust |
| 2023-08-05 08:00:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-05 08:01:15 +0000 | <Inst> | that said, cereal is faster than nom |
| 2023-08-05 08:01:20 +0000 | <Inst> | n mp4s |
| 2023-08-05 08:06:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 08:20:46 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-05 08:25:30 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-08-05 08:25:48 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-05 08:29:24 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-08-05 08:30:16 +0000 | arjun | (~arjun@user/arjun) |
| 2023-08-05 08:39:23 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-05 08:39:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 08:44:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Ping timeout: 246 seconds) |
| 2023-08-05 08:44:42 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 08:44:54 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-08-05 08:48:10 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-05 08:48:39 +0000 | razetime | (~quassel@117.254.37.46) |
| 2023-08-05 08:50:18 +0000 | anandprabhu | (~anandprab@185.195.233.189) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-08-05 08:59:43 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-05 09:00:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 09:06:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 09:06:13 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-05 09:07:56 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 09:16:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 09:21:00 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-05 09:21:24 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-05 09:21:57 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 09:25:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 09:28:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 09:34:47 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) |
| 2023-08-05 09:42:08 +0000 | travgm | (~travgm@fsf/member/travgm) (Remote host closed the connection) |
| 2023-08-05 09:47:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-08-05 09:50:39 +0000 | zedkaido | (~zedkaido@bl14-174-227.dsl.telepac.pt) |
| 2023-08-05 09:51:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-05 09:51:31 +0000 | zedkaido | (~zedkaido@bl14-174-227.dsl.telepac.pt) (Client Quit) |
| 2023-08-05 09:52:14 +0000 | nschoe | (~q@2a01:e0a:8e:a190:2013:9f8e:de8:7402) |
| 2023-08-05 09:52:18 +0000 | nschoe | (~q@2a01:e0a:8e:a190:2013:9f8e:de8:7402) (Client Quit) |
| 2023-08-05 09:54:22 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-05 09:57:44 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 10:02:39 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 10:08:34 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-08-05 10:19:46 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 10:19:57 +0000 | berberman | (~berberman@user/berberman) |
| 2023-08-05 10:22:42 +0000 | zedkaido | (~zedkaido@user/zedkaido) |
| 2023-08-05 10:23:24 +0000 | zedkaido | (~zedkaido@user/zedkaido) (Quit: leaving) |
| 2023-08-05 10:28:59 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-08-05 10:30:31 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 10:30:57 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-05 10:31:10 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-05 10:31:31 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-05 10:34:38 +0000 | danza | (~francesco@151.19.233.154) |
| 2023-08-05 10:39:29 +0000 | berberman | (~berberman@user/berberman) (Ping timeout: 260 seconds) |
| 2023-08-05 10:41:57 +0000 | Alex_test | (~al_test@178.34.160.198) (Ping timeout: 246 seconds) |
| 2023-08-05 10:42:18 +0000 | AlexZenon | (~alzenon@178.34.160.198) (Ping timeout: 246 seconds) |
| 2023-08-05 10:42:32 +0000 | AlexNoo | (~AlexNoo@178.34.160.198) (Ping timeout: 240 seconds) |
| 2023-08-05 10:43:34 +0000 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 260 seconds) |
| 2023-08-05 10:45:05 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) |
| 2023-08-05 10:48:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 10:50:14 +0000 | ddellacosta | (~ddellacos@146.70.166.184) |
| 2023-08-05 10:50:29 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 10:53:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-05 10:55:40 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2023-08-05 10:56:18 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 10:56:49 +0000 | ulysses4ever | artem |
| 2023-08-05 10:57:00 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 246 seconds) |
| 2023-08-05 11:01:13 +0000 | berberman | (~berberman@user/berberman) |
| 2023-08-05 11:01:38 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-08-05 11:03:20 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-05 11:04:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-05 11:05:23 +0000 | artem | (~ulysses4e@38.42.227.237) (Remote host closed the connection) |
| 2023-08-05 11:06:51 +0000 | arjun | (~arjun@user/arjun) (Quit: Quit!) |
| 2023-08-05 11:07:24 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-08-05 11:08:42 +0000 | ulysses4ever | (~ulysses4e@38.42.227.237) |
| 2023-08-05 11:09:16 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 11:10:11 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 11:18:04 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-08-05 11:23:15 +0000 | ddellacosta | (~ddellacos@146.70.166.184) (Ping timeout: 246 seconds) |
| 2023-08-05 11:24:10 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 11:24:57 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 245 seconds) |
| 2023-08-05 11:26:32 +0000 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-08-05 11:26:44 +0000 | danza | (~francesco@151.19.233.154) (Ping timeout: 260 seconds) |
| 2023-08-05 11:28:25 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-08-05 11:28:29 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 11:30:18 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 11:31:17 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.8) |
| 2023-08-05 11:31:30 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2023-08-05 11:32:08 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Client Quit) |
| 2023-08-05 11:35:31 +0000 | <ncf> | > [("a",1),("b",2),("c",3)] & each . imapped . Control.Lens.index "b" *~ 2 |
| 2023-08-05 11:35:32 +0000 | <lambdabot> | [("a",1),("b",4),("c",3)] |
| 2023-08-05 11:36:27 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 11:39:55 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 11:41:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 11:57:27 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-05 11:57:59 +0000 | [_] | [itchyjunk] |
| 2023-08-05 12:00:13 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 12:05:17 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 12:05:49 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-08-05 12:05:51 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-05 12:09:43 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-05 12:16:57 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-08-05 12:21:04 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-05 12:23:58 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 12:24:56 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 12:28:00 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 2023-08-05 12:29:46 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 12:31:45 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-05 12:35:23 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-08-05 12:38:12 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-08-05 12:38:48 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 12:39:54 +0000 | ulysses4ever | artem |
| 2023-08-05 12:41:04 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-05 12:53:22 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 12:58:02 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 13:03:10 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 13:06:10 +0000 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 13:06:19 +0000 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) |
| 2023-08-05 13:08:28 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 250 seconds) |
| 2023-08-05 13:08:28 +0000 | Sciencentistguy8 | Sciencentistguy |
| 2023-08-05 13:09:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 13:09:53 +0000 | dvb^ | (~cd@24.125.210.85) |
| 2023-08-05 13:18:25 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 13:23:07 +0000 | laxmik | (~laxmik@dynamic-077-008-071-245.77.8.pool.telefonica.de) |
| 2023-08-05 13:23:24 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 13:24:11 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 13:28:32 +0000 | AlexNoo | (~AlexNoo@178.34.161.41) |
| 2023-08-05 13:29:02 +0000 | laxmik | (~laxmik@dynamic-077-008-071-245.77.8.pool.telefonica.de) (Quit: laxmik) |
| 2023-08-05 13:30:33 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-08-05 13:30:59 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-08-05 13:31:16 +0000 | Alex_test | (~al_test@178.34.161.41) |
| 2023-08-05 13:32:16 +0000 | AlexZenon | (~alzenon@178.34.161.41) |
| 2023-08-05 13:33:04 +0000 | razetime | (~quassel@117.254.37.46) (Remote host closed the connection) |
| 2023-08-05 13:37:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 13:42:08 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-05 13:44:27 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 13:46:44 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-05 13:48:28 +0000 | danza | (~francesco@151.19.233.154) |
| 2023-08-05 13:49:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Ping timeout: 260 seconds) |
| 2023-08-05 13:50:27 +0000 | danza | (~francesco@151.19.233.154) (Read error: Connection reset by peer) |
| 2023-08-05 13:55:06 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 13:59:45 +0000 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Remote host closed the connection) |
| 2023-08-05 13:59:45 +0000 | jmcantrell | (~jmcantrel@user/jmcantrell) (Write error: Connection reset by peer) |
| 2023-08-05 13:59:45 +0000 | Haskman[m] | (~haskmanma@2001:470:69fc:105::3:8e5a) (Remote host closed the connection) |
| 2023-08-05 13:59:45 +0000 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Remote host closed the connection) |
| 2023-08-05 13:59:45 +0000 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Write error: Connection reset by peer) |
| 2023-08-05 13:59:45 +0000 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (Write error: Connection reset by peer) |
| 2023-08-05 13:59:45 +0000 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Remote host closed the connection) |
| 2023-08-05 13:59:45 +0000 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Write error: Connection reset by peer) |
| 2023-08-05 13:59:45 +0000 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) (Remote host closed the connection) |
| 2023-08-05 13:59:45 +0000 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:46 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) (Remote host closed the connection) |
| 2023-08-05 13:59:46 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Write error: Connection reset by peer) |
| 2023-08-05 13:59:46 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) (Write error: Connection reset by peer) |
| 2023-08-05 13:59:46 +0000 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) (Remote host closed the connection) |
| 2023-08-05 13:59:46 +0000 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) (Remote host closed the connection) |
| 2023-08-05 13:59:46 +0000 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:46 +0000 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:46 +0000 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:46 +0000 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:47 +0000 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:47 +0000 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) (Read error: Connection reset by peer) |
| 2023-08-05 13:59:47 +0000 | RandomInt[m] | (~randomint@2001:470:69fc:105::3:852e) (Remote host closed the connection) |
| 2023-08-05 13:59:47 +0000 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) (Remote host closed the connection) |
| 2023-08-05 13:59:47 +0000 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) (Read error: Connection reset by peer) |
| 2023-08-05 14:00:09 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 14:01:37 +0000 | Joao003 | (~Joao003@2804:840:8302:4000:fc75:9ae1:2fd9:2ce9) |
| 2023-08-05 14:03:01 +0000 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2023-08-05 14:03:39 +0000 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Ping timeout: 246 seconds) |
| 2023-08-05 14:03:39 +0000 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Ping timeout: 246 seconds) |
| 2023-08-05 14:05:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-05 14:06:06 +0000 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 246 seconds) |
| 2023-08-05 14:07:04 +0000 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2023-08-05 14:07:06 +0000 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-08-05 14:07:30 +0000 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-08-05 14:08:58 +0000 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-08-05 14:11:20 +0000 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Ping timeout: 246 seconds) |
| 2023-08-05 14:12:02 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 246 seconds) |
| 2023-08-05 14:12:03 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 246 seconds) |
| 2023-08-05 14:15:07 +0000 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-08-05 14:16:13 +0000 | sus | (1b7af6299f@user/zeromomentum) |
| 2023-08-05 14:16:34 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2023-08-05 14:22:15 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-05 14:29:44 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 14:34:43 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 14:36:20 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 14:42:21 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-05 14:42:45 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-05 14:47:03 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-05 14:53:53 +0000 | eldritchcookie | (~eldritchc@186.226.54.7) (Ping timeout: 246 seconds) |
| 2023-08-05 14:54:31 +0000 | oats_ | oats |
| 2023-08-05 15:03:48 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 15:05:42 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 15:08:15 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 15:08:27 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 15:08:55 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 15:14:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 15:14:52 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 15:15:19 +0000 | hippoid | (~hippoid@user/hippoid) (Remote host closed the connection) |
| 2023-08-05 15:15:42 +0000 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
| 2023-08-05 15:20:08 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 15:20:48 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 15:20:54 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 15:26:06 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 15:26:46 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 15:30:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-05 15:34:29 +0000 | Joao003 | (~Joao003@2804:840:8302:4000:fc75:9ae1:2fd9:2ce9) (Quit: Leaving) |
| 2023-08-05 15:35:05 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-05 15:37:09 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 15:39:34 +0000 | oats | moats |
| 2023-08-05 15:41:55 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 15:47:03 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 15:47:48 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-08-05 15:52:47 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 15:58:10 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 15:58:50 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:10 +0000 | moats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2023-08-05 16:00:17 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-05 16:04:09 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:04:49 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:07:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-05 16:09:01 +0000 | ripspin | (~chatzilla@1.145.195.217) |
| 2023-08-05 16:09:21 +0000 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 16:10:05 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:10:45 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:10:50 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 16:12:42 +0000 | yangby | (~secret@183.157.65.111) (Client Quit) |
| 2023-08-05 16:15:31 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 16:16:11 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:16:30 +0000 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 16:16:51 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:17:38 +0000 | yangby | (~secret@183.157.65.111) (Client Quit) |
| 2023-08-05 16:19:06 +0000 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 16:20:16 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 16:20:56 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-05 16:21:28 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 16:22:29 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:23:09 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:25:11 +0000 | ripspin | (~chatzilla@1.145.195.217) (Remote host closed the connection) |
| 2023-08-05 16:28:26 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:29:05 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:32:42 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-05 16:34:22 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:35:01 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:36:21 +0000 | yangby | (~secret@183.157.65.111) (Quit: Go out for a walk and buy a drink.) |
| 2023-08-05 16:36:31 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-05 16:38:33 +0000 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 16:40:20 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:41:00 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:41:09 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-05 16:44:18 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-05 16:44:46 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 16:46:16 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:46:39 +0000 | Harriet | (andrew@user/Lareina) (Quit: stop) |
| 2023-08-05 16:46:52 +0000 | Harriet | (harriet@user/Lareina) |
| 2023-08-05 16:46:56 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:47:09 +0000 | artem | (~ulysses4e@38.42.227.237) (Quit: Quit) |
| 2023-08-05 16:47:14 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: brb/bbiab) |
| 2023-08-05 16:47:22 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-05 16:49:36 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 16:50:10 +0000 | ulysses4ever | artem |
| 2023-08-05 16:52:18 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:52:58 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 16:57:15 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 16:58:20 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 16:59:01 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:02:17 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-05 17:04:11 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 17:04:17 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:04:57 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:09:27 +0000 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Read error: Connection reset by peer) |
| 2023-08-05 17:10:14 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:10:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-08-05 17:10:54 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:13:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-05 17:14:05 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::bd11) |
| 2023-08-05 17:15:55 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-08-05 17:16:16 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:16:56 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:17:36 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 17:18:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-08-05 17:19:41 +0000 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2023-08-05 17:19:55 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 17:20:02 +0000 | Pixi | (~Pixi@user/pixi) |
| 2023-08-05 17:22:11 +0000 | Pixi` | (~Pixi@user/pixi) |
| 2023-08-05 17:22:19 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-05 17:22:30 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 17:24:36 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-05 17:25:11 +0000 | Pixi` | (~Pixi@user/pixi) (Max SendQ exceeded) |
| 2023-08-05 17:26:00 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-05 17:27:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:27:52 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:28:13 +0000 | Pixi` | (~Pixi@user/pixi) |
| 2023-08-05 17:29:49 +0000 | Pixi__ | (~Pixi@user/pixi) |
| 2023-08-05 17:33:42 +0000 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-05 17:34:35 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-05 17:35:27 +0000 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-05 17:36:04 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-05 17:43:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:48:37 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:50:57 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::bd11) (Remote host closed the connection) |
| 2023-08-05 17:51:37 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 17:54:24 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:55:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-05 17:56:25 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 18:02:23 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 18:10:03 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 18:15:12 +0000 | shapr | (~user@2600:1700:c640:3100:74c3:10f6:7a7f:9e1) |
| 2023-08-05 18:20:18 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-08-05 18:22:57 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-05 18:26:28 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 18:30:55 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 18:42:40 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-05 18:45:39 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
| 2023-08-05 18:46:59 +0000 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (Remote host closed the connection) |
| 2023-08-05 18:50:18 +0000 | fun-safe-math | (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net) () |
| 2023-08-05 18:59:19 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 19:03:55 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 19:05:06 +0000 | <dminuoso> | Inst: I dont know about standard. |
| 2023-08-05 19:05:18 +0000 | <dminuoso> | I think megaparsec/attoparsec are far more widely used. |
| 2023-08-05 19:05:30 +0000 | <dminuoso> | Attoparsec is definitely not even close to C performance. |
| 2023-08-05 19:06:10 +0000 | <Inst> | i had that misconception from old serpentine blog post |
| 2023-08-05 19:06:17 +0000 | <Inst> | flatparse is potentially close to C performance |
| 2023-08-05 19:07:02 +0000 | <dminuoso> | Yup, indeed. |
| 2023-08-05 19:07:25 +0000 | <dminuoso> | But it requires a bit of additional care and core analysis to keep it that way. |
| 2023-08-05 19:07:44 +0000 | <dminuoso> | The performance of flatparse is potentially only challenged by parsley. |
| 2023-08-05 19:08:01 +0000 | <dminuoso> | parsley has even the potential to be faster. |
| 2023-08-05 19:08:56 +0000 | <dminuoso> | However, in a bunch of experiments its currently not faster, which is presumably due to some bugs. |
| 2023-08-05 19:09:17 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-05 19:11:59 +0000 | <shapr> | I hadn't heard of parsley : https://github.com/j-mie6/ParsleyHaskell |
| 2023-08-05 19:13:40 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-05 19:15:44 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-05 19:16:06 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 19:17:56 +0000 | Inst_ | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
| 2023-08-05 19:19:14 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:954:aa42:2681:deb6) (Ping timeout: 260 seconds) |
| 2023-08-05 19:21:45 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-05 19:25:57 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-08-05 19:25:57 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-08-05 19:25:57 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 19:28:16 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-05 19:28:45 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Client Quit) |
| 2023-08-05 19:29:21 +0000 | justache | reddit-boat |
| 2023-08-05 19:29:25 +0000 | reddit-boat | justache |
| 2023-08-05 19:32:40 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 19:33:27 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-05 19:35:59 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 19:36:00 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 19:37:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 19:37:41 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-05 19:38:58 +0000 | <oo_miguel> | geekosaur: I did restart because A) I created two X screens during my experiments, and now reverted this B) I do not (yet) have a xmonad.hs in place |
| 2023-08-05 19:39:11 +0000 | <oo_miguel> | sorry wrong chan |
| 2023-08-05 19:42:03 +0000 | Pixi | (~Pixi@user/pixi) |
| 2023-08-05 19:44:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-08-05 19:44:27 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-05 19:46:28 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-05 19:48:16 +0000 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (Quit: .) |
| 2023-08-05 19:49:43 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-08-05 19:50:08 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-05 20:00:57 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-05 20:02:26 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-05 20:02:47 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-05 20:03:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 20:03:51 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2023-08-05 20:04:27 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 20:04:55 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-08-05 20:06:29 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 20:06:40 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 20:07:17 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-05 20:08:30 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 20:11:20 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 20:11:50 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 20:12:15 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 2023-08-05 20:14:04 +0000 | ub | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) |
| 2023-08-05 20:14:20 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 20:19:37 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 20:19:51 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-05 20:21:32 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-05 20:21:43 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-05 20:29:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-08-05 20:29:41 +0000 | maxfan8_ | (~max@2a01:4f8:192:5356::2) (Ping timeout: 246 seconds) |
| 2023-08-05 20:32:05 +0000 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-05 20:33:23 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-05 20:34:59 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-05 20:37:40 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-05 20:39:44 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 20:44:27 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 20:44:54 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-05 20:45:47 +0000 | acidjnk | (~acidjnk@p200300d6e7072f29e122610b7cbe2edf.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-05 20:46:07 +0000 | Pent_ | Pent |
| 2023-08-05 20:48:24 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-05 20:53:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 20:56:50 +0000 | ub | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) (Quit: ub) |
| 2023-08-05 20:59:51 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-05 21:03:03 +0000 | ghostbuster | (~admin@user/ghostbuster) (Quit: WeeChat 3.8) |
| 2023-08-05 21:06:02 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 21:06:32 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 21:09:41 +0000 | maxfan8_ | (~max@2a01:4f8:192:5356::2) |
| 2023-08-05 21:11:45 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 2023-08-05 21:11:57 +0000 | <dsal> | I keep feeling like I want something like "pure" for monoid. Is this a thing at all? |
| 2023-08-05 21:12:44 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-05 21:13:06 +0000 | <geekosaur> | I'm not sure I even know what that would mean |
| 2023-08-05 21:13:12 +0000 | <ncf> | :t mempty |
| 2023-08-05 21:13:13 +0000 | <lambdabot> | Monoid a => a |
| 2023-08-05 21:14:01 +0000 | <ncf> | Applicative is a kind of monoid, and pure corresponds to the unit (while <*> corresponds to <>) |
| 2023-08-05 21:14:22 +0000 | <ncf> | did you mean something else? |
| 2023-08-05 21:14:26 +0000 | <geekosaur> | I was thinking maybe Alternative |
| 2023-08-05 21:14:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 21:17:03 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 21:19:04 +0000 | <dsal> | Yeah, I was thinking about applicative. But basically stuff like (:[]), Set.singleton, const 1, etc... |
| 2023-08-05 21:19:29 +0000 | <Hecate> | dsal: yep, that's mempty |
| 2023-08-05 21:19:57 +0000 | <dsal> | No, not mempty. Monoid m => a -> m |
| 2023-08-05 21:20:05 +0000 | <dsal> | Which is kind of a weird shape. |
| 2023-08-05 21:20:56 +0000 | <ncf> | :t (:[]) |
| 2023-08-05 21:20:57 +0000 | <lambdabot> | a -> [a] |
| 2023-08-05 21:21:02 +0000 | <ncf> | :t Data.Set.singleton |
| 2023-08-05 21:21:03 +0000 | <lambdabot> | a -> S.Set a |
| 2023-08-05 21:21:05 +0000 | <ncf> | :t const 1 |
| 2023-08-05 21:21:06 +0000 | <lambdabot> | Num a => b -> a |
| 2023-08-05 21:21:10 +0000 | <Hecate> | dsal: question: what's the kind signature of m ? |
| 2023-08-05 21:21:22 +0000 | <ncf> | :t const |
| 2023-08-05 21:21:23 +0000 | <lambdabot> | a -> b -> a |
| 2023-08-05 21:21:27 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 21:21:33 +0000 | <ncf> | (:[]), singleton and const all match the type of pure |
| 2023-08-05 21:21:51 +0000 | <dsal> | Yeah, it looks like pure, but I just want a monoid. |
| 2023-08-05 21:22:01 +0000 | <mauke> | :t (<$mempty) |
| 2023-08-05 21:22:02 +0000 | <lambdabot> | (Functor f, Monoid (f b)) => a -> f a |
| 2023-08-05 21:22:04 +0000 | <Hecate> | dsal: you want the m without the a ? |
| 2023-08-05 21:22:18 +0000 | <Hecate> | and you want it polymorphic? |
| 2023-08-05 21:22:47 +0000 | <dsal> | Hecate: Well, not exactly. I just want to be able to express `Monoid m => a -> m` which I can do for any specific monoid, but not in general. |
| 2023-08-05 21:22:55 +0000 | <dsal> | :t foldMap |
| 2023-08-05 21:22:56 +0000 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2023-08-05 21:22:59 +0000 | <dsal> | Kind of what happens here. |
| 2023-08-05 21:23:15 +0000 | <ncf> | not all monoids have a sensible a -> m |
| 2023-08-05 21:23:29 +0000 | <dsal> | Yeah, const is getting on the less sensible side. |
| 2023-08-05 21:24:03 +0000 | <dsal> | This seems like something smaller than a monoid, but still a thing I run into occasionally. |
| 2023-08-05 21:24:37 +0000 | <ncf> | do you have any example that's not satisfied by pure or mempty? |
| 2023-08-05 21:24:56 +0000 | <dsal> | I've not actually considered pure. |
| 2023-08-05 21:25:16 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-05 21:25:22 +0000 | <Hecate> | foldMap (const mempty) :: (Foldable t, Monoid m) => t a -> m |
| 2023-08-05 21:25:30 +0000 | <Hecate> | dsal: ^ ? |
| 2023-08-05 21:25:52 +0000 | <ncf> | weird way of spelling mempty |
| 2023-08-05 21:26:05 +0000 | <dsal> | Heh. That's a sort of example of how this might work. |
| 2023-08-05 21:26:19 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 21:26:20 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-05 21:26:25 +0000 | <dsal> | I don't actually have a useful example in front of me. Trying to think of the rough shape of where I've seen this. |
| 2023-08-05 21:26:32 +0000 | <ncf> | > foldMap (const mempty) [0..10] :: Sum Int |
| 2023-08-05 21:26:33 +0000 | <lambdabot> | Sum {getSum = 0} |
| 2023-08-05 21:27:53 +0000 | <Hecate> | dsal: did we already suggest const mempty? |
| 2023-08-05 21:28:24 +0000 | <dsal> | i just want it to do something kind of useful. e.g., if the monoid is a list, it should be (:[]). If it's a Set, it should be Set.singleton, etc... |
| 2023-08-05 21:28:33 +0000 | <dsal> | It's not a zero value, it's a one value. |
| 2023-08-05 21:29:08 +0000 | <mauke> | what if it's Sum Int? |
| 2023-08-05 21:29:35 +0000 | <dsal> | const 1 |
| 2023-08-05 21:30:03 +0000 | <ncf> | what if it's Product Int? |
| 2023-08-05 21:30:30 +0000 | <dsal> | Yeah, that's why it seems like it might be a smaller type than monoid. It wouldn't make sense for every Monoid. |
| 2023-08-05 21:30:56 +0000 | <Hecate> | dsal: just create your own structure |
| 2023-08-05 21:31:00 +0000 | <Hecate> | call it a dickoid or whatever |
| 2023-08-05 21:31:08 +0000 | <dsal> | haha |
| 2023-08-05 21:31:56 +0000 | <Hecate> | dsal: am I wrong though? |
| 2023-08-05 21:32:00 +0000 | <dsal> | I'm mainly just wondering if anyone's done it because it seems somewhat useful. I also don't know names. What's a Monoid with a one value? |
| 2023-08-05 21:32:11 +0000 | <ncf> | a ring? |
| 2023-08-05 21:32:14 +0000 | <Hecate> | looks like you want most of the Monoid with an additional element? |
| 2023-08-05 21:32:23 +0000 | <ncf> | or a semiring at least |
| 2023-08-05 21:32:43 +0000 | <ncf> | but that excludes [a], so doesn't fit your requirements |
| 2023-08-05 21:32:51 +0000 | <ncf> | i don't think there's anything to unify here... |
| 2023-08-05 21:32:52 +0000 | <Hecate> | you want a non-identity element |
| 2023-08-05 21:33:39 +0000 | <Hecate> | dsal: there is no concept of "one value", there's the neutral element and that's it |
| 2023-08-05 21:34:11 +0000 | <Hecate> | either your element is neutral on the internal operation, or it's not |
| 2023-08-05 21:34:31 +0000 | <ncf> | rings formalise "one" pretty well |
| 2023-08-05 21:34:40 +0000 | <geekosaur> | sure there is or there wouldn't be a concept of "singleton" |
| 2023-08-05 21:36:23 +0000 | <Hecate> | ah indeed, https://en.wikipedia.org/wiki/Axiom_of_pairing TIL |
| 2023-08-05 21:36:57 +0000 | <Hecate> | dsal: there's this https://hackage.haskell.org/package/non-empty-0.3.3/docs/Data-NonEmpty-Class.html#t:Singleton |
| 2023-08-05 21:37:00 +0000 | <dsal> | Yeah, the semiring thing looks like what I was thinking of, but a bit further constrained. |
| 2023-08-05 21:37:04 +0000 | <Hecate> | but there is no Monoid superclass |
| 2023-08-05 21:37:10 +0000 | nick4 | (~nick@2600:100d:b157:9ba6:217f:6f08:11ff:108d) |
| 2023-08-05 21:37:12 +0000 | <ncf> | what does pairing have to do with this |
| 2023-08-05 21:38:06 +0000 | <Hecate> | ncf: I read that the axiom of pairing justifies the existence a singleton {a} ∀ a |
| 2023-08-05 21:38:42 +0000 | <ncf> | if you're doing set theory, sure |
| 2023-08-05 21:39:00 +0000 | <Hecate> | that's what geekosaur is raising no? |
| 2023-08-05 21:39:10 +0000 | <Hecate> | or are there other singletons that are of interest in our case? |
| 2023-08-05 21:39:38 +0000 | <Hecate> | ncf: aren't we doing set theory from the beginning? Isn't monoid a set? :p |
| 2023-08-05 21:40:17 +0000 | <ncf> | if your foundations are type theory then a monoid is a type |
| 2023-08-05 21:40:45 +0000 | <ncf> | (and if your foundations are homotopy type theory you may want to constrain that type to be an h-set, but this does not have much to do with material set theory) |
| 2023-08-05 21:41:14 +0000 | <Hecate> | ncf: wait, aren't types sets? |
| 2023-08-05 21:41:29 +0000 | <ncf> | type theory stands on its own |
| 2023-08-05 21:41:37 +0000 | <ncf> | you can interpret it in the category of sets if you like |
| 2023-08-05 21:42:06 +0000 | <ncf> | see https://ncatlab.org/nlab/show/monoid+in+a+monoidal+category for the most general notion of a monoid |
| 2023-08-05 21:42:33 +0000 | <Hecate> | < ncf> you can interpret it in the category of sets if you like // ah, TIL |
| 2023-08-05 21:42:45 +0000 | <Hecate> | well, dsal, which category do you want your answer packed in? :p |
| 2023-08-05 21:43:07 +0000 | <dsal> | Heh. I'm just a blue collar haskeller. |
| 2023-08-05 21:43:16 +0000 | <Hecate> | dsal: high five |
| 2023-08-05 21:47:19 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Ping timeout: 246 seconds) |
| 2023-08-05 21:47:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 21:48:34 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-05 21:50:16 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 21:54:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-05 21:56:01 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 21:57:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 21:58:59 +0000 | actioninja6302 | (~actioninj@user/actioninja) |
| 2023-08-05 22:00:05 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-05 22:00:21 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-05 22:00:49 +0000 | actioninja630 | (~actioninj@user/actioninja) (Ping timeout: 260 seconds) |
| 2023-08-05 22:00:49 +0000 | actioninja6302 | actioninja630 |
| 2023-08-05 22:00:58 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 22:01:46 +0000 | <dsal> | The rough shape of the thing I'm looking for, with Singleton is: thing :: (Monoid m, Singleton s, m ~ s a) => [a] -> m |
| 2023-08-05 22:07:58 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-05 22:08:38 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 22:09:40 +0000 | shapr | (~user@2600:1700:c640:3100:74c3:10f6:7a7f:9e1) (Remote host closed the connection) |
| 2023-08-05 22:09:43 +0000 | <ncf> | :t concatMap pure |
| 2023-08-05 22:09:44 +0000 | <lambdabot> | Foldable t => t b -> [b] |
| 2023-08-05 22:09:53 +0000 | shapr | (~user@2600:1700:c640:3100:5b39:72cf:2cf6:4f57) |
| 2023-08-05 22:09:56 +0000 | <ncf> | er |
| 2023-08-05 22:10:14 +0000 | <ncf> | :t foldMap pure |
| 2023-08-05 22:10:15 +0000 | <lambdabot> | (Foldable t, Monoid (f a), Applicative f) => t a -> f a |
| 2023-08-05 22:12:31 +0000 | nick4 | (~nick@2600:100d:b157:9ba6:217f:6f08:11ff:108d) (Ping timeout: 246 seconds) |
| 2023-08-05 22:13:21 +0000 | <ncf> | or foldMap singleton |
| 2023-08-05 22:13:47 +0000 | nick4 | (~nick@2600:100d:b157:9ba6:217f:6f08:11ff:108d) |
| 2023-08-05 22:14:25 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 22:14:58 +0000 | <dsal> | Yeah, I did foldMap singleton for the above. I'll have to decide whether this actually helps anything at some other point. The downside of singleton is that it carries the `a` so doing a `const 1` sort of thing doesn't work. |
| 2023-08-05 22:16:32 +0000 | <dsal> | I think one of the places I ran into this was at work where someone had created a data structure that's kind of like MonadWriter and implemented the equivalent of `tell` as `\a -> stuff <> [a]` |
| 2023-08-05 22:16:40 +0000 | <dsal> | (it was only defined for list) |
| 2023-08-05 22:17:15 +0000 | <dsal> | so redefining it for an arbitrary monoid requires me to be able to say what it means to put one `a` at the end of the list in this case. |
| 2023-08-05 22:17:31 +0000 | <dsal> | A term the author referred to as "consing" |
| 2023-08-05 22:17:55 +0000 | nick4 | (~nick@2600:100d:b157:9ba6:217f:6f08:11ff:108d) (Ping timeout: 240 seconds) |
| 2023-08-05 22:18:05 +0000 | <dsal> | er, s/term/concept/… whatever. There were a few things I didn't quite like about this particular piece of code. |
| 2023-08-05 22:19:09 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-05 22:22:23 +0000 | ubert1 | (~Thunderbi@178.115.57.241.wireless.dyn.drei.com) |
| 2023-08-05 22:24:02 +0000 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Quit: rcirc on GNU Emacs 28.2) |
| 2023-08-05 22:24:09 +0000 | ubert | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2023-08-05 22:24:09 +0000 | ubert1 | ubert |
| 2023-08-05 22:24:24 +0000 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2023-08-05 22:25:33 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-05 22:26:04 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 22:35:37 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 22:44:40 +0000 | <[Leary]> | dsal: Maybe you want something like `newtype FreeMonoid a = FreeMonoid (forall m. Monoid m => (a -> m) -> m)`, with `singleton :: a -> FreeMonoid a; singleton a = FreeMonoid \k -> k a`. Then you can interpret it in whatever monoid you want, though it's not that different from using lists and eventually applying `foldMap`. |
| 2023-08-05 22:46:04 +0000 | <dsal> | Heh, yeah. The most recent time this came up was someone manually placing items at the end of a list and I was trying to think of better ways to manage this. |
| 2023-08-05 22:52:13 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-05 22:58:11 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 23:03:43 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-05 23:07:22 +0000 | sunarch | (~sunarch@user/sunarch) (Quit: WeeChat 3.8) |
| 2023-08-05 23:14:53 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-08-05 23:16:42 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 2023-08-05 23:16:42 +0000 | mauke_ | mauke |
| 2023-08-05 23:19:30 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-05 23:25:45 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-08-05 23:45:02 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-08-05 23:47:43 +0000 | <jackdk> | dsal: Seems kinda related to a `Pointed` class, except nobody uses that in Haskell because it's very hard to make it say anything useful when it interacts with other classes, and it's not worth asking everyone to define instances for it on the way to deriving `Applicative`. |
| 2023-08-05 23:49:31 +0000 | <jackdk> | [Leary]: One benefit of that encoding over just using lists is you can cons and snoc without as much performance trouble |
| 2023-08-05 23:50:12 +0000 | son0p | (~ff@181.32.134.99) |
| 2023-08-05 23:50:23 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |