Newest at the top
| 2024-11-15 15:19:52 +0100 | Everything | (~Everythin@178-133-201-255.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-15 15:13:34 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-15 15:13:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-15 15:12:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f96299656d59247024d.dip0.t-ipconnect.de) |
| 2024-11-15 15:10:07 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) alexherbo2 |
| 2024-11-15 15:09:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-15 15:09:11 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 15:08:23 +0100 | <hellwolf> | Dogfooding is a good culture. |
| 2024-11-15 15:08:04 +0100 | <hellwolf> | More people should do that. Build and use it youself first. |
| 2024-11-15 15:07:33 +0100 | <Hecate> | yus |
| 2024-11-15 15:05:11 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-15 15:05:05 +0100 | <hellwolf> | oh, as a means to dogfood it. kudos to that. |
| 2024-11-15 15:04:40 +0100 | <Hecate> | hellwolf: yeah, I'll be able to notice areas where the tools lack support for it |
| 2024-11-15 15:02:10 +0100 | aforemny | (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb) (Ping timeout: 244 seconds) |
| 2024-11-15 15:01:20 +0100 | <hellwolf> | Oh? |
| 2024-11-15 15:01:09 +0100 | <Hecate> | also a good thing to use FreeBSD |
| 2024-11-15 15:00:59 +0100 | <Hecate> | 64GB of RAM and a powerful CPU |
| 2024-11-15 14:59:44 +0100 | <hellwolf> | any particular reason? |
| 2024-11-15 14:57:54 +0100 | <Hecate> | *machine |
| 2024-11-15 14:57:51 +0100 | <Hecate> | I'm thinking of using one of my FreeBSD servers in the near future as a development macine |
| 2024-11-15 14:57:34 +0100 | <Hecate> | yeah, nothing to complain about on this front |
| 2024-11-15 14:56:46 +0100 | <hellwolf> | anyways, been a good haskell day? |
| 2024-11-15 14:56:17 +0100 | <hellwolf> | sorry, after computer coming back from sleep. I didn't make sense. |
| 2024-11-15 14:55:41 +0100 | <Hecate> | :) |
| 2024-11-15 14:55:18 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 276 seconds) |
| 2024-11-15 14:49:46 +0100 | <hellwolf> | :) GM Hecate. I couldn't configure my rcirc in emacs for reconnecting after computer shutting down... |
| 2024-11-15 14:48:51 +0100 | <Hecate> | 'sup hellwolf :) |
| 2024-11-15 14:47:25 +0100 | hellwolf | (~user@2001:1530:70:545:5239:a298:1329:4b) hellwolf |
| 2024-11-15 14:44:39 +0100 | <Rembane> | c_wraith: Even better. Yes, compatibility is important to me. |
| 2024-11-15 14:44:07 +0100 | <c_wraith> | Rembane: if you specifically are looking for compatibility with lens, I didn't like the way the witherable package does it. Or other ways I've seen suggested to do it. So I made https://hackage.haskell.org/package/lens-witherable |
| 2024-11-15 14:43:28 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-15 14:42:06 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-11-15 14:41:40 +0100 | <Rembane> | Leary: Fancy! Thank you! |
| 2024-11-15 14:40:54 +0100 | <Leary> | Rembane: `wither`? |
| 2024-11-15 14:40:53 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 14:39:44 +0100 | <Rembane> | Yeah, that looks reasonable |
| 2024-11-15 14:38:07 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 272 seconds) |
| 2024-11-15 14:36:19 +0100 | <probie> | So you're looking for something like `(some constraints here) => (a -> f (Maybe b)) -> t a -> f (t b)`? |
| 2024-11-15 14:33:30 +0100 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2024-11-15 14:33:29 +0100 | <probie> | :t mapMaybe |
| 2024-11-15 14:31:45 +0100 | <Rembane> | I've been searching Google, Hoogle and asked various dubious AIs and I can't find the answer to the question: Is there a lens version of mapMaybe? If so, what's the name of it? |
| 2024-11-15 14:30:06 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-11-15 14:24:06 +0100 | spew | (~spew@135.233.119.40) spew |
| 2024-11-15 14:23:17 +0100 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2024-11-15 14:17:37 +0100 | sprotte24 | (~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de) |
| 2024-11-15 14:12:43 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-15 14:11:58 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 14:11:07 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-11-15 14:11:00 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-15 14:03:46 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |