2024/04/30

Newest at the top

2024-04-30 16:48:48 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds)
2024-04-30 16:48:09 +0200mima(~mmh@dhcp-138-246-3-52.dynamic.eduroam.mwn.de) (Ping timeout: 252 seconds)
2024-04-30 16:46:30 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2024-04-30 16:39:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-30 16:32:00 +0200Square3(~Square4@user/square) (Ping timeout: 245 seconds)
2024-04-30 16:31:40 +0200yin(~yin@user/zero)
2024-04-30 16:31:00 +0200euleritian(~euleritia@77.22.252.56)
2024-04-30 16:30:29 +0200euleritian(~euleritia@dynamic-176-001-019-076.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-04-30 16:30:19 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-04-30 16:25:51 +0200tri(~tri@ool-18bbef1a.static.optonline.net)
2024-04-30 16:18:55 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-04-30 16:17:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-30 16:12:21 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2024-04-30 16:03:12 +0200cashew(~cashewsta@65.17.175.150)
2024-04-30 16:01:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-04-30 16:01:14 +0200cashew(~cashewsta@65.17.175.150) (Remote host closed the connection)
2024-04-30 16:00:33 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds)
2024-04-30 16:00:09 +0200michalz(~michalz@185.246.207.201)
2024-04-30 15:59:52 +0200michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2024-04-30 15:53:07 +0200tri(~tri@ool-18bbef1a.static.optonline.net)
2024-04-30 15:51:40 +0200yin(~yin@user/zero) (Ping timeout: 256 seconds)
2024-04-30 15:49:19 +0200cashew(~cashewsta@65.17.175.150)
2024-04-30 15:46:48 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2024-04-30 15:36:24 +0200euleritian(~euleritia@dynamic-176-001-019-076.176.1.pool.telefonica.de)
2024-04-30 15:35:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-04-30 15:30:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-04-30 15:30:30 +0200danza(~francesco@151.57.187.43) (Read error: Connection reset by peer)
2024-04-30 15:30:03 +0200danza_(~francesco@151.43.202.238)
2024-04-30 15:29:43 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 260 seconds)
2024-04-30 15:27:40 +0200AlexZenon(~alzenon@94.233.240.47)
2024-04-30 15:23:03 +0200AlexNoo(~AlexNoo@94.233.240.47)
2024-04-30 15:20:16 +0200cashew(~cashewsta@65.17.175.150) (Remote host closed the connection)
2024-04-30 15:11:25 +0200danza(~francesco@151.57.187.43)
2024-04-30 15:08:59 +0200Guest4005Rodney_
2024-04-30 15:08:15 +0200MinceRGuest4005
2024-04-30 15:07:45 +0200Rodney_MinceR
2024-04-30 15:06:24 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 252 seconds)
2024-04-30 15:05:08 +0200danza(~francesco@151.57.205.242) (Read error: Connection reset by peer)
2024-04-30 15:02:33 +0200Pixi`(~Pixi@user/pixi)
2024-04-30 14:55:46 +0200acidjnk(~acidjnk@p200300d6e714dc3178eb6b7df1157d0e.dip0.t-ipconnect.de)
2024-04-30 14:55:06 +0200cashew(~cashewsta@65.17.175.150)
2024-04-30 14:54:54 +0200cashew(~cashewsta@65.17.175.150) (Remote host closed the connection)
2024-04-30 14:54:29 +0200AlexNoo(~AlexNoo@94.233.240.47) (Quit: Leaving)
2024-04-30 14:51:46 +0200mima(~mmh@dhcp-138-246-3-52.dynamic.eduroam.mwn.de)
2024-04-30 14:49:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-04-30 14:48:37 +0200yin(~yin@user/zero)
2024-04-30 14:47:11 +0200cashew(~cashewsta@65.17.175.150)
2024-04-30 14:47:00 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds)
2024-04-30 14:43:20 +0200 <ncf> heh, i guess that works
2024-04-30 14:41:45 +0200 <haskellbridge> <m​aralorn> iadjoin tv1 tv2 = lensProduct (partsOf (tv1 . withIndex)) (partsOf (tv2 . withIndex)) . both . each . itraversed