| 2023-09-29 00:02:41 +0200 | poscat | (~poscat@2a09:bac1:19a0:58::1d3:53) (Ping timeout: 260 seconds) |
| 2023-09-29 00:05:06 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-29 00:08:31 +0200 | stites | (~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) (Ping timeout: 260 seconds) |
| 2023-09-29 00:08:59 +0200 | poscat | (~poscat@2a09:bac5:1f48:1250::1d3:53) |
| 2023-09-29 00:09:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-29 00:10:04 +0200 | bontaq`` | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-09-29 00:10:31 +0200 | danza | (~francesco@151.57.33.249) (Ping timeout: 255 seconds) |
| 2023-09-29 00:11:34 +0200 | stites | (~stites@2607:fb91:de1:e0c6:52ef:1441:c74a:ddbe) |
| 2023-09-29 00:12:36 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-09-29 00:13:21 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-29 00:16:06 +0200 | stites | (~stites@2607:fb91:de1:e0c6:52ef:1441:c74a:ddbe) (Ping timeout: 260 seconds) |
| 2023-09-29 00:16:32 +0200 | stites | (~stites@2607:fb91:de1:468d:b4f8:bece:7f15:37bd) |
| 2023-09-29 00:25:26 +0200 | poscat | (~poscat@2a09:bac5:1f48:1250::1d3:53) (Ping timeout: 260 seconds) |
| 2023-09-29 00:26:01 +0200 | stites | (~stites@2607:fb91:de1:468d:b4f8:bece:7f15:37bd) (Ping timeout: 260 seconds) |
| 2023-09-29 00:26:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-29 00:27:46 +0200 | stites | (~stites@2607:fb91:dc6:f87d:ffa1:11d6:cdc4:a2b0) |
| 2023-09-29 00:29:49 +0200 | poscat | (~poscat@2a09:bac5:1f4a:1250::1d3:53) |
| 2023-09-29 00:32:35 +0200 | stites | (~stites@2607:fb91:dc6:f87d:ffa1:11d6:cdc4:a2b0) (Read error: Connection reset by peer) |
| 2023-09-29 00:32:54 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-29 00:33:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-29 00:38:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-29 00:39:51 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 2023-09-29 00:48:41 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-288d-d437-33d3-7e96.res6.spectrum.com) (Remote host closed the connection) |
| 2023-09-29 00:48:46 +0200 | poscat | (~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 260 seconds) |
| 2023-09-29 00:53:49 +0200 | poscat | (~poscat@2a09:bac5:1f48:1250::1d3:53) |
| 2023-09-29 01:07:26 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-09-29 01:14:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-29 01:16:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-29 01:20:57 +0200 | statusbot11 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-09-29 01:21:19 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2023-09-29 01:22:14 +0200 | EvanR_ | (~EvanR@user/evanr) |
| 2023-09-29 01:22:14 +0200 | nshepperd21 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-09-29 01:22:32 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 01:23:02 +0200 | Athas_ | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 2023-09-29 01:23:24 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Ping timeout: 248 seconds) |
| 2023-09-29 01:23:33 +0200 | jbalint_ | (~jbalint@071-090-119-177.res.spectrum.com) |
| 2023-09-29 01:23:56 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 248 seconds) |
| 2023-09-29 01:24:28 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2023-09-29 01:24:29 +0200 | adeptangel | (cren@tilde.team) (Ping timeout: 248 seconds) |
| 2023-09-29 01:24:29 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 248 seconds) |
| 2023-09-29 01:24:29 +0200 | earthy | (~arthurvl@2a02:a469:f5e2:1:83d2:ca43:57a2:dc81) (Ping timeout: 248 seconds) |
| 2023-09-29 01:24:29 +0200 | jackhill | (~jackhill@2604:180:f2::1a5) (Ping timeout: 248 seconds) |
| 2023-09-29 01:24:29 +0200 | nshepperd21 | nshepperd2 |
| 2023-09-29 01:25:00 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 248 seconds) |
| 2023-09-29 01:25:00 +0200 | landonf | (landonf@mac68k.info) (Ping timeout: 248 seconds) |
| 2023-09-29 01:25:29 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2023-09-29 01:25:50 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2023-09-29 01:25:53 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2023-09-29 01:29:30 +0200 | landonf | (landonf@mac68k.info) |
| 2023-09-29 02:00:04 +0200 | poscat | (~poscat@2a09:bac5:1f48:1250::1d3:53) (Ping timeout: 272 seconds) |
| 2023-09-29 02:04:36 +0200 | poscat | (~poscat@104.28.208.148) |
| 2023-09-29 02:10:26 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2023-09-29 02:11:23 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-29 02:12:03 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-29 02:16:37 +0200 | Athas_ | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 02:17:32 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 2023-09-29 02:17:44 +0200 | poscat | (~poscat@104.28.208.148) (Changing host) |
| 2023-09-29 02:17:45 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 02:19:21 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2023-09-29 02:19:42 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 02:24:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-29 02:24:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-29 02:24:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-29 02:24:46 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 272 seconds) |
| 2023-09-29 02:27:35 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-09-29 02:40:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-29 02:40:53 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 02:41:05 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 2023-09-29 02:43:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-09-29 02:45:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-29 02:53:44 +0200 | iris60 | (~iris@2804:14c:5b61:83f2:317b:69f1:8958:ec73) |
| 2023-09-29 02:54:49 +0200 | iris60 | (~iris@2804:14c:5b61:83f2:317b:69f1:8958:ec73) (Client Quit) |
| 2023-09-29 03:01:35 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 240 seconds) |
| 2023-09-29 03:02:16 +0200 | sudden | (~cat@user/sudden) |
| 2023-09-29 03:08:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-09-29 03:24:23 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-29 03:29:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-29 03:36:56 +0200 | otto_s | (~user@p5b0443b5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-09-29 03:38:39 +0200 | otto_s | (~user@p5de2fc38.dip0.t-ipconnect.de) |
| 2023-09-29 03:47:16 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2023-09-29 03:47:39 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-09-29 03:53:46 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 03:57:01 +0200 | EvanR_ | EvanR |
| 2023-09-29 04:01:06 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2023-09-29 04:01:31 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 04:03:05 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2023-09-29 04:03:30 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 04:05:48 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-09-29 04:06:44 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-09-29 04:07:59 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 255 seconds) |
| 2023-09-29 04:09:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2023-09-29 04:09:58 +0200 | td_ | (~td@i53870934.versanet.de) |
| 2023-09-29 04:16:10 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 04:20:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-29 04:20:43 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-29 04:20:43 +0200 | finn_elija | FinnElija |
| 2023-09-29 04:23:03 +0200 | <wroathe> | I'm loving how impossible it is to get understandable heap statistics using GHC. The built-in heap profiler was a dead end, and now I'm trying to get ghc-debug to work which has the funny problem where, when you start up the stub server in the program you're trying to debug, it listens for debug commands on a separate thread than your main thread, and if you use the `pause` function to pause your program |
| 2023-09-29 04:23:09 +0200 | <wroathe> | at a specific point (which pauses on the main thread) and then later on connect with a client to run a command the GHC RTS dies with "error: %s: called from a different OS thread than rts_pause." |
| 2023-09-29 04:24:09 +0200 | <wroathe> | Do Haskell programmers just not do any memory profiling? Am I alone in thinking that the built-in heap profiler requiring you to generate a postscript file and use ghostviewer is terrible? |
| 2023-09-29 04:29:29 +0200 | <wroathe> | Live action footage of me trying to measure my Haskell program: https://www.youtube.com/watch?v=AbSehcT19u0 |
| 2023-09-29 04:32:46 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2023-09-29 04:34:43 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 04:39:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:99ba:aaa8:54a8:3a75) (Ping timeout: 255 seconds) |
| 2023-09-29 04:40:38 +0200 | <haskellbridge> | <sm> it is complex indeed, with many different tools, but should be possible |
| 2023-09-29 04:41:09 +0200 | <haskellbridge> | <sm> you know about plain old +RTS -s or +RTS -S ? |
| 2023-09-29 04:41:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 04:41:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 2023-09-29 04:43:57 +0200 | <haskellbridge> | <sm> #ghc should know |
| 2023-09-29 05:06:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-09-29 05:09:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-29 05:11:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 2023-09-29 05:11:34 +0200 | <monochrom> | The built-in heap profiler is not a dead end to me. I now use -eventlog (compile-time) and -l (run-time) and https://hackage.haskell.org/package/eventlog2html . This replaces the postscript output. |
| 2023-09-29 05:14:43 +0200 | radiance | (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 264 seconds) |
| 2023-09-29 05:19:34 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-09-29 05:19:40 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-09-29 05:20:47 +0200 | <haskellbridge> | <Inst> oh, thanks for help mauke , forgot to say so |
| 2023-09-29 05:21:35 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-29 05:31:52 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-09-29 05:34:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 05:42:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-29 05:43:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-29 05:49:07 +0200 | dhmltb^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-09-29 05:56:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 05:57:12 +0200 | aforemny_ | (~aforemny@i59F516CC.versanet.de) |
| 2023-09-29 05:58:50 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:ea00:62c9:f31e:c08b:d2de) (Ping timeout: 272 seconds) |
| 2023-09-29 06:01:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 06:06:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-29 06:15:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-29 06:17:35 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-09-29 06:20:41 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2023-09-29 06:24:46 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 06:25:32 +0200 | euleritian | (~euleritia@77.22.252.18) |
| 2023-09-29 06:27:50 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-c2b9-2772-741f-c8fd.res6.spectrum.com) |
| 2023-09-29 06:31:44 +0200 | jargon | (~jargon@184.101.67.95) |
| 2023-09-29 06:31:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 06:36:37 +0200 | euleritian | (~euleritia@77.22.252.18) (Ping timeout: 255 seconds) |
| 2023-09-29 06:44:40 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 06:45:09 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-09-29 06:47:32 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 06:51:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-29 06:51:36 +0200 | billchenchina- | (~billchenc@171.113.147.192) (Ping timeout: 255 seconds) |
| 2023-09-29 06:53:34 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f31b8a25095474e5a96.dip0.t-ipconnect.de) |
| 2023-09-29 06:56:25 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-09-29 07:02:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 07:09:57 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 07:11:26 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-29 07:13:04 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-29 07:21:39 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-29 07:22:44 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 07:23:23 +0200 | <haskellbridge> | <Inst> I don't want to bother the cabal team, but what's this feature? @? |
| 2023-09-29 07:23:55 +0200 | <haskellbridge> | <Inst> ```hs |
| 2023-09-29 07:24:17 +0200 | <haskellbridge> | <Inst> This is part of the initial parser |
| 2023-09-29 07:24:24 +0200 | <haskellbridge> | <Inst> http://localhost:20662/_matrix/media/v1/download/matrix.org/IkFNnpuLhOhCoROevcHBdxZU |
| 2023-09-29 07:26:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-29 07:29:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 07:30:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-29 07:31:04 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-29 07:36:09 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-29 07:37:38 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-09-29 07:38:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-29 07:38:16 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-09-29 07:41:39 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-29 07:41:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-29 07:46:37 +0200 | radiance | (~renegade@bcdcac82.skybroadband.com) |
| 2023-09-29 07:50:00 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 07:51:58 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 2023-09-29 07:52:06 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-29 07:55:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-29 08:01:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 08:01:45 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-29 08:02:00 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-09-29 08:05:09 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-09-29 08:05:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-29 08:05:39 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-29 08:07:15 +0200 | CiaoSen | (~Jura@2a05:5800:2b0:5700:664b:f0ff:fe37:9ef) |
| 2023-09-29 08:08:53 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-09-29 08:10:34 +0200 | <haskellbridge> | <sm> it might be what's called "argument files" ? where an argument @foofile is replaced by the cli opts/args listed in that file |
| 2023-09-29 08:10:46 +0200 | <haskellbridge> | <sm> seems on topic for the cabal team |
| 2023-09-29 08:10:57 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-09-29 08:11:25 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-09-29 08:12:59 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-09-29 08:16:19 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 08:17:27 +0200 | <haskellbridge> | <Inst> Yup, my concern is that I simply don't want to bother you guys too much. I'm admittedly substantially lesser skilled, and I don't want to prove an annoyance against your normal work. |
| 2023-09-29 08:20:51 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 08:25:46 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-09-29 08:26:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-29 08:30:12 +0200 | <mauke> | <Inst> http://localhost:20662/_matrix/media/v1/download/matrix.org/IkFNnpuLhOhCoROevcHBdxZU |
| 2023-09-29 08:30:16 +0200 | <mauke> | ^ that's not going to work |
| 2023-09-29 08:32:29 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 08:33:17 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-09-29 08:33:25 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-09-29 08:33:47 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-09-29 08:35:00 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-09-29 08:35:35 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2023-09-29 08:38:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-29 08:39:01 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-09-29 08:39:57 +0200 | <haskellbridge> | <Inst> oh crap :( |
| 2023-09-29 08:39:58 +0200 | <haskellbridge> | <Inst> https://matrix-client.matrix.org/_matrix/media/v3/download/matrix.org/IkFNnpuLhOhCoROevcHBdxZU |
| 2023-09-29 08:40:12 +0200 | <haskellbridge> | <Inst> Seems to be an issue with Haskellbridge. |
| 2023-09-29 08:43:37 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-09-29 08:44:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-29 08:45:05 +0200 | <haskellbridge> | <Inst> sm: maybe here instead? |
| 2023-09-29 08:45:18 +0200 | <haskellbridge> | <Inst> My impression is that the Cabal team is overworked and I don't want to bother them with unnecessary conversations. |
| 2023-09-29 08:45:35 +0200 | <haskellbridge> | <Inst> I've promised to update their Wiki by 2024 April 2nd, I'm trying to add commenting on their code base |
| 2023-09-29 08:46:38 +0200 | <haskellbridge> | <Inst> My original goal was to understand the internal parser enough to reverse an exact parser out of it |
| 2023-09-29 08:46:41 +0200 | <haskellbridge> | <Inst> but it's all yakshaving |
| 2023-09-29 08:46:45 +0200 | <haskellbridge> | <sm> I'm chatting with you in the cabal project room because I think it's the right place, unless cabal devs say otherwise. Improving cabal docs is normal and valuable work. |
| 2023-09-29 08:47:19 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-09-29 08:48:10 +0200 | <haskellbridge> | <Inst> I can be quite a chatterbox and annoying, so I'd rather keep things to strict business there. |
| 2023-09-29 08:49:23 +0200 | <haskellbridge> | <sm> you're getting down to business imho. And it's not less chatty here 😁 |
| 2023-09-29 08:52:21 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 08:52:39 +0200 | <[exa]> | what's wrong with haskellbridge? (except it's a little annoying to look at from irc :D ) |
| 2023-09-29 08:54:18 +0200 | michalz | (~michalz@185.246.204.107) |
| 2023-09-29 08:55:22 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-29 08:57:01 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-09-29 08:58:07 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 08:59:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:51e7:e9e9:806a:d05e) |
| 2023-09-29 09:02:38 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-29 09:07:31 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 2023-09-29 09:08:16 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-29 09:08:22 +0200 | <haskellbridge> | <Inst> Yeah, it should be tomsmeding's? |
| 2023-09-29 09:08:39 +0200 | <haskellbridge> | <Inst> mauke reported an issue with image linking :( |
| 2023-09-29 09:11:16 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-09-29 09:14:18 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) |
| 2023-09-29 09:15:33 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-29 09:16:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-29 09:16:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 09:18:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 09:18:04 +0200 | <Axman6> | How do I make cabal generate haddock for all deps, and then tell me where the docs are? cabal haddock --haddock-all seems to do... something but I can't find the docs |
| 2023-09-29 09:20:52 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2023-09-29 09:23:08 +0200 | <dminuoso> | Axman6: Use --builddir= |
| 2023-09-29 09:23:11 +0200 | ubert | (~Thunderbi@91.141.46.28.wireless.dyn.drei.com) |
| 2023-09-29 09:23:22 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) (Quit: Client closed) |
| 2023-09-29 09:23:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-29 09:24:31 +0200 | <dminuoso> | Axman6: Or well, if you dont specify further, it ends up in dist-newstyle. |
| 2023-09-29 09:25:00 +0200 | <Axman6> | There are no hrtml files in dist-newstyle |
| 2023-09-29 09:25:03 +0200 | <Axman6> | html* |
| 2023-09-29 09:26:56 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 09:28:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-29 09:29:16 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-29 09:30:28 +0200 | <dminuoso> | Axman6: When I execute the command, it ends up saying something like: Documentation created: /Users/dminuoso/projects/wobcom/haskell/powerdns-gerd/docs/build/aarch64-osx/ghc-9.2.8/powerdns-gerd-0.1.2/t/powerdns-gerd-test/doc/html/powerdns-gerd/powerdns-gerd-test/index.html |
| 2023-09-29 09:32:06 +0200 | jargon | (~jargon@184.101.67.95) (Remote host closed the connection) |
| 2023-09-29 09:36:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 09:37:52 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-29 09:40:11 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-29 09:42:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-29 09:42:59 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 09:43:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-29 09:43:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-29 09:44:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2023-09-29 09:45:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-29 09:52:37 +0200 | phma | (~phma@2001:5b0:212a:9b88:8859:52af:681:ff74) (Read error: Connection reset by peer) |
| 2023-09-29 09:53:01 +0200 | phma | (~phma@2001:5b0:212a:9b88:8859:52af:681:ff74) |
| 2023-09-29 09:54:31 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-29 09:54:59 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-29 09:55:16 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-29 09:57:21 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-29 10:04:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-29 10:05:20 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) |
| 2023-09-29 10:08:53 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-29 10:11:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-09-29 10:14:05 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2023-09-29 10:14:23 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-29 10:14:37 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-29 10:16:48 +0200 | Jackneill | (~Jackneill@20014C4E1E0E96002832E879B4CC1CCF.dsl.pool.telekom.hu) |
| 2023-09-29 10:19:15 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-29 10:21:32 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-29 10:23:53 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 2023-09-29 10:28:46 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-09-29 10:31:13 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-29 10:32:41 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 2023-09-29 10:37:49 +0200 | michalz | (~michalz@185.246.204.107) (Ping timeout: 255 seconds) |
| 2023-09-29 10:38:18 +0200 | michalz | (~michalz@185.246.204.125) |
| 2023-09-29 10:39:59 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-29 10:40:00 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-29 10:47:21 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-29 10:51:07 +0200 | danse-nr3 | (~francesco@151.57.13.35) |
| 2023-09-29 10:52:54 +0200 | Jackneill | (~Jackneill@20014C4E1E0E96002832E879B4CC1CCF.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-09-29 10:55:33 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-29 10:56:48 +0200 | Jackneill | (~Jackneill@20014C4E1E0E960041E67FB265BC14C2.dsl.pool.telekom.hu) |
| 2023-09-29 10:57:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 2023-09-29 11:08:42 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 11:08:51 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 2023-09-29 11:18:46 +0200 | danse-nr3 | (~francesco@151.57.13.35) (Read error: Connection reset by peer) |
| 2023-09-29 11:18:49 +0200 | danse-nr3_ | (~francesco@151.57.4.214) |
| 2023-09-29 11:27:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-29 11:28:37 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-29 11:30:04 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 272 seconds) |
| 2023-09-29 11:30:42 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2023-09-29 11:31:09 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 11:32:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-09-29 11:35:40 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-29 11:41:16 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-09-29 11:41:41 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-29 11:41:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-29 11:46:07 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) (Quit: Client closed) |
| 2023-09-29 11:50:26 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) |
| 2023-09-29 11:52:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-29 11:54:11 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 255 seconds) |
| 2023-09-29 11:54:14 +0200 | Guest46 | (~Guest46@176.122.87.241) |
| 2023-09-29 11:54:26 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-09-29 11:55:13 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-29 11:55:27 +0200 | <Guest46> | https://paste.tomsmeding.com/n8RFJo2F |
| 2023-09-29 11:56:28 +0200 | <Guest46> | What does symbol `|` mean in a type? |
| 2023-09-29 12:03:29 +0200 | <cpressey> | Guest46: It introduces a functional dependency. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/functional_dependencies.html |
| 2023-09-29 12:03:54 +0200 | <Guest46> | thx |
| 2023-09-29 12:04:13 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-09-29 12:05:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 2023-09-29 12:06:47 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-29 12:06:55 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-09-29 12:07:07 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-29 12:10:32 +0200 | <dminuoso> | Guest46: Take note, that the | is not part of the type itself. |
| 2023-09-29 12:10:47 +0200 | <dminuoso> | It's part of a class (or type family) definition, but not of a type. |
| 2023-09-29 12:11:07 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 12:12:20 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-29 12:12:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-09-29 12:16:08 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 255 seconds) |
| 2023-09-29 12:17:27 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-09-29 12:21:07 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-29 12:25:54 +0200 | Guest46 | (~Guest46@176.122.87.241) (Quit: Client closed) |
| 2023-09-29 12:27:29 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2023-09-29 12:27:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2023-09-29 12:28:59 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-09-29 12:29:17 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-09-29 12:29:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-29 12:29:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-29 12:32:07 +0200 | CiaoSen | (~Jura@2a05:5800:2b0:5700:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
| 2023-09-29 12:35:08 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 2023-09-29 12:58:29 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2023-09-29 12:58:50 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 13:03:14 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2023-09-29 13:08:33 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-09-29 13:08:55 +0200 | <Pozyomka> | Hello, I have a problem, which is difficult to explain directly, so I will start with a smaller example. Notice that if y = coth(x), then dy/dx = 1 - y^2. Then all the derivatives of y (w.r.t. x) can be expressed as polynomials in y with integer coefficients. And this Haskell program computes these polynomials: https://ideone.com/W5v0DT |
| 2023-09-29 13:10:02 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-29 13:10:29 +0200 | <Pozyomka> | Now I want to do something similar for y = x coth(x). Now, dy/dx = x + y(y-1)/x, so, instead of a polynomial in y with integer coefficients, I have a polynomial in y with coefficients in Z[x,1/x]. |
| 2023-09-29 13:11:23 +0200 | <Pozyomka> | What would be an easy way to manipulate elements of Z[x,1/x] in Haskell? |
| 2023-09-29 13:13:44 +0200 | <opqdonut> | you could write a Num instance for something like GeneralizedPolynomial [Integer] [Integer] |
| 2023-09-29 13:14:19 +0200 | <opqdonut> | where the first list is the coefficients of 1,x,x^2... and the second list is the coefficients of 1/x,1/x^2,... |
| 2023-09-29 13:14:43 +0200 | <opqdonut> | there might even be something like this in a library |
| 2023-09-29 13:15:00 +0200 | <Pozyomka> | Yeah, if there were a library for this kind of thing, it would be amazing. |
| 2023-09-29 13:15:20 +0200 | <opqdonut> | perhaps: https://hackage.haskell.org/package/poly-0.5.1.0/docs/Data-Poly-Laurent.html |
| 2023-09-29 13:15:39 +0200 | <Pozyomka> | Thanks! |
| 2023-09-29 13:16:05 +0200 | <opqdonut> | I've never used that library so I can't vouch for it :) |
| 2023-09-29 13:17:08 +0200 | <Pozyomka> | I'll give it a try anyway. Thanks! |
| 2023-09-29 13:20:30 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) (Quit: Client closed) |
| 2023-09-29 13:21:19 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-29 13:21:55 +0200 | <[Leary]> | Pozyomka: If you just want polynomials in x and 1/x, you can express them by extending your polynomial type with a single Int factor, such that (poly, n) corresponds to poly / x^n. This shouldn't be much harder to manipulate. |
| 2023-09-29 13:22:12 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) |
| 2023-09-29 13:22:39 +0200 | <Pozyomka> | Oh, right. That works too. I have no idea how I could miss it. |
| 2023-09-29 13:28:58 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
| 2023-09-29 13:29:17 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-29 13:31:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-29 13:34:05 +0200 | danse-nr3_ | (~francesco@151.57.4.214) (Ping timeout: 255 seconds) |
| 2023-09-29 13:37:06 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-09-29 13:38:10 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-29 13:40:56 +0200 | <oo_miguel> | Hello, I have troubles understanding the following notation. What does it do? Please help: "case f a of x { _ -> g x b}" |
| 2023-09-29 13:45:46 +0200 | <ncf> | that's a parse error |
| 2023-09-29 13:46:02 +0200 | <ncf> | where did you see that? |
| 2023-09-29 13:46:41 +0200 | <oo_miguel> | https://youtu.be/5vKBFnTsCcE?t=1449 |
| 2023-09-29 13:47:07 +0200 | <oo_miguel> | maybe its meant to be "case f a of x -> g x b" ? |
| 2023-09-29 13:48:14 +0200 | <ncf> | oh that's Core i bet |
| 2023-09-29 13:51:20 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
| 2023-09-29 13:51:42 +0200 | <oo_miguel> | ooh ok, then I'd love to know the equivalent Haskell notation |
| 2023-09-29 13:51:57 +0200 | <ncf> | i'm unsure if x is meant to be a type there |
| 2023-09-29 13:53:57 +0200 | <ncf> | ok no x is the variable that the case expression binds |
| 2023-09-29 13:54:11 +0200 | <ncf> | so that would correspond to case f a of x -> g x b in Haskell |
| 2023-09-29 13:55:01 +0200 | <ncf> | https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/core-syn-type#case-expressions |
| 2023-09-29 13:56:41 +0200 | <oo_miguel> | make sense, thanks a lot! |
| 2023-09-29 13:58:01 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 13:58:44 +0200 | Athas | (~athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) |
| 2023-09-29 14:15:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:86d3:b9ba:fcd3:c6b9) |
| 2023-09-29 14:15:48 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
| 2023-09-29 14:16:44 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-29 14:19:02 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::a27d) |
| 2023-09-29 14:20:24 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::a27d) (Client Quit) |
| 2023-09-29 14:25:15 +0200 | <tomsmeding> | Inst: haskellbridge is not mine? |
| 2023-09-29 14:27:24 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2023-09-29 14:27:38 +0200 | <exarkun> | I believe geekosaur set it up. |
| 2023-09-29 14:29:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 14:30:12 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 14:32:11 +0200 | tomsmeding | thought so too |
| 2023-09-29 14:32:25 +0200 | <tomsmeding> | the fact that my name is in the logger and the pastebin doesn't mean that I run this channel lol |
| 2023-09-29 14:43:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f31b8a25095474e5a96.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-29 14:44:39 +0200 | <Inst> | Yeah, I got confused, it was Geekosaur. |
| 2023-09-29 15:03:29 +0200 | Athas | (~athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 15:03:59 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) |
| 2023-09-29 15:04:40 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-29 15:06:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-29 15:06:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-29 15:06:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-29 15:06:24 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:88c7:72c9:dd7f:ebe3) (Quit: Konversation terminated!) |
| 2023-09-29 15:08:35 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-29 15:08:50 +0200 | danse-nr3 | (~francesco@151.57.4.214) |
| 2023-09-29 15:18:05 +0200 | danse-nr3 | (~francesco@151.57.4.214) (Read error: Connection reset by peer) |
| 2023-09-29 15:19:01 +0200 | danse-nr3 | (~francesco@151.57.43.198) |
| 2023-09-29 15:20:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f3134651fca00eb6362.dip0.t-ipconnect.de) |
| 2023-09-29 15:23:13 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-29 15:24:13 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-29 15:28:58 +0200 | <exarkun> | Anyone know how to turn off the ... uh ... hls "explicit type declaration lens"(???) in emacs for instance definitions? |
| 2023-09-29 15:29:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-29 15:32:35 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2023-09-29 15:34:33 +0200 | <c_wraith> | IIRC, a lens in language-server terminology is a view that provides additional details when you're focusing on something in particular. like moving your cursor over a specific bit of code. (I have no idea how to turn it off, but I can provide some explanation for the name) |
| 2023-09-29 15:34:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-29 15:37:13 +0200 | <exarkun> | hm. the thing I mean is where it suggests a type signature for things that don't have a type signature. they show up all the time, not just when my cursor is on the thing. for normal top-levels, I like it. for functions in an instance definition, less so. |
| 2023-09-29 15:37:32 +0200 | <haskellbridge> | <eldritchcookie> hello compdata has many monadTrans like classes, i would like to derive them with GHC generics, they don't fit neatly in kind k -> Type so my ideas is to use a wrapper of kind((Type->Type)->Type-> Type) -> (Type->Type,Type)-> Type so i derive generic1 wrapper mt which does fit into k -> Type i am having difficulties writing the wrapper as i can't pattern match on the |
| 2023-09-29 15:37:32 +0200 | <haskellbridge> | (Type -> Typ <clipped message> |
| 2023-09-29 15:37:33 +0200 | <haskellbridge> | <eldritchcookie> e, Type) kinded type can i do this without type families? |
| 2023-09-29 15:38:07 +0200 | <tomsmeding> | exarkun: yeah that's still a lens; HLS would need to have a setting to disable certain "code lenses" (that's the full jargon), or emacs would need to have such a setting |
| 2023-09-29 15:38:20 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 272 seconds) |
| 2023-09-29 15:38:28 +0200 | <tomsmeding> | I know of neither but I don't use emacs and know little of HLS' config interface, so that does not say much |
| 2023-09-29 15:38:37 +0200 | stites | (~stites@2607:fb90:ad60:8d1a:66b:f48a:c3cc:4f4b) |
| 2023-09-29 15:39:17 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 15:44:16 +0200 | <[Leary]> | % data Uncurry f t where Uncurry :: f x y -> Uncurry f '(x, y) |
| 2023-09-29 15:44:16 +0200 | <yahb2> | <no output> |
| 2023-09-29 15:44:20 +0200 | <[Leary]> | % :k Uncurry |
| 2023-09-29 15:44:20 +0200 | <yahb2> | Uncurry :: (k1 -> k2 -> *) -> (k1, k2) -> * |
| 2023-09-29 15:44:31 +0200 | <exarkun> | I just read through all of the lsp-mode and lsp-haskell-mode config items and didn't see anything related, so I guess not :/ |
| 2023-09-29 15:44:40 +0200 | <[Leary]> | eldritchcookie: ^ |
| 2023-09-29 15:45:30 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8acd:124c:673e:3b22) |
| 2023-09-29 15:46:19 +0200 | <exarkun> | There is an option to render them above the line instead of to the right of it, and an option to turn them _all_ off. |
| 2023-09-29 15:48:05 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 15:48:06 +0200 | <ddellacosta> | exarkun: this may be a lsp-ui thing? https://github.com/emacs-lsp/lsp-ui --I have a bunch of specific options set in my emacs haskell-mode lsp-ui settings, including setq lsp-ui-sideline-show-hover f), maybe relevant? |
| 2023-09-29 15:48:15 +0200 | <ddellacosta> | whoops bad paste, sorry |
| 2023-09-29 15:48:40 +0200 | <ddellacosta> | honestly it's been a while since I fiddled with it |
| 2023-09-29 15:48:57 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) |
| 2023-09-29 15:50:42 +0200 | stites | (~stites@2607:fb90:ad60:8d1a:66b:f48a:c3cc:4f4b) (Read error: Connection reset by peer) |
| 2023-09-29 15:51:00 +0200 | stites | (~stites@155.33.133.38) |
| 2023-09-29 15:51:26 +0200 | <exarkun> | huh, why aren't lsp-ui options a subgroup of lsp options :/ |
| 2023-09-29 15:51:45 +0200 | <ddellacosta> | I wish I could answer that |
| 2023-09-29 15:52:58 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-09-29 15:55:03 +0200 | stites | (~stites@155.33.133.38) (Read error: Connection reset by peer) |
| 2023-09-29 15:55:13 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-29 15:55:35 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-09-29 15:55:35 +0200 | cheater_ | cheater |
| 2023-09-29 15:55:44 +0200 | stites | (~stites@155.33.133.38) |
| 2023-09-29 15:58:41 +0200 | euleritian | (~euleritia@p5b3f126b.dip0.t-ipconnect.de) |
| 2023-09-29 16:02:07 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 264 seconds) |
| 2023-09-29 16:03:02 +0200 | euleritian | (~euleritia@p5b3f126b.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-09-29 16:03:38 +0200 | euleritian | (~euleritia@p5b3f126b.dip0.t-ipconnect.de) |
| 2023-09-29 16:06:21 +0200 | cpressey | (~cpressey@host-89-240-117-3.as13285.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-29 16:07:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-29 16:08:06 +0200 | euleritian | (~euleritia@p5b3f126b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-09-29 16:09:37 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-29 16:10:14 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-09-29 16:11:55 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-29 16:13:58 +0200 | AreolaElbows | (~AreolaElb@174.94.60.216) |
| 2023-09-29 16:14:03 +0200 | <AreolaElbows> | Mrs. Sk1lt0n and Jean Pierre Manikariza (12 inch member) from Regina, Saskatchewan make love using poutine as an aphrodisiac! (The sensation of the warm poutine on their skin was unlike anything they had experienced before. Edna felt a shiver run down her spine as Jean Pierre took a handful of the fries and placed them on her chest, letting the gravy run down her curves. She closed her eyes and let out a soft sigh, feeling the warm liquid pool |
| 2023-09-29 16:14:03 +0200 | <AreolaElbows> | in the crevices between her breasts.) https://pastebin.com/Ta1Q8qy1 |
| 2023-09-29 16:14:06 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-29 16:16:16 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-09-29 16:17:00 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-09-29 16:17:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-09-29 16:17:58 +0200 | <danse-nr3> | interesting AreolaElbows |
| 2023-09-29 16:18:06 +0200 | <AreolaElbows> | Richard Simmons gets dateraped by Regina native Edna Skilton. Read about the drama involving hockey, roofies, and flabby elbows! https://pastes.io/3zb8ipyqbv |
| 2023-09-29 16:18:34 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-29 16:18:37 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Client Quit) |
| 2023-09-29 16:18:44 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 16:18:44 +0200 | <danse-nr3> | i think #haskell gets more of these than other channels i am in |
| 2023-09-29 16:18:46 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-29 16:19:30 +0200 | AreolaElbows | (~AreolaElb@174.94.60.216) (K-Lined) |
| 2023-09-29 16:20:19 +0200 | <danse-nr3> | and they quit before we are even able to do anything XD ... well, not an op, not sure what i could do |
| 2023-09-29 16:22:21 +0200 | <exarkun> | That one didn't quite, they were k-lined, so I guess whatever needed happening happened. |
| 2023-09-29 16:22:24 +0200 | <exarkun> | s/quite/quit/ |
| 2023-09-29 16:22:41 +0200 | <danse-nr3> | oh, right |
| 2023-09-29 16:25:36 +0200 | cpressey | (~cpressey@host-92-10-144-45.as13285.net) |
| 2023-09-29 16:25:45 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-29 16:28:29 +0200 | lottaquestions | (~nick@modemcable010.180-202-24.mc.videotron.ca) |
| 2023-09-29 16:28:34 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8acd:124c:673e:3b22) (Quit: Konversation terminated!) |
| 2023-09-29 16:29:12 +0200 | lottaquestions | (~nick@modemcable010.180-202-24.mc.videotron.ca) (Client Quit) |
| 2023-09-29 16:29:29 +0200 | lottaquestions | (~nick@modemcable010.180-202-24.mc.videotron.ca) |
| 2023-09-29 16:31:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-29 16:32:29 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-09-29 16:33:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-29 16:34:29 +0200 | cpressey | (~cpressey@host-92-10-144-45.as13285.net) (Quit: Client closed) |
| 2023-09-29 16:36:09 +0200 | phma | (~phma@2001:5b0:212a:9b88:8859:52af:681:ff74) (Read error: Connection reset by peer) |
| 2023-09-29 16:37:03 +0200 | phma | (~phma@2001:5b0:211c:5b58:bcd8:f233:1d50:97e8) |
| 2023-09-29 16:39:08 +0200 | <geekosaur> | pop into #haskell-ops when needed |
| 2023-09-29 16:40:23 +0200 | cpressey | (~cpressey@host-89-240-112-119.as13285.net) |
| 2023-09-29 16:42:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-29 16:46:41 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-29 16:47:46 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 16:48:22 +0200 | <exarkun> | If a library hides an IO behind an unsafePerformIO but I want to be sure the IO is resolved before certain other expressions are evaluated (eg following lines in a `do` block) ... can I? |
| 2023-09-29 16:48:27 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-29 16:48:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 16:49:03 +0200 | <exarkun> | (I already contributed a change to the library to unhide the IO but I wonder if I can do anything until I can rely on that fix being available) |
| 2023-09-29 16:52:17 +0200 | <geekosaur> | not that I'm aware of |
| 2023-09-29 16:53:34 +0200 | <ncf> | seq? |
| 2023-09-29 16:55:02 +0200 | <exarkun> | I think not seq because seq only says if the result of seq is evaluated, the first argument to seq is evaluated to whnf. |
| 2023-09-29 16:55:21 +0200 | <exarkun> | So it just shifts the problem over to ensuring the result of seq is evaluated in a timely manner. |
| 2023-09-29 16:55:59 +0200 | <tomsmeding> | :t evaluate |
| 2023-09-29 16:56:00 +0200 | <lambdabot> | a -> IO a |
| 2023-09-29 16:56:04 +0200 | myme | (~myme@2a01:799:d60:e400:2729:4165:2cf3:cd0e) (Ping timeout: 252 seconds) |
| 2023-09-29 16:56:09 +0200 | <tomsmeding> | exarkun: that's what Control.Exception.evaluate is for |
| 2023-09-29 16:56:14 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-09-29 16:56:16 +0200 | <exarkun> | Oo |
| 2023-09-29 16:56:16 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-09-29 16:56:40 +0200 | <tomsmeding> | of course whnf only |
| 2023-09-29 16:57:15 +0200 | myme | (~myme@2a01:799:d60:e400:7d0e:d196:8562:31f6) |
| 2023-09-29 16:57:47 +0200 | <exarkun> | Good enough, I think. Can't find the whnf without doing the IO. Thanks. |
| 2023-09-29 17:01:20 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-09-29 17:02:06 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-29 17:03:31 +0200 | <danse-nr3> | thanks geekosaur |
| 2023-09-29 17:05:24 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-29 17:12:40 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2023-09-29 17:14:29 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-29 17:14:46 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) |
| 2023-09-29 17:16:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-29 17:19:02 +0200 | danse-nr3 | (~francesco@151.57.43.198) (Ping timeout: 272 seconds) |
| 2023-09-29 17:26:40 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-29 17:27:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 17:27:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 2023-09-29 17:29:10 +0200 | danse-nr3 | (~francesco@151.57.43.198) |
| 2023-09-29 17:32:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-29 17:37:00 +0200 | TheCatCollective | CalculusCat |
| 2023-09-29 17:37:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:51e7:e9e9:806a:d05e) (Ping timeout: 240 seconds) |
| 2023-09-29 17:38:25 +0200 | shapr | (~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a) (Remote host closed the connection) |
| 2023-09-29 17:38:39 +0200 | shapr | (~user@2600:1700:c640:3100:e8d6:8d32:28f3:dcab) |
| 2023-09-29 17:38:55 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 17:40:48 +0200 | stites | (~stites@155.33.133.38) (Read error: Connection reset by peer) |
| 2023-09-29 17:41:48 +0200 | stites | (~stites@155.33.133.38) |
| 2023-09-29 17:49:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-29 17:53:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-29 17:56:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 17:57:13 +0200 | cpressey | (~cpressey@host-89-240-112-119.as13285.net) (Ping timeout: 245 seconds) |
| 2023-09-29 17:58:20 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-09-29 17:58:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-29 17:59:52 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 252 seconds) |
| 2023-09-29 17:59:52 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
| 2023-09-29 17:59:52 +0200 | erisco_ | erisco |
| 2023-09-29 18:00:02 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2023-09-29 18:01:05 +0200 | justache | (~justache@user/justache) (Ping timeout: 258 seconds) |
| 2023-09-29 18:01:24 +0200 | justache | (~justache@user/justache) |
| 2023-09-29 18:01:44 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 245 seconds) |
| 2023-09-29 18:01:54 +0200 | remexre | (~remexre@user/remexre) |
| 2023-09-29 18:03:42 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2023-09-29 18:05:34 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-09-29 18:05:48 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-09-29 18:08:29 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 18:08:40 +0200 | df | (~ben@justworks.xyz) (Ping timeout: 252 seconds) |
| 2023-09-29 18:08:54 +0200 | df | (~ben@justworks.xyz) |
| 2023-09-29 18:10:19 +0200 | rune_ | (sid21167@ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 2023-09-29 18:10:26 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-09-29 18:11:03 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Ping timeout: 258 seconds) |
| 2023-09-29 18:11:19 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-09-29 18:11:25 +0200 | Teacup | (~teacup@user/teacup) (Ping timeout: 252 seconds) |
| 2023-09-29 18:11:35 +0200 | Teacup | (~teacup@user/teacup) |
| 2023-09-29 18:11:36 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-09-29 18:11:44 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 245 seconds) |
| 2023-09-29 18:11:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-29 18:11:58 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-09-29 18:12:50 +0200 | <exarkun> | is https://hackage.haskell.org/package/crypto-api-0.13.3/docs/Crypto-Classes.html#v:keyLengthBytes a trick? ByteLength is just a type alias for Int ... and it is defined right next to BitLength |
| 2023-09-29 18:13:30 +0200 | <exarkun> | I mean, not a trick I guess. But that Tagged type is a bit meaningless? |
| 2023-09-29 18:13:53 +0200 | <exarkun> | it unifies with `keyLengthBytes :: Tagged a BitLength` |
| 2023-09-29 18:14:14 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-29 18:14:14 +0200 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2023-09-29 18:14:42 +0200 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-09-29 18:17:13 +0200 | <monochrom> | The tag is k, and there is a requirement BlockCipher k. |
| 2023-09-29 18:17:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2023-09-29 18:19:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 18:21:47 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-29 18:23:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2023-09-29 18:24:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 2023-09-29 18:28:10 +0200 | CalculusCat | TheCatCollective |
| 2023-09-29 18:32:39 +0200 | <exarkun> | humm ok, I guess that makes some sense |
| 2023-09-29 18:37:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 18:38:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 18:38:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 2023-09-29 18:40:45 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-29 18:41:05 +0200 | migas | (~migas@astra4961.startdedicated.net) (Ping timeout: 240 seconds) |
| 2023-09-29 18:42:18 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-29 18:42:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 18:43:19 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-09-29 18:44:23 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-29 18:47:04 +0200 | lan3y | (~laney@ubuntu/member/laney) |
| 2023-09-29 18:47:06 +0200 | lan3y | (~laney@ubuntu/member/laney) () |
| 2023-09-29 18:48:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 18:50:07 +0200 | phma | (~phma@2001:5b0:211c:5b58:bcd8:f233:1d50:97e8) (Read error: Connection reset by peer) |
| 2023-09-29 18:50:18 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-29 18:50:18 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-29 18:50:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-29 18:50:51 +0200 | phma | (~phma@host-67-44-208-60.hnremote.net) |
| 2023-09-29 18:52:35 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-09-29 18:53:51 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-29 18:56:49 +0200 | lottaquestions | (~nick@modemcable010.180-202-24.mc.videotron.ca) (Quit: Konversation terminated!) |
| 2023-09-29 18:56:53 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2023-09-29 18:57:08 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) |
| 2023-09-29 18:57:14 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 18:59:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-09-29 18:59:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-29 19:02:25 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-09-29 19:05:51 +0200 | AlexZenon | (~alzenon@178.34.161.162) (Ping timeout: 240 seconds) |
| 2023-09-29 19:07:51 +0200 | Alex_test | (~al_test@178.34.161.162) (Ping timeout: 260 seconds) |
| 2023-09-29 19:08:28 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-29 19:08:43 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2023-09-29 19:10:04 +0200 | gawen | (~gawen@user/gawen) |
| 2023-09-29 19:10:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-29 19:12:20 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-09-29 19:14:48 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 19:17:43 +0200 | Alex_test | (~al_test@178.34.161.162) |
| 2023-09-29 19:19:12 +0200 | danse-nr3_ | (~francesco@151.57.57.110) |
| 2023-09-29 19:20:40 +0200 | AlexZenon | (~alzenon@178.34.161.162) |
| 2023-09-29 19:20:59 +0200 | danse-nr3 | (~francesco@151.57.43.198) (Read error: Connection reset by peer) |
| 2023-09-29 19:20:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-29 19:22:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-29 19:26:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 19:29:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-09-29 19:29:48 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-29 19:31:23 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-29 19:31:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-29 19:31:31 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2023-09-29 19:32:23 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 19:36:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-29 19:39:01 +0200 | stites | (~stites@155.33.133.38) (Read error: Connection reset by peer) |
| 2023-09-29 19:39:54 +0200 | stites | (~stites@2607:fb91:dc8:b92b:f433:f877:e392:e9b2) |
| 2023-09-29 19:42:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 2023-09-29 19:43:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-09-29 19:49:35 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-29 19:57:26 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 20:01:17 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-29 20:01:25 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2023-09-29 20:02:15 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 20:02:36 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-09-29 20:03:44 +0200 | stites | (~stites@2607:fb91:dc8:b92b:f433:f877:e392:e9b2) (Read error: Connection reset by peer) |
| 2023-09-29 20:04:04 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-29 20:04:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) (Remote host closed the connection) |
| 2023-09-29 20:07:13 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 255 seconds) |
| 2023-09-29 20:15:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-29 20:24:23 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Ping timeout: 255 seconds) |
| 2023-09-29 20:32:51 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 20:36:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-29 20:41:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Ping timeout: 248 seconds) |
| 2023-09-29 20:47:05 +0200 | Guest45 | (~Guest45@cpc92724-cmbg20-2-0-cust243.5-4.cable.virginm.net) |
| 2023-09-29 20:48:27 +0200 | Guest45 | (~Guest45@cpc92724-cmbg20-2-0-cust243.5-4.cable.virginm.net) (Client Quit) |
| 2023-09-29 20:50:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-29 20:51:56 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-29 20:55:35 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 20:57:36 +0200 | haasn` | (~nand@haasn.dev) |
| 2023-09-29 21:08:43 +0200 | solution | (~solution@94-21-82-218.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 2023-09-29 21:09:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:477a:2a25:221d:e5ba) |
| 2023-09-29 21:10:28 +0200 | solution | (~solution@178-164-235-253.pool.digikabel.hu) |
| 2023-09-29 21:11:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-29 21:14:56 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-09-29 21:15:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-29 21:18:36 +0200 | danse-nr3_ | (~francesco@151.57.57.110) (Ping timeout: 248 seconds) |
| 2023-09-29 21:20:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-09-29 21:25:04 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-29 21:32:07 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2023-09-29 21:32:36 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 21:34:21 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-09-29 21:39:36 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-09-29 21:41:18 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-09-29 21:44:40 +0200 | lg188 | (~lg188@82.18.98.230) (Quit: Bye.) |
| 2023-09-29 21:46:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-29 21:51:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Ping timeout: 260 seconds) |
| 2023-09-29 21:51:41 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-29 21:53:25 +0200 | lg188 | (~lg188@82.18.98.230) |
| 2023-09-29 22:06:22 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-09-29 22:07:47 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-29 22:08:09 +0200 | jrm | (~jrm@user/jrm) (Remote host closed the connection) |
| 2023-09-29 22:09:46 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2023-09-29 22:09:58 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Read error: Connection reset by peer) |
| 2023-09-29 22:10:04 +0200 | alphacen1 | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-09-29 22:10:25 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-29 22:13:56 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 22:17:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-29 22:17:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-29 22:17:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-29 22:22:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:477a:2a25:221d:e5ba) (Quit: WeeChat 2.8) |
| 2023-09-29 22:26:05 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2023-09-29 22:26:29 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-09-29 22:27:04 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-09-29 22:28:09 +0200 | CiaoSen | (~Jura@2a05:5800:2b0:5700:664b:f0ff:fe37:9ef) |
| 2023-09-29 22:31:16 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 22:37:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-29 22:46:49 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-29 22:48:01 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-29 22:48:21 +0200 | danza | (~francesco@151.57.57.110) |
| 2023-09-29 22:48:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-29 22:48:44 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-29 22:50:52 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-29 22:52:35 +0200 | danza | (~francesco@151.57.57.110) (Ping timeout: 240 seconds) |
| 2023-09-29 22:54:31 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 22:56:02 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 255 seconds) |
| 2023-09-29 22:57:14 +0200 | stites | (~stites@2607:fb91:dc3:e314:b574:7050:7fbf:a3cf) |
| 2023-09-29 22:57:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-09-29 22:58:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f3134651fca00eb6362.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-29 22:58:53 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-29 23:03:18 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-29 23:04:35 +0200 | kimiamania4 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-09-29 23:05:07 +0200 | kimiamania4 | (~65804703@user/kimiamania) |
| 2023-09-29 23:06:03 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-29 23:06:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-29 23:09:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2023-09-29 23:09:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-29 23:10:36 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-09-29 23:11:10 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) (Remote host closed the connection) |
| 2023-09-29 23:11:53 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-09-29 23:13:36 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) |
| 2023-09-29 23:13:53 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-29 23:15:59 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 23:18:34 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-29 23:18:34 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-29 23:18:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-29 23:19:13 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 23:22:29 +0200 | phma | (~phma@host-67-44-208-60.hnremote.net) (Read error: Connection reset by peer) |
| 2023-09-29 23:23:05 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Read error: Connection reset by peer) |
| 2023-09-29 23:23:34 +0200 | phma | (~phma@2001:5b0:210f:1d68:2eef:5dcd:dc4a:2231) |
| 2023-09-29 23:25:44 +0200 | danza | (~francesco@151.57.40.90) |
| 2023-09-29 23:26:31 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-29 23:28:50 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-29 23:30:01 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2023-09-29 23:30:11 +0200 | danza | (~francesco@151.57.40.90) (Remote host closed the connection) |
| 2023-09-29 23:30:27 +0200 | danza | (~francesco@151.57.40.90) |
| 2023-09-29 23:31:04 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-29 23:31:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-29 23:33:18 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-29 23:33:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-29 23:35:17 +0200 | danza | (~francesco@151.57.40.90) (Ping timeout: 255 seconds) |
| 2023-09-29 23:35:25 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 255 seconds) |
| 2023-09-29 23:37:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2023-09-29 23:37:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-29 23:39:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-29 23:40:52 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-29 23:41:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-29 23:41:19 +0200 | stites | (~stites@2607:fb91:dc3:e314:b574:7050:7fbf:a3cf) (Read error: Connection reset by peer) |
| 2023-09-29 23:41:38 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-29 23:45:52 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-29 23:46:10 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-29 23:46:37 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-29 23:50:35 +0200 | ubert | (~Thunderbi@91.141.46.28.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2023-09-29 23:50:56 +0200 | Jackneill | (~Jackneill@20014C4E1E0E960041E67FB265BC14C2.dsl.pool.telekom.hu) (Ping timeout: 255 seconds) |
| 2023-09-29 23:53:16 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-29 23:59:15 +0200 | poscat | (~poscat@user/poscat) |