| 2023-11-18 00:04:54 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-11-18 00:04:56 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 00:05:45 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-18 00:06:47 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-11-18 00:12:17 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2023-11-18 00:12:48 +0000 | Pixi__ | (~Pixi@user/pixi) |
| 2023-11-18 00:13:12 +0000 | bramhaag7 | (~bramhaag@endeavour.server.bramh.me) (Quit: Ping timeout (120 seconds)) |
| 2023-11-18 00:13:25 +0000 | bramhaag7 | (~bramhaag@endeavour.server.bramh.me) |
| 2023-11-18 00:13:29 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-18 00:13:38 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2023-11-18 00:13:49 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-18 00:14:08 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-11-18 00:14:56 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 245 seconds) |
| 2023-11-18 00:15:19 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-11-18 00:15:21 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-11-18 00:15:46 +0000 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
| 2023-11-18 00:16:32 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 00:17:01 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-11-18 00:24:38 +0000 | ivelten | (~ivelten@38.252.84.3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-11-18 00:26:55 +0000 | chomwitt | (~chomwitt@2a02:587:7a03:f500:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2023-11-18 00:29:21 +0000 | ivelten | (~ivelten@38.252.84.3) |
| 2023-11-18 00:29:55 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 00:34:05 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-11-18 00:34:30 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-11-18 00:47:19 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-18 00:49:42 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 00:54:31 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-11-18 01:01:57 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-11-18 01:04:10 +0000 | califax | (~califax@user/califx) |
| 2023-11-18 01:11:13 +0000 | ivelten | (~ivelten@38.252.84.3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-11-18 01:16:45 +0000 | ivelten | (~ivelten@38.252.84.3) |
| 2023-11-18 01:18:49 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-18 01:21:25 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-11-18 01:23:59 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 01:26:35 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 01:31:10 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-18 01:39:01 +0000 | ivelten | (~ivelten@38.252.84.3) (Ping timeout: 255 seconds) |
| 2023-11-18 01:43:16 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 01:44:33 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 01:48:43 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-18 01:49:35 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 01:49:39 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2023-11-18 01:54:34 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 01:55:13 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 01:59:34 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:00:25 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2023-11-18 02:04:34 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:06:01 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 02:09:02 +0000 | otto_s | (~user@p4ff27677.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-11-18 02:09:35 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:10:48 +0000 | otto_s | (~user@p4ff27872.dip0.t-ipconnect.de) |
| 2023-11-18 02:12:07 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 02:14:34 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:16:45 +0000 | CAT_S | (apic@brezn3.muc.ccc.de) (Server closed connection) |
| 2023-11-18 02:16:58 +0000 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-11-18 02:17:26 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 260 seconds) |
| 2023-11-18 02:23:10 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 02:25:47 +0000 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Server closed connection) |
| 2023-11-18 02:26:11 +0000 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 2023-11-18 02:29:35 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:30:22 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Remote host closed the connection) |
| 2023-11-18 02:30:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 02:33:55 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 02:34:35 +0000 | juri_ | (~juri@79.140.117.18) |
| 2023-11-18 02:35:33 +0000 | juri_ | (~juri@79.140.117.18) (Read error: Connection reset by peer) |
| 2023-11-18 02:36:59 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-11-18 02:37:15 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-11-18 02:39:35 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:42:09 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 02:44:36 +0000 | juri__ | (~juri@79.140.117.18) |
| 2023-11-18 02:45:55 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 02:47:52 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-18 02:51:28 +0000 | juri__ | (~juri@79.140.117.18) (Ping timeout: 255 seconds) |
| 2023-11-18 02:53:19 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 02:53:43 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-11-18 02:54:58 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 03:00:13 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-18 03:02:14 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 260 seconds) |
| 2023-11-18 03:09:01 +0000 | juri_ | (~juri@79.140.117.18) |
| 2023-11-18 03:09:19 +0000 | juri_ | (~juri@79.140.117.18) (Read error: Connection reset by peer) |
| 2023-11-18 03:14:00 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 03:16:44 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-11-18 03:17:20 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-11-18 03:18:15 +0000 | td_ | (~td@i5387092c.versanet.de) (Ping timeout: 245 seconds) |
| 2023-11-18 03:18:49 +0000 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
| 2023-11-18 03:18:53 +0000 | nicole | (ilbelkyr@libera/staff/ilbelkyr) |
| 2023-11-18 03:19:01 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 03:19:43 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 03:20:20 +0000 | td_ | (~td@i53870912.versanet.de) |
| 2023-11-18 03:23:16 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-18 03:23:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-18 03:23:16 +0000 | finn_elija | FinnElija |
| 2023-11-18 03:24:02 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 03:24:55 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 03:29:03 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 03:29:16 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-18 03:29:20 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 03:30:34 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2023-11-18 03:33:08 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-11-18 03:33:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-18 03:34:03 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 03:34:13 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 03:35:58 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 03:36:11 +0000 | vilya_ | (~vilya@user/vilya) (Ping timeout: 256 seconds) |
| 2023-11-18 03:36:59 +0000 | vilya | (~vilya@user/vilya) |
| 2023-11-18 03:41:17 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2023-11-18 03:44:02 +0000 | sudden | (~cat@user/sudden) (*.net *.split) |
| 2023-11-18 03:44:16 +0000 | sudden | (~cat@user/sudden) |
| 2023-11-18 03:45:28 +0000 | myme | (~myme@2a01:799:d60:e400:8378:aee3:77de:c4de) (Ping timeout: 246 seconds) |
| 2023-11-18 03:46:00 +0000 | mima | (~mmh@aftr-62-216-211-218.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
| 2023-11-18 03:46:34 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 03:46:40 +0000 | myme | (~myme@2a01:799:d60:e400:36c:3ccf:768:56e6) |
| 2023-11-18 03:49:03 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 03:50:49 +0000 | rosco | (~rosco@175.136.157.149) |
| 2023-11-18 03:58:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 03:58:39 +0000 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-11-18 03:59:04 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 04:03:55 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 04:04:05 +0000 | juri_ | (~juri@79.140.117.18) |
| 2023-11-18 04:08:09 +0000 | aforemny | (~aforemny@2001:9e8:6ce3:3d00:71a8:d847:f310:db9e) |
| 2023-11-18 04:08:25 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-11-18 04:08:49 +0000 | pavonia | (~user@user/siracusa) |
| 2023-11-18 04:09:03 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfd:dc00:140c:ed35:bfe1:eaed) (Ping timeout: 256 seconds) |
| 2023-11-18 04:10:11 +0000 | juri_ | (~juri@79.140.117.18) (Ping timeout: 264 seconds) |
| 2023-11-18 04:11:37 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 04:16:28 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2023-11-18 04:17:57 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-18 04:18:56 +0000 | vglfr | (~vglfr@78.26.242.160) (Read error: Connection reset by peer) |
| 2023-11-18 04:20:46 +0000 | Xe | (~cadey@perl/impostor/xe) |
| 2023-11-18 04:20:49 +0000 | trev | (~trev@user/trev) |
| 2023-11-18 04:20:58 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 04:21:24 +0000 | vglfr | (~vglfr@78.26.242.160) |
| 2023-11-18 04:23:57 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-18 04:25:46 +0000 | vglfr | (~vglfr@78.26.242.160) (Ping timeout: 264 seconds) |
| 2023-11-18 04:26:34 +0000 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-11-18 04:32:18 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 04:32:29 +0000 | vglfr | (~vglfr@78.26.242.160) |
| 2023-11-18 04:32:48 +0000 | vglfr | (~vglfr@78.26.242.160) (Client Quit) |
| 2023-11-18 04:37:20 +0000 | juri__ | (~juri@79.140.117.18) |
| 2023-11-18 04:37:43 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 04:40:17 +0000 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-18 04:43:34 +0000 | juri__ | (~juri@79.140.117.18) (Ping timeout: 276 seconds) |
| 2023-11-18 04:45:04 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 04:47:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-18 04:49:49 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 04:53:52 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 04:55:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 04:59:59 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 05:00:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:05:13 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:05:23 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 05:09:28 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-11-18 05:10:11 +0000 | raym | (~ray@user/raym) |
| 2023-11-18 05:10:12 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:10:32 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 05:15:13 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:16:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 05:20:12 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:21:46 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 05:22:03 +0000 | tijko | (~igloo@172.58.222.249) |
| 2023-11-18 05:25:13 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:27:02 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 05:32:32 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 05:38:21 +0000 | tijko | (~igloo@172.58.222.249) (Quit: Igloo IRC: https://iglooirc.com) |
| 2023-11-18 05:39:24 +0000 | phma | (~phma@host-67-44-208-96.hnremote.net) (Read error: Connection reset by peer) |
| 2023-11-18 05:40:13 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:40:39 +0000 | phma | (~phma@host-67-44-208-194.hnremote.net) |
| 2023-11-18 05:49:13 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 05:50:16 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:52:40 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-11-18 05:55:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 05:55:16 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 05:58:20 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-18 06:00:16 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 06:00:28 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 06:01:18 +0000 | sgarcia | (sgarcia@swarm.znchost.com) (Server closed connection) |
| 2023-11-18 06:01:30 +0000 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-11-18 06:05:18 +0000 | juri__ | (~juri@79.140.117.18) |
| 2023-11-18 06:06:05 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 06:09:14 +0000 | rosco | (~rosco@175.136.157.149) |
| 2023-11-18 06:09:46 +0000 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) (Remote host closed the connection) |
| 2023-11-18 06:10:02 +0000 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2023-11-18 06:12:08 +0000 | juri__ | (~juri@79.140.117.18) (Ping timeout: 252 seconds) |
| 2023-11-18 06:13:54 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 06:16:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-18 06:18:28 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2023-11-18 06:22:02 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-11-18 06:23:22 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 06:28:28 +0000 | juri_ | (~juri@79.140.117.18) |
| 2023-11-18 06:29:39 +0000 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2023-11-18 06:34:41 +0000 | juri_ | (~juri@79.140.117.18) (Ping timeout: 252 seconds) |
| 2023-11-18 06:36:14 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 06:44:59 +0000 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-11-18 06:45:08 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 06:51:27 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 06:56:22 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 06:56:28 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:01:27 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:01:38 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 07:06:28 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:07:31 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 07:11:27 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:13:10 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 07:16:28 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:18:19 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 07:21:27 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:24:35 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 07:26:29 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:27:17 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-18 07:28:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-18 07:29:41 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 07:31:27 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:35:47 +0000 | AlexNoo_ | (~AlexNoo@178.34.162.228) |
| 2023-11-18 07:35:49 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 07:36:14 +0000 | xsarnik4 | (xsarnik@lounge.fi.muni.cz) |
| 2023-11-18 07:36:24 +0000 | pyooque | (~puke@user/puke) |
| 2023-11-18 07:36:24 +0000 | puke | (~puke@user/puke) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-11-18 07:36:24 +0000 | pyooque | puke |
| 2023-11-18 07:36:41 +0000 | myxokephale | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2023-11-18 07:36:44 +0000 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-11-18 07:36:48 +0000 | mrmr15533 | (~mrmr@user/mrmr) |
| 2023-11-18 07:36:50 +0000 | EsoAlgo811 | (~EsoAlgo@129.146.136.145) |
| 2023-11-18 07:36:51 +0000 | SoF9 | (~skius@user/skius) |
| 2023-11-18 07:37:03 +0000 | elkcl_ | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-11-18 07:37:11 +0000 | Yumemi_ | (~Yumemi@2001:bc8:47a0:1b14::1) |
| 2023-11-18 07:37:35 +0000 | jrm2 | (~jrm@user/jrm) |
| 2023-11-18 07:37:38 +0000 | dminuoso_ | (~dminuoso@user/dminuoso) |
| 2023-11-18 07:37:51 +0000 | dumptruckman_ | (~dumptruck@23-239-13-136.ip.linodeusercontent.com) |
| 2023-11-18 07:37:56 +0000 | vgtw_ | (~vgtw@user/vgtw) |
| 2023-11-18 07:38:00 +0000 | defanor_ | (~defanor@tart.uberspace.net) |
| 2023-11-18 07:38:04 +0000 | flocks_ | (~flocks@134.122.90.60) |
| 2023-11-18 07:38:29 +0000 | dunj3_ | (~dunj3@kingdread.de) |
| 2023-11-18 07:38:58 +0000 | hrberg_ | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-11-18 07:39:44 +0000 | analoq_ | (~yashi@user/dies) |
| 2023-11-18 07:40:00 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-11-18 07:40:01 +0000 | dontdieych | (~alarm@132.226.169.184) |
| 2023-11-18 07:40:02 +0000 | noctux1 | (Hfi6K5vcqP@user/noctux) |
| 2023-11-18 07:40:05 +0000 | absence_ | (torgeihe@hildring.pvv.ntnu.no) |
| 2023-11-18 07:40:12 +0000 | Maxdaman1us | (~Maxdamant@user/maxdamantus) |
| 2023-11-18 07:40:31 +0000 | doyougnu- | (~doyougnu@45.46.170.68) |
| 2023-11-18 07:40:41 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 07:41:30 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:42:10 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-11-18 07:43:07 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-11-18 07:44:42 +0000 | CAT_S | (apic@brezn3.muc.ccc.de) (*.net *.split) |
| 2023-11-18 07:44:42 +0000 | defanor | (~defanor@tart.uberspace.net) (*.net *.split) |
| 2023-11-18 07:44:42 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (*.net *.split) |
| 2023-11-18 07:44:42 +0000 | SoF | (~skius@user/skius) (*.net *.split) |
| 2023-11-18 07:44:42 +0000 | dunj3 | (~dunj3@kingdread.de) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | mrmr1553 | (~mrmr@user/mrmr) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | dumptruckman | (~dumptruck@23-239-13-136.ip.linodeusercontent.com) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2023-11-18 07:44:43 +0000 | flocks | (~flocks@134.122.90.60) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | AlexNoo | (~AlexNoo@178.34.162.228) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | kiriakos | (~kiriakos@p5b03ee49.dip0.t-ipconnect.de) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | doyougnu | (~doyougnu@45.46.170.68) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | dontdieych_ | (~alarm@132.226.169.184) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | noctuks | (ccm7rRIFr2@user/noctux) (*.net *.split) |
| 2023-11-18 07:44:44 +0000 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2023-11-18 07:44:45 +0000 | seeg123456 | (~seeg12345@64.176.64.83) (*.net *.split) |
| 2023-11-18 07:44:45 +0000 | analoq | (~yashi@user/dies) (*.net *.split) |
| 2023-11-18 07:44:45 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
| 2023-11-18 07:44:45 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split) |
| 2023-11-18 07:44:45 +0000 | mrmr15533 | mrmr1553 |
| 2023-11-18 07:44:45 +0000 | elkcl_ | elkcl |
| 2023-11-18 07:44:45 +0000 | EsoAlgo811 | EsoAlgo81 |
| 2023-11-18 07:44:45 +0000 | jrm2 | jrm |
| 2023-11-18 07:44:45 +0000 | mauke_ | mauke |
| 2023-11-18 07:44:45 +0000 | SoF9 | SoF |
| 2023-11-18 07:44:45 +0000 | erisco_ | erisco |
| 2023-11-18 07:44:45 +0000 | dumptruckman_ | dumptruckman |
| 2023-11-18 07:44:45 +0000 | xsarnik4 | xsarnik |
| 2023-11-18 07:46:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 07:46:30 +0000 | juri_ | (~juri@79.140.117.18) |
| 2023-11-18 07:46:52 +0000 | vilya_ | (~vilya@user/vilya) |
| 2023-11-18 07:47:13 +0000 | vilya | (~vilya@user/vilya) (Ping timeout: 256 seconds) |
| 2023-11-18 07:50:58 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-11-18 07:52:22 +0000 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-11-18 07:52:43 +0000 | juri_ | (~juri@79.140.117.18) (Ping timeout: 276 seconds) |
| 2023-11-18 07:53:00 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 07:54:06 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 07:54:47 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-11-18 08:00:26 +0000 | acidjnk | (~acidjnk@p200300d6e72b9332a5871c169e311c1a.dip0.t-ipconnect.de) |
| 2023-11-18 08:03:35 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 08:04:00 +0000 | target_i | (~target_i@217.175.14.39) |
| 2023-11-18 08:09:09 +0000 | Adran | (~adran@botters/adran) |
| 2023-11-18 08:09:50 +0000 | juri_ | (~juri@79.140.117.18) |
| 2023-11-18 08:10:12 +0000 | juri_ | (~juri@79.140.117.18) (Read error: Connection reset by peer) |
| 2023-11-18 08:14:49 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 276 seconds) |
| 2023-11-18 08:14:51 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 08:18:32 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-11-18 08:18:52 +0000 | jrm | (~jrm@user/jrm) |
| 2023-11-18 08:19:51 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 08:20:23 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 08:24:41 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 08:24:51 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 08:25:47 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 08:27:33 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-11-18 08:28:36 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-18 08:29:52 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 08:31:11 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 08:33:00 +0000 | hrberg_ | (~quassel@171.79-160-161.customer.lyse.net) (Remote host closed the connection) |
| 2023-11-18 08:33:53 +0000 | misterfish | (~misterfis@46.44.172.198) |
| 2023-11-18 08:34:47 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 264 seconds) |
| 2023-11-18 08:34:50 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 08:36:47 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 08:38:19 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-18 08:42:46 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 08:49:38 +0000 | danza | (~francesco@151.57.126.120) |
| 2023-11-18 08:49:51 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 08:50:07 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2023-11-18 08:50:22 +0000 | euleritian | (~euleritia@dynamic-002-247-248-134.2.247.pool.telefonica.de) |
| 2023-11-18 08:51:08 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-11-18 08:52:05 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-11-18 08:56:15 +0000 | fendor | (~fendor@2a02:8388:1640:be00:2528:5dc7:a36e:9b87) |
| 2023-11-18 08:59:20 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 08:59:55 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:04:16 +0000 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2023-11-18 09:04:50 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 09:04:56 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:06:42 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Remote host closed the connection) |
| 2023-11-18 09:07:38 +0000 | vilya_ | (~vilya@user/vilya) (Ping timeout: 260 seconds) |
| 2023-11-18 09:09:02 +0000 | vilya | (~vilya@user/vilya) |
| 2023-11-18 09:09:55 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 09:09:56 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:14:56 +0000 | juri__ | (~juri@79.140.117.18) |
| 2023-11-18 09:15:50 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 09:18:10 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-11-18 09:18:51 +0000 | Jackneill | (~Jackneill@20014C4E1E1AA200C935E3B989BE2359.dsl.pool.telekom.hu) |
| 2023-11-18 09:21:39 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-11-18 09:21:41 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-11-18 09:22:04 +0000 | juri__ | (~juri@79.140.117.18) (Ping timeout: 255 seconds) |
| 2023-11-18 09:33:25 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 09:33:31 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-18 09:33:36 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:33:49 +0000 | ubert | (~Thunderbi@178.165.183.118.wireless.dyn.drei.com) |
| 2023-11-18 09:37:49 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-18 09:38:24 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 268 seconds) |
| 2023-11-18 09:38:36 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:43:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 09:43:37 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:43:47 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 09:44:59 +0000 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 264 seconds) |
| 2023-11-18 09:47:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Ping timeout: 260 seconds) |
| 2023-11-18 09:48:37 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:49:04 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-11-18 09:49:11 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 09:51:58 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 268 seconds) |
| 2023-11-18 09:53:37 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:54:55 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 09:55:17 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-11-18 09:57:27 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-18 09:58:37 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 09:58:39 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 10:00:35 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 10:01:33 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 10:02:57 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-18 10:03:38 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:04:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-11-18 10:05:43 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-11-18 10:05:57 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-11-18 10:06:26 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-18 10:08:05 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-11-18 10:08:39 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:11:23 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 10:12:35 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 10:13:40 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:14:44 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-18 10:17:23 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 10:22:23 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 10:25:53 +0000 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-18 10:26:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 10:28:40 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:30:59 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-18 10:32:37 +0000 | acidjnk | (~acidjnk@p200300d6e72b9332a5871c169e311c1a.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-11-18 10:33:41 +0000 | juri__ | (~juri@79.140.117.18) |
| 2023-11-18 10:33:55 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-11-18 10:35:06 +0000 | juri__ | (~juri@79.140.117.18) (Read error: Connection reset by peer) |
| 2023-11-18 10:38:41 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:39:53 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-18 10:43:41 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:44:56 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 10:44:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-18 10:48:42 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:50:23 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 10:53:07 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2023-11-18 10:53:24 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-11-18 10:53:42 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:56:23 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 10:57:01 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-11-18 10:57:35 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2023-11-18 10:58:42 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 10:59:37 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-18 11:01:47 +0000 | juri__ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2023-11-18 11:02:26 +0000 | vilya | (~vilya@user/vilya) (Ping timeout: 260 seconds) |
| 2023-11-18 11:03:30 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 11:04:10 +0000 | vilya | (~vilya@user/vilya) |
| 2023-11-18 11:04:47 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds) |
| 2023-11-18 11:06:23 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-11-18 11:06:28 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-11-18 11:06:45 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-18 11:06:56 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2023-11-18 11:08:10 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 11:11:16 +0000 | mima | (~mmh@aftr-62-216-211-189.dynamic.mnet-online.de) |
| 2023-11-18 11:13:43 +0000 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-11-18 11:15:38 +0000 | erty | (~user@user/aeroplane) |
| 2023-11-18 11:24:47 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-11-18 11:26:21 +0000 | euleritian | (~euleritia@dynamic-002-247-248-134.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 11:26:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 11:31:41 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-18 11:36:28 +0000 | Guest|89 | (~Guest|89@185.39.65.56) |
| 2023-11-18 11:47:12 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 11:48:20 +0000 | Guest|89 | (~Guest|89@185.39.65.56) (Quit: Connection closed) |
| 2023-11-18 11:49:56 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-18 11:50:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-18 11:51:05 +0000 | euleritian | (~euleritia@dynamic-002-247-248-134.2.247.pool.telefonica.de) |
| 2023-11-18 11:51:26 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Ping timeout: 260 seconds) |
| 2023-11-18 11:53:36 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 11:55:36 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-18 11:56:54 +0000 | euleritian | (~euleritia@dynamic-002-247-248-134.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 11:57:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 12:05:06 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-11-18 12:08:11 +0000 | zetef | (~quassel@95.77.17.251) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-11-18 12:08:32 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-18 12:08:40 +0000 | Pickchea | (~private@user/pickchea) (Client Quit) |
| 2023-11-18 12:11:32 +0000 | __ht | (~Thunderbi@194.110.115.43) |
| 2023-11-18 12:11:50 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2023-11-18 12:11:51 +0000 | __ht | _ht |
| 2023-11-18 12:13:33 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-18 12:15:03 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 12:16:49 +0000 | danza | (~francesco@151.57.126.120) (Read error: Connection reset by peer) |
| 2023-11-18 12:17:00 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2023-11-18 12:20:23 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 12:29:37 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-11-18 12:43:38 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-18 12:50:32 +0000 | <haskellbridge> | 08<tewuzij> What are tuple types? |
| 2023-11-18 12:55:51 +0000 | <ncf> | (A, B) |
| 2023-11-18 12:57:42 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-11-18 12:59:18 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7550:6245:cbff:fe9f:48b1) |
| 2023-11-18 12:59:29 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 12:59:36 +0000 | <mauke> | nameless ad-hoc records |
| 2023-11-18 13:00:36 +0000 | <probie> | Are they nameless, or is that the names are natural numbers? |
| 2023-11-18 13:04:16 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 13:04:41 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7550:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-11-18 13:08:27 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-18 13:10:44 +0000 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-11-18 13:11:12 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-11-18 13:11:15 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 13:12:40 +0000 | <haskellbridge> | 12<Celestial> How does one work with Aeson to parse either one of two possible JSONs? |
| 2023-11-18 13:12:41 +0000 | <haskellbridge> | 12<Celestial> Specifically I expected |
| 2023-11-18 13:12:42 +0000 | <haskellbridge> | 12<Celestial> ``` |
| 2023-11-18 13:12:43 +0000 | <haskellbridge> | 12<Celestial> ghci> data Test = A {a :: String} | B {b :: Int} deriving Show; $(deriveJSON defaultOptions ''Test) |
| 2023-11-18 13:12:44 +0000 | <haskellbridge> | 12<Celestial> ghci> decode "{\"a\": \"abc\"}" :: Maybe Test |
| 2023-11-18 13:12:46 +0000 | <haskellbridge> | 12<Celestial> Nothing |
| 2023-11-18 13:12:47 +0000 | <haskellbridge> | 12<Celestial> ``` |
| 2023-11-18 13:12:48 +0000 | <haskellbridge> | 12<Celestial> to work, but I'm not sure where to find the relevant docs |
| 2023-11-18 13:19:07 +0000 | <ncf> | Celestial: https://hackage.haskell.org/package/aeson-2.2.1.0/docs/Data-Aeson.html#t:SumEncoding |
| 2023-11-18 13:21:03 +0000 | <ncf> | with the default options you'd need something like {"tag": "A", "contents": {"a": "abc"}} |
| 2023-11-18 13:22:37 +0000 | <haskellbridge> | 12<Celestial> How would I change the options to do that based on the parameter names if possible? |
| 2023-11-18 13:22:48 +0000 | <haskellbridge> | 12<Celestial> I'm not sure how to work with the "Untagged" constructor there |
| 2023-11-18 13:24:28 +0000 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-11-18 13:25:21 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-18 13:25:44 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 13:25:49 +0000 | yangby | (~secret@183.128.111.44) |
| 2023-11-18 13:28:04 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-11-18 13:30:32 +0000 | <ncf> | defaultOptions { sumEncoding = UntaggedValue } |
| 2023-11-18 13:37:05 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-11-18 13:38:28 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 13:42:29 +0000 | yangby | (~secret@183.128.111.44) (Quit: Go out for a walk and buy a drink.) |
| 2023-11-18 13:43:43 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2023-11-18 13:43:47 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 13:46:44 +0000 | chomwitt | (~chomwitt@2a02:587:7a03:f500:1ac0:4dff:fedb:a3f1) |
| 2023-11-18 13:47:32 +0000 | _________ | (~nobody@user/noodly) (Quit: leaving) |
| 2023-11-18 13:49:17 +0000 | _________ | (~nobody@user/noodly) |
| 2023-11-18 13:50:14 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 13:55:17 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-11-18 13:55:37 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-18 13:57:23 +0000 | <haskellbridge> | 12<Celestial> oh amazing, thank you |
| 2023-11-18 13:59:42 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 14:04:47 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 14:10:14 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-11-18 14:13:07 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Ping timeout: 256 seconds) |
| 2023-11-18 14:16:58 +0000 | <Inst> | hmmm |
| 2023-11-18 14:17:00 +0000 | <Inst> | here's a question |
| 2023-11-18 14:17:14 +0000 | <Inst> | if IntMap outperforms both HashMap and (normal) Maps |
| 2023-11-18 14:17:28 +0000 | <Inst> | shouldn't there be an Enum key => IntMap key value interface? |
| 2023-11-18 14:19:55 +0000 | <haskellbridge> | 14<mauke> Last time I did advent of code, Map was faster |
| 2023-11-18 14:21:52 +0000 | <int-e> | > map fromEnum [0.0, 0.1] |
| 2023-11-18 14:21:54 +0000 | <lambdabot> | [0,0] |
| 2023-11-18 14:22:45 +0000 | <int-e> | (Enum has a number of questionable instances if you expect toEnum . fromEnum == id) |
| 2023-11-18 14:25:07 +0000 | <Inst> | ah :( |
| 2023-11-18 14:25:37 +0000 | steew | (~steew@user/steew) (Ping timeout: 246 seconds) |
| 2023-11-18 14:26:31 +0000 | steew | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) |
| 2023-11-18 14:26:54 +0000 | steew | Guest1997 |
| 2023-11-18 14:28:45 +0000 | <Inst> | so there's an Double a => Enum a instance where fromEnum = floor and toEnum = fromIntegral |
| 2023-11-18 14:28:49 +0000 | <Inst> | erm |
| 2023-11-18 14:29:01 +0000 | <Inst> | Actually, I don't think you can Floating a => Enum a, right? |
| 2023-11-18 14:29:18 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 14:32:07 +0000 | chomwitt | (~chomwitt@2a02:587:7a03:f500:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 2023-11-18 14:32:27 +0000 | chomwitt | (~chomwitt@ppp-94-67-202-40.home.otenet.gr) |
| 2023-11-18 14:34:17 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-18 14:38:08 +0000 | mima | (~mmh@aftr-62-216-211-189.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2023-11-18 14:45:46 +0000 | Square | (~Square@user/square) |
| 2023-11-18 14:49:11 +0000 | Guest1997 | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2023-11-18 14:49:12 +0000 | steew_ | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) |
| 2023-11-18 14:51:53 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-11-18 14:53:47 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-18 14:54:59 +0000 | phma | (~phma@host-67-44-208-194.hnremote.net) (Read error: Connection reset by peer) |
| 2023-11-18 14:55:23 +0000 | phma | (phma@2001:5b0:211b:dda8:c492:569a:4fe0:d4d8) |
| 2023-11-18 15:07:12 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-11-18 15:07:29 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-18 15:07:30 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-11-18 15:08:11 +0000 | dhil | (~dhil@2001:8e0:2014:3100:6c00:d414:b12:a7aa) |
| 2023-11-18 15:13:11 +0000 | steew_ | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2023-11-18 15:20:26 +0000 | __ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-18 15:22:04 +0000 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 255 seconds) |
| 2023-11-18 15:22:11 +0000 | _ht | (~Thunderbi@194.110.115.43) (Ping timeout: 264 seconds) |
| 2023-11-18 15:22:11 +0000 | __ht | _ht |
| 2023-11-18 15:25:00 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-18 15:30:58 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 276 seconds) |
| 2023-11-18 15:33:30 +0000 | <haskellbridge> | 14<mauke> Isn't Floating for stuff like exp and sqrt? That would include complex numbers and more exotic things |
| 2023-11-18 15:37:48 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 15:42:10 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-11-18 15:43:11 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 15:44:25 +0000 | <Inst> | RealFrac is linked to floor, and it looks like the instances for Enum etc are manually placed |
| 2023-11-18 15:45:34 +0000 | <Inst> | or rather floor is implemented by RealFrac |
| 2023-11-18 15:46:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-11-18 15:47:15 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) |
| 2023-11-18 15:49:02 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-18 15:49:19 +0000 | Tlsx | (~rscastilh@189.61.140.215) |
| 2023-11-18 15:51:12 +0000 | Tlsx | (~rscastilh@189.61.140.215) () |
| 2023-11-18 16:00:46 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-18 16:01:32 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-18 16:02:53 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 16:03:10 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) |
| 2023-11-18 16:13:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-11-18 16:13:13 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 16:13:28 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 16:13:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 16:13:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 16:19:43 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 16:24:50 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-18 16:26:44 +0000 | Pixi | (~Pixi@user/pixi) |
| 2023-11-18 16:29:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-11-18 16:34:11 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-18 16:36:01 +0000 | <erty> | I've just opened a text file in ReadWriteMode without storing the handle and now I am locked out of the file (file is locked). Guess have to restart ghci. |
| 2023-11-18 16:36:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-11-18 16:36:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-18 16:36:51 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 16:36:59 +0000 | <Rembane> | erty: What's in the it variable? |
| 2023-11-18 16:38:47 +0000 | <erty> | Rembane: It was a mistake, i did `λ> openFile "haskell.hs" ReadWriteMode` instead of `λ> file <- openFile "haskell.hs" ReadWriteMode |
| 2023-11-18 16:39:32 +0000 | <geekosaur> | still, ghci binds to `it` automatically unless you start it with `-fno-it` |
| 2023-11-18 16:39:35 +0000 | acidjnk | (~acidjnk@p200300d6e72b9332e94acb926fe14999.dip0.t-ipconnect.de) |
| 2023-11-18 16:39:41 +0000 | <geekosaur> | so you could still access the handle that way |
| 2023-11-18 16:39:59 +0000 | <geekosaur> | or `closeFile it` |
| 2023-11-18 16:40:59 +0000 | <erty> | I did not knew about `it` variable BUT NOW I KNOW. thanks for telling me :-) |
| 2023-11-18 16:41:37 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 16:42:04 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-11-18 16:42:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-11-18 16:43:46 +0000 | <erty> | geekosaur: I have to use `hClose it` to close the file. For `closeFile`, ghci says variable not found. I did `:m +System.IO` |
| 2023-11-18 16:43:57 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) |
| 2023-11-18 16:44:04 +0000 | <geekosaur> | yeh, I thinkoed sorry |
| 2023-11-18 16:44:12 +0000 | <erty> | :-) |
| 2023-11-18 16:44:45 +0000 | mokee | (~mokee@37.228.215.150) |
| 2023-11-18 16:48:26 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 16:48:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 16:59:01 +0000 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-11-18 17:01:31 +0000 | _xor | (~xor@72.49.195.41) |
| 2023-11-18 17:06:18 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 17:06:34 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-11-18 17:09:23 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 2023-11-18 17:11:02 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-18 17:11:36 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-18 17:12:32 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-18 17:12:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-11-18 17:12:49 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) |
| 2023-11-18 17:13:16 +0000 | AlexNoo_ | AlexNoo |
| 2023-11-18 17:15:04 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-18 17:16:02 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-18 17:18:08 +0000 | driib5 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-11-18 17:22:35 +0000 | billchenchina | (~billchenc@103.152.35.21) (Read error: Connection reset by peer) |
| 2023-11-18 17:24:15 +0000 | _xor | (~xor@72.49.195.41) (Quit: Ping timeout (120 seconds)) |
| 2023-11-18 17:24:29 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-11-18 17:24:54 +0000 | _xor | (~xor@72.49.195.41) |
| 2023-11-18 17:25:38 +0000 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-11-18 17:27:02 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Remote host closed the connection) |
| 2023-11-18 17:27:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 17:30:58 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-11-18 17:34:37 +0000 | Maxlelyonai | (~Maxlelyon@19.red-88-23-210.staticip.rima-tde.net) |
| 2023-11-18 17:35:20 +0000 | driib5 | (~driib@vmi931078.contaboserver.net) |
| 2023-11-18 17:38:23 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 264 seconds) |
| 2023-11-18 17:40:06 +0000 | <Maxlelyonai> | hello |
| 2023-11-18 17:40:09 +0000 | <Maxlelyonai> | I have a small problem |
| 2023-11-18 17:42:23 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2023-11-18 17:43:18 +0000 | <Hecate> | Rembane: hey did you listen to the latest episode of the Haskell Interlude? |
| 2023-11-18 17:43:23 +0000 | <Hecate> | Maxlelyonai: sure, tell us |
| 2023-11-18 17:43:25 +0000 | steew | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) |
| 2023-11-18 17:43:33 +0000 | steew | (~steew@204.red-81-33-65.dynamicip.rima-tde.net) (Changing host) |
| 2023-11-18 17:43:33 +0000 | steew | (~steew@user/steew) |
| 2023-11-18 17:44:50 +0000 | maturana | (~maturana@2804:14c:5b73:403e:ea2b:a24e:fe60:f177) |
| 2023-11-18 17:45:30 +0000 | Maxlelyonai | (~Maxlelyon@19.red-88-23-210.staticip.rima-tde.net) (Quit: Client closed) |
| 2023-11-18 17:50:34 +0000 | <geekosaur> | … |
| 2023-11-18 17:51:05 +0000 | Clint | nods. |
| 2023-11-18 17:51:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-18 17:55:52 +0000 | steew | (~steew@user/steew) (Ping timeout: 255 seconds) |
| 2023-11-18 17:58:12 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-18 17:58:47 +0000 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2023-11-18 17:59:04 +0000 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) () |
| 2023-11-18 18:02:25 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-18 18:02:55 +0000 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2023-11-18 18:03:01 +0000 | <Rembane> | Hecate: Yes! John McFarlane? Markdown? Pandoc? |
| 2023-11-18 18:03:17 +0000 | <benmachine> | @pl \x -> f x |
| 2023-11-18 18:03:17 +0000 | <lambdabot> | f |
| 2023-11-18 18:04:34 +0000 | <Rembane> | @botsnack |
| 2023-11-18 18:04:34 +0000 | <lambdabot> | :) |
| 2023-11-18 18:05:44 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 18:06:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 18:06:10 +0000 | steew | (~steew@96.red-81-33-195.dynamicip.rima-tde.net) |
| 2023-11-18 18:06:34 +0000 | steew | Guest4454 |
| 2023-11-18 18:07:05 +0000 | <benmachine> | I'm curious if people use @pl a lot / at all, I started work on a version of it that operates on ASTs but in deciding whether to work on it more I have to confront the fact that I don't use it and don't know who I'd recommend it to |
| 2023-11-18 18:08:54 +0000 | <geekosaur> | not really, it sometimes produces useful things but it usually just makes a mess |
| 2023-11-18 18:08:59 +0000 | <benmachine> | https://github.com/bmillwood/pointfree-hse for those among you who are curious |
| 2023-11-18 18:09:02 +0000 | <geekosaur> | and it doesn't know about Applicative |
| 2023-11-18 18:09:08 +0000 | <int-e> | pointless code full of dots |
| 2023-11-18 18:09:20 +0000 | <geekosaur> | dotty and flipped out 🙂 |
| 2023-11-18 18:09:38 +0000 | <monochrom> | I have become better than @pl, so I don't need it any more. |
| 2023-11-18 18:09:51 +0000 | <benmachine> | also @pl as-is is really a pointfree algorithm glued onto a general expression optimizer, which is a bit odd |
| 2023-11-18 18:09:58 +0000 | <benmachine> | @pl 2 + 2 |
| 2023-11-18 18:09:58 +0000 | <lambdabot> | 4 |
| 2023-11-18 18:10:12 +0000 | <int-e> | @pl \a b c d -> a (b (c d)) |
| 2023-11-18 18:10:12 +0000 | <lambdabot> | (. (.)) . (.) . (.) |
| 2023-11-18 18:10:30 +0000 | <monochrom> | And also one @pl doesn't fit all sizes. There are still many design choices for many different use cases and audiences. |
| 2023-11-18 18:11:30 +0000 | <int-e> | it's called "pointless" rather than "pointfree" for a reason :) |
| 2023-11-18 18:11:31 +0000 | <benmachine> | I feel like my advice for most people would be that if you need a tool to work out the pointfree form you probably should stick to the pointful one |
| 2023-11-18 18:11:43 +0000 | <benmachine> | int-e: fair |
| 2023-11-18 18:12:08 +0000 | <int-e> | there are very rare cases where it actually produces something pretty but non-obvious. |
| 2023-11-18 18:12:14 +0000 | <int-e> | @pl \f x -> f x x |
| 2023-11-18 18:12:14 +0000 | <lambdabot> | join |
| 2023-11-18 18:12:20 +0000 | Guest4454 | (~steew@96.red-81-33-195.dynamicip.rima-tde.net) (Changing host) |
| 2023-11-18 18:12:20 +0000 | Guest4454 | (~steew@user/steew) |
| 2023-11-18 18:12:20 +0000 | Guest4454 | steew |
| 2023-11-18 18:12:57 +0000 | <benmachine> | I wonder if it has pedagogic value or something, but even for that I'm not sure why it matters |
| 2023-11-18 18:13:29 +0000 | <monochrom> | It has pedagogical values. (Until it doesn't.) |
| 2023-11-18 18:13:30 +0000 | <int-e> | (I find that instructive, even if you don't use it. Basically @pl is a tool for learning about the bare reader monad (r ->).) |
| 2023-11-18 18:13:30 +0000 | <EvanR> | I've been limiting my point free to stuff of the form e1 . e2 . e3 . e4 where each e is a straight application chain |
| 2023-11-18 18:13:47 +0000 | <EvanR> | no one can argue with that! |
| 2023-11-18 18:13:52 +0000 | <monochrom> | One should learn all possibilities. Then one chooses when to use which. |
| 2023-11-18 18:14:07 +0000 | <int-e> | EvanR: those are tree excellent points |
| 2023-11-18 18:14:09 +0000 | <benmachine> | monochrom: learning all possibilities may not take finite time |
| 2023-11-18 18:14:21 +0000 | <monochrom> | On top of that, it opens your mind to new ways of thinking. |
| 2023-11-18 18:14:22 +0000 | <int-e> | @quote dots |
| 2023-11-18 18:14:22 +0000 | <lambdabot> | No quotes match. Just what do you think you're doing Dave? |
| 2023-11-18 18:14:48 +0000 | <int-e> | EvanR: *three, not tree |
| 2023-11-18 18:14:58 +0000 | <EvanR> | and I hesitate to stick a flip on the front of the application chain |
| 2023-11-18 18:15:23 +0000 | <EvanR> | I don't want to be called before the haskell-is-ivory-tower-elitist-nonsense tribunal |
| 2023-11-18 18:15:24 +0000 | <int-e> | @pl \a b c d -> d c b a |
| 2023-11-18 18:15:25 +0000 | <lambdabot> | flip (flip . (flip .) . flip (flip . flip id)) |
| 2023-11-18 18:15:30 +0000 | <int-e> | <3 |
| 2023-11-18 18:15:41 +0000 | <monochrom> | For example, \x -> f x (g x) = f <*> g is actually non-obvious and enlightening. This learns you the Reader functor or the hom functor. |
| 2023-11-18 18:16:09 +0000 | <geekosaur> | or would if @pl knew about <*> |
| 2023-11-18 18:16:14 +0000 | <EvanR> | it's unfortunate that <*> chains risks you getting called before the tribunal :( |
| 2023-11-18 18:16:23 +0000 | <int-e> | @pl \x -> f x (g x) |
| 2023-11-18 18:16:24 +0000 | <lambdabot> | ap f g |
| 2023-11-18 18:16:26 +0000 | int-e | shrugs |
| 2023-11-18 18:16:34 +0000 | <int-e> | it just uses the other name :-P |
| 2023-11-18 18:16:54 +0000 | <EvanR> | f `ap` g `ap` h |
| 2023-11-18 18:16:57 +0000 | <int-e> | (yes I know that `ap` is restricted to Monad) |
| 2023-11-18 18:17:04 +0000 | <monochrom> | Civilization advances because some people are brave enough to find and use unfamiliar, "unnatural", "unintuitive" things, despite social pressure on conformance. |
| 2023-11-18 18:17:19 +0000 | <EvanR> | pronounced fap-gaf |
| 2023-11-18 18:17:26 +0000 | <geekosaur> | and then people bitch about "kids these days" |
| 2023-11-18 18:17:46 +0000 | <int-e> | kids these days, always complaining about kids these days |
| 2023-11-18 18:18:15 +0000 | erty | (~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-11-18 18:18:34 +0000 | <geekosaur> | re the tribunal, if I wanted to write Python I'd write Python |
| 2023-11-18 18:18:45 +0000 | <geekosaur> | I graduated from Playskool in the 80s, tyvm |
| 2023-11-18 18:18:51 +0000 | <monochrom> | Did you know that large banks in Singapore disallow recursion "because we are hiring grads from 3rd rate colleges who don't understand it"? That is how you stagnate civilization. |
| 2023-11-18 18:18:55 +0000 | <Hecate> | Rembane: yes that one :) Quite nice, wasn't it? |
| 2023-11-18 18:19:21 +0000 | <EvanR> | I learned recursion in a 3rd rate college |
| 2023-11-18 18:19:28 +0000 | <monochrom> | "pointfree is obscurity don't use it" "recursion is obscurity don't use it". What's next, anything except COBOL is obscurity don't use it? |
| 2023-11-18 18:19:55 +0000 | <monochrom> | Obscurity is an inverse function of your education. |
| 2023-11-18 18:20:18 +0000 | <int-e> | recursion can't be implemented by patching the target address of the branch instruction in the function epilog, don't use it |
| 2023-11-18 18:20:18 +0000 | <monochrom> | Just 400 years ago, even multiplication was obscurity. |
| 2023-11-18 18:20:26 +0000 | <benmachine> | monochrom: not every slope is slippery |
| 2023-11-18 18:20:28 +0000 | <int-e> | stacks are so expensive |
| 2023-11-18 18:20:31 +0000 | <monochrom> | Just 1000 years ago, even literacy itself was obscurity. |
| 2023-11-18 18:20:41 +0000 | <benmachine> | "making things better? what's next, making them worse?" :P |
| 2023-11-18 18:20:55 +0000 | <int-e> | I wonder whether people resented punched cards. :) |
| 2023-11-18 18:24:25 +0000 | <monochrom> | OK, you know what, here is another angle I wrote a long time ago. https://www.vex.net/~trebla/weblog/pointfree.html |
| 2023-11-18 18:24:32 +0000 | <Rembane> | Hecate: It was indeed! Very concrete and like: "this is how I have been using Haskell to build something useful for the last 16 years." |
| 2023-11-18 18:25:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-11-18 18:25:21 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) |
| 2023-11-18 18:25:28 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-18 18:26:09 +0000 | <monochrom> | There is also John Hughes's paper "why functional programming matters". Later, there is even a youtube video. |
| 2023-11-18 18:26:23 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-18 18:26:48 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 18:27:25 +0000 | <monochrom> | That represents the minimal level of pointfree-ness one must embrace. It is really worth it. I can agree that beyond that level it is less clear and it depends. |
| 2023-11-18 18:29:31 +0000 | <Hecate> | Rembane: yes, and how lovely is it to see a professor of philosophy use Haskell?? |
| 2023-11-18 18:30:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-18 18:31:47 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 18:31:50 +0000 | <Rembane> | Hecate: That's so cool! |
| 2023-11-18 18:32:09 +0000 | shapr | (~user@2600:1700:c640:3100:499d:95f3:db58:3df6) |
| 2023-11-18 18:32:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-11-18 18:35:42 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 18:35:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-11-18 18:36:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 18:36:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-18 18:38:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-18 18:38:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 18:40:52 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-18 18:41:05 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2023-11-18 18:46:08 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-18 18:50:43 +0000 | <Hecate> | Rembane: indeed! |
| 2023-11-18 18:51:37 +0000 | <benmachine> | @pl \x -> x + f x |
| 2023-11-18 18:51:37 +0000 | <lambdabot> | ap (+) f |
| 2023-11-18 18:52:20 +0000 | <Rembane> | :t ap (+) |
| 2023-11-18 18:52:21 +0000 | <lambdabot> | Num a => (a -> a) -> a -> a |
| 2023-11-18 18:53:12 +0000 | <benmachine> | @pl \x -> g x + f x |
| 2023-11-18 18:53:13 +0000 | <lambdabot> | liftM2 (+) g f |
| 2023-11-18 18:54:11 +0000 | <benmachine> | @pl \x -> g x + x |
| 2023-11-18 18:54:12 +0000 | <lambdabot> | (+) =<< g |
| 2023-11-18 18:55:03 +0000 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-18 18:55:15 +0000 | <EvanR> | pl should not only know about Applicative but also everything in the aviary of combinators? xD |
| 2023-11-18 18:55:52 +0000 | <ncf> | it should also have a ring solver why not |
| 2023-11-18 18:56:16 +0000 | <ncf> | it's basically a category solver anyway |
| 2023-11-18 18:56:31 +0000 | poscat | (~poscat@user/poscat) (Server closed connection) |
| 2023-11-18 18:56:48 +0000 | poscat | (~poscat@user/poscat) |
| 2023-11-18 18:57:04 +0000 | <ncf> | @pl (f . g . id) . (id . h) |
| 2023-11-18 18:57:04 +0000 | <lambdabot> | f . g . h |
| 2023-11-18 18:57:22 +0000 | <Rembane> | EvanR: I think it should only know about birds, and express everything in terms of birds. |
| 2023-11-18 18:57:42 +0000 | maturana | (~maturana@2804:14c:5b73:403e:ea2b:a24e:fe60:f177) (Remote host closed the connection) |
| 2023-11-18 18:58:51 +0000 | <EvanR> | works in any category |
| 2023-11-18 19:00:56 +0000 | esph | (~weechat@user/esph) |
| 2023-11-18 19:01:40 +0000 | xxpor | (~xxpor@user/xxpor) |
| 2023-11-18 19:03:06 +0000 | shapr | (~user@2600:1700:c640:3100:499d:95f3:db58:3df6) (Ping timeout: 260 seconds) |
| 2023-11-18 19:03:44 +0000 | shapr | (~user@2600:1700:c640:3100:499d:95f3:db58:3df6) |
| 2023-11-18 19:03:50 +0000 | shapr` | (~user@2600:1700:c640:3100:499d:95f3:db58:3df6) |
| 2023-11-18 19:04:03 +0000 | shapr` | (~user@2600:1700:c640:3100:499d:95f3:db58:3df6) (Client Quit) |
| 2023-11-18 19:13:38 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 19:16:04 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2023-11-18 19:16:21 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-18 19:18:40 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 19:27:10 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 19:27:11 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2023-11-18 19:31:43 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 19:43:35 +0000 | phma | (phma@2001:5b0:211b:dda8:c492:569a:4fe0:d4d8) (Read error: Connection reset by peer) |
| 2023-11-18 19:43:58 +0000 | xxpor | (~xxpor@user/xxpor) (Ping timeout: 255 seconds) |
| 2023-11-18 19:44:16 +0000 | mima | (~mmh@aftr-62-216-211-150.dynamic.mnet-online.de) |
| 2023-11-18 19:44:34 +0000 | phma | (phma@2001:5b0:210d:d6a8:fe0f:1d6c:db1b:c2d) |
| 2023-11-18 19:46:13 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2023-11-18 19:47:01 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) |
| 2023-11-18 19:49:58 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 19:52:14 +0000 | xxpor | (~xxpor@user/xxpor) |
| 2023-11-18 19:55:07 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 20:05:16 +0000 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2023-11-18 20:05:50 +0000 | xigua | (~xigua@user/xigua) |
| 2023-11-18 20:10:11 +0000 | euleritian | (~euleritia@dynamic-002-247-251-082.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-18 20:10:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-18 20:12:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-11-18 20:12:08 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-11-18 20:13:44 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-11-18 20:30:05 +0000 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2023-11-18 20:38:13 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-18 20:38:30 +0000 | <benmachine> | int-e: inspired by your examples, https://github.com/bmillwood/pointfree-hse/tree/main/test/output (each one is approximately unlines . pointfreeSteps from my library) |
| 2023-11-18 20:39:03 +0000 | trev | (~trev@user/trev) |
| 2023-11-18 20:39:44 +0000 | <benmachine> | though getting the step-by-step output doesn't help the flips example much tbh |
| 2023-11-18 20:53:28 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-18 20:57:00 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-18 20:58:44 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 21:03:58 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-18 21:05:47 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2023-11-18 21:06:10 +0000 | zetef | (~quassel@5.2.182.98) |
| 2023-11-18 21:06:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-18 21:06:13 +0000 | fendor | (~fendor@2a02:8388:1640:be00:2528:5dc7:a36e:9b87) (Ping timeout: 256 seconds) |
| 2023-11-18 21:06:31 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-18 21:07:13 +0000 | Maxdaman1us | Maxdamantus |
| 2023-11-18 21:15:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-18 21:18:04 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-11-18 21:20:18 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-11-18 21:25:02 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-18 21:30:37 +0000 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-11-18 21:40:32 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2023-11-18 21:40:55 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-11-18 21:40:55 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-11-18 21:40:55 +0000 | jinsun_ | jinsun |
| 2023-11-18 21:45:00 +0000 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2023-11-18 21:45:23 +0000 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-11-18 21:47:18 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-11-18 21:59:17 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 22:04:47 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-18 22:09:25 +0000 | dhil | (~dhil@2001:8e0:2014:3100:6c00:d414:b12:a7aa) (Ping timeout: 276 seconds) |
| 2023-11-18 22:10:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-11-18 22:10:58 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-18 22:17:07 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:b46d:d922:28d3:ba58) (Quit: Ping timeout (120 seconds)) |
| 2023-11-18 22:17:25 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:bd33:ad1d:bf52:f952) |
| 2023-11-18 22:19:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-18 22:24:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-18 22:38:32 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-11-18 22:46:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-18 22:47:52 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 22:48:32 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-11-18 22:48:32 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-11-18 22:48:32 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-11-18 22:53:10 +0000 | acidjnk | (~acidjnk@p200300d6e72b9332e94acb926fe14999.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-11-18 22:53:27 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-18 22:53:47 +0000 | falafel_ | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) |
| 2023-11-18 23:00:33 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-11-18 23:00:50 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Remote host closed the connection) |
| 2023-11-18 23:00:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-11-18 23:01:53 +0000 | falafel_ | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) (Remote host closed the connection) |
| 2023-11-18 23:02:54 +0000 | falafel | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) |
| 2023-11-18 23:05:19 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-18 23:06:02 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-18 23:07:03 +0000 | falafel | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) (Read error: Connection reset by peer) |
| 2023-11-18 23:08:15 +0000 | trev | (~trev@user/trev) |
| 2023-11-18 23:11:51 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-11-18 23:15:10 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-18 23:15:41 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-18 23:16:28 +0000 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2023-11-18 23:22:51 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-11-18 23:24:10 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2023-11-18 23:24:57 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-18 23:26:18 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
| 2023-11-18 23:26:34 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2023-11-18 23:30:02 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-18 23:34:49 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-18 23:37:38 +0000 | cdsloif^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-11-18 23:43:44 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-11-18 23:47:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
| 2023-11-18 23:50:04 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-11-18 23:51:11 +0000 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-11-18 23:51:57 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-11-18 23:52:13 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |