2025/11/03

Newest at the top

2025-11-03 23:18:13 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-03 23:15:45 +0100Googulator25(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-11-03 23:15:44 +0100Googulator37(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-11-03 23:14:30 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds)
2025-11-03 23:11:08 +0100Googulator37(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-11-03 23:10:52 +0100Googulator37(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-11-03 23:07:07 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-11-03 23:05:04 +0100down200(~down200@shell.lug.mtu.edu) down200
2025-11-03 23:03:18 +0100trickard_trickard
2025-11-03 23:02:23 +0100deptype(~deptype@2406:b400:3a:73c2:392f:697:afd2:a634)
2025-11-03 23:02:09 +0100deptype(~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) (Remote host closed the connection)
2025-11-03 22:58:52 +0100down200(~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
2025-11-03 22:57:22 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
2025-11-03 22:55:38 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-03 22:53:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-03 22:44:22 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2025-11-03 22:42:31 +0100deptype(~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6)
2025-11-03 22:42:07 +0100deptype(~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) (Remote host closed the connection)
2025-11-03 22:40:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-03 22:30:27 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-11-03 22:28:01 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-11-03 22:27:16 +0100ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 244 seconds)
2025-11-03 22:21:47 +0100deptype(~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58)
2025-11-03 22:21:35 +0100deptype(~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) (Remote host closed the connection)
2025-11-03 22:15:56 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-11-03 22:15:27 +0100Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-11-03 22:09:08 +0100Square(~Square4@user/square) Square
2025-11-03 22:01:46 +0100deptype(~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3)
2025-11-03 22:01:33 +0100deptype(~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) (Remote host closed the connection)
2025-11-03 21:53:58 +0100wbadart(~will@user/wbadart) (Client Quit)
2025-11-03 21:53:06 +0100wbadart(~will@user/wbadart) wbadart
2025-11-03 21:46:29 +0100Flow(~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2)
2025-11-03 21:41:39 +0100deptype(~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc)
2025-11-03 21:41:27 +0100deptype(~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) (Remote host closed the connection)
2025-11-03 21:40:36 +0100trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-11-03 21:40:22 +0100trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-03 21:34:20 +0100synchromesh(~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh
2025-11-03 21:33:18 +0100synchromesh(~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer)
2025-11-03 21:28:37 +0100califax(~califax@user/califx) califx
2025-11-03 21:27:17 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-03 21:21:37 +0100deptype(~deptype@2406:b400:3a:73c2:bbec:e669:874:a802)
2025-11-03 21:21:25 +0100deptype(~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) (Remote host closed the connection)
2025-11-03 21:20:44 +0100Googulator37(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-11-03 21:20:43 +0100Googulator88(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-11-03 21:17:09 +0100kuribas(~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) (Remote host closed the connection)
2025-11-03 21:15:46 +0100Googulator98(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-11-03 21:15:36 +0100Googulator88(~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-11-03 21:15:13 +0100 <monochrom> And with that. join f = \a -> f a a in general, = \a -> (a,a) in particular.
2025-11-03 21:14:57 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-03 21:14:27 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)