| 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) |
| 2026-06-14 16:21:01 +0000 | <monochrom> | IMO a better name for pure is fromPureToImpure. But obviously that's too long. So 49% of the people picked out the "impure" part but 51% of the people picked out the "pure" part. |
| 2026-06-14 16:21:28 +0000 | <monochrom> | well there is also toImpureFromPure. That divide is also divisive. >:) |
| 2026-06-14 16:22:05 +0000 | <jaror> | Just lifting something into an applicative doesn't make it impure. It's not like it suddenly starts launching rockets. |
| 2026-06-14 16:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:22:57 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-06-14 16:24:32 +0000 | <monochrom> | Mathematicians would say "inject" or "embed". But mathematics is unpopular among programmers! |
| 2026-06-14 16:24:53 +0000 | <vms14> | i dislike math and idk why i'm learning haskell which is based on math xd |
| 2026-06-14 16:25:14 +0000 | <vms14> | but i like what i'm learning so far although category theory is being hard |
| 2026-06-14 16:28:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 16:28:12 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:28:25 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:31:01 +0000 | <geekosaur> | uh, you don't need categry theory to learn or use haskell |
| 2026-06-14 16:31:18 +0000 | <geekosaur> | you need it is you want to help ekmett build stuff |
| 2026-06-14 16:31:44 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Client Quit) |
| 2026-06-14 16:31:50 +0000 | <vms14> | i think if i want to focus on haskell and haskell is based on it i should learn it |
| 2026-06-14 16:32:02 +0000 | <Rembane> | Most of the words you can pick up by osmosis i.e. use the concepts and then when you've used enough variants of them the words will be good to name stuff with. |