2025/03/31

Newest at the top

2025-03-31 15:49:41 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-31 15:47:48 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-31 15:47:33 +0200comerijn(~merijn@77.242.116.146) merijn
2025-03-31 15:41:13 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 15:38:27 +0200internatetional(~nate@2400:9800:d:fb6:1:0:8dba:4857) (Ping timeout: 252 seconds)
2025-03-31 15:36:42 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 15:35:57 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-03-31 15:33:07 +0200srk(~sorki@user/srk) srk
2025-03-31 15:32:30 +0200ystael(~ystael@user/ystael) ystael
2025-03-31 15:20:21 +0200xff0x(~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) (Ping timeout: 248 seconds)
2025-03-31 15:15:49 +0200xff0x(~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6)
2025-03-31 15:07:43 +0200internatetional(~nate@2400:9800:d:fb6:1:0:8dba:4857) internatetional
2025-03-31 15:01:41 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-31 15:00:53 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 14:56:21 +0200 <hellwolf> Identity Iso.
2025-03-31 14:56:12 +0200xff0x(~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) (Quit: xff0x)
2025-03-31 14:55:53 +0200 <hellwolf> 03-31 10:51 <EvanR> you mean f = Identity ? Ah, that makes sense. So without function constraint would be equivalent to Iso with identity functor.
2025-03-31 14:53:46 +0200weary-traveler(~user@user/user363627) user363627
2025-03-31 14:51:01 +0200hurk(~user@9.47.7.51.dyn.plus.net) (Remote host closed the connection)
2025-03-31 14:49:34 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-03-31 14:48:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-31 14:46:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-03-31 14:39:36 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f)
2025-03-31 14:32:27 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-03-31 14:30:41 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-31 14:29:50 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-31 14:26:20 +0200sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-31 14:24:17 +0200sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-31 14:21:12 +0200jespada(~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) jespada
2025-03-31 14:14:11 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de)
2025-03-31 14:13:20 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 14:10:28 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection)
2025-03-31 14:06:36 +0200hurk(~user@9.47.7.51.dyn.plus.net)
2025-03-31 14:05:54 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-31 14:04:10 +0200malte(~malte@mal.tc) malte
2025-03-31 14:04:02 +0200weary-traveler(~user@user/user363627) user363627
2025-03-31 14:01:22 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-31 14:00:43 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 13:53:18 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-31 13:47:03 +0200internatetional(~nate@2400:9800:340:7034:1:0:8d4b:9648) (Ping timeout: 276 seconds)
2025-03-31 13:45:11 +0200hellwolf(~user@d446-ae4d-8e8d-4d2f-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-03-31 13:44:22 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 13:41:09 +0200srk(~sorki@user/srk) (Ping timeout: 248 seconds)
2025-03-31 13:40:05 +0200hellwolf(~user@172a-40ae-6125-5458-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds)
2025-03-31 13:39:19 +0200internatetional(~nate@2400:9800:340:7034:1:0:8d4b:9648) internatetional
2025-03-31 13:38:44 +0200 <haskellbridge> <alexfmpe> [exa]: bimap (+) (+)
2025-03-31 13:37:48 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-03-31 13:31:57 +0200img(~img@user/img) img
2025-03-31 13:30:34 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-03-31 13:26:16 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…)