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