Logs on 2025-05-16 (liberachat/#haskell)
| 00:03:18 | × | jespada quits (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 00:06:45 | × | visilii quits (~visilii@81.177.126.61) (Ping timeout: 248 seconds) |
| 00:09:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:10:32 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 00:11:09 | → | visilii joins (~visilii@85.94.27.197) |
| 00:13:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:16:03 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:17:54 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 00:17:54 | ljdarj1 | is now known as ljdarj |
| 00:24:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:31:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:32:14 | → | pavonia joins (~user@user/siracusa) |
| 00:32:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:34:47 | → | califax joins (~califax@user/califx) |
| 00:40:38 | → | tolgo joins (~Thunderbi@199.115.144.130) |
| 00:40:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 00:42:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:47:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:51:26 | × | tolgo quits (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 00:58:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:01:19 | → | Square2 joins (~Square@user/square) |
| 01:03:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:04:21 | × | Square quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 01:05:32 | × | jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:14:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:18:55 | → | joeyadams joins (~textual@syn-162-154-010-038.res.spectrum.com) |
| 01:19:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:29:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:30:51 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 01:33:34 | × | Square2 quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 01:34:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:43:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:43:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:45:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:51:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:54:22 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 01:55:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:02:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:04:37 | × | koolazer quits (~koo@user/koolazer) (Ping timeout: 248 seconds) |
| 02:11:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:15:36 | × | td_ quits (~td@i53870932.versanet.de) (Ping timeout: 252 seconds) |
| 02:17:34 | → | td_ joins (~td@i53870927.versanet.de) |
| 02:17:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:20:10 | × | zlqrvx quits (~zlqrvx@101.175.150.247) (Quit: ZNC 1.9.1 - https://znc.in) |
| 02:20:30 | → | zlqrvx joins (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 02:20:32 | × | zlqrvx quits (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Remote host closed the connection) |
| 02:21:08 | → | zlqrvx joins (~zlqrvx@101.175.150.247) |
| 02:22:30 | × | zlqrvx quits (~zlqrvx@101.175.150.247) (Client Quit) |
| 02:22:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:23:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:27:17 | → | zmt01 joins (~zmt00@user/zmt00) |
| 02:29:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:29:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:29:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:29:49 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 02:34:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 02:35:40 | JuanDaugherty | is now known as ColinRobinson |
| 02:44:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:49:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:52:17 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
| 02:56:41 | → | EvanR joins (~EvanR@user/evanr) |
| 03:00:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:28 | kitties | is now known as catties |
| 03:05:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:13:18 | vgtw_ | is now known as vgtw |
| 03:13:28 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:16:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:21:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:27:11 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 03:27:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:32:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:29 | × | aforemny_ quits (~aforemny@2001:9e8:6ce6:1d00:ecc9:c46:5d43:45e6) (Ping timeout: 272 seconds) |
| 03:36:08 | → | aforemny joins (~aforemny@2001:9e8:6cc4:6e00:7edf:27f1:f2a2:7f8e) |
| 03:36:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:38:16 | → | Digitteknohippie joins (~user@user/digit) |
| 03:39:09 | × | Digit quits (~user@user/digit) (Ping timeout: 245 seconds) |
| 03:41:13 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 03:43:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:43:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:47:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:49:38 | ColinRobinson | is now known as JuanDaugherty |
| 03:52:49 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:54:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:55:17 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:56:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:59:29 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 04:01:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:05:28 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 04:12:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:14:59 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:15:17 | → | califax joins (~califax@user/califx) |
| 04:16:30 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 04:16:44 | → | j1n37- joins (~j1n37@user/j1n37) |
| 04:17:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:19:42 | × | joeyadams quits (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 04:19:55 | × | wickedjargon quits (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection) |
| 04:21:45 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 04:22:44 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:23:06 | → | wickedjargon joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 04:25:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:25:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:27:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:32:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:43:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:45:30 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 04:48:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:50:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:51:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:51:23 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 04:52:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 04:57:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:57:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 04:57:48 | × | ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 05:01:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:02:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:02:14 | → | sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 05:02:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:06:49 | → | wickedja` joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 05:08:05 | ← | wickedja` parts (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) () |
| 05:09:15 | × | wickedjargon quits (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Remote host closed the connection) |
| 05:09:56 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 05:13:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:17:18 | → | wickedjargon joins (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) |
| 05:17:24 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:17:31 | × | wickedjargon quits (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection) |
| 05:17:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:17:54 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 05:18:41 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 05:20:56 | → | nek0 joins (~nek0@user/nek0) |
| 05:27:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:27:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:28:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:30:54 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 05:31:10 | → | mange joins (~user@user/mange) |
| 05:32:01 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 05:33:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:34:49 | → | j1n37- joins (~j1n37@user/j1n37) |
| 05:35:15 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 05:41:30 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:44:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:46:59 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:47:03 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 05:48:58 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 05:49:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:56:48 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 05:56:48 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 05:56:48 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 05:56:48 | ChanServ | sets mode +v lambdabot |
| 05:58:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:00:38 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 06:01:08 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 06:02:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:03:12 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 06:10:51 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 06:10:51 | ChanServ | sets mode +v lambdabot |
| 06:12:20 | Digitteknohippie | is now known as Digit |
| 06:13:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:20:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 06:21:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:25:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:25:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:30:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:31:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:34:21 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:36:23 | → | nullobject joins (~josh@user/nullobject) |
| 06:37:46 | × | mistivia quits (~mistivia@user/mistivia) (Ping timeout: 252 seconds) |
| 06:38:34 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:38:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:39:02 | → | mistivia joins (~mistivia@user/mistivia) |
| 06:40:20 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:43:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:43:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:44:00 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 06:44:02 | → | j1n37- joins (~j1n37@user/j1n37) |
| 06:44:44 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 06:46:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:49:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:52:09 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:55:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:59:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:59:46 | × | nacation quits (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 07:00:00 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:42 | → | caconym7 joins (~caconym@user/caconym) |
| 07:01:14 | → | nacation joins (~m-3l4s76@user/nacation) |
| 07:04:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:13:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 07:14:06 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:15:03 | × | nacation quits (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 07:15:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:15:17 | → | nacation joins (~m-3l4s76@user/nacation) |
| 07:15:42 | → | acidjnk joins (~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) |
| 07:19:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:25:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 07:30:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:30:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:31:43 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 07:34:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:34:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:36:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:36:18 | → | chele joins (~chele@user/chele) |
| 07:40:14 | bwe53891 | is now known as bwe |
| 07:41:22 | <bwe> | How is the lsp functionality called to evaluade doctests as I write them in the editor? |
| 07:44:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:44:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:46:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:49:02 | <tomsmeding> | bwe: code lens |
| 07:51:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 07:51:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:52:04 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 07:54:48 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 07:56:30 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 07:57:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:06:01 | × | zmt01 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 08:11:10 | <[exa]> | why would hindent convert my `makeLenses ''Ty` into `$makeLenses ''Ty`, with an extra dollar? |
| 08:11:15 | <[exa]> | (it doesn't even compile?) |
| 08:12:08 | <merijn> | [exa]: The syntax for toplevel splices changed at some point |
| 08:12:11 | <tomsmeding> | [exa]: $(makeLenses ''Ty) does |
| 08:12:22 | <merijn> | Possibly/probably hindent can't cope because it wasn't updated |
| 08:22:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:28:24 | <[exa]> | ah ok |
| 08:28:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:28:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:29:05 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 08:29:39 | <[exa]> | ah so the form without the dollar is deprecated, right? |
| 08:29:54 | <[exa]> | anyway thank you both, with $() it works and formats correctly |
| 08:30:26 | <davean> | Huh, hindent *claims* to be updated to at least GHC 9.10. |
| 08:30:37 | <davean> | Might be poor testing |
| 08:31:53 | <[exa]> | looks like regression yeah |
| 08:32:26 | <[exa]> | anyway the syntax without $ still seems to be supported in ghc 9.12 (at least docs say it's ok) |
| 08:32:36 | <tomsmeding> | is it actually officially deprecated? |
| 08:32:40 | <[exa]> | https://github.com/mihaimaruseac/hindent/issues/973 |
| 08:32:41 | <tomsmeding> | people don't like it |
| 08:33:15 | <[exa]> | I see no warning at https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/template_haskell.html#syntax (the note stars with "You may omit" in one of the bullets in the list) |
| 08:33:45 | <[exa]> | *starts |
| 08:33:59 | <tomsmeding> | if only the bullets were stars |
| 08:34:46 | × | nullobject quits (~josh@user/nullobject) (Quit: WeeChat 4.1.1) |
| 08:35:40 | <[exa]> | ◔_◔ |
| 08:37:27 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 08:38:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 08:38:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:39:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:43:57 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 08:45:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:45:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 08:45:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:56:06 | → | __monty__ joins (~toonn@user/toonn) |
| 08:56:46 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:05:23 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:08:59 | <bwe> | tomsmeding: That's it! Thanks. |
| 09:17:55 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 09:18:53 | → | j1n37- joins (~j1n37@user/j1n37) |
| 09:18:55 | → | Zowlyfon joins (sid346067@user/Zowlyfon) |
| 09:19:13 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 09:21:00 | <bwe> | helix editor appearingly doesn't support code lenses (yet, maybe through their plugin system?). – Which other way is there to evaluate a doctest within an open helix editor? I mean yanking a line and sending it to ghci and displaying the response shouldn't be too hard? |
| 09:23:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:23:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:25:16 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 09:25:40 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 09:26:12 | → | rvalue joins (~rvalue@user/rvalue) |
| 09:27:17 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Ping timeout: 265 seconds) |
| 09:27:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:28:01 | → | Digitteknohippie joins (~user@user/digit) |
| 09:29:00 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 09:31:26 | → | ubert1 joins (~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) |
| 09:38:29 | Digitteknohippie | is now known as Digit |
| 09:39:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:41:57 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:42:14 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 09:43:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:43:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:43:35 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 09:44:17 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 09:48:30 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 09:49:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:55:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 09:56:37 | → | mistivia_ joins (~mistivia@user/mistivia) |
| 09:56:43 | × | mistivia quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 09:57:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 10:14:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:15:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:16:55 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:19:06 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 10:22:41 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 10:22:52 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 10:25:16 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 10:25:44 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 10:29:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:29:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:34:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:34:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:47:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:47:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:54:06 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:57:29 | × | mistivia_ quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 10:57:42 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 11:01:48 | → | jespada joins (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) |
| 11:03:43 | → | mistivia joins (~mistivia@user/mistivia) |
| 11:08:42 | → | Digitteknohippie joins (~user@user/digit) |
| 11:10:12 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 11:12:05 | → | mistivia_ joins (~mistivia@user/mistivia) |
| 11:12:49 | × | mistivia quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 11:13:22 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 11:15:33 | → | fp joins (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) |
| 11:18:20 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:21:30 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 11:22:03 | → | sand-witch joins (~m-mzmz6l@38.242.236.220) |
| 11:28:42 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 11:32:06 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 11:32:36 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 11:32:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:38:13 | Digitteknohippie | is now known as Digit |
| 11:48:11 | → | Square joins (~Square4@user/square) |
| 11:48:25 | → | j1n37- joins (~j1n37@user/j1n37) |
| 11:48:35 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 11:48:49 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 11:49:05 | → | rvalue joins (~rvalue@user/rvalue) |
| 11:52:23 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:53:21 | → | rvalue- joins (~rvalue@user/rvalue) |
| 11:53:53 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 11:54:14 | × | jespada quits (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 11:57:24 | → | jespada joins (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) |
| 12:01:58 | rvalue- | is now known as rvalue |
| 12:05:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:05:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:07:03 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2) |
| 12:17:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 12:18:35 | → | ft_ joins (~ft@p3e9bc106.dip0.t-ipconnect.de) |
| 12:18:39 | → | xff0x joins (~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) |
| 12:31:16 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 12:35:05 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 12:35:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:36:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:38:01 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 12:42:10 | × | acidjnk quits (~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 12:43:32 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 12:49:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 12:51:05 | → | weary-traveler joins (~user@user/user363627) |
| 12:51:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:52:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:52:16 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 12:53:22 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:53:22 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 12:53:41 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 12:56:19 | × | AlexZenon quits (~alzenon@178.34.150.214) (Quit: ;-) |
| 12:57:56 | × | AlexNoo quits (~AlexNoo@178.34.150.214) (Quit: Leaving) |
| 12:57:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:58:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:58:30 | × | mistivia_ quits (~mistivia@user/mistivia) (Ping timeout: 265 seconds) |
| 12:58:59 | × | fp quits (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Ping timeout: 265 seconds) |
| 12:59:41 | → | user363627 joins (~user@user/user363627) |
| 13:00:30 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 13:00:54 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 13:01:54 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 260 seconds) |
| 13:04:23 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 13:05:07 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 13:08:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:08:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:15:55 | → | mistivia joins (~mistivia@user/mistivia) |
| 13:19:10 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:20:24 | → | AlexZenon joins (~alzenon@178.34.150.214) |
| 13:22:24 | × | mange quits (~user@user/mange) (Remote host closed the connection) |
| 13:25:10 | × | AlexZenon quits (~alzenon@178.34.150.214) (Client Quit) |
| 13:30:13 | → | AlexZenon joins (~alzenon@178.34.162.25) |
| 13:32:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:32:32 | → | AlexNoo joins (~AlexNoo@178.34.162.25) |
| 13:32:48 | → | califax joins (~califax@user/califx) |
| 13:34:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:34:15 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 13:34:16 | × | mistivia quits (~mistivia@user/mistivia) (Ping timeout: 265 seconds) |
| 13:34:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:37:27 | → | mistivia joins (~mistivia@user/mistivia) |
| 13:39:36 | × | jespada quits (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 13:40:09 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 13:41:59 | × | mistivia quits (~mistivia@user/mistivia) (Ping timeout: 252 seconds) |
| 13:45:12 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 13:45:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:48:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:50:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:50:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:53:48 | → | gorignak joins (~gorignak@user/gorignak) |
| 13:58:56 | → | Square2 joins (~Square@user/square) |
| 13:59:31 | → | jespada joins (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) |
| 13:59:43 | → | acidjnk joins (~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) |
| 14:02:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:02:09 | → | mistivia joins (~mistivia@user/mistivia) |
| 14:02:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:03:06 | × | Square quits (~Square4@user/square) (Ping timeout: 276 seconds) |
| 14:07:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 14:16:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:16:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:20:03 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 14:30:58 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 14:41:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:44:11 | ft_ | is now known as ft |
| 14:46:44 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 14:49:37 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 14:51:17 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 14:52:08 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 14:53:29 | × | mistivia quits (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 14:54:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:54:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:54:51 | → | mistivia joins (~mistivia@user/mistivia) |
| 14:57:58 | → | Guest86 joins (~Guest0@175.176.24.130) |
| 15:03:24 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:03:44 | → | philopsos joins (~caecilius@user/philopsos) |
| 15:05:56 | → | zmt00 joins (~zmt00@user/zmt00) |
| 15:06:54 | × | Guest86 quits (~Guest0@175.176.24.130) (Quit: Client closed) |
| 15:12:00 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 15:13:34 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 15:14:58 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 15:22:06 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 15:23:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:23:23 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 15:23:33 | × | gorignak quits (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 15:24:20 | → | gorignak joins (~gorignak@user/gorignak) |
| 15:24:54 | → | fp joins (~Thunderbi@2001:708:150:10::1d80) |
| 15:32:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 15:33:16 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 15:35:17 | × | acidjnk quits (~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 15:37:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 15:40:21 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 15:50:35 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 15:52:54 | <wbrawner> | Hi all, haskell noob here. I'm trying to write a function that will fetch the HTML for a given URL. Something along the lines of fetchHTML :: String -> String, but I know that won't work since I'll be making an HTTP request, which would make the function impure. How can I type this so that I'm able to just take in a string, perform an IO action, then return a string? My WIP code is here: https://paste.wbrawner.com/upload/falco |
| 15:52:54 | <wbrawner> | n-zebra-goose |
| 15:53:10 | <wbrawner> | I guess my message was too long, here's the URL again: https://paste.wbrawner.com/upload/falcon-zebra-goose |
| 15:53:25 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 15:53:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 15:55:27 | <wbrawner> | (I also know I should probably be returning a Maybe String to handle errors, haven't gotten that far yet) |
| 15:56:15 | → | __monty__ joins (~toonn@user/toonn) |
| 16:01:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:01:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:02:25 | × | mistivia quits (~mistivia@user/mistivia) (Ping timeout: 248 seconds) |
| 16:02:55 | × | sajenim quits (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 16:03:32 | <ski> | wbrawner : you will need `fetchHTML :: String -> IO String' (can't "escape I/O") |
| 16:03:33 | → | mistivia joins (~mistivia@user/mistivia) |
| 16:05:19 | <ski> | (also, s/which would make the function impure/which would make the function (return an) effectful (action)" (all Haskell functions are "pure", including ones doing I/O .. that's the whole point of having `IO' in the types, it's explicit in the interface (and also in the implementation code), rather than implicit, happening on the side (so, "effectful", rather than "side-effectful"))) |
| 16:05:27 | × | jespada quits (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:06:13 | <ski> | for `Maybe', you'd want `String -> IO (Maybe String)' (or `String -> MaybeT IO String', which amounts to the same thing, but might be slightly more convenient) |
| 16:06:33 | <ski> | @quote /bin/ls |
| 16:06:34 | <lambdabot> | shachaf says: getLine :: IO String contains a String in the same way that /bin/ls contains a list of files |
| 16:06:40 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:06:48 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 16:07:09 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:07:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:07:27 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 16:12:24 | × | mistivia quits (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 16:15:22 | → | mistivia joins (~mistivia@user/mistivia) |
| 16:15:50 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:16:17 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 16:20:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:20:47 | → | j1n37- joins (~j1n37@user/j1n37) |
| 16:21:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:22:12 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 16:24:14 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 16:30:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:31:29 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:34:18 | × | fp quits (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 16:34:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:34:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:40:11 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 16:40:57 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 16:45:37 | → | dontdieych2 joins (~quassel@user/dontdieych2) |
| 16:56:10 | <probie> | wbrawner: Obligatory "you don't want to return a `Maybe String`". You probably want something like `Either URLFetchError String`, (where `URLFetchError` is a type you define yourself) so that you can convey what has gone wrong (an unreachable server is different from not found or an auth error) |
| 16:57:31 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 17:04:45 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 17:05:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:08:02 | × | dontdieych2 quits (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:08:50 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 17:08:55 | × | ubert1 quits (~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) (Quit: ubert1) |
| 17:12:54 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 17:12:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:13:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:14:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:16:02 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:16:20 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 17:16:58 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:25:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:25:48 | <wbrawner> | ski: that makes sense, thanks. I tried to change it but now I'm running into other issues. If I can't work through these I'll share another paste |
| 17:25:58 | <wbrawner> | probie: also makes sense. I'll do that instead, thanks! |
| 17:28:03 | <EvanR> | how are you making the HTTP call |
| 17:28:19 | <EvanR> | printing raw bytes to a socket? |
| 17:28:44 | monochrom | uses telnet or nc. >:) |
| 17:29:01 | <EvanR> | ewww telnet |
| 17:29:39 | <monochrom> | When I used telnet, it was only because I hadn't heard of nc. |
| 17:30:04 | <EvanR> | I recently found out about "rlwrap" |
| 17:30:18 | <EvanR> | rlwrap telnet coolmud.net 8888 |
| 17:30:35 | <EvanR> | magically separates your command prompt from async server messages |
| 17:30:42 | <monochrom> | Hrm! I should try rlwrap sh too. (I teach sh in the Unix course.) |
| 17:31:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:31:21 | <monochrom> | Neato! I should tell my students next time. |
| 17:32:12 | <monochrom> | But no tab-complete filenames. Maybe I will see if I can configure it to. |
| 17:32:17 | <EvanR> | it has a bunch of other features, for instance, provide your own autocomplete list, or tell it to add every word ever seen on input or output to the autocomplete list |
| 17:32:20 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:33:27 | <monochrom> | The Curry people didn't bother to use libreadline in their REPL. They say "just use rlwrap yourself". :) |
| 17:33:48 | <monochrom> | (and that's how I heard of it) |
| 17:33:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 17:34:04 | → | j1n37 joins (~j1n37@user/j1n37) |
| 17:34:06 | <EvanR> | do one thing and do it well, then combine with something else which did that |
| 17:34:25 | <wbrawner> | EvanR if that question was for me, I'm using http-client |
| 17:34:28 | <EvanR> | violating that rule instantly |
| 17:34:38 | <ski> | there's some variant/clone, `ledit', written in OCaml |
| 17:34:43 | <wbrawner> | I updated the type signature, now getting a different error: https://paste.wbrawner.com/upload/monkey-falcon-dove |
| 17:35:04 | <wbrawner> | Couldn't match type ‘Char’ with ‘[Char]’. Expected IO String, Actual [Char] |
| 17:35:14 | <ski> | (not being LGPL, iirc ?) |
| 17:35:23 | <EvanR> | "parseRequest" sounds like it would expect a request and not a URL |
| 17:35:27 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 17:35:52 | <EvanR> | i.e. DELETE /facebook |
| 17:36:07 | <wbrawner> | EvanR yeah, naming is hard :P I have GET prefixed to the URL |
| 17:36:27 | <wbrawner> | I'll change that to requestStr or something along those lines |
| 17:36:39 | <EvanR> | try changing $ to <$> on the last line |
| 17:37:06 | <ski> | L8.unpack <$> getResponseBody response |
| 17:37:08 | <ski> | yep |
| 17:38:29 | <wbrawner> | Haven't seen that before, I'll have to read up on what it is |
| 17:38:47 | <wbrawner> | That gives me Couldn't match type ‘L8.ByteString’ with ‘IO L8.ByteString’ |
| 17:39:12 | <ski> | `(<$>)' is another name for `fmap' |
| 17:40:58 | → | jespada joins (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) |
| 17:41:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:42:45 | × | jespada quits (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 17:46:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:47:26 | <ski> | hm, try replacing `getResponseBody' with `responseBody' ? |
| 17:47:40 | <ski> | oh, and that would make it |
| 17:47:56 | <ski> | return (L8.unpack (responseBody response)) |
| 17:48:04 | <ski> | wbrawner ^ |
| 17:48:29 | <EvanR> | oh getResponseBody is not IO |
| 17:48:43 | <EvanR> | or not supposed to be |
| 17:49:37 | <monochrom> | When meaningful names go wrong. :) |
| 17:50:00 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 17:51:02 | <EvanR> | httpLbs (pronounced http pounds of course), "reads in the entire response and closes the connection. uses lazy bytestring for memory efficiency" o_O |
| 17:51:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:51:52 | → | dibblego joins (~dibblego@116.255.1.119) |
| 17:51:52 | × | dibblego quits (~dibblego@116.255.1.119) (Changing host) |
| 17:51:52 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 17:53:51 | <monochrom> | A Data.ByteString.Lazy of Flesh |
| 17:54:55 | <EvanR> | I'm wondering how lazy that strategy can be |
| 17:58:13 | <c_wraith> | It's either not lazy for efficiency or doesn't promptly close the connection |
| 17:58:29 | <c_wraith> | I'm not sure which part of the docs to disbelieve |
| 17:59:41 | <monochrom> | You can believe all of it, keeping in mind it never said "right now right away" for the "close" part. |
| 18:00:13 | <monochrom> | Hell, also for the "read" part. |
| 18:02:23 | <EvanR> | I paraphrased it |
| 18:02:28 | <EvanR> | it says immediately closes the connection |
| 18:03:14 | <EvanR> | I'm boggling at reading in an entire lazy bytestring and closing the connection immediately xD |
| 18:03:26 | <EvanR> | how do you even do that |
| 18:03:38 | <EvanR> | deepseq |
| 18:05:45 | <c_wraith> | length is sufficient |
| 18:07:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:08:03 | <EvanR> | hax |
| 18:08:12 | <ski> | EvanR : it is `IO', but it takes `Result (Response a)', not `Response a' |
| 18:08:18 | × | acarrico quits (~acarrico@pppoe-209-99-221-107.greenmountainaccess.net) (Quit: Leaving.) |
| 18:08:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:08:25 | <ski> | where `Result = Either Whatever' |
| 18:08:46 | <ski> | (throwing exception in case of `Left', apparently) |
| 18:09:04 | <EvanR> | classy |
| 18:09:39 | <ski> | but since wbrawner already had a `Response a' here, no need to wrap in `Right' and pass to `getResponseBody', better to just extract the `responseBody' field |
| 18:11:52 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 18:12:05 | → | acidjnk joins (~acidjnk@p200300d6e71c4f410c8650aa1a5c1c11.dip0.t-ipconnect.de) |
| 18:13:16 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 18:13:26 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:13:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:16:23 | <EvanR> | I see. By using lazy I/O you can allocate chunks in order and they're already chained together |
| 18:16:50 | <EvanR> | if you tried reading in an unknown amount using strict bytestring you'd have to "reallocate" when your guess at total size keeps being wrong |
| 18:20:04 | <monochrom> | Hrm, I made the wrong bet. :) |
| 18:20:42 | <wbrawner> | ski: that did the trick, thanks for the help! |
| 18:21:00 | <wbrawner> | as an aside: is http-client commonly used? |
| 18:21:04 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:21:41 | <wbrawner> | I'm coming from Android dev where we reach for libraries for pretty much anything, and in my free time I often write Go where I can just use things from the stdlib and almost never reach for third-party dependencies |
| 18:21:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:22:20 | <wbrawner> | Personally I prefer the Go approach of only using third-party stuff when I really need it but old habits die hard in unfamiliar settings |
| 18:22:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:25:37 | → | sprotte24 joins (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) |
| 18:27:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:27:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:29:04 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:29:13 | monochrom | reaches for libraries that come with GHC for everything. :) |
| 18:30:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:31:18 | <monochrom> | Oh, historical GHC has gone through the mood swing of "OMG GHC must come with everything and batteries and the kitchen sink" and "OMG GHC must come with as little as possible". Twice. |
| 18:32:19 | → | dibblego joins (~dibblego@116.255.1.119) |
| 18:32:19 | × | dibblego quits (~dibblego@116.255.1.119) (Changing host) |
| 18:32:19 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 18:33:17 | <monochrom> | Plus outside GHC there was also "OMG Haskell Platform is the best idea ever" and "OMG Haskell Platform is the worst idea ever". (Haskell Platform was an effort to be a secondary "standard" library to include everything and batteries and the kitchen sink.) |
| 18:36:15 | <monochrom> | My theory is that there was a time our opinion leaders envied Python popularity and decided we should parrot them, for example "batteries included", for example making snake-oil claims like "increased productivity" with no data. |
| 18:36:49 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 18:38:17 | <monochrom> | (Fortunately, we later found out that while those worked for Python---good for them---they didn't work for Haskell.) |
| 18:38:56 | <__monty__> | I actually like JavaScript radically tiny libraries model (at least in theory). Makes it realistic for things to achieve perfection and not require unnecessary version constraint churn. |
| 18:41:13 | <monochrom> | For example, with a compiler with insane cross-module even cross-package inlining, batteries included backfires badly (cf "cabal hell" back then). |
| 18:42:40 | <sclv> | the best part of platform was it was the first time we had a standard installer story across multiple platforms. ghcup, which replaced that, is leagues better now, but it was still |
| 18:42:49 | <sclv> | a big step |
| 18:43:26 | → | j1n37- joins (~j1n37@user/j1n37) |
| 18:43:35 | × | haskellbridge quits (~hackager@syn-096-028-227-029.res.spectrum.com) (Remote host closed the connection) |
| 18:44:16 | <wbrawner> | I think trying to ship everything in stdlib is untenable but I really dislike working with npm/cargo that pull in hundreds of transitive dependencies when I ask for one |
| 18:44:29 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 18:44:33 | <sclv> | two other things are “batteries included” made more sense when some batteries were otherwise hard to install (since fixed), when there were fewer and more stable libs, and when the notion of “batteries” covered far less surface area |
| 18:45:35 | <sclv> | wbrawner: some of that is imho “javascript disease” where people chop up libraries too small. i know what induces this in js (versioning problems) but idk in cargo |
| 18:45:49 | <__monty__> | wbrawner: Do you actually care about transitive dependencies or do you care about how long/much space it takes to install them? |
| 18:46:28 | <monochrom> | Oh then you will hate our lens library. >:) |
| 18:46:38 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 18:46:39 | → | haskellbridge joins (~hackager@syn-096-028-227-029.res.spectrum.com) |
| 18:46:39 | ChanServ | sets mode +v haskellbridge |
| 18:47:02 | <monochrom> | https://ro-che.info/ccc/23 |
| 18:47:04 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:47:04 | <wbrawner> | transitive dependencies. I travel a lot and write code offline. If I have go installed I can pretty much write whatever I want without internet but if I try to write something in Node I have to hope that I remember to cache all of the dependencies I _may_ need before I get internet again |
| 18:47:10 | <wbrawner> | __monty__ ^ |
| 18:47:53 | <__monty__> | What does that have to do with *transitive* dependencies? That sounds like behemoth stdlib v. minimal stdlib. |
| 18:47:57 | <EvanR> | wbrawner, is it the number of transitive dependencies that annoys you. Like how in C people will rewrite a library just to avoid *any* dependencies, because that's a number greater than zero |
| 18:48:06 | <c_wraith> | Yeah, that's not about transitive dependencies. Just dependencies at all |
| 18:48:14 | <EvanR> | if they combined all the functionality being pulled in into 1 dependency would that be better for you |
| 18:48:47 | <EvanR> | yes is it the number greater than zero problem or number greater than 10 problem |
| 18:49:34 | <monochrom> | I think it's the "greater than my data plan" problem. :) |
| 18:49:57 | <EvanR> | that would make the size of dependencies the problem not discrete number |
| 18:50:37 | <EvanR> | dang __monty__ asked this already |
| 18:50:53 | monochrom | once exceeded his data plan by a "simple" "docker pull currylang/kics2". That was 2GB. |
| 18:52:12 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 18:52:13 | <wbrawner> | yeah it mostly comes down to total number of dependencies, because I can install a few locally and be ready to go, but when there are dozens needed to do anything useful it's more of a chore to install and make sure they're up-to-date |
| 18:52:31 | <wbrawner> | Also I rely on renovate to keep dependencies up to date and the node projects I have are the noisiest in that regard |
| 18:52:32 | × | rembo10_ quits (~rembo10@main.remulis.com) (Ping timeout: 272 seconds) |
| 18:52:49 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 18:53:02 | × | mistivia quits (~mistivia@user/mistivia) (Ping timeout: 244 seconds) |
| 18:53:10 | <EvanR> | the idea that you just need "the dependency" and any project that needs it will work is alien to me |
| 18:53:19 | <EvanR> | because versions |
| 18:53:27 | <EvanR> | now I cabal sandbox everything |
| 18:53:27 | × | gorignak quits (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 18:53:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:53:50 | → | gorignak joins (~gorignak@user/gorignak) |
| 18:53:56 | <__monty__> | Does the *total* number actually matter? You don't have to manually track down and install/update every transitive dependency with any of the tooling I'm familiar with. |
| 18:53:56 | <wbrawner> | I use renovate to keep all of my projects on the latest versions so really I just need the latest version of said dependency and I'm good to go |
| 18:54:05 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:54:21 | <EvanR> | that sounds like a would be nice situation |
| 18:54:26 | × | philopsos quits (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 18:54:38 | <EvanR> | some projects are on old version of libraries though |
| 18:54:42 | → | philopsos joins (~caecilius@user/philopsos) |
| 18:54:43 | <EvanR> | to update it all would take work |
| 18:54:45 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 18:54:52 | <EvanR> | (without any obvious benefit) |
| 18:55:05 | × | yin quits (~z@user/zero) (Ping timeout: 272 seconds) |
| 18:55:12 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:55:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 18:55:28 | <wbrawner> | well like with go for example, I can just clone the git repos to ~/go/src and then I can pull whatever version I need from there since I have the whole repo locally |
| 18:55:30 | <EvanR> | but I get the impression haskell ecosystem changes faster than normal |
| 18:55:36 | <wbrawner> | But having to do that for a ton of transitive dependencies becomes a chore |
| 18:55:57 | → | yin joins (~z@user/zero) |
| 18:56:20 | → | mistivia joins (~mistivia@user/mistivia) |
| 18:56:35 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 18:56:42 | <__monty__> | Are we actually using the term "transitive" in the same way? Because I never deal with transitive dependencies directly. That's why they're transitive. |
| 18:56:54 | → | leah2 joins (~leah@vuxu.org) |
| 18:57:02 | <EvanR> | in go you download transitive dependencies manually? |
| 18:57:12 | <wbrawner> | transitive dependencies meaning dependencies of my dependencies, right? |
| 18:57:15 | <EvanR> | that can't be right |
| 18:57:26 | × | j1n37- quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 18:57:30 | <wbrawner> | go builds from source afaict, just like cargo and I thought haskell too |
| 18:57:43 | <wbrawner> | haskell doesn't pull binaries for dependencies does it? |
| 18:58:39 | <wbrawner> | e.g. when i run `go build` it will build all of my dependencies (so the transitive dependencies too) and then build my code last |
| 18:58:45 | <wbrawner> | I was under the impression haskell did the same |
| 18:58:52 | <EvanR> | it builds them all from source for me, but only the first time. And it's automated |
| 18:59:05 | <__monty__> | From source or not doesn't actually make a difference. Transitive does mean non-direct dependencies to me, yeah. |
| 18:59:10 | <EvanR> | so I'm not pulling a git repo for each library I'm suring |
| 18:59:12 | <monochrom> | Oh we're the worst of both worlds. We pull source code and build. |
| 18:59:20 | <EvanR> | using |
| 18:59:51 | <monochrom> | If you're travelling, you drain both your data plan and your laptop battery. >:) |
| 19:00:03 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:17 | <monochrom> | (Try depending on aeson when you're on an airplane. >:) ) |
| 19:00:31 | <__monty__> | monochrom: Monolithic dependencies that you only use a fraction of sound worse when bandwidth is limited. |
| 19:00:32 | <wbrawner> | does stack cache dependencies outside of the project dir then? e.g. node stores them all in node_modules within the project dir, so if I build one node project and then try to build another project offline that shares the exact same dependencies, it'll fail because it can't pull them |
| 19:00:41 | → | caconym7 joins (~caconym@user/caconym) |
| 19:00:44 | <EvanR> | stack! |
| 19:00:55 | <__monty__> | wbrawner: Pnpm solves that though. |
| 19:01:09 | <__monty__> | Like, those are tooling problems not transitive dependency problems. |
| 19:01:14 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:01:19 | <monochrom> | __monty__: It could be worse. Consider a million dependencies and for each you only use one line of code. |
| 19:02:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:02:13 | <monochrom> | Oh, stack and cabal cache what they can. Especially downloads. |
| 19:02:15 | <__monty__> | Versus a couple dependencies that are hundreds of thousands of lines each? |
| 19:02:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:02:31 | <EvanR> | not having the data limit or throughput or battery is an issue, but the fix for that is not to stop and rewrite aeson on the plane |
| 19:03:20 | × | remexre quits (~remexre@user/remexre) (Remote host closed the connection) |
| 19:03:32 | <EvanR> | but I was hoping it didn't boil down to "would rather not reuse reusable code" which is often the case in C |
| 19:03:41 | <monochrom> | It could be worse. Consider an in-person job interview in which "write aeson now. on the whiteboard." |
| 19:03:59 | <EvanR> | that sounds to real |
| 19:04:15 | <__monty__> | "In whatever pseudo code you want, but I *will* complain about missing ;'s." |
| 19:04:31 | <monochrom> | I mean we heard enough rumours about "write an editor now. on the whiteboard." so why not a CSV library too. :) |
| 19:04:49 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:04:50 | <Rembane> | __monty__: Imagine whitespace, but with punctuation instead. |
| 19:05:01 | <EvanR> | ok so that one wasn't because they needed an editor to be written as part of the job |
| 19:05:05 | <EvanR> | and wasn't just me |
| 19:06:06 | <EvanR> | space = punctuation = roguelike nethacks |
| 19:06:32 | <monochrom> | If you're interviewing augustuss (yeah fat chance, I know), be sure to up the game with "write a haskell compiler now. on the whiteboard." >:) |
| 19:07:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:08:32 | × | natto17 quits (~natto@129.154.243.159) (Ping timeout: 244 seconds) |
| 19:09:11 | <wbrawner> | yeah I agree that it's a tooling problem, it's just nice that go solves this out of the box so I don't need to go hunting for solutions |
| 19:09:24 | <EvanR> | wait how goes go solve it? |
| 19:09:37 | <EvanR> | a lot of libraries are embedded in its git repo? |
| 19:09:50 | → | sprotte24_ joins (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) |
| 19:10:07 | → | natto17 joins (~natto@129.154.243.159) |
| 19:10:08 | <__monty__> | Just with a big batteries included stdlib I assume. |
| 19:10:30 | <Rembane> | Vendoring? Few dependencies? |
| 19:12:22 | <monochrom> | I get "too many dependencies". I am surprised that you speak like what you need doesn't plateau after, say, a year. |
| 19:13:01 | <EvanR> | if I understood the problem, that you need a library for something, then I'm not sure including a lot of libraries in the base language solves that exactly. Just reduces the pressure |
| 19:13:03 | <monochrom> | I know that versions change, but it is not like when you're on an airplane your computer magically says "new versions detected, need new download" either. |
| 19:13:28 | <EvanR> | ^ which is why you need old versions |
| 19:13:51 | <haskellbridge> | <geekosaur> quick test |
| 19:14:05 | <EvanR> | check |
| 19:14:26 | <Rembane> | Hi geekosaur! |
| 19:14:50 | <mauke> | preflex: seen geekosaur |
| 19:14:50 | <preflex> | geekosaur was last seen on #haskell 59 seconds ago, saying: quick test |
| 19:15:14 | <geekosaur> | still moving in but at least I have a desk now |
| 19:23:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 19:23:51 | × | euleritian quits (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:24:02 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 19:24:20 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:24:49 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 19:25:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:26:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:26:21 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 19:26:35 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:28:11 | → | euleritian joins (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 19:28:43 | → | lol_ joins (~lol@2603:3016:1e01:b960:307d:f5b5:c6a2:664f) |
| 19:30:28 | → | j1n37- joins (~j1n37@user/j1n37) |
| 19:31:55 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 19:32:44 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:d5f4:984e:ebc2:54f8) (Ping timeout: 260 seconds) |
| 19:35:36 | × | euleritian quits (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:35:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:35:53 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 19:35:58 | <wbrawner> | yeah the issue I run into is more like I want to start a new project while away and without internet but I didn't cache all the dependencies I needed so now I can't until I'm online again. Working on a project I've already cloned/built isn't an issue |
| 19:36:29 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 19:36:52 | <wbrawner> | anyway, I was just curious to see where haskell landed on the spectrum of batteries included vs dependencies for things like left-padding strings |
| 19:37:09 | <monochrom> | We landed in the middle. |
| 19:37:28 | <wbrawner> | I think that's sensible |
| 19:37:42 | × | mistivia quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 19:37:43 | <monochrom> | OK, I misspoke. We landed near the minimal side but not extremely. |
| 19:37:48 | → | mistivia_ joins (~mistivia@user/mistivia) |
| 19:38:22 | <monochrom> | For example text, containers, mtl now comes with GHC. They used to be not included. |
| 19:38:48 | <monochrom> | (And then they used to be included prehistory. OK text didn't exist prehistory.) |
| 19:39:25 | <__monty__> | I know leftpad is often joked about but if I had to audit my dependencies I'd prefer auditing leftpad over auditing text. |
| 19:39:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:39:35 | <monochrom> | Oh, parsec too. Used to be not included. You can now cold-start a parser project on the moon. |
| 19:40:24 | <__monty__> | But I prefer megaparsec! |
| 19:41:33 | <monochrom> | I think there is a acme-??? package that acts as a joke meta package that depends on all of hackage. If you're going to Mars, be sure to preload it before you board the rocket. >:) |
| 19:42:46 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 19:42:49 | <__monty__> | Surely it doesn't? There have to be incompatible version constraints across all of Hackage. |
| 19:43:00 | <__monty__> | Or is that the joke? |
| 19:43:04 | <monochrom> | Haha OK I haven't tested it. |
| 19:43:22 | <monochrom> | The joke was just to depend on everything, not to expose conflicts. |
| 19:43:35 | <Rembane> | As long as you don't compile it + dependencies it should work, right? |
| 19:44:04 | <monochrom> | Well yeah, I mean if you don't turn on your computer, it works, and it is secure too. |
| 19:44:42 | <Rembane> | Yes! The best computer! |
| 19:45:09 | <geekosaur> | I thought that was the one encased in concrete and dropped into the Marianas Trench |
| 19:46:20 | <Rembane> | I was trying to make the case that the acme-??? package was useful, but when I started to write this it struck me that the dependencies might have their own dependencies that aren't ... hey ... will cabal download all transitive dependencies so you have them available? Because then the acme-??? package is actually useful as long as you don't compile it. |
| 19:47:24 | <__monty__> | I think Cabal doesn't download any sources unless it can figure out a plan? |
| 19:48:57 | <Rembane> | Then my case falls. |
| 19:50:36 | <monochrom> | Oops, you're right, `cabal fetch acme-???` just downloads everything, no conflict. |
| 19:50:52 | <Rembane> | Sweet! :D |
| 19:51:02 | <monochrom> | Ooops, the other of you may be right. |
| 19:51:09 | <__monty__> | *Everything*? |
| 19:51:17 | <monochrom> | OK, what is its exact name so I can test it? |
| 19:51:47 | <monochrom> | acme-everything |
| 19:51:48 | <__monty__> | `acme-everything`? |
| 19:52:54 | <monochrom> | OK, "Could not resolve dependencies" and it quits, no download. :( |
| 19:53:10 | <monochrom> | "There is no free download" |
| 19:53:51 | <Rembane> | :( |
| 19:54:47 | <monochrom> | But the motivation was funny. "The joke started when a colleague liked the leftToMaybe :: Either a b -> Maybe a function from either, which has a *huge* footprint compared to the utility it provides." |
| 19:55:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:55:43 | <monochrom> | But perhaps an acme-kmettverse would work better. |
| 19:55:56 | <Rembane> | I think both need to exist |
| 19:56:32 | <__monty__> | leftToMaybe the package when? |
| 19:57:52 | <EvanR> | includung Parsec is really nice even if I might prefer any of the 10 other alternatives |
| 19:58:00 | <monochrom> | Down that road is "one package per function". |
| 19:58:12 | <monochrom> | And down that road^2 is Smalltalk. >:) |
| 19:58:13 | <__monty__> | I like that destination : ) |
| 19:58:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 19:59:29 | <EvanR> | wbrawner, making a dummy project which includes all the "usual suspects" downloaded and ready, that is then cloned to another directory to really start, is a really handy trick in any language |
| 19:59:48 | <EvanR> | it really helps even if you have always on internet |
| 20:01:42 | <EvanR> | I would go a step further and write a script which creates this dummy project, because inevitably you will lose the seed somehow. (And making sure you don't lose the bootstrapping script is an exercise for the reader) |
| 20:04:39 | <wbrawner> | EvanR that's not a bad idea. another thing I just thought of was early in my programming career I got burned by Angular (a JS web framework) doing massive changes over the course of several years and I got tired of having to refactor my otherwise perfectly fine code to adapt to Google's whims |
| 20:05:15 | <EvanR> | that's why I avoid "make numbers go up" update policy |
| 20:06:17 | <wbrawner> | having minimal dependencies means I'm less subject to changes that I don't care about but can still stay on top of security updates and not have to hunt down an Ubuntu 10.04 iso to build it :P |
| 20:06:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:07:31 | <EvanR> | you know what's bad for security, language of the month comes out and all web code is rewritten in it xD |
| 20:07:53 | <wbrawner> | I think the web in general is bad for security :P |
| 20:07:55 | <EvanR> | apache is too old, rewrite the webserver |
| 20:08:49 | <wbrawner> | but yes change for change's sake is a headache to say the least |
| 20:09:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:12:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:12:00 | <__monty__> | Doesn't Nginx actually have a better security track record? |
| 20:14:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:15:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:19:16 | × | mistivia_ quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 20:22:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:23:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 20:24:04 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 20:25:25 | → | mistivia joins (~mistivia@user/mistivia) |
| 20:27:16 | <EvanR> | TIL that also in base there is GHC.Clock exporting getMonotonicTime :: IO Double and getMonotonicTimeNSec :: IO Word64 |
| 20:27:26 | <EvanR> | so that solves needing to download the clock package for this |
| 20:28:14 | <EvanR> | take that go |
| 20:31:55 | <haskellbridge> | <sm> how about caddy ? |
| 20:34:57 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 20:36:41 | <EvanR> | to look up caddy I stumbled upon this hilarious site, showcasing "Haskell" for CMS https://whatcms.org/c/Haskell |
| 20:36:55 | <EvanR> | https://whatcms.org/c/Caddy |
| 20:37:27 | <EvanR> | success avoided |
| 20:37:32 | <monochrom> | base keeps growing until it envelops everything. >:) |
| 20:45:49 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:49:57 | lol_ | is now known as jcarpenter2 |
| 20:50:46 | → | jespada joins (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) |
| 21:03:15 | <haskellbridge> | <sm> https://caddyserver.com , it's great. Hopefully its security record is too |
| 21:03:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:03:53 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 21:04:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:07:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:09:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:11:10 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 252 seconds) |
| 21:11:10 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 252 seconds) |
| 21:11:49 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:12:29 | × | sus0 quits (zero@user/zeromomentum) (Ping timeout: 245 seconds) |
| 21:14:00 | <EvanR> | that perspective transformed video player sold it |
| 21:14:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 21:25:08 | <monochrom> | Hrm, using the year for the port number. :) |
| 21:29:41 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 21:34:52 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:37:19 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 252 seconds) |
| 21:39:52 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 21:42:47 | → | bcksl joins (~bcksl@user/bcksl) |
| 21:42:56 | × | michalz quits (~michalz@185.246.207.218) (Remote host closed the connection) |
| 21:47:26 | → | end joins (~end@user/end/x-0094621) |
| 21:48:05 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 21:48:34 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:55:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 22:00:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 22:06:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:06:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:08:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:08:41 | → | mrmr1 joins (~mrmr@user/mrmr) |
| 22:09:53 | × | mrmr quits (~mrmr@user/mrmr) (Ping timeout: 244 seconds) |
| 22:09:53 | mrmr1 | is now known as mrmr |
| 22:12:08 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:13:19 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 22:19:38 | → | Square2 joins (~Square@user/square) |
| 22:28:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:28:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:31:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 22:33:41 | → | weary-traveler joins (~user@user/user363627) |
| 22:39:58 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 22:41:11 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 22:41:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:42:51 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:45:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:46:29 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:46:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:57:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:59:07 | × | sprotte24_ quits (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) (Quit: Leaving) |
| 22:59:14 | × | sprotte24 quits (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:06:20 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 23:07:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:08:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:09:43 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 23:11:30 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:16:34 | <apache> | EvanR: you're too old |
| 23:18:00 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 23:20:31 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 23:22:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 23:22:01 | Lord_of_Life_ | is now known as Lord_of_Life |
| 23:31:25 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Read error: Connection reset by peer) |
| 23:34:36 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 23:35:34 | × | haskellbridge quits (~hackager@syn-096-028-227-029.res.spectrum.com) (Remote host closed the connection) |
| 23:41:22 | → | haskellbridge joins (~hackager@syn-096-028-227-029.res.spectrum.com) |
| 23:41:22 | ChanServ | sets mode +v haskellbridge |
| 23:44:18 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:44:26 | × | manwithluck quits (~manwithlu@2a09:bac5:5082:2387::38a:10) (Remote host closed the connection) |
| 23:46:13 | → | mistivia_ joins (~mistivia@user/mistivia) |
| 23:46:54 | × | mistivia quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 23:48:09 | → | manwithluck joins (~manwithlu@2a09:bac5:5082:2387::38a:10) |
| 23:49:05 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 23:49:47 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:50:20 | <wbrawner> | lol |
| 23:54:36 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 23:59:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
All times are in UTC on 2025-05-16.