Logs: liberachat/#haskell
| 2025-09-02 19:17:39 | × | xstill_ quits (xstill@fimu/xstill) (Remote host closed the connection) |
| 2025-09-02 19:18:27 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-02 19:21:57 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-09-02 19:22:14 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-02 19:22:35 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-02 19:23:41 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-02 19:24:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-02 19:27:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-09-02 19:31:38 | → | sprotte24_ joins (~sprotte24@p5b039547.dip0.t-ipconnect.de) |
| 2025-09-02 19:33:15 | × | sprotte24 quits (~sprotte24@p200300d16f07a1007d73d2bb3e42b132.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-02 19:43:33 | → | sindu joins (~sindu@176.75.108.200) |
| 2025-09-02 19:46:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-09-02 19:46:49 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2025-09-02 19:48:55 | × | ubert quits (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2025-09-02 19:50:51 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-09-02 19:51:20 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-02 19:56:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-02 20:00:40 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-02 20:01:00 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-02 20:01:33 | lisk1n | is now known as liskin |
| 2025-09-02 20:07:25 | × | davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-09-02 20:08:33 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-09-02 20:11:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-09-02 20:11:57 | <__monty__> | Is a recursive fold still a fold or is there a more precise concept that's handily wrapped up as a function? |
| 2025-09-02 20:13:25 | <tomsmeding> | __monty__: that probably depends on in what way exactly it is a fold :p |
| 2025-09-02 20:14:21 | <tomsmeding> | https://hackage.haskell.org/package/recursion-schemes-5.2.3/docs/Data-Functor-Foldable.html#g:3 |
| 2025-09-02 20:14:30 | <__monty__> | Well, I'm actually looking to filter something. |
| 2025-09-02 20:15:04 | <__monty__> | I want to cut branches from a tree. |
| 2025-09-02 20:18:57 | <tomsmeding> | that may still fit a fold, perhaps? |
| 2025-09-02 20:25:55 | <Leary> | Filtering is folding. |
| 2025-09-02 20:26:32 | <geekosaur> | this does, however, sound like Witherable? |
| 2025-09-02 20:27:55 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-02 20:28:35 | <Leary> | You can use `cata` at, say, `(f (Fix f) -> Fix f) -> Fix f -> Fix f` to keep, drop or otherwide adjust layers of base functor as it pleases you. |
| 2025-09-02 20:28:43 | × | comonad quits (~comonad@p200300d0271055002a0ea8a8f597fb71.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-02 20:29:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-02 20:30:21 | → | comonad joins (~comonad@p200300d0271c4e00d391d7ad4093fcbc.dip0.t-ipconnect.de) |
| 2025-09-02 20:31:36 | × | sprotte24_ quits (~sprotte24@p5b039547.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-02 20:32:52 | → | sprotte24 joins (~sprotte24@p200300d16f0e05007d73d2bb3e42b132.dip0.t-ipconnect.de) |
| 2025-09-02 20:37:03 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-02 20:45:51 | × | comonad quits (~comonad@p200300d0271c4e00d391d7ad4093fcbc.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 2025-09-02 20:48:04 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-09-02 20:52:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-02 20:55:07 | <__monty__> | Hmm, wither isn't recursive per se, is it? |
| 2025-09-02 20:56:30 | <EvanR> | is a recursive fold a fold, seems to answer its own question on the face of it! |
| 2025-09-02 20:56:37 | <EvanR> | unless it's like a red herring |
| 2025-09-02 20:59:45 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Remote host closed the connection) |
| 2025-09-02 21:05:38 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-02 21:09:14 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-02 21:10:06 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2025-09-02 21:14:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-02 21:15:58 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-02 21:17:37 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-02 21:20:25 | → | img joins (~img@user/img) |
| 2025-09-02 21:21:12 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-02 21:25:44 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-02 21:31:18 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-02 21:48:35 | <sm> | ouch, matrix.org is down. https://status.matrix.org |
| 2025-09-02 21:49:59 | <geekosaur> | yep |
| 2025-09-02 21:51:20 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-02 21:52:49 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-09-02 21:54:24 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-02 21:57:00 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-02 22:00:55 | trickard_ | is now known as trickard |
| 2025-09-02 22:01:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-02 22:04:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-02 22:05:12 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-09-02 22:06:41 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2025-09-02 22:06:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-02 22:08:34 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-09-02 22:09:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-02 22:10:39 | → | rekahsoft joins (~rekahsoft@174.95.4.83) |
| 2025-09-02 22:16:34 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.0) |
| 2025-09-02 22:19:08 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2025-09-02 22:19:16 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-09-02 22:21:28 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) |
| 2025-09-02 22:21:28 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host) |
| 2025-09-02 22:21:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-02 22:28:34 | Lycurgus | is now known as ColinRobinson |
| 2025-09-02 22:29:03 | × | ColinRobinson quits (~juan@user/Lycurgus) (Changing host) |
| 2025-09-02 22:29:03 | → | ColinRobinson joins (~juan@user/JuanDaugherty) |
| 2025-09-02 22:29:12 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-02 22:29:57 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-02 22:33:05 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-02 22:34:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-02 22:36:39 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-02 22:37:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-09-02 22:41:53 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-09-02 22:42:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-02 22:46:37 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-02 22:47:03 | <EvanR> | this centralized chat thing is so unreliable |
| 2025-09-02 22:47:03 | × | Vq quits (~vq@81-226-147-244-no600.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2025-09-02 22:47:25 | <EvanR> | somebody should invent a distributed set of relays which routes internet chat |
| 2025-09-02 22:49:56 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 244 seconds) |
| 2025-09-02 22:55:17 | <TMA> | EvanR: there are some such routing schemes. I guess they are even more unreliable |
| 2025-09-02 22:56:24 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2025-09-02 22:56:44 | → | pierrot joins (~pi@user/pierrot) |
| 2025-09-02 22:56:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-02 22:57:35 | <EvanR> | you're right, would never work |
| 2025-09-02 22:59:26 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-02 23:05:03 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
All times are in UTC.