Newest at the top
| 2026-06-14 10:45:09 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-14 10:43:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 10:43:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-14 10:35:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-14 10:33:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-14 10:33:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-14 10:32:57 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-14 10:32:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-14 10:30:51 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 10:27:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 10:25:50 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-14 10:25:42 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 266 seconds) |
| 2026-06-14 10:22:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 10:19:22 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 10:15:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 10:09:57 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) |
| 2026-06-14 10:08:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 10:07:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-14 10:04:14 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-06-14 09:59:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 09:58:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 09:57:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 09:52:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 09:51:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 09:48:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 09:45:47 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-06-14 09:44:46 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 09:41:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 09:36:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 09:25:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 259 seconds) |
| 2026-06-14 09:18:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 09:16:27 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:1a59:33f5:ef7c:52f1) |
| 2026-06-14 09:12:35 +0000 | <Rembane> | Exciting! :D |
| 2026-06-14 09:08:41 +0000 | wickedja` | (~user@64.114.24.74) |
| 2026-06-14 09:07:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 09:06:05 +0000 | <hc> | Must be really fun to work at a company like the one that builds lean |
| 2026-06-14 09:05:32 +0000 | <hc> | Indeed; right now I'm catching up on some type theory with the haskell unfolder video series :-) |
| 2026-06-14 09:04:55 +0000 | <Rembane> | hc: Sounds like a fun thing to spend a sunday on! |
| 2026-06-14 09:04:31 +0000 | <hc> | But I hadn't heard of lean before and must familiarize with it first. I've been absent from haskell for quite a while |
| 2026-06-14 09:03:55 +0000 | <hc> | Rembane: It was interesting: https://www.joachim-breitner.de/blog/819-Vibe-coding_a_debugger_for_a_DSL |
| 2026-06-14 09:03:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 09:02:34 +0000 | <Rembane> | hc: Was it a good blog post? |
| 2026-06-14 09:01:17 +0000 | <hc> | I just read a blog post about lean and vibe coding |
| 2026-06-14 09:00:51 +0000 | <hc> | fmlatghor is gone already ;/ |
| 2026-06-14 09:00:42 +0000 | <hc> | This channel is not as lively as it used to be |
| 2026-06-14 08:58:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 08:50:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 08:48:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-14 08:46:54 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 259 seconds) |
| 2026-06-14 08:46:45 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |