Newest at the top
2025-01-15 10:16:25 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2025-01-15 10:08:28 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds) |
2025-01-15 10:07:02 +0100 | lortabac | (~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 +0100 | paotsaq | (~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 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-01-15 10:01:44 +0100 | dontdieych2 | (~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 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-01-15 09:58:12 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
2025-01-15 09:50:32 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
2025-01-15 09:48:16 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-01-15 09:45:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-01-15 09:37:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
2025-01-15 09:32:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-15 09:29:55 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
2025-01-15 09:28:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-01-15 09:26:54 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2025-01-15 09:26:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
2025-01-15 09:24:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-01-15 09:16:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
2025-01-15 09:16:23 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-01-15 09:06:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-01-15 09:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-01-15 09:00:36 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-01-15 09:00:36 +0100 | kenran | (~void@user/kenran) kenran |
2025-01-15 08:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-15 08:55:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-01-15 08:55:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-01-15 08:55:07 +0100 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
2025-01-15 08:52:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-15 08:51:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
2025-01-15 08:51:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-01-15 08:51:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-01-15 08:49:42 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
2025-01-15 08:49:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
2025-01-15 08:49:14 +0100 | reidrac | (~reidrac@user/reidrac) reidrac |
2025-01-15 08:49:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-01-15 08:47:27 +0100 | reidrac | (~reidrac@user/reidrac) (Quit: bye now!) |
2025-01-15 08:47:03 +0100 | peterbecich | (~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 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2025-01-15 08:43:51 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
2025-01-15 08:41:59 +0100 | merijn | (~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 |