Logs on 2025-08-25 (liberachat/#haskell)
| 00:07:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:11:47 | × | tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 00:11:58 | → | tnks joins (sid412124@id-412124.helmsley.irccloud.com) |
| 00:12:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:22:18 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 00:22:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:05 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 00:27:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:28:53 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:29:06 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 00:32:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:34:23 | → | califax joins (~califax@user/califx) |
| 00:37:20 | trickard_ | is now known as trickard |
| 00:38:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:38:11 | × | totbwf quits (uid402332@user/totbwf) (Server closed connection) |
| 00:38:21 | → | totbwf joins (sid402332@id-402332.uxbridge.irccloud.com) |
| 00:41:22 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:42:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:44:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 00:44:30 | ljdarj1 | is now known as ljdarj |
| 00:48:09 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:48:23 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 00:48:29 | × | c_wraith quits (~c_wraith@adjoint.us) (Server closed connection) |
| 00:48:40 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 00:53:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:55:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 260 seconds) |
| 00:57:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:01:36 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 01:05:42 | × | glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 01:09:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:12:46 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 01:13:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:20:03 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:23:13 | × | iphy quits (sid67735@user/iphy) (Server closed connection) |
| 01:23:24 | → | iphy joins (sid67735@user/iphy) |
| 01:24:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:29:03 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:29:52 | → | Guest88 joins (~Guest94@106.70.108.95) |
| 01:29:53 | <Guest88> | @pl skips xs = [[x | (x, i) <- zip xs [1 ..], mod i n == 0] | n <- [1 .. length xs]] |
| 01:29:54 | <lambdabot> | skips = return . ap ((<-) . (| n) . (: [mod i n == 0]) . ((x | (x, i)) <-) . flip zip [1..]) (enumFromTo 1 . length) |
| 01:30:52 | → | zlqrvx joins (~zlqrvx@101.175.157.55) |
| 01:31:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:31:27 | <Guest88> | @pl skips xs = map (\n -> ([x | (x, i) <- zip xs [1 ..], mod i n == 0])) [1 .. length xs] |
| 01:31:27 | <lambdabot> | skips = ap (map . (. (return . (0 ==) . mod i)) . (:) . ((x | (x, i)) <-) . flip zip [1..]) (enumFromTo 1 . length) |
| 01:32:43 | × | Guest88 quits (~Guest94@106.70.108.95) (Client Quit) |
| 01:41:51 | × | idnar quits (sid12240@debian/mithrandi) (Server closed connection) |
| 01:42:02 | → | idnar joins (sid12240@debian/mithrandi) |
| 01:42:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:47:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:47:48 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 01:48:08 | → | vetkat joins (~vetkat@user/vetkat) |
| 01:51:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:53:04 | → | glguy joins (glguy@libera/staff/glguy) |
| 01:57:07 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 01:57:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:02:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:13:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:17:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:25:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 02:28:12 | × | mima quits (~mmh@user/mima) (Server closed connection) |
| 02:28:24 | → | mima joins (~mmh@user/mima) |
| 02:28:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:30:31 | → | weary-traveler joins (~user@user/user363627) |
| 02:33:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:39:53 | → | ski joins (~ski@remote11.chalmers.se) |
| 02:40:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:41:57 | → | user363627 joins (~user@user/user363627) |
| 02:42:36 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 252 seconds) |
| 02:44:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:48:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:49:25 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 02:50:17 | → | hyletic joins (~textual@user/hyletic) |
| 02:54:09 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 02:59:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:02:52 | × | zarakshR quits (~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) (Ping timeout: 260 seconds) |
| 03:06:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:07:12 | × | hyletic quits (~textual@user/hyletic) (Ping timeout: 256 seconds) |
| 03:11:10 | <haskellbridge> | <iqubic (she/her)> There's got to be a better way to write this: https://dpaste.org/TmzjK |
| 03:11:28 | <haskellbridge> | <iqubic (she/her)> Did I just recreate "replicateM"? |
| 03:12:04 | <haskellbridge> | <iqubic (she/her)> Is this just "replicateM 7 [0,1,2]" |
| 03:13:49 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 03:17:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:22:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:32:00 | → | aforemny joins (~aforemny@2001:9e8:6cc1:4500:e2a2:a3a1:5209:ec30) |
| 03:32:53 | × | aforemny_ quits (~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) (Ping timeout: 245 seconds) |
| 03:32:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:37:10 | → | euphores joins (~SASL_euph@user/euphores) |
| 03:37:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:44:28 | → | asivitz joins (uid178348@id-178348.tinside.irccloud.com) |
| 03:48:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:53:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:53:19 | → | michalz joins (~michalz@185.246.207.221) |
| 03:58:07 | trickard_ | is now known as trickard |
| 04:01:49 | → | Nosrep joins (~jimothy@user/nosrep) |
| 04:03:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:08:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:14:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:19:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:21:42 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 04:29:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:33:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:38:17 | × | acro quits (~acro@user/acro) (Ping timeout: 258 seconds) |
| 04:38:18 | × | Moyst quits (~moyst@user/moyst) (Ping timeout: 258 seconds) |
| 04:38:18 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
| 04:38:37 | → | haritzondo joins (~hrtz@209.35.65.79) |
| 04:38:38 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 04:38:39 | → | acro joins (~acro@user/acro) |
| 04:38:41 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 258 seconds) |
| 04:38:56 | → | pandeyan joins (~pandeyan@23-93-125-220.fiber.dynamic.sonic.net) |
| 04:39:03 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 258 seconds) |
| 04:39:04 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 258 seconds) |
| 04:39:20 | → | Digitteknohippie joins (~user@user/digit) |
| 04:39:27 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 258 seconds) |
| 04:39:27 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 258 seconds) |
| 04:39:27 | × | Digit quits (~user@user/digit) (Ping timeout: 258 seconds) |
| 04:39:27 | × | omnifunctor quits (~omnifunct@user/semifunctor) (Ping timeout: 258 seconds) |
| 04:39:30 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 245 seconds) |
| 04:39:50 | × | mjrosenb quits (~mjrosenb@70.18.10.118) (Ping timeout: 258 seconds) |
| 04:40:35 | → | Moyst joins (~moyst@user/moyst) |
| 04:40:48 | → | TMA joins (tma@twin.jikos.cz) |
| 04:41:24 | → | mjrosenb joins (~mjrosenb@70.18.10.118) |
| 04:41:28 | → | _________ joins (~nobody@user/noodly) |
| 04:43:40 | → | omnifunctor joins (~omnifunct@user/semifunctor) |
| 04:45:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:48:01 | × | delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (Quit: Updating details, brb) |
| 04:48:12 | → | megeve joins (sid523379@id-523379.hampstead.irccloud.com) |
| 04:51:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:52:18 | × | shachaf quits (~shachaf@user/shachaf) (Server closed connection) |
| 04:52:26 | → | shachaf joins (~shachaf@user/shachaf) |
| 04:52:58 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 04:58:44 | × | systemfault quits (sid267009@about/typescript/member/systemfault) (Server closed connection) |
| 04:58:59 | → | systemfault joins (sid267009@about/typescript/member/systemfault) |
| 05:06:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 05:15:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:22:21 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:26:05 | × | haritzondo quits (~hrtz@209.35.65.79) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:30:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:31:33 | × | skylord5816 quits (~skylord58@user/skylord5816) (Server closed connection) |
| 05:31:46 | → | skylord5816 joins (~skylord58@user/skylord5816) |
| 05:35:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:46:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:56:25 | <hololeap> | iqubic: you rewrote: replicate 7 [0,1,2] |
| 06:08:05 | <Axman6> | > replicateM 7 [0,1,2] |
| 06:08:07 | <lambdabot> | [[0,0,0,0,0,0,0],[0,0,0,0,0,0,1],[0,0,0,0,0,0,2],[0,0,0,0,0,1,0],[0,0,0,0,0,... |
| 06:08:12 | <Axman6> | > replicateM 3 [0,1,2] |
| 06:08:13 | <lambdabot> | [[0,0,0],[0,0,1],[0,0,2],[0,1,0],[0,1,1],[0,1,2],[0,2,0],[0,2,1],[0,2,2],[1,... |
| 06:14:26 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:16:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:18:49 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 06:19:09 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 06:20:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:24:41 | → | Square2 joins (~Square@user/square) |
| 06:25:59 | → | Square3 joins (~Square4@user/square) |
| 06:26:00 | × | zlqrvx quits (~zlqrvx@101.175.157.55) (Quit: ZNC 1.10.0 - https://znc.in) |
| 06:29:30 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 06:31:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:36:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:47:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:48:37 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 06:49:45 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:50:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 06:51:57 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 06:52:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:58:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 06:59:07 | Digitteknohippie | is now known as Digit |
| 06:59:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 07:01:33 | trickard_ | is now known as trickard |
| 07:02:07 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 07:02:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:05:12 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 07:05:40 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 07:07:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:09:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 07:10:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:14:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 07:17:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:21:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 07:23:44 | → | tbahne joins (~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) |
| 07:32:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:35:29 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:37:57 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 07:39:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 07:50:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:52:26 | × | dy quits (sid3438@user/dy) (Server closed connection) |
| 07:52:37 | → | dy joins (sid3438@user/dy) |
| 07:52:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:55:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:58:52 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection) |
| 07:59:03 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 07:59:21 | → | chele joins (~chele@user/chele) |
| 08:00:44 | × | tbahne quits (~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) (Quit: tbahne) |
| 08:04:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:09:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 08:09:28 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 08:10:31 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:13:49 | → | acidjnk joins (~acidjnk@p200300d6e71719081443facf871fb4de.dip0.t-ipconnect.de) |
| 08:15:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:16:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:16:24 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 08:16:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 08:17:00 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 08:19:08 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 08:19:38 | → | fgarcia joins (~lei@user/fgarcia) |
| 08:22:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 08:24:10 | → | gmg joins (~user@user/gehmehgeh) |
| 08:28:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 08:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:38:09 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: The Lounge - https://thelounge.github.io) |
| 08:38:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:40:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:43:09 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 08:43:22 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Client Quit) |
| 08:44:51 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 08:45:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:47:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 08:48:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:49:48 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 08:50:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:54:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 09:00:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:02:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 09:05:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 09:09:15 | → | kuribas joins (~user@2a02-1810-2825-6000-9d64-b409-acec-ff0c.ip6.access.telenet.be) |
| 09:09:44 | × | jle` quits (~jle`@2603:8001:3b00:11:fb65:91e:91c3:a935) (Ping timeout: 248 seconds) |
| 09:12:31 | → | jle` joins (~jle`@2603:8001:3b00:11:51d3:c0be:4e33:cdb7) |
| 09:15:38 | → | sprotte24 joins (~sprotte24@p200300d16f22e40019450a01c26cef49.dip0.t-ipconnect.de) |
| 09:16:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:20:05 | → | fgarcia joins (~lei@user/fgarcia) |
| 09:22:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 09:24:08 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 09:25:51 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 09:27:42 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 09:34:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:38:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 09:42:08 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
| 09:45:15 | × | moet_ quits (~moet@am167041.f.east.v6connect.net) (Quit: leaving) |
| 09:49:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:51:27 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
| 09:53:40 | <moet_> | question about the `linear` package: is there an easy way to combine two vectors (or a vector and a scalar) to get the appropriately sized result, as if by concatenation? e.g. a V2 and V2 would yield a V4, or a V2 and a scalar would yield a V3 |
| 09:54:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 09:54:31 | <moet_> | as of now the only way I know how to do this requires matching out the components and then constructing the desired result |
| 09:54:40 | × | ent- quits (entgod@kapsi.fi) (Server closed connection) |
| 09:54:50 | → | ent- joins (entgod@kapsi.fi) |
| 10:04:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:08:04 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:09:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 10:10:34 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 10:19:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:20:47 | <[exa]> | moet_: there might be a lensy way where you assign the .xy to .zw or so, but not sure |
| 10:22:48 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 10:24:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 10:25:26 | <[exa]> | like, with a bit of compiler smartness this could compile efficiently `0 & xy .~ v2a & zw .~ v2b` ... ofc assuming the thing can realize the result is V4 and v2a&b are sufficiently specializable |
| 10:26:09 | → | __monty__ joins (~toonn@user/toonn) |
| 10:28:04 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 10:32:52 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 10:34:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:39:09 | × | sprotte24 quits (~sprotte24@p200300d16f22e40019450a01c26cef49.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 10:39:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 10:46:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:50:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:51:54 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 10:51:59 | → | Igloo joins (~ian@81.2.99.210) |
| 10:52:08 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 10:54:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 10:55:07 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection) |
| 10:55:18 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 10:59:55 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 10:59:55 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 10:59:55 | → | haritz joins (~hrtz@user/haritz) |
| 11:02:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:15:30 | → | itaipu joins (~itaipu@168.121.97.28) |
| 11:20:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:21:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) |
| 11:25:39 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:25:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 11:28:25 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:30:45 | × | moet_ quits (~moet@am167041.f.east.v6connect.net) (Ping timeout: 245 seconds) |
| 11:32:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 11:33:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:34:00 | → | xff0x joins (~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) |
| 11:35:52 | trickard_ | is now known as trickard |
| 11:36:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 11:38:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:39:01 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
| 11:43:47 | × | moet_ quits (~moet@am167041.f.east.v6connect.net) (Ping timeout: 258 seconds) |
| 11:47:15 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 11:47:26 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 11:48:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:55:01 | ← | mh_le parts (~mads@user/mh-le/x-4465771) () |
| 11:55:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 11:55:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 11:57:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:57:18 | × | bramh quits (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 11:57:31 | → | bramh joins (~bramh@user/bramh) |
| 12:06:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:10:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:15:20 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:21:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:26:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 12:31:18 | → | karenw joins (~karenw@user/karenw) |
| 12:32:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) (Quit: xff0x) |
| 12:34:50 | → | xff0x joins (~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) |
| 12:35:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:37:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:41:46 | yin | is now known as zzz |
| 12:42:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:42:27 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 12:46:01 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:46:02 | × | xff0x quits (~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) (Ping timeout: 256 seconds) |
| 12:46:14 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 12:50:33 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 12:51:38 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 12:52:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:53:32 | → | xff0x joins (~xff0x@2405:6580:b080:900:b9f9:93d3:5baf:528b) |
| 12:57:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 12:59:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 13:01:28 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:07:23 | trickard_ | is now known as trickard |
| 13:08:01 | → | gmg joins (~user@user/gehmehgeh) |
| 13:08:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:12:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 13:15:58 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
| 13:17:34 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:19:55 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 13:20:10 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:20:22 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 13:23:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:28:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 13:31:34 | × | sp1ff quits (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 13:33:10 | → | sp1ff joins (~user@c-24-21-190-184.hsd1.wa.comcast.net) |
| 13:36:32 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 13:40:03 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 13:44:32 | × | moet_ quits (~moet@am167041.f.east.v6connect.net) (Ping timeout: 260 seconds) |
| 13:49:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:53:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 13:56:12 | → | poscat joins (~poscat@user/poscat) |
| 13:57:44 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 14:02:43 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 14:03:42 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 14:04:37 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 14:04:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:09:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 14:17:46 | × | caasih quits (sid13241@id-13241.ilkley.irccloud.com) (Server closed connection) |
| 14:17:57 | → | caasih joins (sid13241@id-13241.ilkley.irccloud.com) |
| 14:20:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:24:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 14:27:29 | → | urdh_ joins (~urdh@user/urdh) |
| 14:28:48 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 252 seconds) |
| 14:28:48 | urdh_ | is now known as urdh |
| 14:28:59 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:30:38 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (Server closed connection) |
| 14:31:02 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 14:31:54 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 14:33:15 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:33:39 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 14:34:29 | <asivitz> | with stackage down, is there any way to build my stackage-based project via cabal? it's kind of odd to me that it fails trying to download the cabal.config, given that it shouldn't change for a given snapshot. why would cabal download that every time it needs to build? |
| 14:34:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:35:57 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 14:37:45 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:38:11 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 14:41:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 14:41:36 | × | markasoftware quits (~quassel@2604:180:f2::217) (Server closed connection) |
| 14:41:47 | → | swistak joins (~swistak@185.21.216.141) |
| 14:41:48 | → | markasoftware joins (~quassel@2604:180:f2::217) |
| 14:45:48 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 14:50:15 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:50:20 | <asivitz> | never mind- I can just remove the config import and it succeeds |
| 14:52:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:55:47 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 14:58:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 15:08:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:08:56 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:10:58 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 15:10:59 | <geekosaur> | I've been told it only downloads it once, but keep seeing reports that it at least checks it (presumably `If-Modified-Since`) every run |
| 15:12:06 | → | itaipu joins (~itaipu@168.121.97.28) |
| 15:13:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 15:15:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 15:15:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:16:09 | → | jathan joins (~jathan@69.61.93.38) |
| 15:16:48 | → | karenw joins (~karenw@user/karenw) |
| 15:18:10 | <asivitz> | I wonder if --offline should avoid checking it then? |
| 15:18:53 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Server closed connection) |
| 15:19:13 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 15:24:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:24:32 | → | Square2 joins (~Square@user/square) |
| 15:25:03 | × | Square3 quits (~Square4@user/square) (Remote host closed the connection) |
| 15:26:12 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 15:28:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 15:34:48 | <geekosaur> | what version of cabal? I think we changed that "recently" but ghcup still recommends a version where it's broken? |
| 15:35:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:37:40 | <geekosaur> | mm, no, looks like it's intended to only affect package repositories |
| 15:39:30 | × | mniip_ quits (mniip@libera/staff/mniip) (Server closed connection) |
| 15:39:42 | → | mniip joins (mniip@libera/staff/mniip) |
| 15:40:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 15:43:03 | → | tbahne joins (~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) |
| 15:50:30 | <geekosaur> | you could file an issue asking for a fully-offline flag of some variety |
| 15:51:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:51:14 | <asivitz> | yea I'll do that. I think that makes sense. thanks |
| 15:54:04 | <EvanR> | warning, you're using haskell in offline mode |
| 15:54:20 | <EvanR> | your saves may not be synchronized with haskell cloud |
| 15:54:47 | → | euphores joins (~SASL_euph@user/euphores) |
| 15:55:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 15:59:00 | × | tbahne quits (~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) (Changing host) |
| 15:59:00 | → | tbahne joins (~tbahne@user/tbahne) |
| 16:06:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:11:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 16:14:50 | × | tbahne quits (~tbahne@user/tbahne) (Quit: tbahne) |
| 16:15:59 | → | tbahne joins (~tbahne@user/tbahne) |
| 16:17:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:24:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 16:25:38 | × | tbahne quits (~tbahne@user/tbahne) (Quit: tbahne) |
| 16:25:56 | → | tbahne joins (~tbahne@user/tbahne) |
| 16:31:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 16:34:19 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 16:35:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:36:00 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:36:49 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:37:12 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 260 seconds) |
| 16:37:12 | divlamir_ | is now known as divlamir |
| 16:40:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:44:11 | × | tbahne quits (~tbahne@user/tbahne) (Quit: tbahne) |
| 16:51:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:55:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 16:58:22 | → | turlando_ joins (~turlando@user/turlando) |
| 16:58:47 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 17:06:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:10:16 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 17:11:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 17:13:18 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 17:13:37 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:14:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:20:36 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 17:21:35 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:21:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:22:54 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 17:26:10 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 17:26:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 17:27:38 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 17:30:03 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:35:20 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 17:35:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:36:29 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 17:36:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:38:30 | → | tremon joins (~tremon@83.80.159.219) |
| 17:40:14 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:41:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 17:46:02 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 17:48:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:49:48 | → | gmg joins (~user@user/gehmehgeh) |
| 17:52:11 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 17:52:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:52:34 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:53:50 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 17:54:05 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 258 seconds) |
| 17:56:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:58:51 | → | swistak joins (~swistak@185.21.216.141) |
| 18:01:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 18:01:37 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:04:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:07:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:09:23 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 18:10:58 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 258 seconds) |
| 18:14:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:16:56 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 18:24:22 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 18:25:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:26:20 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 18:26:55 | → | itaipu joins (~itaipu@168.121.97.28) |
| 18:30:07 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:30:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 18:30:46 | → | gmg joins (~user@user/gehmehgeh) |
| 18:35:07 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 18:37:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:41:05 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:41:24 | → | gmg joins (~user@user/gehmehgeh) |
| 18:42:22 | × | gmg quits (~user@user/gehmehgeh) (Client Quit) |
| 18:42:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:43:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:45:04 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 18:45:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 18:48:03 | → | mud joins (~mud@user/kadoban) |
| 18:53:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:56:36 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 18:58:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 18:58:46 | → | itaipu joins (~itaipu@168.121.97.28) |
| 18:59:46 | → | Guest60 joins (~Guest60@2600:1700:f030:6350:dccf:3655:2e20:a59e) |
| 19:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 19:01:07 | × | Guest60 quits (~Guest60@2600:1700:f030:6350:dccf:3655:2e20:a59e) (Client Quit) |
| 19:02:50 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 19:04:07 | jmcantrell_ | is now known as jmcantrell |
| 19:04:38 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 19:06:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 19:08:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:13:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 19:15:21 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 258 seconds) |
| 19:17:48 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:20:36 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 19:22:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:24:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:27:16 | × | kuribas quits (~user@2a02-1810-2825-6000-9d64-b409-acec-ff0c.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:28:40 | × | manwithluck quits (~manwithlu@2a09:bac5:5083:2432::39b:8d) (Ping timeout: 256 seconds) |
| 19:28:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) |
| 19:29:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:29:23 | × | tromp quits (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Client Quit) |
| 19:30:32 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 19:31:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) |
| 19:34:54 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 258 seconds) |
| 19:36:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 19:38:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:45:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:48:30 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 19:54:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 19:55:00 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 256 seconds) |
| 19:55:08 | → | hakutaku_ joins (~textual@chen.yukari.eu.org) |
| 19:56:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:16 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 20:01:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 20:12:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:17:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:23:14 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 20:27:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:30:48 | × | Square2 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 20:32:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:38:32 | → | zarakshR joins (~Thunderbi@0542a05a.skybroadband.com) |
| 20:38:52 | → | itaipu joins (~itaipu@168.121.97.28) |
| 20:39:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:40:47 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 20:41:13 | → | Fletter joins (~halloy841@user/Fletter) |
| 20:41:52 | × | hook54321 quits (sid149355@user/hook54321) (Server closed connection) |
| 20:43:08 | → | hook54321 joins (sid149355@user/hook54321) |
| 20:43:52 | × | Fletter quits (~halloy841@user/Fletter) (Quit: Fletter) |
| 20:44:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:45:10 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:45:24 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 20:47:33 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 20:50:04 | <haskellbridge> | <magic_rb> Can i use TH functions, to generate haskell code at runtime and then compile at runtime with ghc? |
| 20:50:55 | <haskellbridge> | <magic_rb> I want to do transpiling from individual nix files into haskell using TH and then compile the resulting AST into bytecode/machine code. Stitch it together and run the whole tree of nix/haskell modules |
| 20:55:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:59:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:01:27 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:01:44 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 21:03:44 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (Server closed connection) |
| 21:03:55 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 21:06:17 | → | sprotte24 joins (~sprotte24@p200300d16f22e400a41ef76cad8884a0.dip0.t-ipconnect.de) |
| 21:06:26 | <geekosaur> | you probably want the hint package |
| 21:06:46 | <geekosaur> | TH won't do this (it's compile time), you need ghc-as-a-library |
| 21:08:25 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 21:10:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:14:44 | <haskellbridge> | <magic_rb> I know, im thinking if i can use TH to generate the AST since im familiar with it. Then take the Doc type, print it, shove that into hint |
| 21:15:04 | <haskellbridge> | <magic_rb> (Or probably ghc as i may need lower level control) |
| 21:15:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:16:13 | <geekosaur> | if you are able to generate the AST at compile time then you can just splice it and compile it then |
| 21:16:47 | <geekosaur> | if you only know the nix files at runtime then TH won't help you |
| 21:16:48 | <haskellbridge> | <magic_rb> No because i need to generate it piece by piece |
| 21:17:00 | <haskellbridge> | <magic_rb> Why not? I can get Doc from TH |
| 21:17:07 | <haskellbridge> | <magic_rb> And then show it, then hint it |
| 21:17:14 | <haskellbridge> | <magic_rb> By th i dont mean the extension |
| 21:17:19 | <haskellbridge> | <magic_rb> I mean the literal library |
| 21:17:28 | <geekosaur> | how is TH, which runs at compile time, supposed to know about files only present at runtime? |
| 21:18:10 | <haskellbridge> | <magic_rb> Because the template-haskell library is a library |
| 21:18:19 | <haskellbridge> | <magic_rb> I can use it to produce a Doc value at runtime |
| 21:18:38 | <haskellbridge> | <magic_rb> I see absolutely no reason why i cant run it at runtime |
| 21:18:43 | <geekosaur> | that requires "TH" running at runtime instead of compile time |
| 21:18:47 | <geekosaur> | which isn't possible |
| 21:19:16 | <geekosaur> | what is possible is using ghc-as-a-library at runtime (which links all of ghc into your program) |
| 21:19:24 | <geekosaur> | the hint package makes this easier |
| 21:20:13 | jmcantrell_ | is now known as jmcantrell |
| 21:20:30 | <geekosaur> | the reason you can't run it at runtime is that it runs during parsing of your program. you can't link in the library at runtime usefully because you don't have a GHC context to give it |
| 21:20:48 | <haskellbridge> | <magic_rb> ghci> :t x |
| 21:20:48 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/wajzBaqZbUJuSumxnuUkxUbI/vIjBGgZb82A (5 lines) |
| 21:20:57 | <haskellbridge> | <magic_rb> That works manually |
| 21:21:11 | <geekosaur> | unless you use ghc-as-a-library to create omne, but in that case you can also use that to compile your code |
| 21:21:26 | <haskellbridge> | <magic_rb> Well ill have ghc as a lib anyway |
| 21:22:10 | <geekosaur> | ghci is a special case, precisely because it's using ghc-as-a-library |
| 21:22:42 | <geekosaur> | you *can* use TH that way, but it's kinda pointless when you can use ghc-lib directly |
| 21:25:06 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 21:25:41 | × | zarakshR quits (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 258 seconds) |
| 21:25:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:26:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:27:23 | <haskellbridge> | <magic_rb> https://paste.tomsmeding.com/fyAwZnTL |
| 21:27:43 | <haskellbridge> | <magic_rb> Works completely fine as id expect |
| 21:29:01 | × | hakutaku_ quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 21:29:27 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 21:29:40 | <haskellbridge> | <magic_rb> The reason why im looking at TH is because im trying to make this as easy for myself as possible. And i already know TH, i dont know GHC internals at all. So if i can get by with TH + hlint itll make my life so much easier |
| 21:30:26 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:30:36 | <haskellbridge> | <magic_rb> And also using TH for the codegen seems like a slightly more stable API to bind myself to |
| 21:30:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:30:53 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:37:42 | <monochrom> | This is why an example is worth a thousand words. |
| 21:40:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:41:15 | <monochrom> | OTOH I am not sure how Exp counts as Haskell code. Then again what I said about an example vs a thousand words. |
| 21:44:29 | → | Idklmaokhe joins (~Idklmaokh@190.97.253.20) |
| 21:45:41 | × | Idklmaokhe quits (~Idklmaokh@190.97.253.20) (Client Quit) |
| 21:47:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:47:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 21:50:37 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:50:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 21:54:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 21:58:25 | × | JSharp quits (sid4580@user/JSharp) (Server closed connection) |
| 21:58:46 | → | JSharp joins (sid4580@user/JSharp) |
| 21:58:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:59:50 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:03:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:04:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 22:05:56 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 22:06:21 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 22:09:27 | → | zarakshR joins (~Thunderbi@0542a05a.skybroadband.com) |
| 22:09:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 22:10:57 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 22:14:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:19:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:22:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 22:23:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:26:11 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 22:27:01 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 258 seconds) |
| 22:27:24 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 22:27:31 | → | kadobanana joins (~mud@user/kadoban) |
| 22:27:47 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 22:27:48 | × | tremon quits (~tremon@83.80.159.219) (Ping timeout: 258 seconds) |
| 22:27:48 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 22:27:48 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 258 seconds) |
| 22:28:11 | × | mud quits (~mud@user/kadoban) (Ping timeout: 258 seconds) |
| 22:28:11 | × | ent- quits (entgod@kapsi.fi) (Ping timeout: 258 seconds) |
| 22:28:24 | → | divlamir joins (~divlamir@user/divlamir) |
| 22:28:28 | → | mniip_ joins (mniip@libera/staff/mniip) |
| 22:28:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 22:29:32 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 22:29:46 | → | ent- joins (entgod@kapsi.fi) |
| 22:29:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:30:03 | → | fgarcia joins (~lei@user/fgarcia) |
| 22:31:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 22:32:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 22:33:32 | × | mniip quits (mniip@libera/staff/mniip) (Ping timeout: 622 seconds) |
| 22:34:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:38:08 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 22:39:02 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:39:35 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 22:40:05 | → | tremon joins (~tremon@83.80.159.219) |
| 22:40:44 | trickard_ | is now known as trickard |
| 22:41:04 | → | weary-traveler joins (~user@user/user363627) |
| 22:45:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:48:38 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:49:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:57:46 | → | pavonia joins (~user@user/siracusa) |
| 23:00:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:05:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:11:44 | × | geekosaur quits (sid609282@xmonad/geekosaur) (Server closed connection) |
| 23:11:55 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 23:14:35 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:15:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:22:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 23:26:12 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 23:28:29 | × | Techcable quits (sid534393@user/Techcable) (Server closed connection) |
| 23:29:03 | → | Techcable joins (sid534393@user/Techcable) |
| 23:29:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:32:25 | × | acidjnk quits (~acidjnk@p200300d6e71719081443facf871fb4de.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:33:02 | × | sprotte24 quits (~sprotte24@p200300d16f22e400a41ef76cad8884a0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 23:33:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:38:00 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 23:38:08 | × | bjs quits (sid190364@user/bjs) (Server closed connection) |
| 23:38:22 | → | bjs joins (sid190364@user/bjs) |
| 23:38:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:43:16 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:49:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:50:52 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 23:54:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 23:56:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
All times are in UTC on 2025-08-25.