| 2023-12-22 00:00:08 +0100 | <int-e> | Well, for matching you want P1 :: S a. https://play-haskell.tomsmeding.com/saved/IsYFpg3H |
| 2023-12-22 00:00:11 +0100 | <int-e> | argh |
| 2023-12-22 00:00:47 +0100 | <int-e> | pattern P1 :: S a; pattern P1 <- S1 would work for that, but then it can't be used to construct values. |
| 2023-12-22 00:01:24 +0100 | <int-e> | (argh: it's a javascript-"enhanced" editor so cut&paste doesn't work with the X11 selection, I hate software.) |
| 2023-12-22 00:01:38 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-12-22 00:02:30 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2023-12-22 00:02:34 +0100 | johnw_ | (~johnw@69.62.242.138) |
| 2023-12-22 00:03:07 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-12-22 00:03:15 +0100 | <[Leary]> | carbolymer: Because the syntax for pattern synonym type signatures is shoehorned terribly into the language, and GADT type equality constraints require you to know the details: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pattern_synonyms.html#typing-of-pat… |
| 2023-12-22 00:03:23 +0100 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2023-12-22 00:03:36 +0100 | hololeap | (~quassel@user/hololeap) (Quit: No Ping reply in 180 seconds.) |
| 2023-12-22 00:03:53 +0100 | hololeap | (~quassel@user/hololeap) |
| 2023-12-22 00:04:55 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2023-12-22 00:05:02 +0100 | johnw | (~johnw@69.62.242.138) (Ping timeout: 260 seconds) |
| 2023-12-22 00:18:35 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-22 00:18:45 +0100 | Ekho | (~Ekho@user/ekho) |
| 2023-12-22 00:20:37 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 2023-12-22 00:23:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-12-22 00:24:04 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Read error: Connection reset by peer) |
| 2023-12-22 00:24:24 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-12-22 00:25:16 +0100 | raoul4 | (~raoul@95.179.203.88) |
| 2023-12-22 00:25:23 +0100 | raoul | (~raoul@95.179.203.88) (Read error: Connection reset by peer) |
| 2023-12-22 00:25:24 +0100 | raoul4 | raoul |
| 2023-12-22 00:25:26 +0100 | <carbolymer> | interesting |
| 2023-12-22 00:25:44 +0100 | <carbolymer> | actually I could use that to allow users to construct the type, but not pattern match |
| 2023-12-22 00:25:45 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2023-12-22 00:25:52 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:136d:750:c5d8:526f) (Ping timeout: 246 seconds) |
| 2023-12-22 00:25:57 +0100 | ricardo2 | (~ricardo@84.16.179.218) |
| 2023-12-22 00:26:05 +0100 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-12-22 00:26:51 +0100 | ricardo1 | (~ricardo@84.16.179.218) (Ping timeout: 260 seconds) |
| 2023-12-22 00:35:16 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 00:36:18 +0100 | acidjnk | (~acidjnk@p200300d6e72b936804a759f931aec823.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-12-22 00:36:53 +0100 | siers | (~ij@user/ij) (Ping timeout: 240 seconds) |
| 2023-12-22 00:37:14 +0100 | siers | (~ij@user/ij) |
| 2023-12-22 00:41:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-1166-cddc-26bc-85f6-6c84.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-22 00:42:04 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-1166-cddc-26bc-85f6-6c84.rev.sfr.net) |
| 2023-12-22 00:44:23 +0100 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-12-22 00:58:19 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-22 01:00:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-12-22 01:07:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:32f9:4cf6:fdc5:d53a) (Ping timeout: 260 seconds) |
| 2023-12-22 01:09:41 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-12-22 01:10:24 +0100 | araujo | (~araujo@216.73.163.54) |
| 2023-12-22 01:22:17 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-22 01:24:06 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-12-22 01:26:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:32f9:4cf6:fdc5:d53a) |
| 2023-12-22 01:26:53 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-12-22 01:32:17 +0100 | leungbk | (~user@2603-8000-1201-2dd2-0202-3182-798a-710a.res6.spectrum.com) |
| 2023-12-22 01:34:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 01:53:06 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-12-22 01:58:00 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-12-22 02:09:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-22 02:11:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-22 02:13:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-1166-cddc-26bc-85f6-6c84.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-22 02:14:41 +0100 | alexherbo2 | (~alexherbo@244.13.23.93.rev.sfr.net) |
| 2023-12-22 02:28:14 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) (Quit: WeeChat 4.1.1) |
| 2023-12-22 02:31:07 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Quit: free()) |
| 2023-12-22 02:32:13 +0100 | Luj | (~Luj@mail.julienmalka.me) (Ping timeout: 256 seconds) |
| 2023-12-22 02:32:37 +0100 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-12-22 02:47:51 +0100 | leungbk | (~user@2603-8000-1201-2dd2-0202-3182-798a-710a.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-22 02:50:14 +0100 | defkev | (~defkev@2a09:bac5:2a23:1b4b::2b8:4c) |
| 2023-12-22 03:00:08 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-12-22 03:03:06 +0100 | alexherbo2 | (~alexherbo@244.13.23.93.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2023-12-22 03:06:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2023-12-22 03:07:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 03:20:30 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 252 seconds) |
| 2023-12-22 03:21:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:32f9:4cf6:fdc5:d53a) (Ping timeout: 240 seconds) |
| 2023-12-22 03:23:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2023-12-22 03:26:41 +0100 | not_reserved | (~not_reser@185.199.102.172) (Quit: Client closed) |
| 2023-12-22 03:29:43 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-22 03:30:16 +0100 | defkev | (~defkev@2a09:bac5:2a23:1b4b::2b8:4c) (Ping timeout: 276 seconds) |
| 2023-12-22 03:35:56 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2023-12-22 03:43:02 +0100 | shapr | (~user@2600:1700:c640:3100:b06d:a6c1:dcd9:f30f) (Remote host closed the connection) |
| 2023-12-22 03:43:16 +0100 | shapr | (~user@2600:1700:c640:3100:c863:9fbe:149f:a126) |
| 2023-12-22 03:53:33 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-22 04:01:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Remote host closed the connection) |
| 2023-12-22 04:02:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) |
| 2023-12-22 04:07:37 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-12-22 04:15:26 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-22 04:24:57 +0100 | defkev | (~defkev@2a09:bac5:2aa3:1b4b::2b8:68) |
| 2023-12-22 04:33:00 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 04:36:42 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) |
| 2023-12-22 04:37:51 +0100 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 245 seconds) |
| 2023-12-22 04:39:40 +0100 | td_ | (~td@i53870925.versanet.de) |
| 2023-12-22 04:43:41 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 256 seconds) |
| 2023-12-22 04:46:36 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-22 04:47:09 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) |
| 2023-12-22 04:48:32 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 04:49:34 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 04:52:21 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 04:52:44 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 04:54:07 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 04:54:32 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 04:54:48 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 04:55:11 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 04:58:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-22 04:58:31 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-22 04:58:31 +0100 | finn_elija | FinnElija |
| 2023-12-22 04:59:13 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 04:59:36 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 05:03:15 +0100 | rosco | (~rosco@113.188.179.201) |
| 2023-12-22 05:13:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-12-22 05:17:14 +0100 | defkev | (~defkev@2a09:bac5:2aa3:1b4b::2b8:68) (Ping timeout: 260 seconds) |
| 2023-12-22 05:18:08 +0100 | rosco | (~rosco@113.188.179.201) (Quit: Lost terminal) |
| 2023-12-22 05:18:28 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-12-22 05:19:02 +0100 | defkev | (~defkev@2a09:bac5:2aa7:126e::1d6:12d) |
| 2023-12-22 05:24:59 +0100 | trev | (~trev@user/trev) |
| 2023-12-22 05:26:39 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc6:3d00:5ecd:52b3:2188:c8ee) |
| 2023-12-22 05:27:34 +0100 | aforemny | (~aforemny@2001:9e8:6ce1:8800:37e4:a931:94cc:6aab) (Ping timeout: 246 seconds) |
| 2023-12-22 05:33:03 +0100 | slack1256 | (~slack1256@191.125.138.95) |
| 2023-12-22 05:34:26 +0100 | slack1256 | (~slack1256@191.125.138.95) (Remote host closed the connection) |
| 2023-12-22 05:38:53 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-22 05:39:50 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-22 05:41:30 +0100 | araujo | (~araujo@216.73.163.54) (Ping timeout: 260 seconds) |
| 2023-12-22 05:55:27 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-22 05:58:41 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-12-22 06:01:09 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2023-12-22 06:04:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 06:19:19 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2023-12-22 06:31:47 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 264 seconds) |
| 2023-12-22 06:49:13 +0100 | shapr | (~user@2600:1700:c640:3100:c863:9fbe:149f:a126) (Remote host closed the connection) |
| 2023-12-22 06:49:27 +0100 | shapr | (~user@2600:1700:c640:3100:479c:a5fa:73b3:25a3) |
| 2023-12-22 06:49:45 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-22 06:54:55 +0100 | Inst | (~Inst@120.244.192.23) (Remote host closed the connection) |
| 2023-12-22 06:55:00 +0100 | aloisiwakura | (~aloisiwak@static.5.54.140.128.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2023-12-22 06:55:15 +0100 | Inst | (~Inst@120.244.192.23) |
| 2023-12-22 06:57:51 +0100 | shapr | (~user@2600:1700:c640:3100:479c:a5fa:73b3:25a3) (Ping timeout: 245 seconds) |
| 2023-12-22 07:01:56 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) |
| 2023-12-22 07:03:32 +0100 | son0p | (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
| 2023-12-22 07:09:06 +0100 | michalz | (~michalz@185.246.204.107) |
| 2023-12-22 07:12:03 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2023-12-22 07:16:12 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) |
| 2023-12-22 07:17:28 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-12-22 07:17:31 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-12-22 07:17:45 +0100 | Inst | (~Inst@120.244.192.23) (Remote host closed the connection) |
| 2023-12-22 07:18:10 +0100 | Inst | (~Inst@120.244.192.23) |
| 2023-12-22 07:18:33 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2023-12-22 07:20:11 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2023-12-22 07:32:26 +0100 | defkev | (~defkev@2a09:bac5:2aa7:126e::1d6:12d) (Ping timeout: 245 seconds) |
| 2023-12-22 07:32:47 +0100 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2023-12-22 07:33:02 +0100 | michalz | (~michalz@185.246.204.107) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-22 07:33:50 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) (Remote host closed the connection) |
| 2023-12-22 07:34:26 +0100 | defkev | (~defkev@2a09:bac5:2aa7:1282::1d8:6e) |
| 2023-12-22 07:35:57 +0100 | michalz | (~michalz@185.246.204.125) |
| 2023-12-22 08:01:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-22 08:02:24 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-22 08:02:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-22 08:02:40 +0100 | euleritian | (~euleritia@dynamic-089-015-239-126.89.15.239.pool.telefonica.de) |
| 2023-12-22 08:03:01 +0100 | euleritian | (~euleritia@dynamic-089-015-239-126.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-22 08:03:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-22 08:12:59 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-12-22 08:26:24 +0100 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-12-22 08:33:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-22 08:38:11 +0100 | Guest67 | (~Guest67@ec2-52-221-159-193.ap-southeast-1.compute.amazonaws.com) |
| 2023-12-22 08:38:19 +0100 | Guest67 | (~Guest67@ec2-52-221-159-193.ap-southeast-1.compute.amazonaws.com) (Client Quit) |
| 2023-12-22 08:38:58 +0100 | simendsjo | (~user@84.209.170.3) |
| 2023-12-22 08:46:43 +0100 | simendsj` | (~user@84.209.170.3) |
| 2023-12-22 08:47:50 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:57c0:d0b:8c73:8ce7) |
| 2023-12-22 08:49:51 +0100 | simendsjo | (~user@84.209.170.3) (Remote host closed the connection) |
| 2023-12-22 08:49:51 +0100 | simendsj` | (~user@84.209.170.3) (Remote host closed the connection) |
| 2023-12-22 08:53:33 +0100 | acidjnk | (~acidjnk@p200300d6e72b93454924925d6b33a65b.dip0.t-ipconnect.de) |
| 2023-12-22 09:11:51 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-12-22 09:13:15 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2023-12-22 09:15:46 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-12-22 09:16:11 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-12-22 09:20:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-22 09:21:36 +0100 | oxide | (~lambda@user/oxide) |
| 2023-12-22 09:25:54 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2023-12-22 09:29:48 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-12-22 09:32:38 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Quit: WeeChat 4.1.1) |
| 2023-12-22 09:33:19 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2023-12-22 09:35:01 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.1.2) |
| 2023-12-22 09:40:21 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 245 seconds) |
| 2023-12-22 09:40:40 +0100 | _xor6 | (~xor@72.49.195.41) |
| 2023-12-22 09:42:28 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 255 seconds) |
| 2023-12-22 09:42:29 +0100 | _xor6 | _xor |
| 2023-12-22 09:42:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) (Read error: Connection reset by peer) |
| 2023-12-22 09:44:00 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-22 09:46:23 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 260 seconds) |
| 2023-12-22 09:48:15 +0100 | oxide | (~lambda@user/oxide) |
| 2023-12-22 09:48:55 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2023-12-22 09:49:03 +0100 | CiaoSen | (~Jura@2a05:5800:27f:af00:ca4b:d6ff:fec1:99da) |
| 2023-12-22 09:53:58 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2023-12-22 09:56:19 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2023-12-22 09:56:22 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2023-12-22 09:56:22 +0100 | haritz | (~hrtz@user/haritz) |
| 2023-12-22 09:56:45 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-22 09:56:49 +0100 | _xor | (~xor@72.49.195.41) (Quit: brb/bbiab) |
| 2023-12-22 09:57:28 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-12-22 09:59:57 +0100 | <phma> | I succeeded in using deal as a parallel strategy. The code is in https://github.com/phma/wring-twistree/blob/master/src/Cryptography/Twistree.hs . |
| 2023-12-22 10:01:40 +0100 | <phma> | The code that uses it is in https://github.com/phma/wring-twistree/blob/master/app/Cryptanalysis.hs . |
| 2023-12-22 10:03:16 +0100 | <phma> | The reason parListDeal is in Twistree.hs is that I tried to make the hash function use all CPU threads effectively, but that didn't work. |
| 2023-12-22 10:09:01 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-22 10:09:28 +0100 | _xor4 | (~xor@72.49.195.41) |
| 2023-12-22 10:11:14 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 260 seconds) |
| 2023-12-22 10:11:14 +0100 | _xor4 | _xor |
| 2023-12-22 10:12:14 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) |
| 2023-12-22 10:19:32 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2023-12-22 10:20:19 +0100 | oxide | (~lambda@user/oxide) |
| 2023-12-22 10:21:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) |
| 2023-12-22 10:22:07 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2023-12-22 10:22:19 +0100 | hamster | (~ham@user/ham) (Ping timeout: 268 seconds) |
| 2023-12-22 10:23:02 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-12-22 10:25:16 +0100 | _xor9 | (~xor@72.49.195.41) |
| 2023-12-22 10:26:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) (Ping timeout: 260 seconds) |
| 2023-12-22 10:27:00 +0100 | raym | (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2023-12-22 10:27:15 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 268 seconds) |
| 2023-12-22 10:27:15 +0100 | _xor9 | _xor |
| 2023-12-22 10:31:33 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-12-22 10:33:52 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2023-12-22 10:43:15 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) (Ping timeout: 252 seconds) |
| 2023-12-22 10:43:49 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-12-22 10:44:13 +0100 | danse-nr3 | (~danse@151.43.172.11) |
| 2023-12-22 10:45:15 +0100 | danse-nr3 | (~danse@151.43.172.11) (Read error: Connection reset by peer) |
| 2023-12-22 10:46:16 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-22 10:47:06 +0100 | <Inst> | what's best practices for working with ben gamari's html-parse? |
| 2023-12-22 10:47:20 +0100 | <Inst> | Like, if I want to break it into blocks, or select a group, how would I do so? |
| 2023-12-22 10:47:35 +0100 | <Inst> | just use dropWhile and takeWhile to selct a group, break into blocks with Data.List.Split? |
| 2023-12-22 10:48:27 +0100 | danse-nr3 | (~danse@151.57.139.140) |
| 2023-12-22 10:49:03 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-12-22 10:49:07 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2023-12-22 10:49:21 +0100 | <Inst> | and I need to use pattern-matching, right? |
| 2023-12-22 10:49:36 +0100 | <tomsmeding> | int-e: if you have a suggestion for a better editor I'm all ears |
| 2023-12-22 10:49:40 +0100 | <Inst> | I'm currently prototyping a web application using Haskell, with the intent to move it into Rust for maintainability purposes as I'm the only Haskeller on the team. |
| 2023-12-22 10:50:35 +0100 | chele | (~chele@user/chele) |
| 2023-12-22 10:54:12 +0100 | <int-e> | tomsmeding: I don't think there is one... it's a Javascript limitation (you get a clipboard API but nothing that affects the X11 selection), so /any/ JS editor that manages its own selection for cutting and pasting will be affected. Only plain text fields tend to work because then the browser is in control of that selection. |
| 2023-12-22 10:55:14 +0100 | <int-e> | people have workarounds that consist of having an X11 client program that constantly watches the clipboard and "selects" it when it changes. |
| 2023-12-22 10:55:32 +0100 | <tomsmeding> | I mean, if you have a good idea for how to put this in the UI I'm also happy with giving the user the option to switch to a plain <textarea> |
| 2023-12-22 10:56:27 +0100 | <tomsmeding> | I guess the JS could have a hidden plain text field in which it selects the text you've selected in the actual editor view |
| 2023-12-22 10:56:37 +0100 | <tomsmeding> | maybe with enough magic that could work |
| 2023-12-22 10:57:31 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-22 10:58:50 +0100 | raym | (~ray@user/raym) |
| 2023-12-22 10:59:13 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2023-12-22 11:00:02 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2023-12-22 11:02:34 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-22 11:02:57 +0100 | <int-e> | tomsmeding: TBH I've mostly accepted it as a painful fact of life... but it causes me to paste wrong stuff to IRC and then I tend to complain a bit on IRC as well. |
| 2023-12-22 11:03:06 +0100 | <tomsmeding> | fair :D |
| 2023-12-22 11:03:41 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2023-12-22 11:03:47 +0100 | <int-e> | and your playground is no different from, say, the rust playground in that regard |
| 2023-12-22 11:03:55 +0100 | foul_owl | (~kerry@185.219.141.163) (Ping timeout: 255 seconds) |
| 2023-12-22 11:11:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) |
| 2023-12-22 11:11:50 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:57c0:d0b:8c73:8ce7) (Remote host closed the connection) |
| 2023-12-22 11:12:09 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:8561:ab93:8996:3906) |
| 2023-12-22 11:17:05 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-22 11:21:58 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-12-22 11:43:55 +0100 | hamster | (~ham@user/ham) |
| 2023-12-22 11:52:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-12-22 11:52:43 +0100 | euleritian | (~euleritia@dynamic-089-015-239-011.89.15.239.pool.telefonica.de) |
| 2023-12-22 11:57:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-22 11:59:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2023-12-22 12:00:21 +0100 | CiaoSen | (~Jura@2a05:5800:27f:af00:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2023-12-22 12:04:48 +0100 | yaroot_ | (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) |
| 2023-12-22 12:05:33 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 256 seconds) |
| 2023-12-22 12:05:34 +0100 | yaroot_ | yaroot |
| 2023-12-22 12:29:31 +0100 | duncan | (~duncan@user/duncan) (Ping timeout: 245 seconds) |
| 2023-12-22 12:36:56 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851) |
| 2023-12-22 12:54:58 +0100 | alexherbo2 | (~alexherbo@83.151.22.93.rev.sfr.net) |
| 2023-12-22 13:03:15 +0100 | danse-nr3 | (~danse@151.57.139.140) (Read error: Connection reset by peer) |
| 2023-12-22 13:04:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-22 13:06:36 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 245 seconds) |
| 2023-12-22 13:08:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-22 13:10:35 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 13:19:39 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) (Remote host closed the connection) |
| 2023-12-22 13:22:07 +0100 | CiaoSen | (~Jura@2a05:5800:27f:af00:ca4b:d6ff:fec1:99da) |
| 2023-12-22 13:22:12 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 13:22:35 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-22 13:28:19 +0100 | danse-nr3 | (~danse@151.43.150.91) |
| 2023-12-22 13:31:05 +0100 | vpan | (~vpan@md-188-69-123-246.omni.lt) |
| 2023-12-22 13:32:47 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-22 13:36:01 +0100 | xiliuya | (~xiliuya@user/xiliuya) |
| 2023-12-22 13:38:16 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:8561:ab93:8996:3906) (Ping timeout: 245 seconds) |
| 2023-12-22 13:39:18 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 13:40:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a9a2:6fc1:f507:3710) |
| 2023-12-22 13:41:27 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2023-12-22 13:44:02 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:502e:c0a8:d689:2456) |
| 2023-12-22 13:44:24 +0100 | <ncf> | :t \f -> let (w, a) = f a in (w, a) |
| 2023-12-22 13:44:25 +0100 | <lambdabot> | (b -> (a, b)) -> (a, b) |
| 2023-12-22 13:44:32 +0100 | <ncf> | is this a valid mfix for (,) ? |
| 2023-12-22 13:46:23 +0100 | <ncf> | oh wait that is how it is implemented for WriterT... so why isn't there an instance for ((,) e) |
| 2023-12-22 13:48:49 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851) (Remote host closed the connection) |
| 2023-12-22 13:50:29 +0100 | duncan | (~duncan@user/duncan) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-22 13:50:55 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-22 13:53:04 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 13:57:20 +0100 | Axma68424 | (~Axman6@user/axman6) |
| 2023-12-22 13:59:46 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
| 2023-12-22 14:17:03 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-12-22 14:17:23 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2023-12-22 14:25:58 +0100 | defkev | (~defkev@2a09:bac5:2aa7:1282::1d8:6e) (Ping timeout: 255 seconds) |
| 2023-12-22 14:27:47 +0100 | defkev | (~defkev@2a09:bac1:1e40:a90::1d6:a) |
| 2023-12-22 14:30:35 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
| 2023-12-22 14:33:26 +0100 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-12-22 14:36:48 +0100 | simendsjo | (~user@84.209.170.3) |
| 2023-12-22 14:37:37 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 268 seconds) |
| 2023-12-22 14:40:05 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 240 seconds) |
| 2023-12-22 14:44:31 +0100 | euleritian | (~euleritia@dynamic-089-015-239-011.89.15.239.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2023-12-22 14:44:54 +0100 | euleritian | (~euleritia@dynamic-089-015-239-011.89.15.239.pool.telefonica.de) |
| 2023-12-22 14:50:54 +0100 | vpan | (~vpan@md-188-69-123-246.omni.lt) (Quit: Leaving.) |
| 2023-12-22 14:51:15 +0100 | vpan | (~vpan@md-188-69-123-246.omni.lt) |
| 2023-12-22 14:51:36 +0100 | CiaoSen | (~Jura@2a05:5800:27f:af00:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2023-12-22 14:51:39 +0100 | vpan | Guest2710 |
| 2023-12-22 14:52:06 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2023-12-22 14:52:16 +0100 | Guest2710 | vpan |
| 2023-12-22 15:00:05 +0100 | xiliuya | (~xiliuya@user/xiliuya) (Remote host closed the connection) |
| 2023-12-22 15:00:06 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:502e:c0a8:d689:2456) (Ping timeout: 260 seconds) |
| 2023-12-22 15:00:42 +0100 | xiliuya | (~xiliuya@user/xiliuya) |
| 2023-12-22 15:00:44 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2023-12-22 15:00:48 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 15:09:59 +0100 | euleritian | (~euleritia@dynamic-089-015-239-011.89.15.239.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-12-22 15:10:50 +0100 | euleritian | (~euleritia@dynamic-046-114-204-167.46.114.pool.telefonica.de) |
| 2023-12-22 15:13:18 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-12-22 15:13:59 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-12-22 15:17:05 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851) |
| 2023-12-22 15:17:06 +0100 | xiliuya | (~xiliuya@user/xiliuya) (Quit: leaving) |
| 2023-12-22 15:17:08 +0100 | defkev | (~defkev@2a09:bac1:1e40:a90::1d6:a) (Ping timeout: 256 seconds) |
| 2023-12-22 15:18:26 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-22 15:20:10 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
| 2023-12-22 15:22:02 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-22 15:22:51 +0100 | danse-nr3 | (~danse@151.43.150.91) (Ping timeout: 260 seconds) |
| 2023-12-22 15:23:12 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-22 15:26:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-22 15:27:34 +0100 | euleritian | (~euleritia@dynamic-046-114-204-167.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-12-22 15:28:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-22 15:28:40 +0100 | euleritian | (~euleritia@82.113.99.51) |
| 2023-12-22 15:28:52 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-22 15:32:46 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-12-22 15:35:03 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 15:35:18 +0100 | ridcully | (~ridcully@p57b52ac5.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2023-12-22 15:36:12 +0100 | ridcully | (~ridcully@p57b52ac5.dip0.t-ipconnect.de) |
| 2023-12-22 15:37:04 +0100 | simendsjo | (~user@84.209.170.3) (Ping timeout: 255 seconds) |
| 2023-12-22 15:47:10 +0100 | danza | (~danza@151.43.150.91) |
| 2023-12-22 15:49:04 +0100 | ridcully | (~ridcully@p57b52ac5.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2023-12-22 15:50:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-12-22 15:53:11 +0100 | ridcully | (~ridcully@p57b52ac5.dip0.t-ipconnect.de) |
| 2023-12-22 16:00:51 +0100 | vpan | (~vpan@md-188-69-123-246.omni.lt) (Quit: Leaving.) |
| 2023-12-22 16:03:36 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2023-12-22 16:08:38 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2023-12-22 16:11:47 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-22 16:12:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-22 16:32:02 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-22 16:32:55 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-22 16:33:29 +0100 | gdown- | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) |
| 2023-12-22 16:35:59 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-22 16:38:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-22 16:40:12 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2023-12-22 16:41:42 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 16:44:55 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-12-22 16:46:23 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
| 2023-12-22 16:50:54 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 16:58:40 +0100 | Inst_ | (~Inst@120.244.192.23) |
| 2023-12-22 17:00:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-22 17:00:55 +0100 | Inst | (~Inst@120.244.192.23) (Ping timeout: 246 seconds) |
| 2023-12-22 17:01:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-22 17:04:30 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) |
| 2023-12-22 17:05:05 +0100 | <Inst_> | interesting |
| 2023-12-22 17:05:37 +0100 | Inst_ | Inst |
| 2023-12-22 17:06:32 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2023-12-22 17:07:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-22 17:08:25 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 17:12:04 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-22 17:18:19 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-12-22 17:22:33 +0100 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2023-12-22 17:24:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) (Remote host closed the connection) |
| 2023-12-22 17:24:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-22 17:24:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) |
| 2023-12-22 17:27:51 +0100 | danza | (~danza@151.43.150.91) (Ping timeout: 245 seconds) |
| 2023-12-22 17:31:15 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) (Quit: Client closed) |
| 2023-12-22 17:31:31 +0100 | alexherbo2 | (~alexherbo@83.151.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-22 17:32:18 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-12-22 17:32:42 +0100 | alexherbo2 | (~alexherbo@83.151.22.93.rev.sfr.net) |
| 2023-12-22 17:33:21 +0100 | <fvr> | we upgraded to use 9.8.1 from 9.2.8 and compilation seems slower on packages using heavy template haskell, did anyone else have a similar experience |
| 2023-12-22 17:38:46 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-12-22 17:39:20 +0100 | <[exa]> | fvr: how much slower? |
| 2023-12-22 17:39:39 +0100 | <[exa]> | (I've got one lensy thing with a bit of TH but no serious slowdown observed) |
| 2023-12-22 17:40:20 +0100 | danza | (~danza@151.57.143.6) |
| 2023-12-22 17:40:35 +0100 | <fvr> | 30s on complete build, builds three targets and ~12 dependencies |
| 2023-12-22 17:41:56 +0100 | <fvr> | one other possibility I can think of is, the ghc we are getting from haskell.nix for some reason comes with a larger base library it comes with 50x more symbols all of them ending with *_info |
| 2023-12-22 17:42:08 +0100 | <fvr> | resulting in larger executables |
| 2023-12-22 17:43:42 +0100 | <[exa]> | ok might be time to visit #ghc for that |
| 2023-12-22 17:45:01 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-12-22 17:55:55 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-22 17:57:22 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 276 seconds) |
| 2023-12-22 17:58:08 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-12-22 17:59:19 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2023-12-22 17:59:31 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-12-22 17:59:46 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 17:59:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-12-22 18:01:39 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-22 18:03:13 +0100 | oxide | (~lambda@user/oxide) |
| 2023-12-22 18:04:16 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2023-12-22 18:04:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-12-22 18:07:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-12-22 18:10:46 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 18:15:21 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2023-12-22 18:16:19 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 18:17:23 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 260 seconds) |
| 2023-12-22 18:18:00 +0100 | oxide | (~lambda@user/oxide) |
| 2023-12-22 18:18:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 18:21:44 +0100 | duncan | (~duncan@user/duncan) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-22 18:22:04 +0100 | Joao003 | (~Joao003@190.108.99.222) |
| 2023-12-22 18:22:57 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 18:24:02 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-12-22 18:24:34 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851) (Remote host closed the connection) |
| 2023-12-22 18:27:11 +0100 | duncan | (~duncan@user/duncan) (Read error: Connection reset by peer) |
| 2023-12-22 18:30:10 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 18:32:10 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-12-22 18:33:44 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-12-22 18:37:01 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 276 seconds) |
| 2023-12-22 18:37:09 +0100 | duncan | (~duncan@user/duncan) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-22 18:38:22 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 18:47:19 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-12-22 18:54:53 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:82a:3c85:203d:f93e) |
| 2023-12-22 19:00:06 +0100 | <monochrom> | ncf: "instance [safe] Monoid w => MonadWriter w ((,) w)" is in Control.Monad.Writer.Class |
| 2023-12-22 19:00:55 +0100 | <ncf> | i'm asking about MonadFix though |
| 2023-12-22 19:01:07 +0100 | <monochrom> | Oh! |
| 2023-12-22 19:02:16 +0100 | <monochrom> | Then most likely oversight. |
| 2023-12-22 19:02:58 +0100 | <ncf> | i opened a ghc issue about it |
| 2023-12-22 19:03:13 +0100 | <ncf> | https://gitlab.haskell.org/ghc/ghc/-/issues/24288 |
| 2023-12-22 19:03:18 +0100 | <monochrom> | libraries is the better target. |
| 2023-12-22 19:03:26 +0100 | <Inst> | does Haskell have a HTTPS library that makes sure you use up all your bandwidth? |
| 2023-12-22 19:03:32 +0100 | araujo | (~araujo@45.131.194.46) |
| 2023-12-22 19:04:36 +0100 | <Rembane> | Inst: I'm quite fond of Req, but that might now answer your question. What's the actual problem you're trying to solve? |
| 2023-12-22 19:04:51 +0100 | <Inst> | I'm conducting an operation, wait, is this topic banned? |
| 2023-12-22 19:05:00 +0100 | <ncf> | monochrom: you mean the mailing list? |
| 2023-12-22 19:05:24 +0100 | <Inst> | Basically, I only use 20-30 MB/s of my bandwidth, i.e, it's software limited, when I should be using about 125 MB/s |
| 2023-12-22 19:05:39 +0100 | <Inst> | I feel like |
| 2023-12-22 19:05:49 +0100 | <Inst> | maerwald isn't in, but maerwald was complaining about the state of Haskell network libraries |
| 2023-12-22 19:06:39 +0100 | <monochrom> | https://github.com/haskell/core-libraries-committee/issues is probably the better tracker. |
| 2023-12-22 19:07:03 +0100 | Halian | (~halian@safiralliance/protobeeper) (Quit: WeeChat 4.1.2) |
| 2023-12-22 19:07:47 +0100 | duncan | (~duncan@user/duncan) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-22 19:09:01 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 19:09:53 +0100 | <ncf> | hmm |
| 2023-12-22 19:10:04 +0100 | Halian | (~halian@safiralliance/protobeeper) |
| 2023-12-22 19:13:27 +0100 | duncan | (~duncan@user/duncan) (Client Quit) |
| 2023-12-22 19:14:49 +0100 | duncan | (~duncan@user/duncan) |
| 2023-12-22 19:19:56 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-22 19:22:54 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-22 19:23:10 +0100 | aljazmc | (~aljazmc@user/aljazmc) |
| 2023-12-22 19:24:31 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-12-22 19:26:08 +0100 | target_i | (~target_i@217.175.14.39) |
| 2023-12-22 19:27:57 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2023-12-22 19:28:42 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-22 19:29:54 +0100 | euleritian | (~euleritia@82.113.99.51) (Read error: Connection reset by peer) |
| 2023-12-22 19:30:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-22 19:30:55 +0100 | <dminuoso_> | Inst: Its normally not HTTPS layer that dictates bandwidth. |
| 2023-12-22 19:31:00 +0100 | <dminuoso_> | It's TCP. |
| 2023-12-22 19:31:10 +0100 | <dminuoso_> | (Unless you have some artificially induced bottleneck of course) |
| 2023-12-22 19:32:51 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2023-12-22 19:34:15 +0100 | shapr | (~user@2600:1700:c640:3100:3c85:be55:684a:fbc3) |
| 2023-12-22 19:34:52 +0100 | <Inst> | Ehhh, it's probably something else creating the delay |
| 2023-12-22 19:34:55 +0100 | <Inst> | I can probably fix it very simply |
| 2023-12-22 19:35:22 +0100 | <Inst> | I'm scraping a site, apparently no one cares. |
| 2023-12-22 19:40:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-12-22 19:40:45 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-22 19:41:40 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-22 19:41:47 +0100 | <sclv> | you may have a limit on the number of outgoing connections, including by the os, or a bandwidth limit upstream on the site you're pulling from. like you'll only hit peak usage if you're pulling a _single big file_ from a site with no intervening connectivity issues -- very hard to do so with a lot of smaller simultaneous connections. |
| 2023-12-22 19:42:14 +0100 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2023-12-22 19:42:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-12-22 19:42:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) (Remote host closed the connection) |
| 2023-12-22 19:50:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2023-12-22 19:54:01 +0100 | <tomsmeding> | Inst: 1. are you getting the bandwidth you expect using some other tool? 2. If so, if the content to be downloaded consists of many small files (meaning many roundtrips per MB of downloaded data), is that other tool opening many connections in parallel? 3. Are you? |
| 2023-12-22 19:54:46 +0100 | <tomsmeding> | if (1.) is false you can hardly blame haskell's libraries :p |
| 2023-12-22 19:56:45 +0100 | <Inst> | ehhh, i'm totally stalled right now because I'm using System.Process to pass a command to a node.js library |
| 2023-12-22 19:56:45 +0100 | danza | (~danza@151.57.143.6) (Quit: Leaving) |
| 2023-12-22 19:56:55 +0100 | <Inst> | I think I'll probably just change it so I only use node.js to extract a string for me |
| 2023-12-22 19:57:23 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-22 19:58:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-22 19:59:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-22 20:19:37 +0100 | <monochrom> | That is a lot of moving parts and a Rube Goldberg machine. |
| 2023-12-22 20:21:43 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2023-12-22 20:23:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10d:1886:daa0:a45) |
| 2023-12-22 20:23:33 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-12-22 20:33:00 +0100 | foul_owl | (~kerry@174-21-148-34.tukw.qwest.net) |
| 2023-12-22 20:39:31 +0100 | foul_owl | (~kerry@174-21-148-34.tukw.qwest.net) (Ping timeout: 245 seconds) |
| 2023-12-22 20:42:12 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 252 seconds) |
| 2023-12-22 20:46:18 +0100 | wand | (~user@gateway/tor-sasl/wand) |
| 2023-12-22 20:49:30 +0100 | tomsmeding | would expect Ruby in a proper Rube Goldberg machine |
| 2023-12-22 20:51:25 +0100 | mreh | (~mreh@94.5.253.65) |
| 2023-12-22 20:52:23 +0100 | foul_owl | (~kerry@185.219.141.160) |
| 2023-12-22 20:52:39 +0100 | <mreh> | `stack build` is saying there's a cabal file missing in a dependency, but it's definitely there on stackage. Do I need to purge a cache or something? |
| 2023-12-22 20:53:12 +0100 | <fvr> | mreh: what's the exact error you are getting |
| 2023-12-22 20:53:36 +0100 | <mreh> | ```Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5: No cabal file found. |
| 2023-12-22 20:53:36 +0100 | <mreh> | Please create a package description file <pkgname>.caba``` |
| 2023-12-22 20:53:57 +0100 | <mreh> | fvr: ^ |
| 2023-12-22 20:56:23 +0100 | aljazmc_ | (~aljazmc@user/aljazmc) |
| 2023-12-22 20:56:36 +0100 | <fvr> | well it's hard to believe that any file on hackage / stackage comes without a .cabal file, is the error about the package you are building ? do you have a .cabal file for the package you're building ? |
| 2023-12-22 20:56:55 +0100 | <fvr> | s/file on hackage/package on hackage/ |
| 2023-12-22 20:57:06 +0100 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2023-12-22 20:57:36 +0100 | <int-e> | . o O ( "Help! I'm lost!" "Well, where are you?" "I'm sitting on a rock!" ) |
| 2023-12-22 20:57:44 +0100 | <mreh> | I'm trying to build lambdacube-quake3 which depends on bindings-GLFW-3.2.1.1, which apparently has a missing cabal file, but when I download the tarbar from stackage, there's a cabal file in there |
| 2023-12-22 21:00:09 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-22 21:01:19 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-12-22 21:01:27 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) |
| 2023-12-22 21:05:20 +0100 | <sclv> | mreh: i'd try to stack build bindings-GLFW individually -- it could be that "no cabal file found" is downstream of the actual error. otherwise very mysterious |
| 2023-12-22 21:08:20 +0100 | <mreh> | sciv: good idea, yes, it was a missing C library, just a really unhelpful error message I guess |
| 2023-12-22 21:15:48 +0100 | <sclv> | yeah, that would be a nice one to file a stack issue for imho, i can see it confusing a lot of people |
| 2023-12-22 21:21:19 +0100 | wand | (~user@gateway/tor-sasl/wand) (Ping timeout: 240 seconds) |
| 2023-12-22 21:21:35 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2023-12-22 21:23:19 +0100 | wand | (~user@gateway/tor-sasl/wand) |
| 2023-12-22 21:32:38 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-12-22 21:40:23 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Remote host closed the connection) |
| 2023-12-22 21:50:13 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2023-12-22 21:51:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-22 21:51:52 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) |
| 2023-12-22 22:01:27 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-22 22:03:50 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2023-12-22 22:13:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-22 22:14:22 +0100 | alexherbo2 | (~alexherbo@83.151.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-22 22:18:32 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-12-22 22:26:32 +0100 | pavonia | (~user@user/siracusa) |
| 2023-12-22 22:28:31 +0100 | _xor3 | (~xor@72.49.195.41) |
| 2023-12-22 22:30:21 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 245 seconds) |
| 2023-12-22 22:30:21 +0100 | _xor3 | _xor |
| 2023-12-22 22:34:02 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2023-12-22 22:35:33 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-12-22 22:59:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 23:04:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-12-22 23:10:50 +0100 | target_i | (~target_i@217.175.14.39) |
| 2023-12-22 23:10:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-22 23:14:26 +0100 | aljazmc__ | (~aljazmc@user/aljazmc) |
| 2023-12-22 23:14:32 +0100 | aljazmc_ | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2023-12-22 23:18:55 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-12-22 23:19:47 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-22 23:20:34 +0100 | Joao003 | (~Joao003@190.108.99.222) (Quit: Bye!) |
| 2023-12-22 23:21:27 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-22 23:26:06 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-22 23:26:20 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-12-22 23:27:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-12-22 23:33:38 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-22 23:37:31 +0100 | Guest78 | (~Guest78@184-059-001-152.res.spectrum.com) |
| 2023-12-22 23:37:47 +0100 | Guest78 | (~Guest78@184-059-001-152.res.spectrum.com) (Client Quit) |
| 2023-12-22 23:47:51 +0100 | asdfhjk1 | (~asdfhjk1@2605:59c8:514c:8110::389) |
| 2023-12-22 23:48:40 +0100 | aljazmc__ | (~aljazmc@user/aljazmc) (Quit: Leaving) |