| 2024-05-31 00:02:41 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-05-31 00:03:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 00:06:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2024-05-31 00:10:28 +0200 | reki | (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-05-31 00:11:02 +0200 | reki | (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-05-31 00:23:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-31 00:32:28 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-31 00:33:08 +0200 | reki | (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-05-31 00:34:55 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2024-05-31 00:38:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-31 00:39:14 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-31 00:43:50 +0200 | connrs | (~connrs@user/connrs) |
| 2024-05-31 00:47:09 +0200 | acidjnk | (~acidjnk@p200300d6e714dc096149684c9083de71.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-05-31 00:50:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-31 00:55:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-05-31 00:58:56 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-31 01:06:11 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-31 01:06:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 01:10:14 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-05-31 01:11:13 +0200 | euleritian | (~euleritia@dynamic-176-004-142-137.176.4.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-05-31 01:11:42 +0200 | euleritian | (~euleritia@dynamic-176-006-178-100.176.6.pool.telefonica.de) |
| 2024-05-31 01:15:52 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 260 seconds) |
| 2024-05-31 01:16:25 +0200 | euleritian | (~euleritia@dynamic-176-006-178-100.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-05-31 01:16:37 +0200 | euleritian | (~euleritia@dynamic-176-006-181-141.176.6.pool.telefonica.de) |
| 2024-05-31 01:19:08 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-05-31 01:20:51 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-31 01:21:46 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-31 01:23:15 +0200 | mei | (~mei@user/mei) |
| 2024-05-31 01:31:23 +0200 | euleritian | (~euleritia@dynamic-176-006-181-141.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-05-31 01:31:35 +0200 | euleritian | (~euleritia@dynamic-176-006-177-106.176.6.pool.telefonica.de) |
| 2024-05-31 01:32:02 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-31 01:34:56 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-05-31 01:37:04 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-05-31 01:40:29 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-31 01:40:36 +0200 | euleritian | (~euleritia@dynamic-176-006-177-106.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-05-31 01:41:27 +0200 | euleritian | (~euleritia@dynamic-176-003-007-110.176.3.pool.telefonica.de) |
| 2024-05-31 01:48:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-31 02:01:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-05-31 02:13:04 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-31 02:13:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-31 02:17:05 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-05-31 02:21:15 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-31 02:22:36 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-31 02:23:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-05-31 02:23:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-31 02:24:35 +0200 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-05-31 02:29:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 02:33:05 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-31 02:41:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-05-31 02:42:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 02:42:45 +0200 | euleritian | (~euleritia@dynamic-176-003-007-110.176.3.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-05-31 02:42:57 +0200 | euleritian | (~euleritia@dynamic-176-001-225-233.176.1.pool.telefonica.de) |
| 2024-05-31 02:49:17 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 2024-05-31 02:56:46 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-05-31 02:57:08 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-31 03:01:07 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-31 03:03:32 +0200 | mei | (~mei@user/mei) |
| 2024-05-31 03:20:59 +0200 | euleritian | (~euleritia@dynamic-176-001-225-233.176.1.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-31 03:21:19 +0200 | euleritian | (~euleritia@dynamic-176-006-189-211.176.6.pool.telefonica.de) |
| 2024-05-31 03:21:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-31 03:22:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-31 03:27:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-05-31 03:37:25 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-05-31 03:42:11 +0200 | euleritian | (~euleritia@dynamic-176-006-189-211.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-05-31 03:42:41 +0200 | euleritian | (~euleritia@dynamic-176-006-179-210.176.6.pool.telefonica.de) |
| 2024-05-31 03:51:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:94b5:b4e0:87f7:aaa5) (Ping timeout: 256 seconds) |
| 2024-05-31 03:55:26 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-31 04:20:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-31 04:32:40 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-05-31 04:35:12 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-31 04:40:25 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 256 seconds) |
| 2024-05-31 04:41:26 +0200 | khumba | (~khumba@user/khumba) |
| 2024-05-31 04:42:35 +0200 | euleritian | (~euleritia@dynamic-176-006-179-210.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-31 04:42:57 +0200 | euleritian | (~euleritia@dynamic-176-001-209-095.176.1.pool.telefonica.de) |
| 2024-05-31 04:44:06 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-31 04:50:50 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-31 04:53:20 +0200 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 260 seconds) |
| 2024-05-31 04:54:56 +0200 | td_ | (~td@i53870933.versanet.de) |
| 2024-05-31 04:58:48 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-31 05:05:16 +0200 | natto17 | (~natto@129.154.243.159) (Quit: a.) |
| 2024-05-31 05:06:27 +0200 | natto | (~natto@129.154.243.159) |
| 2024-05-31 05:14:13 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-31 05:14:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-05-31 05:17:08 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 2024-05-31 05:19:10 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-05-31 05:34:56 +0200 | yin | (~yin@user/zero) |
| 2024-05-31 05:36:16 +0200 | aforemny | (~aforemny@2001:9e8:6ce0:6500:b6c2:df57:8eea:8e8) (Ping timeout: 260 seconds) |
| 2024-05-31 05:36:20 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) |
| 2024-05-31 05:42:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-05-31 05:49:55 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-05-31 05:58:34 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-31 06:05:05 +0200 | euleritian | (~euleritia@dynamic-176-001-209-095.176.1.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-05-31 06:05:57 +0200 | euleritian | (~euleritia@dynamic-176-002-072-246.176.2.pool.telefonica.de) |
| 2024-05-31 06:09:53 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-05-31 06:15:49 +0200 | pyooque | (~puke@user/puke) |
| 2024-05-31 06:15:49 +0200 | puke | (~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2024-05-31 06:15:49 +0200 | pyooque | puke |
| 2024-05-31 06:15:55 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-05-31 06:41:42 +0200 | euleritian | (~euleritia@dynamic-176-002-072-246.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-31 06:42:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-31 06:57:07 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-31 07:00:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-05-31 07:00:28 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-05-31 07:08:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-31 07:08:38 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Remote host closed the connection) |
| 2024-05-31 07:09:04 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-05-31 07:13:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 07:17:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-31 07:20:35 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-05-31 07:22:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 07:22:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-31 07:22:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-05-31 07:23:29 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-31 07:26:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-31 07:30:03 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-31 07:30:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 07:32:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-31 07:32:45 +0200 | acidjnk | (~acidjnk@p200300d6e714dc50d4a40147ae2adb36.dip0.t-ipconnect.de) |
| 2024-05-31 07:33:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-31 07:48:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 07:50:37 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-31 07:53:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-31 07:56:59 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-31 08:00:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 08:06:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-05-31 08:11:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 08:14:01 +0200 | <mjrosenb> | has anyone gotten the new-fangled js backend working on nix? |
| 2024-05-31 08:18:00 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-31 08:20:35 +0200 | <mjrosenb> | I'm not that familar with nix, and the instructions on https://github.com/alpmestan/ghc.nix are failing. it is saying that nix-shell requires a single derivation. |
| 2024-05-31 08:20:58 +0200 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.2) |
| 2024-05-31 08:21:39 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-05-31 08:24:38 +0200 | yin | (~yin@user/zero) |
| 2024-05-31 08:37:15 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-05-31 08:37:39 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2024-05-31 08:38:10 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2024-05-31 08:46:24 +0200 | cheater | (~Username@user/cheater) |
| 2024-05-31 08:49:19 +0200 | <cheater> | hello |
| 2024-05-31 08:50:46 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-31 08:51:20 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-31 08:56:52 +0200 | aforemny | (~aforemny@2001:9e8:6cff:7b00:ebc:520:3eb9:17ae) |
| 2024-05-31 08:56:59 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-31 09:00:16 +0200 | aforemny_ | (~aforemny@i59F516DA.versanet.de) |
| 2024-05-31 09:01:12 +0200 | <dminuoso> | 13:23:23 __monty__ │ The problem is the rendering of the error message really, "<path>: No such file," is rather misleading. The shell could at least check whether <path> is an ELF and then add the "or missing ELF interpreter." |
| 2024-05-31 09:01:20 +0200 | <dminuoso> | Ah, they left. Nevermind. |
| 2024-05-31 09:01:33 +0200 | aforemny | (~aforemny@2001:9e8:6cff:7b00:ebc:520:3eb9:17ae) (Ping timeout: 268 seconds) |
| 2024-05-31 09:01:55 +0200 | <tomsmeding> | that error has confused many a student |
| 2024-05-31 09:02:06 +0200 | <tomsmeding> | and non-student |
| 2024-05-31 09:02:26 +0200 | <dminuoso> | Well, I kind of wish smartfilter was smart enough to know that I talked to them and would print a subsequent leave message. |
| 2024-05-31 09:02:33 +0200 | <dminuoso> | Even if they left an hour later. |
| 2024-05-31 09:03:02 +0200 | <tomsmeding> | tab-completing the nick is my typical trick |
| 2024-05-31 09:03:02 +0200 | <dminuoso> | Similar to how it displays join messages if they joined and immediately asked a question afterwards |
| 2024-05-31 09:03:15 +0200 | <dminuoso> | My flow demands that I paste first, tab complete later :P |
| 2024-05-31 09:03:57 +0200 | <dminuoso> | I cant imagine that there are people who are not connected to an IRC server 24/7. |
| 2024-05-31 09:04:18 +0200 | <tomsmeding> | imagine people connecting to irc from emacs |
| 2024-05-31 09:04:21 +0200 | <dminuoso> | Though, at work, we actually do have customers that turn off their routers during the night very consistently. |
| 2024-05-31 09:04:32 +0200 | <dminuoso> | Most of them are elderly |
| 2024-05-31 09:04:44 +0200 | <dminuoso> | Oh I can definitely imagine people connecting to IRC from emacs. |
| 2024-05-31 09:04:53 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-31 09:04:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-31 09:06:32 +0200 | aforemny | (~aforemny@2001:9e8:6cff:8f00:d810:d333:4b66:fed1) |
| 2024-05-31 09:07:11 +0200 | aforemny_ | (~aforemny@i59F516DA.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-31 09:12:07 +0200 | yin | (~yin@user/zero) |
| 2024-05-31 09:12:28 +0200 | aforemny_ | (~aforemny@i59f516f3.versanet.de) |
| 2024-05-31 09:13:29 +0200 | haskellbridge | sm turns off his router at night |
| 2024-05-31 09:13:53 +0200 | aforemny | (~aforemny@2001:9e8:6cff:8f00:d810:d333:4b66:fed1) (Ping timeout: 268 seconds) |
| 2024-05-31 09:14:31 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-31 09:14:35 +0200 | <haskellbridge> | <sm> and used to connect to IRC from emacs (a 24/7 emacs) |
| 2024-05-31 09:16:30 +0200 | aforemny | (~aforemny@2001:9e8:6cff:a700:8f2b:88aa:2f90:dc4d) |
| 2024-05-31 09:16:47 +0200 | aforemny_ | (~aforemny@i59f516f3.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-31 09:24:44 +0200 | aforemny_ | (~aforemny@2001:9e8:6cff:ba00:761d:19ef:cf56:2343) |
| 2024-05-31 09:24:53 +0200 | aforemny | (~aforemny@2001:9e8:6cff:a700:8f2b:88aa:2f90:dc4d) (Ping timeout: 240 seconds) |
| 2024-05-31 09:29:28 +0200 | aforemny_ | (~aforemny@2001:9e8:6cff:ba00:761d:19ef:cf56:2343) (Ping timeout: 256 seconds) |
| 2024-05-31 09:32:05 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) |
| 2024-05-31 09:36:35 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-31 09:37:33 +0200 | aforemny | (~aforemny@2001:9e8:6cff:d100:8da1:7cd2:28e0:2bdb) |
| 2024-05-31 09:42:09 +0200 | aforemny | (~aforemny@2001:9e8:6cff:d100:8da1:7cd2:28e0:2bdb) (Ping timeout: 255 seconds) |
| 2024-05-31 09:42:38 +0200 | aforemny | (~aforemny@i59F516E3.versanet.de) |
| 2024-05-31 09:43:30 +0200 | acidjnk | (~acidjnk@p200300d6e714dc50d4a40147ae2adb36.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-05-31 09:43:48 +0200 | danse-nr3 | (~danse-nr3@151.35.229.105) |
| 2024-05-31 09:54:04 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-31 09:58:22 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-31 10:02:03 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-31 10:04:42 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-31 10:07:01 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2024-05-31 10:08:32 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-05-31 10:38:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-31 10:39:08 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2024-05-31 10:39:50 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-31 10:41:25 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:4000:e6b9:7aff:fe80:3d03) |
| 2024-05-31 10:43:57 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-31 10:44:42 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-05-31 10:57:18 +0200 | aforemny | (~aforemny@i59F516E3.versanet.de) (Ping timeout: 255 seconds) |
| 2024-05-31 10:57:41 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-31 11:01:28 +0200 | aforemny | (~aforemny@i59F516EE.versanet.de) |
| 2024-05-31 11:03:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-31 11:05:14 +0200 | hexagoxe- | (~hexagoxel@2a01:4f8:c0c:e::2) |
| 2024-05-31 11:05:23 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-31 11:05:51 +0200 | danse-nr3 | (~danse-nr3@151.35.229.105) (Ping timeout: 255 seconds) |
| 2024-05-31 11:06:30 +0200 | danse-nr3 | (~danse-nr3@151.57.225.167) |
| 2024-05-31 11:06:49 +0200 | hexagoxe- | hexagoxel |
| 2024-05-31 11:07:27 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) (Remote host closed the connection) |
| 2024-05-31 11:07:43 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) |
| 2024-05-31 11:10:51 +0200 | phma | (phma@2001:5b0:211c:60e8:6a1b:f7bb:b842:8218) (Read error: Connection reset by peer) |
| 2024-05-31 11:11:35 +0200 | phma | (~phma@host-67-44-208-4.hnremote.net) |
| 2024-05-31 11:19:49 +0200 | destituion | (~destituio@2a02:2121:28c:be84:6a11:2af6:b842:fa5c) (Ping timeout: 255 seconds) |
| 2024-05-31 11:21:48 +0200 | aws | aosync |
| 2024-05-31 11:22:29 +0200 | aosync | aws |
| 2024-05-31 11:23:53 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-05-31 11:26:42 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2024-05-31 11:28:45 +0200 | connrs | (~connrs@user/connrs) |
| 2024-05-31 11:30:33 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-05-31 11:32:53 +0200 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-31 11:35:45 +0200 | krei-se | (~krei-se@p5085db77.dip0.t-ipconnect.de) |
| 2024-05-31 11:37:04 +0200 | acidjnk | (~acidjnk@p200300d6e714dc50c5d26c84eddccd81.dip0.t-ipconnect.de) |
| 2024-05-31 11:40:36 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-31 11:42:06 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-31 11:42:45 +0200 | <kuribas> | Are there languages besides twelf that use GADTs as horn clauses for a logic system? |
| 2024-05-31 11:42:52 +0200 | <kuribas> | Or just any dependently typed logic system? |
| 2024-05-31 11:43:10 +0200 | chele | (~chele@user/chele) |
| 2024-05-31 11:43:47 +0200 | <sprout> | prolog? |
| 2024-05-31 11:44:20 +0200 | <sprout> | I think they claim prolog uses horn clauses but that strikes me as a bit loose reasoning |
| 2024-05-31 11:44:22 +0200 | <sprout> | unsure |
| 2024-05-31 11:44:59 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-31 11:45:38 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-31 11:47:02 +0200 | <kuribas> | prolog doesn't have GADTs |
| 2024-05-31 11:47:07 +0200 | <kuribas> | it doesn't even have static types. |
| 2024-05-31 11:48:40 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-05-31 11:51:00 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:d500:5ea1:16dd:6645:6bda) |
| 2024-05-31 11:51:21 +0200 | <dminuoso> | If in module X I have TemplateHaskellQuotes turned on, and there is an identifier `foo` in scope, and I just use it in some `varE 'foo ...` - how will this work exactly with regards to linking? |
| 2024-05-31 11:51:41 +0200 | <dminuoso> | Assuming I splice that in some other module. |
| 2024-05-31 11:51:53 +0200 | aforemny | (~aforemny@i59F516EE.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-31 11:51:56 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2024-05-31 11:53:03 +0200 | danse-nr3 | (~danse-nr3@151.57.225.167) (Remote host closed the connection) |
| 2024-05-31 11:53:28 +0200 | danse-nr3 | (~danse-nr3@151.57.225.167) |
| 2024-05-31 11:55:20 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:e100:4fa2:e76c:3a29:d92c) |
| 2024-05-31 11:55:21 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:d500:5ea1:16dd:6645:6bda) (Ping timeout: 255 seconds) |
| 2024-05-31 11:57:27 +0200 | <tomsmeding> | that 'foo is a Name |
| 2024-05-31 11:58:07 +0200 | <tomsmeding> | and that name will then probably be a NameG, which is a fully qualified package-module name |
| 2024-05-31 11:58:54 +0200 | <tomsmeding> | I guess the linking will happen when it is interpreted at splice time, when GHC will have to resolve that name |
| 2024-05-31 11:59:17 +0200 | <tomsmeding> | there's nothing fancy in a Name, it's just a data structure, so the magic is not there |
| 2024-05-31 12:00:01 +0200 | <tomsmeding> | dminuoso: ^ |
| 2024-05-31 12:01:43 +0200 | <tomsmeding> | mind that Name has a custom Show instance that obscures some details of representation |
| 2024-05-31 12:02:15 +0200 | <tomsmeding> | but its consituents, OccName and NameFlavour, have derived Show instances |
| 2024-05-31 12:06:31 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-05-31 12:07:48 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-05-31 12:10:15 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:e100:4fa2:e76c:3a29:d92c) (Ping timeout: 268 seconds) |
| 2024-05-31 12:10:38 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:900:e6d8:1e6c:121f:64c7) |
| 2024-05-31 12:15:03 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:900:e6d8:1e6c:121f:64c7) (Ping timeout: 260 seconds) |
| 2024-05-31 12:19:38 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:3600:3f48:22cd:8891:f09b) |
| 2024-05-31 12:24:26 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:3600:3f48:22cd:8891:f09b) (Ping timeout: 268 seconds) |
| 2024-05-31 12:26:51 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:4000:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-05-31 12:33:07 +0200 | aforemny | (~aforemny@i59F516E2.versanet.de) |
| 2024-05-31 12:33:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-31 12:37:36 +0200 | aforemny | (~aforemny@i59F516E2.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-31 12:43:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-31 12:45:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-31 12:50:34 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-31 12:51:20 +0200 | aforemny | (~aforemny@i59F516F0.versanet.de) |
| 2024-05-31 12:57:02 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:8900:77a2:a7e2:97a4:b898) |
| 2024-05-31 12:58:11 +0200 | aforemny | (~aforemny@i59F516F0.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-31 13:01:28 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:8900:77a2:a7e2:97a4:b898) (Ping timeout: 260 seconds) |
| 2024-05-31 13:04:58 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:9c00:c171:fb17:71f4:dfc2) |
| 2024-05-31 13:08:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 13:16:24 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:9c00:c171:fb17:71f4:dfc2) (Ping timeout: 260 seconds) |
| 2024-05-31 13:16:50 +0200 | aforemny | (~aforemny@i59F516D2.versanet.de) |
| 2024-05-31 13:19:19 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Ping timeout: 268 seconds) |
| 2024-05-31 13:19:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 13:20:32 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:ba00:d457:6638:99ad:96fc) |
| 2024-05-31 13:21:47 +0200 | aforemny | (~aforemny@i59F516D2.versanet.de) (Ping timeout: 268 seconds) |
| 2024-05-31 13:22:20 +0200 | <lxsameer> | hey folks, do you have a real example project of using ReaderT to pass down a configuration to a pipeline of functions? A non-web example would be even better |
| 2024-05-31 13:25:14 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-31 13:31:07 +0200 | <Leary> | lxsameer: throw a dart at hackage |
| 2024-05-31 13:31:38 +0200 | <Leary> | Or just check out xmonad, I guess. |
| 2024-05-31 13:31:42 +0200 | <Leary> | https://hackage.haskell.org/package/xmonad-0.18.0/docs/XMonad-Core.html#t:X |
| 2024-05-31 13:34:45 +0200 | <lxsameer> | Leary: cheers |
| 2024-05-31 13:37:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 13:44:04 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-31 13:46:04 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-05-31 13:47:01 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-31 13:50:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 13:54:05 +0200 | <lxsameer> | In this https://hackage.haskell.org/package/xmonad-0.18.0/docs/src/XMonad.Core.html#X how does `ask` knows that it needs to retun the XConf is the `job` param and not `errcase`? |
| 2024-05-31 13:54:22 +0200 | <lxsameer> | both are `X a` |
| 2024-05-31 13:55:39 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-05-31 13:56:06 +0200 | <ncf> | you mean in catchX? that `ask` is not using `job` or `errcase` at all |
| 2024-05-31 13:57:44 +0200 | <lxsameer> | ncf: hmmm, i don't get it then. based on the source code of readerT. ask returns `ReaderT return` |
| 2024-05-31 13:58:10 +0200 | <ncf> | the ask used there is ask :: MonadReader r m => m r |
| 2024-05-31 13:58:12 +0200 | <lxsameer> | how does that translates to XConf here |
| 2024-05-31 13:58:27 +0200 | <ncf> | so in this case ask :: X XConf |
| 2024-05-31 13:58:33 +0200 | <ncf> | since you have MonadReader XConf X |
| 2024-05-31 13:58:37 +0200 | <lxsameer> | and where does the value of XConf resolved here |
| 2024-05-31 13:58:59 +0200 | <ncf> | ...at runtime, when you actually run the X action |
| 2024-05-31 13:59:08 +0200 | <ncf> | see runReaderT |
| 2024-05-31 13:59:11 +0200 | <lxsameer> | ncf: is it because of an specialization ? I mean X XConf |
| 2024-05-31 14:00:00 +0200 | <ncf> | (well, runX) |
| 2024-05-31 14:00:31 +0200 | <ncf> | lxsameer: ask is used in an X computation so m gets resolved to X, and it returns an XConf so r gets resolved to XConf |
| 2024-05-31 14:00:32 +0200 | <lxsameer> | ncf: I read runReaderT. The c <- ask runs before the runX in this example, am i correct? |
| 2024-05-31 14:01:05 +0200 | <ncf> | i am not sure what you mean by that |
| 2024-05-31 14:02:24 +0200 | <lxsameer> | ncf: I guess I'm confused with the order here |
| 2024-05-31 14:02:30 +0200 | <lxsameer> | execution order i mean |
| 2024-05-31 14:02:46 +0200 | <ncf> | oh, there's a runX on the next line. ignore that, that's irreleveant |
| 2024-05-31 14:02:47 +0200 | <Leary> | The `runX` in `catchX` is an inner, nested call; it's irrelevant. The greater X action is executed by some outer `runX` that supplies the `XConf` argument. |
| 2024-05-31 14:02:47 +0200 | <lxsameer> | I don't understand how `c` can have a value here |
| 2024-05-31 14:02:51 +0200 | <ncf> | or irrelevant |
| 2024-05-31 14:03:11 +0200 | <ncf> | lxsameer: think about IO; if i write `do c <- getChar; print c`, what value does c have? |
| 2024-05-31 14:03:28 +0200 | <lxsameer> | ther result of getChar action |
| 2024-05-31 14:03:34 +0200 | <ncf> | right |
| 2024-05-31 14:03:48 +0200 | <ncf> | so in the same way, the value of c here is the result of the "ask" action |
| 2024-05-31 14:04:11 +0200 | <ncf> | this is only determined when you actually run the catchX call, so when you call runX on some action that uses catchX |
| 2024-05-31 14:04:34 +0200 | <lxsameer> | ncf: i understand that part but |
| 2024-05-31 14:04:49 +0200 | <lxsameer> | getChar reads from stdin for example |
| 2024-05-31 14:05:01 +0200 | <lxsameer> | but where does ask takes the value from? |
| 2024-05-31 14:05:25 +0200 | <ncf> | the environment provided to runX |
| 2024-05-31 14:05:44 +0200 | <lxsameer> | runX in the catchX? |
| 2024-05-31 14:05:47 +0200 | <ncf> | no! |
| 2024-05-31 14:06:08 +0200 | <lxsameer> | ahhhhhh |
| 2024-05-31 14:06:15 +0200 | <lxsameer> | so that's why I'm confused then |
| 2024-05-31 14:07:28 +0200 | <ncf> | maybe it would help to think about the native reader monad, ((->) XConf) |
| 2024-05-31 14:08:01 +0200 | <ncf> | this is a monad that describes computations that *depend* on a global environment value of type XConf, i.e. aren't fully determined until you give them an XConf |
| 2024-05-31 14:08:21 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-05-31 14:08:27 +0200 | <ncf> | return :: a -> XConf -> a is just the `const` function that ignores the XConf argument |
| 2024-05-31 14:08:59 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-05-31 14:09:06 +0200 | <ncf> | (>>=) :: (XConf -> a) -> (a -> XConf -> b) -> XConf -> b chains computations together by duplicating the environment |
| 2024-05-31 14:09:25 +0200 | <ncf> | ask :: XConf -> XConf is just the identity function |
| 2024-05-31 14:10:35 +0200 | <ncf> | so, if i write something like `m = (do c <- ask; return c) :: XConf -> XConf`, i am describing a computation that takes an XConf and just returns it unchanged |
| 2024-05-31 14:11:03 +0200 | <ncf> | the actual value of c isn't determined until i actually run m by applying it to an XConf |
| 2024-05-31 14:11:30 +0200 | <ncf> | runX is just doing this with a few newtype wrappers in between (and more monads in the stack) |
| 2024-05-31 14:11:40 +0200 | <lxsameer> | and the compiler would know what implementation of `ask` to use because `m :: XConf` right? |
| 2024-05-31 14:12:02 +0200 | <ncf> | m :: ((->) XConf) XConf |
| 2024-05-31 14:12:13 +0200 | <lxsameer> | ah got it |
| 2024-05-31 14:12:14 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2024-05-31 14:12:22 +0200 | <lxsameer> | I think I got it :P |
| 2024-05-31 14:12:29 +0200 | <lxsameer> | I have to read it more |
| 2024-05-31 14:12:39 +0200 | <lxsameer> | thanks for you time and clarifications |
| 2024-05-31 14:14:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:75ce:7dd6:5a9:4d8a) |
| 2024-05-31 14:21:37 +0200 | <sshine> | lxsameer, https://play.haskell.org/saved/nnUbuaAA -- I don't know if this is a good example. |
| 2024-05-31 14:39:46 +0200 | <lxsameer> | sshine: thank you |
| 2024-05-31 14:41:23 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-05-31 14:42:44 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-05-31 14:44:07 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-05-31 14:44:51 +0200 | rosco | (~rosco@90.58.221.226) |
| 2024-05-31 14:51:45 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-05-31 14:56:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-31 15:00:53 +0200 | <sshine> | lxsameer, https://play.haskell.org/saved/zpN4C4Zk -- I made two more examples, one more that uses mtl Reader, and another that defines a custom Reader that doesn't parameterise the 'r' argument and is explicit about what's going on. |
| 2024-05-31 15:01:11 +0200 | <sshine> | lxsameer, you wouldn't do the last thing unless you're following some course that asks you to reconstruct monads from the bottom up to get a better understanding. |
| 2024-05-31 15:02:01 +0200 | <sshine> | lxsameer, a bit of the point is lost when FibReader is so specialized towards the function it runs over, since it's not reusable in other monadic contexts. |
| 2024-05-31 15:03:13 +0200 | <sshine> | also, I apologize for the mixture of camelCase and snake_case :-D I didn't write Haskell for a long time and my brain apparently defaults to snake_case now. |
| 2024-05-31 15:03:15 +0200 | <lxsameer> | Thank you |
| 2024-05-31 15:03:58 +0200 | danse-nr3 | (~danse-nr3@151.57.225.167) (Read error: Connection reset by peer) |
| 2024-05-31 15:04:30 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) |
| 2024-05-31 15:04:43 +0200 | destituion | (~destituio@2a02:2121:28c:be84:309e:b5ea:1c6b:9320) |
| 2024-05-31 15:06:43 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 256 seconds) |
| 2024-05-31 15:17:41 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) (Ping timeout: 240 seconds) |
| 2024-05-31 15:24:53 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 240 seconds) |
| 2024-05-31 15:27:23 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2024-05-31 15:28:41 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) |
| 2024-05-31 15:32:13 +0200 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-31 15:38:08 +0200 | gastus_ | (~gastus@185.6.123.171) |
| 2024-05-31 15:41:12 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 256 seconds) |
| 2024-05-31 15:43:04 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-05-31 15:45:10 +0200 | <dminuoso> | tomsmeding: Oh Im just pondering how this is resolved at all, since you can refer to not exported identifiers, but they appear to be linkable somehow anyway. |
| 2024-05-31 15:45:30 +0200 | <dminuoso> | TH and linkage seems... fun. |
| 2024-05-31 15:46:11 +0200 | AlexZenon | (~alzenon@178.34.150.84) (Ping timeout: 264 seconds) |
| 2024-05-31 15:46:47 +0200 | AlexNoo | (~AlexNoo@178.34.150.84) (Ping timeout: 264 seconds) |
| 2024-05-31 15:55:02 +0200 | AlexNoo | (~AlexNoo@178.34.150.84) |
| 2024-05-31 15:59:48 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-05-31 16:07:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-31 16:07:20 +0200 | sshine | (~simon@zhen.mechanicus.xyz) (Quit: 再见) |
| 2024-05-31 16:07:27 +0200 | euleritian | (~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de) |
| 2024-05-31 16:07:40 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
| 2024-05-31 16:19:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-31 16:21:58 +0200 | khumba | (~khumba@user/khumba) () |
| 2024-05-31 16:27:15 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-31 16:36:29 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) (Ping timeout: 240 seconds) |
| 2024-05-31 16:49:43 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-31 16:50:13 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2024-05-31 16:50:23 +0200 | AlexZenon | (~alzenon@178.34.150.84) |
| 2024-05-31 16:58:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-31 16:58:50 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Remote host closed the connection) |
| 2024-05-31 16:59:16 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-05-31 17:01:25 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) |
| 2024-05-31 17:02:25 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) (Remote host closed the connection) |
| 2024-05-31 17:02:49 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) |
| 2024-05-31 17:10:41 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-31 17:11:52 +0200 | euleritian | (~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-31 17:12:32 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-31 17:20:41 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-31 17:23:18 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-31 17:47:00 +0200 | danse-nr3 | (~danse-nr3@151.19.228.85) (Ping timeout: 256 seconds) |
| 2024-05-31 17:50:42 +0200 | Guest184 | (~user@72.2.12.179) |
| 2024-05-31 17:57:01 +0200 | <Guest184> | a |
| 2024-05-31 17:57:29 +0200 | <geekosaur> | b |
| 2024-05-31 17:58:15 +0200 | <sprout> | c |
| 2024-05-31 17:59:04 +0200 | <EvanR> | dbca |
| 2024-05-31 17:59:57 +0200 | <raehik> | > ['a'..'d'] |
| 2024-05-31 17:59:59 +0200 | <lambdabot> | "abcd" |
| 2024-05-31 18:00:03 +0200 | <EvanR> | dyslexia ruined it |
| 2024-05-31 18:01:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-31 18:01:27 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) |
| 2024-05-31 18:05:50 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection) |
| 2024-05-31 18:06:08 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) |
| 2024-05-31 18:07:12 +0200 | <lxsameer> | ncf: since you're nice to help me, could you please have a look at this. https://play.haskell.org/saved/3LJ34iTG |
| 2024-05-31 18:07:16 +0200 | <lxsameer> | does it make sense |
| 2024-05-31 18:08:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-31 18:09:43 +0200 | <EvanR> | you might also like: |
| 2024-05-31 18:09:44 +0200 | <EvanR> | :t asks |
| 2024-05-31 18:09:46 +0200 | <lambdabot> | MonadReader r m => (r -> a) -> m a |
| 2024-05-31 18:10:06 +0200 | <EvanR> | e.g. asks getCounter |
| 2024-05-31 18:11:07 +0200 | <lxsameer> | ah instead of ask in the f4 to grab the counter directly. right? |
| 2024-05-31 18:11:16 +0200 | yin | (~yin@user/zero) |
| 2024-05-31 18:11:44 +0200 | <EvanR> | when the environment is a dumb record of stuff it saves a step |
| 2024-05-31 18:11:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-31 18:12:20 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection) |
| 2024-05-31 18:12:24 +0200 | <EvanR> | or even if the environment is not a literal record but comes with a set of views |
| 2024-05-31 18:12:38 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) |
| 2024-05-31 18:13:08 +0200 | <lxsameer> | EvanR: ahhh got it, thank you |
| 2024-05-31 18:15:54 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-31 18:23:34 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-31 18:26:37 +0200 | <lxsameer> | EvanR: is there any better option than using the Environment class here? what about the Lens library? |
| 2024-05-31 18:30:07 +0200 | andrewboltachev | (~andrey@178.141.226.53) |
| 2024-05-31 18:31:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-31 18:31:48 +0200 | sord937_ | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-31 18:33:20 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2024-05-31 18:33:46 +0200 | <EvanR> | I'm not sure what you are accomplishing with that class in the first place, it is sort of acting like your record is... a record which it already is |
| 2024-05-31 18:34:01 +0200 | <EvanR> | a way to rename the fields? |
| 2024-05-31 18:34:22 +0200 | <EvanR> | you could just make a function which accesses the field in the record if you want a different name |
| 2024-05-31 18:34:34 +0200 | <EvanR> | fcustom = field1 |
| 2024-05-31 18:34:34 +0200 | sord937_ | sord937 |
| 2024-05-31 18:35:41 +0200 | <andrewboltachev> | Hello. I'm trying to use a Haskell project of mine to handle some decently big amount of data (source code tree). The program either hangs or runs very slowly at cretain point. I was trying very different example, but it seems that when pieces of data become reasonably small it work fine. So there's (likely) no endless resursion going on. I've looked at htop program and have strong impression that might be a limit of 3.5Gb memory usage. |
| 2024-05-31 18:35:41 +0200 | <andrewboltachev> | I run "stack ghci" and then "main" (or other function) there. Can that be true? |
| 2024-05-31 18:35:51 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection) |
| 2024-05-31 18:36:08 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) |
| 2024-05-31 18:37:28 +0200 | <lxsameer> | EvanR: my aim was to replace Env in my test env with a mock |
| 2024-05-31 18:39:51 +0200 | fireking04 | (~user@112.206.71.35) |
| 2024-05-31 18:40:34 +0200 | <Leary> | andrewboltachev: I don't know about memory limits, but code interpreted by ghci isn't optimised. If you actually compile the code with -O and run the binary, it should execute many times faster and will likely use less memory too. |
| 2024-05-31 18:42:35 +0200 | <andrewboltachev> | @Leary thanks. Will try |
| 2024-05-31 18:42:35 +0200 | <lambdabot> | https://wiki.haskell.org/Learning_Haskell |
| 2024-05-31 18:42:38 +0200 | <geekosaur> | although your problem sounds more like it's reprocessing stuff, which may mean you have code that's being interpreted as functions |
| 2024-05-31 18:42:59 +0200 | <geekosaur> | that is, they appear to have data dependencies that might not exist, leading to excessive recomputation? |
| 2024-05-31 18:44:09 +0200 | <geekosaur> | that, or you're just very unoptimized |
| 2024-05-31 18:44:19 +0200 | <geekosaur> | which is likely if you're running it in ghci |
| 2024-05-31 18:44:48 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-31 18:45:10 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-05-31 18:47:37 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
| 2024-05-31 18:47:50 +0200 | <andrewboltachev> | @geekosaur: yes. might be! I have a tree-like data structure. When I have array of 16 (big) items, and process one by one, it handles very quickly. But 16 items together in an array, and wrapped in another thing (I use Vector) just hangs |
| 2024-05-31 18:47:50 +0200 | <lambdabot> | Unknown command, try @list |
| 2024-05-31 18:48:13 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-05-31 18:48:24 +0200 | <andrewboltachev> | wow I don't have to use '@' sorry |
| 2024-05-31 18:48:32 +0200 | euleritian | (~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de) |
| 2024-05-31 18:49:04 +0200 | <geekosaur> | algorithm also matters, if you've accidentally done something like Ackermann it'll really suck with large inputs |
| 2024-05-31 18:49:21 +0200 | <geekosaur> | although exponential is more common |
| 2024-05-31 18:50:15 +0200 | <andrewboltachev> | Is using StateT/ReaderT fast? Or that's not how people handle that |
| 2024-05-31 18:50:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 18:50:53 +0200 | <geekosaur> | it's usually optimized away since they're very simple wrappers |
| 2024-05-31 18:51:22 +0200 | <andrewboltachev> | aha |
| 2024-05-31 18:55:32 +0200 | <geekosaur> | StateT is (s -> (s,a)), ReaderT is (r -> a) |
| 2024-05-31 18:55:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-31 18:58:29 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-31 19:00:53 +0200 | heartbur1 | (~gass@81.4.123.134) (Read error: Connection reset by peer) |
| 2024-05-31 19:01:43 +0200 | ridcully_ | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-05-31 19:02:00 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-05-31 19:05:15 +0200 | srk | (~sorki@user/srk) |
| 2024-05-31 19:18:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 19:23:56 +0200 | euleritian | (~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-31 19:24:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-31 19:25:51 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection) |
| 2024-05-31 19:26:08 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) |
| 2024-05-31 19:26:41 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-31 19:37:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 19:40:54 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-05-31 19:50:39 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Changing host) |
| 2024-05-31 19:50:39 +0200 | Angelz | (Angelz@user/angelz) |
| 2024-05-31 20:00:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 20:08:11 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-05-31 20:10:11 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-05-31 20:25:09 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2024-05-31 20:26:06 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-05-31 20:27:33 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-31 20:33:16 +0200 | fireking04 | (~user@112.206.71.35) (Remote host closed the connection) |
| 2024-05-31 20:33:27 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-31 20:35:17 +0200 | average | (uid473595@user/average) |
| 2024-05-31 20:36:58 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-05-31 20:38:14 +0200 | andrewboltachev | (~andrey@178.141.226.53) () |
| 2024-05-31 20:55:10 +0200 | onthebus | (~user@2607:fb90:eaa9:d895:593d:f883:da3f:5e08) |
| 2024-05-31 21:00:52 +0200 | onthebus | (~user@2607:fb90:eaa9:d895:593d:f883:da3f:5e08) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2024-05-31 21:07:47 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-05-31 21:08:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 21:10:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 21:12:49 +0200 | f | (~f@185.209.198.101) |
| 2024-05-31 21:13:55 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Ping timeout: 256 seconds) |
| 2024-05-31 21:17:34 +0200 | f | (~f@185.209.198.101) (Remote host closed the connection) |
| 2024-05-31 21:18:22 +0200 | f | (~f@185.209.198.101) |
| 2024-05-31 21:19:28 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-05-31 21:20:10 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 21:21:21 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-31 21:22:00 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Client Quit) |
| 2024-05-31 21:23:24 +0200 | f | (~f@185.209.198.101) (K-Lined) |
| 2024-05-31 21:24:13 +0200 | Square | (~Square@user/square) |
| 2024-05-31 21:25:12 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-31 21:29:12 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-05-31 21:29:16 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-05-31 21:37:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 21:39:15 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 2024-05-31 21:40:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 21:46:45 +0200 | thegeekinside | (~thegeekin@189.180.58.192) |
| 2024-05-31 21:50:44 +0200 | um | (5dmlfhfnip@user/um) |
| 2024-05-31 21:50:55 +0200 | um | (5dmlfhfnip@user/um) () |
| 2024-05-31 21:55:52 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection) |
| 2024-05-31 21:56:10 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 21:57:09 +0200 | f | (~f@185.209.199.45) |
| 2024-05-31 22:00:52 +0200 | <monochrom> | Which one is a worse crime: The type is [Double], but the length is always 100. The type is Int->Double, but the argument is always 0 to 99. |
| 2024-05-31 22:02:03 +0200 | thegeekinside | (~thegeekin@189.180.58.192) (Remote host closed the connection) |
| 2024-05-31 22:02:11 +0200 | rosco | (~rosco@90.58.221.226) (Quit: Lost terminal) |
| 2024-05-31 22:02:22 +0200 | rosco | (~rosco@90.58.221.226) |
| 2024-05-31 22:03:01 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-31 22:06:27 +0200 | <lxsameer> | hey folks, I'm looking for a hlint configuration that follow best practices for an haskell noob and does not assume a prelude |
| 2024-05-31 22:06:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 22:07:53 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-05-31 22:12:01 +0200 | rosco | (~rosco@90.58.221.226) (Quit: Lost terminal) |
| 2024-05-31 22:13:51 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-31 22:16:39 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-31 22:18:45 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-05-31 22:18:52 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Excess Flood) |
| 2024-05-31 22:19:22 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection) |
| 2024-05-31 22:19:40 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 22:19:42 +0200 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-05-31 22:20:07 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-31 22:22:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-31 22:27:17 +0200 | Guest184 | (~user@72.2.12.179) (Remote host closed the connection) |
| 2024-05-31 22:32:08 +0200 | <EvanR> | make it Int->Double but the argument must be -50 to +50 and not zero |
| 2024-05-31 22:32:16 +0200 | <EvanR> | balance restored |
| 2024-05-31 22:35:52 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection) |
| 2024-05-31 22:36:11 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 22:37:47 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2024-05-31 22:38:27 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-31 22:40:34 +0200 | <dmj`> | monochrom: maybe use the latter, but with Nat. foo :: (0 <= n, n <= 99, KnownNat n) => Proxy n -> Double , and you can be forgiven. |
| 2024-05-31 22:40:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 22:41:52 +0200 | <EvanR> | Fin 100 |
| 2024-05-31 22:42:23 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-31 22:43:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 22:45:02 +0200 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-05-31 22:45:52 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection) |
| 2024-05-31 22:46:10 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 22:50:03 +0200 | <monochrom> | Unfortunately I am only teaching elementary Haskell so I cannot use type-level numbers for this. |
| 2024-05-31 22:50:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-05-31 22:50:26 +0200 | <monochrom> | And to your horror, I have decided to commit both crimes. |
| 2024-05-31 22:50:43 +0200 | <Rembane> | Exciting! |
| 2024-05-31 22:50:51 +0200 | <monochrom> | Sorry! I will in comments explain that it is unsatisfactory but it's just a weekly tutorial toy exercise. |
| 2024-05-31 22:51:47 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Quit: Leaving) |
| 2024-05-31 22:52:21 +0200 | <EvanR> | at the very least spice it up and make the require arguments 1 to 100 |
| 2024-05-31 22:53:03 +0200 | <monochrom> | Why is 1 to 100 better than 0 to 99? |
| 2024-05-31 22:53:31 +0200 | <EvanR> | it seems spicier, I don't know about better |
| 2024-05-31 22:53:53 +0200 | <monochrom> | Oh heh OK |
| 2024-05-31 22:53:54 +0200 | <EvanR> | tolerance for spice levels vary |
| 2024-05-31 22:54:09 +0200 | <ncf> | data Fin100 = F0 | F1 | ... | F99 |
| 2024-05-31 22:54:23 +0200 | <monochrom> | -50 to +50 except 0 is spicier. |
| 2024-05-31 22:54:40 +0200 | <EvanR> | that's like spice level 5 at suko thai |
| 2024-05-31 22:55:18 +0200 | <EvanR> | data Fin100 ftw |
| 2024-05-31 22:55:30 +0200 | <EvanR> | then write a script to produce the addition algorithm |
| 2024-05-31 23:00:12 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-05-31 23:00:25 +0200 | <monochrom> | deriving Enum then x+y = toEnum (fromEnum x + fromEnum y) |
| 2024-05-31 23:00:45 +0200 | <EvanR> | nice |
| 2024-05-31 23:01:27 +0200 | <EvanR> | > toEnum 7 :: Bool |
| 2024-05-31 23:01:29 +0200 | <lambdabot> | *Exception: Prelude.Enum.Bool.toEnum: bad argument |
| 2024-05-31 23:02:51 +0200 | <ncf> | type Fin100 = Pair (Pair (Maybe (Pair (Pair (Pair (Maybe (Pair ()))))))) |
| 2024-05-31 23:03:39 +0200 | <ncf> | er not Pair |
| 2024-05-31 23:03:45 +0200 | <ncf> | Pair a = a + a |
| 2024-05-31 23:03:46 +0200 | <ncf> | whatever |
| 2024-05-31 23:04:39 +0200 | <ncf> | type Fin100 = (Bool, Bool, Maybe (Bool, Bool, Bool, Maybe Bool)) |
| 2024-05-31 23:04:44 +0200 | <ncf> | does that work |
| 2024-05-31 23:05:23 +0200 | <ncf> | yeah |
| 2024-05-31 23:05:24 +0200 | <EvanR> | how many is that if you count bottoms xD |
| 2024-05-31 23:05:36 +0200 | <monochrom> | "we don't talk about that here" :) |
| 2024-05-31 23:06:04 +0200 | <EvanR> | the haskell value not mentionable in polite company |
| 2024-05-31 23:07:24 +0200 | <monochrom> | More seriously, bottoms are not accessible in code so it doesn't help to count them. |
| 2024-05-31 23:07:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-31 23:08:02 +0200 | <EvanR> | many moons ago some jackass disagreed and uploaded the spoon package xD |
| 2024-05-31 23:08:40 +0200 | rosco | (~rosco@90.58.221.226) |
| 2024-05-31 23:11:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 23:15:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-31 23:17:56 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-31 23:19:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-31 23:24:11 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-31 23:24:37 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-31 23:27:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-31 23:31:05 +0200 | phma | (~phma@host-67-44-208-4.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-31 23:31:30 +0200 | phma | (phma@2001:5b0:211c:60e8:6c16:6d7e:9de:d11c) |
| 2024-05-31 23:34:22 +0200 | rosco | (~rosco@90.58.221.226) (Quit: Lost terminal) |
| 2024-05-31 23:35:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-31 23:52:56 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 260 seconds) |
| 2024-05-31 23:56:26 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-31 23:56:44 +0200 | f | (~f@185.209.199.45) (Quit: Leaving) |