| 2024-02-18 00:02:03 +0100 | tabaqui | (~root@91.73.33.14) (Read error: Connection reset by peer) |
| 2024-02-18 00:04:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-18 00:05:45 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-a5e0-f04d-3c85-4f61-e5fc.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-18 00:11:11 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-18 00:12:39 +0100 | asdf888666 | (~user@resnet-nat44-128-114-255-54.ucsc.edu) |
| 2024-02-18 00:14:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 00:17:52 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-18 00:20:07 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2024-02-18 00:22:19 +0100 | hackyhacker | (~hackyhack@83-217-143-218.access.telenet.be) (Ping timeout: 256 seconds) |
| 2024-02-18 00:22:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-18 00:22:52 +0100 | hackyhacker | (~hackyhack@202-228-145-178.mobileinternet.proximus.be) |
| 2024-02-18 00:29:10 +0100 | asdf888666 | (~user@resnet-nat44-128-114-255-54.ucsc.edu) (Remote host closed the connection) |
| 2024-02-18 00:47:38 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-18 00:50:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-18 00:51:25 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-02-18 00:53:47 +0100 | yoo | (~yo0O0o@130.105.162.42) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-02-18 00:54:21 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 00:56:08 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-18 01:07:15 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) (Quit: WeeChat 4.2.1) |
| 2024-02-18 01:07:42 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) |
| 2024-02-18 01:09:50 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-02-18 01:10:52 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-18 01:13:10 +0100 | hackyhacker | (~hackyhack@202-228-145-178.mobileinternet.proximus.be) (Ping timeout: 264 seconds) |
| 2024-02-18 01:13:58 +0100 | hackyhacker | (~hackyhack@236-216-145-178.mobileinternet.proximus.be) |
| 2024-02-18 01:17:49 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-18 01:21:41 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-02-18 01:24:21 +0100 | acidjnk | (~acidjnk@p200300d6e737e749cd206dd0173e2368.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-02-18 01:24:39 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-02-18 01:24:59 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-02-18 01:43:55 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-18 01:50:34 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) (Quit: WeeChat 4.2.1) |
| 2024-02-18 02:05:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-18 02:08:02 +0100 | califax | (~califax@user/califx) |
| 2024-02-18 02:14:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-18 02:17:17 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-18 02:21:41 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2024-02-18 02:23:11 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-18 02:23:57 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-18 02:24:15 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) (Read error: Connection reset by peer) |
| 2024-02-18 02:29:06 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 2024-02-18 02:40:18 +0100 | hackyhacker | (~hackyhack@236-216-145-178.mobileinternet.proximus.be) (Read error: Connection reset by peer) |
| 2024-02-18 02:40:57 +0100 | hackyhacker | (~hackyhack@236-216-145-178.mobileinternet.proximus.be) |
| 2024-02-18 02:41:42 +0100 | hackyhacker | (~hackyhack@236-216-145-178.mobileinternet.proximus.be) (Read error: Connection reset by peer) |
| 2024-02-18 02:49:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-02-18 02:49:40 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-18 02:51:02 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-02-18 02:51:47 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-18 02:52:07 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-18 02:52:19 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-02-18 02:56:09 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-18 03:00:36 +0100 | Pixi` | (~Pixi@user/pixi) |
| 2024-02-18 03:00:37 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 2024-02-18 03:01:02 +0100 | Pixi` | (~Pixi@user/pixi) (Max SendQ exceeded) |
| 2024-02-18 03:04:01 +0100 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2024-02-18 03:10:30 +0100 | otto_s | (~user@p4ff27ba6.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-18 03:11:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-18 03:12:05 +0100 | otto_s | (~user@p5de2fd5d.dip0.t-ipconnect.de) |
| 2024-02-18 03:17:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-18 03:26:32 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-18 03:27:11 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-18 03:30:13 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-143f-499d-9e68-1311.fixed6.kpn.net) |
| 2024-02-18 03:34:11 +0100 | sprout | (~quassel@2a02-a448-3a80-0-4524-be12-990e-9595.fixed6.kpn.net) (Ping timeout: 272 seconds) |
| 2024-02-18 03:40:30 +0100 | hackyhacker | (~hackyhack@109.142.77.165) |
| 2024-02-18 03:41:42 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) |
| 2024-02-18 03:44:58 +0100 | hackyhacker | (~hackyhack@109.142.77.165) (Ping timeout: 264 seconds) |
| 2024-02-18 03:45:53 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-02-18 03:53:41 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-18 03:58:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-02-18 04:02:21 +0100 | hackyhacker | (~hackyhack@44-31-144-178.mobileinternet.proximus.be) |
| 2024-02-18 04:04:59 +0100 | hackyhacker | (~hackyhack@44-31-144-178.mobileinternet.proximus.be) (Read error: Connection reset by peer) |
| 2024-02-18 04:05:04 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-02-18 04:05:33 +0100 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-02-18 04:14:28 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-02-18 04:16:51 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) (Remote host closed the connection) |
| 2024-02-18 04:17:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 04:19:24 +0100 | yoo | (~yo0O0o@130.105.162.42) (Changing host) |
| 2024-02-18 04:19:24 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-18 04:20:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-02-18 04:23:47 +0100 | slack1256 | (~slack1256@181.203.86.79) |
| 2024-02-18 04:25:01 +0100 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-18 04:26:29 +0100 | td_ | (~td@i53870910.versanet.de) |
| 2024-02-18 04:32:28 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-18 04:33:00 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-18 04:37:59 +0100 | qqq_ | (~qqq@92.43.167.61) |
| 2024-02-18 04:38:04 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-18 04:38:15 +0100 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-02-18 04:41:40 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-18 04:42:14 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-18 04:51:32 +0100 | <slack1256> | I never got SYB. From my PoV GHC.Generics seemed like a replacement. Does it make sense to learn it now? |
| 2024-02-18 05:01:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-18 05:07:58 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-18 05:09:46 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-02-18 05:14:15 +0100 | slack1256 | (~slack1256@181.203.86.79) (Read error: Connection reset by peer) |
| 2024-02-18 05:17:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-18 05:21:14 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-02-18 05:22:16 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-18 05:22:27 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-02-18 05:32:12 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-02-18 05:32:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-18 05:33:33 +0100 | bilegeek | (~bilegeek@2600:1008:b068:c92c:2423:da81:96cf:5d29) |
| 2024-02-18 05:40:55 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce3:ee00:8ad8:2ab5:d481:bea6) |
| 2024-02-18 05:42:45 +0100 | aforemny | (~aforemny@2001:9e8:6cfd:5700:198a:9ad3:4852:3314) (Ping timeout: 272 seconds) |
| 2024-02-18 05:52:37 +0100 | jorar | (~jorge@user/jorar91) (Ping timeout: 268 seconds) |
| 2024-02-18 05:58:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 06:01:30 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-18 06:01:47 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 264 seconds) |
| 2024-02-18 06:02:51 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 06:04:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 06:05:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 06:11:12 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-18 06:12:39 +0100 | img | (~img@user/img) |
| 2024-02-18 06:17:10 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-18 06:20:05 +0100 | yoo | (~yo0O0o@130.105.162.42) (Changing host) |
| 2024-02-18 06:20:05 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-18 06:24:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 06:25:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 06:27:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 06:28:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 06:35:57 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
| 2024-02-18 06:36:16 +0100 | <davean> | dmj`: But that doesn;'t help the example where encodings are migrated, etc |
| 2024-02-18 06:36:22 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-02-18 06:52:38 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-18 06:56:52 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-18 07:07:20 +0100 | rosco | (~rosco@175.136.156.77) (Ping timeout: 252 seconds) |
| 2024-02-18 07:18:11 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) |
| 2024-02-18 07:22:24 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-18 07:23:37 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-18 07:25:35 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) (Quit: WeeChat 4.2.1) |
| 2024-02-18 07:30:22 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) |
| 2024-02-18 07:51:22 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Ping timeout (120 seconds)) |
| 2024-02-18 07:53:24 +0100 | bilegeek | (~bilegeek@2600:1008:b068:c92c:2423:da81:96cf:5d29) (Quit: Leaving) |
| 2024-02-18 07:56:26 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-02-18 07:59:44 +0100 | bilegeek | (~bilegeek@2600:1008:b05e:b482:1b05:9ab8:12db:f645) |
| 2024-02-18 08:08:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 08:10:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 08:15:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 08:17:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 08:22:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-18 08:26:18 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-18 08:34:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 08:42:35 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 264 seconds) |
| 2024-02-18 08:43:04 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-18 09:00:07 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-18 09:02:17 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-02-18 09:04:19 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:4925:8ff8:c75:76f5) |
| 2024-02-18 09:09:37 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-02-18 09:12:05 +0100 | acidjnk | (~acidjnk@p200300d6e737e7658172c370cd7bd683.dip0.t-ipconnect.de) |
| 2024-02-18 09:13:41 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-18 09:23:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-02-18 09:24:55 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-18 09:26:57 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:4925:8ff8:c75:76f5) (Read error: Connection reset by peer) |
| 2024-02-18 09:27:42 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:394c:c2ff:ec3:4c89) |
| 2024-02-18 09:30:28 +0100 | szkl | sz |
| 2024-02-18 09:32:05 +0100 | sz | (uid110435@id-110435.uxbridge.irccloud.com) () |
| 2024-02-18 09:33:31 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-18 09:35:45 +0100 | szkl | sz |
| 2024-02-18 09:36:08 +0100 | sz | szkl |
| 2024-02-18 09:36:19 +0100 | szkl | sz |
| 2024-02-18 09:36:20 +0100 | sz | szkl |
| 2024-02-18 09:36:26 +0100 | szkl | sz |
| 2024-02-18 09:38:53 +0100 | sz | (uid110435@id-110435.uxbridge.irccloud.com) () |
| 2024-02-18 09:39:26 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-18 09:39:43 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2024-02-18 09:41:47 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-18 09:42:07 +0100 | califax | (~califax@user/califx) |
| 2024-02-18 09:46:24 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-18 09:46:59 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) () |
| 2024-02-18 09:48:37 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-18 09:53:03 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-18 10:08:47 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:f00:e6b9:7aff:fe80:3d03) |
| 2024-02-18 10:11:13 +0100 | johnw | (~johnw@69.62.242.138) (Ping timeout: 246 seconds) |
| 2024-02-18 10:12:27 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-18 10:17:00 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-02-18 10:25:41 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-18 10:28:07 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-18 10:29:23 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-02-18 10:30:25 +0100 | johnw | (~johnw@69.62.242.138) (Ping timeout: 264 seconds) |
| 2024-02-18 10:32:29 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:f00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-02-18 10:41:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-02-18 10:42:13 +0100 | euleritian | (~euleritia@dynamic-176-006-199-155.176.6.pool.telefonica.de) |
| 2024-02-18 10:42:26 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-18 10:43:20 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-18 10:47:16 +0100 | johnw | (~johnw@69.62.242.138) (Ping timeout: 246 seconds) |
| 2024-02-18 10:47:17 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
| 2024-02-18 10:48:09 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-18 10:51:35 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-18 10:53:34 +0100 | bilegeek | (~bilegeek@2600:1008:b05e:b482:1b05:9ab8:12db:f645) (Quit: Leaving) |
| 2024-02-18 10:55:16 +0100 | euleritian | (~euleritia@dynamic-176-006-199-155.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-18 10:55:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-18 10:55:38 +0100 | husshpuppy | (~franky@user/husshpuppy) |
| 2024-02-18 10:55:57 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-18 10:56:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-18 11:01:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-02-18 11:01:35 +0100 | euleritian | (~euleritia@dynamic-176-006-199-155.176.6.pool.telefonica.de) |
| 2024-02-18 11:02:36 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-18 11:12:37 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-18 11:20:03 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-02-18 11:32:48 +0100 | sprout_ | sprout |
| 2024-02-18 11:45:47 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 2024-02-18 11:46:12 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 2024-02-18 11:47:57 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-18 11:48:02 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2024-02-18 11:54:42 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 256 seconds) |
| 2024-02-18 11:54:44 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 12:03:57 +0100 | hueso_ | (~root@user/hueso) (Quit: hueso_) |
| 2024-02-18 12:04:49 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-18 12:06:13 +0100 | average | (uid473595@user/average) |
| 2024-02-18 12:06:34 +0100 | hueso | (~root@user/hueso) |
| 2024-02-18 12:07:08 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-18 12:07:44 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-18 12:10:57 +0100 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-02-18 12:23:30 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-18 12:24:55 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-02-18 12:25:11 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-02-18 12:27:41 +0100 | dcoutts | (~duncan@82.14.199.136) |
| 2024-02-18 12:28:03 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 2024-02-18 12:33:15 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-02-18 12:34:58 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-18 12:35:45 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 260 seconds) |
| 2024-02-18 12:37:01 +0100 | coot | (~coot@89.69.206.216) |
| 2024-02-18 12:47:08 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-18 12:53:25 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 272 seconds) |
| 2024-02-18 12:56:53 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-18 13:07:20 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-18 13:15:55 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-18 13:20:04 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-18 13:31:53 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-18 13:40:44 +0100 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-02-18 13:40:47 +0100 | target_i | (~target_i@217.175.14.39) (Ping timeout: 264 seconds) |
| 2024-02-18 13:43:14 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-18 13:45:14 +0100 | anpad | (~pandeyan@user/anpad) |
| 2024-02-18 13:49:17 +0100 | mmhat | (~mmh@p200300f1c7288db4ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-18 13:52:23 +0100 | tabaqui | (~root@91.73.38.31) |
| 2024-02-18 13:52:34 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-18 13:55:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-18 14:11:38 +0100 | boukenshaou | (~Boukensha@223.178.86.127) |
| 2024-02-18 14:15:51 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-18 14:16:03 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-18 14:29:05 +0100 | tabaqui | (~root@91.73.38.31) (Ping timeout: 268 seconds) |
| 2024-02-18 14:50:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 14:53:04 +0100 | jorar | (~jorge@user/jorar91) |
| 2024-02-18 14:54:29 +0100 | tabaqui | (~root@87.200.129.80) |
| 2024-02-18 14:54:40 +0100 | fansly | (~fansly@2001:448a:2010:476e:8c93:8876:889e:e325) |
| 2024-02-18 14:54:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 15:05:28 +0100 | tabaqui | (~root@87.200.129.80) (Ping timeout: 268 seconds) |
| 2024-02-18 15:12:12 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-18 15:12:24 +0100 | coot | (~coot@89.69.206.216) (Quit: coot) |
| 2024-02-18 15:16:05 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-18 15:18:51 +0100 | willsewell | (~willsewel@185.195.232.153) |
| 2024-02-18 15:19:26 +0100 | tabaqui | (~root@87.200.129.80) |
| 2024-02-18 15:20:21 +0100 | mmhat | (~mmh@p200300f1c7288db4ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-02-18 15:20:43 +0100 | mmhat | (~mmh@p200300f1c7288d8eee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-18 15:22:20 +0100 | willsewell | (~willsewel@185.195.232.153) (Client Quit) |
| 2024-02-18 15:23:58 +0100 | jorar | (~jorge@user/jorar91) (Ping timeout: 268 seconds) |
| 2024-02-18 15:28:47 +0100 | todi | (~todi@pd9571068.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-18 15:29:30 +0100 | todi | (~todi@p4fd1a19e.dip0.t-ipconnect.de) |
| 2024-02-18 15:36:04 +0100 | fansly | (~fansly@2001:448a:2010:476e:8c93:8876:889e:e325) (Remote host closed the connection) |
| 2024-02-18 15:39:29 +0100 | todi1 | (~todi@79.209.162.245) |
| 2024-02-18 15:39:45 +0100 | todi | (~todi@p4fd1a19e.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-18 15:41:55 +0100 | fansly | (~fansly@2001:448a:2010:476e:8c93:8876:889e:e325) |
| 2024-02-18 15:43:46 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-18 15:47:22 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 15:51:15 +0100 | fansly | (~fansly@2001:448a:2010:476e:8c93:8876:889e:e325) (Quit: Quit) |
| 2024-02-18 15:53:53 +0100 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2024-02-18 15:55:08 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-02-18 15:55:09 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-02-18 15:55:09 +0100 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-02-18 16:02:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 16:02:09 +0100 | puke | (~puke@user/puke) (Ping timeout: 272 seconds) |
| 2024-02-18 16:03:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 16:09:29 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
| 2024-02-18 16:11:21 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-18 16:12:34 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-18 16:13:11 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-18 16:20:41 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 260 seconds) |
| 2024-02-18 16:29:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-18 16:34:26 +0100 | cheater | (~Username@user/cheater) |
| 2024-02-18 16:36:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-18 16:45:31 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 16:49:59 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-18 16:51:49 +0100 | streetlamp | (~Boukensha@223.178.86.127) |
| 2024-02-18 16:54:04 +0100 | boukenshaou | (~Boukensha@223.178.86.127) (Ping timeout: 246 seconds) |
| 2024-02-18 16:56:14 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-18 17:01:28 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-02-18 17:03:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-18 17:03:27 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-02-18 17:03:32 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-18 17:09:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 17:11:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 17:12:20 +0100 | todi1 | todi |
| 2024-02-18 17:22:23 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-18 17:23:49 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 246 seconds) |
| 2024-02-18 17:24:33 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-18 17:24:53 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-18 17:26:16 +0100 | son0p | (~ff@167.0.172.211) (Quit: Bye) |
| 2024-02-18 17:27:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-18 17:27:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-18 17:29:33 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2024-02-18 17:29:40 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 17:30:08 +0100 | poscat | (~poscat@user/poscat) |
| 2024-02-18 17:35:25 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-18 17:36:38 +0100 | yoo | (~yo0O0o@130.105.162.42) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-02-18 17:37:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-18 17:38:45 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-02-18 17:38:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2024-02-18 17:39:36 +0100 | nckx | (~nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2024-02-18 17:42:04 +0100 | nckx | (~nckx@libera/staff/owl/nckx) |
| 2024-02-18 17:42:55 +0100 | son0p | (~ff@167.0.172.211) |
| 2024-02-18 17:49:50 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2024-02-18 17:49:54 +0100 | califax_ | (~califax@user/califx) |
| 2024-02-18 17:51:13 +0100 | califax_ | califax |
| 2024-02-18 17:51:22 +0100 | nckx | (~nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2024-02-18 17:51:39 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 17:51:57 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-18 17:54:14 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2024-02-18 17:55:53 +0100 | nckx | (~nckx@libera/staff/owl/nckx) |
| 2024-02-18 17:56:21 +0100 | robertm | (robertm@lattice.rojoma.com) |
| 2024-02-18 18:00:23 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 260 seconds) |
| 2024-02-18 18:01:49 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 18:02:55 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-18 18:04:31 +0100 | hueso | (~root@user/hueso) |
| 2024-02-18 18:04:41 +0100 | nckx | (~nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2024-02-18 18:05:37 +0100 | nckx | (~nckx@libera/staff/owl/nckx) |
| 2024-02-18 18:11:36 +0100 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2024-02-18 18:12:50 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-02-18 18:12:50 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-02-18 18:12:50 +0100 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-02-18 18:15:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 18:16:25 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Ping timeout: 272 seconds) |
| 2024-02-18 18:16:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 18:18:37 +0100 | nckx | (~nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2024-02-18 18:19:37 +0100 | stef204 | (~stef204@user/stef204) |
| 2024-02-18 18:22:15 +0100 | nckx | (~nckx@libera/staff/owl/nckx) |
| 2024-02-18 18:22:18 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-18 18:22:24 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-18 18:24:42 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-18 18:24:55 +0100 | nckx | (~nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2024-02-18 18:25:07 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-02-18 18:28:42 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-18 18:29:01 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-18 18:32:58 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-18 18:47:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2024-02-18 18:49:13 +0100 | average | (uid473595@user/average) |
| 2024-02-18 18:49:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 18:55:54 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-02-18 18:56:31 +0100 | euleritian | (~euleritia@dynamic-176-006-199-155.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-18 18:56:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-18 18:58:13 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 272 seconds) |
| 2024-02-18 18:58:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-18 18:59:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-18 19:03:00 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:d167:71de:be34:966b) |
| 2024-02-18 19:03:52 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:d167:71de:be34:966b) (Client Quit) |
| 2024-02-18 19:05:36 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-02-18 19:05:37 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-02-18 19:05:41 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-02-18 19:05:48 +0100 | azr4e1 | (~azr4e1@137.220.68.193) |
| 2024-02-18 19:07:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 19:08:56 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-02-18 19:09:58 +0100 | euleritian | (~euleritia@dynamic-176-006-199-155.176.6.pool.telefonica.de) |
| 2024-02-18 19:12:01 +0100 | euleritian | (~euleritia@dynamic-176-006-199-155.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-18 19:13:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-18 19:16:24 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2024-02-18 19:18:42 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-02-18 19:19:38 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2024-02-18 19:21:09 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-02-18 19:21:23 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-18 19:21:30 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-02-18 19:21:38 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2024-02-18 19:22:49 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2024-02-18 19:22:52 +0100 | yuuta | (~YuutaW@mail.yuuta.moe) |
| 2024-02-18 19:23:44 +0100 | califax | (~califax@user/califx) |
| 2024-02-18 19:25:42 +0100 | xigua | (~xigua@user/xigua) (Ping timeout: 268 seconds) |
| 2024-02-18 19:26:47 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-02-18 19:29:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 19:37:43 +0100 | puke | (~puke@user/puke) |
| 2024-02-18 19:39:13 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-18 19:40:05 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
| 2024-02-18 19:42:12 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-02-18 19:42:42 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-18 19:46:43 +0100 | xigua | (~xigua@user/xigua) |
| 2024-02-18 20:01:07 +0100 | stef204 | (~stef204@user/stef204) |
| 2024-02-18 20:02:37 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-18 20:07:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 20:08:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 20:13:25 +0100 | nckx | (nckx@libera/staff/owl/nckx) |
| 2024-02-18 20:13:49 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-02-18 20:15:10 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-18 20:15:41 +0100 | streetlamp | (~Boukensha@223.178.86.127) (Remote host closed the connection) |
| 2024-02-18 20:19:20 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-18 20:19:20 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-18 20:19:42 +0100 | califax | (~califax@user/califx) |
| 2024-02-18 20:19:42 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-18 20:21:40 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-18 20:24:05 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
| 2024-02-18 20:25:38 +0100 | tremon | (~tremon@83.80.159.219) |
| 2024-02-18 20:33:19 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 20:38:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 20:38:46 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-18 20:40:10 +0100 | yoo | (~yo0O0o@130.105.162.42) (Changing host) |
| 2024-02-18 20:40:10 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-18 20:42:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 20:52:00 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-18 20:52:28 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-02-18 20:55:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 20:56:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 20:58:03 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-18 20:58:56 +0100 | Guest33 | (~Guest33@129.170.197.100) |
| 2024-02-18 21:00:24 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Ping timeout: 256 seconds) |
| 2024-02-18 21:01:05 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 2024-02-18 21:01:26 +0100 | <Guest33> | How do you interpret a type signature like "something :: MonadParsec e s m => m a"? I understand that a type signature like "something :: Monad m => m a" is placing a constraint on the type variable m stating that it must be a monad, but I'm not sure how to approach the other example. |
| 2024-02-18 21:01:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2024-02-18 21:02:07 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-18 21:02:29 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2024-02-18 21:02:58 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-18 21:05:46 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-02-18 21:08:47 +0100 | <mauke> | Guest33: looks like a multi-parameter type class |
| 2024-02-18 21:08:52 +0100 | <c_wraith> | Guest33: it's still placing a restriction on m, but the class actually depends on 3 variables, not just one |
| 2024-02-18 21:09:08 +0100 | <c_wraith> | Guest33: the fact that the other two variables aren't used is sometimes awkward |
| 2024-02-18 21:09:15 +0100 | <mauke> | it's placing a constraint on the (e, s, m) triple |
| 2024-02-18 21:10:39 +0100 | <c_wraith> | Guest33: however, the definition of MonadParsec includes `| m -> e s' in it, which means that any choice of m must uniquely determine both e and s |
| 2024-02-18 21:11:07 +0100 | <c_wraith> | Guest33: so being able to infer m is sufficient to determine what triple is in use |
| 2024-02-18 21:11:49 +0100 | <c_wraith> | Multiparameter type classes are very often combined with functional dependencies (the | syntax in the class definition) |
| 2024-02-18 21:14:22 +0100 | <c_wraith> | Guest33: in practical terms, though... ParsecT is the most common instance of MonadParsec. You might as well read that type as "something :: ParsecT e s m a". Other instances exist, but you're probably not using them. |
| 2024-02-18 21:18:10 +0100 | <Guest33> | Thanks for your help. Going off of that, when you guys say that a constraint is placed on the (e,s,m) triple, does that mean that all three type variables are supposed to be instances of MonadParsec? That would sort of make sense to me, but then it's a little confusing that ParsecT also uses all three variables as type arguments |
| 2024-02-18 21:18:40 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 2024-02-18 21:19:17 +0100 | <c_wraith> | No, it means that MonadParsec constraints three type variables at once |
| 2024-02-18 21:19:44 +0100 | <c_wraith> | It's just awkward in that two of them aren't seen elsewhere in the type |
| 2024-02-18 21:20:22 +0100 | <Guest33> | I guess I just don't really get what the implication of that constraint is. Up until this point I've only really seen/understood constraints to mean "this type variable has to be an instance of this type class" |
| 2024-02-18 21:20:54 +0100 | <mauke> | and now it's "these three type variables together have to be an instance of this type class" |
| 2024-02-18 21:21:56 +0100 | dcoutts | (~duncan@82.14.199.136) (Ping timeout: 268 seconds) |
| 2024-02-18 21:21:58 +0100 | <Guest33> | Meaning you should be able to pass the three type variables to some type constructor and get back an instance of the type class? |
| 2024-02-18 21:22:20 +0100 | <c_wraith> | Not necessarily. Just that there needs to be an instance defined for those three types |
| 2024-02-18 21:23:21 +0100 | <c_wraith> | that is, a definition like `instance MonadParsec e s (ParsecT e s m) where ...' |
| 2024-02-18 21:23:31 +0100 | <c_wraith> | You'll notice the definition takes 3 types |
| 2024-02-18 21:25:36 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-18 21:26:09 +0100 | <mauke> | Guest33: what do you mean, "get back an instance"? |
| 2024-02-18 21:27:04 +0100 | <energizer> | is there a conventional phrasing either "the value matches the pattern" or "the pattern matches the value"? |
| 2024-02-18 21:30:22 +0100 | <Guest33> | mauke I meant - get back a type that is an instance of that type class |
| 2024-02-18 21:31:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2024-02-18 21:31:21 +0100 | <EvanR> | the value and the pattern can be unified xD |
| 2024-02-18 21:31:29 +0100 | <mauke> | ??? |
| 2024-02-18 21:31:40 +0100 | <mauke> | there is no "type that is an instance" |
| 2024-02-18 21:31:47 +0100 | <mauke> | it is three types |
| 2024-02-18 21:31:49 +0100 | <c_wraith> | Guest33: if it would help to have a tiny example to play with in ghci, https://paste.tomsmeding.com/fZ6vCRXe |
| 2024-02-18 21:33:51 +0100 | <Guest33> | Thanks, I'll give it a try. I think your explanation more or less made sense to me though. If anything, I'm moreso confused on the practical utility of doing that instead of directly stating that parsers have to be instances of the MonadParsec type class, but I'm guessing the explanation for that is very specific to how megaparsec works |
| 2024-02-18 21:34:58 +0100 | <c_wraith> | Guest33: it's mostly so that you can refer to the error type or the state type in the members of MonadParsec |
| 2024-02-18 21:34:59 +0100 | <mauke> | I don't remember how parsec works, but there's probably at least a parser monad and an input (source) type |
| 2024-02-18 21:35:05 +0100 | <mauke> | oh, state type |
| 2024-02-18 21:36:07 +0100 | <c_wraith> | Guest33: so you have `parseError :: ParseError s e -> m a' in the class. You'll notice that refers to both s and e. If they weren't parameters of the type class, there wouldn't be a way to talk about them. (well, unless you use a different set of extensions that enable similar power) |
| 2024-02-18 21:36:20 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-18 21:39:07 +0100 | Guest33 | (~Guest33@129.170.197.100) (Quit: Client closed) |
| 2024-02-18 21:40:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 21:42:14 +0100 | <tomsmeding> | yeah I wonder if the TypeFamilies way of expressing that type class would have been clearer to Guest33 |
| 2024-02-18 21:42:36 +0100 | <tomsmeding> | still, there are examples where you really need a multi-param type class, right? |
| 2024-02-18 21:43:06 +0100 | <c_wraith> | oh, the s is "stream type". what mauke was saying, not what I was. It doesn't change anything about how the language constructs word, but it is what megaparsec is doing with that type |
| 2024-02-18 21:43:30 +0100 | <tomsmeding> | (they left) |
| 2024-02-18 21:43:40 +0100 | <c_wraith> | tomsmeding: MPTCs+Fundeps usually give better type inference, which is why they tend to end up being the primary choice |
| 2024-02-18 21:44:04 +0100 | <tomsmeding> | yeah |
| 2024-02-18 21:44:31 +0100 | <EvanR> | even if they left it can be helpful if the topic was further discussed if anyone was lurking and also because they might come back and see logs |
| 2024-02-18 21:44:31 +0100 | <tomsmeding> | as in, I don't know why, but I have the vague feeling, acquired from past pain, that MPTCs can give less pain |
| 2024-02-18 21:44:40 +0100 | <tomsmeding> | true |
| 2024-02-18 21:45:03 +0100 | <c_wraith> | yeah. I hadn't noticed they left, but I wanted to get that correction out there anyway. Just in case. |
| 2024-02-18 21:52:27 +0100 | Square | (~Square@user/square) |
| 2024-02-18 21:55:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 21:55:47 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 264 seconds) |
| 2024-02-18 21:55:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 21:58:00 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-18 22:02:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 22:05:05 +0100 | AmyMalik | (~Ellenor@callbox.trd.is) (Ping timeout: 256 seconds) |
| 2024-02-18 22:06:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 22:09:35 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) |
| 2024-02-18 22:10:48 +0100 | Ellenor | (ellenor@callbox.trd.is) |
| 2024-02-18 22:14:25 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) (Quit: WeeChat 4.2.1) |
| 2024-02-18 22:18:55 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-18 22:20:09 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-02-18 22:24:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 22:24:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 22:27:47 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 22:41:56 +0100 | Guest98 | (~Guest98@broadband-5-228-81-218.ip.moscow.rt.ru) |
| 2024-02-18 22:43:26 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-18 22:44:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-02-18 22:45:31 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-18 22:48:15 +0100 | <monochrom> | There was one time I genuiely intend a 2-param type class and no fundep because it is really a many-to-many relation. (Don't worry, the rest of the type has enough Proxy params for the user to determinze it. :) ) |
| 2024-02-18 22:48:20 +0100 | Guest98 | (~Guest98@broadband-5-228-81-218.ip.moscow.rt.ru) (Quit: Client closed) |
| 2024-02-18 22:49:27 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-02-18 22:55:05 +0100 | duncan | (c6181279e3@user/duncan) |
| 2024-02-18 22:57:30 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-18 23:00:58 +0100 | todi | (~todi@79.209.162.245) (Quit: ZNC - https://znc.in) |
| 2024-02-18 23:01:47 +0100 | <sam113101> | I'm new to haskell |
| 2024-02-18 23:01:54 +0100 | <sam113101> | you guys seem to talk about types a lot |
| 2024-02-18 23:02:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 23:02:33 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 255 seconds) |
| 2024-02-18 23:03:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 23:04:08 +0100 | <haskellbridge> | <Jade> indeed |
| 2024-02-18 23:04:16 +0100 | <haskellbridge> | <Jade> types are a large part of haskell |
| 2024-02-18 23:06:46 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-18 23:06:51 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-18 23:07:30 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-02-18 23:10:06 +0100 | <probie> | Haskell attracts a certain type of person |
| 2024-02-18 23:10:40 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-18 23:10:57 +0100 | califax | (~califax@user/califx) |
| 2024-02-18 23:11:43 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-18 23:11:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-02-18 23:12:43 +0100 | califax | (~califax@user/califx) |
| 2024-02-18 23:12:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-18 23:17:27 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-18 23:19:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 23:19:27 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-18 23:22:48 +0100 | deltaboy | (~user@cpc91596-hart11-2-0-cust9.11-3.cable.virginm.net) |
| 2024-02-18 23:26:42 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-18 23:29:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-18 23:30:17 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-02-18 23:34:24 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-18 23:35:25 +0100 | bilegeek | (~bilegeek@2600:1008:b002:dba1:958c:729:17a8:d38b) |
| 2024-02-18 23:37:32 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-18 23:42:24 +0100 | deltaboy | (~user@cpc91596-hart11-2-0-cust9.11-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-02-18 23:42:47 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-02-18 23:43:09 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-02-18 23:47:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-18 23:49:30 +0100 | wlhn | (~wenzel@ip-87-108-38-187.customer.academica.fi) |
| 2024-02-18 23:55:47 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |