| 2023-10-05 00:04:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-10-05 00:13:38 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 00:18:54 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-05 00:20:16 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-05 00:20:49 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-05 00:21:12 +0200 | Pickchea | (~private@user/pickchea) (Remote host closed the connection) |
| 2023-10-05 00:23:15 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-05 00:29:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-05 00:34:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-10-05 00:40:54 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-05 00:55:41 +0200 | <Axman6> | "A monad is like a Gerfield erotic fanfic..." |
| 2023-10-05 01:00:21 +0200 | <Axman6> | Gerfield even |
| 2023-10-05 01:00:34 +0200 | <Axman6> | Garfield! far out, should wake up |
| 2023-10-05 01:01:14 +0200 | <geekosaur> | it'll be time for bed in a few hours here 🙂 |
| 2023-10-05 01:01:39 +0200 | <Axman6> | I'm home sick with covid, I'm blaming that. |
| 2023-10-05 01:01:41 +0200 | <geekosaur> | (and is past that for Europe) |
| 2023-10-05 01:04:14 +0200 | <monochrom> | Certified monad |
| 2023-10-05 01:05:01 +0200 | <geekosaur> | ❤ |
| 2023-10-05 01:08:15 +0200 | mysl_ | (~mysl@user/mysl) |
| 2023-10-05 01:08:16 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 2023-10-05 01:11:03 +0200 | euleritian | (~euleritia@p200300d40f0c6500beb043b21448d196.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-10-05 01:11:20 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 01:11:27 +0200 | euleritian | (~euleritia@p200300d40f0c6500d18761ddb8466b4a.dip0.t-ipconnect.de) |
| 2023-10-05 01:12:26 +0200 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2023-10-05 01:14:47 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-05 01:19:23 +0200 | Alex_test | (~al_test@94.233.241.182) (Ping timeout: 258 seconds) |
| 2023-10-05 01:20:20 +0200 | AlexZenon | (~alzenon@94.233.241.182) (Ping timeout: 246 seconds) |
| 2023-10-05 01:23:31 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::1db) (Ping timeout: 260 seconds) |
| 2023-10-05 01:27:31 +0200 | Alex_test | (~al_test@94.233.241.182) |
| 2023-10-05 01:29:51 +0200 | AlexZenon | (~alzenon@94.233.241.182) |
| 2023-10-05 01:32:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-05 01:32:51 +0200 | califax | (~califax@user/califx) |
| 2023-10-05 01:34:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-05 01:34:23 +0200 | califax | (~califax@user/califx) |
| 2023-10-05 01:35:18 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-10-05 01:51:46 +0200 | euleritian | (~euleritia@p200300d40f0c6500d18761ddb8466b4a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-05 01:52:06 +0200 | euleritian | (~euleritia@p200300d40f0c65006c0d6f4116cc9e16.dip0.t-ipconnect.de) |
| 2023-10-05 02:05:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 252 seconds) |
| 2023-10-05 02:11:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-05 02:14:09 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-10-05 02:14:12 +0200 | euleritian | (~euleritia@p200300d40f0c65006c0d6f4116cc9e16.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-05 02:14:16 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-05 02:15:01 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::1db) |
| 2023-10-05 02:15:55 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-05 02:19:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-05 02:19:53 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::1db) (Ping timeout: 255 seconds) |
| 2023-10-05 02:31:11 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-10-05 02:32:44 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-10-05 02:41:07 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 2023-10-05 02:42:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:abcc:74e9:8d5f:6326) |
| 2023-10-05 02:46:53 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-10-05 02:47:35 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-05 02:47:35 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-05 02:47:35 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-05 02:47:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-10-05 02:48:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 02:48:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-05 02:53:11 +0200 | innegatives | (uid621315@id-621315.tinside.irccloud.com) |
| 2023-10-05 02:58:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-05 03:04:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-05 03:29:44 +0200 | otto_s | (~user@p4ff27346.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-05 03:30:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-10-05 03:31:36 +0200 | otto_s | (~user@p5b044039.dip0.t-ipconnect.de) |
| 2023-10-05 03:41:00 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2023-10-05 03:41:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2023-10-05 03:43:48 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-10-05 03:44:08 +0200 | init | (21945@user/init) (Quit: WeeChat 4.0.5) |
| 2023-10-05 03:45:03 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 03:45:29 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-05 03:45:42 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2023-10-05 03:46:52 +0200 | init | (21945@user/init) |
| 2023-10-05 03:53:49 +0200 | cptaffe | (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 2023-10-05 03:55:11 +0200 | init | (21945@user/init) (Ping timeout: 260 seconds) |
| 2023-10-05 03:58:09 +0200 | init | (21945@user/init) |
| 2023-10-05 03:58:59 +0200 | init | (21945@user/init) (Max SendQ exceeded) |
| 2023-10-05 03:59:34 +0200 | init | (21945@user/init) |
| 2023-10-05 04:00:43 +0200 | Square | (~Square@user/square) |
| 2023-10-05 04:04:35 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2023-10-05 04:04:46 +0200 | init | (21945@user/init) (Ping timeout: 272 seconds) |
| 2023-10-05 04:05:39 +0200 | cptaffe | (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 2023-10-05 04:10:05 +0200 | init | (21945@user/init) |
| 2023-10-05 04:11:37 +0200 | califax_ | (~califax@user/califx) |
| 2023-10-05 04:11:39 +0200 | driib5 | (~driib@vmi931078.contaboserver.net) |
| 2023-10-05 04:11:50 +0200 | p3n_ | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-10-05 04:11:53 +0200 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2023-10-05 04:12:07 +0200 | cawfee_ | (~root@2406:3003:2077:2758::babe) |
| 2023-10-05 04:12:12 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 240 seconds) |
| 2023-10-05 04:12:55 +0200 | califax_ | califax |
| 2023-10-05 04:12:59 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2023-10-05 04:13:00 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 272 seconds) |
| 2023-10-05 04:13:22 +0200 | cptaffe | (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 2023-10-05 04:13:39 +0200 | micro | (~micro@user/micro) (Ping timeout: 272 seconds) |
| 2023-10-05 04:13:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 272 seconds) |
| 2023-10-05 04:13:39 +0200 | adium | (adium@user/adium) (Ping timeout: 272 seconds) |
| 2023-10-05 04:13:39 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 272 seconds) |
| 2023-10-05 04:13:39 +0200 | driib5 | driib |
| 2023-10-05 04:13:44 +0200 | micro_ | (~micro@user/micro) |
| 2023-10-05 04:15:09 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-05 04:15:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-05 04:15:09 +0200 | finn_elija | FinnElija |
| 2023-10-05 04:15:12 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2023-10-05 04:16:04 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-10-05 04:19:49 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-10-05 04:20:19 +0200 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2023-10-05 04:20:57 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-10-05 04:21:00 +0200 | adium | (adium@user/adium) |
| 2023-10-05 04:22:36 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-05 04:22:45 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-10-05 04:23:46 +0200 | init | (21945@user/init) (Ping timeout: 272 seconds) |
| 2023-10-05 04:24:14 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-05 04:28:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 2023-10-05 04:28:45 +0200 | init | (21945@user/init) |
| 2023-10-05 04:28:48 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 04:32:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-10-05 04:32:33 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-10-05 04:33:32 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-05 04:34:32 +0200 | init | (21945@user/init) (Ping timeout: 272 seconds) |
| 2023-10-05 04:41:26 +0200 | init | (21945@user/init) |
| 2023-10-05 04:47:12 +0200 | init | (21945@user/init) (Ping timeout: 272 seconds) |
| 2023-10-05 04:47:41 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-05 04:49:51 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 04:58:41 +0200 | init | (21945@user/init) |
| 2023-10-05 04:58:52 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-05 04:59:35 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 240 seconds) |
| 2023-10-05 05:01:26 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-05 05:01:28 +0200 | td_ | (~td@i53870930.versanet.de) |
| 2023-10-05 05:02:16 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 255 seconds) |
| 2023-10-05 05:04:18 +0200 | init | (21945@user/init) (Ping timeout: 272 seconds) |
| 2023-10-05 05:06:00 +0200 | swistak | (~swistak@185.21.216.141) |
| 2023-10-05 05:08:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 05:12:17 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-10-05 05:14:02 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-05 05:16:31 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-05 05:17:40 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-05 05:18:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-05 05:19:51 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 05:34:13 +0200 | Axma48178 | (~Axman6@user/axman6) |
| 2023-10-05 05:36:12 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2023-10-05 05:37:49 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-05 05:57:20 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-05 06:00:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 06:05:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 06:05:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 06:06:29 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-05 06:07:46 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-05 06:12:24 +0200 | michalz | (~michalz@185.246.204.122) |
| 2023-10-05 06:13:58 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-05 06:33:39 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...) |
| 2023-10-05 06:34:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-05 06:35:43 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 255 seconds) |
| 2023-10-05 06:50:28 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-10-05 06:59:41 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 07:00:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-05 07:04:17 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-05 07:05:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-05 07:08:16 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30bd9c9dafa0816e07.dip0.t-ipconnect.de) |
| 2023-10-05 07:12:02 +0200 | df | (~ben@justworks.xyz) (Ping timeout: 255 seconds) |
| 2023-10-05 07:12:21 +0200 | danza | (~francesco@151.37.96.151) |
| 2023-10-05 07:13:01 +0200 | df | (~ben@justworks.xyz) |
| 2023-10-05 07:18:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-05 07:28:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 07:29:01 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Remote host closed the connection) |
| 2023-10-05 07:30:09 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-10-05 07:32:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-05 07:36:18 +0200 | danza | (~francesco@151.37.96.151) (Ping timeout: 272 seconds) |
| 2023-10-05 07:38:42 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-05 07:51:16 +0200 | euleritian | (~euleritia@p200300d40f0c65007d07be24f6990e39.dip0.t-ipconnect.de) |
| 2023-10-05 07:52:43 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 2023-10-05 07:56:07 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-10-05 07:56:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-10-05 07:56:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-05 07:56:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-05 07:56:43 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-10-05 07:56:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-05 08:00:21 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-05 08:02:24 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2023-10-05 08:03:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-05 08:04:17 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 08:07:48 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-05 08:08:22 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-10-05 08:09:02 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 260 seconds) |
| 2023-10-05 08:09:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 08:14:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2023-10-05 08:16:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-10-05 08:20:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-10-05 08:20:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-10-05 08:24:26 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2023-10-05 08:26:26 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-05 08:26:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 08:27:39 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200C361C60858293EF6.dsl.pool.telekom.hu) |
| 2023-10-05 08:32:57 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200C361C60858293EF6.dsl.pool.telekom.hu) (Excess Flood) |
| 2023-10-05 08:33:09 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200C361C60858293EF6.dsl.pool.telekom.hu) |
| 2023-10-05 08:42:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e55c:aa98:76b7:4146) |
| 2023-10-05 08:42:42 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-05 08:46:21 +0200 | euleritian | (~euleritia@p200300d40f0c65007d07be24f6990e39.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-05 08:46:46 +0200 | euleritian | (~euleritia@p200300d40f0c6500a123ce9455959902.dip0.t-ipconnect.de) |
| 2023-10-05 08:51:21 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200C361C60858293EF6.dsl.pool.telekom.hu) (Remote host closed the connection) |
| 2023-10-05 08:51:39 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200C361C60858293EF6.dsl.pool.telekom.hu) |
| 2023-10-05 08:51:53 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-05 08:52:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-05 09:02:21 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-05 09:03:18 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-05 09:08:13 +0200 | rgw | (~R@2605:a601:a0df:5600:c13b:d5ca:4d4e:95f5) (Read error: Connection reset by peer) |
| 2023-10-05 09:09:25 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-05 09:13:40 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-05 09:13:40 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 255 seconds) |
| 2023-10-05 09:18:34 +0200 | danza | (~francesco@151.37.99.181) |
| 2023-10-05 09:19:57 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-10-05 09:20:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-05 09:21:17 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-05 09:24:33 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
| 2023-10-05 09:32:59 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2023-10-05 09:33:11 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-05 09:40:03 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 09:41:26 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-05 09:42:05 +0200 | danza | (~francesco@151.37.99.181) (Ping timeout: 240 seconds) |
| 2023-10-05 09:42:46 +0200 | mmhat | (~mmh@p200300f1c74e6f54ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-05 09:42:53 +0200 | mmhat | (~mmh@p200300f1c74e6f54ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-05 09:44:36 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-05 09:48:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-05 09:51:16 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-10-05 09:51:50 +0200 | danza | (~francesco@151.43.123.248) |
| 2023-10-05 09:54:37 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
| 2023-10-05 09:56:56 +0200 | danza | (~francesco@151.43.123.248) (Ping timeout: 260 seconds) |
| 2023-10-05 09:57:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 2023-10-05 10:00:05 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-05 10:00:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-05 10:06:05 +0200 | euleritian | (~euleritia@p200300d40f0c6500a123ce9455959902.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-05 10:07:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-05 10:07:11 +0200 | euleritian | (~euleritia@p200300d40f0c650095500478fc949c8f.dip0.t-ipconnect.de) |
| 2023-10-05 10:08:02 +0200 | kaskal | (~kaskal@213-147-167-98.nat.highway.webapn.at) (Ping timeout: 260 seconds) |
| 2023-10-05 10:08:40 +0200 | kaskal | (~kaskal@089144221019.atnat0030.highway.webapn.at) |
| 2023-10-05 10:08:52 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-10-05 10:09:23 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-05 10:09:23 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2023-10-05 10:09:44 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-05 10:09:51 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 10:13:23 +0200 | euleritian | (~euleritia@p200300d40f0c650095500478fc949c8f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-10-05 10:13:51 +0200 | forell | (~forell@user/forell) (Ping timeout: 240 seconds) |
| 2023-10-05 10:14:08 +0200 | forell | (~forell@user/forell) |
| 2023-10-05 10:14:56 +0200 | euleritian | (~euleritia@p5b12497f.dip0.t-ipconnect.de) |
| 2023-10-05 10:17:27 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-05 10:17:41 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-05 10:23:07 +0200 | euleritian | (~euleritia@p5b12497f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-05 10:29:55 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-05 10:32:44 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 2023-10-05 10:33:23 +0200 | danse-nr3 | (~francesco@151.43.123.248) |
| 2023-10-05 10:34:07 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-05 10:34:53 +0200 | phma | (~phma@host-67-44-208-201.hnremote.net) (Read error: Connection reset by peer) |
| 2023-10-05 10:35:40 +0200 | phma | (~phma@2001:5b0:211f:c98:ad30:d175:45fa:af29) |
| 2023-10-05 10:36:31 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-10-05 10:41:58 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-10-05 10:43:23 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-05 10:52:40 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-05 10:53:26 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-10-05 10:54:17 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-05 10:55:50 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-05 10:57:02 +0200 | CiaoSen | (~Jura@2a05:5800:29b:5200:664b:f0ff:fe37:9ef) |
| 2023-10-05 10:57:30 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-05 11:02:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-05 11:06:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 11:06:52 +0200 | mysl_ | (~mysl@user/mysl) (Ping timeout: 248 seconds) |
| 2023-10-05 11:06:54 +0200 | <elbear> | hey. I asked the other day about where I can find the Haskell AST, but that seems to contain more information than I want. |
| 2023-10-05 11:06:58 +0200 | mysl | (~mysl@user/mysl) |
| 2023-10-05 11:07:42 +0200 | <elbear> | I'm basically looking for a code representation of the syntax. does that exist, or should I just look at the Haskell language docs and create my own? |
| 2023-10-05 11:08:10 +0200 | <tomsmeding> | elbear: what "more information" is there that you don't want? |
| 2023-10-05 11:08:11 +0200 | <sshine> | elbear, a code representation of the syntax sounds much like an AST. :-P |
| 2023-10-05 11:08:18 +0200 | <tomsmeding> | ^ |
| 2023-10-05 11:08:23 +0200 | TMA | (tma@twin.jikos.cz) |
| 2023-10-05 11:08:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-05 11:08:31 +0200 | <tomsmeding> | which is precisely what the TH AST is |
| 2023-10-05 11:08:31 +0200 | <dminuoso> | elbear: Both the base package and template haskell packages contain ADTs capable of representing haskell AST. |
| 2023-10-05 11:08:45 +0200 | <dminuoso> | The template haskell package is more usable and documented. |
| 2023-10-05 11:08:55 +0200 | <sshine> | I haven't looked a lot at the Haskell AST, but I have looked at the Rust AST in order to address a very small portion of it, and what I did there was convert it to a much smaller AST that only contained what I wanted. maybe that's an option for you? |
| 2023-10-05 11:09:28 +0200 | <elbear> | tomsmeding: I saw stuff like Annotation, if I remember correctly |
| 2023-10-05 11:09:48 +0200 | <dminuoso> | https://hackage.haskell.org/package/template-haskell-2.20.0.0/docs/Language-Haskell-TH-Syntax.html… |
| 2023-10-05 11:10:12 +0200 | <dminuoso> | What annotation are you referring to? |
| 2023-10-05 11:10:20 +0200 | <tomsmeding> | (I would start with Exp, but yet) |
| 2023-10-05 11:11:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-05 11:11:16 +0200 | <elbear> | dminuoso: that looks more like what I had in mind |
| 2023-10-05 11:11:19 +0200 | <tomsmeding> | there is this `reifyAnnotations` thing but I don't think you ever need to use that if you don't haev a particular reason |
| 2023-10-05 11:11:21 +0200 | <dminuoso> | elbear: Also: https://hackage.haskell.org/package/ghc-9.6.3/docs/Language-Haskell-Syntax.html |
| 2023-10-05 11:11:26 +0200 | <tomsmeding> | elbear: that's exactly what I linked you to :p |
| 2023-10-05 11:11:35 +0200 | <tomsmeding> | well, without the Stmt anchor |
| 2023-10-05 11:11:41 +0200 | <dminuoso> | elbear: This is what GHC uses internally, the template-haskell bit is for the TH splices. They are mostly equivalent. |
| 2023-10-05 11:11:55 +0200 | <elbear> | tomsmeding: I have this saved https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH-Syntax.html |
| 2023-10-05 11:12:14 +0200 | <tomsmeding> | oh I gave you 2.18 instead of 2.20 apparently, but that's mostly irrelevant |
| 2023-10-05 11:12:37 +0200 | <dminuoso> | Benefit of TH is that you can easily take a given Haskell snippet, and use TH to tell you the TH representation of it. |
| 2023-10-05 11:12:45 +0200 | <tomsmeding> | base's AST is going to give you _more_ stuff that you're not interested in |
| 2023-10-05 11:13:27 +0200 | <elbear> | dminuoso: yeah, I was referring to that Language-Haskell-Syntax.html when I said it had extra stuff. like the `XRec` type |
| 2023-10-05 11:13:35 +0200 | <tomsmeding> | ah right |
| 2023-10-05 11:13:40 +0200 | <tomsmeding> | yeah, look at the TH thin |
| 2023-10-05 11:13:41 +0200 | <tomsmeding> | *thing |
| 2023-10-05 11:14:07 +0200 | <tomsmeding> | elbear: if you're curious what that X stuff is: look up "Trees That Grow" |
| 2023-10-05 11:14:11 +0200 | <dminuoso> | Also, haskell-src-exts can be useful to look into. |
| 2023-10-05 11:14:18 +0200 | <dminuoso> | (Despite it being deprecated, its a good package) |
| 2023-10-05 11:14:23 +0200 | <elbear> | yes, this seems like more what I need https://hackage.haskell.org/package/template-haskell-2.20.0.0/docs/Language-Haskell-TH-Syntax.html#t |
| 2023-10-05 11:14:38 +0200 | <dminuoso> | elbear: https://hackage.haskell.org/package/haskell-src-exts |
| 2023-10-05 11:14:45 +0200 | <tomsmeding> | % :set -XTemplateHaskell |
| 2023-10-05 11:14:45 +0200 | <yahb2> | <no output> |
| 2023-10-05 11:14:51 +0200 | <elbear> | dminuoso: I see. I have that saved and it's indeed useful. I was just worried if it was missing stuff |
| 2023-10-05 11:15:00 +0200 | <tomsmeding> | % $(return $ LitE $ StringL "hi") |
| 2023-10-05 11:15:00 +0200 | <yahb2> | <interactive>:29:12: error: ; Data constructor not in scope: ; LitE :: a0 -> Language.Haskell.TH.Syntax.Exp ; ; <interactive>:29:19: error: ; Data constructor not in scope: StringL :... |
| 2023-10-05 11:15:10 +0200 | <tomsmeding> | % import Language.Haskell.TH.Syntax |
| 2023-10-05 11:15:10 +0200 | <yahb2> | <no output> |
| 2023-10-05 11:15:13 +0200 | <tomsmeding> | % $(return $ LitE $ StringL "hi") |
| 2023-10-05 11:15:13 +0200 | <yahb2> | "hi" |
| 2023-10-05 11:15:29 +0200 | <dminuoso> | elbear: It might be missing some stuff of the newest extensions, but beyond that its complete. |
| 2023-10-05 11:15:47 +0200 | <elbear> | dminuoso: good to know. thanks! |
| 2023-10-05 11:28:03 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-05 11:28:50 +0200 | cpressey | (~cpressey@45.136.108.105) |
| 2023-10-05 11:31:12 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 11:32:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 11:32:43 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) () |
| 2023-10-05 11:37:02 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2023-10-05 11:37:09 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2023-10-05 11:37:40 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-05 11:38:27 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 2023-10-05 11:38:31 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-10-05 11:40:02 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-05 11:41:51 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2023-10-05 11:42:00 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2023-10-05 11:50:41 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 12:00:50 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-05 12:01:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-10-05 12:01:53 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-05 12:03:14 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-10-05 12:04:08 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-10-05 12:07:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 12:09:31 +0200 | CiaoSen | (~Jura@2a05:5800:29b:5200:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-10-05 12:16:49 +0200 | chele | (~chele@user/chele) |
| 2023-10-05 12:17:11 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds) |
| 2023-10-05 12:23:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-10-05 12:24:28 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 272 seconds) |
| 2023-10-05 12:26:38 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-10-05 12:31:13 +0200 | mysl | (~mysl@user/mysl) |
| 2023-10-05 12:42:11 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 12:46:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 12:52:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 12:55:01 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 12:57:12 +0200 | cpressey | (~cpressey@45.136.108.105) (Quit: Client closed) |
| 2023-10-05 13:00:01 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-05 13:03:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-05 13:04:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-05 13:05:18 +0200 | arahael | (~arahael@103.246.103.99) |
| 2023-10-05 13:09:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-05 13:14:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 13:20:48 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-10-05 13:22:15 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2023-10-05 13:22:29 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-05 13:25:18 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-10-05 13:25:41 +0200 | danse-nr3 | (~francesco@151.43.123.248) (Ping timeout: 260 seconds) |
| 2023-10-05 13:26:51 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-05 13:40:59 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-05 13:45:03 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 240 seconds) |
| 2023-10-05 13:57:21 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 14:00:10 +0200 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2023-10-05 14:01:03 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 14:01:53 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-05 14:01:56 +0200 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2023-10-05 14:04:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 14:14:14 +0200 | CiaoSen | (~Jura@2a05:5800:29b:5200:664b:f0ff:fe37:9ef) |
| 2023-10-05 14:19:01 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 14:24:10 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-05 14:32:30 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30bd9c9dafa0816e07.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-05 14:35:38 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-05 14:37:01 +0200 | stites | (~stites@130.44.147.204) (Read error: Connection reset by peer) |
| 2023-10-05 14:37:35 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-05 14:50:16 +0200 | init | (21945@user/init) |
| 2023-10-05 14:50:18 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 14:53:57 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30bd9c9dafa0816e07.dip0.t-ipconnect.de) |
| 2023-10-05 14:55:32 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 2023-10-05 14:56:02 +0200 | mysl | (~mysl@user/mysl) |
| 2023-10-05 14:57:20 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-05 14:57:51 +0200 | arahael | (~arahael@103.246.103.99) (Ping timeout: 260 seconds) |
| 2023-10-05 15:00:31 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30bd9c9dafa0816e07.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-10-05 15:04:31 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) |
| 2023-10-05 15:06:42 +0200 | CiaoSen | (~Jura@2a05:5800:29b:5200:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-10-05 15:06:45 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 15:08:05 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 15:09:42 +0200 | cpressey | (~cpressey@45.136.108.105) |
| 2023-10-05 15:11:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-05 15:16:58 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30bd9c9dafa0816e07.dip0.t-ipconnect.de) |
| 2023-10-05 15:17:48 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 15:20:35 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-10-05 15:22:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 15:22:56 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30bd9c9dafa0816e07.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-10-05 15:23:01 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 15:23:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-10-05 15:23:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-10-05 15:26:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 15:26:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 15:27:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 15:29:03 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 15:29:33 +0200 | captnemo | (~captnemo@193.32.127.239) |
| 2023-10-05 15:30:52 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 248 seconds) |
| 2023-10-05 15:34:04 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 15:36:06 +0200 | mysl | (~mysl@user/mysl) |
| 2023-10-05 15:39:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 15:42:19 +0200 | <shryke> | Hi! Quick question - is there a dedicated IRC channel for ghcup? |
| 2023-10-05 15:44:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-05 15:44:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-05 15:44:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-05 15:44:29 +0200 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 255 seconds) |
| 2023-10-05 15:44:46 +0200 | lg188 | (~lg188@82.18.98.230) |
| 2023-10-05 15:46:37 +0200 | lg188 | (~lg188@82.18.98.230) (Read error: Connection reset by peer) |
| 2023-10-05 15:46:57 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-05 15:47:05 +0200 | lg188 | (~lg188@82.18.98.230) |
| 2023-10-05 15:47:49 +0200 | <haskellbridge> | <sm> #haskell-ghcup |
| 2023-10-05 15:48:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) |
| 2023-10-05 15:52:11 +0200 | <shryke> | Thanks! |
| 2023-10-05 15:54:19 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 255 seconds) |
| 2023-10-05 15:54:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-84e9-de06-61ed-c3e2.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-05 15:56:34 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-05 15:57:38 +0200 | cpressey | (~cpressey@45.136.108.105) (Ping timeout: 245 seconds) |
| 2023-10-05 15:59:39 +0200 | vglfr | (~vglfr@88.155.13.104) |
| 2023-10-05 15:59:56 +0200 | vglfr | (~vglfr@88.155.13.104) (Read error: Connection reset by peer) |
| 2023-10-05 16:00:16 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-05 16:00:39 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection) |
| 2023-10-05 16:01:15 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-05 16:02:02 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection) |
| 2023-10-05 16:02:19 +0200 | vglfr | (~vglfr@88.155.13.104) |
| 2023-10-05 16:02:48 +0200 | vglfr | (~vglfr@88.155.13.104) (Remote host closed the connection) |
| 2023-10-05 16:03:34 +0200 | vglfr | (~vglfr@88.155.13.104) |
| 2023-10-05 16:04:49 +0200 | hyiltiz | (~hyiltiz@2620:149:170:1830:e051:8594:e8b5:76bf) |
| 2023-10-05 16:05:38 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 16:05:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-05 16:06:52 +0200 | vglfr | (~vglfr@88.155.13.104) (Read error: Connection reset by peer) |
| 2023-10-05 16:07:07 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-05 16:09:56 +0200 | hyiltiz | (~hyiltiz@2620:149:170:1830:e051:8594:e8b5:76bf) (Ping timeout: 272 seconds) |
| 2023-10-05 16:10:57 +0200 | cpressey | (~cpressey@45.136.108.105) |
| 2023-10-05 16:11:27 +0200 | mysl | (~mysl@user/mysl) (Quit: leaving) |
| 2023-10-05 16:11:38 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-05 16:11:41 +0200 | hyiltiz | (~hyiltiz@17.244.97.173) |
| 2023-10-05 16:11:48 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-05 16:11:50 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 272 seconds) |
| 2023-10-05 16:12:15 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3065da9ef1a3481937.dip0.t-ipconnect.de) |
| 2023-10-05 16:13:18 +0200 | vglfr | (~vglfr@88.155.167.151) |
| 2023-10-05 16:17:56 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 16:18:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-05 16:18:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 16:23:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-05 16:25:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 16:28:21 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 16:36:59 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 16:37:19 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) (Ping timeout: 252 seconds) |
| 2023-10-05 16:44:56 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) |
| 2023-10-05 16:51:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e55c:aa98:76b7:4146) (Quit: WeeChat 2.8) |
| 2023-10-05 16:52:32 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 255 seconds) |
| 2023-10-05 16:55:49 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-05 16:55:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-05 16:58:43 +0200 | ystael | (~ystael@user/ystael) |
| 2023-10-05 17:04:26 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-10-05 17:06:39 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-05 17:08:08 +0200 | son0p | (~ff@181.136.122.143) (Read error: Connection reset by peer) |
| 2023-10-05 17:11:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-05 17:14:39 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-05 17:15:21 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 17:15:22 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-05 17:18:58 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-05 17:19:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-10-05 17:19:19 +0200 | captnemo | (~captnemo@193.32.127.239) (Quit: WeeChat 4.0.4) |
| 2023-10-05 17:24:19 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2023-10-05 17:25:51 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Read error: Connection reset by peer) |
| 2023-10-05 17:26:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-05 17:26:51 +0200 | jathan | (~jathan@69.61.93.38) |
| 2023-10-05 17:27:52 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-05 17:30:00 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-05 17:32:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-10-05 17:34:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-05 17:34:38 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-05 17:37:59 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-10-05 17:45:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 2023-10-05 17:45:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 2023-10-05 17:49:39 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-05 17:49:57 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-05 17:50:00 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) (Ping timeout: 272 seconds) |
| 2023-10-05 17:51:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-05 17:52:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-05 17:53:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-10-05 17:59:30 +0200 | nagatomo | (~beaubalis@154.72.168.197) |
| 2023-10-05 17:59:38 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-05 18:00:32 +0200 | nagatomo | (~beaubalis@154.72.168.197) (Excess Flood) |
| 2023-10-05 18:00:45 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-05 18:01:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-05 18:02:04 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) |
| 2023-10-05 18:03:25 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) (Remote host closed the connection) |
| 2023-10-05 18:03:47 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) |
| 2023-10-05 18:04:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-10-05 18:06:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2023-10-05 18:06:38 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-05 18:07:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-05 18:08:08 +0200 | hyiltiz | (~hyiltiz@17.244.97.173) (Ping timeout: 255 seconds) |
| 2023-10-05 18:08:42 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-05 18:12:13 +0200 | cpressey | (~cpressey@45.136.108.105) (Quit: Client closed) |
| 2023-10-05 18:13:57 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-10-05 18:16:07 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-05 18:16:46 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1::3d0) |
| 2023-10-05 18:18:11 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-05 18:20:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 18:24:40 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-10-05 18:32:07 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-10-05 18:38:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-05 18:40:18 +0200 | danse-nr3_ | (~francesco@151.43.103.209) |
| 2023-10-05 18:40:46 +0200 | danse-nr3 | (~francesco@ge-19-120-179.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-10-05 18:48:49 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 245 seconds) |
| 2023-10-05 18:49:00 +0200 | stites | (~stites@2607:fb91:dca:3058:3f83:72fd:e49a:2543) |
| 2023-10-05 18:54:33 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-05 18:56:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-05 19:06:41 +0200 | stites | (~stites@2607:fb91:dca:3058:3f83:72fd:e49a:2543) (Read error: Connection reset by peer) |
| 2023-10-05 19:07:01 +0200 | Alex_test | (~al_test@94.233.241.182) (Ping timeout: 260 seconds) |
| 2023-10-05 19:07:24 +0200 | stites | (~stites@2607:fb91:dca:3058:3f83:72fd:e49a:2543) |
| 2023-10-05 19:08:07 +0200 | AlexZenon | (~alzenon@94.233.241.182) (Ping timeout: 255 seconds) |
| 2023-10-05 19:08:29 +0200 | stites | (~stites@2607:fb91:dca:3058:3f83:72fd:e49a:2543) (Read error: Connection reset by peer) |
| 2023-10-05 19:08:49 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-05 19:11:24 +0200 | Alex_test | (~al_test@94.233.241.182) |
| 2023-10-05 19:16:58 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-05 19:17:32 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1::3d0) (Ping timeout: 260 seconds) |
| 2023-10-05 19:18:51 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1::3d0) |
| 2023-10-05 19:21:27 +0200 | AlexZenon | (~alzenon@94.233.241.182) |
| 2023-10-05 19:22:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-10-05 19:23:56 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1::3d0) (Ping timeout: 260 seconds) |
| 2023-10-05 19:24:11 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 19:24:19 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 255 seconds) |
| 2023-10-05 19:25:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-05 19:26:14 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-10-05 19:28:55 +0200 | Square2 | (~Square@user/square) |
| 2023-10-05 19:29:19 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 19:30:42 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 19:33:13 +0200 | flocks | (~flocks@134.122.90.60) |
| 2023-10-05 19:33:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 2023-10-05 19:40:26 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-05 19:43:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-05 19:44:00 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 272 seconds) |
| 2023-10-05 19:44:01 +0200 | erisco_ | erisco |
| 2023-10-05 19:44:26 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-05 19:46:04 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-10-05 19:46:37 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-05 19:47:02 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 19:47:21 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Quit: reconnecting) |
| 2023-10-05 19:47:41 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-05 19:48:28 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Client Quit) |
| 2023-10-05 19:49:38 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-05 19:52:36 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 240 seconds) |
| 2023-10-05 19:55:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-05 19:58:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-05 19:58:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-05 20:00:18 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-10-05 20:02:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 20:02:26 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2023-10-05 20:02:57 +0200 | hyiltiz | (~hyiltiz@17.244.97.173) |
| 2023-10-05 20:03:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-05 20:06:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-05 20:09:24 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2023-10-05 20:12:36 +0200 | poscat | (~poscat@user/poscat) |
| 2023-10-05 20:23:15 +0200 | danse-nr3_ | (~francesco@151.43.103.209) (Ping timeout: 258 seconds) |
| 2023-10-05 20:26:33 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-05 20:33:16 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-10-05 20:34:53 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-05 20:37:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-05 20:37:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0b9:f6a7:ab06:7636) |
| 2023-10-05 20:39:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-05 20:43:04 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds) |
| 2023-10-05 20:57:42 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-05 20:57:51 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-05 20:58:25 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 20:59:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0b9:f6a7:ab06:7636) (Remote host closed the connection) |
| 2023-10-05 20:59:41 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-05 21:08:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-05 21:08:43 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-05 21:08:56 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-05 21:10:30 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-05 21:13:17 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-05 21:13:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-05 21:15:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0b9:f6a7:ab06:7636) |
| 2023-10-05 21:16:06 +0200 | rgw | (~R@2605:a601:a0df:5600:cdda:b148:9ed2:a86) |
| 2023-10-05 21:18:20 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 21:18:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0b9:f6a7:ab06:7636) (Remote host closed the connection) |
| 2023-10-05 21:18:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-10-05 21:22:54 +0200 | <fendor> | Can I affect quickcheck execution with environment variables? E.g. set a seed, limit the number of max successes? |
| 2023-10-05 21:29:39 +0200 | <Rembane> | fendor: Not with pure QuickCheck IIRC, but you can wrap QuickCheck with tasty to get that functionality: https://hackage.haskell.org/package/tasty (see runtime) |
| 2023-10-05 21:30:16 +0200 | <fendor> | pity :( thanks though! |
| 2023-10-05 21:32:15 +0200 | <Rembane> | Yeah, no worries! |
| 2023-10-05 21:36:40 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-05 21:36:56 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-05 21:37:47 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-05 21:40:08 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-05 21:40:08 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-05 21:40:08 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-05 21:42:01 +0200 | Functionalley | (~al@82-69-116-36.dsl.in-addr.zen.co.uk) |
| 2023-10-05 21:42:36 +0200 | Functionalley | (~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Client Quit) |
| 2023-10-05 21:46:57 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-05 21:47:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-05 21:49:06 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-05 21:49:26 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-05 21:52:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:cb2:83ee:1f5d:1353) |
| 2023-10-05 21:52:44 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-10-05 21:53:01 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-05 21:54:00 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-05 21:58:31 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 264 seconds) |
| 2023-10-05 21:59:31 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-10-05 21:59:50 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-05 22:00:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-05 22:01:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-05 22:04:18 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 22:04:30 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-05 22:05:50 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-05 22:12:12 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-05 22:17:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-05 22:20:49 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-05 22:26:32 +0200 | michalz | (~michalz@185.246.204.122) (Remote host closed the connection) |
| 2023-10-05 22:31:12 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-05 22:33:27 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-05 22:34:20 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-05 22:34:56 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-05 22:39:43 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-05 22:39:58 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-05 22:40:13 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-05 22:41:56 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2023-10-05 22:44:15 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-05 22:45:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-05 22:45:32 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-05 22:47:54 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-05 22:48:05 +0200 | chomwitt | (~chomwitt@athedsl-368454.home.otenet.gr) |
| 2023-10-05 22:59:41 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-05 23:00:28 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-05 23:01:40 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-05 23:02:10 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-05 23:03:34 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-05 23:03:55 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 264 seconds) |
| 2023-10-05 23:08:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-05 23:09:06 +0200 | stites | (~stites@155.33.134.29) (Ping timeout: 260 seconds) |
| 2023-10-05 23:09:29 +0200 | stites | (~stites@2607:fb91:dca:3058:3f83:72fd:e49a:2543) |
| 2023-10-05 23:11:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:cb2:83ee:1f5d:1353) (Ping timeout: 272 seconds) |
| 2023-10-05 23:15:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-05 23:18:26 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3065da9ef1a3481937.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-10-05 23:18:43 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-05 23:20:40 +0200 | Square2 | (~Square@user/square) |
| 2023-10-05 23:23:03 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200C361C60858293EF6.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-10-05 23:23:59 +0200 | talismanick | (~user@168.150.108.234) |
| 2023-10-05 23:24:58 +0200 | stites | (~stites@2607:fb91:dca:3058:3f83:72fd:e49a:2543) (Read error: Connection reset by peer) |
| 2023-10-05 23:25:19 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-05 23:25:26 +0200 | hyiltiz | (~hyiltiz@17.244.97.173) (Ping timeout: 246 seconds) |
| 2023-10-05 23:31:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-05 23:38:07 +0200 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-05 23:39:39 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::2ba) |
| 2023-10-05 23:47:19 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-05 23:51:27 +0200 | talismanick | (~user@168.150.108.234) (Remote host closed the connection) |
| 2023-10-05 23:52:25 +0200 | talismanick | (~user@168.150.108.234) |
| 2023-10-05 23:55:40 +0200 | talismanick | (~user@168.150.108.234) (Remote host closed the connection) |
| 2023-10-05 23:59:16 +0200 | <geekosaur> | sigh, couldn't ubuntu package all the reboot-required updates together instead of requiring reboots two days in a row? |
| 2023-10-05 23:59:23 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-10-05 23:59:43 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-10-05 23:59:50 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |