| 2024-12-20 00:00:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:47af:5bec:f5b4:7548) |
| 2024-12-20 00:08:57 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-20 00:11:55 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 2024-12-20 00:19:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 00:20:14 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-20 00:23:20 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) housemate |
| 2024-12-20 00:25:14 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-12-20 00:25:24 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-12-20 00:30:32 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) (Remote host closed the connection) |
| 2024-12-20 00:33:33 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-20 00:35:47 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-20 00:39:11 +0100 | Axma98477 | Axman6 |
| 2024-12-20 00:39:17 +0100 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-20 00:41:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 00:46:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-20 00:46:09 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2024-12-20 00:47:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 00:47:47 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-20 00:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 00:55:12 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::d5) (Ping timeout: 276 seconds) |
| 2024-12-20 00:57:06 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-12-20 01:00:06 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-12-20 01:00:39 +0100 | mange | (~user@user/mange) mange |
| 2024-12-20 01:02:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 01:04:07 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) housemate |
| 2024-12-20 01:07:35 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-20 01:09:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 01:19:15 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-20 01:20:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 01:21:27 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-20 01:25:43 +0100 | sprotte24 | (~sprotte24@p200300d16f19ee00b46a5b4fb1cae10a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-20 01:25:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-20 01:26:00 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2024-12-20 01:26:25 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-20 01:26:36 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2024-12-20 01:27:47 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-12-20 01:34:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:47af:5bec:f5b4:7548) (Ping timeout: 265 seconds) |
| 2024-12-20 01:36:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 01:39:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-20 01:41:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 01:48:22 +0100 | sprotte24 | (~sprotte24@p200300d16f19ee00b46a5b4fb1cae10a.dip0.t-ipconnect.de) |
| 2024-12-20 01:52:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 01:52:37 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) housemate |
| 2024-12-20 01:56:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 01:58:16 +0100 | sprotte24 | (~sprotte24@p200300d16f19ee00b46a5b4fb1cae10a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-20 01:58:28 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-20 02:07:33 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) housemate |
| 2024-12-20 02:07:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 02:10:02 +0100 | housemate | (~housemate@ppp203-122-213-191.static.internode.on.net) (Remote host closed the connection) |
| 2024-12-20 02:11:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-12-20 02:13:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 02:23:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 02:26:13 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f997119c200ba695214.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-12-20 02:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-20 02:29:53 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-20 02:33:22 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-20 02:33:59 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-20 02:39:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 02:45:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 02:53:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-20 02:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 03:00:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 03:06:02 +0100 | roqueando | (~roqueando@179-125-157-166.dynamic.desktop.com.br) |
| 2024-12-20 03:06:02 +0100 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-12-20 03:07:54 +0100 | roqueando | (~roqueando@179-125-157-166.dynamic.desktop.com.br) (Client Quit) |
| 2024-12-20 03:09:06 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 276 seconds) |
| 2024-12-20 03:10:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 03:15:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-20 03:19:12 +0100 | alp | (~alp@2001:861:8ca0:4940:b388:1d7b:42d:b62) (Ping timeout: 272 seconds) |
| 2024-12-20 03:20:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-20 03:26:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 03:28:54 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 03:31:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 03:38:30 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-20 03:41:46 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 03:42:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 03:43:07 +0100 | housemate | (~housemate@159.197.203.182) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-20 03:43:18 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 03:43:21 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 03:44:27 +0100 | <haskellbridge> | <Bowuigi> Scanf sounds useful for AoC |
| 2024-12-20 03:45:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-20 03:45:05 +0100 | ljdarj1 | ljdarj |
| 2024-12-20 03:47:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 03:49:09 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 03:49:11 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 03:50:17 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-12-20 03:52:17 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 03:52:20 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 03:55:48 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 03:56:00 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 03:59:22 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 03:59:33 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 04:00:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 04:03:26 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 04:03:46 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 04:05:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 04:08:46 +0100 | <glguy> | Bowuigi, have you seen my scanf-like AoC parsers? |
| 2024-12-20 04:13:15 +0100 | <haskellbridge> | <Bowuigi> https://hackage.haskell.org/package/scanf seems to fit, but something similar to Read is probably better for AoC |
| 2024-12-20 04:13:26 +0100 | hi | (~hi@172.56.106.242) |
| 2024-12-20 04:14:05 +0100 | hi | (~hi@172.56.106.242) (Write error: Broken pipe) |
| 2024-12-20 04:14:06 +0100 | <glguy> | Scanf on its own doesn't support looping and separators |
| 2024-12-20 04:14:20 +0100 | <glguy> | So you need something more, which is why I made one |
| 2024-12-20 04:15:21 +0100 | Square | (~Square@user/square) Square |
| 2024-12-20 04:15:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 04:18:30 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 04:18:33 +0100 | housemate | (~housemate@159.197.203.182) (Client Quit) |
| 2024-12-20 04:20:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 04:24:36 +0100 | housemate | (~housemate@159.197.203.182) housemate |
| 2024-12-20 04:24:39 +0100 | housemate | (~housemate@159.197.203.182) (Max SendQ exceeded) |
| 2024-12-20 04:25:49 +0100 | <haskellbridge> | <Bowuigi> Yeah ReadP is better if you need complex stuff like that |
| 2024-12-20 04:27:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-20 04:27:05 +0100 | <haskellbridge> | <Bowuigi> Scanf is meant to be used as the shell's "cut" or similar |
| 2024-12-20 04:28:48 +0100 | <haskellbridge> | <Bowuigi> If you need something fast but not super complex, PEG parsing is a good option, or maybe regex-tdfa |
| 2024-12-20 04:31:13 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-12-20 04:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 04:32:06 +0100 | <glguy> | https://github.com/glguy/advent/blob/main/solutions/src/2024/19.hs#L41 |
| 2024-12-20 04:32:35 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-12-20 04:32:55 +0100 | <glguy> | that expands out to a ReadP parer |
| 2024-12-20 04:32:59 +0100 | <glguy> | parser |
| 2024-12-20 04:36:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 04:39:05 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-87-166.dedicated.static.sonic.net) (Remote host closed the connection) |
| 2024-12-20 04:41:04 +0100 | poopiedookie | (~poopiedoo@syn-069-206-166-125.res.spectrum.com) (Quit: Client closed) |
| 2024-12-20 04:43:01 +0100 | haver | (~Enviosity@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-12-20 04:45:43 +0100 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 264 seconds) |
| 2024-12-20 04:47:13 +0100 | td_ | (~td@i53870935.versanet.de) td_ |
| 2024-12-20 04:47:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 04:53:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 04:54:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 04:55:27 +0100 | rdcdr | (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-12-20 04:56:33 +0100 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2024-12-20 05:02:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-20 05:10:46 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-20 05:14:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 05:16:13 +0100 | <haskellbridge> | <Bowuigi> That seems really useful, consider packaging it |
| 2024-12-20 05:18:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-20 05:29:56 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd7:4a00:42f0:f044:3052:a50d) aforemny |
| 2024-12-20 05:30:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 05:31:20 +0100 | aforemny | (~aforemny@2001:9e8:6cf7:7000:54e5:6684:9196:e657) (Ping timeout: 264 seconds) |
| 2024-12-20 05:34:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 05:37:37 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2024-12-20 05:40:47 +0100 | pure_sandals | (~pure_sand@49.228.243.24) |
| 2024-12-20 05:42:07 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-12-20 05:42:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-20 05:42:42 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-12-20 05:42:42 +0100 | ChanServ | +v haskellbridge |
| 2024-12-20 05:44:22 +0100 | pure_sandals | (~pure_sand@49.228.243.24) (Client Quit) |
| 2024-12-20 05:45:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 05:46:51 +0100 | khumba | (~khumba@user/khumba) khumba |
| 2024-12-20 05:50:06 +0100 | fmira | (~user@user/fmira) (Quit: fmira) |
| 2024-12-20 05:51:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 05:52:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-20 05:54:02 +0100 | haver | (~Enviosity@2.219.56.221) |
| 2024-12-20 05:54:13 +0100 | housemate | (~housemate@pa49-178-172-255.pa.nsw.optusnet.com.au) housemate |
| 2024-12-20 05:55:11 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2024-12-20 05:55:17 +0100 | housemate | (~housemate@pa49-178-172-255.pa.nsw.optusnet.com.au) (Max SendQ exceeded) |
| 2024-12-20 05:56:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 06:04:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 06:10:19 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:10:21 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:10:53 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:11:01 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:11:33 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-20 06:12:06 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-20 06:14:30 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:14:40 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:15:44 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-12-20 06:16:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 06:19:44 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-20 06:20:35 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:20:37 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:20:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-20 06:21:05 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-12-20 06:21:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-12-20 06:23:18 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 246 seconds) |
| 2024-12-20 06:27:57 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:27:59 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:30:47 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:30:51 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:31:22 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:31:24 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:31:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 06:34:59 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:35:02 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:36:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-12-20 06:38:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 06:38:32 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:38:35 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:42:09 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) housemate |
| 2024-12-20 06:42:11 +0100 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-12-20 06:42:12 +0100 | housemate | (~housemate@2001:8004:27a8:1b75:e254:f612:23bc:9a1f) (Max SendQ exceeded) |
| 2024-12-20 06:45:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-12-20 06:49:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 06:54:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-20 06:55:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 06:57:52 +0100 | alp | (~alp@2001:861:8ca0:4940:6227:1c02:918d:cd05) |
| 2024-12-20 07:00:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 07:00:37 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-20 07:01:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 07:07:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 07:16:45 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-20 07:17:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 07:17:38 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-20 07:19:03 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 07:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 07:24:53 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 07:25:33 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-20 07:33:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 07:33:35 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 07:35:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2024-12-20 07:36:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-20 07:38:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-20 07:38:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 07:41:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 07:41:24 +0100 | khumba | (~khumba@user/khumba) () |
| 2024-12-20 07:44:32 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 07:49:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 07:50:07 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 07:53:09 +0100 | alp | (~alp@2001:861:8ca0:4940:6227:1c02:918d:cd05) (Ping timeout: 248 seconds) |
| 2024-12-20 07:53:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 07:53:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 07:56:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 08:01:13 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-12-20 08:01:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 08:09:29 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-20 08:12:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 08:18:21 +0100 | CiaoSen | (~Jura@2a05:5800:214:800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-20 08:19:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 08:22:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-20 08:22:47 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-20 08:25:23 +0100 | housemate | (~housemate@1.147.12.191) housemate |
| 2024-12-20 08:27:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-12-20 08:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 08:35:25 +0100 | billchenchina | (~billchenc@2408:844f:d16:5d6:2d4f:374e:b820:10b1) billchenchina |
| 2024-12-20 08:37:55 +0100 | billchenchina | (~billchenc@2408:844f:d16:5d6:2d4f:374e:b820:10b1) (Client Quit) |
| 2024-12-20 08:38:35 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 08:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-20 08:39:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-20 08:39:25 +0100 | tnt2 | tnt1 |
| 2024-12-20 08:43:33 +0100 | housemate | (~housemate@1.147.12.191) (Remote host closed the connection) |
| 2024-12-20 08:50:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 08:53:17 +0100 | <haskellbridge> | <hellwolf> I honestly didn't know ReadP is in base, and I definitely do not know many things from base, still... |
| 2024-12-20 08:53:19 +0100 | <haskellbridge> | Something new to learn everyday |
| 2024-12-20 08:54:36 +0100 | <haskellbridge> | <hellwolf> but I guess it makes sense, since there is the read function. Is read function implemented by ReadP? |
| 2024-12-20 08:55:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 08:55:42 +0100 | <c_wraith> | I'd guess not usually. But it is very easy to convert a ReadP parser into a Read instance. |
| 2024-12-20 08:55:49 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-20 08:57:11 +0100 | <haskellbridge> | <hellwolf> https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Text.Read.html#read |
| 2024-12-20 08:57:36 +0100 | <haskellbridge> | <hellwolf> import GHC.Internal.Text.ParserCombinators.ReadP as P |
| 2024-12-20 08:57:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 08:58:01 +0100 | <haskellbridge> | <hellwolf> It is, then. |
| 2024-12-20 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-20 09:00:46 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-20 09:01:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-20 09:01:51 +0100 | <haskellbridge> | <hellwolf> """ |
| 2024-12-20 09:01:52 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/MyaZusHWGTAXXdGjyliDCsmF/xaSK5q_6-aw (4 lines) |
| 2024-12-20 09:02:01 +0100 | <haskellbridge> | <hellwolf> what does it mean, should I use it or not. |
| 2024-12-20 09:02:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-20 09:02:42 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 276 seconds) |
| 2024-12-20 09:03:07 +0100 | <haskellbridge> | <hellwolf> "Using python is very inefficient, doing a large program may be quite slow." |
| 2024-12-20 09:03:07 +0100 | <haskellbridge> | who needs that kind of disclaimer... |
| 2024-12-20 09:03:18 +0100 | <haskellbridge> | <Bowuigi> ReadS is slow an innefficient, ReadP, not so much |
| 2024-12-20 09:04:04 +0100 | <haskellbridge> | <Bowuigi> If you are very concerned about speed just use flatparse and call it a day, tho that's a bit extreme |
| 2024-12-20 09:04:19 +0100 | <haskellbridge> | <hellwolf> fair. |
| 2024-12-20 09:04:19 +0100 | <haskellbridge> | I have skill issues. How do I use ReadP ;p |
| 2024-12-20 09:04:54 +0100 | <haskellbridge> | <hellwolf> the section of "Running a parser" shows me that disclaimer |
| 2024-12-20 09:05:50 +0100 | <haskellbridge> | <Bowuigi> Yeah because ReadS is slow |
| 2024-12-20 09:06:45 +0100 | <haskellbridge> | <hellwolf> what's the alternative, I didn't find anything obvious what to do from that doc |
| 2024-12-20 09:07:07 +0100 | <haskellbridge> | <Bowuigi> Just don't use ReadS, use ReadP |
| 2024-12-20 09:07:38 +0100 | <haskellbridge> | <Bowuigi> Ah you mean for running it? |
| 2024-12-20 09:08:03 +0100 | <mauke> | This is the main way in which you can "run" a ReadP parser |
| 2024-12-20 09:08:14 +0100 | <haskellbridge> | <Bowuigi> You just use the readP_to_S function yeah |
| 2024-12-20 09:08:18 +0100 | <mauke> | the point is to only do it once, at the top level |
| 2024-12-20 09:08:28 +0100 | <haskellbridge> | <hellwolf> okay, fwiw read function uses ReadP_to_S |
| 2024-12-20 09:08:44 +0100 | vpan | (~vpan@212.117.1.172) |
| 2024-12-20 09:09:13 +0100 | <mauke> | ... because if you go the other way and start embedding ReadS in your ReadP's via readS_to_P: "Warning: This introduces local backtracking in the resulting parser, and therefore a possible inefficiency." |
| 2024-12-20 09:09:48 +0100 | <haskellbridge> | <hellwolf> well, yea, I can just look at ReadP... need to run it. |
| 2024-12-20 09:09:48 +0100 | <haskellbridge> | That's why my rant against that unclear disclaimer. It reads like, don't do it, but you don't have other ways of doing it, anyway. |
| 2024-12-20 09:10:02 +0100 | <haskellbridge> | <hellwolf> *I cannot |
| 2024-12-20 09:10:30 +0100 | <haskellbridge> | <Bowuigi> Standard laziness advices also applies because it returns a list |
| 2024-12-20 09:10:49 +0100 | haasn | (uid579015@id-579015.hampstead.irccloud.com) haasn |
| 2024-12-20 09:11:38 +0100 | <haskellbridge> | <Bowuigi> Btw the most convenient way to read numbers and stuff is using "readPrec_to_P readPrec 0" |
| 2024-12-20 09:14:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 09:14:55 +0100 | <haskellbridge> | <Bowuigi> You can read anything with a Read instance efficiently since you don't leave the context |
| 2024-12-20 09:19:43 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-12-20 09:24:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 09:26:31 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-20 09:34:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 09:37:13 +0100 | <haskellbridge> | <hellwolf> Bowuigi: this is interesting |
| 2024-12-20 09:37:22 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-12-20 09:37:34 +0100 | alp | (~alp@2001:861:8ca0:4940:69e4:bcc3:d8ab:bff0) |
| 2024-12-20 09:37:36 +0100 | <haskellbridge> | <hellwolf> would be happier if no TH QQ is required |
| 2024-12-20 09:42:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-20 09:53:46 +0100 | CiaoSen | (~Jura@2a05:5800:214:800:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-12-20 09:54:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 10:11:26 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-20 10:18:26 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f13051c8d0c2a2bb459.dip0.t-ipconnect.de) acidjnk |
| 2024-12-20 10:22:55 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-20 10:28:51 +0100 | CiaoSen | (~Jura@2a05:5800:214:800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-20 10:34:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-20 10:34:46 +0100 | housemate | (~housemate@60.231.48.87) housemate |
| 2024-12-20 10:48:22 +0100 | homo_ | (~homo@37-33-236-223.bb.dnainternet.fi) |
| 2024-12-20 10:48:30 +0100 | homo_ | (~homo@37-33-236-223.bb.dnainternet.fi) (Changing host) |
| 2024-12-20 10:48:30 +0100 | homo_ | (~homo@user/homo) homo |
| 2024-12-20 10:49:02 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2024-12-20 10:50:10 +0100 | homo | (~homo@user/homo) (Ping timeout: 260 seconds) |
| 2024-12-20 10:50:19 +0100 | homo_ | homo |
| 2024-12-20 10:50:21 +0100 | housemate | (~housemate@60.231.48.87) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-20 10:53:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2024-12-20 10:54:14 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-20 11:10:57 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2024-12-20 11:11:16 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-20 11:11:35 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2024-12-20 11:20:32 +0100 | haasn | (uid579015@id-579015.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-20 11:24:23 +0100 | homo | (~homo@user/homo) (Quit: Quit) |
| 2024-12-20 11:24:50 +0100 | homo | (~homo@37-33-236-223.bb.dnainternet.fi) |
| 2024-12-20 11:25:16 +0100 | homo | (~homo@37-33-236-223.bb.dnainternet.fi) (Changing host) |
| 2024-12-20 11:25:16 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-20 11:33:21 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2024-12-20 11:36:45 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-20 11:37:54 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-20 11:39:18 +0100 | <bwe> | how can I evaluate a doctest from my editor like https://www.youtube.com/live/KkKxHApYSfc?feature=shared&t=1208 ? |
| 2024-12-20 11:39:24 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-12-20 11:39:32 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-12-20 11:39:46 +0100 | <alecs> | bwe: It's a feature of HLS |
| 2024-12-20 11:40:12 +0100 | <bwe> | feature or plugin? https://haskell-language-server.readthedocs.io/en/latest/features.html |
| 2024-12-20 11:41:22 +0100 | <alecs> | I have it and I haven't installed any plugin |
| 2024-12-20 11:42:01 +0100 | <tomsmeding> | it's a default-enabled HLS plugin iirc |
| 2024-12-20 11:42:01 +0100 | <bwe> | so what do you do to use it? I have helix-editor over here. |
| 2024-12-20 11:42:50 +0100 | <tomsmeding> | bwe: it's a _code lens_, not a code action |
| 2024-12-20 11:43:01 +0100 | <tomsmeding> | does helix support code lensees? |
| 2024-12-20 11:45:58 +0100 | <bwe> | apparently not: https://github.com/helix-editor/helix/issues/7957#issuecomment-2127778596 |
| 2024-12-20 11:47:04 +0100 | <tomsmeding> | (neovim also didn't, for a while, but it does now) |
| 2024-12-20 11:47:29 +0100 | alp | (~alp@2001:861:8ca0:4940:69e4:bcc3:d8ab:bff0) (Ping timeout: 252 seconds) |
| 2024-12-20 11:48:58 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2024-12-20 11:49:10 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-12-20 11:49:25 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-20 11:57:05 +0100 | mari79929 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-20 11:59:23 +0100 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-20 11:59:30 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 276 seconds) |
| 2024-12-20 12:02:39 +0100 | haasn | (uid579015@id-579015.hampstead.irccloud.com) haasn |
| 2024-12-20 12:05:44 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-20 12:08:33 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8c20:e17b:ecbe:5a6d) ubert |
| 2024-12-20 12:08:36 +0100 | mari79929 | (~mari-este@user/mari-estel) (Ping timeout: 276 seconds) |
| 2024-12-20 12:09:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 12:10:06 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-20 12:12:25 +0100 | CiaoSen | (~Jura@2a05:5800:214:800:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-12-20 12:14:00 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-20 12:15:27 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2024-12-20 12:16:41 +0100 | homo | (~homo@37-33-236-223.bb.dnainternet.fi) |
| 2024-12-20 12:17:01 +0100 | homo | (~homo@37-33-236-223.bb.dnainternet.fi) (Changing host) |
| 2024-12-20 12:17:01 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-20 12:18:13 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2024-12-20 12:20:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 12:22:55 +0100 | df_ | df |
| 2024-12-20 12:26:05 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-20 12:30:50 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-20 12:37:12 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-20 12:38:08 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-20 12:39:18 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-20 12:53:06 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 244 seconds) |
| 2024-12-20 13:00:56 +0100 | homo_ | (~homo@user/homo) homo |
| 2024-12-20 13:01:19 +0100 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-20 13:01:24 +0100 | homo_ | homo |
| 2024-12-20 13:05:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-12-20 13:10:40 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-20 13:17:25 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2024-12-20 13:21:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9795:bd44:dda3:9939) |
| 2024-12-20 13:22:43 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-20 13:23:59 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0) |
| 2024-12-20 13:24:03 +0100 | <bwe> | GHC.Internal.Event.Thread.getSystemTimerManager: the TimerManager requires linking against the threaded runtime -- https://paste.tomsmeding.com/90RW2oVS -- what does this error on `cabal run <my_bin>` mean? what do I need to do? |
| 2024-12-20 13:24:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 13:24:48 +0100 | <tomsmeding> | bwe: put 'ghc-options: -threaded' in your cabal file |
| 2024-12-20 13:28:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 13:28:48 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8c20:e17b:ecbe:5a6d) (Ping timeout: 252 seconds) |
| 2024-12-20 13:30:17 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 265 seconds) |
| 2024-12-20 13:31:47 +0100 | <bwe> | tomsmeding: thanks, finally worked after `cabal clean` and rerun of `cabal run …` |
| 2024-12-20 13:32:01 +0100 | <tomsmeding> | that's surprising -- some caching not working there |
| 2024-12-20 13:32:45 +0100 | <int-e> | doesn't cabal rely on ghc's recompilation check for that, and that doesn't check link flag changes? |
| 2024-12-20 13:33:13 +0100 | <int-e> | (basically can't; there's no .hi file equivalent for executables where that information could be tracked) |
| 2024-12-20 13:33:20 +0100 | <tomsmeding> | int-e: https://paste.tomsmeding.com/tWTmRFBz |
| 2024-12-20 13:33:30 +0100 | m1dnight | (~m1dnight@141.134.25.8) m1dnight |
| 2024-12-20 13:33:36 +0100 | <int-e> | huh |
| 2024-12-20 13:33:39 +0100 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2024-12-20 13:34:52 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-20 13:45:48 +0100 | homo_ | (~homo@37-33-236-223.bb.dnainternet.fi) |
| 2024-12-20 13:45:56 +0100 | homo_ | (~homo@37-33-236-223.bb.dnainternet.fi) (Changing host) |
| 2024-12-20 13:45:56 +0100 | homo_ | (~homo@user/homo) homo |
| 2024-12-20 13:46:03 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2024-12-20 13:46:04 +0100 | <int-e> | Well what I said is still half correct... this only works with ELF executables, where GHC sticks in a .debug-ghc-link-info section |
| 2024-12-20 13:46:11 +0100 | homo_ | homo |
| 2024-12-20 13:46:14 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-78a4-d4e2-38be-6f52-4906.rev.sfr.net) alexherbo2 |
| 2024-12-20 13:47:30 +0100 | <int-e> | note the comment surrounding that logic: https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Linker/ExtraObj.hs#L222-224 |
| 2024-12-20 13:49:39 +0100 | madhavanmiui | (~madhavanm@2409:40f4:d:539c:8000::) |
| 2024-12-20 13:52:57 +0100 | <int-e> | Anyway this linker flag check has only been in GHC for 13 years. |
| 2024-12-20 13:54:44 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-20 14:08:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-78a4-d4e2-38be-6f52-4906.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-20 14:08:29 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-12-20 14:11:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-78a4-9c92-ebc1-c560-3f5b.rev.sfr.net) alexherbo2 |
| 2024-12-20 14:17:46 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-20 14:21:54 +0100 | <tomsmeding> | "only" :) |
| 2024-12-20 14:25:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 14:28:54 +0100 | housemate | (~housemate@1.147.60.131) housemate |
| 2024-12-20 14:30:57 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:54d:81b5:739b:c728) (Ping timeout: 276 seconds) |
| 2024-12-20 14:31:38 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:8cfd:72ac:b95:b12e) nschoe |
| 2024-12-20 14:34:58 +0100 | madhavanmiui | (~madhavanm@2409:40f4:d:539c:8000::) (Ping timeout: 272 seconds) |
| 2024-12-20 14:38:07 +0100 | briandaed | (~root@user/briandaed) (Quit: leaving) |
| 2024-12-20 14:40:39 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-20 14:41:04 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-20 14:54:49 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-78a4-9c92-ebc1-c560-3f5b.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-20 14:57:59 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-20 15:00:27 +0100 | housemate | (~housemate@1.147.60.131) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-20 15:08:29 +0100 | alp | (~alp@2001:861:8ca0:4940:8c7c:17c:c317:62f6) |
| 2024-12-20 15:10:55 +0100 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-20 15:12:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3506-5dc0-713e-5330-a3d4-2df8.rev.sfr.net) alexherbo2 |
| 2024-12-20 15:15:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-20 15:17:17 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-20 15:17:36 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-12-20 15:19:08 +0100 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-20 15:23:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2024-12-20 15:24:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-20 15:25:56 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-12-20 15:28:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 15:29:05 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2024-12-20 15:29:15 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-20 15:36:10 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-20 15:38:26 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-20 15:38:30 +0100 | Digitteknohippie | Digit |
| 2024-12-20 15:45:31 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-12-20 15:53:30 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-12-20 15:55:07 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2024-12-20 15:57:11 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-20 15:57:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-20 15:57:29 +0100 | N0ping | (~N0ping@31-208-57-134.cust.bredband2.com) |
| 2024-12-20 15:57:41 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-20 15:58:42 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-12-20 15:58:56 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-12-20 16:03:40 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2024-12-20 16:04:42 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-20 16:08:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-12-20 16:12:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-20 16:12:14 +0100 | <hellwolf> | why does https://github.com/haskell/array/pull/11/files say the SPECIALIZE does not do anything? |
| 2024-12-20 16:12:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 16:13:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-12-20 16:18:32 +0100 | N0ping | (~N0ping@31-208-57-134.cust.bredband2.com) (Quit: Client closed) |
| 2024-12-20 16:19:36 +0100 | <Leary> | hellwolf: The tyvar it specialises is not sufficient to resolve any instances, so no type class dictionaries can be inlined; there are no gains to be had. |
| 2024-12-20 16:22:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3506-5dc0-713e-5330-a3d4-2df8.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-20 16:26:04 +0100 | sprotte24 | (~sprotte24@p200300d16f0b5c0044534d8048ff44db.dip0.t-ipconnect.de) |
| 2024-12-20 16:26:14 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-20 16:27:44 +0100 | alp | (~alp@2001:861:8ca0:4940:8c7c:17c:c317:62f6) (Ping timeout: 264 seconds) |
| 2024-12-20 16:38:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 16:48:16 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:5051:865c:88f4:3d8) iamsleepy |
| 2024-12-20 16:48:32 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-20 16:49:53 +0100 | <hellwolf> | thanks.because there is no instance of "IArray UArray e" |
| 2024-12-20 16:50:21 +0100 | <zzz> | i forget... wasn't there a function `takeDrop` that returned take n and drop n in a single pass? |
| 2024-12-20 16:50:46 +0100 | <hellwolf> | "and starting with GHC 9.14 (with GHC MR !12319) will cause a warning to be emitted. " |
| 2024-12-20 16:50:51 +0100 | <merijn> | zzz: Yeah, probably something like partition |
| 2024-12-20 16:50:53 +0100 | <merijn> | :t partition |
| 2024-12-20 16:51:16 +0100 | <merijn> | @botsnack |
| 2024-12-20 16:51:19 +0100 | <Rembane> | :t splitAt -- zzz is quite good for that. span and break are also great, but for takeWhile/dropWhile |
| 2024-12-20 16:51:19 +0100 | <lambdabot> | :) |
| 2024-12-20 16:51:20 +0100 | <lambdabot> | (a -> Bool) -> [a] -> ([a], [a]) |
| 2024-12-20 16:51:21 +0100 | <lambdabot> | Int -> [a] -> ([a], [a]) |
| 2024-12-20 16:51:27 +0100 | <merijn> | there we go |
| 2024-12-20 16:51:37 +0100 | <Rembane> | lambdabot goes ketchupbot |
| 2024-12-20 16:52:56 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-12-20 16:53:57 +0100 | <zzz> | Rembane: that was it. thanks! |
| 2024-12-20 16:54:04 +0100 | <Rembane> | zzz: No worries! |
| 2024-12-20 16:54:29 +0100 | <zzz> | i've been doing a little scheme and must have had take/drop in my mind |
| 2024-12-20 16:58:57 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-20 17:02:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc4a-f9ad-f69e-c733-f1cb.rev.sfr.net) alexherbo2 |
| 2024-12-20 17:13:55 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-20 17:14:23 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-20 17:14:56 +0100 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-12-20 17:23:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-12-20 17:26:02 +0100 | <hellwolf> | is there Text version of ShowS, where it is Text -> Text ? Or Text itself is efficient no matter how you concat anyways? |
| 2024-12-20 17:29:37 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-20 17:29:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 17:29:38 +0100 | <haskellbridge> | <Bowuigi> The text builders do that, most importantly, blaze-builder |
| 2024-12-20 17:29:49 +0100 | <hellwolf> | > showHex (3540846713943345059221743318723185196453169490078830062538796362909158578585 :: Integer) "" |
| 2024-12-20 17:29:51 +0100 | <geekosaur> | Text is an array vs. a linked list, so it's much better in general. the builders do the rest |
| 2024-12-20 17:30:05 +0100 | <geekosaur> | the ShowS trick is specific to linked lists |
| 2024-12-20 17:30:07 +0100 | <lambdabot> | "7d40c5819999999999999999999999999999999999999999999999999999999" |
| 2024-12-20 17:30:27 +0100 | <hellwolf> | I think showHex has limitation on the range, but it is not mentioned in its docs. |
| 2024-12-20 17:30:37 +0100 | <geekosaur> | (well, one could probably come up with something for other types, but it's a difference list ) |
| 2024-12-20 17:30:58 +0100 | <hellwolf> | geekosaur, makes sense, as I suspected, after a few moments of thoughts. |
| 2024-12-20 17:31:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 17:31:57 +0100 | tnt2 | tnt1 |
| 2024-12-20 17:32:08 +0100 | <hellwolf> | hmm, no, actually it is correct conversion |
| 2024-12-20 17:32:23 +0100 | <hellwolf> | that 9999... is actually correct :D, pardon me. |
| 2024-12-20 17:36:01 +0100 | <haskellbridge> | <Bowuigi> geekosaur the "difference list trick" actually works for all monoids and is in general called "the Cayley monoid of ..." |
| 2024-12-20 17:36:50 +0100 | <haskellbridge> | <Bowuigi> And since it works for all monoids, it works for every group, ring (in two ways), field, etc |
| 2024-12-20 17:37:03 +0100 | <geekosaur> | sounds like "probably come up with something" to me 🙂 I was vaguely suspecting there was a generalization while writing on the fly |
| 2024-12-20 17:38:25 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-20 17:39:04 +0100 | <haskellbridge> | <Bowuigi> Yeah, the list version is the most known, but if your monoid has a slow mappend on one side consider doing it |
| 2024-12-20 17:43:33 +0100 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-20 17:45:27 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-12-20 17:47:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 17:47:13 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-20 17:47:14 +0100 | tnt2 | tnt1 |
| 2024-12-20 17:47:28 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-20 17:48:51 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc4a-f9ad-f69e-c733-f1cb.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-20 17:50:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 17:51:40 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 17:51:46 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-20 17:51:46 +0100 | tnt2 | tnt1 |
| 2024-12-20 17:55:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-20 17:55:14 +0100 | ljdarj1 | ljdarj |
| 2024-12-20 17:57:08 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-12-20 17:58:33 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-12-20 18:07:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 18:17:48 +0100 | alp | (~alp@2001:861:8ca0:4940:c351:b093:b08c:5a14) |
| 2024-12-20 18:19:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 18:19:38 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2024-12-20 18:20:54 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-20 18:24:18 +0100 | zlqrvx_ | (~zlqrvx@2001:8003:8c8b:e00:3df5:7de2:8bca:3b13) (Ping timeout: 246 seconds) |
| 2024-12-20 18:25:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 18:25:48 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-12-20 18:27:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 18:28:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-20 18:28:03 +0100 | tnt2 | tnt1 |
| 2024-12-20 18:37:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 18:38:54 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-20 18:40:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 18:41:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-20 18:41:06 +0100 | tnt2 | tnt1 |
| 2024-12-20 18:42:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-20 18:50:38 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-20 18:50:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-20 18:51:40 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-20 18:51:40 +0100 | tnt2 | tnt1 |
| 2024-12-20 18:52:13 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-20 18:52:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 18:55:05 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-12-20 18:57:26 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-12-20 18:57:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 18:58:17 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-12-20 19:00:37 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-20 19:00:37 +0100 | <tomsmeding> | It seems injectivity of type families does not extend to deducing equalities https://play.haskell.org/saved/6KWWiCT0 |
| 2024-12-20 19:00:53 +0100 | <tomsmeding> | Am I missing something? It seems reasonable to expect this to compile |
| 2024-12-20 19:07:07 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-12-20 19:07:29 +0100 | <probie> | Perhaps it was an oversight, or perhaps it was too hard to implement. |
| 2024-12-20 19:07:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 19:07:56 +0100 | <ncf> | tomsmeding: seems like a known issue https://gitlab.haskell.org/ghc/ghc/-/issues/10833 |
| 2024-12-20 19:11:26 +0100 | <tomsmeding> | Thanks ncf! |
| 2024-12-20 19:12:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 19:12:39 +0100 | <tomsmeding> | That was a more interesting reason than I expected :) |
| 2024-12-20 19:14:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-12-20 19:18:41 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-20 19:19:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-12-20 19:21:07 +0100 | <monochrom> | It's also an interesting difference in cultures. We are like "I can't prove it so the compiler won't assume it". Other language communities are like "it's intuitively true so the compiler should assume it". |
| 2024-12-20 19:21:39 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-20 19:22:04 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-20 19:23:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 19:24:24 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-20 19:25:15 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2024-12-20 19:27:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 19:28:26 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-20 19:30:39 +0100 | <ash3en> | question of the day: is processing UDP packets using network, attoparsec and cereal comparable to C speed for the same task since all three are either specialised or are just bindings for C libraries anyway? |
| 2024-12-20 19:30:58 +0100 | <ash3en> | or is haskell the wrong tool if latency is a concern? |
| 2024-12-20 19:34:09 +0100 | <[exa]> | ash3en: gc pauses aren't a huge deal anymore if you aren't leaking a yuge ton of memory (which you generally don't have to unless you plug in something really insensitive into processing of each packet) |
| 2024-12-20 19:34:41 +0100 | <[exa]> | what is the target applicat |
| 2024-12-20 19:34:51 +0100 | <geekosaur> | network should be C speed, you may prefer flatparse to attoparsec for speed-over-error-handling, cereal should be fine. more significant is you probably want the nonmoving GC (+RTS --nonmoving-gc) for lower latency |
| 2024-12-20 19:35:34 +0100 | <[exa]> | ...ion? I'd say unless your bottleneck is in data moves you should be OK. |
| 2024-12-20 19:36:49 +0100 | <ash3en> | thanks [exa]. the use case is simple reordering or normalizing/process values of the incoming messages into new outgoing messages. OSC to be specific. I want to reorder continouous 3D movement data to overcome differences in the protocols address patterns and value ranges |
| 2024-12-20 19:37:04 +0100 | <[exa]> | how many t |
| 2024-12-20 19:37:05 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2024-12-20 19:37:19 +0100 | <[exa]> | (omg whats the issue with this client?!) |
| 2024-12-20 19:37:36 +0100 | <[exa]> | ...how many thousands of packets per second do you expect? |
| 2024-12-20 19:38:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 19:39:17 +0100 | <ash3en> | i'm not sure...multiple sensors and oscillating values |
| 2024-12-20 19:41:46 +0100 | <[exa]> | anyway from the SE perspective, I'd say that Haskell is good as a prototyping choice here. You won't spend years by catching stupid errors, you have concurrent polling for free, and it's gonna be quite fast up until the point where you'll be exactly sure about the structure and bottlenecks, and reimplementation in C++ or so will be straightforward by then. |
| 2024-12-20 19:42:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-12-20 19:42:14 +0100 | <[exa]> | spoiler: 99% chance it stays in haskell. :D |
| 2024-12-20 19:42:53 +0100 | <ash3en> | lets say 100 continouous curves sending every 20ms each, another 100 at 60fps.. |
| 2024-12-20 19:43:02 +0100 | <ash3en> | :D i hope it stays! |
| 2024-12-20 19:43:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-20 19:43:36 +0100 | <ash3en> | im bad at math lol |
| 2024-12-20 19:43:58 +0100 | <ash3en> | how many k per second is this? ms * 1000 to second? |
| 2024-12-20 19:44:52 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-12-20 19:46:27 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2024-12-20 19:48:44 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-12-20 19:54:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 19:54:41 +0100 | <hellwolf> | tomsmeding: I don't follow your example, with injectivity, what kind of useful Bar do you want to define, can you make a few more instances of the type family? e.g. https://play.haskell.org/saved/mfEuK6An this doesn't compile. |
| 2024-12-20 19:55:41 +0100 | <[exa]> | ash3en: sounds like 11k per second to me, that might require some care to run smoothly but I assume you can run multiple instances of the same to split the load, right? |
| 2024-12-20 19:57:28 +0100 | <[exa]> | how big are the packets? if it's just some ID and a few values I'd say you're pretty much fine |
| 2024-12-20 19:58:21 +0100 | <[exa]> | actually re-emitting the packets at this rate might be a much harder problem than receiving them |
| 2024-12-20 19:58:41 +0100 | <ash3en> | mostly simple messages like yes, an ID and probably 12 values max. |
| 2024-12-20 19:59:04 +0100 | <ash3en> | for reordering packages I thought I just switch the bytes using attoparsec without decoding, if that makes sense |
| 2024-12-20 19:59:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 19:59:50 +0100 | <[exa]> | by reordering you don't mean changing the temporal order of the packets arriving, right? |
| 2024-12-20 19:59:53 +0100 | <ash3en> | 11k is probably aimed too high too. and not all packages are of interest for everyone. |
| 2024-12-20 20:00:11 +0100 | <ash3en> | ah, not the order of the packages but of the values the package holds itself, sorry for being too vague |
| 2024-12-20 20:00:47 +0100 | <ash3en> | like '/test 1 2 3' should become '/ok 3 1 2' |
| 2024-12-20 20:00:50 +0100 | <[exa]> | ah np. At that point a simple raw pointerish peek/poke might be best. |
| 2024-12-20 20:02:23 +0100 | <[exa]> | anyway the usual worst source of overhead in network apps is just copying&moving the data ar |
| 2024-12-20 20:03:02 +0100 | <[exa]> | ...ound between buffers. Might be useful to check the possibilities to avoid data movement. Foreign ptrs etc. |
| 2024-12-20 20:04:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 20:04:21 +0100 | <[exa]> | (the other usual source is failure to efficiently poll the writeability of sockets) |
| 2024-12-20 20:05:39 +0100 | <ash3en> | puh, peek/poke seems dangerous if not handled correctly. and i don't have experience with manual memory management |
| 2024-12-20 20:07:19 +0100 | <[exa]> | ok well then ignore it for now :) |
| 2024-12-20 20:07:43 +0100 | <ash3en> | hah :D but many thanks! really helped me |
| 2024-12-20 20:07:55 +0100 | <ash3en> | I do know my options better now |
| 2024-12-20 20:09:22 +0100 | Square | (~Square@user/square) Square |
| 2024-12-20 20:11:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-20 20:12:54 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2024-12-20 20:15:37 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-20 20:18:08 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 20:21:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-20 20:21:07 +0100 | ljdarj1 | ljdarj |
| 2024-12-20 20:22:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 20:23:41 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-20 20:24:18 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:664d:357b:c7bb:f817) |
| 2024-12-20 20:26:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 20:27:09 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:73ec:4dd3:844e:8eb8) (Ping timeout: 276 seconds) |
| 2024-12-20 20:37:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 20:43:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 20:52:32 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-12-20 20:53:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 20:58:16 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-20 20:58:45 +0100 | alp | (~alp@2001:861:8ca0:4940:c351:b093:b08c:5a14) (Ping timeout: 248 seconds) |
| 2024-12-20 20:59:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-20 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-20 21:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-20 21:02:53 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-20 21:05:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 21:06:15 +0100 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2024-12-20 21:14:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-20 21:14:25 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-20 21:16:28 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-20 21:19:17 +0100 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2024-12-20 21:25:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 21:29:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 21:35:59 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-20 21:36:04 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 21:36:23 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-20 21:37:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-20 21:37:41 +0100 | ljdarj1 | ljdarj |
| 2024-12-20 21:39:58 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2024-12-20 21:39:59 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-12-20 21:40:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 21:45:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-20 21:49:27 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-12-20 21:55:41 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-20 21:56:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 21:56:49 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-12-20 21:59:13 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-12-20 22:00:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-20 22:02:04 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-12-20 22:02:28 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-12-20 22:05:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-20 22:09:00 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-20 22:11:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 22:15:42 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2024-12-20 22:16:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-20 22:18:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-20 22:19:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-20 22:20:15 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 260 seconds) |
| 2024-12-20 22:26:34 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-12-20 22:27:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 22:33:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 22:34:06 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2024-12-20 22:34:43 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-12-20 22:43:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 22:44:44 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-20 22:47:06 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-20 22:47:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-20 22:47:47 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2024-12-20 22:48:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 22:51:55 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Remote host closed the connection) |
| 2024-12-20 22:57:26 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 22:59:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 23:01:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:03:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-20 23:04:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 23:11:58 +0100 | housemate | (~housemate@pa49-178-201-151.pa.nsw.optusnet.com.au) housemate |
| 2024-12-20 23:14:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 23:16:41 +0100 | <ski> | hellwolf : your `Bar' is *not* injective ! (`foo @String @Int' would give you a `String :~: Int', which obviously breaks type safety) |
| 2024-12-20 23:18:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 23:18:54 +0100 | <ski> | (er, sorry the bad example (misread the family definition) would be `foo @String @Bool', gicing `String :~: Bool', which would break type safety) |
| 2024-12-20 23:19:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-20 23:19:35 +0100 | <ski> | (injective means that distinct inputs give distinct outputs. inputs `String' and `Bool' are distinct, but corresponding outputs `Bar String' (which is `Int') and `Bar Bool' (which is also `Int') are not distinct. hence that `Bar' is not injective) |
| 2024-12-20 23:19:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-20 23:21:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-20 23:21:24 +0100 | ljdarj1 | ljdarj |
| 2024-12-20 23:22:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:22:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-12-20 23:25:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 23:29:07 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:29:08 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 23:30:05 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-12-20 23:30:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 23:31:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-12-20 23:34:00 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:34:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 23:38:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 23:42:15 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:43:23 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-b49c-c41e-bf6a-4195-2af5.rev.sfr.net) alexherbo2 |
| 2024-12-20 23:43:23 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
| 2024-12-20 23:45:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-20 23:46:10 +0100 | housemate | (~housemate@pa49-178-201-151.pa.nsw.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-20 23:46:49 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 23:50:12 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:50:24 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-20 23:51:16 +0100 | libertyprime | (~libertypr@118.92.75.218) libertyprime |
| 2024-12-20 23:51:26 +0100 | libertyprime | (~libertypr@118.92.75.218) (Remote host closed the connection) |
| 2024-12-20 23:51:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-20 23:52:00 +0100 | libertyprime | (~libertypr@118.92.75.218) libertyprime |
| 2024-12-20 23:52:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-20 23:54:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-20 23:58:02 +0100 | libertyprime | (~libertypr@118.92.75.218) (Quit: leaving) |