Newest at the top
| 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) |
| 2026-06-14 08:41:54 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-14 08:41:25 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer) |
| 2026-06-14 08:41:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 08:38:17 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-06-14 08:36:05 +0000 | Guest62 | (~Guest62@p200300ca8f1ad80067c7e5af4604c95d.dip0.t-ipconnect.de) |
| 2026-06-14 08:30:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-14 08:30:30 +0000 | acidjnk | (~acidjnk@p200300d6e700e547f4c39bb6b88da128.dip0.t-ipconnect.de) acidjnk |
| 2026-06-14 08:30:18 +0000 | Guest872 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2026-06-14 08:29:16 +0000 | CiaoSen | (~Jura@2a02:3035:beb:751:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-06-14 08:29:08 +0000 | pyooque | puke |
| 2026-06-14 08:29:08 +0000 | puke | Guest872 |
| 2026-06-14 08:29:07 +0000 | pyooque | (~puke@user/puke) puke |
| 2026-06-14 08:28:10 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-14 08:27:47 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-14 08:25:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 08:24:49 +0000 | CiaoSen | (~Jura@2a02:3035:beb:751:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-14 08:24:15 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-14 08:20:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-06-14 08:14:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 08:10:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-14 08:09:45 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-14 08:05:18 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 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) |