Newest at the top
| 2026-03-06 00:14:29 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-03-06 00:13:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 00:11:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-06 00:10:15 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-06 00:09:57 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-06 00:09:28 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-06 00:09:07 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-06 00:08:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-06 00:03:55 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-03-06 00:03:46 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-06 00:03:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-06 00:03:28 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-06 00:01:05 +0100 | humasect | (~humasect@192.249.132.90) (Remote host closed the connection) |
| 2026-03-06 00:00:46 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-06 00:00:04 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2026-03-05 23:56:50 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 23:54:14 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 23:54:11 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-05 23:51:54 +0100 | [exa] | (~exa@user/exa/x-3587197) (Quit: Lost terminal) |
| 2026-03-05 23:46:49 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2026-03-05 23:43:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:40:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 23:38:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:35:27 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-03-05 23:35:18 +0100 | <monochrom> | mixfix with words = COBOL >:) |
| 2026-03-05 23:27:11 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 23:22:56 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-05 23:22:43 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 23:16:28 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 23:15:51 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 23:15:19 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-03-05 23:13:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-05 23:11:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:06:31 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 2026-03-05 23:06:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:05:23 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 23:04:54 +0100 | gehmehgeh | gmg |
| 2026-03-05 22:55:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-03-05 22:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 22:55:29 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2026-03-05 22:53:34 +0100 | tusko | (~uwu@user/tusko) (Ping timeout: 258 seconds) |
| 2026-03-05 22:53:06 +0100 | <[exa]> | mesaoptimizer: yeah (for symbol operators only tho, would be kinda disrupting to have wordy operators like agda) |
| 2026-03-05 22:50:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:45:02 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2026-03-05 22:39:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:36:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 22:36:18 +0100 | <mesaoptimizer> | would you like Agda mixfix in Haskell |
| 2026-03-05 22:36:00 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-03-05 22:35:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:33:07 +0100 | mange | (~mange@user/mange) mange |