2025/01/15

Newest at the top

2025-01-15 10:16:25 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-01-15 10:08:28 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds)
2025-01-15 10:07:02 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
2025-01-15 10:05:51 +0100 <jackdk> hacking the amazonka generator, about to go for a climb, you?
2025-01-15 10:03:43 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq
2025-01-15 10:03:32 +0100 <jackdk> Hecate: sup?
2025-01-15 10:03:23 +0100 <Hecate> what's up?
2025-01-15 10:03:23 +0100 <Hecate> heya jackdk
2025-01-15 10:02:28 +0100druchan(uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-15 10:01:44 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-15 10:00:17 +0100 <jackdk> https://github.com/ekmett/lens/issues/1015
2025-01-15 09:58:47 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-15 09:58:12 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds)
2025-01-15 09:50:32 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq
2025-01-15 09:48:16 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-15 09:45:52 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-15 09:37:37 +0100acidjnk_new(~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk
2025-01-15 09:32:39 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-15 09:29:55 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 09:28:37 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 09:26:54 +0100dtman34(~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2025-01-15 09:26:21 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 09:24:33 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 09:16:52 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer)
2025-01-15 09:16:23 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-01-15 09:06:05 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-01-15 09:00:45 +0100caconym(~caconym@user/caconym) caconym
2025-01-15 09:00:36 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-15 09:00:36 +0100kenran(~void@user/kenran) kenran
2025-01-15 08:57:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-15 08:55:28 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-15 08:55:08 +0100acidjnk_new(~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-01-15 08:55:07 +0100xdej(~xdej@quatramaran.salle-s.org) xdej
2025-01-15 08:52:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-15 08:51:57 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 08:51:00 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 08:51:00 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-01-15 08:49:42 +0100CiaoSen(~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
2025-01-15 08:49:41 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-15 08:49:14 +0100reidrac(~reidrac@user/reidrac) reidrac
2025-01-15 08:49:11 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-01-15 08:47:27 +0100reidrac(~reidrac@user/reidrac) (Quit: bye now!)
2025-01-15 08:47:03 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-15 08:45:48 +0100 <c_wraith> Ah, I see. That does pose a challenge.
2025-01-15 08:45:16 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-01-15 08:43:51 +0100dontdieych2(~quassel@user/dontdieych2) (Ping timeout: 276 seconds)
2025-01-15 08:41:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-15 08:40:21 +0100 <haskellbridge> <maerwald> one of them always has an element
2025-01-15 08:38:57 +0100 <haskellbridge> <maerwald> my current structure is: folding $ \f -> f ^.. foo . bar <> f ^.. baz . fab
2025-01-15 08:38:05 +0100 <haskellbridge> <maerwald> well, that was easy, now I just need to figure out how to construct the Foldable1 safely