Newest at the top
| 2025-11-04 18:08:15 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 18:08:02 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-04 18:06:59 +0100 | Googulator69 | Googulator |
| 2025-11-04 18:00:51 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-04 18:00:49 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:57:47 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:56:39 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 17:56:26 +0100 | daveyjohnslocker | (~koriome@rover-213-218.rovernet.mtu.edu) (Quit: Leaving) |
| 2025-11-04 17:56:06 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:51:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 2025-11-04 17:50:49 +0100 | daveyjohnslocker | (~koriome@rover-213-218.rovernet.mtu.edu) |
| 2025-11-04 17:49:16 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-04 17:48:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-04 17:45:14 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:d1d7:690a:17de:8f6e) |
| 2025-11-04 17:45:00 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) (Remote host closed the connection) |
| 2025-11-04 17:43:37 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-04 17:41:24 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-11-04 17:38:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-04 17:37:32 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-04 17:36:07 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:35:57 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:34:51 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-04 17:29:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-04 17:25:11 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) |
| 2025-11-04 17:24:58 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) (Remote host closed the connection) |
| 2025-11-04 17:24:22 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 246 seconds) |
| 2025-11-04 17:23:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 17:23:11 +0100 | <merijn> | chromoblob: The TypeFamilies extension gives you a limited form of type-level functions |
| 2025-11-04 17:22:31 +0100 | <merijn> | chromoblob: Because type-level functions without restrictions makes type checking undecidable |
| 2025-11-04 17:20:36 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:e0d3:9bff:fe8d:1ac5) |
| 2025-11-04 17:19:37 +0100 | akegalj | (~akegalj@78-1-55-1.adsl.net.t-com.hr) (Quit: leaving) |
| 2025-11-04 17:15:45 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:15:39 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:15:17 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) (Ping timeout: 260 seconds) |
| 2025-11-04 17:11:56 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-11-04 17:10:31 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-11-04 17:09:51 +0100 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-04 17:05:31 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) |
| 2025-11-04 17:05:15 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-04 17:04:56 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) (Remote host closed the connection) |
| 2025-11-04 17:01:15 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2025-11-04 16:58:33 +0100 | jackneill__ | (~Jackneill@188-143-82-32.pool.digikabel.hu) |
| 2025-11-04 16:52:34 +0100 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-11-04 16:52:25 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2025-11-04 16:52:09 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-04 16:51:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-04 16:49:33 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) |
| 2025-11-04 16:45:01 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a915:dab7:6b73:f640) (Remote host closed the connection) |
| 2025-11-04 16:44:54 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:44:42 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) |