2025-08-19 00:10:48 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Server closed connection) |
2025-08-19 00:10:57 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
2025-08-19 00:14:50 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) athan |
2025-08-19 00:17:14 +0200 | ajrdck | (e0a4b72d53@user/ajrdck) (Server closed connection) |
2025-08-19 00:17:22 +0200 | ajrdck | (e0a4b72d53@user/ajrdck) ajrdck |
2025-08-19 00:18:55 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-19 00:20:27 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Server closed connection) |
2025-08-19 00:20:35 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
2025-08-19 00:22:26 +0200 | emmanuelux | (~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 +0200 | DavidSch__ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: Lost terminal) |
2025-08-19 00:42:46 +0200 | trickard__ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 00:42:53 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-19 00:45:48 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds) |
2025-08-19 00:45:48 +0200 | malte | (~malte@mal.tc) (Ping timeout: 245 seconds) |
2025-08-19 00:46:38 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds) |
2025-08-19 00:47:27 +0200 | malte | (~malte@mal.tc) malte |
2025-08-19 00:47:28 +0200 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) (Ping timeout: 245 seconds) |
2025-08-19 00:47:55 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
2025-08-19 00:48:29 +0200 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet |
2025-08-19 00:49:08 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
2025-08-19 00:49:43 +0200 | trickard__ | trickard |
2025-08-19 00:58:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e71719055176e724d6006787.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-08-19 00:58:53 +0200 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
2025-08-19 00:58:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2aeb:7ff8:bc1c:8d32) (Quit: xff0x) |
2025-08-19 00:59:46 +0200 | xstill_ | (xstill@fimu/xstill) (Remote host closed the connection) |
2025-08-19 01:01:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3923:d09:d1d1:4fa1) |
2025-08-19 01:02:03 +0200 | AlexZenon | (~alzenon@94.233.241.200) (Ping timeout: 244 seconds) |
2025-08-19 01:07:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-08-19 01:12:33 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-19 01:13:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 01:15:42 +0200 | AlexZenon | (~alzenon@94.233.241.200) |
2025-08-19 01:18:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-19 01:25:43 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-08-19 01:26:03 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 01:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 01:34:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-19 01:34:52 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
2025-08-19 01:41:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-19 01:44:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 01:46:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Quit: Leaving) |
2025-08-19 01:47:24 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-19 01:47:39 +0200 | trickard_ | trickard |
2025-08-19 01:49:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-19 01:53:19 +0200 | JamesMowery17736 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
2025-08-19 01:55:35 +0200 | JamesMowery17736 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-08-19 01:56:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-08-19 01:58:20 +0200 | sprotte24 | (~sprotte24@p200300d16f3c02004c6fd6261a7ab142.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-08-19 02:14:32 +0200 | machinedgod | (~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 +0200 | Tuplanolla1 | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-19 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-19 02:33:27 +0200 | califax | (~califax@user/califx) califx |
2025-08-19 02:33:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 02:38:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-19 02:44:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-19 02:49:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 02:51:38 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Server closed connection) |
2025-08-19 02:51:45 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
2025-08-19 02:53:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-19 02:53:39 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-08-19 02:54:43 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
2025-08-19 02:54:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
2025-08-19 02:56:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3923:d09:d1d1:4fa1) (Ping timeout: 256 seconds) |
2025-08-19 02:56:38 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-19 02:56:59 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 03:02:06 +0200 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds) |
2025-08-19 03:02:47 +0200 | msa | (msa@msa.planetofnix.com) (Server closed connection) |
2025-08-19 03:04:33 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 03:07:24 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 03:07:37 +0200 | msa | (msa@msa.planetofnix.com) |
2025-08-19 03:11:29 +0200 | polykernel_ | (~polykerne@user/polykernel) polykernel |
2025-08-19 03:13:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-08-19 03:15:04 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
2025-08-19 03:15:04 +0200 | polykernel_ | polykernel |
2025-08-19 03:19:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 03:24:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 03:35:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 03:36:40 +0200 | lucyy | (228ee8f0ce@user/lucyy) (Server closed connection) |
2025-08-19 03:36:48 +0200 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
2025-08-19 03:39:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-19 03:43:57 +0200 | MyNetAz | (~MyNetAz@95.216.142.242) (Remote host closed the connection) |
2025-08-19 03:44:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-08-19 03:47:28 +0200 | Hecate | (~mariposa@user/hecate) (Server closed connection) |
2025-08-19 03:47:36 +0200 | Hecate | (~mariposa@user/hecate) Hecate |
2025-08-19 03:50:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 03:50:52 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-19 03:51:50 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) internatetional |
2025-08-19 03:57:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-19 04:10:24 +0200 | hyletic | (~textual@208.67.108.99) |
2025-08-19 04:10:24 +0200 | hyletic | (~textual@208.67.108.99) (Changing host) |
2025-08-19 04:10:24 +0200 | hyletic | (~textual@user/hyletic) hyletic |
2025-08-19 04:11:07 +0200 | hyletic | (~textual@user/hyletic) (Client Quit) |
2025-08-19 04:11:51 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-08-19 04:12:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-19 04:14:09 +0200 | hyletic | (~textual@208.67.108.99) |
2025-08-19 04:14:09 +0200 | hyletic | (~textual@208.67.108.99) (Changing host) |
2025-08-19 04:14:09 +0200 | hyletic | (~textual@user/hyletic) hyletic |
2025-08-19 04:14:33 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.7.0) |
2025-08-19 04:20:17 +0200 | emergence | (emergence@vm0.max-p.me) (Server closed connection) |
2025-08-19 04:20:34 +0200 | emergence | (~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 +0200 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) (Server closed connection) |
2025-08-19 04:38:26 +0200 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) red-snail |
2025-08-19 04:39:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 04:41:43 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Server closed connection) |
2025-08-19 04:42:03 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) Ram-Z |
2025-08-19 04:42:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-19 04:44:28 +0200 | trickard_ | trickard |
2025-08-19 04:44:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 04:47:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-08-19 04:55:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 04:55:16 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-08-19 04:57:13 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
2025-08-19 04:59:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 04:59:56 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 05:00:10 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 05:00:47 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-08-19 05:03:05 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-08-19 05:03:05 +0200 | ChanServ | +v haskellbridge |
2025-08-19 05:10:15 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-19 05:13:36 +0200 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
2025-08-19 05:13:50 +0200 | bramh | (~bramh@user/bramh) bramh |
2025-08-19 05:14:32 +0200 | PHO` | (~pho@akari.cielonegro.org) (Server closed connection) |
2025-08-19 05:14:43 +0200 | PHO` | (~pho@2406:da14:856:600:e03a:2c8f:39c:7838) PHO` |
2025-08-19 05:24:30 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2025-08-19 05:25:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 05:27:08 +0200 | puke | (~puke@user/puke) puke |
2025-08-19 05:27:37 +0200 | hyletic | (~textual@user/hyletic) (Ping timeout: 256 seconds) |
2025-08-19 05:30:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-19 05:38:18 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-08-19 05:38:57 +0200 | aforemny_ | (~aforemny@i577B1287.versanet.de) aforemny |
2025-08-19 05:39:41 +0200 | aforemny | (~aforemny@i577B12AC.versanet.de) (Ping timeout: 244 seconds) |
2025-08-19 05:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 05:44:29 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-08-19 05:47:53 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
2025-08-19 05:48:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 05:59:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 06:04:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 06:09:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 06:14:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 06:22:01 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-08-19 06:25:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 06:28:18 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
2025-08-19 06:29:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-19 06:30:03 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2025-08-19 06:32:52 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-08-19 06:34:25 +0200 | Square | (~Square4@user/square) Square |
2025-08-19 06:40:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 06:44:19 +0200 | puke | (~puke@user/puke) (Ping timeout: 255 seconds) |
2025-08-19 06:45:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-19 06:46:19 +0200 | puke | (~puke@user/puke) puke |
2025-08-19 06:55:40 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-08-19 06:56:19 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-19 06:59:04 +0200 | puke | (~puke@user/puke) (Ping timeout: 244 seconds) |
2025-08-19 07:02:40 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-08-19 07:03:45 +0200 | puke | (~puke@user/puke) puke |
2025-08-19 07:06:54 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 07:07:12 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 07:08:58 +0200 | Pixi | (~Pixi@user/pixi) (Server closed connection) |
2025-08-19 07:09:22 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2025-08-19 07:09:54 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-19 07:10:30 +0200 | trickard_ | trickard |
2025-08-19 07:25:38 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-19 07:25:56 +0200 | puke | (~puke@user/puke) (Ping timeout: 244 seconds) |
2025-08-19 07:26:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 07:27:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-08-19 07:28:43 +0200 | michalz | (~michalz@185.246.207.221) |
2025-08-19 07:33:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-08-19 07:33:54 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 07:34:12 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 07:37:29 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-19 07:42:29 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
2025-08-19 07:45:14 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-08-19 07:45:29 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-19 07:45:33 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-19 07:47:57 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-19 07:49:11 +0200 | puke | (~puke@user/puke) puke |
2025-08-19 07:53:09 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-08-19 07:54:21 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
2025-08-19 07:54:42 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-19 07:55:08 +0200 | califax | (~califax@user/califx) califx |
2025-08-19 07:55:20 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-19 07:55:23 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-08-19 07:58:01 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-08-19 07:59:18 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
2025-08-19 08:00:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-19 08:01:33 +0200 | puke | (~puke@user/puke) puke |
2025-08-19 08:05:02 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection) |
2025-08-19 08:10:18 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
2025-08-19 08:10:29 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 248 seconds) |
2025-08-19 08:20:24 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-19 08:22:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-08-19 08:23:38 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) (Server closed connection) |
2025-08-19 08:23:52 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) snek |
2025-08-19 08:25:08 +0200 | srk | (~sorki@user/srk) (Read error: Connection reset by peer) |
2025-08-19 08:27:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 08:30:35 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-19 08:31:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 08:34:34 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 255 seconds) |
2025-08-19 08:35:11 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 08:35:23 +0200 | srk | (~sorki@user/srk) srk |
2025-08-19 08:35:24 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 08:36:50 +0200 | davros1 | (~davros2@2a01:4b00:f01b:3e00:843f:76bd:98d0:f809) (Quit: Leaving) |
2025-08-19 08:39:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-08-19 08:43:47 +0200 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Server closed connection) |
2025-08-19 08:43:58 +0200 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
2025-08-19 08:49:49 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-08-19 08:51:34 +0200 | berberman | (~berberman@user/berberman) berberman |
2025-08-19 08:54:19 +0200 | nrsaheo^ | (~nrsaheo@108-203-208-17.lightspeed.tukrga.sbcglobal.net) |
2025-08-19 08:57:35 +0200 | ubert1 | (~Thunderbi@91.141.70.208.wireless.dyn.drei.com) ubert |
2025-08-19 08:58:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 08:59:21 +0200 | elbear | (~lucian@109.166.131.102) |
2025-08-19 08:59:53 +0200 | ubert1 | ubert |
2025-08-19 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-19 09:00:44 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-19 09:02:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 09:03:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-19 09:03:40 +0200 | Eoco | (~ian@128.101.131.218) (Server closed connection) |
2025-08-19 09:04:05 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
2025-08-19 09:05:28 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-19 09:06:45 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2025-08-19 09:06:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-19 09:08:42 +0200 | ft | (~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) (Quit: leaving) |
2025-08-19 09:09:36 +0200 | hyletic | (~textual@208.67.108.99) |
2025-08-19 09:09:37 +0200 | hyletic | (~textual@208.67.108.99) (Changing host) |
2025-08-19 09:09:37 +0200 | hyletic | (~textual@user/hyletic) hyletic |
2025-08-19 09:12:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-19 09:19:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-19 09:26:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e7171905a46bb83c4962c04b.dip0.t-ipconnect.de) acidjnk |
2025-08-19 09:28:49 +0200 | hyletic | (~textual@user/hyletic) (Ping timeout: 260 seconds) |
2025-08-19 09:36:57 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 256 seconds) |
2025-08-19 09:45:31 +0200 | mrvdb | (~mrvdb@185.92.221.186) (Server closed connection) |
2025-08-19 09:45:44 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
2025-08-19 09:50:36 +0200 | srk | (~sorki@user/srk) (Ping timeout: 244 seconds) |
2025-08-19 09:50:42 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-19 09:52:26 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
2025-08-19 09:56:50 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
2025-08-19 09:57:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-08-19 10:02:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-19 10:05:23 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 245 seconds) |
2025-08-19 10:05:53 +0200 | turlando | (~turlando@user/turlando) (Server closed connection) |
2025-08-19 10:06:10 +0200 | turlando | (~turlando@user/turlando) turlando |
2025-08-19 10:06:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
2025-08-19 10:06:39 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Ping timeout: 245 seconds) |
2025-08-19 10:07:04 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 245 seconds) |
2025-08-19 10:08:18 +0200 | eugenrh | (~eugenrh@user/eugenrh) (Ping timeout: 245 seconds) |
2025-08-19 10:09:03 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
2025-08-19 10:09:10 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) |
2025-08-19 10:09:14 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-19 10:10:06 +0200 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
2025-08-19 10:10:24 +0200 | Hecate | (~mariposa@user/hecate) (Ping timeout: 245 seconds) |
2025-08-19 10:10:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-08-19 10:16:47 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 10:16:47 +0200 | dfg | (~dfg@user/dfg) (Server closed connection) |
2025-08-19 10:17:01 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 10:19:03 +0200 | dfg | (~dfg@dfg.rocks) |
2025-08-19 10:19:03 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
2025-08-19 10:19:03 +0200 | dfg | (~dfg@user/dfg) dfg |
2025-08-19 10:20:50 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-08-19 10:21:28 +0200 | Hecate | (~mariposa@user/hecate) Hecate |
2025-08-19 10:23:07 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-19 10:28:49 +0200 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-08-19 10:32:07 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-08-19 10:33:38 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 10:33:51 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 10:35:12 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-19 10:36:54 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-19 10:40:57 +0200 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
2025-08-19 10:40:57 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (*.net *.split) |
2025-08-19 10:40:57 +0200 | califax | (~califax@user/califx) (*.net *.split) |
2025-08-19 10:40:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
2025-08-19 10:40:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
2025-08-19 10:40:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
2025-08-19 10:43:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-08-19 10:43:25 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-19 10:43:26 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-08-19 10:43:27 +0200 | califax | (~califax@user/califx) califx |
2025-08-19 10:43:42 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-19 10:46:37 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-08-19 10:48:55 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 256 seconds) |
2025-08-19 10:50:48 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-19 10:51:44 +0200 | trickard_ | (~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 +0200 | acidjnk_new | (~acidjnk@p200300d6e7171905a46bb83c4962c04b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-08-19 11:18:51 +0200 | acidjnk | (~acidjnk@p200300d6e7171905d82a82feba3d589b.dip0.t-ipconnect.de) acidjnk |
2025-08-19 11:21:05 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
2025-08-19 11:26:29 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-08-19 11:31:19 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-08-19 11:33:48 +0200 | noteness | (~noteness@user/noteness) (Quit: bye) |
2025-08-19 11:34:08 +0200 | noteness | (~noteness@user/noteness) nessessary129 |
2025-08-19 11:42:15 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-19 11:42:27 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-19 11:48:49 +0200 | vulpine | (xfnw@user/meow/xfnw) (Server closed connection) |
2025-08-19 11:48:57 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-19 11:49:09 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
2025-08-19 11:49:33 +0200 | euphores | (~SASL_euph@user/euphores) (Max SendQ exceeded) |
2025-08-19 11:50:16 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-19 11:52:23 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-08-19 11:54:09 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-19 11:54:26 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
2025-08-19 11:54:38 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
2025-08-19 11:57:32 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Server closed connection) |
2025-08-19 11:57:48 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
2025-08-19 11:58:49 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Server closed connection) |
2025-08-19 11:59:28 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
2025-08-19 12:03:24 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-08-19 12:07:04 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-19 12:16:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-08-19 12:18:02 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
2025-08-19 12:24:51 +0200 | chele | (~chele@user/chele) chele |
2025-08-19 12:25:27 +0200 | califax | (~califax@user/califx) califx |
2025-08-19 12:27:18 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-19 12:32:09 +0200 | Square2 | (~Square@user/square) Square |
2025-08-19 12:32:23 +0200 | priime | (~priime@2a01:4ff:f0:7ccc::1) (Quit: The Lounge - https://thelounge.chat) |
2025-08-19 12:32:58 +0200 | priime | (~priime@2a01:4ff:f0:7ccc::1) priime |
2025-08-19 12:33:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2025-08-19 12:35:16 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
2025-08-19 12:36:01 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-08-19 12:41:41 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
2025-08-19 12:53:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
2025-08-19 12:54:16 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
2025-08-19 12:54:43 +0200 | elbear | (~lucian@37.251.221.32) |
2025-08-19 12:58:43 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 255 seconds) |
2025-08-19 13:00:04 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-19 13:01:05 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Server closed connection) |
2025-08-19 13:01:24 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
2025-08-19 13:02:24 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-19 13:09:12 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 13:09:27 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 13:10:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-19 13:11:48 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-19 13:19:09 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 13:19:39 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 13:24:17 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.7.0) |
2025-08-19 13:25:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
2025-08-19 13:28:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-19 13:35:11 +0200 | tired | (~tired@user/tired) (Server closed connection) |
2025-08-19 13:35:33 +0200 | tired | (~tired@user/tired) tired |
2025-08-19 13:37:33 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 13:37:46 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 13:46:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-08-19 13:46:41 +0200 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
2025-08-19 13:48:21 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-19 13:49:05 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-19 13:50:25 +0200 | kaskal | (~kaskal@84-115-230-9.cable.dynamic.surfer.at) (Server closed connection) |
2025-08-19 13:50:50 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) kaskal |
2025-08-19 13:52:31 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 13:52:51 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 13:55:10 +0200 | elbear | (~lucian@37.251.221.32) (Ping timeout: 272 seconds) |
2025-08-19 13:58:57 +0200 | xff0x | (~xff0x@ai101228.d.east.v6connect.net) |
2025-08-19 14:03:51 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
2025-08-19 14:05:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-19 14:10:33 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-19 14:10:47 +0200 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
2025-08-19 14:20:03 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-19 14:28:22 +0200 | myxos | (~myxos@syn-065-025-110-175.res.spectrum.com) myxokephale |
2025-08-19 14:32:32 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (Server closed connection) |
2025-08-19 14:32:43 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) saolsen |
2025-08-19 14:34:05 +0200 | integral | (sid296274@user/integral) (Server closed connection) |
2025-08-19 14:34:19 +0200 | integral | (sid296274@user/integral) integral |
2025-08-19 14:38:28 +0200 | yin | (~zero@user/zero) (Server closed connection) |
2025-08-19 14:38:43 +0200 | yin | (~zero@user/zero) zero |
2025-08-19 14:40:17 +0200 | astra | (sid289983@user/amish) (Server closed connection) |
2025-08-19 14:40:29 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
2025-08-19 14:47:25 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) (Changing host) |
2025-08-19 14:47:25 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) CalimeroTeknik |
2025-08-19 14:48:02 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Server closed connection) |
2025-08-19 14:48:09 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
2025-08-19 14:55:53 +0200 | trickard_ | trickard |
2025-08-19 14:57:04 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
2025-08-19 14:57:15 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) cjay |
2025-08-19 15:01:43 +0200 | sajith | (~sajith@user/sajith) (Server closed connection) |
2025-08-19 15:02:01 +0200 | sajith | (~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 +0200 | ttybitnik | (~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 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-08-19 15:24:52 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-08-19 15:24:52 +0200 | haritz | (~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 +0200 | sm | (~znc@plaintextaccounting/sm) (Server closed connection) |
2025-08-19 15:28:19 +0200 | sm | (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 +0200 | Guest42 | (~Guest42@152.10.118.219) |
2025-08-19 15:32:07 +0200 | Guest42 | (~Guest42@152.10.118.219) (Client Quit) |
2025-08-19 15:32:43 +0200 | shr\ke | (~shrike@user/shrke:31298) (Server closed connection) |
2025-08-19 15:32:54 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
2025-08-19 15:32:54 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
2025-08-19 15:32:54 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
2025-08-19 15:32:59 +0200 | dminuoso | (~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 +0200 | dminuoso | (~weechat@user/dminuoso) dminuoso |
2025-08-19 15:37:09 +0200 | tomboy64 | (~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 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
2025-08-19 15:55:52 +0200 | hyletic | (~textual@user/hyletic) hyletic |
2025-08-19 15:59:23 +0200 | srk_ | (~sorki@user/srk) srk |
2025-08-19 15:59:43 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Server closed connection) |
2025-08-19 15:59:49 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
2025-08-19 16:13:27 +0200 | hyletic | (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-08-19 16:15:48 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection) |
2025-08-19 16:15:55 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
2025-08-19 16:16:46 +0200 | hyletic | (~textual@user/hyletic) hyletic |
2025-08-19 16:27:05 +0200 | elbear | (~lucian@37.251.221.32) |
2025-08-19 16:28:47 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Server closed connection) |
2025-08-19 16:31:14 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
2025-08-19 16:31:53 +0200 | lambdap23717 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection) |
2025-08-19 16:32:09 +0200 | lambdap23717 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2025-08-19 16:34:10 +0200 | hyletic | (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-08-19 16:35:12 +0200 | hyletic | (~textual@user/hyletic) hyletic |
2025-08-19 16:42:28 +0200 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-19 16:42:34 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-08-19 16:42:54 +0200 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-08-19 16:52:02 +0200 | cawfee | (root@2401:c080:3800:3460::babe) (Server closed connection) |
2025-08-19 16:52:21 +0200 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
2025-08-19 16:59:06 +0200 | elbear | (~lucian@37.251.221.32) (Ping timeout: 244 seconds) |
2025-08-19 17:01:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-08-19 17:05:26 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-19 17:09:27 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-08-19 17:12:47 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-08-19 17:13:44 +0200 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-08-19 17:16:39 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
2025-08-19 17:18:35 +0200 | elbear | (~lucian@37.251.221.32) |
2025-08-19 17:19:33 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-19 17:19:40 +0200 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Server closed connection) |
2025-08-19 17:19:54 +0200 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico |
2025-08-19 17:21:27 +0200 | elbear | (~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 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-08-19 17:24:49 +0200 | hyletic | (~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 +0200 | crazazy | (~crazazy@tilde.town) (Server closed connection) |
2025-08-19 17:26:32 +0200 | crazazy | (~crazazy@tilde.town) crazazy |
2025-08-19 17:31:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-08-19 17:37:23 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-08-19 17:38:32 +0200 | auri | (~auri@fsf/member/auri) (Server closed connection) |
2025-08-19 17:38:42 +0200 | auri | (~auri@fsf/member/auri) auri |
2025-08-19 17:39:49 +0200 | bgamari | (~bgamari@64.223.225.237) (Server closed connection) |
2025-08-19 17:42:00 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-19 17:42:09 +0200 | bgamari | (~bgamari@64.223.225.237) |
2025-08-19 17:46:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-08-19 17:55:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-08-19 17:58:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-19 18:05:32 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-19 18:17:46 +0200 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::39b:32) (Remote host closed the connection) |
2025-08-19 18:22:09 +0200 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::39b:32) manwithluck |
2025-08-19 18:30:44 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-08-19 18:34:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-08-19 18:34:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |