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