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