2025/08/19

2025-08-19 00:10:48 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit) (Server closed connection)
2025-08-19 00:10:57 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit) alethkit
2025-08-19 00:14:50 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) athan
2025-08-19 00:17:14 +0200ajrdck(e0a4b72d53@user/ajrdck) (Server closed connection)
2025-08-19 00:17:22 +0200ajrdck(e0a4b72d53@user/ajrdck) ajrdck
2025-08-19 00:18:55 +0200weary-traveler(~user@user/user363627) user363627
2025-08-19 00:20:27 +0200thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) (Server closed connection)
2025-08-19 00:20:35 +0200thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) thatonelutenist
2025-08-19 00:22:26 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-08-19 00:22:54 +0200 <pavonia> I kan iesily write wis a Görman aksent!
2025-08-19 00:32:27 +0200DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: Lost terminal)
2025-08-19 00:42:46 +0200trickard__(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 00:42:53 +0200trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-19 00:45:48 +0200samhh_(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds)
2025-08-19 00:45:48 +0200malte(~malte@mal.tc) (Ping timeout: 245 seconds)
2025-08-19 00:46:38 +0200samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds)
2025-08-19 00:47:27 +0200malte(~malte@mal.tc) malte
2025-08-19 00:47:28 +0200exfalsoquodlibet(a7085e0f71@user/exfalsoquodlibet) (Ping timeout: 245 seconds)
2025-08-19 00:47:55 +0200samhh(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-08-19 00:48:29 +0200exfalsoquodlibet(a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet
2025-08-19 00:49:08 +0200samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-08-19 00:49:43 +0200trickard__trickard
2025-08-19 00:58:42 +0200acidjnk_new(~acidjnk@p200300d6e71719055176e724d6006787.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-08-19 00:58:53 +0200eugenrh(~eugenrh@user/eugenrh) eugenrh
2025-08-19 00:58:57 +0200xff0x(~xff0x@2405:6580:b080:900:2aeb:7ff8:bc1c:8d32) (Quit: xff0x)
2025-08-19 00:59:46 +0200xstill_(xstill@fimu/xstill) (Remote host closed the connection)
2025-08-19 01:01:56 +0200xff0x(~xff0x@2405:6580:b080:900:3923:d09:d1d1:4fa1)
2025-08-19 01:02:03 +0200AlexZenon(~alzenon@94.233.241.200) (Ping timeout: 244 seconds)
2025-08-19 01:07:27 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-19 01:12:33 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-19 01:13:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 01:15:42 +0200AlexZenon(~alzenon@94.233.241.200)
2025-08-19 01:18:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-19 01:25:43 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-08-19 01:26:03 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 01:29:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 01:34:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-19 01:34:52 +0200mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds)
2025-08-19 01:41:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-19 01:44:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 01:46:58 +0200Sgeo(~Sgeo@user/sgeo) (Quit: Leaving)
2025-08-19 01:47:24 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-19 01:47:39 +0200trickard_trickard
2025-08-19 01:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-19 01:53:19 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-08-19 01:55:35 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-19 01:56:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-19 01:58:20 +0200sprotte24(~sprotte24@p200300d16f3c02004c6fd6261a7ab142.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-19 02:14:32 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-19 02:30:23 +0200 <monochrom> haha pavonia
2025-08-19 02:30:24 +0200Tuplanolla1(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-19 02:32:17 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-19 02:33:27 +0200califax(~califax@user/califx) califx
2025-08-19 02:33:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 02:38:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-19 02:44:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-19 02:49:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 02:51:38 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Server closed connection)
2025-08-19 02:51:45 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) shreyasminocha
2025-08-19 02:53:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-19 02:53:39 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-19 02:54:43 +0200todi1(~todi@p57803331.dip0.t-ipconnect.de)
2025-08-19 02:54:49 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-08-19 02:56:20 +0200xff0x(~xff0x@2405:6580:b080:900:3923:d09:d1d1:4fa1) (Ping timeout: 256 seconds)
2025-08-19 02:56:38 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-19 02:56:59 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 03:02:06 +0200Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds)
2025-08-19 03:02:47 +0200msa(msa@msa.planetofnix.com) (Server closed connection)
2025-08-19 03:04:33 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 03:07:24 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 03:07:37 +0200msa(msa@msa.planetofnix.com)
2025-08-19 03:11:29 +0200polykernel_(~polykerne@user/polykernel) polykernel
2025-08-19 03:13:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-19 03:15:04 +0200polykernel(~polykerne@user/polykernel) (Ping timeout: 255 seconds)
2025-08-19 03:15:04 +0200polykernel_polykernel
2025-08-19 03:19:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 03:24:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 03:35:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 03:36:40 +0200lucyy(228ee8f0ce@user/lucyy) (Server closed connection)
2025-08-19 03:36:48 +0200lucyy(228ee8f0ce@user/lucyy) lucyy
2025-08-19 03:39:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-19 03:43:57 +0200MyNetAz(~MyNetAz@95.216.142.242) (Remote host closed the connection)
2025-08-19 03:44:58 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-08-19 03:47:28 +0200Hecate(~mariposa@user/hecate) (Server closed connection)
2025-08-19 03:47:36 +0200Hecate(~mariposa@user/hecate) Hecate
2025-08-19 03:50:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 03:50:52 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-19 03:51:50 +0200internatetional(~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) internatetional
2025-08-19 03:57:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-19 04:10:24 +0200hyletic(~textual@208.67.108.99)
2025-08-19 04:10:24 +0200hyletic(~textual@208.67.108.99) (Changing host)
2025-08-19 04:10:24 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-19 04:11:07 +0200hyletic(~textual@user/hyletic) (Client Quit)
2025-08-19 04:11:51 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-19 04:12:50 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-19 04:14:09 +0200hyletic(~textual@208.67.108.99)
2025-08-19 04:14:09 +0200hyletic(~textual@208.67.108.99) (Changing host)
2025-08-19 04:14:09 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-19 04:14:33 +0200internatetional(~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.7.0)
2025-08-19 04:20:17 +0200emergence(emergence@vm0.max-p.me) (Server closed connection)
2025-08-19 04:20:34 +0200emergence(~emergence@vm0.max-p.me) emergence
2025-08-19 04:25:19 +0200 <Axman6> sshine: I endorse this and I want to hear the results
2025-08-19 04:37:04 +0200red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Server closed connection)
2025-08-19 04:38:26 +0200red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2025-08-19 04:39:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 04:41:43 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Server closed connection)
2025-08-19 04:42:03 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) Ram-Z
2025-08-19 04:42:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-19 04:44:28 +0200trickard_trickard
2025-08-19 04:44:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 04:47:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-19 04:55:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 04:55:16 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-08-19 04:57:13 +0200davidlbowman(~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1)
2025-08-19 04:59:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 04:59:56 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 05:00:10 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 05:00:47 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-08-19 05:03:05 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-08-19 05:03:05 +0200ChanServ+v haskellbridge
2025-08-19 05:10:15 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-19 05:13:36 +0200bramh(~bramh@user/bramh) (Quit: Ping timeout (120 seconds))
2025-08-19 05:13:50 +0200bramh(~bramh@user/bramh) bramh
2025-08-19 05:14:32 +0200PHO`(~pho@akari.cielonegro.org) (Server closed connection)
2025-08-19 05:14:43 +0200PHO`(~pho@2406:da14:856:600:e03a:2c8f:39c:7838) PHO`
2025-08-19 05:24:30 +0200puke(~puke@user/puke) (Remote host closed the connection)
2025-08-19 05:25:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 05:27:08 +0200puke(~puke@user/puke) puke
2025-08-19 05:27:37 +0200hyletic(~textual@user/hyletic) (Ping timeout: 256 seconds)
2025-08-19 05:30:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-19 05:38:18 +0200todi1(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-19 05:38:57 +0200aforemny_(~aforemny@i577B1287.versanet.de) aforemny
2025-08-19 05:39:41 +0200aforemny(~aforemny@i577B12AC.versanet.de) (Ping timeout: 244 seconds)
2025-08-19 05:41:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 05:44:29 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-19 05:47:53 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds)
2025-08-19 05:48:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 05:59:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 06:04:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 06:09:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 06:14:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 06:22:01 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-19 06:25:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 06:28:18 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 245 seconds)
2025-08-19 06:29:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-19 06:30:03 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-08-19 06:32:52 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-19 06:34:25 +0200Square(~Square4@user/square) Square
2025-08-19 06:40:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 06:44:19 +0200puke(~puke@user/puke) (Ping timeout: 255 seconds)
2025-08-19 06:45:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-19 06:46:19 +0200puke(~puke@user/puke) puke
2025-08-19 06:55:40 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-19 06:56:19 +0200elbear(~lucian@109.166.131.102)
2025-08-19 06:59:04 +0200puke(~puke@user/puke) (Ping timeout: 244 seconds)
2025-08-19 07:02:40 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-08-19 07:03:45 +0200puke(~puke@user/puke) puke
2025-08-19 07:06:54 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 07:07:12 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 07:08:58 +0200Pixi(~Pixi@user/pixi) (Server closed connection)
2025-08-19 07:09:22 +0200Pixi(~Pixi@user/pixi) Pixi
2025-08-19 07:09:54 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-19 07:10:30 +0200trickard_trickard
2025-08-19 07:25:38 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-19 07:25:56 +0200puke(~puke@user/puke) (Ping timeout: 244 seconds)
2025-08-19 07:26:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 07:27:49 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-08-19 07:28:43 +0200michalz(~michalz@185.246.207.221)
2025-08-19 07:33:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-19 07:33:54 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 07:34:12 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 07:37:29 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-19 07:42:29 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 256 seconds)
2025-08-19 07:45:14 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-19 07:45:29 +0200weary-traveler(~user@user/user363627) user363627
2025-08-19 07:45:33 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-19 07:47:57 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-19 07:49:11 +0200puke(~puke@user/puke) puke
2025-08-19 07:53:09 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-19 07:54:21 +0200ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2025-08-19 07:54:42 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-19 07:55:08 +0200califax(~califax@user/califx) califx
2025-08-19 07:55:20 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-19 07:55:23 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 244 seconds)
2025-08-19 07:58:01 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-19 07:59:18 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2025-08-19 08:00:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-19 08:01:33 +0200puke(~puke@user/puke) puke
2025-08-19 08:05:02 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection)
2025-08-19 08:10:18 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) barrucadu
2025-08-19 08:10:29 +0200elbear(~lucian@109.166.131.102) (Ping timeout: 248 seconds)
2025-08-19 08:20:24 +0200elbear(~lucian@109.166.131.102)
2025-08-19 08:22:41 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-19 08:23:38 +0200snek(sid280155@id-280155.lymington.irccloud.com) (Server closed connection)
2025-08-19 08:23:52 +0200snek(sid280155@id-280155.lymington.irccloud.com) snek
2025-08-19 08:25:08 +0200srk(~sorki@user/srk) (Read error: Connection reset by peer)
2025-08-19 08:27:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 08:30:35 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-19 08:31:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 08:34:34 +0200elbear(~lucian@109.166.131.102) (Ping timeout: 255 seconds)
2025-08-19 08:35:11 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 08:35:23 +0200srk(~sorki@user/srk) srk
2025-08-19 08:35:24 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 08:36:50 +0200davros1(~davros2@2a01:4b00:f01b:3e00:843f:76bd:98d0:f809) (Quit: Leaving)
2025-08-19 08:39:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-19 08:43:47 +0200gaze__(sid387101@id-387101.helmsley.irccloud.com) (Server closed connection)
2025-08-19 08:43:58 +0200gaze__(sid387101@id-387101.helmsley.irccloud.com) gaze__
2025-08-19 08:49:49 +0200berberman(~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-19 08:51:34 +0200berberman(~berberman@user/berberman) berberman
2025-08-19 08:54:19 +0200nrsaheo^(~nrsaheo@108-203-208-17.lightspeed.tukrga.sbcglobal.net)
2025-08-19 08:57:35 +0200ubert1(~Thunderbi@91.141.70.208.wireless.dyn.drei.com) ubert
2025-08-19 08:58:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 08:59:21 +0200elbear(~lucian@109.166.131.102)
2025-08-19 08:59:53 +0200ubert1ubert
2025-08-19 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-19 09:00:44 +0200caconym747(~caconym@user/caconym) caconym
2025-08-19 09:02:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 09:03:01 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-19 09:03:40 +0200Eoco(~ian@128.101.131.218) (Server closed connection)
2025-08-19 09:04:05 +0200Eoco(~ian@128.101.131.218) Eoco
2025-08-19 09:05:28 +0200poscat(~poscat@user/poscat) poscat
2025-08-19 09:06:45 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-08-19 09:06:46 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-19 09:08:42 +0200ft(~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-19 09:09:36 +0200hyletic(~textual@208.67.108.99)
2025-08-19 09:09:37 +0200hyletic(~textual@208.67.108.99) (Changing host)
2025-08-19 09:09:37 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-19 09:12:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-19 09:19:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-19 09:26:29 +0200acidjnk_new(~acidjnk@p200300d6e7171905a46bb83c4962c04b.dip0.t-ipconnect.de) acidjnk
2025-08-19 09:28:49 +0200hyletic(~textual@user/hyletic) (Ping timeout: 260 seconds)
2025-08-19 09:36:57 +0200elbear(~lucian@109.166.131.102) (Ping timeout: 256 seconds)
2025-08-19 09:45:31 +0200mrvdb(~mrvdb@185.92.221.186) (Server closed connection)
2025-08-19 09:45:44 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb
2025-08-19 09:50:36 +0200srk(~sorki@user/srk) (Ping timeout: 244 seconds)
2025-08-19 09:50:42 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-19 09:52:26 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-19 09:56:50 +0200hsw(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw
2025-08-19 09:57:24 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-19 10:02:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-19 10:05:23 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Ping timeout: 245 seconds)
2025-08-19 10:05:53 +0200turlando(~turlando@user/turlando) (Server closed connection)
2025-08-19 10:06:10 +0200turlando(~turlando@user/turlando) turlando
2025-08-19 10:06:13 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 248 seconds)
2025-08-19 10:06:39 +0200CalimeroTeknik(~calimero@user/calimeroteknik) (Ping timeout: 245 seconds)
2025-08-19 10:07:04 +0200fgarcia(~lei@user/fgarcia) (Ping timeout: 245 seconds)
2025-08-19 10:08:18 +0200eugenrh(~eugenrh@user/eugenrh) (Ping timeout: 245 seconds)
2025-08-19 10:09:03 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) shreyasminocha
2025-08-19 10:09:10 +0200CalimeroTeknik(~calimero@ctkarch.org)
2025-08-19 10:09:14 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-19 10:10:06 +0200eugenrh(~eugenrh@user/eugenrh) eugenrh
2025-08-19 10:10:24 +0200Hecate(~mariposa@user/hecate) (Ping timeout: 245 seconds)
2025-08-19 10:10:28 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-08-19 10:16:47 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 10:16:47 +0200dfg(~dfg@user/dfg) (Server closed connection)
2025-08-19 10:17:01 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 10:19:03 +0200dfg(~dfg@dfg.rocks)
2025-08-19 10:19:03 +0200dfg(~dfg@dfg.rocks) (Changing host)
2025-08-19 10:19:03 +0200dfg(~dfg@user/dfg) dfg
2025-08-19 10:20:50 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-19 10:21:28 +0200Hecate(~mariposa@user/hecate) Hecate
2025-08-19 10:23:07 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-19 10:28:49 +0200petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-19 10:32:07 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-19 10:33:38 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 10:33:51 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 10:35:12 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-19 10:36:54 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-19 10:40:57 +0200gmg(~user@user/gehmehgeh) (*.net *.split)
2025-08-19 10:40:57 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (*.net *.split)
2025-08-19 10:40:57 +0200califax(~califax@user/califx) (*.net *.split)
2025-08-19 10:40:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2025-08-19 10:40:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (*.net *.split)
2025-08-19 10:40:58 +0200chiselfuse(~chiselfus@user/chiselfuse) (*.net *.split)
2025-08-19 10:43:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-08-19 10:43:25 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-19 10:43:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-08-19 10:43:27 +0200califax(~califax@user/califx) califx
2025-08-19 10:43:42 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-19 10:46:37 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-08-19 10:48:55 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 256 seconds)
2025-08-19 10:50:48 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-19 10:51:44 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 11:08:06 +0200__monty__(~toonn@user/toonn) toonn
2025-08-19 11:14:20 +0200acidjnk_new(~acidjnk@p200300d6e7171905a46bb83c4962c04b.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-19 11:18:51 +0200acidjnk(~acidjnk@p200300d6e7171905d82a82feba3d589b.dip0.t-ipconnect.de) acidjnk
2025-08-19 11:21:05 +0200mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com)
2025-08-19 11:26:29 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-08-19 11:31:19 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-08-19 11:33:48 +0200noteness(~noteness@user/noteness) (Quit: bye)
2025-08-19 11:34:08 +0200noteness(~noteness@user/noteness) nessessary129
2025-08-19 11:42:15 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-19 11:42:27 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-19 11:48:49 +0200vulpine(xfnw@user/meow/xfnw) (Server closed connection)
2025-08-19 11:48:57 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-19 11:49:09 +0200vulpine(xfnw@user/meow/xfnw) xfnw
2025-08-19 11:49:33 +0200euphores(~SASL_euph@user/euphores) (Max SendQ exceeded)
2025-08-19 11:50:16 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-19 11:52:23 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-19 11:54:09 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-19 11:54:26 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-08-19 11:54:38 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-08-19 11:57:32 +0200rubin55(sid666180@id-666180.ilkley.irccloud.com) (Server closed connection)
2025-08-19 11:57:48 +0200rubin55(sid666180@id-666180.ilkley.irccloud.com) rubin55
2025-08-19 11:58:49 +0200pie_(~pie_bnc@user/pie/x-2818909) (Server closed connection)
2025-08-19 11:59:28 +0200pie_(~pie_bnc@user/pie/x-2818909) __
2025-08-19 12:03:24 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-19 12:07:04 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-19 12:16:24 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-08-19 12:18:02 +0200califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-08-19 12:24:51 +0200chele(~chele@user/chele) chele
2025-08-19 12:25:27 +0200califax(~califax@user/califx) califx
2025-08-19 12:27:18 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-19 12:32:09 +0200Square2(~Square@user/square) Square
2025-08-19 12:32:23 +0200priime(~priime@2a01:4ff:f0:7ccc::1) (Quit: The Lounge - https://thelounge.chat)
2025-08-19 12:32:58 +0200priime(~priime@2a01:4ff:f0:7ccc::1) priime
2025-08-19 12:33:12 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2025-08-19 12:35:16 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-19 12:36:01 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-19 12:41:41 +0200Square2(~Square@user/square) (Ping timeout: 256 seconds)
2025-08-19 12:53:18 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2025-08-19 12:54:16 +0200xstill_(xstill@fimu/xstill) xstill
2025-08-19 12:54:43 +0200elbear(~lucian@37.251.221.32)
2025-08-19 12:58:43 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 255 seconds)
2025-08-19 13:00:04 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-19 13:01:05 +0200edm(sid147314@id-147314.hampstead.irccloud.com) (Server closed connection)
2025-08-19 13:01:24 +0200edm(sid147314@id-147314.hampstead.irccloud.com)
2025-08-19 13:02:24 +0200caconym747(~caconym@user/caconym) caconym
2025-08-19 13:09:12 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 13:09:27 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 13:10:14 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-19 13:11:48 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-19 13:19:09 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 13:19:39 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 13:24:17 +0200lxsameer(~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.7.0)
2025-08-19 13:25:24 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2025-08-19 13:28:24 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-19 13:35:11 +0200tired(~tired@user/tired) (Server closed connection)
2025-08-19 13:35:33 +0200tired(~tired@user/tired) tired
2025-08-19 13:37:33 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 13:37:46 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 13:46:26 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-19 13:46:41 +0200Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius
2025-08-19 13:48:21 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-19 13:49:05 +0200weary-traveler(~user@user/user363627) user363627
2025-08-19 13:50:25 +0200kaskal(~kaskal@84-115-230-9.cable.dynamic.surfer.at) (Server closed connection)
2025-08-19 13:50:50 +0200kaskal(~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) kaskal
2025-08-19 13:52:31 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 13:52:51 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 13:55:10 +0200elbear(~lucian@37.251.221.32) (Ping timeout: 272 seconds)
2025-08-19 13:58:57 +0200xff0x(~xff0x@ai101228.d.east.v6connect.net)
2025-08-19 14:03:51 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-08-19 14:05:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-19 14:10:33 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-19 14:10:47 +0200trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-19 14:20:03 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-19 14:28:22 +0200myxos(~myxos@syn-065-025-110-175.res.spectrum.com) myxokephale
2025-08-19 14:32:32 +0200saolsen(sid26430@id-26430.lymington.irccloud.com) (Server closed connection)
2025-08-19 14:32:43 +0200saolsen(sid26430@id-26430.lymington.irccloud.com) saolsen
2025-08-19 14:34:05 +0200integral(sid296274@user/integral) (Server closed connection)
2025-08-19 14:34:19 +0200integral(sid296274@user/integral) integral
2025-08-19 14:38:28 +0200yin(~zero@user/zero) (Server closed connection)
2025-08-19 14:38:43 +0200yin(~zero@user/zero) zero
2025-08-19 14:40:17 +0200astra(sid289983@user/amish) (Server closed connection)
2025-08-19 14:40:29 +0200astra(sid289983@id-289983.hampstead.irccloud.com)
2025-08-19 14:47:25 +0200CalimeroTeknik(~calimero@ctkarch.org) (Changing host)
2025-08-19 14:47:25 +0200CalimeroTeknik(~calimero@user/calimeroteknik) CalimeroTeknik
2025-08-19 14:48:02 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (Server closed connection)
2025-08-19 14:48:09 +0200alinab(sid468903@id-468903.helmsley.irccloud.com)
2025-08-19 14:55:53 +0200trickard_trickard
2025-08-19 14:57:04 +0200cjay(cjay@nerdbox.nerd2nerd.org) (Server closed connection)
2025-08-19 14:57:15 +0200cjay(cjay@nerdbox.nerd2nerd.org) cjay
2025-08-19 15:01:43 +0200sajith(~sajith@user/sajith) (Server closed connection)
2025-08-19 15:02:01 +0200sajith(~sajith@user/sajith) sajith
2025-08-19 15:11:08 +0200 <Athas> Does 'base', or anything else, have a type for lists of length 2 (or 3, whatever) that is an instance of Applicative?
2025-08-19 15:12:06 +0200 <__monty__> I assume (,) does not qualify as a list?
2025-08-19 15:12:30 +0200 <Athas> No, because it is not monomorphic in the elements.
2025-08-19 15:12:38 +0200 <Athas> In particular, it means the Applicative instance isn't what I want.
2025-08-19 15:12:59 +0200 <Athas> I want: data Pair a = MkPair a a
2025-08-19 15:13:00 +0200 <Athas> instance Functor Pair where fmap f (Pair x y) = Pair (f x) (f y)
2025-08-19 15:15:02 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-19 15:15:43 +0200 <Leary> Athas: We have `Product Identity Identity`.
2025-08-19 15:16:15 +0200 <Leary> (in base)
2025-08-19 15:16:32 +0200 <Leary> 'linear' has `V2` & `V3`.
2025-08-19 15:17:47 +0200 <Athas> Ah yes, I did find Product, but I think the functor-polymorphic type put me off.
2025-08-19 15:17:54 +0200 <Athas> Maybe I should check whether it is really so annoying to use.
2025-08-19 15:17:56 +0200 <Leary> Oh, and `Bool ->`/`Ordering ->`. :)
2025-08-19 15:19:48 +0200 <Athas> This is surprisingly not so bad.
2025-08-19 15:20:27 +0200 <__monty__> What's the motivation for (,)'s Functor implementation? Both options seem equally valid (though maybe the less general option is actually more useful) which seems very similar to the situation with Monoid for Bool.
2025-08-19 15:20:47 +0200 <Athas> I think it is because (,) is also the Reader monad.
2025-08-19 15:21:46 +0200 <sshine> what motivated the Haskell language designers to make a Total Recall (.).(.) operator?
2025-08-19 15:22:40 +0200 <__monty__> That's a bird, clearly not an operator defined by the Haskell committee.
2025-08-19 15:23:10 +0200 <sshine> I agree, it is too artistic to be designed by committee.
2025-08-19 15:23:12 +0200 <Athas> I once read an explanation that the design of type classes (canonicity, problems with orphans) strongly encourage that a type implement a type class in the most general way (although sometimes this is ambiguous), and that *if* a type can possibly have a law-abiding instance, then it *must* have it.
2025-08-19 15:23:32 +0200 <Athas> This is what leads to the somewhat unfortunate Foldable instance for (,) and the Monad instance for (->).
2025-08-19 15:24:52 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-19 15:24:52 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-19 15:24:52 +0200haritz(~hrtz@user/haritz) haritz
2025-08-19 15:25:05 +0200 <__monty__> Does it though? Because I don't see how flipping the instances for (,) doesn't fulfil the requirements.
2025-08-19 15:25:25 +0200 <Athas> What do you mean by "flipping"?
2025-08-19 15:25:25 +0200 <Leary> __monty__: The `Functor` instance `(,) a` has is the only one it can have. What do you think the other one should be?
2025-08-19 15:25:26 +0200 <__monty__> It's a fine argument for not restricting the type to (a,a).
2025-08-19 15:26:59 +0200 <sshine> I like Rust's approach better by not allowing orphan instances, and by working around them in all sorts of practical ways, like defining `From` instead of `Into`, and `impl Distribution<T> for Standard` (where Distribution and Standard live in the same crate, and T is foreign)
2025-08-19 15:28:04 +0200sm(~znc@plaintextaccounting/sm) (Server closed connection)
2025-08-19 15:28:19 +0200sm(znc@plaintextaccounting/sm) sm
2025-08-19 15:30:08 +0200 <__monty__> Leary: Maybe my problem is not understanding why the kind passed to Functor is restricted to * -> *.
2025-08-19 15:30:48 +0200Guest42(~Guest42@152.10.118.219)
2025-08-19 15:32:07 +0200Guest42(~Guest42@152.10.118.219) (Client Quit)
2025-08-19 15:32:43 +0200shr\ke(~shrike@user/shrke:31298) (Server closed connection)
2025-08-19 15:32:54 +0200shr\ke(~shrike@user/paxhumana) paxhumana
2025-08-19 15:32:54 +0200shr\ke(~shrike@user/paxhumana) (Changing host)
2025-08-19 15:32:54 +0200shr\ke(~shrike@user/shrke:31298) shr\ke
2025-08-19 15:32:59 +0200dminuoso(~weechat@user/dminuoso) (Server closed connection)
2025-08-19 15:33:01 +0200 <Leary> Well, `Functor` was indeed a mistake. It should have been `class (Category c, Category d) => Functor c d f where { map :: c i j -> d (f i) (f j) }`.
2025-08-19 15:33:25 +0200dminuoso(~weechat@user/dminuoso) dminuoso
2025-08-19 15:37:09 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-08-19 15:42:26 +0200 <sshine> Leary, is that class defined somewhere?
2025-08-19 15:42:34 +0200 <sshine> as in some library
2025-08-19 15:42:52 +0200 <Leary> Probably, but not that I'm aware of.
2025-08-19 15:49:36 +0200 <Athas> I think I'm OK with the Prelude Functor.
2025-08-19 15:52:43 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-08-19 15:55:52 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-19 15:59:23 +0200srk_(~sorki@user/srk) srk
2025-08-19 15:59:43 +0200lukec(9dfd4d094e@2a03:6000:1812:100::10e) (Server closed connection)
2025-08-19 15:59:49 +0200lukec(9dfd4d094e@2a03:6000:1812:100::10e)
2025-08-19 16:13:27 +0200hyletic(~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-08-19 16:15:48 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection)
2025-08-19 16:15:55 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) ggb
2025-08-19 16:16:46 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-19 16:27:05 +0200elbear(~lucian@37.251.221.32)
2025-08-19 16:28:47 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Server closed connection)
2025-08-19 16:31:14 +0200Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2025-08-19 16:31:53 +0200lambdap23717(~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection)
2025-08-19 16:32:09 +0200lambdap23717(~lambdap@static.167.190.119.168.clients.your-server.de)
2025-08-19 16:34:10 +0200hyletic(~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-08-19 16:35:12 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-19 16:42:28 +0200trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-19 16:42:34 +0200ystael(~ystael@user/ystael) ystael
2025-08-19 16:42:54 +0200trickard__(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-08-19 16:52:02 +0200cawfee(root@2401:c080:3800:3460::babe) (Server closed connection)
2025-08-19 16:52:21 +0200cawfee(root@2401:c080:3800:3460::babe) qjqqyy
2025-08-19 16:59:06 +0200elbear(~lucian@37.251.221.32) (Ping timeout: 244 seconds)
2025-08-19 17:01:27 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-19 17:05:26 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-19 17:09:27 +0200tremon(~tremon@83.80.159.219) tremon
2025-08-19 17:12:47 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-08-19 17:13:44 +0200trickard__(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-19 17:16:39 +0200Square(~Square4@user/square) (Ping timeout: 260 seconds)
2025-08-19 17:18:35 +0200elbear(~lucian@37.251.221.32)
2025-08-19 17:19:33 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-19 17:19:40 +0200distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) (Server closed connection)
2025-08-19 17:19:54 +0200distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico
2025-08-19 17:21:27 +0200elbear(~lucian@37.251.221.32) (Client Quit)
2025-08-19 17:23:02 +0200 <merijn> Athas: FYI, I ended up defining my own Pair in the past and just deriving Functor/Traversable
2025-08-19 17:23:41 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-08-19 17:24:49 +0200hyletic(~textual@user/hyletic) (Ping timeout: 260 seconds)
2025-08-19 17:26:02 +0200 <Athas> merijn: yes, I think I will also do that eventually, mostly so I don't have to unpack those Identity constructors.
2025-08-19 17:26:08 +0200crazazy(~crazazy@tilde.town) (Server closed connection)
2025-08-19 17:26:32 +0200crazazy(~crazazy@tilde.town) crazazy
2025-08-19 17:31:46 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-19 17:37:23 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-08-19 17:38:32 +0200auri(~auri@fsf/member/auri) (Server closed connection)
2025-08-19 17:38:42 +0200auri(~auri@fsf/member/auri) auri
2025-08-19 17:39:49 +0200bgamari(~bgamari@64.223.225.237) (Server closed connection)
2025-08-19 17:42:00 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-19 17:42:09 +0200bgamari(~bgamari@64.223.225.237)
2025-08-19 17:46:36 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-19 17:55:27 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-08-19 17:58:34 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-19 18:05:32 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-19 18:17:46 +0200manwithluck(~manwithlu@2a09:bac1:5ba0:20::39b:32) (Remote host closed the connection)
2025-08-19 18:22:09 +0200manwithluck(~manwithlu@2a09:bac1:5ba0:20::39b:32) manwithluck
2025-08-19 18:30:44 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-19 18:34:18 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-08-19 18:34:46 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell