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