Newest at the top
| 2026-02-27 07:03:39 +0100 | mfc_kbs | (~keibisoft@mail.keibisoft.com) |
| 2026-02-27 07:03:20 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-27 07:01:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 07:01:14 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) housemate |
| 2026-02-27 07:00:49 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) (Remote host closed the connection) |
| 2026-02-27 06:57:18 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) housemate |
| 2026-02-27 06:56:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:53:16 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-02-27 06:47:59 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-27 06:45:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 06:41:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-27 06:40:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:40:37 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-27 06:38:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-27 06:35:06 +0100 | michalz | (~michalz@185.246.207.217) |
| 2026-02-27 06:33:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:30:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-27 06:28:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-27 06:28:14 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2026-02-27 06:21:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 06:16:23 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-27 06:16:05 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-27 06:15:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:03:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 06:00:42 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-27 05:58:48 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-27 05:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:53:51 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-02-27 05:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 05:31:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:20:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 05:15:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:14:58 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-27 05:11:58 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-27 05:10:24 +0100 | myxos | (~myxos@174-18-44-59.tcso.qwest.net) myxokephale |
| 2026-02-27 05:04:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 05:03:25 +0100 | myxokephale | (~myxos@174-18-44-59.tcso.qwest.net) (Ping timeout: 276 seconds) |
| 2026-02-27 04:59:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:53:52 +0100 | <sm> | Re: "with regard to LEAN, I like the following explanation from Charles Hoskinson: https://www.youtube.com/watch?v=3snIzhjqsk0 (academic papers tend to loose insights, so by providing a more formal framework, we might have better..." |
| 2026-02-27 04:52:57 +0100 | <haskellbridge> | <sm> gentauro: That was great, thanks! |
| 2026-02-27 04:48:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 04:47:02 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-27 04:43:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:43:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-02-27 04:32:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 04:28:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-27 04:25:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:14:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 04:09:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:06:37 +0100 | attlin | (~user@user/attlin) attlin |