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