| 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) |
| 2026-06-14 05:51:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-14 06:02:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:06:22 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) (WeeChat 4.1.1) |
| 2026-06-14 06:10:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-14 06:20:37 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
| 2026-06-14 06:20:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:23:49 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-06-14 06:26:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 06:30:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-14 06:32:39 +0000 | wickedja` | (~user@2605:8d80:8200:bcf0:3212:a985:8110:f552) (Ping timeout: 246 seconds) |
| 2026-06-14 06:34:53 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-14 06:38:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:39:06 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 268 seconds) |
| 2026-06-14 06:43:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 06:47:43 +0000 | redmp | (~redmp@116-65-231-94.rev.home.ne.jp) redmp |
| 2026-06-14 06:53:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 06:58:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 06:59:14 +0000 | Digit | digitteknohippie |
| 2026-06-14 06:59:19 +0000 | digitteknohippie | Digit |
| 2026-06-14 07:00:00 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-06-14 07:00:46 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-06-14 07:01:01 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-14 07:03:09 +0000 | tt12316070197800 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-06-14 07:06:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) |
| 2026-06-14 07:09:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 07:19:43 +0000 | s3 | (~s3@user/bn) (Read error: Connection reset by peer) |
| 2026-06-14 07:42:49 +0000 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2026-06-14 07:43:05 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 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:44:54 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-06-14 07:45:13 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-14 07:48:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 07:52:39 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 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 08:05:18 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 08:09:45 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-14 08:10:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-14 08:14:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 08:20:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-06-14 08:24:15 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-14 08:24:49 +0000 | CiaoSen | (~Jura@2a02:3035:beb:751:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-14 08:25:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:28:10 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-14 08:29:07 +0000 | pyooque | (~puke@user/puke) puke |
| 2026-06-14 08:29:08 +0000 | puke | Guest872 |
| 2026-06-14 08:29:08 +0000 | pyooque | puke |
| 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:30:18 +0000 | Guest872 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2026-06-14 08:30:30 +0000 | acidjnk | (~acidjnk@p200300d6e700e547f4c39bb6b88da128.dip0.t-ipconnect.de) acidjnk |
| 2026-06-14 08:30:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-14 08:36:05 +0000 | Guest62 | (~Guest62@p200300ca8f1ad80067c7e5af4604c95d.dip0.t-ipconnect.de) |
| 2026-06-14 08:38:17 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-06-14 08:41:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:54 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-14 08:46:45 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 08:46:54 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 259 seconds) |
| 2026-06-14 08:48:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-14 08:50:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 08:58:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 09:00:42 +0000 | <hc> | This channel is not as lively as it used to be |
| 2026-06-14 09:00:51 +0000 | <hc> | fmlatghor is gone already ;/ |
| 2026-06-14 09:01:17 +0000 | <hc> | I just read a blog post about lean and vibe coding |
| 2026-06-14 09:02:34 +0000 | <Rembane> | hc: Was it a good blog post? |
| 2026-06-14 09:03:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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: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:04:55 +0000 | <Rembane> | hc: Sounds like a fun thing to spend a sunday on! |
| 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:06:05 +0000 | <hc> | Must be really fun to work at a company like the one that builds lean |
| 2026-06-14 09:07:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 09:08:41 +0000 | wickedja` | (~user@64.114.24.74) |
| 2026-06-14 09:12:35 +0000 | <Rembane> | Exciting! :D |
| 2026-06-14 09:16:27 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:1a59:33f5:ef7c:52f1) |
| 2026-06-14 09:18:46 +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:36:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 09:41:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 09:44:46 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 09:45:47 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-06-14 09:48:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 09:51:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 09:52:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 09:57:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 09:58:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 09:59:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 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 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:08:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 10:09:57 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) |
| 2026-06-14 10:15:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 10:19:22 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 10:22:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 10:25:42 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 266 seconds) |
| 2026-06-14 10:25:50 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-14 10:27:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 10:30:51 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 10:32:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-14 10:32:57 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-14 10:33:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-14 10:33:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-14 10:35:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-14 10:43:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-14 10:43:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 10:45:09 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-14 10:46:59 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-14 10:48:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 270 seconds) |
| 2026-06-14 10:49:38 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-06-14 10:49:45 +0000 | redmp | (~redmp@116-65-231-94.rev.home.ne.jp) (Ping timeout: 248 seconds) |
| 2026-06-14 10:52:18 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 10:53:05 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-06-14 10:53:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-06-14 10:56:29 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 10:56:33 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 246 seconds) |
| 2026-06-14 10:58:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 11:02:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 11:03:01 +0000 | Square2 | (~Square@user/square) Square |
| 2026-06-14 11:03:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-14 11:04:22 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-14 11:06:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-14 11:06:47 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-06-14 11:12:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 11:18:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 11:21:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-14 11:22:50 +0000 | Googulator12 | (~Googulato@team.broadbit.hu) |
| 2026-06-14 11:22:59 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-06-14 11:23:20 +0000 | tromp | (~textual@2001:1c00:340e:2700:5863:847f:217c:1275) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-14 11:24:47 +0000 | Googulator12 | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2026-06-14 11:24:51 +0000 | Googulator17 | (~Googulato@team.broadbit.hu) |
| 2026-06-14 11:25:41 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-14 11:25:43 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 11:28:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 11:29:33 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-14 11:29:43 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-14 11:30:09 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 246 seconds) |
| 2026-06-14 11:33:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 11:33:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 11:39:35 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 11:43:22 +0000 | Googulator94 | (~Googulato@84.236.126.95) |
| 2026-06-14 11:45:37 +0000 | Googulator17 | (~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds) |
| 2026-06-14 12:00:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 12:02:57 +0000 | sdrfan123 | (~sdrfan123@2a01:cb15:148:1800:e17b:5f59:5326:2799) |
| 2026-06-14 12:04:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-14 12:15:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 12:17:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-06-14 12:20:10 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 12:22:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 12:27:55 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 12:30:59 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 12:31:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Read error: Connection reset by peer) |
| 2026-06-14 12:32:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 12:32:37 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 272 seconds) |
| 2026-06-14 12:33:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 12:33:30 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-06-14 12:33:34 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-06-14 12:39:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 12:42:45 +0000 | wickedja` | (~user@64.114.24.74) (Remote host closed the connection) |
| 2026-06-14 12:46:30 +0000 | Miroboru | (~myrvoll@178-164-99.96.3p.ntebredband.no) (Quit: Lost terminal) |
| 2026-06-14 12:49:33 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer) |
| 2026-06-14 12:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 12:55:17 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-14 12:55:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-14 12:59:12 +0000 | leo2 | (~leo@dsl-hkibng21-54f86a-65.dhcp.inet.fi) |
| 2026-06-14 13:00:14 +0000 | tromp | (~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) |
| 2026-06-14 13:06:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 13:10:08 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-06-14 13:11:47 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 13:11:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 13:14:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 13:16:30 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-14 13:19:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 13:30:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 13:35:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 13:36:06 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-06-14 13:36:06 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-06-14 13:36:06 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-06-14 13:40:59 +0000 | Digitteknohippie | Digit |
| 2026-06-14 13:46:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 13:50:54 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 13:51:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-14 14:02:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 14:03:29 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2026-06-14 14:03:42 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-14 14:04:34 +0000 | tromp | (~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-14 14:07:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-14 14:10:31 +0000 | tromp | (~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) |
| 2026-06-14 14:14:58 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-14 14:15:27 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-06-14 14:18:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 14:19:38 +0000 | Guest83 | (~Guest83@93-159-28-232.cgnat.inetia.pl) |
| 2026-06-14 14:22:26 +0000 | tromp | (~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-14 14:24:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-14 14:24:50 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 14:26:32 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2026-06-14 14:28:59 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 252 seconds) |
| 2026-06-14 14:30:05 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
| 2026-06-14 14:30:33 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-06-14 14:31:38 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-14 14:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 14:41:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 14:44:02 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-14 14:44:33 +0000 | rensenwxre | (~fwam@user/fwam) (Remote host closed the connection) |
| 2026-06-14 14:48:46 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-14 14:50:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 14:52:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 14:57:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-14 14:58:49 +0000 | Vajb | (~Vajb@n60e7ydkwtjklcc1qro-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2026-06-14 14:59:44 +0000 | Vajb | (~Vajb@n4fsyxesh0a4t8vm6z0-1.v6.elisa-mobile.fi) |
| 2026-06-14 15:07:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-14 15:07:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 15:13:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-14 15:23:40 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-14 15:26:33 +0000 | rscastilho2024_ | (rscastilho@user/rscastilho2024-:23901) rscastilho2024_ |
| 2026-06-14 15:28:41 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 261 seconds) |
| 2026-06-14 15:35:01 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-06-14 15:39:26 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-14 15:39:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 15:44:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-14 15:48:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 15:50:25 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 15:51:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-06-14 15:51:52 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-14 15:52:16 +0000 | sdrfan123 | (~sdrfan123@2a01:cb15:148:1800:e17b:5f59:5326:2799) (Quit: Client closed) |
| 2026-06-14 15:53:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 15:57:32 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-14 15:57:57 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-14 15:59:04 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:00:49 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:01:26 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-14 16:01:26 +0000 | vms14 | (~vms14@user/vms14) vms14 |
| 2026-06-14 16:02:37 +0000 | <vms14> | is this a functor? |
| 2026-06-14 16:02:43 +0000 | <vms14> | contaminate :: (a -> b) -> IO a -> IO b |
| 2026-06-14 16:02:45 +0000 | <vms14> | contaminate f x = do value <- x; pure (f value) |
| 2026-06-14 16:02:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-14 16:03:39 +0000 | <jaror> | Yes, that's the standard way IO is a functor |
| 2026-06-14 16:03:43 +0000 | <jaror> | aka `fmap` |
| 2026-06-14 16:03:45 +0000 | <c_wraith> | terminology-wise... no. Types are functors, not values. |
| 2026-06-14 16:03:50 +0000 | <c_wraith> | but yes, that's fmap for IO |
| 2026-06-14 16:04:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:04:17 +0000 | <jaror> | Categorically a functor is an action on types and an action on morphisms (which must satisfy certain laws) |
| 2026-06-14 16:04:43 +0000 | <vms14> | ok then i guess i'm starting to undestand them :D |
| 2026-06-14 16:04:51 +0000 | <vms14> | ty <3 |
| 2026-06-14 16:05:09 +0000 | <vms14> | that's my first functor |
| 2026-06-14 16:05:18 +0000 | <vms14> | i like the use of pure to return impurity |
| 2026-06-14 16:05:35 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Client Quit) |
| 2026-06-14 16:05:42 +0000 | <jaror> | Note that you're kind of making a circular definitions, since `do` notation depends on already having a Functor instance |
| 2026-06-14 16:05:59 +0000 | <vms14> | i didn't know how to extract the value from IO |
| 2026-06-14 16:06:01 +0000 | <c_wraith> | pure in this case means "this is the thing that is neutral - it has no effects in the context of this type" |
| 2026-06-14 16:06:42 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:06:44 +0000 | <jaror> | IO is kind of a bad place to start because its `Functor` instance cannot be written in user code (without digging into GHC specifics) |
| 2026-06-14 16:08:27 +0000 | <c_wraith> | It's technically not circular, fwiw. It's fully possible for a type to define fmap in terms of >>= and pure. Despite the Monad instance requiring that a Functor instance exist, they are not required to have any particular direction of dependency on each other. |
| 2026-06-14 16:08:57 +0000 | <c_wraith> | That's why liftM isn't deprecated, despite the AMP success |
| 2026-06-14 16:10:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 16:14:18 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:14:39 +0000 | maerwald | (~maerwald@mail.hasufell.de) |