| 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. |
| 2026-06-14 16:32:33 +0000 | <vms14> | it's making me understand more haskell also, the category theory for programmers book has been better for me to grasp haskell than an introductory book |
| 2026-06-14 16:32:42 +0000 | <vms14> | even if i barely understand anything |
| 2026-06-14 16:32:54 +0000 | <geekosaur> | beter to just learn them as names without meaning; CT will actually mislead you, because while they originally did come from CT how they are defined and used in Haskell differs a lot |
| 2026-06-14 16:33:17 +0000 | <vms14> | yeah i also think it's too soon for me to focus on this |
| 2026-06-14 16:33:30 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:33:33 +0000 | <vms14> | but it's good that i get familiar with it as soon as possible |
| 2026-06-14 16:34:29 +0000 | <vms14> | i also have the js backend waiting for me to play with the canvas and the dom in the browser, but i have to learn the basics yet |
| 2026-06-14 16:34:37 +0000 | <geekosaur> | (technically, they're mostly specific implementations for the pseudo-category of Haskell types, not truly representative of the general CT concepts) |
| 2026-06-14 16:35:22 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 16:37:59 +0000 | wickedjargon | (~user@207.194.126.26) wickedjargon |
| 2026-06-14 16:38:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:39:45 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:39:58 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:42:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) |
| 2026-06-14 16:43:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 16:49:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:53:45 +0000 | leo2 | (~leo@dsl-hkibng21-54f86a-65.dhcp.inet.fi) (Quit: WeeChat 4.9.0) |
| 2026-06-14 16:54:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 16:55:24 +0000 | mangoiv | (~mangoiv@user/mangoiv) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-14 16:56:19 +0000 | pera | (~pera@user/pera) pera |
| 2026-06-14 16:59:29 +0000 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-06-14 17:00:42 +0000 | wickedjargon | (~user@207.194.126.26) (Remote host closed the connection) |
| 2026-06-14 17:04:00 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-14 17:04:55 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-14 17:05:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:08:32 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-06-14 17:10:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 17:10:17 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-06-14 17:11:09 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-06-14 17:12:27 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-06-14 17:14:36 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-14 17:14:57 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-14 17:16:02 +0000 | <monochrom> | As usual (Piaget's theory), you learn concrete instances before general theories. So you learn functors and monads in Haskell before you learn functors and monads in category theory. |
| 2026-06-14 17:16:54 +0000 | <EvanR> | first you learn functors in C++, then in ML, then haskell, then category theory |
| 2026-06-14 17:17:04 +0000 | Axma78876 | (~Axman6@user/axman6) Axman6 |
| 2026-06-14 17:17:06 +0000 | <monochrom> | As an analogy, "integers form a ring so I learn ring theory first before I learn integers" is the wrong thing to do. |
| 2026-06-14 17:17:12 +0000 | <monochrom> | haha |
| 2026-06-14 17:17:18 +0000 | <monochrom> | don't forget prolog too! |
| 2026-06-14 17:17:24 +0000 | <EvanR> | really |
| 2026-06-14 17:17:41 +0000 | <jaror> | don't learn about monadic functions from APL though |
| 2026-06-14 17:18:25 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-14 17:18:27 +0000 | <EvanR> | lol |
| 2026-06-14 17:18:49 +0000 | <monochrom> | In prolog if you write like "nat(s(N)) :- nat(N).", that "s" is a functor, "function operator". |
| 2026-06-14 17:19:24 +0000 | pera | (~pera@user/pera) (Quit: leaving) |
| 2026-06-14 17:21:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:21:03 +0000 | <monochrom> | there is also "monadic second-order logic". ("monadic" just means "1-adic" just means arity 1) |
| 2026-06-14 17:21:57 +0000 | <monochrom> | the whole thing means you can say "forall 1-ary-predicate p, ...". |
| 2026-06-14 17:23:39 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2026-06-14 17:24:30 +0000 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-06-14 17:24:30 +0000 | mangoiv | (~mangoiv@user/mangoiv) mangoiv |
| 2026-06-14 17:25:39 +0000 | <fgarcia> | i wish you all taught me first. i had teachers where they would give no examples with the notes |
| 2026-06-14 17:26:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 17:29:20 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-06-14 17:30:12 +0000 | <mauke> | even Leibniz explained monads by starting from simple examples: https://en.wikipedia.org/wiki/Monadology#Summary |
| 2026-06-14 17:33:00 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-06-14 17:34:20 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-14 17:37:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:42:07 +0000 | <ski> | @where on-functors |
| 2026-06-14 17:42:07 +0000 | <lambdabot> | "On Functors" (in C++,Standard ML,Haskell,Prolog) by Peteris Krumins in 2010-05-17 at <http://www.catonmat.net/blog/on-functors/> |
| 2026-06-14 17:42:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-14 17:50:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:57:23 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-14 17:57:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-14 18:07:50 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 18:08:18 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 18:08:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 18:13:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 18:13:20 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 18:14:20 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 18:15:02 +0000 | michalz | (~michalz@185.246.207.221) |
| 2026-06-14 18:17:33 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-06-14 18:19:11 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2026-06-14 18:19:11 +0000 | maerwald | (~maerwald@user/maerwald) maerwald |
| 2026-06-14 18:19:34 +0000 | <maerwald> | good to be back on IRC |
| 2026-06-14 18:20:29 +0000 | <EvanR> | had enough tiktok direct messages? |
| 2026-06-14 18:20:40 +0000 | <maerwald> | lmao |
| 2026-06-14 18:20:53 +0000 | <maerwald> | tired of the memes on discord |
| 2026-06-14 18:21:53 +0000 | <Rembane> | It's a silly place |
| 2026-06-14 18:22:15 +0000 | <jaror> | on second thought |
| 2026-06-14 18:22:48 +0000 | <maerwald> | and the bridge to matrix is broken |
| 2026-06-14 18:23:35 +0000 | <jaror> | It's not just broken, it was discontinued: https://libera.chat/news/matrix-bridge-disabled-retrospective |
| 2026-06-14 18:24:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 18:24:39 +0000 | <maerwald> | and merijn still has a misconfigured bouncer |
| 2026-06-14 18:24:54 +0000 | <maerwald> | geekosaur had a heisenbridge |
| 2026-06-14 18:26:05 +0000 | <jaror> | ah |
| 2026-06-14 18:26:18 +0000 | <jaror> | I've never felt like the birdges worked well anyway |
| 2026-06-14 18:26:45 +0000 | <jaror> | I was always worried my messages from matrix would be converted to links to fit in an IRC message. |
| 2026-06-14 18:28:30 +0000 | <EvanR> | confirmed that happened a lot |
| 2026-06-14 18:28:34 +0000 | <maerwald> | I think it's alright, except for threads and editing |
| 2026-06-14 18:28:43 +0000 | <geekosaur> | My bridge will come back with better software eventually |
| 2026-06-14 18:28:48 +0000 | <maerwald> | and weechat seems hella buggy right now, the colors are random |
| 2026-06-14 18:28:52 +0000 | <geekosaur> | I had a system failure |
| 2026-06-14 18:29:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-14 18:30:03 +0000 | <maerwald> | I feel like a hacker again |
| 2026-06-14 18:31:08 +0000 | <geekosaur> | It's possible to configure heisenbridge to send multiple lines for long messages but I was asked not to |
| 2026-06-14 18:31:42 +0000 | <geekosaur> | I allowed 2-line messages to pass so lambdabot could be used |
| 2026-06-14 18:32:29 +0000 | <geekosaur> | (the new bridge will be bidirectionally puppeted so that hack won't be needed) |
| 2026-06-14 18:34:58 +0000 | <maerwald> | also, no matrix client on freebsd, so I have to use it via browser |
| 2026-06-14 18:35:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-14 18:36:41 +0000 | <EvanR> | of all these matrix clients |
| 2026-06-14 18:36:47 +0000 | <EvanR> | none of them build on freebsd? |
| 2026-06-14 18:36:49 +0000 | <EvanR> | impressive |
| 2026-06-14 18:37:38 +0000 | vms14 | (~vms14@user/vms14) (Quit: WeeChat 4.6.3) |
| 2026-06-14 18:37:41 +0000 | <geekosaur> | I found one somewhere iirc but it was somewhat sucky |
| 2026-06-14 18:37:53 +0000 | <geekosaur> | that said, arch even with aur is turning out even more so |
| 2026-06-14 18:37:58 +0000 | <monochrom> | Well I bet no discord software for freebsd either. :) |
| 2026-06-14 18:38:09 +0000 | <geekosaur> | discord is fine, it's just electron |
| 2026-06-14 18:38:26 +0000 | <EvanR> | discord is a single closed source thing |
| 2026-06-14 18:38:44 +0000 | <maerwald> | lol... I tried linux-discord, but it kept crashing or something |
| 2026-06-14 18:38:44 +0000 | <EvanR> | I see dozens of matrix clients presumeably open source |
| 2026-06-14 18:39:00 +0000 | <geekosaur> | there are third party clients, you just get no guarantee the protocol won't change incompatibly and break them |
| 2026-06-14 18:39:57 +0000 | <maerwald> | anything with electron/chrome is unstable for the linux compat layer |
| 2026-06-14 18:40:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 18:40:31 +0000 | <geekosaur> | I noticed (my password manager was one of them) |
| 2026-06-14 18:40:38 +0000 | <geekosaur> | but discord seemed to work okay |
| 2026-06-14 18:40:51 +0000 | <geekosaur> | not sure I'd want to try voice or video chat with it though |
| 2026-06-14 18:41:04 +0000 | <EvanR> | I got linux discord to work but it was non obvious how |
| 2026-06-14 18:41:33 +0000 | <EvanR> | and it regularly needs updating which is always a whole thing |
| 2026-06-14 18:41:59 +0000 | <geekosaur> | it might work better now, if you tried it before about a month ago when they upgraded electron and improved the discord client config |
| 2026-06-14 18:44:36 +0000 | <EvanR> | I saw that |
| 2026-06-14 18:44:41 +0000 | <geekosaur> | also apparently upstream now upgrades the whole thing automagically |
| 2026-06-14 18:44:54 +0000 | <EvanR> | haven't manually updated since |
| 2026-06-14 18:45:02 +0000 | <geekosaur> | which is a large part of why they redid the discord client packaging |
| 2026-06-14 18:45:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 269 seconds) |
| 2026-06-14 18:46:07 +0000 | <EvanR> | and apparently they recommend you create some kind of sandbox for it, but the method requires you set up a setuid bit thing? |
| 2026-06-14 18:46:16 +0000 | <EvanR> | so it has root access? xD |
| 2026-06-14 18:46:36 +0000 | <EvanR> | I said no |
| 2026-06-14 18:47:42 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-06-14 18:51:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 18:54:19 +0000 | luhann | (~luhann@user/luhann) (Quit: WeeChat 4.8.1) |
| 2026-06-14 18:54:34 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-14 18:55:17 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 242 seconds) |
| 2026-06-14 18:55:45 +0000 | luhann | (~luhann@user/luhann) (Client Quit) |
| 2026-06-14 18:56:01 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-14 18:56:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-14 18:56:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Error from remote client) |
| 2026-06-14 19:04:01 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2026-06-14 19:04:38 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-06-14 19:07:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 19:12:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-14 19:12:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-14 19:18:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-14 19:23:09 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-14 19:28:01 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-06-14 19:35:43 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-14 19:38:49 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-06-14 19:39:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 19:40:41 +0000 | rscastilho2024_ | (rscastilho@user/rscastilho2024-:23901) (Remote host closed the connection) |
| 2026-06-14 19:43:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 19:49:28 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-06-14 19:50:19 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 245 seconds) |