Newest at the top
| 2026-06-14 07:55:52 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-06-14 07:52:39 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-06-14 07:48:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 07:45:13 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-14 07:44:54 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-06-14 07:44:41 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Quit: Ping timeout (120 seconds)) |
| 2026-06-14 07:43:05 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-06-14 07:42:49 +0000 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2026-06-14 07:19:43 +0000 | s3 | (~s3@user/bn) (Read error: Connection reset by peer) |
| 2026-06-14 07:09:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 07:06:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) |
| 2026-06-14 07:03:09 +0000 | tt12316070197800 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-06-14 07:01:01 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-14 07:00:46 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-06-14 07:00:00 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-06-14 06:59:19 +0000 | digitteknohippie | Digit |
| 2026-06-14 06:59:14 +0000 | Digit | digitteknohippie |
| 2026-06-14 06:58:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 06:53:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:47:43 +0000 | redmp | (~redmp@116-65-231-94.rev.home.ne.jp) redmp |
| 2026-06-14 06:43:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 06:39:06 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 268 seconds) |
| 2026-06-14 06:38:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:34:53 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-14 06:32:39 +0000 | wickedja` | (~user@2605:8d80:8200:bcf0:3212:a985:8110:f552) (Ping timeout: 246 seconds) |
| 2026-06-14 06:30:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-14 06:26:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 06:23:49 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-06-14 06:20:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:20:37 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
| 2026-06-14 06:10:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-14 06:06:22 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) (WeeChat 4.1.1) |
| 2026-06-14 06:02:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 05:51:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-14 05:48:14 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-06-14 05:46:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 05:38:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 05:33:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 05:28:50 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-14 05:22:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-14 05:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 05:06:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 05:01:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 04:54:40 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-14 04:50:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 241 seconds) |
| 2026-06-14 04:45:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 04:43:12 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-06-14 04:38:14 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-14 04:35:23 +0000 | <fmlatghor> | because I know there's a bunch of haskell proof helpers |
| 2026-06-14 04:35:13 +0000 | <fmlatghor> | any of y'all using lean to discover new mathematics or is #lean used for that mainly these days? |