Newest at the top
| 2026-01-19 21:54:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 21:44:15 +0100 | <probie> | yin: I don't think it's trivial, but it should fuse. `any p` is defined using `foldMap` which will turn into `foldr`, and `takeWhile` has a rewrite rule to turn it into a `build` |
| 2026-01-19 21:43:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 21:38:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 21:36:22 +0100 | <yin> | `any p . takeWhile f` will be trivially fused, right? |
| 2026-01-19 21:31:47 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2026-01-19 21:29:42 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-01-19 21:28:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-19 21:28:35 +0100 | myme | (~myme@2a01:799:d5e:5f00:5f14:dcc1:b627:62ff) myme |
| 2026-01-19 21:28:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-19 21:27:55 +0100 | myme | (~myme@2a01:799:d5e:5f00:182f:237f:5285:8c47) (Ping timeout: 264 seconds) |
| 2026-01-19 21:27:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 21:24:01 +0100 | krei-se | (~krei-se@p50829ec0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-19 21:22:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 21:21:25 +0100 | krei-se- | (~krei-se@p5dea1514.dip0.t-ipconnect.de) krei-se |
| 2026-01-19 21:11:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-19 21:06:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 20:58:47 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-19 20:58:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-19 20:55:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-19 20:53:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 20:53:05 +0100 | trickard_ | trickard |
| 2026-01-19 20:49:19 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-19 20:45:33 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-19 20:42:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-19 20:40:11 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-19 20:40:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2026-01-19 20:38:51 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-19 20:37:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 20:26:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 20:22:55 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-19 20:22:04 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-19 20:21:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 20:20:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-19 20:10:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 20:05:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 19:57:33 +0100 | Zeren1x | (~Zeren1x@myrxg-tx-revr.srv.bryntx.alticeusa.net) (Client Quit) |
| 2026-01-19 19:55:53 +0100 | Zeren1x | (~Zeren1x@myrxg-tx-revr.srv.bryntx.alticeusa.net) |
| 2026-01-19 19:55:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-19 19:51:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-19 19:49:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-19 19:48:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-19 19:48:19 +0100 | Zemy | (~Zemy@2600:100c:b0a4:b1d4:986c:e6ff:fe1d:2ee2) (Ping timeout: 246 seconds) |
| 2026-01-19 19:46:58 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-01-19 19:46:13 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2026-01-19 19:45:37 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-19 19:45:13 +0100 | Core1134 | (~Zemy@72.178.108.235) |
| 2026-01-19 19:42:42 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-19 19:42:15 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2026-01-19 19:42:06 +0100 | Zemy | (~Zemy@2600:100c:b0a4:b1d4:986c:e6ff:fe1d:2ee2) |