2024/11/15

Newest at the top

2024-11-15 15:30:56 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-15 15:26:27 +0100alphazone_(~alphazone@2.219.56.221) (Ping timeout: 244 seconds)
2024-11-15 15:19:52 +0100Everything(~Everythin@178-133-201-255.mobile.vf-ua.net) (Quit: leaving)
2024-11-15 15:13:34 +0100acidjnk(~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-11-15 15:13:07 +0100weary-traveler(~user@user/user363627) user363627
2024-11-15 15:12:19 +0100acidjnk_new(~acidjnk@p200300d6e7283f96299656d59247024d.dip0.t-ipconnect.de)
2024-11-15 15:10:07 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) alexherbo2
2024-11-15 15:09:47 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection)
2024-11-15 15:09:11 +0100pavonia(~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 +0100ystael(~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 +0100aforemny(~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 +0100pavonia(~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 +0100hellwolf(~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 +0100ethantwardy(user@user/ethantwardy) ethantwardy
2024-11-15 14:42:06 +0100ethantwardy(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 +0100pavonia(~user@user/siracusa) siracusa
2024-11-15 14:39:44 +0100 <Rembane> Yeah, that looks reasonable
2024-11-15 14:38:07 +0100pavonia(~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 +0100mange(~user@user/mange) (Remote host closed the connection)
2024-11-15 14:24:06 +0100spew(~spew@135.233.119.40) spew
2024-11-15 14:23:17 +0100spew(~spew@135.233.119.40) (Remote host closed the connection)
2024-11-15 14:17:37 +0100sprotte24(~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de)
2024-11-15 14:12:43 +0100willscripted(~willscrip@user/willscripted) willscripted
2024-11-15 14:11:58 +0100mceresa(~mceresa@user/mceresa) mceresa
2024-11-15 14:11:07 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)