| 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. |