| 2024-06-01 00:02:07 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Ping timeout: 255 seconds) |
| 2024-06-01 00:03:05 +0200 | ekurtz | (~ekurtz@136.62.248.55) (Remote host closed the connection) |
| 2024-06-01 00:04:58 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-01 00:06:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 00:17:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-06-01 00:19:58 +0200 | <haskellbridge> | <sm> hey, that looks fun |
| 2024-06-01 00:20:17 +0200 | <haskellbridge> | <sm> * fun. https://hackage.haskell.org/package/spoon-0.3.1/docs/Control-Spoon.html |
| 2024-06-01 00:23:17 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 2024-06-01 00:24:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-01 00:28:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 00:35:15 +0200 | gugu256 | (~gugu256@lfbn-idf2-1-579-126.w86-246.abo.wanadoo.fr) |
| 2024-06-01 00:38:25 +0200 | sm | (~znc@plaintextaccounting/sm) () |
| 2024-06-01 00:39:19 +0200 | <EvanR> | spoonWithHandles... teaspoonWithHandles xD |
| 2024-06-01 00:39:28 +0200 | <EvanR> | how many handles does your spoon need |
| 2024-06-01 00:39:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 00:39:45 +0200 | <Rembane> | All the handles! |
| 2024-06-01 00:40:15 +0200 | <monochrom> | Bottom = It's handles all the way down |
| 2024-06-01 00:50:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2024-06-01 00:51:28 +0200 | gugu256 | (~gugu256@lfbn-idf2-1-579-126.w86-246.abo.wanadoo.fr) (Quit: Leaving) |
| 2024-06-01 00:53:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-01 01:02:32 +0200 | sm | (~znc@plaintextaccounting/sm) |
| 2024-06-01 01:09:54 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-06-01 01:13:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-01 01:15:23 +0200 | td_ | (~td@i53870933.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-06-01 01:19:44 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 260 seconds) |
| 2024-06-01 01:19:52 +0200 | td_ | (~td@i53870933.versanet.de) |
| 2024-06-01 01:27:19 +0200 | phma | (phma@2001:5b0:211c:60e8:6c16:6d7e:9de:d11c) (Read error: Connection reset by peer) |
| 2024-06-01 01:28:14 +0200 | phma | (phma@2001:5b0:211c:d168:4d73:dd50:ac71:9c42) |
| 2024-06-01 01:28:52 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-06-01 01:39:46 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-06-01 01:49:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 02:08:03 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-01 02:21:25 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-06-01 02:22:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-06-01 02:23:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-01 02:41:59 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-06-01 03:04:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-01 03:19:05 +0200 | Lears | (~Leary@user/Leary/x-0910699) |
| 2024-06-01 03:21:41 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 268 seconds) |
| 2024-06-01 03:22:59 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2024-06-01 03:49:06 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.84) |
| 2024-06-01 03:49:21 +0200 | pavonia_ | (~user@user/siracusa) |
| 2024-06-01 03:49:54 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-01 03:50:31 +0200 | monochrm | (trebla@216.138.220.146) |
| 2024-06-01 03:50:35 +0200 | mxs9 | (~mxs@user/mxs) |
| 2024-06-01 03:50:35 +0200 | Luj4 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-06-01 03:50:42 +0200 | fr33domlover4 | (~fr33domlo@towards.vision) |
| 2024-06-01 03:51:05 +0200 | amjoseph_ | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-06-01 03:51:06 +0200 | patrl_ | (~patrl@user/patrl) |
| 2024-06-01 03:51:34 +0200 | Fangs_ | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-06-01 03:51:36 +0200 | rembo10_ | (~rembo10@main.remulis.com) |
| 2024-06-01 03:51:40 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2024-06-01 03:51:41 +0200 | dtman34_ | (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) |
| 2024-06-01 03:51:43 +0200 | johnw_ | (~johnw@69.62.242.138) |
| 2024-06-01 03:52:09 +0200 | td__ | (~td@i53870933.versanet.de) |
| 2024-06-01 03:52:13 +0200 | pandeyan | (~pandeyan@135-180-52-213.fiber.dynamic.sonic.net) |
| 2024-06-01 03:52:19 +0200 | __________ | (~nobody@user/noodly) |
| 2024-06-01 03:52:42 +0200 | mjacob_ | (~mjacob@adrastea.uberspace.de) |
| 2024-06-01 03:52:51 +0200 | sviermsung | (~s4msung@user/s4msung) |
| 2024-06-01 03:52:53 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Read error: Connection reset by peer) |
| 2024-06-01 03:52:53 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:53 +0200 | AlexZenon | (~alzenon@178.34.150.84) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:553c:bc43:c586:7cbd) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 03:52:54 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Quit: ZNC - http://znc.in) |
| 2024-06-01 03:52:54 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2024-06-01 03:52:54 +0200 | xelxebar_ | (~xelxebar@wilsonb.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2024-06-01 03:52:54 +0200 | anpad | (~pandeyan@user/anpad) (Remote host closed the connection) |
| 2024-06-01 03:52:54 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Remote host closed the connection) |
| 2024-06-01 03:52:54 +0200 | fr33domlover4 | fr33domlover |
| 2024-06-01 03:52:54 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | mxs | (~mxs@user/mxs) (Read error: Connection reset by peer) |
| 2024-06-01 03:52:54 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Read error: Connection reset by peer) |
| 2024-06-01 03:52:54 +0200 | mxs9 | mxs |
| 2024-06-01 03:52:54 +0200 | AlexNoo | (~AlexNoo@178.34.150.84) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | m1dnight | (~christoph@82.146.125.185) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:54 +0200 | visilii_ | (~visilii@213.24.125.2) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:55 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:55 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:55 +0200 | s4msung | (~s4msung@user/s4msung) (Ping timeout: 268 seconds) |
| 2024-06-01 03:52:55 +0200 | amjoseph_ | amjoseph |
| 2024-06-01 03:52:55 +0200 | Fangs_ | Fangs |
| 2024-06-01 03:52:55 +0200 | Luj4 | Luj |
| 2024-06-01 03:52:57 +0200 | m1dnight_ | (~christoph@82.146.125.185) |
| 2024-06-01 03:53:02 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-06-01 03:53:03 +0200 | pavonia_ | pavonia |
| 2024-06-01 03:53:08 +0200 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 268 seconds) |
| 2024-06-01 03:53:08 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 268 seconds) |
| 2024-06-01 03:53:08 +0200 | patrl | (~patrl@user/patrl) (Ping timeout: 268 seconds) |
| 2024-06-01 03:53:08 +0200 | patrl_ | patrl |
| 2024-06-01 03:53:09 +0200 | monochrm | monochrom |
| 2024-06-01 03:54:45 +0200 | pointlessslippe- | (~pointless@212.82.82.3) |
| 2024-06-01 03:54:55 +0200 | AlexZenon | (~alzenon@178.34.150.84) |
| 2024-06-01 03:55:21 +0200 | visilii | (~visilii@213.24.125.2) |
| 2024-06-01 04:02:12 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 04:02:16 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-01 04:03:01 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-06-01 04:03:42 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-01 04:03:53 +0200 | pandeyan | anpad |
| 2024-06-01 04:11:15 +0200 | anpad | (~pandeyan@135-180-52-213.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 04:12:37 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-06-01 04:22:28 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 04:25:29 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-06-01 04:31:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 04:32:15 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 04:37:04 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-06-01 04:37:46 +0200 | gastus | (~gastus@5.83.191.31) |
| 2024-06-01 04:41:03 +0200 | gastus_ | (~gastus@185.6.123.171) (Ping timeout: 272 seconds) |
| 2024-06-01 04:43:18 +0200 | brence | (~brence@31.94.56.198) |
| 2024-06-01 04:43:49 +0200 | glguy | (g@libera/staff/glguy) (Quit: Quit) |
| 2024-06-01 04:44:54 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-06-01 04:46:32 +0200 | brence | (~brence@31.94.56.198) (Client Quit) |
| 2024-06-01 04:51:06 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-01 04:52:02 +0200 | td__ | (~td@i53870933.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-01 04:53:17 +0200 | td_ | (~td@i53870928.versanet.de) |
| 2024-06-01 04:56:54 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-01 05:00:14 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-06-01 05:06:21 +0200 | poscat | (~poscat@user/poscat) |
| 2024-06-01 05:14:43 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 260 seconds) |
| 2024-06-01 05:15:23 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-01 05:20:05 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:ed03:9e52:504:2b59) (Remote host closed the connection) |
| 2024-06-01 05:21:35 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:bb80:7a48:c3e4:b1fe) |
| 2024-06-01 05:25:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-01 05:28:25 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2024-06-01 05:30:19 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-01 05:32:03 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-06-01 05:32:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-01 05:43:05 +0200 | <mjrosenb> | no takers on my nix/ghc+js question? |
| 2024-06-01 05:44:59 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-06-01 05:45:13 +0200 | xigua | (~xigua@user/xigua) |
| 2024-06-01 05:56:08 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:0:e082:74dd:a9a3:528e) |
| 2024-06-01 05:56:43 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:ba00:d457:6638:99ad:96fc) (Ping timeout: 255 seconds) |
| 2024-06-01 05:59:33 +0200 | <EvanR> | can you please repeat the question |
| 2024-06-01 06:01:12 +0200 | <Lears> | mjrosenb: It wasn't very precisely posed. All I can say is that running the `nix-shell` invocation at the top of the readme doesn't produce any errors on my machine (though I did kill it for taking too long). |
| 2024-06-01 06:02:20 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2024-06-01 06:05:07 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-06-01 06:12:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 06:17:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-01 06:20:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 06:27:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-01 06:28:29 +0200 | <mjrosenb> | Lears: the one for the javascript? `nix-shell ~/ghc.nix --arg withEMSDK true`? |
| 2024-06-01 06:28:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-01 06:32:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 06:39:27 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Read error: Connection reset by peer) |
| 2024-06-01 06:39:42 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-06-01 06:41:13 +0200 | <Lears> | mjrosenb: No, I only tried the one that didn't require cloning the repo. But poking around a bit more, I guess you either want `nix-shell ~/ghc.nix/shell.nix --arg withEMSDK true` or `nix-shell ~/ghc.nix --attr devShells.<system>.default --arg withEMSDK true`. |
| 2024-06-01 06:44:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-01 06:45:36 +0200 | <Lears> | In the "Legacy nix-commands support" section it notes "be careful to specify the path to the shell.nix, not to the default.nix." They didn't heed their own advice. |
| 2024-06-01 06:47:48 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-06-01 06:48:39 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-06-01 06:51:29 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-01 06:53:25 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-06-01 06:57:13 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-06-01 06:58:04 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-01 07:12:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:75ce:7dd6:5a9:4d8a) (Ping timeout: 268 seconds) |
| 2024-06-01 07:23:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:75ce:7dd6:5a9:4d8a) |
| 2024-06-01 07:24:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-06-01 07:45:30 +0200 | kadir | (~user@78.167.91.218) |
| 2024-06-01 07:45:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 07:46:30 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 07:47:50 +0200 | img | (~img@user/img) |
| 2024-06-01 07:49:38 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-06-01 07:52:33 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-06-01 07:53:38 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-06-01 07:56:37 +0200 | rvalue- | rvalue |
| 2024-06-01 08:10:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-06-01 08:23:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 08:42:36 +0200 | mei | (~mei@user/mei) (Ping timeout: 260 seconds) |
| 2024-06-01 08:43:35 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-01 08:49:35 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-01 08:52:18 +0200 | phma_ | (~phma@host-67-44-208-88.hnremote.net) |
| 2024-06-01 08:52:34 +0200 | lol_ | (~lol@2603:3016:1e01:b940:ddd9:d9a8:9614:5623) |
| 2024-06-01 08:53:17 +0200 | lol__ | (~lol@2603:3016:1e01:b940:ddd9:d9a8:9614:5623) |
| 2024-06-01 08:54:01 +0200 | zer0bitz_ | zer0bitz |
| 2024-06-01 08:55:40 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:3dad:a55c:b7ef:b746) (Ping timeout: 260 seconds) |
| 2024-06-01 08:55:53 +0200 | phma | (phma@2001:5b0:211c:d168:4d73:dd50:ac71:9c42) (Ping timeout: 256 seconds) |
| 2024-06-01 08:57:09 +0200 | lol_ | (~lol@2603:3016:1e01:b940:ddd9:d9a8:9614:5623) (Ping timeout: 268 seconds) |
| 2024-06-01 09:05:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 09:06:18 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Quit: WeeChat 4.2.2) |
| 2024-06-01 09:06:34 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-06-01 09:06:36 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
| 2024-06-01 09:07:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-01 09:08:07 +0200 | Lears | (~Leary@user/Leary/x-0910699) (Ping timeout: 246 seconds) |
| 2024-06-01 09:08:09 +0200 | tolt_ | (~weechat-h@li219-154.members.linode.com) |
| 2024-06-01 09:11:39 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 268 seconds) |
| 2024-06-01 09:16:25 +0200 | phma_ | phma |
| 2024-06-01 09:17:40 +0200 | wheatengineer | (~frederik@p200300f63f3bd200fc4477f4e7e8b3e6.dip0.t-ipconnect.de) |
| 2024-06-01 09:35:04 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-06-01 09:38:06 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-06-01 09:38:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-01 09:55:43 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-06-01 09:56:24 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-06-01 09:59:26 +0200 | euleritian | (~euleritia@dynamic-176-006-178-254.176.6.pool.telefonica.de) |
| 2024-06-01 10:02:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-06-01 10:04:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-06-01 10:05:59 +0200 | rosco | (~rosco@90.58.221.226) |
| 2024-06-01 10:08:46 +0200 | kadir | (~user@78.167.91.218) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2024-06-01 10:11:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-01 10:15:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-01 10:22:51 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-06-01 10:26:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-01 10:28:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-01 10:33:33 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-01 10:35:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-01 10:37:49 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-06-01 10:40:09 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 272 seconds) |
| 2024-06-01 10:44:43 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 246 seconds) |
| 2024-06-01 10:47:23 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-06-01 10:48:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-01 10:51:31 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-06-01 10:58:21 +0200 | wheatengineer | (~frederik@p200300f63f3bd200fc4477f4e7e8b3e6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-06-01 11:00:50 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-01 11:01:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-01 11:03:27 +0200 | danse-nr3 | (~danse-nr3@151.47.239.9) |
| 2024-06-01 11:05:32 +0200 | danse-nr3 | (~danse-nr3@151.47.239.9) (Remote host closed the connection) |
| 2024-06-01 11:33:56 +0200 | <lxsameer> | b |
| 2024-06-01 12:07:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 12:15:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-01 12:21:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-06-01 12:25:17 +0200 | meritamen | (~user@user/meritamen) |
| 2024-06-01 12:25:59 +0200 | meritamen | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-06-01 12:26:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 12:26:40 +0200 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2024-06-01 12:26:40 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 2024-06-01 12:26:40 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2024-06-01 12:26:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2024-06-01 12:26:54 +0200 | califax_ | (~califax@user/califx) |
| 2024-06-01 12:27:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-01 12:27:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-01 12:27:43 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-01 12:28:10 +0200 | califax_ | califax |
| 2024-06-01 12:30:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-01 12:33:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-01 12:35:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 12:35:35 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 12:38:22 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-01 12:39:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-01 12:39:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2024-06-01 12:47:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-06-01 12:47:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-01 12:54:55 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-06-01 13:03:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-06-01 13:03:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-01 13:11:29 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-06-01 13:26:56 +0200 | Taneb0 | Taneb |
| 2024-06-01 13:31:17 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2024-06-01 13:53:06 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-01 13:57:37 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-01 14:07:44 +0200 | sviermsung | (~s4msung@user/s4msung) (Quit: sviermsung) |
| 2024-06-01 14:07:44 +0200 | yushyin | (PYLyYfdKtk@mail.karif.server-speed.net) (Quit: WeeChat 4.0.4) |
| 2024-06-01 14:07:44 +0200 | noctux1 | (Hfi6K5vcqP@user/noctux) (Quit: WeeChat 4.0.4) |
| 2024-06-01 14:08:10 +0200 | noctuks | (cnRVbgraeY@user/noctux) |
| 2024-06-01 14:08:15 +0200 | yushyin | (9eZLiShRic@mail.karif.server-speed.net) |
| 2024-06-01 14:08:15 +0200 | s4msung | (ZJiIIOLagZ@user/s4msung) |
| 2024-06-01 14:17:40 +0200 | finsternis | (~X@23.226.237.192) |
| 2024-06-01 14:18:13 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 246 seconds) |
| 2024-06-01 14:25:07 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-06-01 14:34:30 +0200 | poscat | (~poscat@user/poscat) |
| 2024-06-01 14:34:30 +0200 | euleritian | (~euleritia@dynamic-176-006-178-254.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-01 14:57:36 +0200 | AlexNoo_ | AlexNoo |
| 2024-06-01 14:59:23 +0200 | michalz | (~michalz@185.246.207.193) |
| 2024-06-01 15:00:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 15:02:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2024-06-01 15:03:37 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-01 15:09:19 +0200 | acidjnk | (~acidjnk@p200300d6e714dc50c5d26c84eddccd81.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-06-01 15:11:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-01 15:12:00 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-01 15:12:02 +0200 | rosco | (~rosco@90.58.221.226) (Quit: Lost terminal) |
| 2024-06-01 15:12:34 +0200 | <Midjak> | Hi |
| 2024-06-01 15:13:44 +0200 | <Midjak> | Is it possible to make as a subset of Integer ? say a type on the range 0-42 or 3-9 |
| 2024-06-01 15:14:12 +0200 | <Midjak> | *a type as a subset of integer |
| 2024-06-01 15:15:55 +0200 | <Midjak> | There is a library range but I would like to make my own type |
| 2024-06-01 15:16:47 +0200 | <jackdk> | A library like refined or rerefined is probably your best best, if you're talking about "integer known to be within bounds" and not "interval arithmetic" |
| 2024-06-01 15:17:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 15:18:28 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-06-01 15:19:33 +0200 | <Midjak> | thanks. I am not sure about the difference between this two concepts |
| 2024-06-01 15:19:48 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-01 15:20:08 +0200 | <Midjak> | I am looking refined |
| 2024-06-01 15:20:52 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:4a0:d3:f22e:82ec) |
| 2024-06-01 15:21:45 +0200 | <Midjak> | There is no type for Zn modulo sets ? it's not necessarily what I'm looking for, but I'm curious to know if it exists. |
| 2024-06-01 15:22:14 +0200 | rosco | (~rosco@90.58.221.226) |
| 2024-06-01 15:24:01 +0200 | <Midjak> | a type in haskell for ring of integer modulo m I mean |
| 2024-06-01 15:24:16 +0200 | <Midjak> | (have just checked) |
| 2024-06-01 15:25:17 +0200 | euleritian | (~euleritia@dynamic-176-006-176-036.176.6.pool.telefonica.de) |
| 2024-06-01 15:25:49 +0200 | <Midjak> | refined looks what I want anyway |
| 2024-06-01 15:26:54 +0200 | <ncf> | there's a few libraries for modular arithmetic |
| 2024-06-01 15:27:06 +0200 | <Midjak> | ok |
| 2024-06-01 15:29:15 +0200 | danza | (~francesco@151.47.238.157) |
| 2024-06-01 15:32:21 +0200 | <Midjak> | I found this one https://hackage.haskell.org/package/modular-arithmetic-2.0.0.3/docs/Data-Modular.html interesting |
| 2024-06-01 15:32:31 +0200 | <Midjak> | thank you |
| 2024-06-01 15:37:34 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:4a0:d3:f22e:82ec) (Quit: Leaving) |
| 2024-06-01 15:41:04 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 2024-06-01 15:48:46 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-01 15:52:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 15:58:20 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-06-01 16:01:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-06-01 16:03:09 +0200 | euleritian | (~euleritia@dynamic-176-006-176-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-01 16:03:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 16:28:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-01 16:31:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 16:32:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 16:58:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-01 17:01:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 17:10:44 +0200 | ikimmit | (~ikimmit@37.159.126.127) |
| 2024-06-01 17:11:07 +0200 | ikimmit | (~ikimmit@37.159.126.127) (Remote host closed the connection) |
| 2024-06-01 17:11:58 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-01 17:13:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-01 17:13:56 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-06-01 17:14:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 17:20:37 +0200 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2024-06-01 17:31:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-01 17:36:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-01 17:45:38 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-06-01 17:53:51 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-01 17:56:07 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-06-01 17:57:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 17:59:32 +0200 | acidjnk | (~acidjnk@p200300d6e714dc29c5d26c84eddccd81.dip0.t-ipconnect.de) |
| 2024-06-01 18:03:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-01 18:03:55 +0200 | euleritian | (~euleritia@dynamic-176-006-176-036.176.6.pool.telefonica.de) |
| 2024-06-01 18:04:34 +0200 | euleritian | (~euleritia@dynamic-176-006-176-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-01 18:04:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 18:07:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 18:13:24 +0200 | mht- | (~mht@2a03:b0c0:3:e0::1e2:c001) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2024-06-01 18:15:56 +0200 | <lxsameer> | do you have anything against using the effectful library? |
| 2024-06-01 18:39:54 +0200 | yin | (~yin@user/zero) |
| 2024-06-01 18:41:09 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-06-01 18:42:01 +0200 | <yin> | Midjak: data N = N0 | N1 | N2 | N3 | N4 | N5 | N6 | N7 | N8 | N9 | N10 | N11 | N12 | N13 | N14 | N15 | N16 | N17 | N18 | N19 | N20 | N21 | N22 | N23 | N24 | N25 | N26 | N27 | N28 | N29 | N30 | N31 | N32 | N33 | N34 | N35 | N36 | N37 | N38 | N39 | N40 | N41 | N42 |
| 2024-06-01 18:42:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-01 18:42:52 +0200 | <danza> | do you have anything against it lxsameer? |
| 2024-06-01 18:44:35 +0200 | <lxsameer> | danza: no, but I'm a haskell noob |
| 2024-06-01 18:44:57 +0200 | <lxsameer> | I want to know whether it has any downsides or things like that |
| 2024-06-01 18:45:21 +0200 | <danza> | i guess you answered yourself |
| 2024-06-01 18:45:44 +0200 | <lxsameer> | danza: how? |
| 2024-06-01 18:46:33 +0200 | <glguy> | lxsameer: I don't have anything "against" it, but I certainly wouldn't use it without a compelling reason that I haven't had yet. |
| 2024-06-01 18:47:26 +0200 | <lxsameer> | glguy: interesting. Do you manually implement the effect system? |
| 2024-06-01 18:47:34 +0200 | <glguy> | no |
| 2024-06-01 18:47:55 +0200 | <lxsameer> | glguy: what do you use? mtl? |
| 2024-06-01 18:47:58 +0200 | <yin> | Midjak: on a more serious note, you can look into refinement types: https://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf |
| 2024-06-01 18:48:33 +0200 | <glguy> | lxsameer: I don't use mtl. If I'm using transformers is for a very local purpose or behind a newtype to help build an application-specific abstraction. |
| 2024-06-01 18:49:12 +0200 | <lxsameer> | ah I see |
| 2024-06-01 18:52:52 +0200 | <monochrom> | I think that danza means that a beginner need not worry about effect systems so early. |
| 2024-06-01 18:53:17 +0200 | <lxsameer> | thank you |
| 2024-06-01 18:53:52 +0200 | <monochrom> | But I can also see that in "the real world" there is a religion that tells beginners to rush ahead, skip basics, jump straight to "best practice of advanced most elite experts". |
| 2024-06-01 18:54:31 +0200 | <lxsameer> | I see what you mean |
| 2024-06-01 18:54:53 +0200 | <glguy> | Though in this case complex effect systems aren't a best practice for elite experts though they're a more advanced topic |
| 2024-06-01 18:55:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 18:55:15 +0200 | <monochrom> | For example how the js and node.js people, the rust people, the java people, ... everyone, tell beginners "day 1: learn our package system, learn our project file format". As if the priority is not to learn the language itself first. |
| 2024-06-01 18:56:16 +0200 | <EvanR> | because all languages are the same and only differ in the library support community and hype train |
| 2024-06-01 18:56:17 +0200 | <Midjak> | thanks yin I will read this paper. I found this article which give a good idea of refinement types http://nikita-volkov.github.io/refined/ But I will read this paper thank you |
| 2024-06-01 18:56:43 +0200 | <EvanR> | horse racing and we're basing all wagers on the name of the horse xD |
| 2024-06-01 18:57:53 +0200 | <monochrom> | I can see the attraction of that religion. Many beginners expect to just cargo-cult an existing complete project and just change 5 lines of code. |
| 2024-06-01 18:58:06 +0200 | <yin> | Midjak: depending on the current state of dependent haskell (which i'm not sure about) you can also explore some interesting type-level possibilites |
| 2024-06-01 18:58:30 +0200 | <monochrom> | It's a quick way of making money. I just don't subscribe to that attitude. |
| 2024-06-01 18:58:57 +0200 | <Midjak> | Yes I'm just starting to familiarize myself with newtype, so I think I'm going to make some progress here. |
| 2024-06-01 18:59:40 +0200 | <danza> | the rest of the beginners just expect to click the right buttons on what they cargo-culted long ago |
| 2024-06-01 19:00:19 +0200 | <Midjak> | cargo is a good package system :-) |
| 2024-06-01 19:01:00 +0200 | <Midjak> | just kidding of course |
| 2024-06-01 19:01:12 +0200 | <danza> | careful you are fueling the hyped-package-systems hypothesis |
| 2024-06-01 19:02:14 +0200 | <danza> | just thrashing of course |
| 2024-06-01 19:05:40 +0200 | lisq | (~quassel@lis.moe) () |
| 2024-06-01 19:05:50 +0200 | lisq | (~quassel@lis.moe) |
| 2024-06-01 19:06:45 +0200 | <danza> | i don't know, i feel a bit odd to mention hype about package systems. Maybe there is something i am missing here, but they seem to be that type of infrastructure that hardly gets undeserved credit? |
| 2024-06-01 19:07:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 19:07:43 +0200 | <monochrom> | I am not against package systems. I am against s/learn/cargo-cult/ |
| 2024-06-01 19:08:53 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-01 19:08:55 +0200 | <danza> | but some tools are designed not to require learning |
| 2024-06-01 19:09:01 +0200 | <monochrom> | Package systems get lateral damage from me because, rightfully, a serious project is very likely to need 100 libraries from the community repo. But then cargo-culting implies that the beginner mimics that too. |
| 2024-06-01 19:09:11 +0200 | <Midjak> | I don't feel most of beginner refuse to learn and prefer apply recipe from experts. It's not my case anyway |
| 2024-06-01 19:09:18 +0200 | <EvanR> | package systems, cargo culting, I see what you did there |
| 2024-06-01 19:09:51 +0200 | <monochrom> | Not my fault that the rust people chose that name. It's their pun. :) |
| 2024-06-01 19:10:10 +0200 | <Midjak> | good documentation is just hard to find |
| 2024-06-01 19:10:30 +0200 | <monochrom> | And even when I speak against cargo-culting I am sure I can stop no one. |
| 2024-06-01 19:10:45 +0200 | <Midjak> | maybe for this reason |
| 2024-06-01 19:10:50 +0200 | <monochrom> | So, s/some tools/some ways of life/ |
| 2024-06-01 19:11:32 +0200 | <danza> | the number of libraries depends on their granularity and, albeit "library" as a concept was created when they used to be bigger, i see no reason why they would forever stay so |
| 2024-06-01 19:12:33 +0200 | <monochrom> | No, Midjak, IMO that's the effect not the cause. First, a couple decades ago we got an influx of people who didn't want to learn, and they became the majority. Then, with no market for good docs, good docs went extinct. |
| 2024-06-01 19:13:33 +0200 | <danza> | it's sad but i must recall there haven't really been many incentives for free quality |
| 2024-06-01 19:14:36 +0200 | <Midjak> | yes too bad. the problem is also the publishing crisis caused by copying. It's a real problem. 10 years ago, we had some very good books. |
| 2024-06-01 19:15:55 +0200 | danza_ | (~francesco@151.47.230.180) |
| 2024-06-01 19:17:18 +0200 | <danza_> | do you think that was caused by copying? Where by "copying" you mean? |
| 2024-06-01 19:17:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 19:18:42 +0200 | <Midjak> | I mean book are easy to find in their numeric version on internet. So authors and editors have no interest to publish book |
| 2024-06-01 19:19:04 +0200 | danza | (~francesco@151.47.238.157) (Ping timeout: 268 seconds) |
| 2024-06-01 19:19:23 +0200 | <lxsameer> | EvanR: monochrom thanks for the insight folks. To share my point of view as an haskell noob. I value experience of others. I like to have different views on things from libs to lang features it helps me grow |
| 2024-06-01 19:20:21 +0200 | <danza_> | i see, i am a bit skeptical about that analysis Midjak |
| 2024-06-01 19:22:15 +0200 | <Midjak> | On the other hand, there were a lot of bad books back then too. |
| 2024-06-01 19:25:19 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-06-01 19:26:17 +0200 | <Midjak> | I don't know I have the feeling I'm running out of them, but on the other hand I'm becoming more and more demanding. |
| 2024-06-01 19:28:21 +0200 | <Midjak> | In any case, there are people who really want to learn, and I'm one of them. |
| 2024-06-01 19:29:45 +0200 | <danza_> | i am glad for you, and bad books is hardly going to be a problem. Literature shrinks slowly |
| 2024-06-01 19:31:30 +0200 | <Midjak> | depends the subject. Sure theory doesn't need to have a book every year |
| 2024-06-01 19:33:25 +0200 | <danza_> | i meant that the pace at with humanity loses track of literary records is slow currently. Slower that the pace at which forms of life cease to exist for instance |
| 2024-06-01 19:33:34 +0200 | <Midjak> | Haskell has very good free resource on internet to learn too |
| 2024-06-01 19:34:36 +0200 | <danza_> | *at which |
| 2024-06-01 19:35:13 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2024-06-01 19:35:20 +0200 | <Midjak> | it's not possible... humanity is form of life |
| 2024-06-01 19:35:35 +0200 | <Midjak> | or maybe I misunderstood |
| 2024-06-01 19:36:12 +0200 | <EvanR> | the search for intelligent life on earth continues |
| 2024-06-01 19:38:59 +0200 | <Midjak> | Unless we envisage systems capable of maintaining themselves without humans and retaining the accumulated knowledge. |
| 2024-06-01 19:39:05 +0200 | <danza_> | i wonder whether Darwin had ever imagined the principle of evolutive selection getting flipped, but someone did after him: too eager predators do not end well |
| 2024-06-01 19:40:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 19:40:39 +0200 | <Midjak> | I think it tends towards equilibrium - there's always some prey that survives and the population regulates itself naturally. |
| 2024-06-01 19:41:03 +0200 | <Midjak> | maybe that's what we're experiencing right now. |
| 2024-06-01 19:41:11 +0200 | tremon | (~tremon@83.80.159.219) |
| 2024-06-01 19:41:44 +0200 | <haskellbridge> | <zwro> the logistic fmap |
| 2024-06-01 19:42:12 +0200 | <danza_> | that sounds nice only because we can easily think of animals without empathy, therefore not worrying about turbolences in their balances |
| 2024-06-01 19:42:38 +0200 | <monochrom> | lxsameer: Effect systems, especially those emphaszing algebraic effects, are poised to be the next important concept, I think. No doubt you will have to learn it one day. But they require you to learn basic concepts first. |
| 2024-06-01 19:43:53 +0200 | <lxsameer> | monochrom: like what? |
| 2024-06-01 19:44:04 +0200 | <monochrom> | types and continuations. |
| 2024-06-01 19:45:52 +0200 | <danza_> | huh types and continuations on the same -basicity- -basicality- (okay i don't know how to spell this) line? |
| 2024-06-01 19:46:40 +0200 | <monochrom> | OK! s/basic/prerequisite/ better? |
| 2024-06-01 19:47:39 +0200 | <lxsameer> | ok, i know about them. obviously it might not be the right level of understanding. But I'm familiar with type theory in and a bit of category theory as well |
| 2024-06-01 19:47:39 +0200 | <danza_> | continuations are not even definable in a way i find satisfying, and i never feel the need for the concept. Whereas types... |
| 2024-06-01 19:48:16 +0200 | <Midjak> | too bad I was just about to ask |
| 2024-06-01 19:48:27 +0200 | andrewboltachev | (~andrey@178.141.226.53) |
| 2024-06-01 19:49:46 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-06-01 19:50:08 +0200 | <Midjak> | do you talk this continaution https://en.wikipedia.org/wiki/Continuation-passing_style ? |
| 2024-06-01 19:50:30 +0200 | haskellbridge | zwro https://blog.poisson.chat/posts/2019-10-27-continuation-submonads.html |
| 2024-06-01 19:50:35 +0200 | <monochrom> | Perhaps that's just because it's broad and vague. In every context, for every subclass apprioriate for that context, there is a precise definition. But then you get a hundred different definitions and they all look different. |
| 2024-06-01 19:50:58 +0200 | <monochrom> | (while annoying they still feel like the same idea) |
| 2024-06-01 19:51:27 +0200 | <Midjak> | next chapter on my reading for me |
| 2024-06-01 19:51:48 +0200 | <Midjak> | I'm getting there |
| 2024-06-01 19:52:16 +0200 | <haskellbridge> | <zwro> i've been "getting there" for years |
| 2024-06-01 19:52:23 +0200 | <haskellbridge> | <zwro> there's no bottom |
| 2024-06-01 19:53:10 +0200 | <monochrom> | For example, suppose you stay at the high level of lambda calculus terms. Suppose you have also chosen an evaluation order, and it is deterministic. Then every lambda term is uniquely factorable as redex and "the rest". Definition: continuation = "the rest", aka "context". |
| 2024-06-01 19:53:31 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2024-06-01 19:53:43 +0200 | <monochrom> | OTOH, if you're at the asm level, then continuation is your stack and maybe also current register values. |
| 2024-06-01 19:53:55 +0200 | <Midjak> | well I am on the very beginning of my dunning krugger curve |
| 2024-06-01 19:54:12 +0200 | <monochrom> | And then there are delimited continuations etc etc. |
| 2024-06-01 19:54:22 +0200 | <andrewboltachev> | geekosaur: just FYI yesterday's issue was caused by this line, which is definitely extra. The computation has been doubling or increasing even more, so on big pieces of data it was going out of memory (and time) https://github.com/andrewboltachev/matcher/blob/master/src/Logicore/Matcher/Core.hs#L1835 |
| 2024-06-01 19:55:38 +0200 | <danza_> | it almost sounds like you are chatting about recursion monochrom |
| 2024-06-01 19:58:14 +0200 | <monochrom> | That would be you identifying stack with recursion. I used to do that too. Not any more. |
| 2024-06-01 19:58:43 +0200 | <danza_> | "stack"? |
| 2024-06-01 19:59:08 +0200 | <monochrom> | If you write code in CPS then defunctionalize it, you get a stack. |
| 2024-06-01 20:01:23 +0200 | <danza_> | dunno. Just a stack and recursion are two quite distinct things to me |
| 2024-06-01 20:02:18 +0200 | <monochrom> | http://www.cs.nott.ac.uk/~pszgmh/bib.html#cutting shows an example. (Although, the purpose is to then tell you how to skip both CPS-transform and defunctionalization. But you can look into its references and find older Hutton papers with more examples.) |
| 2024-06-01 20:04:13 +0200 | <danza_> | it starts from a concept, continuation-passing-style, that never really captured my attention. Sorry got to go now, thanks anyway |
| 2024-06-01 20:05:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-01 20:06:27 +0200 | <monochrom> | Well I was not impressed by CPS either until that and "how to use CPS plus trampolining to work around stack limit in JS" |
| 2024-06-01 20:06:53 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 240 seconds) |
| 2024-06-01 20:07:15 +0200 | <Midjak> | yes it's essential in FP with JS |
| 2024-06-01 20:08:02 +0200 | sudden | (~cat@user/sudden) |
| 2024-06-01 20:08:21 +0200 | <danza_> | meh... real life will wait i guess, why do i do this? |
| 2024-06-01 20:08:31 +0200 | <Midjak> | For my part, I understood that lazy evaluation solved many of these problems in Haskell |
| 2024-06-01 20:08:47 +0200 | <monochrom> | It's a beautiful theory! I don't have to use it to like it. :) |
| 2024-06-01 20:10:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-01 20:11:18 +0200 | <danza_> | oh right... i am being late just to write that trampolining seems sufficient, i will skip the continuation passing style. And yeah i have to use it in order to like it, can't afford liking all the theories with no use unfortunately |
| 2024-06-01 20:19:11 +0200 | danza_ | (~francesco@151.47.230.180) (Ping timeout: 268 seconds) |
| 2024-06-01 20:23:37 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-06-01 20:37:04 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-06-01 20:40:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-01 20:40:19 +0200 | Square | (~Square@user/square) |
| 2024-06-01 20:40:55 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-01 20:45:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-01 20:46:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 20:51:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-01 20:54:02 +0200 | euleritian | (~euleritia@dynamic-176-002-133-219.176.2.pool.telefonica.de) |
| 2024-06-01 20:56:45 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-06-01 20:58:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-01 20:59:35 +0200 | gastus | (~gastus@5.83.191.31) (Ping timeout: 268 seconds) |
| 2024-06-01 21:02:15 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-01 21:10:52 +0200 | euleritian | (~euleritia@dynamic-176-002-133-219.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-01 21:12:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 21:13:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-01 21:13:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-01 21:29:50 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-06-01 21:30:10 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-06-01 21:30:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-01 21:46:27 +0200 | rosco | (~rosco@90.58.221.226) (Quit: Lost terminal) |
| 2024-06-01 21:56:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 22:00:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-01 22:00:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-01 22:02:19 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 246 seconds) |
| 2024-06-01 22:04:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 22:08:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-01 22:12:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 22:24:05 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-06-01 22:32:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-01 22:34:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-01 22:45:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-06-01 23:01:54 +0200 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-01 23:10:41 +0200 | troydm | (~troydm@user/troydm) |
| 2024-06-01 23:14:21 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-06-01 23:36:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 2024-06-01 23:44:45 +0200 | nain | (~nain@169.150.196.154) |