2024/07/17

2024-07-17 00:05:24 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds)
2024-07-17 00:24:53 +0000tolt(~weechat-h@li219-154.members.linode.com) (Server closed connection)
2024-07-17 00:25:17 +0000tolt(~weechat-h@li219-154.members.linode.com)
2024-07-17 00:30:38 +0000geekosaur(sid609282@xmonad/geekosaur) (Server closed connection)
2024-07-17 00:30:49 +0000geekosaur(sid609282@xmonad/geekosaur)
2024-07-17 00:32:30 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-07-17 00:33:43 +0000califax(~califax@user/califx)
2024-07-17 00:36:50 +0000hamishmack(sid389057@id-389057.hampstead.irccloud.com) (Server closed connection)
2024-07-17 00:37:01 +0000hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2024-07-17 00:43:02 +0000eL_Bart0(eL_Bart0@dietunichtguten.org) (Server closed connection)
2024-07-17 00:43:16 +0000eL_Bart0(eL_Bart0@dietunichtguten.org)
2024-07-17 00:52:33 +0000tomku(~tomku@user/tomku) (Ping timeout: 244 seconds)
2024-07-17 00:54:45 +0000tomku(~tomku@user/tomku)
2024-07-17 00:56:56 +0000bearen(Thunderbir@user/bearen) (Quit: bearen)
2024-07-17 01:00:35 +0000hueso(~root@user/hueso) (Ping timeout: 264 seconds)
2024-07-17 01:00:56 +0000hueso(~root@user/hueso)
2024-07-17 01:03:42 +0000pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 252 seconds)
2024-07-17 01:05:42 +0000amjoseph(~amjoseph@static-198-44-128-146.cust.tzulo.com) (Server closed connection)
2024-07-17 01:06:01 +0000amjoseph(~amjoseph@static-198-44-128-146.cust.tzulo.com)
2024-07-17 01:07:32 +0000mikess(~mikess@user/mikess) (Ping timeout: 244 seconds)
2024-07-17 01:09:33 +0000pointlessslippe1(~pointless@212.82.82.3)
2024-07-17 01:32:03 +0000nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Server closed connection)
2024-07-17 01:32:20 +0000nschoe(~nschoe@2a01:e0a:8e:a190:fc9c:5522:10fe:ee01)
2024-07-17 01:43:58 +0000CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-07-17 01:46:34 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-17 01:47:00 +0000rustisafungus(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-07-17 01:57:53 +0000xsarnik(xsarnik@lounge.fi.muni.cz) (Server closed connection)
2024-07-17 01:58:34 +0000xsarnik(xsarnik@147.251.58.102)
2024-07-17 02:12:06 +0000dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
2024-07-17 02:20:39 +0000xff0x(~xff0x@2405:6580:b080:900:bf0c:5535:de21:7813) (Ping timeout: 260 seconds)
2024-07-17 02:23:29 +0000td_(~td@i53870918.versanet.de) (Ping timeout: 244 seconds)
2024-07-17 02:24:14 +0000_xor(~xor@ip-208-102-243-175.dynamic.fuse.net) (Server closed connection)
2024-07-17 02:24:56 +0000_xor(~xor@ip-208-102-243-175.dynamic.fuse.net)
2024-07-17 02:25:24 +0000td_(~td@i5387091D.versanet.de)
2024-07-17 02:40:03 +0000puke(~puke@user/puke)
2024-07-17 02:41:17 +0000migas97(~migas@static.140.65.63.178.clients.your-server.de) (Server closed connection)
2024-07-17 02:41:34 +0000migas97(~migas@static.140.65.63.178.clients.your-server.de)
2024-07-17 02:55:16 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-07-17 02:55:32 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-17 02:56:47 +0000krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de) (Server closed connection)
2024-07-17 02:57:57 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-17 02:59:40 +0000krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de)
2024-07-17 03:08:53 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-17 03:13:10 +0000madhavanmiui(~madhavanm@2409:40f4:aa:1d5c:8000::)
2024-07-17 03:14:24 +0000aforemny(~aforemny@89.245.22.233)
2024-07-17 03:15:34 +0000aforemny_(~aforemny@2001:9e8:6cee:ed00:5f3f:c04b:274:bbf) (Ping timeout: 265 seconds)
2024-07-17 03:22:57 +0000turlando(~turlando@user/turlando) (Ping timeout: 246 seconds)
2024-07-17 03:27:13 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds)
2024-07-17 03:27:38 +0000peterbecich(~Thunderbi@47.229.123.186)
2024-07-17 03:29:10 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-17 03:29:42 +0000Apollyon(~Apollyon@user/Apollyon)
2024-07-17 03:39:30 +0000dysthesis(~dysthesis@user/dysthesis)
2024-07-17 03:42:50 +0000bionade24(~quassel@2a03:4000:33:45b::1) (Server closed connection)
2024-07-17 03:43:01 +0000bionade24(~quassel@2a03:4000:33:45b::1)
2024-07-17 03:47:04 +0000Apollyon(~Apollyon@user/Apollyon) (Ping timeout: 272 seconds)
2024-07-17 03:48:27 +0000madhavanmiui(~madhavanm@2409:40f4:aa:1d5c:8000::) (Quit: Quit)
2024-07-17 03:54:11 +0000turlando(~turlando@user/turlando)
2024-07-17 04:08:05 +0000myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Server closed connection)
2024-07-17 04:08:48 +0000myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-07-17 04:13:29 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-17 04:25:57 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-07-17 04:26:24 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-17 04:35:20 +0000_________(~nobody@user/noodly) (Ping timeout: 252 seconds)
2024-07-17 04:37:03 +0000_________(~nobody@user/noodly)
2024-07-17 04:40:18 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds)
2024-07-17 04:40:51 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-17 04:49:58 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 245 seconds)
2024-07-17 04:52:18 +0000peterbecich(~Thunderbi@47.229.123.186) (Ping timeout: 272 seconds)
2024-07-17 04:54:16 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-17 05:03:26 +0000cptaffe(~cptaffe@user/cptaffe) (Server closed connection)
2024-07-17 05:03:45 +0000cptaffe(~cptaffe@user/cptaffe)
2024-07-17 05:04:24 +0000red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Server closed connection)
2024-07-17 05:05:51 +0000red-snail(~snail@116.203.210.151)
2024-07-17 05:06:14 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds)
2024-07-17 05:18:46 +0000dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
2024-07-17 05:24:15 +0000Athas(athas@2a01:7c8:aaac:1cf:43b5:af0:11ab:b009) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-17 05:24:55 +0000Athas(athas@2a01:7c8:aaac:1cf:3643:cd42:648a:1761)
2024-07-17 05:25:57 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-07-17 05:26:23 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-17 05:30:22 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-17 05:32:53 +0000rvalue-(~rvalue@user/rvalue)
2024-07-17 05:33:43 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2024-07-17 05:35:24 +0000iteratee(~kyle@162.218.222.207) (Server closed connection)
2024-07-17 05:35:39 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-17 05:35:40 +0000iteratee(~kyle@162.218.222.207)
2024-07-17 05:36:59 +0000rvalue-rvalue
2024-07-17 05:37:29 +0000acidjnk(~acidjnk@p200300d6e72cfb68051143fcfd7c3ba4.dip0.t-ipconnect.de)
2024-07-17 05:41:05 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds)
2024-07-17 05:41:24 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-17 05:43:58 +0000tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-17 05:44:13 +0000tomku(~tomku@user/tomku)
2024-07-17 06:02:24 +0000peutri(~peutri@bobo.desast.re) (Server closed connection)
2024-07-17 06:02:32 +0000peutri(~peutri@bobo.desast.re)
2024-07-17 06:11:30 +0000Batzy(~quassel@user/batzy) (Server closed connection)
2024-07-17 06:11:46 +0000Batzy(~quassel@user/batzy)
2024-07-17 06:18:38 +0000oo_miguel(~Thunderbi@78.10.207.46)
2024-07-17 06:18:39 +0000mauke(~mauke@user/mauke) (Server closed connection)
2024-07-17 06:18:48 +0000mauke(~mauke@user/mauke)
2024-07-17 06:32:42 +0000puke(~puke@user/puke) (Quit: puke)
2024-07-17 06:34:04 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-07-17 06:34:48 +0000puke(~puke@user/puke)
2024-07-17 06:39:02 +0000remexre(~remexre@user/remexre) (Server closed connection)
2024-07-17 06:39:06 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-17 06:39:10 +0000remexre(~remexre@user/remexre)
2024-07-17 06:44:34 +0000Square2(~Square@user/square)
2024-07-17 06:48:33 +0000bliminse(~bliminse@user/bliminse) (Server closed connection)
2024-07-17 06:48:48 +0000bliminse(~bliminse@user/bliminse)
2024-07-17 06:50:29 +0000Athas(athas@2a01:7c8:aaac:1cf:3643:cd42:648a:1761) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-17 06:50:38 +0000Athas(athas@sigkill.dk)
2024-07-17 06:53:06 +0000yahb2(~yahb2@user/tomsmeding/bot/yahb2) (Server closed connection)
2024-07-17 06:53:28 +0000yahb2(~yahb2@user/tomsmeding/bot/yahb2)
2024-07-17 06:53:29 +0000ChanServ+v yahb2
2024-07-17 07:00:51 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-07-17 07:00:51 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2024-07-17 07:00:51 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2024-07-17 07:00:51 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer)
2024-07-17 07:00:51 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-07-17 07:01:12 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-17 07:01:16 +0000califax(~califax@user/califx)
2024-07-17 07:01:18 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-17 07:01:29 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2024-07-17 07:02:13 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-17 07:12:50 +0000nitrix(~nitrix@user/meow/nitrix) (Server closed connection)
2024-07-17 07:13:11 +0000nitrix(~nitrix@user/meow/nitrix)
2024-07-17 07:16:01 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 07:19:22 +0000misterfish(~misterfis@84.53.85.146)
2024-07-17 07:19:37 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Remote host closed the connection)
2024-07-17 07:21:56 +0000pie_(~pie_bnc@user/pie/x-2818909) (Server closed connection)
2024-07-17 07:22:05 +0000pie_(~pie_bnc@user/pie/x-2818909)
2024-07-17 07:24:14 +0000causal(~eric@50.35.88.207)
2024-07-17 07:28:13 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 07:34:59 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-07-17 07:35:21 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-17 07:41:13 +0000ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-17 07:42:13 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-07-17 07:43:32 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-07-17 07:43:32 +0000califax(~califax@user/califx) (Read error: Connection reset by peer)
2024-07-17 07:43:32 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-07-17 07:43:32 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-07-17 07:43:32 +0000chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-07-17 07:43:44 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-17 07:43:50 +0000califax(~califax@user/califx)
2024-07-17 07:44:00 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-07-17 07:44:03 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-17 07:44:25 +0000chiselfuse(~chiselfus@user/chiselfuse)
2024-07-17 07:46:36 +0000biberu(~biberu@user/biberu) (Server closed connection)
2024-07-17 07:46:58 +0000biberu(~biberu@user/biberu)
2024-07-17 07:50:21 +0000jcarpenter2(~lol@2603:3016:1e01:b9a0:5c24:ab66:e174:b6d5) (Ping timeout: 246 seconds)
2024-07-17 07:52:01 +0000jcarpenter2(~lol@2603:3016:1e01:b9a0:783e:a423:9f30:81ae)
2024-07-17 07:59:38 +0000siw5ohs0(~aiw5ohs0@user/aiw5ohs0)
2024-07-17 07:59:53 +0000siw5ohs0(~aiw5ohs0@user/aiw5ohs0) (Leaving)
2024-07-17 08:00:17 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-17 08:00:54 +0000cross(~cross@spitfire.i.gajendra.net) (Server closed connection)
2024-07-17 08:01:28 +0000cross(~cross@spitfire.i.gajendra.net)
2024-07-17 08:07:24 +0000tomsmeding(~tomsmedin@static.21.109.88.23.clients.your-server.de) (Server closed connection)
2024-07-17 08:07:48 +0000tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2024-07-17 08:10:22 +0000gmg(~user@user/gehmehgeh)
2024-07-17 08:18:21 +0000rosco(~rosco@175.136.155.137)
2024-07-17 08:20:42 +0000CiaoSen(~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03)
2024-07-17 08:22:45 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-07-17 08:32:07 +0000average(uid473595@user/average)
2024-07-17 08:38:36 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Server closed connection)
2024-07-17 08:40:03 +0000dev2(~dev@2405:201:c062:801d:f5e4:4034:e874:e3c) (Ping timeout: 246 seconds)
2024-07-17 08:42:20 +0000dev(~dev@2405:201:c062:801d:57c1:6e4a:f32e:3b55)
2024-07-17 08:43:55 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-07-17 09:01:46 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-17 09:04:07 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-17 09:05:54 +0000tmr(~tamer@5.2.74.82) (Server closed connection)
2024-07-17 09:06:14 +0000tmr(~tamer@5.2.74.82)
2024-07-17 09:06:35 +0000chele(~chele@user/chele)
2024-07-17 09:09:43 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 258 seconds)
2024-07-17 09:11:31 +0000misterfish(~misterfis@84.53.85.146)
2024-07-17 09:12:32 +0000madhavanmiui(~madhavanm@2409:40f4:101e:96c4:8000::)
2024-07-17 09:13:44 +0000madhavanmiui(~madhavanm@2409:40f4:101e:96c4:8000::) (Remote host closed the connection)
2024-07-17 09:13:56 +0000madhavanmiui(~madhavanm@2409:40f4:101e:96c4:8000::)
2024-07-17 09:15:00 +0000madhavanmiui(~madhavanm@2409:40f4:101e:96c4:8000::) (Client Quit)
2024-07-17 09:27:23 +0000mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Server closed connection)
2024-07-17 09:27:43 +0000mrvdb(~mrvdb@185.92.221.186)
2024-07-17 09:28:02 +0000tureba(~tureba@tureba.org) (Server closed connection)
2024-07-17 09:28:19 +0000tureba(~tureba@tureba.org)
2024-07-17 09:34:06 +0000CiaoSen(~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03) (Ping timeout: 252 seconds)
2024-07-17 09:38:51 +0000dfg(~dfg@user/dfg) (Server closed connection)
2024-07-17 09:39:05 +0000dfg(~dfg@dfg.rocks)
2024-07-17 09:39:05 +0000dfg(~dfg@dfg.rocks) (Changing host)
2024-07-17 09:39:05 +0000dfg(~dfg@user/dfg)
2024-07-17 09:39:38 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-17 09:48:01 +0000tomku(~tomku@user/tomku) (Ping timeout: 248 seconds)
2024-07-17 09:48:48 +0000barthandelous01(barth@triton.blinkenshell.org) (Server closed connection)
2024-07-17 09:49:07 +0000barthandelous01(barth@triton.blinkenshell.org)
2024-07-17 09:49:54 +0000foul_owl(~kerry@185.216.231.179) (Server closed connection)
2024-07-17 09:49:55 +0000tomku(~tomku@user/tomku)
2024-07-17 09:50:19 +0000foul_owl(~kerry@185.216.231.179)
2024-07-17 09:55:08 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-17 09:59:53 +0000remmie(~ian@tilde.team) (Server closed connection)
2024-07-17 10:02:15 +0000echoreply(~echoreply@45.32.163.16) (Server closed connection)
2024-07-17 10:02:40 +0000echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2024-07-17 10:04:45 +0000remmie(ianremsen@tilde.team)
2024-07-17 10:05:44 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Server closed connection)
2024-07-17 10:06:08 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-07-17 10:08:22 +0000zmt01(~zmt00@user/zmt00)
2024-07-17 10:10:00 +0000zmt00(~zmt00@user/zmt00) (Ping timeout: 246 seconds)
2024-07-17 10:10:33 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
2024-07-17 10:18:30 +0000ghodawalaaman(~thelounge@user/thelounge8234) (Server closed connection)
2024-07-17 10:18:58 +0000ghodawalaaman(~thelounge@194-195-113-248.ip.linodeusercontent.com)
2024-07-17 10:19:09 +0000ghodawalaaman(~thelounge@194-195-113-248.ip.linodeusercontent.com) (Changing host)
2024-07-17 10:19:09 +0000ghodawalaaman(~thelounge@user/thelounge8234)
2024-07-17 10:36:07 +0000xdminsy(~xdminsy@117.147.70.227)
2024-07-17 10:55:06 +0000remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Server closed connection)
2024-07-17 10:55:57 +0000remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-07-17 10:58:21 +0000CiaoSen(~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03)
2024-07-17 10:58:36 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
2024-07-17 10:59:41 +0000filwisher(2e6936c793@2a03:6000:1812:100::170) (Server closed connection)
2024-07-17 10:59:49 +0000filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-07-17 11:04:43 +0000xff0x(~xff0x@2405:6580:b080:900:ce8f:4f69:5153:7c85)
2024-07-17 11:08:12 +0000 <kqr> I remember a long time ago someone suggested an `ensure p x = guard p >> pure x` – but I don't see it used very often. Why is that? Am I doing something wrong if I find it convenient rather often?
2024-07-17 11:08:22 +0000 <haskellbridge> <sm> https://news.ycombinator.com/item?id=40983500 Libera channel sizes (#haskell is number 34 with 551 members)
2024-07-17 11:12:00 +0000 <Leary> kqr: I see (and use) `guard p $> x` often enough. It just doesn't really need a name.
2024-07-17 11:15:03 +0000cheater(~Username@user/cheater) (Server closed connection)
2024-07-17 11:16:33 +0000sam113101(~sam@24.157.253.231) (Server closed connection)
2024-07-17 11:16:58 +0000cheater(~Username@user/cheater)
2024-07-17 11:16:59 +0000sam113101(~sam@24.157.253.231)
2024-07-17 11:22:26 +0000whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (Server closed connection)
2024-07-17 11:22:34 +0000whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4)
2024-07-17 11:31:18 +0000raym(~ray@user/raym) (Server closed connection)
2024-07-17 11:31:33 +0000raym(~ray@user/raym)
2024-07-17 11:40:38 +0000jleightcap(7bc4014b62@user/jleightcap) (Server closed connection)
2024-07-17 11:40:47 +0000jleightcap(7bc4014b62@user/jleightcap)
2024-07-17 11:44:56 +0000danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-17 11:48:26 +0000arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Server closed connection)
2024-07-17 11:48:33 +0000arcadewise(52968ed80d@2a03:6000:1812:100::3df)
2024-07-17 11:50:06 +0000tomku(~tomku@user/tomku) (Ping timeout: 246 seconds)
2024-07-17 11:52:06 +0000tomku(~tomku@user/tomku)
2024-07-17 11:52:24 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 12:06:39 +0000 <kqr> Leary, Now $> seems like a good operator I hadn't thought about in a while! That certainly makes it convenient enough without the alias
2024-07-17 12:08:03 +0000 <kqr> Leary, That also relaxes the type from monad to applicative, so that's a bonus.
2024-07-17 12:13:42 +0000 <tomsmeding> kqr: you could have done that relaxation with your version as well if you replace >> with *> :)
2024-07-17 12:16:35 +0000danse-nr3(~danse-nr3@user/danse-nr3) (Remote host closed the connection)
2024-07-17 12:16:59 +0000danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-17 12:21:21 +0000leah2(~leah@vuxu.org) (Server closed connection)
2024-07-17 12:22:34 +0000leah2(~leah@vuxu.org)
2024-07-17 12:24:18 +0000 <kqr> I'm learning so much today!
2024-07-17 12:24:46 +0000 <kqr> I'm assuming *> and >> are equal in power, but Can *> do something that $> cannot?
2024-07-17 12:27:47 +0000 <kqr> Oh, of course, *> sequences in a second applicative, whereas $> only takes a pure value
2024-07-17 12:30:42 +0000danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 246 seconds)
2024-07-17 12:33:40 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 244 seconds)
2024-07-17 12:39:24 +0000laman1(~laman@rego.ai) (Quit: WeeChat 4.2.1)
2024-07-17 12:40:11 +0000akegalj(~akegalj@144-39.dsl.iskon.hr)
2024-07-17 12:42:21 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Server closed connection)
2024-07-17 12:42:47 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net)
2024-07-17 12:43:16 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-07-17 12:44:57 +0000motherfsck(~motherfsc@user/motherfsck) (Server closed connection)
2024-07-17 12:45:22 +0000motherfsck(~motherfsc@user/motherfsck)
2024-07-17 12:52:19 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-17 12:54:42 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-17 12:55:14 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2024-07-17 12:57:31 +0000nullie(~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.2.2)
2024-07-17 13:02:18 +0000dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com) (Server closed connection)
2024-07-17 13:02:30 +0000Reinhilde(ellenor@invictus.wa.us.umbrellix.net) (Server closed connection)
2024-07-17 13:02:32 +0000dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com)
2024-07-17 13:04:50 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-07-17 13:05:35 +0000Ellenor(ellenor@invictus.wa.us.umbrellix.net)
2024-07-17 13:10:07 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Ping timeout: 256 seconds)
2024-07-17 13:10:59 +0000AlexNoo_(~AlexNoo@94.233.241.102)
2024-07-17 13:13:33 +0000AlexZenon(~alzenon@178.34.160.117) (Ping timeout: 252 seconds)
2024-07-17 13:14:39 +0000AlexNoo(~AlexNoo@178.34.160.117) (Ping timeout: 252 seconds)
2024-07-17 13:16:36 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-17 13:23:51 +0000AlexZenon(~alzenon@94.233.241.102)
2024-07-17 13:24:25 +0000ystael(~ystael@user/ystael)
2024-07-17 13:24:58 +0000mikess(~mikess@user/mikess)
2024-07-17 13:31:47 +0000lockywolf(~lockywolf@public.lockywolf.net) (Server closed connection)
2024-07-17 13:32:05 +0000lockywolf(~lockywolf@public.lockywolf.net)
2024-07-17 13:37:36 +0000polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Server closed connection)
2024-07-17 13:37:52 +0000polux(~polux@51-15-169-172.rev.poneytelecom.eu)
2024-07-17 13:40:42 +0000AlexNoo_AlexNoo
2024-07-17 13:51:17 +0000juri_(~juri@implicitcad.org) (Server closed connection)
2024-07-17 13:51:31 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-07-17 13:51:32 +0000juri_(~juri@implicitcad.org)
2024-07-17 13:52:55 +0000misterfish(~misterfis@84.53.85.146)
2024-07-17 13:53:24 +0000gmg(~user@user/gehmehgeh)
2024-07-17 13:53:42 +0000gmg(~user@user/gehmehgeh) (Client Quit)
2024-07-17 13:54:27 +0000 <cheater> does anyone here work at github or know anyone at github? i made a popular project that attracted some trolls who reported it and now it's been taken offline. i'm looking for help getting it reinstated.
2024-07-17 13:54:57 +0000Sgeo(~Sgeo@user/sgeo)
2024-07-17 14:00:35 +0000falafel(~falafel@2a0c:5a84:e301:4d01::5c13)
2024-07-17 14:02:57 +0000gmg(~user@user/gehmehgeh)
2024-07-17 14:10:45 +0000fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof) (Server closed connection)
2024-07-17 14:11:44 +0000 <Maxdamantus> cheater: in case it helps, there's an unofficial channel ##github and the topic mentions the link https://support.github.com/request/landing
2024-07-17 14:12:53 +0000 <Maxdamantus> or rather, https://support.github.com/request (dunno if there's a difference, not logged in on my current device)
2024-07-17 14:14:46 +0000fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof)
2024-07-17 14:25:01 +0000danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-17 14:27:27 +0000bgamari(~bgamari@64.223.233.64) (Server closed connection)
2024-07-17 14:28:48 +0000bgamari(~bgamari@64.223.233.64)
2024-07-17 14:31:10 +0000CiaoSen(~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
2024-07-17 14:32:29 +0000 <cheater> yeah i already reached out via the official support
2024-07-17 14:32:30 +0000 <cheater> thanks though
2024-07-17 14:47:11 +0000dminuoso(~weechat@user/dminuoso) (Server closed connection)
2024-07-17 14:47:39 +0000weechat2(~weechat@user/dminuoso)
2024-07-17 14:56:24 +0000cassiopea(~cassiopea@user/cassiopea) (Ping timeout: 265 seconds)
2024-07-17 15:08:00 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 265 seconds)
2024-07-17 15:08:03 +0000cassiopea(~cassiopea@user/cassiopea)
2024-07-17 15:12:14 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 15:19:02 +0000EllenorReinhilde
2024-07-17 15:21:13 +0000falafel(~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 245 seconds)
2024-07-17 15:25:30 +0000tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-17 15:25:31 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 15:25:44 +0000tomku(~tomku@user/tomku)
2024-07-17 15:28:04 +0000Axman6(~Axman6@user/axman6) (*.net *.split)
2024-07-17 15:30:56 +0000Axman6(~Axman6@user/axman6)
2024-07-17 15:31:44 +0000average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-07-17 15:32:10 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Remote host closed the connection)
2024-07-17 15:32:23 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 15:41:13 +0000cassiopea(~cassiopea@user/cassiopea) (Ping timeout: 244 seconds)
2024-07-17 15:42:56 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-07-17 15:43:09 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-17 15:43:17 +0000danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 244 seconds)
2024-07-17 15:43:42 +0000jinsun(~jinsun@user/jinsun) (Server closed connection)
2024-07-17 15:44:00 +0000jinsun(~jinsun@user/jinsun)
2024-07-17 15:44:10 +0000danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-17 15:45:57 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Ping timeout: 256 seconds)
2024-07-17 15:48:35 +0000falafel(~falafel@188.26.220.220)
2024-07-17 15:58:25 +0000ash3en(~ash3en@193.32.248.188)
2024-07-17 16:00:38 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-07-17 16:02:35 +0000chele(~chele@user/chele) (Remote host closed the connection)
2024-07-17 16:14:42 +0000vizimajac(~Rodney@90.201.223.82) (Server closed connection)
2024-07-17 16:15:28 +0000vizimajac(~Rodney@90.201.223.82)
2024-07-17 16:15:36 +0000dev(~dev@2405:201:c062:801d:57c1:6e4a:f32e:3b55) (Ping timeout: 252 seconds)
2024-07-17 16:16:38 +0000sprout(~quassel@2a02-a448-3a80-0-1da5-990b-8c01-534d.fixed6.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-07-17 16:17:13 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-07-17 16:17:49 +0000akegalj(~akegalj@144-39.dsl.iskon.hr) (Quit: leaving)
2024-07-17 16:18:48 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2024-07-17 16:19:23 +0000ash3en(~ash3en@193.32.248.188) (Ping timeout: 256 seconds)
2024-07-17 16:19:38 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2024-07-17 16:29:02 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 16:36:23 +0000drlkf(~drlkf@192.184.163.34.bc.googleusercontent.com) (Server closed connection)
2024-07-17 16:36:49 +0000drlkf(~drlkf@192.184.163.34.bc.googleusercontent.com)
2024-07-17 16:38:01 +0000dev(~dev@2405:201:c062:801d:883e:68dd:abb9:b658)
2024-07-17 16:38:04 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 16:38:10 +0000kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-07-17 16:39:52 +0000kimiamania(~65804703@user/kimiamania)
2024-07-17 16:45:09 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-07-17 16:47:26 +0000jrm(~jrm@user/jrm) (Quit: ciao)
2024-07-17 16:48:59 +0000jrm(~jrm@user/jrm)
2024-07-17 16:51:20 +0000_0xa(~user@user/0xa/x-3134607) (Server closed connection)
2024-07-17 16:51:31 +0000_0xa(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc)
2024-07-17 16:51:31 +0000_0xa(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host)
2024-07-17 16:51:31 +0000_0xa(~user@user/0xa/x-3134607)
2024-07-17 16:55:28 +0000danse-nr3(~danse-nr3@user/danse-nr3) (Quit: Leaving)
2024-07-17 16:57:55 +0000__monty__(~toonn@user/toonn)
2024-07-17 16:58:16 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-17 17:00:38 +0000ash3en(~ash3en@193.32.248.188)
2024-07-17 17:02:49 +0000euphores(~SASL_euph@user/euphores)
2024-07-17 17:06:29 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-17 17:09:02 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-17 17:10:45 +0000todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-07-17 17:13:07 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-17 17:14:49 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-07-17 17:16:07 +0000ash3en(~ash3en@193.32.248.188) (Remote host closed the connection)
2024-07-17 17:20:49 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 17:22:23 +0000mikess(~mikess@user/mikess) (Quit: mikess)
2024-07-17 17:22:42 +0000mikess(~mikess@user/mikess)
2024-07-17 17:23:07 +0000mikess(~mikess@user/mikess) (Client Quit)
2024-07-17 17:23:26 +0000falafel(~falafel@188.26.220.220) (Ping timeout: 272 seconds)
2024-07-17 17:28:45 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds)
2024-07-17 17:46:09 +0000rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-17 17:50:15 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-17 17:50:29 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-17 17:51:00 +0000CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-17 17:53:29 +0000CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-17 17:56:59 +0000haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-07-17 17:59:14 +0000haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-17 17:59:14 +0000ChanServ+v haskellbridge
2024-07-17 18:01:38 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-17 18:03:12 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-07-17 18:12:31 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 18:17:31 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-07-17 18:18:11 +0000cassiopea(~cassiopea@user/cassiopea)
2024-07-17 18:21:14 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 18:22:52 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 18:27:17 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-07-17 18:27:36 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-07-17 18:30:13 +0000Lord_of_Life_Lord_of_Life
2024-07-17 18:31:29 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-07-17 18:37:14 +0000falafel(~falafel@2a0c:5a84:e301:4d01::5c13)
2024-07-17 18:47:16 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 18:51:14 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 18:56:44 +0000 <mauke> data T a b = L a | R b | LR a b -- is there a module that provides a canonical type like this?
2024-07-17 18:57:35 +0000 <monochrom> IIRC "these". I'll check again.
2024-07-17 18:58:04 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 265 seconds)
2024-07-17 18:58:08 +0000 <monochrom> Yeah, https://hackage.haskell.org/package/these
2024-07-17 19:06:00 +0000 <mauke> cool, version 1 changed the API 5 years ago, but the documentation was never updated
2024-07-17 19:07:36 +0000tomku(~tomku@user/tomku) (Ping timeout: 246 seconds)
2024-07-17 19:23:42 +0000motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
2024-07-17 19:24:12 +0000ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-17 19:24:41 +0000tomku(~tomku@user/tomku)
2024-07-17 19:32:41 +0000Square2(~Square@user/square) (Ping timeout: 244 seconds)
2024-07-17 19:33:51 +0000bionade24(~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!)
2024-07-17 19:34:00 +0000bionade24(~quassel@2a03:4000:33:45b::1)
2024-07-17 19:35:24 +0000motherfsck(~motherfsc@user/motherfsck)
2024-07-17 19:35:45 +0000siw5ohs0(~aiw5ohs0@user/aiw5ohs0)
2024-07-17 19:36:11 +0000siw5ohs0(~aiw5ohs0@user/aiw5ohs0) (Leaving)
2024-07-17 19:36:48 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 19:44:59 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Remote host closed the connection)
2024-07-17 19:45:36 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 19:49:48 +0000weechat2dminuoso
2024-07-17 19:51:57 +0000CiaoSen(~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03)
2024-07-17 20:04:33 +0000jkachmar(~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net)
2024-07-17 20:05:59 +0000jkachmar(~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) (Quit: Client closed)
2024-07-17 20:06:01 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 20:06:11 +0000jkachmar(~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net)
2024-07-17 20:10:16 +0000falafel(~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection)
2024-07-17 20:12:02 +0000sprout(~quassel@2a02:a448:3a80:0:810b:4b98:1cc4:7d07)
2024-07-17 20:12:19 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Remote host closed the connection)
2024-07-17 20:16:27 +0000phma(~phma@host-67-44-208-140.hnremote.net) (Quit: Konversation terminated!)
2024-07-17 20:17:07 +0000phma(phma@2001:5b0:215d:b468:a79f:5936:f091:1c6c)
2024-07-17 20:17:57 +0000falafel(~falafel@2a0c:5a84:e301:4d01::5c13)
2024-07-17 20:20:29 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-17 20:21:02 +0000 <phma> If I use stack rather than cabal, can I blow away my .cabal directory? All the subdirectories of .cabal are from 2021.
2024-07-17 20:21:30 +0000 <monochrom> How about the files inside, are they also that old too? :)
2024-07-17 20:21:41 +0000 <dminuoso> phma: You can always nuke your .cabal directory.
2024-07-17 20:21:46 +0000 <dminuoso> Even while you use cabal.
2024-07-17 20:22:29 +0000 <dminuoso> Worst case you just spend some time recompiling packages one more time.
2024-07-17 20:22:52 +0000 <phma> Sep 4 2023 ghc-8.6.5
2024-07-17 20:22:55 +0000 <mauke> where is that directory?
2024-07-17 20:23:07 +0000 <monochrom> And redownloading index.tar (hundreds of MB)
2024-07-17 20:23:19 +0000 <phma> ~/.cabal/store
2024-07-17 20:23:36 +0000 <monochrom> 2023 is literally "yesteryear" :)
2024-07-17 20:24:35 +0000 <monochrom> OK the short answer is you can erase .cabal (unless you have customized config and don't want to lose it)
2024-07-17 20:30:33 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds)
2024-07-17 20:30:35 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297)
2024-07-17 20:34:51 +0000Guest17(~Guest17@2603:8080:d900:189a:f846:141d:e4a5:f5b4)
2024-07-17 20:49:42 +0000xug(~user@160.223.160.146)
2024-07-17 20:53:18 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 246 seconds)
2024-07-17 20:53:33 +0000xug(~user@160.223.160.146) (Client Quit)
2024-07-17 20:53:50 +0000xug(~user@160.223.160.146)
2024-07-17 20:57:11 +0000ash3en(~ash3en@2a02:3100:75f2:300:43ea:7794:8721:a297) (Remote host closed the connection)
2024-07-17 21:00:06 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 21:00:17 +0000ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-17 21:02:43 +0000zhuberty(~zhuberty@fsf/member/zhuberty) (Ping timeout: 258 seconds)
2024-07-17 21:03:07 +0000zhuberty(~zhuberty@137.22.114.186)
2024-07-17 21:04:17 +0000xug(~user@160.223.160.146) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2024-07-17 21:08:23 +0000Guest17(~Guest17@2603:8080:d900:189a:f846:141d:e4a5:f5b4) (Ping timeout: 256 seconds)
2024-07-17 21:10:04 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-17 21:13:23 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-07-17 21:13:43 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-17 21:22:44 +0000 <tomsmeding> it's even easier if you just remove ~/.cabal/store because that's the biggest space eater it doesn't even contain any config
2024-07-17 21:23:18 +0000 <c_wraith> beware... that isn't the path anymore on XDG systems
2024-07-17 21:23:32 +0000 <tomsmeding> I mean, that doesn't make it any less valid to delete it
2024-07-17 21:23:35 +0000 <c_wraith> cabal splits its files over like five XDG entries
2024-07-17 21:23:42 +0000 <c_wraith> for some reason that's "better"
2024-07-17 21:23:54 +0000 <monochrom> No, index.tar is the biggest space eater. >:)
2024-07-17 21:24:06 +0000 <tomsmeding> as far as I know, cabal continues using old-style ~/.cabal if that exists, and I ensure that it exists lol
2024-07-17 21:24:24 +0000 <tomsmeding> monochrom: okay you also get to delete ~/.cabal/packages then :p
2024-07-17 21:24:58 +0000 <tomsmeding> (I wasn't lying about my situation, in any case; my 'packages' is 1.4G whereas my 'store' is 39G)
2024-07-17 21:25:14 +0000 <tomsmeding> (I sometimes compile stuff with Dependencies)
2024-07-17 21:26:32 +0000 <monochrom> There was a time I instructed students to use cabal-install on their school account so that they can use HUnit for example. So they had to do an initial "cabal update". Some students reported mysterious failures, and the error messages did not say what's wrong.
2024-07-17 21:26:47 +0000 <monochrom> While other students had no trouble.
2024-07-17 21:26:51 +0000tomsmedingexpects ENOSPC
2024-07-17 21:27:41 +0000 <monochrom> Eventually a clever student observed that it's correlated to disk quota. And that was even like 5 years ago when index.tar was merely 500MB. Coincidentally that's more or less their disk quota.
2024-07-17 21:27:46 +0000 <tomsmeding> why does cabal even unpack index.tar from the .gz? I thought .tar files weren't seekable, so unpacking it doesn't really give you any new functionality
2024-07-17 21:27:57 +0000 <tomsmeding> lol
2024-07-17 21:28:33 +0000 <monochrom> So yeah students who already had other files hit the issue, other students had just enough space and no issue.
2024-07-17 21:28:44 +0000 <dolio> Obviously speed.
2024-07-17 21:29:07 +0000 <tomsmeding> oh I see that cabal does indeede create a separate .tar.idx file...
2024-07-17 21:29:17 +0000 <dolio> Reading the unpacked tar from storage is so much faster than decompressing a much smaller thing in memory. :þ
2024-07-17 21:29:39 +0000 <tomsmeding> it is if you can seek to the thing you need immediately, and the .idx file adjacent to it seems to suggest that that's what cabal is doing
2024-07-17 21:29:42 +0000 <tomsmeding> seeking in a .gz is folly
2024-07-17 21:29:48 +0000 <tomsmeding> (generally)
2024-07-17 21:31:58 +0000 <tomsmeding> someone (tm) needs to do the engineering of serialising a cabal file to just the bits necessary for solving, and then update hackage and cabal to use this packed registry of packages
2024-07-17 21:32:40 +0000 <tomsmeding> index.tar.gz is 118MB currently, surely you can get smaller if you skip all the comments etc., even if you just compress per-file instead of everything together
2024-07-17 21:33:10 +0000 <monochrom> Although, why does it keep the gz file?
2024-07-17 21:33:14 +0000 <tomsmeding> you could even use zstd's feature of learning a dictionary on the whole dataset, and then compressing each individual (packed-serialised) cabal file with that wisdom dictionary
2024-07-17 21:33:46 +0000 <tomsmeding> surely you can get that whole (seekable!) thing below 118MB?!
2024-07-17 21:34:04 +0000 <tomsmeding> (I dunno, keeping the .gz seems pointless to me too)
2024-07-17 21:35:22 +0000 <tomsmeding> zstd compresses 01-index.tar to 92MB in less time than gzip produces 118MB
2024-07-17 21:35:37 +0000 <tomsmeding> it's not like this stuff needs to be backwards compatible
2024-07-17 21:38:13 +0000 <tomsmeding> (like, I appreciate staying with tried-and-trusted older compression tools for things where backwards compatibility is a concern, if you don't want to take the cost of switching to a new-fangled better tool if that incurs the risk of having to switch back later due to issues. But cabal can do what it wishes here, no such concerns)
2024-07-17 21:39:26 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-17 21:40:10 +0000 <EvanR> yes, use xz compression instead
2024-07-17 21:40:15 +0000 <EvanR> and be hacked!
2024-07-17 21:40:20 +0000 <tomsmeding> hah
2024-07-17 21:41:08 +0000 <tomsmeding> one the one hand, there's a point; on the other hand, the _majority_ of haskell packages are more weakly maintained than xz was
2024-07-17 21:42:19 +0000 <EvanR> weakly maintained whatever that means is related to exploits how
2024-07-17 21:43:05 +0000 <tomsmeding> if you have >=2 maintainers with time and energy to devote to the project, it's less likely to be overtaken by a new malicious co-maintainer
2024-07-17 21:43:21 +0000 <tomsmeding> less _likely_, sure, but there's definitely a difference
2024-07-17 21:43:26 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-07-17 21:44:28 +0000 <tomsmeding> what I meant with "weakly maintained" is essentially "(number of hours per week the maintiners can spend focused on the project) is very low"
2024-07-17 21:44:56 +0000 <juri_> focused on the project? there is ai to do that now. i am now only focused on AI.
2024-07-17 21:45:22 +0000 <tomsmeding> note that I'm not complaining about haskell packages here -- I expect the same (many packages are not very actively mained) is true in other languages too
2024-07-17 21:45:29 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2024-07-17 21:45:41 +0000 <monochrom> I focus on myself. Is that OK? #TypeInType
2024-07-17 21:46:15 +0000tomsmedingassumes juri_ is being sarcastic, but can't quite be sure
2024-07-17 21:47:45 +0000 <juri_> tomsmeding: only half joking. dropped my haskell projects. looking forward to returning to haskell soon, from an AI angle.
2024-07-17 21:47:50 +0000zero(~z@user/zero)
2024-07-17 21:49:18 +0000 <tomsmeding> focusing on AI is fine, as long as you're aware of what exactly you're doing and how these things work. It's the "we have AI to solve $PROBLEM for us" that I was worried about :p
2024-07-17 21:49:53 +0000 <juri_> oh, no, we have AI because we aparently wanted more problems.
2024-07-17 21:50:07 +0000 <juri_> and boy, have we delivered.
2024-07-17 21:50:08 +0000 <tomsmeding> (AI is the new regex?)
2024-07-17 21:50:27 +0000 <glguy> it's not quite as powerful as regex
2024-07-17 21:50:29 +0000 <geekosaur> "now you have two problems" taken to a new level
2024-07-17 21:51:57 +0000 <tomsmeding> glguy: I feel like that could be the motto of what "AI" means these days
2024-07-17 21:52:24 +0000 <geekosaur> these days?
2024-07-17 21:52:51 +0000 <juri_> it's a good tool, used properly. just like make, sed, and haskell.
2024-07-17 21:53:01 +0000 <tomsmeding> "AI" was a broad term in the past, now apparently it refers to LLMs only :p
2024-07-17 21:53:01 +0000 <juri_> looking forward to using them all at the same time.
2024-07-17 21:53:28 +0000 <dolio> That's not true.
2024-07-17 21:54:01 +0000 <dolio> It's even more broad and meaningless now, because people just put "AI" on their product with no meaning. :þ
2024-07-17 21:54:04 +0000 <geekosaur> I'm seeing continued research into other aspects of AI
2024-07-17 21:54:07 +0000 <juri_> oh, it's also the greatest theft since the americas were colonized, but..
2024-07-17 21:54:24 +0000dev(~dev@2405:201:c062:801d:883e:68dd:abb9:b658) (Ping timeout: 252 seconds)
2024-07-17 21:55:26 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-17 21:57:42 +0000acidjnk(~acidjnk@p200300d6e72cfb68051143fcfd7c3ba4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-07-17 22:01:10 +0000jkachmar(~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) (Quit: Client closed)
2024-07-17 22:04:12 +0000 <monochrom> I too am against saying the broad "AI" for the specific "LLM". But people already have been saying the super-broad "computer" for the super-specific "PCs running Windows" for decades. It's a lost cause.
2024-07-17 22:05:02 +0000 <monochrom> Fortunately, in RTS gaming circles, "play against AI" exists too. >:)
2024-07-17 22:05:38 +0000 <dolio> I thought a computer is a mathematician engaging in formal symbol manipulation.
2024-07-17 22:05:58 +0000dysthesis(~dysthesis@user/dysthesis)
2024-07-17 22:06:33 +0000 <EvanR> I thought the computer was the CRT monitor
2024-07-17 22:06:55 +0000 <monochrom> Consider also "engineers".
2024-07-17 22:07:25 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-17 22:08:47 +0000 <monochrom> Hell, "math" for "at-most-real-number arithmetic", too.
2024-07-17 22:08:56 +0000 <monochrom> "Do the math."
2024-07-17 22:09:19 +0000 <dolio> Nobody does real number arithmetic.
2024-07-17 22:09:50 +0000 <EvanR> I learned a square root on paper algorithm once
2024-07-17 22:10:10 +0000 <monochrom> I wrote some Haskell code for it too :)
2024-07-17 22:10:18 +0000 <dolio> See, that's a special, easy case.
2024-07-17 22:10:58 +0000CiaoSen(~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
2024-07-17 22:13:29 +0000 <monochrom> Darn, I didn't write some Haskelll code for it. I wrote psuedo-Algol.
2024-07-17 22:14:09 +0000 <monochrom> Oh wait, it has "yield". I wrote pseudo-Algol-with-Yield *facepalm*
2024-07-17 22:21:54 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-07-17 22:23:12 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-17 22:23:21 +0000 <geekosaur> a computer is someone who operates a room-sized calculator 😛
2024-07-17 22:23:56 +0000 <sprout> a computer traditionally was a cleric that did computations
2024-07-17 22:24:02 +0000 <sprout> often a woman
2024-07-17 22:24:22 +0000 <haskellbridge> <thirdofmay18081814goya> anyone ever use a ring in haskell
2024-07-17 22:25:00 +0000 <EvanR> Int with addition?
2024-07-17 22:25:05 +0000 <EvanR> and multiplication
2024-07-17 22:25:13 +0000 <EvanR> it's a good one
2024-07-17 22:26:02 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-17 22:26:11 +0000 <juri_> thirdofmay18081814goya: I abused a list, making it function as a ring.
2024-07-17 22:26:33 +0000 <haskellbridge> <thirdofmay18081814goya> but like an interesting one
2024-07-17 22:26:53 +0000 <haskellbridge> <thirdofmay18081814goya> cool
2024-07-17 22:27:10 +0000 <juri_> i did mapping operations with it: mapWithFollower, mapWithNeighbors, and mapWithPredecessor.
2024-07-17 22:27:46 +0000dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
2024-07-17 22:27:48 +0000 <juri_> that way i could process a "not ring", and get a "not ring" as the result.
2024-07-17 22:29:10 +0000 <juri_> https://github.com/Haskell-Things/HSlice/blob/master/Graphics/Slicer/Math/Definitions.hs#L217
2024-07-17 22:30:56 +0000euleritian(~euleritia@dynamic-176-005-134-181.176.5.pool.telefonica.de) (Ping timeout: 244 seconds)
2024-07-17 22:31:22 +0000euleritian(~euleritia@dynamic-176-005-134-197.176.5.pool.telefonica.de)
2024-07-17 22:33:22 +0000zhuberty(~zhuberty@137.22.114.186) (Changing host)
2024-07-17 22:33:22 +0000zhuberty(~zhuberty@fsf/member/zhuberty)
2024-07-17 22:37:47 +0000dolio(~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-17 22:39:58 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-07-17 22:39:59 +0000mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Read error: Connection reset by peer)
2024-07-17 22:41:18 +0000dolio(~dolio@130.44.140.168)
2024-07-17 22:42:10 +0000dolio(~dolio@130.44.140.168) (Client Quit)
2024-07-17 22:44:54 +0000 <haskellbridge> <thirdofmay18081814goya> juri_: neat! thanks for link
2024-07-17 22:47:07 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-17 22:49:19 +0000dolio(~dolio@130.44.140.168)
2024-07-17 22:50:29 +0000dev2(~dev@2405:201:c062:8850:ae2f:b52b:21ba:40d5)
2024-07-17 22:59:24 +0000Jon(jon@dow.land) (Server closed connection)
2024-07-17 22:59:34 +0000Jon(jon@dow.land)
2024-07-17 23:01:24 +0000loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Server closed connection)
2024-07-17 23:02:29 +0000loonycyborg(loonycybor@wesnoth/developer/loonycyborg)
2024-07-17 23:09:32 +0000 <monochrom> Ugh, so ring as in cyclic list, circular buffer?
2024-07-17 23:10:53 +0000 <monochrom> This is why I wrote https://www.vex.net/~trebla/humour/tautologies.html #11
2024-07-17 23:10:54 +0000noteness-(~noteness@user/noteness) (Server closed connection)
2024-07-17 23:11:08 +0000noteness(~noteness@user/noteness)
2024-07-17 23:11:45 +0000pavonia(~user@user/siracusa)
2024-07-17 23:13:08 +0000 <c_wraith> oh man. If someone says "ring" in here, I just automatically assume they mean the algebraic structure.
2024-07-17 23:13:54 +0000 <monochrom> Among movie junkies, The Ring has a horror vibe. >:)
2024-07-17 23:14:38 +0000 <monochrom> And among Japanese movie junkies, it has a "watered down Hollywoodized vibe, not as good as the original" vibe, too. >:)
2024-07-17 23:15:09 +0000 <monochrom> This is what's wrong with meaningful words. Everyone has a different meaning!
2024-07-17 23:15:21 +0000 <geekosaur> I made that comment in the matrix channel… (re algebraic structure)
2024-07-17 23:15:31 +0000 <monochrom> "The best thing about standards is that there are so many to choose from"
2024-07-17 23:16:05 +0000 <monochrom> Consider even how among mathematicians, 0 may or may not be a "natural number".
2024-07-17 23:16:29 +0000 <monochrom> (But thank God at least they agree on what "0" is. Maybe? :) )
2024-07-17 23:19:24 +0000xnbya2(~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection)
2024-07-17 23:19:33 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2024-07-17 23:19:54 +0000madhavanmiui(~madhavanm@2409:40f4:1038:c537:8000::)
2024-07-17 23:20:35 +0000kqr(~kqr@static.143.81.108.65.clients.your-server.de) (Server closed connection)
2024-07-17 23:20:50 +0000madhavanmiui(~madhavanm@2409:40f4:1038:c537:8000::) (Read error: Connection reset by peer)
2024-07-17 23:21:14 +0000kqr(~kqr@static.143.81.108.65.clients.your-server.de)
2024-07-17 23:25:01 +0000 <monochrom> A decade ago someone uploaded a package to hackage called "api" and posted in haskell-cafe to announce it and said it's a package for APIs.
2024-07-17 23:25:21 +0000 <monochrom> I was like "ugh at least have the courtesy to call it web API".
2024-07-17 23:25:40 +0000 <monochrom> And this circles back to calling LLM "AI", too.
2024-07-17 23:29:27 +0000geekosaurremembers that
2024-07-17 23:30:06 +0000falafel(~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 246 seconds)
2024-07-17 23:34:03 +0000wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Server closed connection)
2024-07-17 23:34:19 +0000wryish(~wryish@216.246.119.62)
2024-07-17 23:36:24 +0000energizer(~energizer@user/energizer) (Server closed connection)
2024-07-17 23:37:05 +0000disconnect3d(~disconnec@user/disconnect3d) (Server closed connection)
2024-07-17 23:37:13 +0000disconnect3d(~disconnec@user/disconnect3d)
2024-07-17 23:37:55 +0000energizer(~energizer@user/energizer)
2024-07-17 23:39:05 +0000ouroboros(~ouroboros@user/ouroboros) (Server closed connection)
2024-07-17 23:39:55 +0000ouroboros(~ouroboros@user/ouroboros)
2024-07-17 23:42:26 +0000emmanuelux(~emmanuelu@user/emmanuelux)
2024-07-17 23:50:03 +0000siers(~ij@user/ij) (Server closed connection)
2024-07-17 23:50:24 +0000siers(~ij@user/ij)
2024-07-17 23:50:33 +0000koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection)
2024-07-17 23:50:44 +0000koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2024-07-17 23:51:03 +0000adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Server closed connection)
2024-07-17 23:52:20 +0000adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2024-07-17 23:59:29 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)