Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,042 events total
2021-08-11 14:03:12 <merijn> That means wrapping with extra STM to check if it's closed, though
2021-08-11 14:03:25 <merijn> timCF: hm
2021-08-11 14:03:35 <merijn> timCF: You just have N workers and wanna know if they're all dead, yeah?
2021-08-11 14:03:46 <merijn> timCF: Don't you just want QSemN?
2021-08-11 14:06:45 <timCF> merijn: No, I have an gRPC subscription procedure which should return something from a server stream in case of success. So I'm providing to stream handler link to MVar to fill in. And then spawning subscription processes, trying to read this MVar in main process and hope for the best
2021-08-11 14:07:38 <timCF> In case this "stream callback MVar" was not filled in 10 attempts - all procedure fails.
2021-08-11 14:08:12 Sgeo joins (~Sgeo@user/sgeo)
2021-08-11 14:09:51 <kuribas> Is there a validation transformer?
2021-08-11 14:09:56 × Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-11 14:10:39 <timCF> Spawned gRPC procedure might die before calling stream callback, which results in no active MVar references, but it should be fine because I'm using `tryPutMVar` and `tryTakeMVar` to avoid deadlock detection of Haskell runtime.
2021-08-11 14:10:56 <justsomeguy> When installing stack manually, using the staic binary, as listed here https://docs.haskellstack.org/en/stable/install_and_upgrade/#manual-download_2, how do I check the gpg signature of the tar file? I don't see a signed checksum file anywhere. ...
2021-08-11 14:12:29 <kuribas> hmm, I can just Compose Validation I guess...
2021-08-11 14:13:53 <merijn> kuribas: Yeah, Applicatives don't need transformers due to Compose
2021-08-11 14:14:19 yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se)
2021-08-11 14:14:58 mc47 joins (~mc47@xmonad/TheMC47)
2021-08-11 14:16:00 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-08-11 14:16:12 mattil joins (~mattilinn@62-113-178-139.bb.dnainternet.fi)
2021-08-11 14:18:04 × mattil quits (~mattilinn@62-113-178-139.bb.dnainternet.fi) (Max SendQ exceeded)
2021-08-11 14:18:23 <int-e> timCF: how do you know which MVar is causing this?
2021-08-11 14:18:58 mattil joins (~mattilinn@62-113-178-139.bb.dnainternet.fi)
2021-08-11 14:20:07 <kuribas> ugh, validation depends on lens, and brings in the kitchen sink...
2021-08-11 14:20:35 waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-11 14:20:49 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 248 seconds)
2021-08-11 14:21:07 <timCF> int-e: yes, this one https://github.com/coingaming/lnd-client/blob/1a45d5fa731f39f73243a8a624d583a5858729b3/src/LndClient/RPC/Silent.hs#L128
2021-08-11 14:24:42 × yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
2021-08-11 14:26:58 <nf> int-e: thanks for the release!
2021-08-11 14:27:32 yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se)
2021-08-11 14:29:28 <int-e> nf: thanks for the prod!
2021-08-11 14:31:08 Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583)
2021-08-11 14:31:34 <int-e> timCF: that didn't answer my question, fwiw
2021-08-11 14:32:13 <int-e> Then again I'm not sure I can help anyway. AFAIUI, try{Put,Take}MVar *can't* cause this exceptions because they can never block at all.
2021-08-11 14:33:14 <int-e> Which strongly suggests that the actual MVar that's causing this is somewhere else, maybe in a dependency.
2021-08-11 14:33:24 ec joins (~ec@gateway/tor-sasl/ec)
2021-08-11 14:35:20 lortabac joins (~lortabac@2a01:e0a:541:b8f0:3164:2b89:620b:cb12)
2021-08-11 14:35:46 <timCF> int-e: Hmm. Thanks for reply anyway! Maybe implementation of these functions was different before. I'm using not the latest version of Base, from lts-14.27
2021-08-11 14:36:30 <int-e> these have been dedicated primops for a very long time
2021-08-11 14:37:23 drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-11 14:38:06 tomd99 joins (~a@p200300ef97023872a00237f9722b67dc.dip0.t-ipconnect.de)
2021-08-11 14:38:06 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-11 14:40:06 geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-11 14:41:41 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-11 14:43:21 <int-e> Since early 2001, when tryPutMVar was added in the first place (tryTakeMVar already existed at that point)
2021-08-11 14:46:53 × Skyfire quits (~pyon@user/pyon) (Quit: WeeChat 3.2)
2021-08-11 14:48:48 × tomd99 quits (~a@p200300ef97023872a00237f9722b67dc.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1)
2021-08-11 14:49:37 ec joins (~ec@gateway/tor-sasl/ec)
2021-08-11 14:50:10 × rmoe quits (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2021-08-11 14:51:15 MorrowM joins (~Morrow@176.12.208.59)
2021-08-11 14:53:25 × Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer)
2021-08-11 14:53:45 amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-08-11 14:53:49 Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-11 14:58:54 Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-08-11 15:02:25 × chomwitt quits (~chomwitt@ppp-2-85-147-24.home.otenet.gr) (Ping timeout: 248 seconds)
2021-08-11 15:02:40 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-08-11 15:03:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-08-11 15:03:35 × Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 258 seconds)
2021-08-11 15:08:31 Skyfire joins (~pyon@user/pyon)
2021-08-11 15:12:01 × MorrowM quits (~Morrow@176.12.208.59) (Ping timeout: 258 seconds)
2021-08-11 15:14:42 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds)
2021-08-11 15:15:07 emliunix joins (~emliunix@103.138.75.119)
2021-08-11 15:17:17 × polyphem quits (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Remote host closed the connection)
2021-08-11 15:17:24 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:3164:2b89:620b:cb12) (Quit: WeeChat 2.8)
2021-08-11 15:17:43 Sap joins (~Sap@68.92-220-148.customer.lyse.net)
2021-08-11 15:18:01 × Sap quits (~Sap@68.92-220-148.customer.lyse.net) (Client Quit)
2021-08-11 15:19:08 Sap joins (~Sap@68.92-220-148.customer.lyse.net)
2021-08-11 15:20:34 × Sap quits (~Sap@68.92-220-148.customer.lyse.net) (Client Quit)
2021-08-11 15:20:46 Sap joins (~Sap@68.92-220-148.customer.lyse.net)
2021-08-11 15:21:03 × Sap quits (~Sap@68.92-220-148.customer.lyse.net) (Client Quit)
2021-08-11 15:24:23 <amesgen[m]> kuribas: there is monad-validate: https://hackage.haskell.org/package/monad-validate-1.2.0.0/docs/Control-Monad-Validate.html
2021-08-11 15:24:23 <amesgen[m]> It has a slightly unlawful Monad instance, which is documented in great detail
2021-08-11 15:24:53 <kuribas> amesgen[m]: I wrote my own ValidateT, which is only an Applicative.
2021-08-11 15:25:29 <kuribas> then I use "fromExceptT :: Functor m => ExceptT e m a -> ValidationT e m a"
2021-08-11 15:25:42 <kuribas> So I can easily write functionality using mtl...
2021-08-11 15:26:33 <amesgen[m]> yeah, monad-validate is an alternative where you don't have to convert from ExceptT all the time, at the cost that it is not a completely valid monad
2021-08-11 15:26:59 <amesgen[m]> from the haddocks: "To put it another way, ValidateT provides “best effort” error reporting: it will never return fewer errors than an equivalent use of ExceptT, but it might return more."
2021-08-11 15:27:09 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-11 15:32:08 ec joins (~ec@gateway/tor-sasl/ec)
2021-08-11 15:33:59 × emliunix quits (~emliunix@103.138.75.119) (Remote host closed the connection)
2021-08-11 15:34:16 emliunix joins (~emliunix@103.138.75.119)
2021-08-11 15:34:50 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 272 seconds)
2021-08-11 15:35:52 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-11 15:36:59 artem joins (uid512590@highgate.irccloud.com)
2021-08-11 15:37:06 zmt00 joins (~zmt00@user/zmt00)
2021-08-11 15:40:44 econo joins (uid147250@user/econo)
2021-08-11 15:40:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-11 15:41:06 tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-08-11 15:43:59 oxide joins (~lambda@user/oxide)
2021-08-11 15:45:58 × emliunix quits (~emliunix@103.138.75.119) (Remote host closed the connection)
2021-08-11 15:45:59 doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-08-11 15:49:02 polyphem joins (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756)
2021-08-11 15:49:35 × qrpnxz quits (~qrpnxz@user/qrpnxz) (Ping timeout: 258 seconds)
2021-08-11 15:50:49 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-11 15:56:26 × ubert quits (~Thunderbi@91.141.49.166.wireless.dyn.drei.com) (Remote host closed the connection)
2021-08-11 15:58:33 lbseale joins (~lbseale@user/ep1ctetus)
2021-08-11 16:01:18 Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-08-11 16:01:33 Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-08-11 16:01:51 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-08-11 16:02:49 qrpnxz joins (abc4f95c31@user/qrpnxz)
2021-08-11 16:06:14 × mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-11 16:07:39 mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-08-11 16:11:35 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)

All times are in UTC.