Newest at the top
| 2025-11-03 22:44:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-11-03 22:42:31 +0100 | deptype | (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) |
| 2025-11-03 22:42:07 +0100 | deptype | (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) (Remote host closed the connection) |
| 2025-11-03 22:40:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 22:30:27 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-03 22:28:01 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 22:27:16 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
| 2025-11-03 22:21:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) |
| 2025-11-03 22:21:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) (Remote host closed the connection) |
| 2025-11-03 22:15:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-03 22:15:27 +0100 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-11-03 22:09:08 +0100 | Square | (~Square4@user/square) Square |
| 2025-11-03 22:01:46 +0100 | deptype | (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) |
| 2025-11-03 22:01:33 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) (Remote host closed the connection) |
| 2025-11-03 21:53:58 +0100 | wbadart | (~will@user/wbadart) (Client Quit) |
| 2025-11-03 21:53:06 +0100 | wbadart | (~will@user/wbadart) wbadart |
| 2025-11-03 21:46:29 +0100 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-03 21:41:39 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) |
| 2025-11-03 21:41:27 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) (Remote host closed the connection) |
| 2025-11-03 21:40:36 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 21:40:22 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 21:34:20 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh |
| 2025-11-03 21:33:18 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer) |
| 2025-11-03 21:28:37 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-03 21:27:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 21:21:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) |
| 2025-11-03 21:21:25 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) (Remote host closed the connection) |
| 2025-11-03 21:20:44 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 21:20:43 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 21:17:09 +0100 | kuribas | (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 21:15:46 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 21:15:36 +0100 | Googulator88 | (~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 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 21:14:27 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-03 21:14:16 +0100 | <monochrom> | Unifying x->(y->(x,y)) with m (m a) yields m = (x ->) = (y ->), a = (x,y). It's sometimes a cool trick. |
| 2025-11-03 21:01:36 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) |
| 2025-11-03 21:01:22 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) (Remote host closed the connection) |
| 2025-11-03 20:51:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-03 20:51:51 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 20:41:09 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) |
| 2025-11-03 20:40:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) (Remote host closed the connection) |
| 2025-11-03 20:35:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-03 20:34:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 20:32:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 20:22:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 20:22:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-11-03 20:21:00 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) |
| 2025-11-03 20:20:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) (Remote host closed the connection) |
| 2025-11-03 20:17:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |