Newest at the top
| 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 |
| 2026-02-27 04:06:23 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-27 04:05:57 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-27 04:05:23 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 04:05:12 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-27 04:00:48 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2026-02-27 04:00:02 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-02-27 04:00:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 03:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 03:56:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-02-27 03:55:33 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:54:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:49:14 +0100 | Pixi` | Pixi |
| 2026-02-27 03:46:25 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 03:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-27 03:42:01 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:38:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:34:17 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-27 03:30:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-27 03:29:55 +0100 | ChanServ | +v haskellbridge |
| 2026-02-27 03:29:55 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-02-27 03:29:20 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-02-27 03:25:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:23:14 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 03:18:43 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:14:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 03:12:30 +0100 | traxex | (traxex@user/traxex) traxex |
| 2026-02-27 03:09:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:08:59 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-02-27 03:05:10 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 02:58:36 +0100 | tales | (~tales@149.167.1.176) |