| 2022-12-26 00:02:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-26 00:09:17 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-26 00:15:16 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-12-26 00:16:22 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 268 seconds) |
| 2022-12-26 00:18:19 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-12-26 00:19:27 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 2022-12-26 00:25:19 +0100 | biberu | (~biberu@user/biberu) |
| 2022-12-26 00:33:11 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-12-26 00:35:20 +0100 | money | Guest4231 |
| 2022-12-26 00:35:39 +0100 | money | (~money@user/polo) |
| 2022-12-26 00:36:38 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-12-26 00:41:38 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2022-12-26 00:42:59 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-26 00:45:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-26 00:47:49 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-12-26 00:48:22 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-26 00:48:48 +0100 | money | (~money@user/polo) (Quit: late) |
| 2022-12-26 00:53:26 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-26 00:54:34 +0100 | masterbu1lder | (~master@user/masterbuilder) (Quit: Lost terminal) |
| 2022-12-26 00:58:08 +0100 | Guest4231 | money |
| 2022-12-26 00:58:12 +0100 | money | polo |
| 2022-12-26 01:01:06 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-12-26 01:07:16 +0100 | money | (~money@2601:40:c580:8530:c933:4206:9088:7219) |
| 2022-12-26 01:07:16 +0100 | money | (~money@2601:40:c580:8530:c933:4206:9088:7219) (Client Quit) |
| 2022-12-26 01:08:09 +0100 | money | (~money@c-73-188-62-22.hsd1.pa.comcast.net) |
| 2022-12-26 01:08:33 +0100 | money | Guest1353 |
| 2022-12-26 01:09:07 +0100 | Guest1353 | (~money@c-73-188-62-22.hsd1.pa.comcast.net) (Client Quit) |
| 2022-12-26 01:12:14 +0100 | polo | Guest1587 |
| 2022-12-26 01:12:14 +0100 | polo | (~money@user/polo) |
| 2022-12-26 01:16:05 +0100 | polo | (~money@user/polo) (Client Quit) |
| 2022-12-26 01:21:44 +0100 | money | (~money@user/polo) |
| 2022-12-26 01:27:18 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-12-26 01:27:38 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-26 01:34:06 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-26 01:34:41 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-26 01:38:58 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 2022-12-26 01:49:29 +0100 | money | Guest1101 |
| 2022-12-26 01:49:29 +0100 | Guest1587 | money |
| 2022-12-26 01:50:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-26 01:52:00 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 01:55:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-26 01:59:02 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-26 01:59:51 +0100 | Guest1101 | (~money@user/polo) (Quit: late) |
| 2022-12-26 02:05:17 +0100 | tomokojun | (~tomokojun@75.164.0.69) (Quit: じゃあね〜。) |
| 2022-12-26 02:06:23 +0100 | money_ | (~money@2601:40:c580:8530:c933:4206:9088:7219) |
| 2022-12-26 02:07:22 +0100 | ft | (~ft@i59F54436.versanet.de) (Ping timeout: 268 seconds) |
| 2022-12-26 02:08:36 +0100 | ft | (~ft@i59F541CC.versanet.de) |
| 2022-12-26 02:10:52 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 02:10:54 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-12-26 02:13:36 +0100 | bontaq | (~user@71.27.75.65) (Ping timeout: 272 seconds) |
| 2022-12-26 02:13:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-12-26 02:14:46 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-26 02:15:09 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2022-12-26 02:17:01 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-12-26 02:18:23 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Quit: Leaving) |
| 2022-12-26 02:19:18 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-12-26 02:21:43 +0100 | money_ | (~money@2601:40:c580:8530:c933:4206:9088:7219) (Changing host) |
| 2022-12-26 02:21:43 +0100 | money_ | (~money@user/polo) |
| 2022-12-26 02:22:20 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2022-12-26 02:22:54 +0100 | money | Guest5801 |
| 2022-12-26 02:22:54 +0100 | money_ | money |
| 2022-12-26 02:23:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a5055eba771b404a6a4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-12-26 02:33:28 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) |
| 2022-12-26 02:36:58 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-26 02:39:12 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-26 02:39:27 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 2022-12-26 02:42:32 +0100 | thongpv | (~thongpv87@2402:9d80:3b4:f1b6:bd80:10c8:c2bc:dc95) |
| 2022-12-26 02:43:50 +0100 | johnw | (~johnw@2600:1700:cf00:db0:1909:8dee:7930:76a2) (Quit: ZNC - http://znc.in) |
| 2022-12-26 02:45:22 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-26 02:50:30 +0100 | money | (~money@user/polo) (Quit: late) |
| 2022-12-26 03:02:26 +0100 | Guest1489 | (~money@2601:40:c580:8530:c933:4206:9088:7219) |
| 2022-12-26 03:03:36 +0100 | thongpv87 | (~thongpv87@123.31.184.254) |
| 2022-12-26 03:04:12 +0100 | thongpv | (~thongpv87@2402:9d80:3b4:f1b6:bd80:10c8:c2bc:dc95) (Read error: Connection reset by peer) |
| 2022-12-26 03:06:05 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-12-26 03:08:04 +0100 | Guest5801 | polo |
| 2022-12-26 03:13:33 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2022-12-26 03:15:40 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-12-26 03:17:12 +0100 | Guest1489 | (~money@2601:40:c580:8530:c933:4206:9088:7219) (Changing host) |
| 2022-12-26 03:17:12 +0100 | Guest1489 | (~money@user/polo) |
| 2022-12-26 03:17:16 +0100 | Guest1489 | money |
| 2022-12-26 03:17:29 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Remote host closed the connection) |
| 2022-12-26 03:18:28 +0100 | money | (~money@user/polo) (Remote host closed the connection) |
| 2022-12-26 03:27:26 +0100 | polo | money |
| 2022-12-26 03:28:23 +0100 | money_ | (~money@2601:40:c580:8530:c933:4206:9088:7219) |
| 2022-12-26 03:30:03 +0100 | money_ | (~money@2601:40:c580:8530:c933:4206:9088:7219) (Client Quit) |
| 2022-12-26 03:33:05 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2022-12-26 03:36:23 +0100 | poscat | (~poscat@114.245.110.107) (Ping timeout: 246 seconds) |
| 2022-12-26 03:36:37 +0100 | poscat | (~poscat@114.245.110.107) |
| 2022-12-26 03:38:11 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-12-26 03:38:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-12-26 03:41:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-26 03:44:31 +0100 | johnw | (~johnw@2600:1700:cf00:db0:e472:cc9e:6753:9e3c) |
| 2022-12-26 03:45:42 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 03:48:55 +0100 | ddellacosta | (~ddellacos@86.106.143.77) (Ping timeout: 252 seconds) |
| 2022-12-26 03:50:45 +0100 | ddellacosta | (~ddellacos@143.244.47.75) |
| 2022-12-26 03:54:54 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2022-12-26 03:55:37 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-26 03:55:46 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 04:11:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-26 04:12:24 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-12-26 04:12:24 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-26 04:12:24 +0100 | finn_elija | FinnElija |
| 2022-12-26 04:20:34 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 2022-12-26 04:21:32 +0100 | <hololeap> | what's a good logging lib? I don't need anything too complex. really, I just want a step up from calling "fail" in various places in my command line program |
| 2022-12-26 04:22:56 +0100 | td_ | (~td@83.135.9.52) (Ping timeout: 246 seconds) |
| 2022-12-26 04:24:47 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 2022-12-26 04:25:05 +0100 | td_ | (~td@83.135.9.49) |
| 2022-12-26 04:25:30 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 04:26:57 +0100 | <hololeap> | @hackage co-log -- hm, this seems like it might fit my needs |
| 2022-12-26 04:26:57 +0100 | <lambdabot> | https://hackage.haskell.org/package/co-log -- hm, this seems like it might fit my needs |
| 2022-12-26 04:31:25 +0100 | Guest65 | (~Guest65@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2022-12-26 04:31:59 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 264 seconds) |
| 2022-12-26 04:33:25 +0100 | <Guest65> | what is the "inverse" of realToFrac? if i want to create a Real value from a Fractional value. hoogle isn't helping |
| 2022-12-26 04:34:01 +0100 | <Guest65> | Data.Scientific has toRealFloat and says "Always prefer toRealFloat over realToFrac when converting from scientific numbers coming from an untrusted source." as if they had the same return type (constraints) but they don't |
| 2022-12-26 04:37:41 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-26 04:38:51 +0100 | phma | (phma@2001:5b0:212a:b4c8:981b:d6a4:8e9c:df66) (Read error: Connection reset by peer) |
| 2022-12-26 04:39:19 +0100 | phma | (phma@2001:5b0:212a:b4c8:981b:d6a4:8e9c:df66) |
| 2022-12-26 04:41:44 +0100 | <Guest65> | ultimately what i want to do is use exponentiation like (**) with fixed-precision decimals, accepting that i may need to convert to floating point first |
| 2022-12-26 04:42:53 +0100 | <Guest65> | essentially the haskell equivalent of https://docs.rs/rust_decimal/latest/rust_decimal/trait.MathematicalOps.html#tymethod.powd |
| 2022-12-26 04:52:18 +0100 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Quit: WeeChat 3.7.1) |
| 2022-12-26 05:01:21 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-26 05:09:19 +0100 | son0p | (~ff@2604:3d08:5b7f:5540::cfe6) (Ping timeout: 260 seconds) |
| 2022-12-26 05:14:13 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-26 05:15:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-26 05:18:42 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
| 2022-12-26 05:19:26 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
| 2022-12-26 05:22:38 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
| 2022-12-26 05:37:32 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-26 05:42:04 +0100 | mbuf | (~Shakthi@49.205.86.252) |
| 2022-12-26 05:43:49 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Ping timeout: 268 seconds) |
| 2022-12-26 05:44:26 +0100 | thongpv87 | (~thongpv87@123.31.184.254) (Ping timeout: 268 seconds) |
| 2022-12-26 05:46:32 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-26 05:48:43 +0100 | beefyran | (~beefyran@76.139.224.68) |
| 2022-12-26 05:54:38 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-26 05:55:19 +0100 | <sm> | is https://blog.plover.com/prog/haskell/numbers.html any help ? |
| 2022-12-26 06:00:11 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-26 06:06:22 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 06:07:18 +0100 | Guest65 | (~Guest65@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-12-26 06:13:00 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-26 06:17:11 +0100 | money | polo |
| 2022-12-26 06:21:33 +0100 | beefyran | (~beefyran@76.139.224.68) (Ping timeout: 260 seconds) |
| 2022-12-26 06:26:31 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 06:35:00 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2022-12-26 06:40:17 +0100 | money | (~money@c-73-188-62-22.hsd1.pa.comcast.net) |
| 2022-12-26 06:40:27 +0100 | money | Guest1122 |
| 2022-12-26 06:42:00 +0100 | Guest1122 | (~money@c-73-188-62-22.hsd1.pa.comcast.net) (Client Quit) |
| 2022-12-26 06:46:10 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-26 06:49:28 +0100 | money | (~money@c-73-188-62-22.hsd1.pa.comcast.net) |
| 2022-12-26 06:49:49 +0100 | money | Guest7991 |
| 2022-12-26 06:51:13 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-26 06:52:45 +0100 | Guest7991 | (~money@c-73-188-62-22.hsd1.pa.comcast.net) (Client Quit) |
| 2022-12-26 07:07:17 +0100 | money_ | (~money@c-73-188-62-22.hsd1.pa.comcast.net) |
| 2022-12-26 07:10:22 +0100 | money_ | (~money@c-73-188-62-22.hsd1.pa.comcast.net) (Client Quit) |
| 2022-12-26 07:11:18 +0100 | money_ | (~money@2601:40:c580:8530:c933:4206:9088:7219) |
| 2022-12-26 07:18:58 +0100 | son0p | (~ff@2604:3d08:5b7f:5540::417e) |
| 2022-12-26 07:23:44 +0100 | razetime | (~quassel@49.207.230.181) (Ping timeout: 260 seconds) |
| 2022-12-26 07:25:00 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-12-26 07:32:29 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-26 07:35:07 +0100 | money_ | (~money@2601:40:c580:8530:c933:4206:9088:7219) (Ping timeout: 256 seconds) |
| 2022-12-26 07:45:28 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-12-26 07:49:05 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-12-26 07:49:15 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 07:49:57 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-12-26 07:52:44 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-26 08:00:15 +0100 | money | (~money@2601:40:c580:8530:99b8:3604:48ba:4828) |
| 2022-12-26 08:00:25 +0100 | money | Guest2626 |
| 2022-12-26 08:00:32 +0100 | Guest2626 | (~money@2601:40:c580:8530:99b8:3604:48ba:4828) (Changing host) |
| 2022-12-26 08:00:32 +0100 | Guest2626 | (~money@user/polo) |
| 2022-12-26 08:00:34 +0100 | Guest2626 | money |
| 2022-12-26 08:02:55 +0100 | money | (~money@user/polo) (Remote host closed the connection) |
| 2022-12-26 08:07:38 +0100 | razetime | (~quassel@49.207.230.181) (Ping timeout: 272 seconds) |
| 2022-12-26 08:26:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-26 08:51:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-26 09:04:03 +0100 | money | (~money@2601:40:c580:8530:d87d:a506:a35b:6387) |
| 2022-12-26 09:04:09 +0100 | money | Guest789 |
| 2022-12-26 09:04:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-26 09:04:36 +0100 | Guest789 | (~money@2601:40:c580:8530:d87d:a506:a35b:6387) (Changing host) |
| 2022-12-26 09:04:36 +0100 | Guest789 | (~money@user/polo) |
| 2022-12-26 09:04:41 +0100 | Guest789 | money |
| 2022-12-26 09:05:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-26 09:18:57 +0100 | money | (~money@user/polo) (Quit: late) |
| 2022-12-26 09:19:30 +0100 | money | (~money@2601:40:c580:8530:d87d:a506:a35b:6387) |
| 2022-12-26 09:19:48 +0100 | money | Guest7983 |
| 2022-12-26 09:24:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 09:24:25 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-26 09:24:31 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-12-26 09:24:34 +0100 | cheater_ | cheater |
| 2022-12-26 09:38:19 +0100 | Guest7983 | (~money@2601:40:c580:8530:d87d:a506:a35b:6387) (Quit: late) |
| 2022-12-26 09:40:35 +0100 | money_ | (~money@2601:40:c580:8530:d87d:a506:a35b:6387) |
| 2022-12-26 09:44:37 +0100 | <[exa]> | cheater: btw I was asking about the DSW possibilities and they have no funding to support that atm, but they will ask back when they get some |
| 2022-12-26 09:45:32 +0100 | thongpv87 | (~thongpv87@2402:9d80:3a3:1f17:c464:b8b0:3a4b:b784) |
| 2022-12-26 09:50:06 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-26 09:51:11 +0100 | money_ | (~money@2601:40:c580:8530:d87d:a506:a35b:6387) (Quit: late) |
| 2022-12-26 09:52:19 +0100 | <cheater> | thanks [exa] |
| 2022-12-26 09:54:26 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2022-12-26 09:56:12 +0100 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2022-12-26 09:57:38 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-26 10:05:02 +0100 | money | (~money@2601:40:c580:8530:d035:e995:23e7:22d9) |
| 2022-12-26 10:05:15 +0100 | money | Guest8052 |
| 2022-12-26 10:07:03 +0100 | Guest8052 | (~money@2601:40:c580:8530:d035:e995:23e7:22d9) (Changing host) |
| 2022-12-26 10:07:03 +0100 | Guest8052 | (~money@user/polo) |
| 2022-12-26 10:07:06 +0100 | Guest8052 | money |
| 2022-12-26 10:07:42 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 10:10:18 +0100 | money | (~money@user/polo) (Quit: late) |
| 2022-12-26 10:14:21 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
| 2022-12-26 10:23:46 +0100 | <markasoftware> | If I have `data Foo a = Something a | SomethingElse Int`, how can I convert a `SomethingElse Int` from being a `Foo a` type to being a `Foo b` type? |
| 2022-12-26 10:24:18 +0100 | <markasoftware> | after pattern matching as `foo@(SomethingElse {})` |
| 2022-12-26 10:24:29 +0100 | <markasoftware> | or is the only way to call the whole type constructor again? |
| 2022-12-26 10:24:36 +0100 | <markasoftware> | and explicitly list out all arguments to the type constructor |
| 2022-12-26 10:24:47 +0100 | <markasoftware> | (because in my actual application `SomethingElse` has several fields) |
| 2022-12-26 10:25:44 +0100 | <markasoftware> | (the main idea here being that the `SomethingElse` constructor doesn't actually use the `a` type parameter, so it should be able to be cast to any `Foo a` after pattern matching on it |
| 2022-12-26 10:25:58 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2022-12-26 10:27:13 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-26 10:32:51 +0100 | <markasoftware> | okay, i found data.coerce, i think that does what i want |
| 2022-12-26 10:36:13 +0100 | <markasoftware> | the only problem is data.coerce seems to have a bit of a runtime cost which shouldn't be necessary because I'm pattern matched already |
| 2022-12-26 10:37:38 +0100 | razetime | (~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-26 10:44:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-26 10:46:41 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-12-26 10:46:54 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-26 10:49:17 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:488f:82a3:5a51:80a6) |
| 2022-12-26 10:49:19 +0100 | <Inst> | hi |
| 2022-12-26 10:49:26 +0100 | <Inst> | is there a way to get a typeclass to accept a non-type kind? |
| 2022-12-26 10:49:41 +0100 | mbuf | (~Shakthi@49.205.86.252) (Ping timeout: 268 seconds) |
| 2022-12-26 10:49:50 +0100 | <Inst> | i'm using data kinds and i'm trying to port some toy julia code to Haskell, i.e, a dependently-typed fizzbuzz |
| 2022-12-26 10:49:59 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Client Quit) |
| 2022-12-26 10:50:07 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-26 10:50:52 +0100 | mbuf | (~Shakthi@49.204.140.186) |
| 2022-12-26 10:52:12 +0100 | money | (~money@2601:40:c580:8530:79b9:1457:a4d2:2574) |
| 2022-12-26 10:52:16 +0100 | money | Guest2231 |
| 2022-12-26 10:52:45 +0100 | Guest2231 | (~money@2601:40:c580:8530:79b9:1457:a4d2:2574) (Changing host) |
| 2022-12-26 10:52:45 +0100 | Guest2231 | (~money@user/polo) |
| 2022-12-26 10:52:48 +0100 | Guest2231 | money |
| 2022-12-26 10:52:52 +0100 | <int-e> | markasoftware: Hmm. 1) I don't see how Data.Coerce.coerce applies here. 2) That function doesn't have a runtime cost (though it can influence optimizations) 3) There's a very late optimization in ghc that tries to re-use heap objects so that `case x of Something a -> Something b; SomethingElse n -> SomethingElse n` does not allocate anything in the second branch. |
| 2022-12-26 10:52:52 +0100 | polo | Guest5004 |
| 2022-12-26 10:52:52 +0100 | money | polo |
| 2022-12-26 10:54:14 +0100 | <int-e> | (But I don't know how robust that optimization is.) |
| 2022-12-26 10:54:32 +0100 | money | (~money@2601:40:c580:8530:bd6f:6517:b24a:1f3f) |
| 2022-12-26 10:54:33 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Client Quit) |
| 2022-12-26 10:54:37 +0100 | <markasoftware> | hmm, but coerce throws runtime errors right? |
| 2022-12-26 10:54:43 +0100 | <int-e> | No |
| 2022-12-26 10:54:45 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-26 10:54:50 +0100 | <markasoftware> | okay |
| 2022-12-26 10:54:56 +0100 | money | Guest4598 |
| 2022-12-26 10:55:08 +0100 | <markasoftware> | i should have actually tried compiling it but i thought something like foo@(SomethingElse n) -> coerce foo might work |
| 2022-12-26 10:55:17 +0100 | Guest4598 | (~money@2601:40:c580:8530:bd6f:6517:b24a:1f3f) (Changing host) |
| 2022-12-26 10:55:17 +0100 | Guest4598 | (~money@user/polo) |
| 2022-12-26 10:55:20 +0100 | Guest4598 | money |
| 2022-12-26 10:55:43 +0100 | <int-e> | "very late"... after STG, so either during translation to CMM or at the CMM level. |
| 2022-12-26 10:56:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-26 10:57:39 +0100 | <int-e> | markasoftware: Yeah, that does not work, because of the first constructor (at the type level, the type parameter of `Foo` has a representational role, and that disallows `coerce` to change that type). `unsafeCoerce` would work but obviously that's allowed to crash if you misuse it. |
| 2022-12-26 10:57:59 +0100 | polo | (~money@user/polo) (Ping timeout: 256 seconds) |
| 2022-12-26 10:59:08 +0100 | <markasoftware> | yeah that makes sense, just tried to compile it and got a reasonable error from ghc |
| 2022-12-26 10:59:25 +0100 | <markasoftware> | well thanks for your help, I guess I'll continue to write out the `SomethingElse n -> SomethingElse n` with all the arguments for now |
| 2022-12-26 11:00:29 +0100 | <int-e> | Yeah, as I said, there's a very good chance that this will reuse the original heap object. |
| 2022-12-26 11:00:37 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-12-26 11:06:45 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-12-26 11:07:19 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-12-26 11:07:30 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 11:08:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 11:09:03 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2022-12-26 11:10:01 +0100 | coot | (~coot@213.134.171.3) |
| 2022-12-26 11:11:00 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-12-26 11:11:41 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2022-12-26 11:11:47 +0100 | califax | (~califax@user/califx) |
| 2022-12-26 11:12:04 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-26 11:16:14 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2022-12-26 11:17:05 +0100 | shamelessshill | (~shamlesss@user/shamelessshill) |
| 2022-12-26 11:17:07 +0100 | money | (~money@user/polo) (Quit: late) |
| 2022-12-26 11:18:18 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-12-26 11:18:26 +0100 | shamelessshill | (~shamlesss@user/shamelessshill) () |
| 2022-12-26 11:19:08 +0100 | hamster | (~ham@user/ham) (Read error: Connection reset by peer) |
| 2022-12-26 11:19:18 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-12-26 11:19:27 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a50f9d3f0b86663ccbe.dip0.t-ipconnect.de) |
| 2022-12-26 11:19:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 11:21:01 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 11:21:37 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-12-26 11:22:41 +0100 | califax | (~califax@user/califx) |
| 2022-12-26 11:24:42 +0100 | Guest7967 | (~money@c-73-188-62-22.hsd1.pa.comcast.net) |
| 2022-12-26 11:26:44 +0100 | Guest7967 | (~money@c-73-188-62-22.hsd1.pa.comcast.net) (Client Quit) |
| 2022-12-26 11:27:44 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) |
| 2022-12-26 11:27:46 +0100 | mbuf | (~Shakthi@49.204.140.186) (Ping timeout: 272 seconds) |
| 2022-12-26 11:28:33 +0100 | mbuf | (~Shakthi@49.205.80.99) |
| 2022-12-26 11:30:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2022-12-26 11:31:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-12-26 11:34:46 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-26 11:35:30 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 11:37:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 11:39:47 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-12-26 11:40:50 +0100 | <Inst> | it's impossible to convert an Integer into a Proxy value of type Proxy (k :: KnownNat), right? |
| 2022-12-26 11:41:26 +0100 | <Inst> | the stuff in typelits implies you can only convert it to some nat |
| 2022-12-26 11:43:14 +0100 | <c_wraith> | KnownNat is a class. |
| 2022-12-26 11:44:34 +0100 | <c_wraith> | https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-TypeLits.html#v:someNatVal |
| 2022-12-26 11:44:38 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-12-26 11:45:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-26 11:47:58 +0100 | <Inst> | k :: Natural |
| 2022-12-26 11:47:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 11:48:12 +0100 | <Inst> | i'm trying to build a DT fizzbuzz as a toy |
| 2022-12-26 11:48:15 +0100 | <Inst> | converting from Julia code |
| 2022-12-26 11:48:39 +0100 | <Inst> | where their multiple dispatch method is used to control the string return of the fizzbuzz function |
| 2022-12-26 11:49:29 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 11:50:10 +0100 | <Inst> | so, i have the FizzBuzz class ready, the FizzBuzz instances ready, I can borrow from GHC.TypeLits to do Mod n 5 / Mod n 3 onto a value of type Proxy n, just can't figure out how to convert between a value to a type |
| 2022-12-26 11:50:23 +0100 | <Inst> | it should be impossible because type information is lost at runtime, right? |
| 2022-12-26 11:50:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Ping timeout: 246 seconds) |
| 2022-12-26 11:51:42 +0100 | <c_wraith> | yes and no |
| 2022-12-26 11:52:50 +0100 | <c_wraith> | The types won't be known at runtime, but there are ways to leave behind some evidence of what the type once was |
| 2022-12-26 11:52:56 +0100 | <c_wraith> | someNatVal, for instance |
| 2022-12-26 11:53:06 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 272 seconds) |
| 2022-12-26 11:54:43 +0100 | <c_wraith> | or, well. In the case of dynamic things, generate the same type of evidence that the compiler would have left behind |
| 2022-12-26 11:56:16 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 11:56:32 +0100 | <Hecate> | An interesting episode of Software Unscripted regarding the Zig compiler's bootstrapping process: It uses WASM! https://podcasts.apple.com/fr/podcast/software-unscripted/id1602572955?i=1000591301501 |
| 2022-12-26 11:57:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 11:59:55 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-12-26 12:04:07 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-26 12:10:01 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-12-26 12:10:32 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 246 seconds) |
| 2022-12-26 12:11:57 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-12-26 12:16:29 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-26 12:18:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 12:21:39 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-26 12:22:19 +0100 | CiaoSen | (~Jura@p200300c9570d91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-12-26 12:23:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 12:24:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 12:24:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-26 12:28:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-26 12:30:12 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-26 12:30:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 12:36:10 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 12:37:03 +0100 | money | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-12-26 12:37:11 +0100 | money | Guest4009 |
| 2022-12-26 12:37:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 12:38:13 +0100 | Guest4009 | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
| 2022-12-26 12:38:13 +0100 | Guest4009 | (~money@user/polo) |
| 2022-12-26 12:38:16 +0100 | Guest4009 | money |
| 2022-12-26 12:39:41 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-12-26 12:46:56 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 12:48:12 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 12:49:04 +0100 | money | (~money@user/polo) (Read error: Connection reset by peer) |
| 2022-12-26 12:49:39 +0100 | money | (~money@64-145-79-171.jfk.as54203.net) |
| 2022-12-26 12:49:54 +0100 | money | Guest4687 |
| 2022-12-26 12:52:02 +0100 | Guest4687 | (~money@64-145-79-171.jfk.as54203.net) (Client Quit) |
| 2022-12-26 12:56:16 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-26 12:56:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 12:58:37 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 13:00:01 +0100 | <jackdk> | Inst: https://hackage.haskell.org/package/reflection-2.1.6/docs/Data-Reflection.html#v:reifyNat |
| 2022-12-26 13:01:29 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
| 2022-12-26 13:02:23 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-12-26 13:03:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 256 seconds) |
| 2022-12-26 13:05:50 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-12-26 13:05:53 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2022-12-26 13:07:49 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-12-26 13:21:54 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2022-12-26 13:22:06 +0100 | Guest5004 | money |
| 2022-12-26 13:23:59 +0100 | shamelessshill | (~shamlesss@user/shamelessshill) |
| 2022-12-26 13:24:18 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 13:24:41 +0100 | <shamelessshill> | Hello folks, a small question about llvm bindings for Haskell. I see llvm-hs, but the last version supported seems to be LLVM 9, which is relatively ancient. Any alternatives? |
| 2022-12-26 13:25:09 +0100 | king_gs | (~Thunderbi@2806:103e:29:8c3:6dd8:4a70:6d40:37ea) |
| 2022-12-26 13:25:14 +0100 | king_gs | (~Thunderbi@2806:103e:29:8c3:6dd8:4a70:6d40:37ea) (Client Quit) |
| 2022-12-26 13:25:44 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 13:26:55 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-12-26 13:30:40 +0100 | n0den1te | (~~.~@2401:4900:1cc8:c9b9:732b:ad8d:ebfd:9b2b) |
| 2022-12-26 13:33:02 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-12-26 13:33:36 +0100 | shamelessshill | (~shamlesss@user/shamelessshill) () |
| 2022-12-26 13:37:31 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-12-26 13:39:36 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 13:40:32 +0100 | dextaa0 | (~DV@user/dextaa) |
| 2022-12-26 13:42:48 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-12-26 13:42:54 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 260 seconds) |
| 2022-12-26 13:42:54 +0100 | dextaa0 | dextaa |
| 2022-12-26 13:43:23 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-12-26 13:45:43 +0100 | img | (~img@user/img) |
| 2022-12-26 13:48:58 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-26 13:51:11 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 13:54:26 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-12-26 13:58:39 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 14:00:34 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 14:04:47 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-26 14:09:29 +0100 | jpds3 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-12-26 14:10:41 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2022-12-26 14:13:03 +0100 | pflanze | (~pflanze@159.100.249.232) (Remote host closed the connection) |
| 2022-12-26 14:16:12 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-26 14:16:51 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-12-26 14:18:27 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-26 14:18:56 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-26 14:21:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 14:25:17 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-26 14:26:45 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 2022-12-26 14:31:45 +0100 | CiaoSen | (~Jura@p200300c9570d91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-12-26 14:34:09 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-26 14:35:39 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 14:36:43 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 256 seconds) |
| 2022-12-26 14:37:06 +0100 | Guest7 | (~Guest7@dyndsl-037-138-068-082.ewe-ip-backbone.de) |
| 2022-12-26 14:39:39 +0100 | <Guest7> | @pl f s = "0123" !! (elemIndex s $ g f) |
| 2022-12-26 14:39:39 +0100 | <lambdabot> | f = fix ((("0123" !!) .) . flip elemIndex . g) |
| 2022-12-26 14:40:17 +0100 | <Guest7> | @pl f s = "0123" !! (findIndex s $ g f) |
| 2022-12-26 14:40:17 +0100 | <lambdabot> | f = fix ((("0123" !!) .) . flip findIndex . g) |
| 2022-12-26 14:41:35 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 14:43:14 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-26 14:43:46 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 14:43:48 +0100 | jpds3 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-12-26 14:44:34 +0100 | jpds3 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-12-26 14:44:49 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 14:45:08 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-26 14:45:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 14:45:28 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 14:45:56 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-26 14:46:32 +0100 | Guest7 | (~Guest7@dyndsl-037-138-068-082.ewe-ip-backbone.de) (Quit: Client closed) |
| 2022-12-26 14:47:02 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 14:48:28 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-26 14:48:34 +0100 | cheater_ | cheater |
| 2022-12-26 14:49:00 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-12-26 14:49:20 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-26 14:50:00 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 14:50:51 +0100 | Guest7 | (~Guest7@dyndsl-037-138-068-082.ewe-ip-backbone.de) |
| 2022-12-26 14:50:55 +0100 | <Guest7> | @pl f s="0332233123322323133223313"!!((elemIndices s$permutations"abcd")!!0) |
| 2022-12-26 14:50:55 +0100 | <lambdabot> | f = ("0332233123322323133223313" !!) . (!! 0) . ($ permutations "abcd") . elemIndices |
| 2022-12-26 14:52:51 +0100 | <Guest7> | @unpl f s="0332233123322323133223313"!!((elemIndices s$permutations"abcd")!!0) |
| 2022-12-26 14:52:51 +0100 | <lambdabot> | f s = "0332233123322323133223313" !! (elemIndices s (permutations "abcd") !! 0) |
| 2022-12-26 14:53:49 +0100 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap237) |
| 2022-12-26 14:54:14 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-26 14:54:15 +0100 | cheater_ | cheater |
| 2022-12-26 14:54:31 +0100 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-12-26 14:55:39 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 14:57:18 +0100 | mei | (~mei@user/mei) |
| 2022-12-26 14:57:50 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-26 14:58:16 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 14:58:36 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-26 14:58:38 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-12-26 14:58:56 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 14:59:28 +0100 | <Guest7> | @unpl f s="0332233123322323133223313"!!head(elemIndices s$permutations"abcd" |
| 2022-12-26 14:59:28 +0100 | <lambdabot> | <unknown>.hs:1:4:Parse error: = |
| 2022-12-26 14:59:37 +0100 | <Guest7> | @unpl f s="0332233123322323133223313"!!head(elemIndices s$permutations"abcd") |
| 2022-12-26 14:59:37 +0100 | <lambdabot> | f s = "0332233123322323133223313" !! head (elemIndices s (permutations "abcd")) |
| 2022-12-26 14:59:45 +0100 | <__monty__> | Guest7: You can make use of lambdabot in private messages you know. |
| 2022-12-26 14:59:51 +0100 | <__monty__> | No need to spam the channel. |
| 2022-12-26 15:00:20 +0100 | <Guest7> | thanks, I didn't know that |
| 2022-12-26 15:00:29 +0100 | <__monty__> | And the command is called `pl` for pointless. Don't consider point-free style a goal. |
| 2022-12-26 15:01:10 +0100 | <Guest7> | I'm using it to get some ideas to save bytes for codegolf https://codegolf.stackexchange.com/questions/256034/normal-subgroups-of-s-4/256046#256046 |
| 2022-12-26 15:01:12 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 15:01:24 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) |
| 2022-12-26 15:02:29 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 15:03:13 +0100 | <geekosaur> | you might note that most of its responses are longer than the original |
| 2022-12-26 15:03:23 +0100 | <geekosaur> | it's not real useful for code golf |
| 2022-12-26 15:03:53 +0100 | <geekosaur> | occasionally it'll show you something neat, but learning a little lmbda calculus will lead you to those just as quickly |
| 2022-12-26 15:03:58 +0100 | <geekosaur> | *lambda |
| 2022-12-26 15:04:14 +0100 | Guest7 | (~Guest7@dyndsl-037-138-068-082.ewe-ip-backbone.de) (Quit: Client closed) |
| 2022-12-26 15:05:36 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2022-12-26 15:05:48 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-26 15:06:50 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-12-26 15:11:10 +0100 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-26 15:12:36 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 15:14:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-26 15:14:51 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-12-26 15:15:55 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 15:17:20 +0100 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
| 2022-12-26 15:18:47 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-26 15:20:55 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-26 15:21:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 15:22:13 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.35) |
| 2022-12-26 15:24:38 +0100 | AlexZenon | (~alzenon@178.34.150.54) (Ping timeout: 272 seconds) |
| 2022-12-26 15:25:27 +0100 | Alex_test | (~al_test@178.34.150.54) (Ping timeout: 256 seconds) |
| 2022-12-26 15:25:57 +0100 | AlexNoo | (~AlexNoo@178.34.150.54) (Ping timeout: 265 seconds) |
| 2022-12-26 15:29:13 +0100 | Alex_test | (~al_test@178.34.150.35) |
| 2022-12-26 15:29:21 +0100 | AlexZenon | (~alzenon@178.34.150.35) |
| 2022-12-26 15:35:44 +0100 | mestre | (~mestre@191.177.185.178) (Quit: Lost terminal) |
| 2022-12-26 15:36:17 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-26 15:38:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 15:40:59 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-26 15:45:18 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-26 15:45:20 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-12-26 15:45:36 +0100 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-26 15:49:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-26 15:52:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 15:53:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Ping timeout: 260 seconds) |
| 2022-12-26 15:54:48 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 16:00:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2022-12-26 16:09:51 +0100 | iqubic | (~avi@2601:602:9502:c70:4602:12a1:6697:a25f) (Ping timeout: 255 seconds) |
| 2022-12-26 16:10:56 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-12-26 16:12:35 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 16:14:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 16:16:10 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) |
| 2022-12-26 16:17:03 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-12-26 16:19:44 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-26 16:21:10 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-26 16:23:57 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 16:25:39 +0100 | razetime | (~quassel@49.207.230.181) (Ping timeout: 260 seconds) |
| 2022-12-26 16:25:41 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-26 16:25:47 +0100 | mbuf | (~Shakthi@49.205.80.99) (Quit: Leaving) |
| 2022-12-26 16:29:35 +0100 | AlexNoo_ | AlexNoo |
| 2022-12-26 16:32:18 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 16:32:20 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-12-26 16:34:00 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 16:35:31 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-12-26 16:45:50 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-12-26 16:47:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 16:50:32 +0100 | n0den1te | (~~.~@2401:4900:1cc8:c9b9:732b:ad8d:ebfd:9b2b) () |
| 2022-12-26 16:51:52 +0100 | CiaoSen | (~Jura@p200300c9570d91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-12-26 16:53:17 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-26 16:58:02 +0100 | kenran | (~user@user/kenran) |
| 2022-12-26 16:58:04 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-26 16:58:34 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-12-26 16:59:50 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 17:00:05 +0100 | czuberion[m] | (~czuberion@2001:470:69fc:105::2:bc47) (Quit: You have been kicked for being idle) |
| 2022-12-26 17:09:59 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2022-12-26 17:11:40 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 17:13:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 17:14:38 +0100 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-12-26 17:14:38 +0100 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-12-26 17:14:38 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2022-12-26 17:15:15 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-26 17:15:42 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-26 17:16:47 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-26 17:17:11 +0100 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-26 17:17:50 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-26 17:18:19 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-26 17:18:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-26 17:18:36 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 17:19:09 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-26 17:19:26 +0100 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-26 17:21:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-26 17:21:11 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-26 17:21:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-26 17:21:40 +0100 | cheater_ | cheater |
| 2022-12-26 17:22:44 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 17:28:39 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 17:28:55 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-12-26 17:30:03 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:488f:82a3:5a51:80a6) (Ping timeout: 260 seconds) |
| 2022-12-26 17:32:02 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-26 17:32:04 +0100 | cheater_ | cheater |
| 2022-12-26 17:37:29 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-26 17:38:23 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-26 17:40:01 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 17:45:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 17:46:00 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-26 17:46:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 17:50:18 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 272 seconds) |
| 2022-12-26 17:51:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-26 17:51:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-26 17:52:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 17:53:02 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-26 17:54:27 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-26 17:54:46 +0100 | beefbambi | (~beefbambi@37.19.205.196) |
| 2022-12-26 17:54:51 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-12-26 17:55:09 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-26 17:55:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Ping timeout: 246 seconds) |
| 2022-12-26 17:55:20 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-26 17:55:39 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-12-26 17:58:34 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-12-26 18:00:08 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-12-26 18:01:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 18:01:38 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2022-12-26 18:02:50 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 18:03:39 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 18:04:26 +0100 | beefbambi | (~beefbambi@37.19.205.196) (Ping timeout: 268 seconds) |
| 2022-12-26 18:04:40 +0100 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-26 18:07:16 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-26 18:08:00 +0100 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-26 18:08:08 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-12-26 18:08:59 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-26 18:09:59 +0100 | ubert | (~Thunderbi@p200300ecdf264e0fa72579722f7ae10a.dip0.t-ipconnect.de) |
| 2022-12-26 18:10:40 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-26 18:12:38 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 18:13:07 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-26 18:13:41 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-26 18:14:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2022-12-26 18:14:15 +0100 | thegeekinside | (~thegeekin@189.128.148.159) |
| 2022-12-26 18:14:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-12-26 18:15:15 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 18:17:09 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-12-26 18:17:09 +0100 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-26 18:17:15 +0100 | thegeekinside | (~thegeekin@189.128.148.159) (Remote host closed the connection) |
| 2022-12-26 18:17:51 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 18:21:09 +0100 | iqubic | (~avi@2601:602:9502:c70:7d73:32ff:58fe:6d27) |
| 2022-12-26 18:22:43 +0100 | econo | (uid147250@user/econo) |
| 2022-12-26 18:23:49 +0100 | mauke[m] | (~mauke@user/mauke) |
| 2022-12-26 18:25:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 18:31:45 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2022-12-26 18:31:57 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 18:34:08 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-12-26 18:39:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 18:42:11 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2022-12-26 18:42:15 +0100 | cheater_ | cheater |
| 2022-12-26 18:43:37 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-26 18:44:22 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-26 18:45:23 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 18:51:07 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
| 2022-12-26 18:51:51 +0100 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2022-12-26 18:52:07 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-12-26 18:53:59 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2022-12-26 18:54:38 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-26 18:55:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-26 18:56:14 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-12-26 18:57:48 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 19:03:30 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-26 19:03:46 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-26 19:04:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 19:06:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 19:08:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-26 19:08:26 +0100 | dsrt^ | (~dsrt@76.145.185.103) (Remote host closed the connection) |
| 2022-12-26 19:10:33 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-12-26 19:10:57 +0100 | razetime | (~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-26 19:11:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-26 19:13:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 19:13:36 +0100 | CiaoSen | (~Jura@p200300c9570d91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-12-26 19:14:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 19:15:04 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 19:16:59 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2022-12-26 19:18:55 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2022-12-26 19:18:59 +0100 | cheater_ | cheater |
| 2022-12-26 19:20:14 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 19:20:16 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-26 19:21:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 19:22:57 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-12-26 19:26:02 +0100 | thongpv87 | (~thongpv87@2402:9d80:3a3:1f17:c464:b8b0:3a4b:b784) (Read error: Connection reset by peer) |
| 2022-12-26 19:26:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-26 19:26:55 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 19:31:51 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-26 19:35:34 +0100 | pennychase[m] | (~pennychas@2001:470:69fc:105::1:3043) |
| 2022-12-26 19:36:04 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-26 19:42:33 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-26 19:42:41 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-12-26 19:44:25 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 19:49:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 19:50:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 20:03:39 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-26 20:06:24 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 20:08:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 20:13:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-26 20:14:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 20:15:13 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-26 20:16:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-26 20:19:40 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-12-26 20:26:48 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-12-26 20:27:43 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-26 20:28:03 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 20:30:05 +0100 | <kjlid[m]> | https://paste.tomsmeding.com/2x70DaP0 <- Why is this pattern match non-exhaustive? |
| 2022-12-26 20:31:24 +0100 | <geekosaur> | did you type that into ghci? |
| 2022-12-26 20:32:04 +0100 | <kjlid[m]> | No. Will that give me more information? |
| 2022-12-26 20:32:26 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-12-26 20:32:42 +0100 | <geekosaur> | no. ghci doesn't group definitions together unless you bracket them with :{ and :}, so it's prone to throw such errors when putting a definition in a file wouldn't |
| 2022-12-26 20:33:18 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-26 20:33:22 +0100 | <kjlid[m]> | Alright |
| 2022-12-26 20:33:42 +0100 | <geekosaur> | and I asked because you apparently typed that in, because there's a typo in the error message (`Fehcted`) |
| 2022-12-26 20:34:04 +0100 | <geekosaur> | which makes me wonder what other context is missing |
| 2022-12-26 20:34:36 +0100 | <kjlid[m]> | ... No that is precisely why the pattern match is non-exhaustive |
| 2022-12-26 20:34:48 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-12-26 20:34:59 +0100 | <geekosaur> | oh, you typoed? |
| 2022-12-26 20:35:10 +0100 | <geekosaur> | oh right, there it is on line 3 🙂 |
| 2022-12-26 20:35:10 +0100 | <kjlid[m]> | Dammit |
| 2022-12-26 20:35:11 +0100 | <geekosaur> | sorry |
| 2022-12-26 20:35:49 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 252 seconds) |
| 2022-12-26 20:36:02 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-26 20:37:20 +0100 | pavonia | (~user@user/siracusa) |
| 2022-12-26 20:38:43 +0100 | <kjlid[m]> | https://impsyn.xyz/hpass/file?name=src/Security/Hpass/Add.hs&ci=tip does this look like something that is presentable? |
| 2022-12-26 20:40:29 +0100 | <geekosaur> | you probably want to swap those two error patterns at the end, as the catch-all will trigger before it can reach the SQLError case |
| 2022-12-26 20:42:31 +0100 | <kjlid[m]> | Which two do you mean? |
| 2022-12-26 20:43:28 +0100 | <geekosaur> | `Just hpe <- fromException e` catches everything, including the one that would be caught by `Just SQLError {sqlError = ErrorConstraint}` |
| 2022-12-26 20:43:47 +0100 | <kjlid[m]> | Just hpe and Just SQLError? |
| 2022-12-26 20:43:48 +0100 | <kjlid[m]> | I.e. line 55 and 56? |
| 2022-12-26 20:43:51 +0100 | <geekosaur> | yes |
| 2022-12-26 20:44:08 +0100 | <kjlid[m]> | That's interesting because it's actually catching the SQLError |
| 2022-12-26 20:44:18 +0100 | <kjlid[m]> | I'm getting an EntryAlreadyExists when I test this |
| 2022-12-26 20:44:19 +0100 | <geekosaur> | sorry, didn't spot the line numbers checkbox, or I'd have given line numbers |
| 2022-12-26 20:44:31 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-12-26 20:44:53 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 20:44:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-26 20:45:02 +0100 | <kjlid[m]> | Yeah I'm an idiot that forgot to send the link with the line numbers enabled so :P |
| 2022-12-26 20:46:36 +0100 | <geekosaur> | anyone else around, am I being dumb or would two lines differing only in the first being `Just hpe <- fromException e` vs. `Just SQLError {sqlError = ErrorConstraint} <- fromException e` overlap with the first winning? |
| 2022-12-26 20:47:55 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-12-26 20:47:58 +0100 | cheater_ | cheater |
| 2022-12-26 20:49:05 +0100 | <geekosaur> | anyway I don't see anything else that stands out |
| 2022-12-26 20:49:18 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 265 seconds) |
| 2022-12-26 20:50:44 +0100 | <mauke[m]> | fromException is a dynamic cast |
| 2022-12-26 20:51:06 +0100 | <mauke[m]> | it'll only return Just if the type matches |
| 2022-12-26 20:51:23 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-26 20:51:28 +0100 | <geekosaur> | :t throwError |
| 2022-12-26 20:51:30 +0100 | <lambdabot> | MonadError e m => e -> m a |
| 2022-12-26 20:51:55 +0100 | <geekosaur> | okay, I guess |
| 2022-12-26 20:55:03 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-26 20:55:10 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-12-26 20:56:09 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-26 20:56:18 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-12-26 20:59:57 +0100 | zer0bitz | (~zer0bitz@196.244.192.62) |
| 2022-12-26 21:07:40 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-12-26 21:08:22 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-26 21:12:02 +0100 | <justsomeguy> | I just wrote a small cli utility to rename files. I'm using stack, and have all of the logic in ./app/Main.hs. It works if I run ''stack run $list_of_paths''. What stack command do I run to output a static binary? |
| 2022-12-26 21:12:30 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:650a:508e:a414:6c91) |
| 2022-12-26 21:14:18 +0100 | <justsomeguy> | Seems like stack path | grep '^bin-path: ' | cut -d: -f2 gets me the path to the binary that stack build creates. |
| 2022-12-26 21:14:51 +0100 | <geekosaur> | did you try `stack install`? |
| 2022-12-26 21:15:58 +0100 | <justsomeguy> | I'm not sure what stack install does. I don't want to place the binary in an existing location in my PATH variable, though, so I'm hesitant to run it. |
| 2022-12-26 21:16:22 +0100 | justsomeguy | reads up on stack install on the wiki |
| 2022-12-26 21:16:32 +0100 | <geekosaur> | it doesn't do what you want, then |
| 2022-12-26 21:16:51 +0100 | <geekosaur> | it should be building a static binary (at least with respect to Haskell libraries) by default |
| 2022-12-26 21:17:30 +0100 | <geekosaur> | if you also want system-provided libraries to be static, stack can't do it by itself; you need to build in a container using a static libc (probably musl) |
| 2022-12-26 21:17:53 +0100 | APic | (apic@apic.name) (Quit: [TLS] Client upgrade) |
| 2022-12-26 21:18:33 +0100 | APic | (apic@apic.name) |
| 2022-12-26 21:22:10 +0100 | <justsomeguy> | To do this properly I'll have to look up a guide on doing static builds with stack. But for now, finding the binary that stack created will work -- the target system is a VM with the same version of Fedora Linux that I'm running on my dev machine. |
| 2022-12-26 21:22:23 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 264 seconds) |
| 2022-12-26 21:24:00 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-26 21:24:30 +0100 | <justsomeguy> | Distributing software with all of its dependencies has become a challenge for me recently -- in multiple programming languages. |
| 2022-12-26 21:25:18 +0100 | <geekosaur> | glibc really really does not like being linked statically |
| 2022-12-26 21:27:06 +0100 | <geekosaur> | unfortunately the linker does not have a "link everything except libc statically" flag, which makes it difficult to include (say) -lz static but not -lc |
| 2022-12-26 21:27:28 +0100 | <davean> | There are GHC options for static linking though |
| 2022-12-26 21:28:16 +0100 | <geekosaur> | right, but static is the default for Haskell libraries; as I said, it's the system libraries where this comes up |
| 2022-12-26 21:28:17 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) (Quit: [TLS] Client upgrade) |
| 2022-12-26 21:28:26 +0100 | <davean> | I'm specificly talking about system libraries |
| 2022-12-26 21:28:28 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2022-12-26 21:28:35 +0100 | <geekosaur> | unless you're on Arch using their broken install |
| 2022-12-26 21:28:44 +0100 | <davean> | I don't believe GHC has an option to staticize Haskell libs, only dynamicize them |
| 2022-12-26 21:29:16 +0100 | <geekosaur> | -static |
| 2022-12-26 21:29:22 +0100 | <geekosaur> | (see the option list_ |
| 2022-12-26 21:29:24 +0100 | <davean> | Huh, interesting |
| 2022-12-26 21:29:24 +0100 | <geekosaur> | ) |
| 2022-12-26 21:29:59 +0100 | <davean> | I'm specificly talking about -optl |
| 2022-12-26 21:30:25 +0100 | <davean> | Usually the solution is to link a very old glibc |
| 2022-12-26 21:30:45 +0100 | <geekosaur> | yeh, but that just passes the option to the linker. which again gets you into not being able to control which libraries, specifically including libc, it appliesa to |
| 2022-12-26 21:31:14 +0100 | <geekosaur> | so you end up with either an ancient glibc or something like musl |
| 2022-12-26 21:32:28 +0100 | <davean> | yah I mean the kernel interface isn't static either |
| 2022-12-26 21:32:31 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-12-26 21:32:43 +0100 | <davean> | which is one of 2 reasons you don't want to staticly link your libc |
| 2022-12-26 21:32:50 +0100 | <davean> | (the other being glibc specific) |
| 2022-12-26 21:35:26 +0100 | <davean> | I don't know of any issues you actually run into passing the static options though outside the kernel interface issue |
| 2022-12-26 21:35:58 +0100 | <davean> | You can tell it to use musl just fine |
| 2022-12-26 21:40:20 +0100 | <davean> | I've played with it a few times, just never used it. It doesn't seem to be a good way to solve any actual problems. |
| 2022-12-26 21:43:36 +0100 | <geekosaur> | a lot of people think they really need to bundle everything possible into their executables for use with multiple machines. I feel like at some point you're wasting your time because if the target machine isn't bare metal then it already has a libc and core libs like zlib etc. |
| 2022-12-26 21:43:53 +0100 | <geekosaur> | well, they're |
| 2022-12-26 21:44:53 +0100 | <davean> | well the problem there is you can't bundle the kernel |
| 2022-12-26 21:45:01 +0100 | <geekosaur> | exactly |
| 2022-12-26 21:45:08 +0100 | <davean> | and you need a libc that matches the kernel because thats where linux's stability line is |
| 2022-12-26 21:45:20 +0100 | <geekosaur> | and if you're not byundling the kernel them the system already has libc etc. |
| 2022-12-26 21:45:21 +0100 | <davean> | the linux kernel API isn't stable |
| 2022-12-26 21:46:52 +0100 | <geekosaur> | that said, glibc does stupid versioning things such that the stability line leaks into apps/libraries linked against it, such that you can't reliably copy them between e.g. debian and fedora |
| 2022-12-26 21:46:55 +0100 | <davean> | which is also why there is no such thing as static linking on linux - can't exist |
| 2022-12-26 21:47:17 +0100 | <davean> | even libc can't call the kernel staticly |
| 2022-12-26 21:47:25 +0100 | <geekosaur> | which is what people are trying to work around with static linking |
| 2022-12-26 21:48:40 +0100 | <davean> | You can link against a stripped down glibc if you're targetting glibc |
| 2022-12-26 21:48:52 +0100 | <davean> | though there's no reason to think your systems are glibc systems |
| 2022-12-26 21:48:59 +0100 | <davean> | or well a lot of systems don't jsut have one libc |
| 2022-12-26 21:49:05 +0100 | <justsomeguy> | So I guess I'm stuck creating containers for everything or testing against multiple versions of system-level libraries. |
| 2022-12-26 21:50:05 +0100 | justsomeguy | realizes that he only read half the conversation and understands even less |
| 2022-12-26 21:51:04 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2022-12-26 21:51:35 +0100 | <justsomeguy> | Yeah, just ignore my last two comments. |
| 2022-12-26 22:06:21 +0100 | kenran | (~user@user/kenran) |
| 2022-12-26 22:06:41 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-26 22:08:44 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-12-26 22:14:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-26 22:16:02 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-26 22:24:49 +0100 | <ddellacosta> | Can anyone tell me or point me at docs for how to convert a Dhall union (sum) type like this: let A = < Foo | Bar > into a Haskell data type using UnionDecoder? https://hackage.haskell.org/package/dhall-1.31.1/docs/Dhall.html#t:UnionDecoder Is there something obvious I'm missing in the docs? Because this seems fairly basic. And the tutorial suggests there is a way to do so, as it introduces an |
| 2022-12-26 22:24:51 +0100 | <ddellacosta> | `Empty` constructor--but I don't see how that is converted (https://hackage.haskell.org/package/dhall-1.41.2/docs/Dhall-Tutorial.html#g:13) |
| 2022-12-26 22:29:40 +0100 | <mauke[m]> | "the linux kernel API isn't stable" - since when? |
| 2022-12-26 22:31:39 +0100 | <davean> | mauke[m]: since ever |
| 2022-12-26 22:31:48 +0100 | <__monty__> | ddellacosta: Have you tried the example in the docs you linked? |
| 2022-12-26 22:33:01 +0100 | <geekosaur> | mauke[m], the documented API is stable but only because glibc patches over the ever-shifting kernel ABI. note that a new kernel always comes with the kernel-facing parts of glibc unless the distro doesn't use glibc at all |
| 2022-12-26 22:33:28 +0100 | <geekosaur> | at least it does on debianoids |
| 2022-12-26 22:33:46 +0100 | <davean> | Yah kernel calls are added and removed EVERY VERSION |
| 2022-12-26 22:34:00 +0100 | <davean> | plus its calling convention can even switch out per-boot |
| 2022-12-26 22:34:18 +0100 | <geekosaur> | but I recall RH being the same way, modulo that they tend to stick to a fixed kernel+abi and patch around it |
| 2022-12-26 22:34:58 +0100 | <geekosaur> | I've poked around enough in glibc to be pretty horrified at just how fragile the whole house of cards is |
| 2022-12-26 22:35:04 +0100 | <mauke[m]> | what are examples of removed system calls? |
| 2022-12-26 22:35:59 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-26 22:36:02 +0100 | <davean> | https://abi-laboratory.pro/?view=timeline&l=linux is some info |
| 2022-12-26 22:36:18 +0100 | <geekosaur> | usually not user exposed. he said "kernel calls" for a reason. the documented syscall interface via glibc stays the same, the implementation thereof flows like water |
| 2022-12-26 22:36:41 +0100 | <davean> | Right the ABI is specified *at the libc level* not the kernel level |
| 2022-12-26 22:36:45 +0100 | <davean> | and thats the core problem we're talking about! |
| 2022-12-26 22:36:54 +0100 | <mauke[m]> | I don't care about libc |
| 2022-12-26 22:37:25 +0100 | <davean> | mauke[m]: ok, well then theres no calls you can believe you have. |
| 2022-12-26 22:37:31 +0100 | <davean> | because all the specs are for libc |
| 2022-12-26 22:37:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-26 22:37:52 +0100 | <mauke[m]> | those are kernel-internal APIs; irrelevant for user space (unless I'm reading this diagram wrong) |
| 2022-12-26 22:38:16 +0100 | <mauke[m]> | as a I user, I don't really care that there is no stable binary driver interface |
| 2022-12-26 22:38:42 +0100 | <mauke[m]> | what matters to me is that the syscall ABI is stable, so my static binaries keep working |
| 2022-12-26 22:39:12 +0100 | <geekosaur> | but even thoose have been known to change. see the history of the stat syscalls |
| 2022-12-26 22:39:26 +0100 | <davean> | right, the reason you don't see them is the ABI is at the *libc level* |
| 2022-12-26 22:39:39 +0100 | <davean> | its specified what *libc provides* not how libc gets that from the kernel |
| 2022-12-26 22:40:01 +0100 | <mauke[m]> | not if I call into the kernel from asm, which is what I'm talking about |
| 2022-12-26 22:40:09 +0100 | <davean> | You litterly can't |
| 2022-12-26 22:40:15 +0100 | <davean> | Thats not something you can do on linuix |
| 2022-12-26 22:40:18 +0100 | <davean> | Like, litterly |
| 2022-12-26 22:40:32 +0100 | <davean> | linux loads a dynamic lib that says how to call the kernel |
| 2022-12-26 22:40:37 +0100 | <mauke[m]> | why not? |
| 2022-12-26 22:40:42 +0100 | <davean> | linux-vdso.so.1 |
| 2022-12-26 22:40:48 +0100 | <mauke[m]> | oh, that |
| 2022-12-26 22:40:57 +0100 | <davean> | You litterly can't call the kernel from ASM |
| 2022-12-26 22:41:01 +0100 | <mauke[m]> | yeah, that's a speed optimization |
| 2022-12-26 22:41:04 +0100 | <davean> | No its not |
| 2022-12-26 22:41:13 +0100 | <mauke[m]> | but also unrelated to libc |
| 2022-12-26 22:41:47 +0100 | <davean> | the kernel does not consistently provide a call system |
| 2022-12-26 22:41:54 +0100 | <davean> | you have to use linux-vdso.so.1 |
| 2022-12-26 22:42:19 +0100 | <davean> | There are ASM implimentations that will work a decent bit of the time, but definately not reliably |
| 2022-12-26 22:42:33 +0100 | <mauke[m]> | except it does and I've used int $128 |
| 2022-12-26 22:42:55 +0100 | <davean> | When int is enabled, sure - which it might or might not be |
| 2022-12-26 22:43:23 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-12-26 22:43:43 +0100 | JhonPedroza[m] | (~jfpedroza@2001:470:69fc:105::2:e2a4) |
| 2022-12-26 22:44:11 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2022-12-26 22:45:17 +0100 | <davean> | seriously though, you can test this yourself, try to boot a modern user space with like a 2.4 kernel |
| 2022-12-26 22:45:21 +0100 | <davean> | watch it all break :-p |
| 2022-12-26 22:45:27 +0100 | <davean> | See how much you have to fix |
| 2022-12-26 22:45:53 +0100 | <davean> | like IIRC libnuma has changed a lot in 5.x |
| 2022-12-26 22:46:15 +0100 | <davean> | as has some of the statfs and mounting stuff |
| 2022-12-26 22:46:42 +0100 | <mauke[m]> | that sounds like the opposite problem |
| 2022-12-26 22:46:54 +0100 | <mauke[m]> | i.e. userspace stuff taking advantage of newer kernel features |
| 2022-12-26 22:47:31 +0100 | <davean> | Sure do it the other direction too |
| 2022-12-26 22:47:42 +0100 | <davean> | neither will work |
| 2022-12-26 22:48:14 +0100 | <davean> | been there, dealt with both |
| 2022-12-26 22:48:24 +0100 | <davean> | had to fix them by hand |
| 2022-12-26 22:51:10 +0100 | <mauke[m]> | how did it break? |
| 2022-12-26 22:51:20 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-12-26 23:09:48 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 23:16:15 +0100 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-12-26 23:17:07 +0100 | sagax | (~sagax_nb@user/sagax) (Read error: Connection reset by peer) |
| 2022-12-26 23:19:30 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-26 23:19:55 +0100 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-26 23:22:30 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-26 23:22:34 +0100 | cheater_ | cheater |
| 2022-12-26 23:23:19 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-12-26 23:25:32 +0100 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-12-26 23:35:13 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-12-26 23:41:28 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-12-26 23:44:47 +0100 | money | polo |
| 2022-12-26 23:45:29 +0100 | polo | Gambino |
| 2022-12-26 23:45:49 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-26 23:47:49 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-12-26 23:48:09 +0100 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-12-26 23:49:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-12-26 23:51:37 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-26 23:55:39 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |