Logs: liberachat/#haskell
| 2025-08-19 14:42:28 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-19 14:42:34 | → | ystael joins (~ystael@user/ystael) |
| 2025-08-19 14:42:54 | → | trickard__ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-08-19 14:52:02 | × | cawfee quits (root@2401:c080:3800:3460::babe) (Server closed connection) |
| 2025-08-19 14:52:21 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 2025-08-19 14:59:06 | × | elbear quits (~lucian@37.251.221.32) (Ping timeout: 244 seconds) |
| 2025-08-19 15:01:27 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-19 15:05:26 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-19 15:09:27 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-08-19 15:12:47 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-08-19 15:13:44 | × | trickard__ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-08-19 15:16:39 | × | Square quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-08-19 15:18:35 | → | elbear joins (~lucian@37.251.221.32) |
| 2025-08-19 15:19:33 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-19 15:19:40 | × | distopico quits (~cerdolibr@xvm-111-150.dc2.ghst.net) (Server closed connection) |
| 2025-08-19 15:19:54 | → | distopico joins (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) |
| 2025-08-19 15:21:27 | × | elbear quits (~lucian@37.251.221.32) (Client Quit) |
| 2025-08-19 15:23:02 | <merijn> | Athas: FYI, I ended up defining my own Pair in the past and just deriving Functor/Traversable |
| 2025-08-19 15:23:41 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-08-19 15:24:49 | × | hyletic quits (~textual@user/hyletic) (Ping timeout: 260 seconds) |
| 2025-08-19 15:26:02 | <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 15:26:08 | × | crazazy quits (~crazazy@tilde.town) (Server closed connection) |
| 2025-08-19 15:26:32 | → | crazazy joins (~crazazy@tilde.town) |
| 2025-08-19 15:31:46 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-19 15:37:23 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-19 15:38:32 | × | auri quits (~auri@fsf/member/auri) (Server closed connection) |
| 2025-08-19 15:38:42 | → | auri joins (~auri@fsf/member/auri) |
| 2025-08-19 15:39:49 | × | bgamari quits (~bgamari@64.223.225.237) (Server closed connection) |
| 2025-08-19 15:42:00 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-19 15:42:09 | → | bgamari joins (~bgamari@64.223.225.237) |
| 2025-08-19 15:46:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-19 15:55:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-08-19 15:58:34 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-08-19 16:05:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-19 16:17:46 | × | manwithluck quits (~manwithlu@2a09:bac1:5ba0:20::39b:32) (Remote host closed the connection) |
| 2025-08-19 16:22:09 | → | manwithluck joins (~manwithlu@2a09:bac1:5ba0:20::39b:32) |
| 2025-08-19 16:30:44 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-19 16:34:18 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-08-19 16:34:46 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-19 16:39:15 | × | ubert quits (~Thunderbi@91.141.70.208.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-08-19 16:39:44 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-19 16:39:56 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-08-19 16:41:53 | → | potato44 joins (uid421314@id-421314.lymington.irccloud.com) |
| 2025-08-19 16:44:47 | × | jaror quits (~jaror@5070ACC7.static.ziggozakelijk.nl) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-19 16:46:55 | → | jaror joins (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-08-19 16:51:39 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-19 16:53:29 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-08-19 16:54:31 | → | sprotte24 joins (~sprotte24@p200300d16f445500910c90280ba239a5.dip0.t-ipconnect.de) |
| 2025-08-19 16:54:43 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-19 16:54:53 | → | poscat joins (~poscat@user/poscat) |
| 2025-08-19 16:55:22 | × | poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-08-19 16:55:28 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-08-19 16:55:33 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-19 16:59:25 | → | poscat joins (~poscat@user/poscat) |
| 2025-08-19 17:02:29 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-19 17:03:57 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-19 17:10:56 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-19 17:13:50 | × | davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-08-19 17:15:56 | × | haveo quits (~weechat@pacamara.iuwt.fr) (Server closed connection) |
| 2025-08-19 17:16:20 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 2025-08-19 17:17:46 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-08-19 17:18:03 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-08-19 17:25:18 | trickard_ | is now known as trickard |
| 2025-08-19 17:26:46 | × | Ikosit quits (~Ikosit@user/ikosit) (Server closed connection) |
| 2025-08-19 17:27:01 | → | Ikosit joins (~Ikosit@user/ikosit) |
| 2025-08-19 17:27:02 | × | ski quits (~ski@remote11.chalmers.se) (Server closed connection) |
| 2025-08-19 17:28:57 | → | proxik joins (~proxik@2a02:c207:2254:3264::1) |
| 2025-08-19 17:28:59 | × | proxik quits (~proxik@2a02:c207:2254:3264::1) (Read error: Connection reset by peer) |
| 2025-08-19 17:37:21 | × | nrsaheo^ quits (~nrsaheo@108-203-208-17.lightspeed.tukrga.sbcglobal.net) (Remote host closed the connection) |
| 2025-08-19 17:37:41 | → | ft joins (~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) |
| 2025-08-19 17:40:58 | × | remedan quits (~remedan@78-80-80-127.customers.tmcz.cz) (Ping timeout: 272 seconds) |
| 2025-08-19 17:40:59 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2025-08-19 17:41:11 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 2025-08-19 17:41:54 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-19 17:42:24 | → | biberu joins (~biberu@user/biberu) |
| 2025-08-19 17:42:55 | → | poscat joins (~poscat@user/poscat) |
| 2025-08-19 17:45:02 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-19 17:47:16 | → | ski joins (~ski@remote11.chalmers.se) |
| 2025-08-19 17:48:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-08-19 17:49:40 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-08-19 17:50:05 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-08-19 17:50:39 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2025-08-19 17:53:30 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-08-19 17:57:33 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-08-19 17:57:55 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-08-19 17:58:11 | → | petrichor joins (~jez@user/petrichor) |
| 2025-08-19 18:00:00 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-08-19 18:07:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-19 18:07:53 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-19 18:11:37 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-19 18:12:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-19 18:32:08 | × | sus0 quits (zero@user/zeromomentum) (Server closed connection) |
| 2025-08-19 18:32:22 | → | sus0 joins (zero@user/zeromomentum) |
| 2025-08-19 18:39:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-19 18:42:49 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-08-19 18:43:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-19 18:44:25 | → | pavonia joins (~user@user/siracusa) |
| 2025-08-19 18:48:39 | → | remedan joins (~remedan@193-179-60-135.customers.tmcz.cz) |
| 2025-08-19 18:54:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-19 18:57:27 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
All times are in UTC.