| 2026-06-14 00:00:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 00:05:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 00:12:57 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-14 00:13:22 +0000 | acidjnk | (~acidjnk@p200300d6e700e5532a455b46f7216f9b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-14 00:16:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 00:21:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 253 seconds) |
| 2026-06-14 00:23:21 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-14 00:24:42 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-14 00:31:19 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-06-14 00:32:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 00:32:54 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-14 00:33:59 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-14 00:37:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-14 00:41:32 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-06-14 00:47:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 00:48:20 +0000 | Square2 | (~Square@user/square) (Ping timeout: 241 seconds) |
| 2026-06-14 00:50:58 +0000 | redmp | (~redmp@116-65-231-94.rev.home.ne.jp) (Ping timeout: 248 seconds) |
| 2026-06-14 00:52:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 01:00:26 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) |
| 2026-06-14 01:01:24 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) (Client Quit) |
| 2026-06-14 01:03:18 +0000 | foul_owl | (~kerry@94.156.149.95) (Ping timeout: 246 seconds) |
| 2026-06-14 01:03:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 01:03:54 +0000 | Googulator | (~Googulato@84-236-126-95.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-14 01:04:21 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-06-14 01:10:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 01:21:51 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2026-06-14 01:21:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 01:27:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 01:35:28 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 01:37:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 01:40:02 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-14 01:40:11 +0000 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-06-14 01:42:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 01:52:24 +0000 | wickedja` | (~user@2605:8d80:8200:bcf0:3212:a985:8110:f552) |
| 2026-06-14 01:53:45 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-14 01:53:54 +0000 | wickedjargon | (~user@64.114.24.74) (Ping timeout: 248 seconds) |
| 2026-06-14 01:58:39 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-06-14 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-06-14 02:05:43 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-06-14 02:07:41 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-06-14 02:08:31 +0000 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2026-06-14 02:09:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 02:14:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-06-14 02:17:25 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-14 02:19:00 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2026-06-14 02:25:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 02:30:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 02:41:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 02:48:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 02:51:24 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2026-06-14 02:53:57 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:4912:60b:9da1:cb44) (Ping timeout: 244 seconds) |
| 2026-06-14 02:54:16 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2026-06-14 02:55:53 +0000 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 260 seconds) |
| 2026-06-14 02:57:26 +0000 | td_ | (~td@i5387093C.versanet.de) |
| 2026-06-14 02:59:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 03:04:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 03:15:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 03:21:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 03:27:51 +0000 | wickedja` | (~user@2605:8d80:8200:bcf0:3212:a985:8110:f552) (Ping timeout: 246 seconds) |
| 2026-06-14 03:32:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 03:37:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-14 03:42:42 +0000 | wickedja` | (~user@2605:8d80:8200:bcf0:3212:a985:8110:f552) |
| 2026-06-14 03:48:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 03:53:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 03:53:24 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-06-14 04:01:07 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2026-06-14 04:04:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 04:09:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 04:20:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 04:26:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 04:28:32 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-06-14 04:34:54 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 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? |
| 2026-06-14 04:35:23 +0000 | <fmlatghor> | because I know there's a bunch of haskell proof helpers |
| 2026-06-14 04:38:14 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-14 04:43:12 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-06-14 04:45:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 04:50:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 241 seconds) |
| 2026-06-14 04:54:40 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-14 05:01:33 +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:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 05:22:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-14 05:28:50 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-14 05:33:22 +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:46:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 05:48:14 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |