| 2023-08-05 00:00:14 +0200 | pyooque | (~puke@user/puke) |
| 2023-08-05 00:00:14 +0200 | puke | Guest2604 |
| 2023-08-05 00:00:14 +0200 | Guest2604 | (~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2023-08-05 00:00:14 +0200 | pyooque | puke |
| 2023-08-05 00:09:14 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-05 00:10:37 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 00:14:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 00:16:44 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-08-05 00:23:19 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 00:25:27 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-05 00:27:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 00:29:32 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-05 00:32:39 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 260 seconds) |
| 2023-08-05 00:34:27 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 00:38:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 00:41:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-08-05 00:44:09 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 00:44:13 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-05 00:44:29 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 244 seconds) |
| 2023-08-05 00:46:20 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-05 00:46:21 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-08-05 00:48:24 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 00:48:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-05 00:52:32 +0200 | ph88 | (~ph88@91.64.60.212) (Ping timeout: 260 seconds) |
| 2023-08-05 00:53:10 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 00:55:39 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 246 seconds) |
| 2023-08-05 00:59:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-05 01:02:38 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-05 01:02:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 01:03:21 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 245 seconds) |
| 2023-08-05 01:04:15 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-08-05 01:06:46 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-08-05 01:07:31 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-05 01:09:48 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds) |
| 2023-08-05 01:10:25 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-08-05 01:12:09 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-05 01:14:27 +0200 | pjs | (~pjs@user/pjs) |
| 2023-08-05 01:14:39 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 01:15:31 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 01:16:01 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-05 01:17:31 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-08-05 01:17:32 +0200 | mauke_ | mauke |
| 2023-08-05 01:19:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 01:20:53 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:1a06:df99:987c:76cd) (Remote host closed the connection) |
| 2023-08-05 01:21:04 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 01:21:06 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:b763:cbe:9422:537d) |
| 2023-08-05 01:21:42 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2023-08-05 01:24:05 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-05 01:24:24 +0200 | <pjs> | Hi all. I don't know haskell at all and am trying to build matterhorn on a new alpine system. I run the build script (which is essentially just a cabal command) and I get this dependency error and I'm not quite sure how to resolve it. Details here: https://paste.sr.ht/~petersanchez/8b42266f66dd7403c1379098fed902149378af4a |
| 2023-08-05 01:24:29 +0200 | <pjs> | any help is appreciated |
| 2023-08-05 01:25:47 +0200 | acidjnk | (~acidjnk@p200300d6e7072f47e122610b7cbe2edf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-08-05 01:25:58 +0200 | <glguy> | pjs: I'll look |
| 2023-08-05 01:26:05 +0200 | <c_wraith> | pjs: that looks like a ghc version issue. |
| 2023-08-05 01:26:05 +0200 | <geekosaur> | that's a somewhat unfortunate way of saying you need an older ghc and its installed libraries |
| 2023-08-05 01:26:52 +0200 | <jackdk> | matterhorn is refusing to depend on versions of the haskell package `text` newer than 2.0; your GHC shipped with `text-2.0.1`; older versions of `text` don't support the version of `ghc-prim` that your GHC came with. |
| 2023-08-05 01:27:16 +0200 | <glguy> | pjs: I think it wants ghc-9.2.8 |
| 2023-08-05 01:27:17 +0200 | <glguy> | cabal build -w ghc-9.2.8 -j --enable-tests |
| 2023-08-05 01:27:22 +0200 | <glguy> | as the last line in the build.sh |
| 2023-08-05 01:27:37 +0200 | <pjs> | thanks! let me try |
| 2023-08-05 01:28:06 +0200 | <glguy> | if you don't have ghc-9.2.8 yet, I think it's: ghcup install ghc 9.2.8 |
| 2023-08-05 01:28:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 01:29:04 +0200 | <jackdk> | You could try: 1. editing `matterhorn.cabal` to allow newer versions of text: https://github.com/matterhorn-chat/matterhorn/blob/master/matterhorn.cabal#L181 could read `, text >= 1.2.5.0 && < 2.0 || >= 2.0 && <2.1` |
| 2023-08-05 01:29:13 +0200 | <jackdk> | 2. Using an older version of GHC as glguy suggested |
| 2023-08-05 01:29:49 +0200 | <pjs> | I don't have ghcup installed so let me try editing the cabal file first |
| 2023-08-05 01:30:55 +0200 | <jackdk> | Where are you getting GHC from? ghcup is now the most recommended way to get a copy. |
| 2023-08-05 01:31:25 +0200 | <pjs> | jackdk: seems to be working (so far lol) |
| 2023-08-05 01:31:53 +0200 | <pjs> | jackdk: alpine packages I'm sure.. I haven't done anything haskell specific for it other than packages |
| 2023-08-05 01:32:09 +0200 | <jackdk> | Unless a package uses funky internals, it usually has no trouble moving to text >= 2.0 |
| 2023-08-05 01:33:56 +0200 | <pjs> | jackdk: so far so good.. |
| 2023-08-05 01:43:05 +0200 | <pjs> | jackdk: it built successfully! thank you! |
| 2023-08-05 01:43:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-05 01:43:14 +0200 | <pjs> | thanks to everyone for the help! |
| 2023-08-05 01:44:49 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-05 01:50:33 +0200 | ian_ | (~ian@matrix.chaos.earth.li) (Quit: BIAB) |
| 2023-08-05 01:54:16 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-08-05 02:10:26 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-05 02:10:26 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-05 02:10:26 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 02:11:28 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-05 02:15:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-08-05 02:15:36 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 02:17:52 +0200 | phma | (~phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) (Read error: Connection reset by peer) |
| 2023-08-05 02:18:00 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2023-08-05 02:18:18 +0200 | phma | (~phma@host-67-44-208-165.hnremote.net) |
| 2023-08-05 02:24:00 +0200 | pjs | (~pjs@user/pjs) () |
| 2023-08-05 02:26:45 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-05 02:36:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-05 02:36:57 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 260 seconds) |
| 2023-08-05 02:41:32 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 02:43:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-05 02:44:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-05 02:45:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-05 02:56:43 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2023-08-05 02:57:57 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2023-08-05 02:59:17 +0200 | kamek | (~kamek@modemcable169.17-58-74.mc.videotron.ca) |
| 2023-08-05 03:06:58 +0200 | ulysses4ever | (~ulysses4e@38.42.227.237) |
| 2023-08-05 03:09:10 +0200 | kamek | (~kamek@modemcable169.17-58-74.mc.videotron.ca) (Quit: Client closed) |
| 2023-08-05 03:11:20 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-05 03:16:08 +0200 | razetime | (~quassel@117.254.36.5) |
| 2023-08-05 03:17:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-05 03:20:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 03:24:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 03:28:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 03:30:44 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 03:54:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 03:55:18 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 03:59:45 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-08-05 04:01:37 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 04:02:43 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 04:02:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-05 04:09:04 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 04:12:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-05 04:12:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-05 04:12:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 04:15:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-05 04:18:23 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 04:32:38 +0200 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2023-08-05 04:37:39 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-05 04:39:05 +0200 | td_ | (~td@i53870923.versanet.de) |
| 2023-08-05 04:41:21 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-08-05 04:42:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a81e:4fdc:9952:342d) (Ping timeout: 260 seconds) |
| 2023-08-05 04:44:53 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-05 04:53:31 +0200 | ft | (~ft@p3e9bca6a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-08-05 04:55:36 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) |
| 2023-08-05 04:58:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-05 04:58:10 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-05 04:58:11 +0200 | finn_elija | FinnElija |
| 2023-08-05 04:59:34 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 05:00:09 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-05 05:13:04 +0200 | foul_owl | (~kerry@157.97.134.164) |
| 2023-08-05 05:19:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 05:20:01 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-08-05 05:22:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a81e:4fdc:9952:342d) |
| 2023-08-05 05:23:17 +0200 | aforemny | (~aforemny@2001:9e8:6cf0:ae00:b4f4:25a1:c52c:f256) |
| 2023-08-05 05:23:47 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc3:ab00:c8f5:c003:d632:3504) (Ping timeout: 260 seconds) |
| 2023-08-05 05:25:41 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 05:26:05 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-05 05:27:20 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-05 05:29:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 05:30:09 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 05:35:02 +0200 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Quit: Leaving) |
| 2023-08-05 05:35:38 +0200 | phma | (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-05 05:36:03 +0200 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) |
| 2023-08-05 05:36:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Remote host closed the connection) |
| 2023-08-05 05:39:51 +0200 | ddellacosta | (~ddellacos@146.70.171.184) (Ping timeout: 246 seconds) |
| 2023-08-05 05:55:29 +0200 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) (Read error: Connection reset by peer) |
| 2023-08-05 05:55:53 +0200 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) |
| 2023-08-05 05:56:39 +0200 | razetime | (~quassel@117.254.36.5) (Ping timeout: 246 seconds) |
| 2023-08-05 06:02:52 +0200 | ddellacosta | (~ddellacos@143.244.47.89) |
| 2023-08-05 06:05:46 +0200 | phma | (phma@2001:5b0:210d:fef8:19fb:f1d3:9921:345f) (Read error: Connection reset by peer) |
| 2023-08-05 06:06:11 +0200 | phma | (~phma@host-67-44-208-165.hnremote.net) |
| 2023-08-05 06:07:12 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds) |
| 2023-08-05 06:07:46 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 06:08:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 06:14:09 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 06:14:29 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 06:15:43 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 06:16:02 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 06:18:02 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 06:20:19 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-05 06:23:37 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 06:24:31 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 06:30:14 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 06:39:03 +0200 | anandprabhu | (~anandprab@185.195.233.189) |
| 2023-08-05 06:39:16 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 2023-08-05 06:39:29 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-05 06:49:48 +0200 | astra | amish |
| 2023-08-05 06:49:54 +0200 | amish | (sid289983@2a03:5180:f:4::4:6cbf) (Changing host) |
| 2023-08-05 06:49:54 +0200 | amish | (sid289983@user/amish) |
| 2023-08-05 06:50:12 +0200 | amish | astra |
| 2023-08-05 06:53:17 +0200 | shapr | (~user@2600:1700:c640:3100:894d:ede3:2bfa:7011) (Ping timeout: 246 seconds) |
| 2023-08-05 06:55:08 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-05 07:02:19 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-05 07:02:19 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-05 07:02:45 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 2023-08-05 07:04:04 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-05 07:09:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-05 07:12:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-05 07:15:03 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-08-05 07:15:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 07:17:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-05 07:18:42 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Ping timeout: 260 seconds) |
| 2023-08-05 07:19:12 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-05 07:19:20 +0200 | califax | (~califax@user/califx) |
| 2023-08-05 07:19:21 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-05 07:20:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-05 07:21:01 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-08-05 07:26:39 +0200 | trev | (~trev@user/trev) |
| 2023-08-05 07:34:27 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-05 07:35:59 +0200 | travgm | (~travgm@fsf/member/travgm) |
| 2023-08-05 07:45:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-05 08:37:11 +0200 | acidjnk | (~acidjnk@p200300d6e7072f29e122610b7cbe2edf.dip0.t-ipconnect.de) |
| 2023-08-05 08:47:37 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-05 08:47:37 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-05 08:47:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 08:52:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 09:00:46 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-05 09:10:15 +0200 | ubert | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) |
| 2023-08-05 09:14:00 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-08-05 09:24:43 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 09:39:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Remote host closed the connection) |
| 2023-08-05 09:42:51 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-08-05 09:47:23 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-08-05 09:51:00 +0200 | mmhat | (~mmh@p200300f1c73d19c4ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-05 09:52:26 +0200 | mmhat | (~mmh@p200300f1c73d19c4ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-05 09:54:15 +0200 | puke | (~puke@user/puke) |
| 2023-08-05 09:54:58 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2023-08-05 09:55:26 +0200 | califax | (~califax@user/califx) |
| 2023-08-05 09:55:39 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:954:aa42:2681:deb6) |
| 2023-08-05 09:55:43 +0200 | <Inst> | is Flatparse standard these days? |
| 2023-08-05 09:59:26 +0200 | <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 10:00:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-05 10:01:15 +0200 | <Inst> | that said, cereal is faster than nom |
| 2023-08-05 10:01:20 +0200 | <Inst> | n mp4s |
| 2023-08-05 10:06:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 10:20:46 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-05 10:25:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-08-05 10:25:48 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-05 10:29:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-08-05 10:30:16 +0200 | arjun | (~arjun@user/arjun) |
| 2023-08-05 10:39:23 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-05 10:39:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 10:44:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Ping timeout: 246 seconds) |
| 2023-08-05 10:44:42 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 10:44:54 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-08-05 10:48:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-05 10:48:39 +0200 | razetime | (~quassel@117.254.37.46) |
| 2023-08-05 10:50:18 +0200 | anandprabhu | (~anandprab@185.195.233.189) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-08-05 10:59:43 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-05 11:00:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 11:06:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 11:06:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-05 11:07:56 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 11:16:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 11:21:00 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-05 11:21:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-05 11:21:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 11:25:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 11:28:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 11:34:47 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) |
| 2023-08-05 11:42:08 +0200 | travgm | (~travgm@fsf/member/travgm) (Remote host closed the connection) |
| 2023-08-05 11:47:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-08-05 11:50:39 +0200 | zedkaido | (~zedkaido@bl14-174-227.dsl.telepac.pt) |
| 2023-08-05 11:51:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-05 11:51:31 +0200 | zedkaido | (~zedkaido@bl14-174-227.dsl.telepac.pt) (Client Quit) |
| 2023-08-05 11:52:14 +0200 | nschoe | (~q@2a01:e0a:8e:a190:2013:9f8e:de8:7402) |
| 2023-08-05 11:52:18 +0200 | nschoe | (~q@2a01:e0a:8e:a190:2013:9f8e:de8:7402) (Client Quit) |
| 2023-08-05 11:54:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-05 11:57:44 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 12:02:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 12:08:34 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-08-05 12:19:46 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 12:19:57 +0200 | berberman | (~berberman@user/berberman) |
| 2023-08-05 12:22:42 +0200 | zedkaido | (~zedkaido@user/zedkaido) |
| 2023-08-05 12:23:24 +0200 | zedkaido | (~zedkaido@user/zedkaido) (Quit: leaving) |
| 2023-08-05 12:28:59 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-08-05 12:30:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 12:30:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-05 12:31:10 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-05 12:31:31 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-05 12:34:38 +0200 | danza | (~francesco@151.19.233.154) |
| 2023-08-05 12:39:29 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 260 seconds) |
| 2023-08-05 12:41:57 +0200 | Alex_test | (~al_test@178.34.160.198) (Ping timeout: 246 seconds) |
| 2023-08-05 12:42:18 +0200 | AlexZenon | (~alzenon@178.34.160.198) (Ping timeout: 246 seconds) |
| 2023-08-05 12:42:32 +0200 | AlexNoo | (~AlexNoo@178.34.160.198) (Ping timeout: 240 seconds) |
| 2023-08-05 12:43:34 +0200 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 260 seconds) |
| 2023-08-05 12:45:05 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-194.46.114.pool.telefonica.de) |
| 2023-08-05 12:48:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 12:50:14 +0200 | ddellacosta | (~ddellacos@146.70.166.184) |
| 2023-08-05 12:50:29 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 12:53:43 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-05 12:55:40 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2023-08-05 12:56:18 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 12:56:49 +0200 | ulysses4ever | artem |
| 2023-08-05 12:57:00 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 246 seconds) |
| 2023-08-05 13:01:13 +0200 | berberman | (~berberman@user/berberman) |
| 2023-08-05 13:01:38 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-08-05 13:03:20 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-05 13:04:13 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-05 13:05:23 +0200 | artem | (~ulysses4e@38.42.227.237) (Remote host closed the connection) |
| 2023-08-05 13:06:51 +0200 | arjun | (~arjun@user/arjun) (Quit: Quit!) |
| 2023-08-05 13:07:24 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-08-05 13:08:42 +0200 | ulysses4ever | (~ulysses4e@38.42.227.237) |
| 2023-08-05 13:09:16 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 13:10:11 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 13:18:04 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-08-05 13:23:15 +0200 | ddellacosta | (~ddellacos@146.70.166.184) (Ping timeout: 246 seconds) |
| 2023-08-05 13:24:10 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 13:24:57 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 245 seconds) |
| 2023-08-05 13:26:32 +0200 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-08-05 13:26:44 +0200 | danza | (~francesco@151.19.233.154) (Ping timeout: 260 seconds) |
| 2023-08-05 13:28:25 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-08-05 13:28:29 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 13:30:18 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 13:31:17 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.8) |
| 2023-08-05 13:31:30 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2023-08-05 13:32:08 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Client Quit) |
| 2023-08-05 13:35:31 +0200 | <ncf> | > [("a",1),("b",2),("c",3)] & each . imapped . Control.Lens.index "b" *~ 2 |
| 2023-08-05 13:35:32 +0200 | <lambdabot> | [("a",1),("b",4),("c",3)] |
| 2023-08-05 13:36:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 13:39:55 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 13:41:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 13:57:27 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-05 13:57:59 +0200 | [_] | [itchyjunk] |
| 2023-08-05 14:00:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 14:05:17 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 14:05:49 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-08-05 14:05:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-05 14:09:43 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-05 14:16:57 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-08-05 14:21:04 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-05 14:23:58 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 14:24:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 14:28:00 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 2023-08-05 14:29:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 14:31:45 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-05 14:35:23 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-08-05 14:38:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-08-05 14:38:48 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 14:39:54 +0200 | ulysses4ever | artem |
| 2023-08-05 14:41:04 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-05 14:53:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 14:58:02 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 15:03:10 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 15:06:10 +0200 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 15:06:19 +0200 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) |
| 2023-08-05 15:08:28 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 250 seconds) |
| 2023-08-05 15:08:28 +0200 | Sciencentistguy8 | Sciencentistguy |
| 2023-08-05 15:09:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 15:09:53 +0200 | dvb^ | (~cd@24.125.210.85) |
| 2023-08-05 15:18:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 15:23:07 +0200 | laxmik | (~laxmik@dynamic-077-008-071-245.77.8.pool.telefonica.de) |
| 2023-08-05 15:23:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-05 15:24:11 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 15:28:32 +0200 | AlexNoo | (~AlexNoo@178.34.161.41) |
| 2023-08-05 15:29:02 +0200 | laxmik | (~laxmik@dynamic-077-008-071-245.77.8.pool.telefonica.de) (Quit: laxmik) |
| 2023-08-05 15:30:33 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-08-05 15:30:59 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-08-05 15:31:16 +0200 | Alex_test | (~al_test@178.34.161.41) |
| 2023-08-05 15:32:16 +0200 | AlexZenon | (~alzenon@178.34.161.41) |
| 2023-08-05 15:33:04 +0200 | razetime | (~quassel@117.254.37.46) (Remote host closed the connection) |
| 2023-08-05 15:37:14 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 15:42:08 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-05 15:44:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 15:46:44 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-05 15:48:28 +0200 | danza | (~francesco@151.19.233.154) |
| 2023-08-05 15:49:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) (Ping timeout: 260 seconds) |
| 2023-08-05 15:50:27 +0200 | danza | (~francesco@151.19.233.154) (Read error: Connection reset by peer) |
| 2023-08-05 15:55:06 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 15:59:45 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Remote host closed the connection) |
| 2023-08-05 15:59:45 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Write error: Connection reset by peer) |
| 2023-08-05 15:59:45 +0200 | Haskman[m] | (~haskmanma@2001:470:69fc:105::3:8e5a) (Remote host closed the connection) |
| 2023-08-05 15:59:45 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Remote host closed the connection) |
| 2023-08-05 15:59:45 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Write error: Connection reset by peer) |
| 2023-08-05 15:59:45 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (Write error: Connection reset by peer) |
| 2023-08-05 15:59:45 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Remote host closed the connection) |
| 2023-08-05 15:59:45 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Write error: Connection reset by peer) |
| 2023-08-05 15:59:45 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) (Remote host closed the connection) |
| 2023-08-05 15:59:45 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:46 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Remote host closed the connection) |
| 2023-08-05 15:59:46 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Write error: Connection reset by peer) |
| 2023-08-05 15:59:46 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Write error: Connection reset by peer) |
| 2023-08-05 15:59:46 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) (Remote host closed the connection) |
| 2023-08-05 15:59:46 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) (Remote host closed the connection) |
| 2023-08-05 15:59:46 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:46 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:46 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:46 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:47 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:47 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) (Read error: Connection reset by peer) |
| 2023-08-05 15:59:47 +0200 | RandomInt[m] | (~randomint@2001:470:69fc:105::3:852e) (Remote host closed the connection) |
| 2023-08-05 15:59:47 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) (Remote host closed the connection) |
| 2023-08-05 15:59:47 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) (Read error: Connection reset by peer) |
| 2023-08-05 16:00:09 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-05 16:01:37 +0200 | Joao003 | (~Joao003@2804:840:8302:4000:fc75:9ae1:2fd9:2ce9) |
| 2023-08-05 16:03:01 +0200 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2023-08-05 16:03:39 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Ping timeout: 246 seconds) |
| 2023-08-05 16:03:39 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Ping timeout: 246 seconds) |
| 2023-08-05 16:05:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-05 16:06:06 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 246 seconds) |
| 2023-08-05 16:07:04 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2023-08-05 16:07:06 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-08-05 16:07:30 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-08-05 16:08:58 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-08-05 16:11:20 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Ping timeout: 246 seconds) |
| 2023-08-05 16:12:02 +0200 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 246 seconds) |
| 2023-08-05 16:12:03 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 246 seconds) |
| 2023-08-05 16:15:07 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-08-05 16:16:13 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2023-08-05 16:16:34 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2023-08-05 16:22:15 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-05 16:29:44 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 16:34:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 16:36:20 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 16:42:21 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-05 16:42:45 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-05 16:47:03 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-05 16:53:53 +0200 | eldritchcookie | (~eldritchc@186.226.54.7) (Ping timeout: 246 seconds) |
| 2023-08-05 16:54:31 +0200 | oats_ | oats |
| 2023-08-05 17:03:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 17:05:42 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 17:08:15 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:08:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 17:08:55 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:14:13 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:14:52 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:15:19 +0200 | hippoid | (~hippoid@user/hippoid) (Remote host closed the connection) |
| 2023-08-05 17:15:42 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
| 2023-08-05 17:20:08 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:20:48 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:20:54 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 17:26:06 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:26:46 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:30:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-05 17:34:29 +0200 | Joao003 | (~Joao003@2804:840:8302:4000:fc75:9ae1:2fd9:2ce9) (Quit: Leaving) |
| 2023-08-05 17:35:05 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-05 17:37:09 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 17:39:34 +0200 | oats | moats |
| 2023-08-05 17:41:55 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 17:47:03 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:47:48 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-08-05 17:52:47 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:58:10 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 17:58:50 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 17:59:10 +0200 | moats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2023-08-05 18:00:17 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-05 18:04:09 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:04:49 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:07:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-05 18:09:01 +0200 | ripspin | (~chatzilla@1.145.195.217) |
| 2023-08-05 18:09:21 +0200 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 18:10:05 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:10:45 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:10:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 18:12:42 +0200 | yangby | (~secret@183.157.65.111) (Client Quit) |
| 2023-08-05 18:15:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 18:16:11 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:16:30 +0200 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 18:16:51 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:17:38 +0200 | yangby | (~secret@183.157.65.111) (Client Quit) |
| 2023-08-05 18:19:06 +0200 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 18:20:16 +0200 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 18:20:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-05 18:21:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b969:84de:9a89:14ad) |
| 2023-08-05 18:22:29 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:23:09 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:25:11 +0200 | ripspin | (~chatzilla@1.145.195.217) (Remote host closed the connection) |
| 2023-08-05 18:28:26 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:29:05 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:32:42 +0200 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-05 18:34:22 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:35:01 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:36:21 +0200 | yangby | (~secret@183.157.65.111) (Quit: Go out for a walk and buy a drink.) |
| 2023-08-05 18:36:31 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-05 18:38:33 +0200 | yangby | (~secret@183.157.65.111) |
| 2023-08-05 18:40:20 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:41:00 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:41:09 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-05 18:44:18 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-05 18:44:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 18:46:16 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:46:39 +0200 | Harriet | (andrew@user/Lareina) (Quit: stop) |
| 2023-08-05 18:46:52 +0200 | Harriet | (harriet@user/Lareina) |
| 2023-08-05 18:46:56 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:47:09 +0200 | artem | (~ulysses4e@38.42.227.237) (Quit: Quit) |
| 2023-08-05 18:47:14 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: brb/bbiab) |
| 2023-08-05 18:47:22 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-05 18:49:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 18:50:10 +0200 | ulysses4ever | artem |
| 2023-08-05 18:52:18 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:52:58 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 18:57:15 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 18:58:20 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 18:59:01 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 19:02:17 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-05 19:04:11 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 19:04:17 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 19:04:57 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 19:09:27 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Read error: Connection reset by peer) |
| 2023-08-05 19:10:14 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 19:10:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-08-05 19:10:54 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 19:13:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-05 19:14:05 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::bd11) |
| 2023-08-05 19:15:55 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-08-05 19:16:16 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 19:16:56 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 19:17:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 19:18:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-08-05 19:19:41 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2023-08-05 19:19:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 19:20:02 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-08-05 19:22:11 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2023-08-05 19:22:19 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-05 19:22:30 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 19:24:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-05 19:25:11 +0200 | Pixi` | (~Pixi@user/pixi) (Max SendQ exceeded) |
| 2023-08-05 19:26:00 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-05 19:27:13 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 19:27:52 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 19:28:13 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2023-08-05 19:29:49 +0200 | Pixi__ | (~Pixi@user/pixi) |
| 2023-08-05 19:33:42 +0200 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-05 19:34:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-05 19:35:27 +0200 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-05 19:36:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-05 19:43:13 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 19:48:37 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 19:50:57 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::bd11) (Remote host closed the connection) |
| 2023-08-05 19:51:37 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 19:54:24 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 19:55:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-05 19:56:25 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 20:02:23 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 20:10:03 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-05 20:15:12 +0200 | shapr | (~user@2600:1700:c640:3100:74c3:10f6:7a7f:9e1) |
| 2023-08-05 20:20:18 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-08-05 20:22:57 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-05 20:26:28 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 20:30:55 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 20:42:40 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-05 20:45:39 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
| 2023-08-05 20:46:59 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (Remote host closed the connection) |
| 2023-08-05 20:50:18 +0200 | fun-safe-math | (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net) () |
| 2023-08-05 20:59:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 21:03:55 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-05 21:05:06 +0200 | <dminuoso> | Inst: I dont know about standard. |
| 2023-08-05 21:05:18 +0200 | <dminuoso> | I think megaparsec/attoparsec are far more widely used. |
| 2023-08-05 21:05:30 +0200 | <dminuoso> | Attoparsec is definitely not even close to C performance. |
| 2023-08-05 21:06:10 +0200 | <Inst> | i had that misconception from old serpentine blog post |
| 2023-08-05 21:06:17 +0200 | <Inst> | flatparse is potentially close to C performance |
| 2023-08-05 21:07:02 +0200 | <dminuoso> | Yup, indeed. |
| 2023-08-05 21:07:25 +0200 | <dminuoso> | But it requires a bit of additional care and core analysis to keep it that way. |
| 2023-08-05 21:07:44 +0200 | <dminuoso> | The performance of flatparse is potentially only challenged by parsley. |
| 2023-08-05 21:08:01 +0200 | <dminuoso> | parsley has even the potential to be faster. |
| 2023-08-05 21:08:56 +0200 | <dminuoso> | However, in a bunch of experiments its currently not faster, which is presumably due to some bugs. |
| 2023-08-05 21:09:17 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-05 21:11:59 +0200 | <shapr> | I hadn't heard of parsley : https://github.com/j-mie6/ParsleyHaskell |
| 2023-08-05 21:13:40 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-05 21:15:44 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-05 21:16:06 +0200 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 21:17:56 +0200 | Inst_ | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
| 2023-08-05 21:19:14 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:954:aa42:2681:deb6) (Ping timeout: 260 seconds) |
| 2023-08-05 21:21:45 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-05 21:25:57 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-08-05 21:25:57 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-08-05 21:25:57 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-05 21:28:16 +0200 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-05 21:28:45 +0200 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Client Quit) |
| 2023-08-05 21:29:21 +0200 | justache | reddit-boat |
| 2023-08-05 21:29:25 +0200 | reddit-boat | justache |
| 2023-08-05 21:32:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 21:33:27 +0200 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-05 21:35:59 +0200 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-05 21:36:00 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-05 21:37:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 21:37:41 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-05 21:38:58 +0200 | <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 21:39:11 +0200 | <oo_miguel> | sorry wrong chan |
| 2023-08-05 21:42:03 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-08-05 21:44:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-08-05 21:44:27 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-05 21:46:28 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-05 21:48:16 +0200 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (Quit: .) |
| 2023-08-05 21:49:43 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-08-05 21:50:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-05 22:00:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-05 22:02:26 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-05 22:02:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-05 22:03:43 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 22:03:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2023-08-05 22:04:27 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 22:04:55 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-08-05 22:06:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 22:06:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 22:07:17 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-05 22:08:30 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-05 22:11:20 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-05 22:11:50 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-05 22:12:15 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 2023-08-05 22:14:04 +0200 | ub | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) |
| 2023-08-05 22:14:20 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-08-05 22:19:37 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-05 22:19:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-05 22:21:32 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-05 22:21:43 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-05 22:29:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-08-05 22:29:41 +0200 | maxfan8_ | (~max@2a01:4f8:192:5356::2) (Ping timeout: 246 seconds) |
| 2023-08-05 22:32:05 +0200 | oo_miguel | (~oo_miguel@78-11-179-96.static.ip.netia.com.pl) (Quit: WeeChat 3.8) |
| 2023-08-05 22:33:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-05 22:34:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-05 22:37:40 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-05 22:39:44 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 22:44:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 22:44:54 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-05 22:45:47 +0200 | acidjnk | (~acidjnk@p200300d6e7072f29e122610b7cbe2edf.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-05 22:46:07 +0200 | Pent_ | Pent |
| 2023-08-05 22:48:24 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-05 22:53:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-05 22:56:50 +0200 | ub | (~Thunderbi@91.141.36.10.wireless.dyn.drei.com) (Quit: ub) |
| 2023-08-05 22:59:51 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-05 23:03:03 +0200 | ghostbuster | (~admin@user/ghostbuster) (Quit: WeeChat 3.8) |
| 2023-08-05 23:06:02 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-05 23:06:32 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-05 23:09:41 +0200 | maxfan8_ | (~max@2a01:4f8:192:5356::2) |
| 2023-08-05 23:11:45 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 2023-08-05 23:11:57 +0200 | <dsal> | I keep feeling like I want something like "pure" for monoid. Is this a thing at all? |
| 2023-08-05 23:12:44 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-05 23:13:06 +0200 | <geekosaur> | I'm not sure I even know what that would mean |
| 2023-08-05 23:13:12 +0200 | <ncf> | :t mempty |
| 2023-08-05 23:13:13 +0200 | <lambdabot> | Monoid a => a |
| 2023-08-05 23:14:01 +0200 | <ncf> | Applicative is a kind of monoid, and pure corresponds to the unit (while <*> corresponds to <>) |
| 2023-08-05 23:14:22 +0200 | <ncf> | did you mean something else? |
| 2023-08-05 23:14:26 +0200 | <geekosaur> | I was thinking maybe Alternative |
| 2023-08-05 23:14:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-05 23:17:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 23:19:04 +0200 | <dsal> | Yeah, I was thinking about applicative. But basically stuff like (:[]), Set.singleton, const 1, etc... |
| 2023-08-05 23:19:29 +0200 | <Hecate> | dsal: yep, that's mempty |
| 2023-08-05 23:19:57 +0200 | <dsal> | No, not mempty. Monoid m => a -> m |
| 2023-08-05 23:20:05 +0200 | <dsal> | Which is kind of a weird shape. |
| 2023-08-05 23:20:56 +0200 | <ncf> | :t (:[]) |
| 2023-08-05 23:20:57 +0200 | <lambdabot> | a -> [a] |
| 2023-08-05 23:21:02 +0200 | <ncf> | :t Data.Set.singleton |
| 2023-08-05 23:21:03 +0200 | <lambdabot> | a -> S.Set a |
| 2023-08-05 23:21:05 +0200 | <ncf> | :t const 1 |
| 2023-08-05 23:21:06 +0200 | <lambdabot> | Num a => b -> a |
| 2023-08-05 23:21:10 +0200 | <Hecate> | dsal: question: what's the kind signature of m ? |
| 2023-08-05 23:21:22 +0200 | <ncf> | :t const |
| 2023-08-05 23:21:23 +0200 | <lambdabot> | a -> b -> a |
| 2023-08-05 23:21:27 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-05 23:21:33 +0200 | <ncf> | (:[]), singleton and const all match the type of pure |
| 2023-08-05 23:21:51 +0200 | <dsal> | Yeah, it looks like pure, but I just want a monoid. |
| 2023-08-05 23:22:01 +0200 | <mauke> | :t (<$mempty) |
| 2023-08-05 23:22:02 +0200 | <lambdabot> | (Functor f, Monoid (f b)) => a -> f a |
| 2023-08-05 23:22:04 +0200 | <Hecate> | dsal: you want the m without the a ? |
| 2023-08-05 23:22:18 +0200 | <Hecate> | and you want it polymorphic? |
| 2023-08-05 23:22:47 +0200 | <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 23:22:55 +0200 | <dsal> | :t foldMap |
| 2023-08-05 23:22:56 +0200 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2023-08-05 23:22:59 +0200 | <dsal> | Kind of what happens here. |
| 2023-08-05 23:23:15 +0200 | <ncf> | not all monoids have a sensible a -> m |
| 2023-08-05 23:23:29 +0200 | <dsal> | Yeah, const is getting on the less sensible side. |
| 2023-08-05 23:24:03 +0200 | <dsal> | This seems like something smaller than a monoid, but still a thing I run into occasionally. |
| 2023-08-05 23:24:37 +0200 | <ncf> | do you have any example that's not satisfied by pure or mempty? |
| 2023-08-05 23:24:56 +0200 | <dsal> | I've not actually considered pure. |
| 2023-08-05 23:25:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-05 23:25:22 +0200 | <Hecate> | foldMap (const mempty) :: (Foldable t, Monoid m) => t a -> m |
| 2023-08-05 23:25:30 +0200 | <Hecate> | dsal: ^ ? |
| 2023-08-05 23:25:52 +0200 | <ncf> | weird way of spelling mempty |
| 2023-08-05 23:26:05 +0200 | <dsal> | Heh. That's a sort of example of how this might work. |
| 2023-08-05 23:26:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-05 23:26:20 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-05 23:26:25 +0200 | <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 23:26:32 +0200 | <ncf> | > foldMap (const mempty) [0..10] :: Sum Int |
| 2023-08-05 23:26:33 +0200 | <lambdabot> | Sum {getSum = 0} |
| 2023-08-05 23:27:53 +0200 | <Hecate> | dsal: did we already suggest const mempty? |
| 2023-08-05 23:28:24 +0200 | <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 23:28:33 +0200 | <dsal> | It's not a zero value, it's a one value. |
| 2023-08-05 23:29:08 +0200 | <mauke> | what if it's Sum Int? |
| 2023-08-05 23:29:35 +0200 | <dsal> | const 1 |
| 2023-08-05 23:30:03 +0200 | <ncf> | what if it's Product Int? |
| 2023-08-05 23:30:30 +0200 | <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 23:30:56 +0200 | <Hecate> | dsal: just create your own structure |
| 2023-08-05 23:31:00 +0200 | <Hecate> | call it a dickoid or whatever |
| 2023-08-05 23:31:08 +0200 | <dsal> | haha |
| 2023-08-05 23:31:56 +0200 | <Hecate> | dsal: am I wrong though? |
| 2023-08-05 23:32:00 +0200 | <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 23:32:11 +0200 | <ncf> | a ring? |
| 2023-08-05 23:32:14 +0200 | <Hecate> | looks like you want most of the Monoid with an additional element? |
| 2023-08-05 23:32:23 +0200 | <ncf> | or a semiring at least |
| 2023-08-05 23:32:43 +0200 | <ncf> | but that excludes [a], so doesn't fit your requirements |
| 2023-08-05 23:32:51 +0200 | <ncf> | i don't think there's anything to unify here... |
| 2023-08-05 23:32:52 +0200 | <Hecate> | you want a non-identity element |
| 2023-08-05 23:33:39 +0200 | <Hecate> | dsal: there is no concept of "one value", there's the neutral element and that's it |
| 2023-08-05 23:34:11 +0200 | <Hecate> | either your element is neutral on the internal operation, or it's not |
| 2023-08-05 23:34:31 +0200 | <ncf> | rings formalise "one" pretty well |
| 2023-08-05 23:34:40 +0200 | <geekosaur> | sure there is or there wouldn't be a concept of "singleton" |
| 2023-08-05 23:36:23 +0200 | <Hecate> | ah indeed, https://en.wikipedia.org/wiki/Axiom_of_pairing TIL |
| 2023-08-05 23:36:57 +0200 | <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 23:37:00 +0200 | <dsal> | Yeah, the semiring thing looks like what I was thinking of, but a bit further constrained. |
| 2023-08-05 23:37:04 +0200 | <Hecate> | but there is no Monoid superclass |
| 2023-08-05 23:37:10 +0200 | nick4 | (~nick@2600:100d:b157:9ba6:217f:6f08:11ff:108d) |
| 2023-08-05 23:37:12 +0200 | <ncf> | what does pairing have to do with this |
| 2023-08-05 23:38:06 +0200 | <Hecate> | ncf: I read that the axiom of pairing justifies the existence a singleton {a} ∀ a |
| 2023-08-05 23:38:42 +0200 | <ncf> | if you're doing set theory, sure |
| 2023-08-05 23:39:00 +0200 | <Hecate> | that's what geekosaur is raising no? |
| 2023-08-05 23:39:10 +0200 | <Hecate> | or are there other singletons that are of interest in our case? |
| 2023-08-05 23:39:38 +0200 | <Hecate> | ncf: aren't we doing set theory from the beginning? Isn't monoid a set? :p |
| 2023-08-05 23:40:17 +0200 | <ncf> | if your foundations are type theory then a monoid is a type |
| 2023-08-05 23:40:45 +0200 | <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 23:41:14 +0200 | <Hecate> | ncf: wait, aren't types sets? |
| 2023-08-05 23:41:29 +0200 | <ncf> | type theory stands on its own |
| 2023-08-05 23:41:37 +0200 | <ncf> | you can interpret it in the category of sets if you like |
| 2023-08-05 23:42:06 +0200 | <ncf> | see https://ncatlab.org/nlab/show/monoid+in+a+monoidal+category for the most general notion of a monoid |
| 2023-08-05 23:42:33 +0200 | <Hecate> | < ncf> you can interpret it in the category of sets if you like // ah, TIL |
| 2023-08-05 23:42:45 +0200 | <Hecate> | well, dsal, which category do you want your answer packed in? :p |
| 2023-08-05 23:43:07 +0200 | <dsal> | Heh. I'm just a blue collar haskeller. |
| 2023-08-05 23:43:16 +0200 | <Hecate> | dsal: high five |
| 2023-08-05 23:47:19 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Ping timeout: 246 seconds) |
| 2023-08-05 23:47:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 23:48:34 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-05 23:50:16 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-05 23:54:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-05 23:56:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-05 23:57:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-05 23:58:59 +0200 | actioninja6302 | (~actioninj@user/actioninja) |