Logs: liberachat/#haskell
| 2025-08-24 23:28:41 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-08-24 23:31:05 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-08-24 23:32:00 | × | athan_ quits (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-24 23:33:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 23:38:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-24 23:43:36 | × | sprotte24 quits (~sprotte24@p200300d16f111b00b51313ab39ce1871.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-24 23:49:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 23:51:55 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 2025-08-24 23:52:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-24 23:55:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-24 23:56:40 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-08-24 23:57:12 | × | acidjnk quits (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-25 00:07:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 00:11:47 | × | tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 2025-08-25 00:11:58 | → | tnks joins (sid412124@id-412124.helmsley.irccloud.com) |
| 2025-08-25 00:12:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-25 00:22:18 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-25 00:22:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 00:25:05 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-08-25 00:27:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 00:28:53 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-25 00:29:06 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 00:32:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-25 00:34:23 | → | califax joins (~califax@user/califx) |
| 2025-08-25 00:37:20 | trickard_ | is now known as trickard |
| 2025-08-25 00:38:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 00:38:11 | × | totbwf quits (uid402332@user/totbwf) (Server closed connection) |
| 2025-08-25 00:38:21 | → | totbwf joins (sid402332@id-402332.uxbridge.irccloud.com) |
| 2025-08-25 00:41:22 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-25 00:42:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 00:44:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-08-25 00:44:30 | ljdarj1 | is now known as ljdarj |
| 2025-08-25 00:48:09 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-25 00:48:23 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 00:48:29 | × | c_wraith quits (~c_wraith@adjoint.us) (Server closed connection) |
| 2025-08-25 00:48:40 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 2025-08-25 00:53:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 00:55:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 260 seconds) |
| 2025-08-25 00:57:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 01:01:36 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-25 01:05:42 | × | glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-25 01:09:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 01:12:46 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-25 01:13:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 01:20:03 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-25 01:23:13 | × | iphy quits (sid67735@user/iphy) (Server closed connection) |
| 2025-08-25 01:23:24 | → | iphy joins (sid67735@user/iphy) |
| 2025-08-25 01:24:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 01:29:03 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-25 01:29:52 | → | Guest88 joins (~Guest94@106.70.108.95) |
| 2025-08-25 01:29:53 | <Guest88> | @pl skips xs = [[x | (x, i) <- zip xs [1 ..], mod i n == 0] | n <- [1 .. length xs]] |
| 2025-08-25 01:29:54 | <lambdabot> | skips = return . ap ((<-) . (| n) . (: [mod i n == 0]) . ((x | (x, i)) <-) . flip zip [1..]) (enumFromTo 1 . length) |
| 2025-08-25 01:30:52 | → | zlqrvx joins (~zlqrvx@101.175.157.55) |
| 2025-08-25 01:31:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-25 01:31:27 | <Guest88> | @pl skips xs = map (\n -> ([x | (x, i) <- zip xs [1 ..], mod i n == 0])) [1 .. length xs] |
| 2025-08-25 01:31:27 | <lambdabot> | skips = ap (map . (. (return . (0 ==) . mod i)) . (:) . ((x | (x, i)) <-) . flip zip [1..]) (enumFromTo 1 . length) |
| 2025-08-25 01:32:43 | × | Guest88 quits (~Guest94@106.70.108.95) (Client Quit) |
| 2025-08-25 01:41:51 | × | idnar quits (sid12240@debian/mithrandi) (Server closed connection) |
| 2025-08-25 01:42:02 | → | idnar joins (sid12240@debian/mithrandi) |
| 2025-08-25 01:42:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 01:47:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 01:47:48 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-08-25 01:48:08 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-08-25 01:51:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-25 01:53:04 | → | glguy joins (glguy@libera/staff/glguy) |
| 2025-08-25 01:57:07 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-08-25 01:57:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 02:02:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 02:13:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 02:17:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 02:25:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-08-25 02:28:12 | × | mima quits (~mmh@user/mima) (Server closed connection) |
| 2025-08-25 02:28:24 | → | mima joins (~mmh@user/mima) |
| 2025-08-25 02:28:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 02:30:31 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-25 02:33:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 02:39:53 | → | ski joins (~ski@remote11.chalmers.se) |
| 2025-08-25 02:40:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 02:41:57 | → | user363627 joins (~user@user/user363627) |
| 2025-08-25 02:42:36 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-08-25 02:44:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 02:48:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-25 02:49:25 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 2025-08-25 02:50:17 | → | hyletic joins (~textual@user/hyletic) |
| 2025-08-25 02:54:09 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-08-25 02:59:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 03:02:52 | × | zarakshR quits (~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) (Ping timeout: 260 seconds) |
| 2025-08-25 03:06:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 03:07:12 | × | hyletic quits (~textual@user/hyletic) (Ping timeout: 256 seconds) |
| 2025-08-25 03:11:10 | <haskellbridge> | <iqubic (she/her)> There's got to be a better way to write this: https://dpaste.org/TmzjK |
| 2025-08-25 03:11:28 | <haskellbridge> | <iqubic (she/her)> Did I just recreate "replicateM"? |
| 2025-08-25 03:12:04 | <haskellbridge> | <iqubic (she/her)> Is this just "replicateM 7 [0,1,2]" |
| 2025-08-25 03:13:49 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-25 03:17:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 03:22:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 03:32:00 | → | aforemny joins (~aforemny@2001:9e8:6cc1:4500:e2a2:a3a1:5209:ec30) |
| 2025-08-25 03:32:53 | × | aforemny_ quits (~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) (Ping timeout: 245 seconds) |
| 2025-08-25 03:32:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 03:37:10 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-25 03:37:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
All times are in UTC.