2024/05/31

2024-05-31 00:02:41 +0200Sgeo_(~Sgeo@user/sgeo)
2024-05-31 00:03:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 00:06:14 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 252 seconds)
2024-05-31 00:10:28 +0200reki(~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection)
2024-05-31 00:11:02 +0200reki(~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru)
2024-05-31 00:23:40 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-31 00:32:28 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-31 00:33:08 +0200reki(~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection)
2024-05-31 00:34:55 +0200connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2024-05-31 00:38:53 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-05-31 00:39:14 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-31 00:43:50 +0200connrs(~connrs@user/connrs)
2024-05-31 00:47:09 +0200acidjnk(~acidjnk@p200300d6e714dc096149684c9083de71.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-05-31 00:50:25 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-31 00:55:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-05-31 00:58:56 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-05-31 01:06:11 +0200Rodney_(~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
2024-05-31 01:06:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 01:10:14 +0200Rodney_(~Rodney@176.254.244.83)
2024-05-31 01:11:13 +0200euleritian(~euleritia@dynamic-176-004-142-137.176.4.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-05-31 01:11:42 +0200euleritian(~euleritia@dynamic-176-006-178-100.176.6.pool.telefonica.de)
2024-05-31 01:15:52 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 260 seconds)
2024-05-31 01:16:25 +0200euleritian(~euleritia@dynamic-176-006-178-100.176.6.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-05-31 01:16:37 +0200euleritian(~euleritia@dynamic-176-006-181-141.176.6.pool.telefonica.de)
2024-05-31 01:19:08 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2024-05-31 01:20:51 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-31 01:21:46 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-31 01:23:15 +0200mei(~mei@user/mei)
2024-05-31 01:31:23 +0200euleritian(~euleritia@dynamic-176-006-181-141.176.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-05-31 01:31:35 +0200euleritian(~euleritia@dynamic-176-006-177-106.176.6.pool.telefonica.de)
2024-05-31 01:32:02 +0200Rodney_(~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
2024-05-31 01:34:56 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-05-31 01:37:04 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-05-31 01:40:29 +0200Pixi(~Pixi@user/pixi)
2024-05-31 01:40:36 +0200euleritian(~euleritia@dynamic-176-006-177-106.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-05-31 01:41:27 +0200euleritian(~euleritia@dynamic-176-003-007-110.176.3.pool.telefonica.de)
2024-05-31 01:48:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-31 02:01:13 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-05-31 02:13:04 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-31 02:13:54 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-31 02:17:05 +0200joeyadams(~joeyadams@38.48.105.67)
2024-05-31 02:21:15 +0200Square2(~Square4@user/square)
2024-05-31 02:22:36 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-05-31 02:23:11 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-31 02:23:58 +0200Lord_of_Life_Lord_of_Life
2024-05-31 02:24:35 +0200Square(~Square@user/square) (Ping timeout: 264 seconds)
2024-05-31 02:29:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 02:33:05 +0200philopsos(~caecilius@user/philopsos)
2024-05-31 02:41:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-05-31 02:42:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 02:42:45 +0200euleritian(~euleritia@dynamic-176-003-007-110.176.3.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-05-31 02:42:57 +0200euleritian(~euleritia@dynamic-176-001-225-233.176.1.pool.telefonica.de)
2024-05-31 02:49:17 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 240 seconds)
2024-05-31 02:56:46 +0200philopsos(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-31 02:57:08 +0200philopsos(~caecilius@user/philopsos)
2024-05-31 03:01:07 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-31 03:03:32 +0200mei(~mei@user/mei)
2024-05-31 03:20:59 +0200euleritian(~euleritia@dynamic-176-001-225-233.176.1.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-05-31 03:21:19 +0200euleritian(~euleritia@dynamic-176-006-189-211.176.6.pool.telefonica.de)
2024-05-31 03:21:59 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-31 03:22:54 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-31 03:27:40 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-05-31 03:37:25 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2024-05-31 03:42:11 +0200euleritian(~euleritia@dynamic-176-006-189-211.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-05-31 03:42:41 +0200euleritian(~euleritia@dynamic-176-006-179-210.176.6.pool.telefonica.de)
2024-05-31 03:51:41 +0200xff0x(~xff0x@2405:6580:b080:900:94b5:b4e0:87f7:aaa5) (Ping timeout: 256 seconds)
2024-05-31 03:55:26 +0200causal(~eric@50.35.88.207)
2024-05-31 04:20:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-31 04:32:40 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2024-05-31 04:35:12 +0200pavonia(~user@user/siracusa)
2024-05-31 04:40:25 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 256 seconds)
2024-05-31 04:41:26 +0200khumba(~khumba@user/khumba)
2024-05-31 04:42:35 +0200euleritian(~euleritia@dynamic-176-006-179-210.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-05-31 04:42:57 +0200euleritian(~euleritia@dynamic-176-001-209-095.176.1.pool.telefonica.de)
2024-05-31 04:44:06 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-31 04:50:50 +0200petrichor(~znc-user@user/petrichor)
2024-05-31 04:53:20 +0200td_(~td@i5387090B.versanet.de) (Ping timeout: 260 seconds)
2024-05-31 04:54:56 +0200td_(~td@i53870933.versanet.de)
2024-05-31 04:58:48 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-31 05:05:16 +0200natto17(~natto@129.154.243.159) (Quit: a.)
2024-05-31 05:06:27 +0200natto(~natto@129.154.243.159)
2024-05-31 05:14:13 +0200philopsos1(~caecilius@user/philopsos)
2024-05-31 05:14:57 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-05-31 05:17:08 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds)
2024-05-31 05:19:10 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-05-31 05:34:56 +0200yin(~yin@user/zero)
2024-05-31 05:36:16 +0200aforemny(~aforemny@2001:9e8:6ce0:6500:b6c2:df57:8eea:8e8) (Ping timeout: 260 seconds)
2024-05-31 05:36:20 +0200aforemny_(~aforemny@i59F516F2.versanet.de)
2024-05-31 05:42:50 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2024-05-31 05:49:55 +0200mikess(~mikess@user/mikess) (Quit: mikess)
2024-05-31 05:58:34 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-31 06:05:05 +0200euleritian(~euleritia@dynamic-176-001-209-095.176.1.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-05-31 06:05:57 +0200euleritian(~euleritia@dynamic-176-002-072-246.176.2.pool.telefonica.de)
2024-05-31 06:09:53 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Remote host closed the connection)
2024-05-31 06:15:49 +0200pyooque(~puke@user/puke)
2024-05-31 06:15:49 +0200puke(~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services)))
2024-05-31 06:15:49 +0200pyooquepuke
2024-05-31 06:15:55 +0200puke(~puke@user/puke) (Remote host closed the connection)
2024-05-31 06:41:42 +0200euleritian(~euleritia@dynamic-176-002-072-246.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-31 06:42:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-31 06:57:07 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-31 07:00:23 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 256 seconds)
2024-05-31 07:00:28 +0200joeyadams(~joeyadams@38.48.105.67) (Quit: Leaving)
2024-05-31 07:08:33 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-31 07:08:38 +0200xdminsy(~xdminsy@117.147.70.212) (Remote host closed the connection)
2024-05-31 07:09:04 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-31 07:13:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 07:17:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-31 07:20:35 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-05-31 07:22:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 07:22:05 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-05-31 07:22:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2024-05-31 07:23:29 +0200Lord_of_Life_Lord_of_Life
2024-05-31 07:26:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-31 07:30:03 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-31 07:30:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 07:32:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-31 07:32:45 +0200acidjnk(~acidjnk@p200300d6e714dc50d4a40147ae2adb36.dip0.t-ipconnect.de)
2024-05-31 07:33:03 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-31 07:48:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 07:50:37 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-31 07:53:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-31 07:56:59 +0200euphores(~SASL_euph@user/euphores)
2024-05-31 08:00:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 08:06:23 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-05-31 08:11:04 +0200tromp(~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 +0200yin(~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 +0200m1dnight(~christoph@82.146.125.185) (Quit: WeeChat 4.2.2)
2024-05-31 08:21:39 +0200m1dnight(~christoph@82.146.125.185)
2024-05-31 08:24:38 +0200yin(~yin@user/zero)
2024-05-31 08:37:15 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2024-05-31 08:37:39 +0200mc47(~mc47@xmonad/TheMC47)
2024-05-31 08:38:10 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2024-05-31 08:46:24 +0200cheater(~Username@user/cheater)
2024-05-31 08:49:19 +0200 <cheater> hello
2024-05-31 08:50:46 +0200cfricke(~cfricke@user/cfricke)
2024-05-31 08:51:20 +0200michalz(~michalz@185.246.207.221)
2024-05-31 08:56:52 +0200aforemny(~aforemny@2001:9e8:6cff:7b00:ebc:520:3eb9:17ae)
2024-05-31 08:56:59 +0200aforemny_(~aforemny@i59F516F2.versanet.de) (Ping timeout: 252 seconds)
2024-05-31 09:00:16 +0200aforemny_(~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 +0200aforemny(~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 +0200yin(~yin@user/zero) (Ping timeout: 240 seconds)
2024-05-31 09:04:56 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-31 09:06:32 +0200aforemny(~aforemny@2001:9e8:6cff:8f00:d810:d333:4b66:fed1)
2024-05-31 09:07:11 +0200aforemny_(~aforemny@i59F516DA.versanet.de) (Ping timeout: 264 seconds)
2024-05-31 09:12:07 +0200yin(~yin@user/zero)
2024-05-31 09:12:28 +0200aforemny_(~aforemny@i59f516f3.versanet.de)
2024-05-31 09:13:29 +0200haskellbridgesm turns off his router at night
2024-05-31 09:13:53 +0200aforemny(~aforemny@2001:9e8:6cff:8f00:d810:d333:4b66:fed1) (Ping timeout: 268 seconds)
2024-05-31 09:14:31 +0200oo_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 +0200aforemny(~aforemny@2001:9e8:6cff:a700:8f2b:88aa:2f90:dc4d)
2024-05-31 09:16:47 +0200aforemny_(~aforemny@i59f516f3.versanet.de) (Ping timeout: 252 seconds)
2024-05-31 09:24:44 +0200aforemny_(~aforemny@2001:9e8:6cff:ba00:761d:19ef:cf56:2343)
2024-05-31 09:24:53 +0200aforemny(~aforemny@2001:9e8:6cff:a700:8f2b:88aa:2f90:dc4d) (Ping timeout: 240 seconds)
2024-05-31 09:29:28 +0200aforemny_(~aforemny@2001:9e8:6cff:ba00:761d:19ef:cf56:2343) (Ping timeout: 256 seconds)
2024-05-31 09:32:05 +0200aforemny_(~aforemny@i59F516F2.versanet.de)
2024-05-31 09:36:35 +0200aforemny_(~aforemny@i59F516F2.versanet.de) (Ping timeout: 264 seconds)
2024-05-31 09:37:33 +0200aforemny(~aforemny@2001:9e8:6cff:d100:8da1:7cd2:28e0:2bdb)
2024-05-31 09:42:09 +0200aforemny(~aforemny@2001:9e8:6cff:d100:8da1:7cd2:28e0:2bdb) (Ping timeout: 255 seconds)
2024-05-31 09:42:38 +0200aforemny(~aforemny@i59F516E3.versanet.de)
2024-05-31 09:43:30 +0200acidjnk(~acidjnk@p200300d6e714dc50d4a40147ae2adb36.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-05-31 09:43:48 +0200danse-nr3(~danse-nr3@151.35.229.105)
2024-05-31 09:54:04 +0200__monty__(~toonn@user/toonn)
2024-05-31 09:58:22 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-05-31 10:02:03 +0200gmg(~user@user/gehmehgeh)
2024-05-31 10:04:42 +0200cfricke(~cfricke@user/cfricke)
2024-05-31 10:07:01 +0200Square2(~Square4@user/square) (Ping timeout: 272 seconds)
2024-05-31 10:08:32 +0200vpan(~vpan@212.117.1.172)
2024-05-31 10:38:25 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-31 10:39:08 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2024-05-31 10:39:50 +0200Square2(~Square4@user/square)
2024-05-31 10:41:25 +0200CiaoSen(~Jura@2a05:5800:2d9:4000:e6b9:7aff:fe80:3d03)
2024-05-31 10:43:57 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-05-31 10:44:42 +0200Square2(~Square4@user/square) (Ping timeout: 255 seconds)
2024-05-31 10:57:18 +0200aforemny(~aforemny@i59F516E3.versanet.de) (Ping timeout: 255 seconds)
2024-05-31 10:57:41 +0200Square2(~Square4@user/square)
2024-05-31 11:01:28 +0200aforemny(~aforemny@i59F516EE.versanet.de)
2024-05-31 11:03:34 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-31 11:05:14 +0200hexagoxe-(~hexagoxel@2a01:4f8:c0c:e::2)
2024-05-31 11:05:23 +0200Square2(~Square4@user/square) (Ping timeout: 264 seconds)
2024-05-31 11:05:51 +0200danse-nr3(~danse-nr3@151.35.229.105) (Ping timeout: 255 seconds)
2024-05-31 11:06:30 +0200danse-nr3(~danse-nr3@151.57.225.167)
2024-05-31 11:06:49 +0200hexagoxe-hexagoxel
2024-05-31 11:07:27 +0200hexagoxel(~hexagoxel@2a01:4f8:c0c:e::2) (Remote host closed the connection)
2024-05-31 11:07:43 +0200hexagoxel(~hexagoxel@2a01:4f8:c0c:e::2)
2024-05-31 11:10:51 +0200phma(phma@2001:5b0:211c:60e8:6a1b:f7bb:b842:8218) (Read error: Connection reset by peer)
2024-05-31 11:11:35 +0200phma(~phma@host-67-44-208-4.hnremote.net)
2024-05-31 11:19:49 +0200destituion(~destituio@2a02:2121:28c:be84:6a11:2af6:b842:fa5c) (Ping timeout: 255 seconds)
2024-05-31 11:21:48 +0200awsaosync
2024-05-31 11:22:29 +0200aosyncaws
2024-05-31 11:23:53 +0200destituion(~destituio@85.221.111.174)
2024-05-31 11:26:42 +0200connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2024-05-31 11:28:45 +0200connrs(~connrs@user/connrs)
2024-05-31 11:30:33 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds)
2024-05-31 11:32:53 +0200krei-se(~krei-se@p57af22bf.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-05-31 11:35:45 +0200krei-se(~krei-se@p5085db77.dip0.t-ipconnect.de)
2024-05-31 11:37:04 +0200acidjnk(~acidjnk@p200300d6e714dc50c5d26c84eddccd81.dip0.t-ipconnect.de)
2024-05-31 11:40:36 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-31 11:42:06 +0200kuribas(~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 +0200chele(~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 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-05-31 11:45:38 +0200driib3(~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 +0200yin(~yin@user/zero) (Ping timeout: 260 seconds)
2024-05-31 11:51:00 +0200aforemny_(~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 +0200aforemny(~aforemny@i59F516EE.versanet.de) (Ping timeout: 252 seconds)
2024-05-31 11:51:56 +0200Nixkernal_(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds)
2024-05-31 11:53:03 +0200danse-nr3(~danse-nr3@151.57.225.167) (Remote host closed the connection)
2024-05-31 11:53:28 +0200danse-nr3(~danse-nr3@151.57.225.167)
2024-05-31 11:55:20 +0200aforemny(~aforemny@2001:9e8:6cc0:e100:4fa2:e76c:3a29:d92c)
2024-05-31 11:55:21 +0200aforemny_(~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 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-05-31 12:07:48 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2024-05-31 12:10:15 +0200aforemny(~aforemny@2001:9e8:6cc0:e100:4fa2:e76c:3a29:d92c) (Ping timeout: 268 seconds)
2024-05-31 12:10:38 +0200aforemny(~aforemny@2001:9e8:6cc1:900:e6d8:1e6c:121f:64c7)
2024-05-31 12:15:03 +0200aforemny(~aforemny@2001:9e8:6cc1:900:e6d8:1e6c:121f:64c7) (Ping timeout: 260 seconds)
2024-05-31 12:19:38 +0200aforemny(~aforemny@2001:9e8:6cc1:3600:3f48:22cd:8891:f09b)
2024-05-31 12:24:26 +0200aforemny(~aforemny@2001:9e8:6cc1:3600:3f48:22cd:8891:f09b) (Ping timeout: 268 seconds)
2024-05-31 12:26:51 +0200CiaoSen(~Jura@2a05:5800:2d9:4000:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds)
2024-05-31 12:33:07 +0200aforemny(~aforemny@i59F516E2.versanet.de)
2024-05-31 12:33:14 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-31 12:37:36 +0200aforemny(~aforemny@i59F516E2.versanet.de) (Ping timeout: 256 seconds)
2024-05-31 12:43:59 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-31 12:45:19 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-31 12:50:34 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-31 12:51:20 +0200aforemny(~aforemny@i59F516F0.versanet.de)
2024-05-31 12:57:02 +0200aforemny_(~aforemny@2001:9e8:6cc1:8900:77a2:a7e2:97a4:b898)
2024-05-31 12:58:11 +0200aforemny(~aforemny@i59F516F0.versanet.de) (Ping timeout: 264 seconds)
2024-05-31 13:01:28 +0200aforemny_(~aforemny@2001:9e8:6cc1:8900:77a2:a7e2:97a4:b898) (Ping timeout: 260 seconds)
2024-05-31 13:04:58 +0200aforemny(~aforemny@2001:9e8:6cc1:9c00:c171:fb17:71f4:dfc2)
2024-05-31 13:08:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 13:16:24 +0200aforemny(~aforemny@2001:9e8:6cc1:9c00:c171:fb17:71f4:dfc2) (Ping timeout: 260 seconds)
2024-05-31 13:16:50 +0200aforemny(~aforemny@i59F516D2.versanet.de)
2024-05-31 13:19:19 +0200xdminsy(~xdminsy@117.147.70.212) (Ping timeout: 268 seconds)
2024-05-31 13:19:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 13:20:32 +0200aforemny_(~aforemny@2001:9e8:6cc1:ba00:d457:6638:99ad:96fc)
2024-05-31 13:21:47 +0200aforemny(~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 +0200pavonia(~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 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 13:44:04 +0200anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-31 13:46:04 +0200anpad(~pandeyan@user/anpad)
2024-05-31 13:47:01 +0200billchenchina(~billchenc@103.152.35.21)
2024-05-31 13:50:23 +0200tromp(~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 +0200bontaq(~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 +0200zer0bitz_(~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 +0200ddellacosta(~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 +0200zer0bitz(~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 +0200xff0x(~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 +0200destituion(~destituio@85.221.111.174) (Ping timeout: 264 seconds)
2024-05-31 14:42:44 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 260 seconds)
2024-05-31 14:44:07 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-31 14:44:51 +0200rosco(~rosco@90.58.221.226)
2024-05-31 14:51:45 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-31 14:56:34 +0200cfricke(~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 +0200danse-nr3(~danse-nr3@151.57.225.167) (Read error: Connection reset by peer)
2024-05-31 15:04:30 +0200danse-nr3(~danse-nr3@151.19.228.85)
2024-05-31 15:04:43 +0200destituion(~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 +0200danse-nr3(~danse-nr3@151.19.228.85) (Ping timeout: 240 seconds)
2024-05-31 15:24:53 +0200pounce(~pounce@user/cute/pounce) (Ping timeout: 240 seconds)
2024-05-31 15:27:23 +0200pounce(~pounce@user/cute/pounce)
2024-05-31 15:28:41 +0200danse-nr3(~danse-nr3@151.19.228.85)
2024-05-31 15:32:13 +0200michalz(~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-31 15:38:08 +0200gastus_(~gastus@185.6.123.171)
2024-05-31 15:41:12 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 256 seconds)
2024-05-31 15:43:04 +0200TMA(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 +0200AlexZenon(~alzenon@178.34.150.84) (Ping timeout: 264 seconds)
2024-05-31 15:46:47 +0200AlexNoo(~AlexNoo@178.34.150.84) (Ping timeout: 264 seconds)
2024-05-31 15:55:02 +0200AlexNoo(~AlexNoo@178.34.150.84)
2024-05-31 15:59:48 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2024-05-31 16:07:13 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-31 16:07:20 +0200sshine(~simon@zhen.mechanicus.xyz) (Quit: 再见)
2024-05-31 16:07:27 +0200euleritian(~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de)
2024-05-31 16:07:40 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f)
2024-05-31 16:19:14 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-31 16:21:58 +0200khumba(~khumba@user/khumba) ()
2024-05-31 16:27:15 +0200Nixkernal(~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 +0200danse-nr3(~danse-nr3@151.19.228.85) (Ping timeout: 240 seconds)
2024-05-31 16:49:43 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-31 16:50:13 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 268 seconds)
2024-05-31 16:50:23 +0200AlexZenon(~alzenon@178.34.150.84)
2024-05-31 16:58:36 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-31 16:58:50 +0200xdminsy(~xdminsy@117.147.70.212) (Remote host closed the connection)
2024-05-31 16:59:16 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-31 17:01:25 +0200danse-nr3(~danse-nr3@151.19.228.85)
2024-05-31 17:02:25 +0200danse-nr3(~danse-nr3@151.19.228.85) (Remote host closed the connection)
2024-05-31 17:02:49 +0200danse-nr3(~danse-nr3@151.19.228.85)
2024-05-31 17:10:41 +0200philopsos1(~caecilius@user/philopsos)
2024-05-31 17:11:52 +0200euleritian(~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-31 17:12:32 +0200euleritian(~euleritia@77.22.252.56)
2024-05-31 17:20:41 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-05-31 17:23:18 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-31 17:47:00 +0200danse-nr3(~danse-nr3@151.19.228.85) (Ping timeout: 256 seconds)
2024-05-31 17:50:42 +0200Guest184(~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 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-31 18:01:27 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f)
2024-05-31 18:05:50 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection)
2024-05-31 18:06:08 +0200andrei_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 +0200raehik(~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 +0200yin(~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 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-31 18:12:20 +0200andrei_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 +0200andrei_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 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-31 18:23:34 +0200chele(~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 +0200andrewboltachev(~andrey@178.141.226.53)
2024-05-31 18:31:18 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-05-31 18:31:48 +0200sord937_(~sord937@gateway/tor-sasl/sord937)
2024-05-31 18:33:20 +0200superbil(~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 +0200sord937_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 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection)
2024-05-31 18:36:08 +0200andrei_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 +0200fireking04(~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 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-31 18:45:10 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2024-05-31 18:47:37 +0200euleritian(~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 +0200zmt00(~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 +0200euleritian(~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 +0200tromp(~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 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-05-31 18:58:29 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-31 19:00:53 +0200heartbur1(~gass@81.4.123.134) (Read error: Connection reset by peer)
2024-05-31 19:01:43 +0200ridcully_(~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1)
2024-05-31 19:02:00 +0200ridcully(~ridcully@p508ac2b4.dip0.t-ipconnect.de)
2024-05-31 19:05:15 +0200srk(~sorki@user/srk)
2024-05-31 19:18:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 19:23:56 +0200euleritian(~euleritia@dynamic-176-000-194-148.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-31 19:24:18 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-31 19:25:51 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Remote host closed the connection)
2024-05-31 19:26:08 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f)
2024-05-31 19:26:41 +0200titibandit(~user@user/titibandit)
2024-05-31 19:37:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 19:40:54 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 256 seconds)
2024-05-31 19:50:39 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Changing host)
2024-05-31 19:50:39 +0200Angelz(Angelz@user/angelz)
2024-05-31 20:00:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 20:08:11 +0200yin(~yin@user/zero) (Ping timeout: 256 seconds)
2024-05-31 20:10:11 +0200bontaq(~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-05-31 20:25:09 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2024-05-31 20:26:06 +0200michalz(~michalz@185.246.207.205)
2024-05-31 20:27:33 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-31 20:33:16 +0200fireking04(~user@112.206.71.35) (Remote host closed the connection)
2024-05-31 20:33:27 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-05-31 20:35:17 +0200average(uid473595@user/average)
2024-05-31 20:36:58 +0200bontaq(~user@ool-45779c03.dyn.optonline.net)
2024-05-31 20:38:14 +0200andrewboltachev(~andrey@178.141.226.53) ()
2024-05-31 20:55:10 +0200onthebus(~user@2607:fb90:eaa9:d895:593d:f883:da3f:5e08)
2024-05-31 21:00:52 +0200onthebus(~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 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-05-31 21:08:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 21:10:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 21:12:49 +0200f(~f@185.209.198.101)
2024-05-31 21:13:55 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:66f8:a011:89:520f) (Ping timeout: 256 seconds)
2024-05-31 21:17:34 +0200f(~f@185.209.198.101) (Remote host closed the connection)
2024-05-31 21:18:22 +0200f(~f@185.209.198.101)
2024-05-31 21:19:28 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-05-31 21:20:10 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1)
2024-05-31 21:21:21 +0200philopsos1(~caecilius@user/philopsos)
2024-05-31 21:22:00 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Client Quit)
2024-05-31 21:23:24 +0200f(~f@185.209.198.101) (K-Lined)
2024-05-31 21:24:13 +0200Square(~Square@user/square)
2024-05-31 21:25:12 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-31 21:29:12 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel)
2024-05-31 21:29:16 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-05-31 21:37:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-31 21:39:15 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds)
2024-05-31 21:40:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 21:46:45 +0200thegeekinside(~thegeekin@189.180.58.192)
2024-05-31 21:50:44 +0200um(5dmlfhfnip@user/um)
2024-05-31 21:50:55 +0200um(5dmlfhfnip@user/um) ()
2024-05-31 21:55:52 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection)
2024-05-31 21:56:10 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1)
2024-05-31 21:57:09 +0200f(~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 +0200thegeekinside(~thegeekin@189.180.58.192) (Remote host closed the connection)
2024-05-31 22:02:11 +0200rosco(~rosco@90.58.221.226) (Quit: Lost terminal)
2024-05-31 22:02:22 +0200rosco(~rosco@90.58.221.226)
2024-05-31 22:03:01 +0200jmdaemon(~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 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 22:07:53 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2024-05-31 22:12:01 +0200rosco(~rosco@90.58.221.226) (Quit: Lost terminal)
2024-05-31 22:13:51 +0200pavonia(~user@user/siracusa)
2024-05-31 22:16:39 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-31 22:18:45 +0200Rodney_(~Rodney@176.254.244.83)
2024-05-31 22:18:52 +0200Rodney_(~Rodney@176.254.244.83) (Excess Flood)
2024-05-31 22:19:22 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection)
2024-05-31 22:19:40 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1)
2024-05-31 22:19:42 +0200vadparaszt(~Rodney@176.254.244.83)
2024-05-31 22:20:07 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-31 22:22:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-31 22:27:17 +0200Guest184(~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 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection)
2024-05-31 22:36:11 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1)
2024-05-31 22:37:47 +0200mud(~mud@user/kadoban) (Ping timeout: 264 seconds)
2024-05-31 22:38:27 +0200mud(~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 +0200tromp(~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 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-31 22:45:02 +0200average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-05-31 22:45:52 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection)
2024-05-31 22:46:10 +0200andrei_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 +0200lxsameer(~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 +0200andrei_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 +0200ystael(~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 +0200takuan(~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 +0200rosco(~rosco@90.58.221.226)
2024-05-31 23:11:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 23:15:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-31 23:17:56 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-31 23:19:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-31 23:24:11 +0200philopsos1(~caecilius@user/philopsos)
2024-05-31 23:24:37 +0200michalz(~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-31 23:27:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-31 23:31:05 +0200phma(~phma@host-67-44-208-4.hnremote.net) (Read error: Connection reset by peer)
2024-05-31 23:31:30 +0200phma(phma@2001:5b0:211c:60e8:6c16:6d7e:9de:d11c)
2024-05-31 23:34:22 +0200rosco(~rosco@90.58.221.226) (Quit: Lost terminal)
2024-05-31 23:35:11 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-31 23:52:56 +0200titibandit(~user@user/titibandit) (Ping timeout: 260 seconds)
2024-05-31 23:56:26 +0200target_i(~target_i@user/target-i/x-6023099)
2024-05-31 23:56:44 +0200f(~f@185.209.199.45) (Quit: Leaving)