IRCBrowse

2023/06/20

2023-06-20 00:02:00 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-20 00:02:04 +0200ft(~ft@80.141.189.239)
2023-06-20 00:03:40 +0200pavonia(~user@user/siracusa) (Ping timeout: 252 seconds)
2023-06-20 00:07:22 +0200acidjnk_new(~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2023-06-20 00:09:12 +0200wroathe(~wroathe@user/wroathe)
2023-06-20 00:09:19 +0200pointlessslippe1(~pointless@212.82.82.3) (Server closed connection)
2023-06-20 00:09:34 +0200eL_Bart0-(eL_Bart0@dietunichtguten.org) (Server closed connection)
2023-06-20 00:09:49 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2023-06-20 00:10:08 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-20 00:10:56 +0200img(~img@user/img)
2023-06-20 00:14:34 +0200pointlessslippe1(~pointless@212.82.82.3)
2023-06-20 00:14:59 +0200R3s1st0r__(~Resistor@static-189-206-205-218.alestra.net.mx) (Quit: Leaving)
2023-06-20 00:15:46 +0200shef(~deglazewi@209-188-121-236.taosnet.com) (Ping timeout: 252 seconds)
2023-06-20 00:18:44 +0200skippy(sid26890@user/slice) (Server closed connection)
2023-06-20 00:18:56 +0200skippy(sid26890@user/slice)
2023-06-20 00:20:11 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-20 00:21:01 +0200img(~img@user/img)
2023-06-20 00:21:57 +0200Jon(jon@dow.land) (Server closed connection)
2023-06-20 00:22:07 +0200Jon(jon@dow.land)
2023-06-20 00:25:56 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-06-20 00:26:59 +0200foul_owl(~kerry@212.102.47.117) (Ping timeout: 240 seconds)
2023-06-20 00:27:33 +0200user____(~user@46.114.202.36)
2023-06-20 00:34:53 +0200gioyik(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.8)
2023-06-20 00:40:39 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-20 00:42:00 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds)
2023-06-20 00:42:09 +0200pavonia(~user@user/siracusa)
2023-06-20 00:44:31 +0200img(~img@user/img)
2023-06-20 00:44:35 +0200ubert(~Thunderbi@p200300ecdf0da9b7936e74d537b318ad.dip0.t-ipconnect.de) (Quit: ubert)
2023-06-20 00:47:59 +0200 <ijqq> yep glguy i've bookmarked yours for when i get to that bit :)
2023-06-20 00:51:46 +0200sagax(~sagax_nb@user/sagax)
2023-06-20 00:55:19 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-20 01:01:19 +0200ski(~ski@remote11.chalmers.se) (Server closed connection)
2023-06-20 01:01:29 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-06-20 01:01:32 +0200ski(~ski@remote11.chalmers.se)
2023-06-20 01:02:50 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-06-20 01:02:59 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-06-20 01:07:15 +0200bilegeek(~bilegeek@2600:1008:b047:b90f:5137:a48c:4fab:4914)
2023-06-20 01:08:45 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-20 01:09:59 +0200tom__(~tom@81.151.255.71)
2023-06-20 01:10:08 +0200img(~img@user/img)
2023-06-20 01:10:11 +0200tom_(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection)
2023-06-20 01:18:31 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-20 01:21:12 +0200foul_owl(~kerry@71.212.137.212)
2023-06-20 01:25:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection)
2023-06-20 01:25:37 +0200Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com)
2023-06-20 01:26:10 +0200Techcable(~Techcable@user/Techcable) (Ping timeout: 252 seconds)
2023-06-20 01:26:17 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Server closed connection)
2023-06-20 01:26:27 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com)
2023-06-20 01:26:30 +0200 <Umeaboy> Is one of the reasons that statically compiled packages are harder to debug a reason for NOT including them in official repos for a certain distro? I'm curious.
2023-06-20 01:27:44 +0200 <Umeaboy> I know that it's tough to port GHC to another dist, but its dependencies in turn need statically compiled packages.
2023-06-20 01:28:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 01:35:05 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds)
2023-06-20 01:35:29 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-06-20 01:37:10 +0200xff0x_(~xff0x@178.255.149.135)
2023-06-20 01:38:26 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 01:39:02 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-06-20 01:39:09 +0200Reinhilde(ellenor@callbox.trd.is) (Server closed connection)
2023-06-20 01:45:06 +0200wns_(~user@103.206.114.101)
2023-06-20 01:45:14 +0200wns_wns
2023-06-20 01:45:25 +0200 <dolio> That doesn't sound like a reason to me.
2023-06-20 01:45:56 +0200 <dolio> I would guess that the main reason is lack of demand vs. amount of work that would be required for distro maintainers.
2023-06-20 01:51:40 +0200mauke_(~mauke@user/mauke)
2023-06-20 01:51:52 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds)
2023-06-20 01:53:33 +0200Ellenor(ellenor@2001:19f0:8001:279::2000:1)
2023-06-20 01:54:37 +0200 <hpc> perhaps it's the prospect of rebuilding downstream packages when you update a library?
2023-06-20 01:54:44 +0200mauke(~mauke@user/mauke) (Ping timeout: 240 seconds)
2023-06-20 01:54:44 +0200mauke_mauke
2023-06-20 01:54:48 +0200 <hpc> if your distro doesn't have a good build system, that's a lot of busywork
2023-06-20 01:54:52 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-06-20 01:59:30 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-06-20 02:02:20 +0200xff0x_(~xff0x@178.255.149.135) (Ping timeout: 240 seconds)
2023-06-20 02:04:15 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-20 02:04:28 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net)
2023-06-20 02:05:02 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection)
2023-06-20 02:05:51 +0200user____(~user@46.114.202.36) (Read error: Connection reset by peer)
2023-06-20 02:06:34 +0200kaskal(~kaskal@2001:4bb8:2dd:a79d:1a7:8529:b79b:cfa) (Server closed connection)
2023-06-20 02:06:55 +0200kaskal(~kaskal@2001:4bb8:2dd:a79d:1a7:8529:b79b:cfa)
2023-06-20 02:10:44 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-06-20 02:11:59 +0200son0p(~ff@181.136.122.143) (Ping timeout: 240 seconds)
2023-06-20 02:13:36 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-20 02:13:36 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-20 02:13:36 +0200wroathe(~wroathe@user/wroathe)
2023-06-20 02:22:10 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-20 02:30:49 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-06-20 02:35:02 +0200 <Umeaboy> dolio: Yeah. I'm wokring on porting it now........ some deps are a hassle.
2023-06-20 02:35:34 +0200 <Umeaboy> Especially some texlive based ones as some of them are outdated/no longer publicly maintained.
2023-06-20 02:36:26 +0200 <Umeaboy> I didn't know that texlive-tlpkg conflicts with texlive-collection-basic.
2023-06-20 02:36:30 +0200 <dolio> Is that for the manual? Possibly you could turn that off.
2023-06-20 02:37:20 +0200 <glguy> ijqq: I took a look at the burnt sushi TOML tests you mentioned. I'm passing all the decoder tests but the one about a half surrogate pair in a steering literal which seems debatable to check
2023-06-20 02:38:28 +0200 <glguy> String literal *
2023-06-20 02:42:57 +0200 <ijqq> oh nice :) that's really cool
2023-06-20 02:43:59 +0200 <ijqq> yeah that does seem pretty unlikely
2023-06-20 02:44:35 +0200 <ijqq> still, maybe you should just implement it just so that you can say that you pass every test
2023-06-20 02:46:34 +0200 <glguy> I'll fix it. I see now that the spec does mandate only "scalar values"
2023-06-20 02:46:42 +0200 <glguy> Missed that the first time through
2023-06-20 02:54:37 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2023-06-20 02:55:16 +0200mei(~mei@user/mei) (Ping timeout: 252 seconds)
2023-06-20 02:55:25 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2023-06-20 02:56:29 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-06-20 02:59:51 +0200mei(~mei@user/mei)
2023-06-20 03:00:55 +0200mcglk(~mcglk@131.191.19.145) (Read error: Connection reset by peer)
2023-06-20 03:01:22 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection)
2023-06-20 03:01:35 +0200Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving)
2023-06-20 03:01:52 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds)
2023-06-20 03:04:56 +0200 <ijqq> i just parsed my first toml string :)
2023-06-20 03:05:08 +0200 <ijqq> still long ways to go but it's nice to see
2023-06-20 03:06:33 +0200 <albet70> what's the name you call "bottom value" to return in recursive function?
2023-06-20 03:08:47 +0200 <hpc> base case
2023-06-20 03:11:16 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-06-20 03:13:58 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-20 03:17:24 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-06-20 03:22:38 +0200tubogram44711(~tubogram@user/tubogram) (Quit: Ping timeout (120 seconds))
2023-06-20 03:23:01 +0200tubogram44711(~tubogram@user/tubogram)
2023-06-20 03:23:05 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 03:27:29 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-20 03:33:36 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-06-20 03:42:56 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com)
2023-06-20 03:43:34 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 03:43:38 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com) (Remote host closed the connection)
2023-06-20 03:44:56 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com)
2023-06-20 03:46:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2023-06-20 03:51:29 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-20 03:59:10 +0200Hecate(~mariposa@user/hecate) (Server closed connection)
2023-06-20 03:59:19 +0200Hecate(~mariposa@user/hecate)
2023-06-20 04:05:12 +0200smoge(~smoge@2603-7000-4b42-1100-4596-05e7-d4ae-66e3.res6.spectrum.com)
2023-06-20 04:11:56 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds)
2023-06-20 04:13:44 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 252 seconds)
2023-06-20 04:18:18 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 04:18:52 +0200ft(~ft@80.141.189.239) (Ping timeout: 240 seconds)
2023-06-20 04:19:39 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 04:20:57 +0200ft(~ft@p4fc2afc9.dip0.t-ipconnect.de)
2023-06-20 04:21:13 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-06-20 04:21:13 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-06-20 04:21:13 +0200finn_elijaFinnElija
2023-06-20 04:21:39 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com) (Remote host closed the connection)
2023-06-20 04:21:44 +0200son0p(~ff@181.136.122.143)
2023-06-20 04:24:56 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-20 04:25:44 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 04:25:48 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-20 04:25:50 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com)
2023-06-20 04:26:45 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-06-20 04:29:19 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 04:29:47 +0200 <albet70> f :: a -> (a -> b) is f :: Cont r a?
2023-06-20 04:34:32 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 04:36:50 +0200td_(~td@i5387090E.versanet.de) (Ping timeout: 252 seconds)
2023-06-20 04:37:48 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 04:38:43 +0200td_(~td@i53870919.versanet.de)
2023-06-20 04:39:02 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 252 seconds)
2023-06-20 04:40:42 +0200 <glguy> albet70: no
2023-06-20 04:41:06 +0200 <glguy> ?unmtl Cont r a
2023-06-20 04:41:06 +0200 <lambdabot> (a -> r) -> r
2023-06-20 04:44:08 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 04:44:57 +0200bilegeek(~bilegeek@2600:1008:b047:b90f:5137:a48c:4fab:4914) (Quit: Leaving)
2023-06-20 04:45:16 +0200td_(~td@i53870919.versanet.de) (Ping timeout: 252 seconds)
2023-06-20 04:46:58 +0200td_(~td@i53870919.versanet.de)
2023-06-20 04:49:34 +0200 <albet70> right
2023-06-20 04:52:43 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-20 04:53:11 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-20 04:54:14 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 04:54:50 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-06-20 05:01:20 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 05:01:49 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection)
2023-06-20 05:02:21 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 05:08:30 +0200aku(~aku@65.108.245.241) (Server closed connection)
2023-06-20 05:08:39 +0200aku(~aku@65.108.245.241)
2023-06-20 05:12:38 +0200severen[m](~severenmt@2001:470:69fc:105::2:9932)
2023-06-20 05:18:38 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-06-20 05:20:32 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 05:22:36 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 05:22:48 +0200aforemny(~aforemny@2001:9e8:6cef:c900:b77d:1f31:7b2d:1e41)
2023-06-20 05:23:52 +0200aforemny_(~aforemny@2001:9e8:6cce:9300:5557:5a11:a173:e573) (Ping timeout: 240 seconds)
2023-06-20 05:27:26 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-06-20 05:28:08 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 05:29:04 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 05:30:43 +0200shapr(~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) (Ping timeout: 260 seconds)
2023-06-20 05:33:31 +0200 <albet70> f :: a -> (a-> r) -> r this f CPS computation?
2023-06-20 05:33:52 +0200 <albet70> and fit in g >>= f?
2023-06-20 05:33:58 +0200malte(~malte@mal.tc) (Server closed connection)
2023-06-20 05:34:07 +0200malte(~malte@mal.tc)
2023-06-20 05:34:08 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 05:34:30 +0200motherfsck(~motherfsc@104.129.57.100) (Server closed connection)
2023-06-20 05:35:08 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 05:35:17 +0200motherfsck(~motherfsc@user/motherfsck)
2023-06-20 05:39:34 +0200ripspin(~chatzilla@1.145.143.6)
2023-06-20 05:46:58 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-06-20 05:52:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 258 seconds)
2023-06-20 05:52:08 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-06-20 05:52:08 +0200red-snai-(~snail@static.151.210.203.116.clients.your-server.de)
2023-06-20 05:52:08 +0200tomsmeding(~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-20 05:52:08 +0200Taneb(~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.)
2023-06-20 05:52:08 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2023-06-20 05:52:08 +0200urdh(~urdh@user/urdh) (Ping timeout: 240 seconds)
2023-06-20 05:52:16 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Read error: Connection reset by peer)
2023-06-20 05:52:25 +0200cheater(~Username@user/cheater)
2023-06-20 05:52:27 +0200tomsmeding(~tomsmedin@23.88.109.21)
2023-06-20 05:52:56 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 05:54:00 +0200ft(~ft@p4fc2afc9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-06-20 05:55:15 +0200urdh(~urdh@user/urdh)
2023-06-20 05:56:10 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 05:57:10 +0200rf(~rf@2605:59c8:179c:f610:381a:41b2:b045:204d) (Ping timeout: 260 seconds)
2023-06-20 06:00:08 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 06:01:17 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 06:02:42 +0200jargon_(~jargon@32.sub-174-205-224.myvzw.com)
2023-06-20 06:03:59 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-20 06:04:05 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com) (Ping timeout: 240 seconds)
2023-06-20 06:05:11 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-06-20 06:06:49 +0200jargon_jargon
2023-06-20 06:14:16 +0200trev(~trev@user/trev)
2023-06-20 06:14:52 +0200mei(~mei@user/mei) (Ping timeout: 240 seconds)
2023-06-20 06:17:39 +0200wagle(~wagle@quassel.wagle.io) (Server closed connection)
2023-06-20 06:17:53 +0200wagle(~wagle@quassel.wagle.io)
2023-06-20 06:18:13 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-20 06:23:45 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-20 06:26:19 +0200qhong(~qhong@rescomp-21-400677.stanford.edu) (Server closed connection)
2023-06-20 06:26:29 +0200qhong(~qhong@rescomp-21-400677.stanford.edu)
2023-06-20 06:37:30 +0200jsomedon(uid606872@id-606872.hampstead.irccloud.com)
2023-06-20 06:43:44 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-06-20 06:54:25 +0200absence_(torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 240 seconds)
2023-06-20 06:54:33 +0200absence(torgeihe@hildring.pvv.ntnu.no)
2023-06-20 06:56:08 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-06-20 06:59:08 +0200ircbrowse_tom(~ircbrowse@static.162.49.55.162.clients.your-server.de) (ZNC 1.8.2+deb2build5 - https://znc.in)
2023-06-20 06:59:22 +0200ircbrowse_tom(~ircbrowse@static.162.49.55.162.clients.your-server.de)
2023-06-20 06:59:28 +0200Server+Cnt
2023-06-20 06:59:35 +0200raoul(~raoul@95.179.203.88)
2023-06-20 07:01:58 +0200[exa](~exa@user/exa/x-3587197) (Remote host closed the connection)
2023-06-20 07:04:25 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Ping timeout: 256 seconds)
2023-06-20 07:04:32 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (Ping timeout: 260 seconds)
2023-06-20 07:04:54 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2)
2023-06-20 07:05:16 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2023-06-20 07:06:06 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 246 seconds)
2023-06-20 07:06:06 +0200yushyin(PId2DpIzVD@mail.karif.server-speed.net) (Ping timeout: 246 seconds)
2023-06-20 07:06:06 +0200s4msung(WMv8rEI0Iy@user/s4msung) (Ping timeout: 246 seconds)
2023-06-20 07:06:12 +0200[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 255 seconds)
2023-06-20 07:06:24 +0200maxfan8_(~max@2a01:4f8:192:5356::2) (Ping timeout: 260 seconds)
2023-06-20 07:06:48 +0200maxfan8_(~max@2a01:4f8:192:5356::2)
2023-06-20 07:07:54 +0200[_________](~oos95GWG@user/oos95GWG)
2023-06-20 07:07:59 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2)
2023-06-20 07:08:08 +0200s4msung(4RqcWUWWqt@user/s4msung)
2023-06-20 07:19:46 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-20 07:19:59 +0200yushyin(tGG5pLVJ8Y@2a01:4f8:1c17:80de::2)
2023-06-20 07:21:50 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-06-20 07:23:09 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-06-20 07:23:40 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-06-20 07:23:44 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-20 07:25:50 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2023-06-20 07:28:42 +0200bilegeek(~bilegeek@2600:1008:b047:b90f:5137:a48c:4fab:4914)
2023-06-20 07:30:01 +0200jargon(~jargon@32.sub-174-205-224.myvzw.com) (Remote host closed the connection)
2023-06-20 07:32:38 +0200phma(phma@2001:5b0:211b:a558:6f16:d106:7587:769) (Read error: Connection reset by peer)
2023-06-20 07:43:00 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-06-20 07:43:11 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-06-20 07:43:27 +0200michalz(~michalz@185.246.207.217)
2023-06-20 07:55:35 +0200acidjnk_new(~acidjnk@p200300d6e7072f4400c7022870e66fcb.dip0.t-ipconnect.de)
2023-06-20 07:57:05 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-20 08:05:16 +0200titibandit(~titibandi@user/titibandit)
2023-06-20 08:16:20 +0200ripspin(~chatzilla@1.145.143.6) (Read error: Connection reset by peer)
2023-06-20 08:16:25 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
2023-06-20 08:16:55 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-06-20 08:17:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-06-20 08:17:40 +0200smoge(~smoge@2603-7000-4b42-1100-4596-05e7-d4ae-66e3.res6.spectrum.com) (Quit: Client closed)
2023-06-20 08:18:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-06-20 08:19:05 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-06-20 08:20:32 +0200jonathan_(~jonathan@83.252.3.92)
2023-06-20 08:25:30 +0200cheater(~Username@user/cheater)
2023-06-20 08:32:07 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-20 08:36:19 +0200drlkf(~drlkf@192.184.163.34.bc.googleusercontent.com) (Server closed connection)
2023-06-20 08:36:44 +0200drlkf(~drlkf@192.184.163.34.bc.googleusercontent.com)
2023-06-20 08:48:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-06-20 08:48:42 +0200shailangsa(~shailangs@host86-186-142-69.range86-186.btcentralplus.com) (Ping timeout: 258 seconds)
2023-06-20 08:55:34 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
2023-06-20 09:00:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:dc4c:5747:7214:81a1)
2023-06-20 09:04:52 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2023-06-20 09:06:20 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-06-20 09:06:41 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-06-20 09:11:20 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2023-06-20 09:16:01 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 09:16:17 +0200gmg(~user@user/gehmehgeh)
2023-06-20 09:20:02 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-20 09:20:45 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-20 09:20:55 +0200bilegeek(~bilegeek@2600:1008:b047:b90f:5137:a48c:4fab:4914) (Quit: Leaving)
2023-06-20 09:21:40 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-20 09:22:13 +0200srk(~sorki@user/srk) (Remote host closed the connection)
2023-06-20 09:22:33 +0200srk(~sorki@user/srk)
2023-06-20 09:26:06 +0200misterfish(~misterfis@87.215.131.102)
2023-06-20 09:30:10 +0200EllenorReinhilde
2023-06-20 09:31:39 +0200hugo(znc@verdigris.lysator.liu.se)
2023-06-20 09:37:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-06-20 09:44:59 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2023-06-20 09:51:02 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-20 09:51:29 +0200cfricke(~cfricke@user/cfricke)
2023-06-20 09:53:18 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-06-20 09:54:56 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-06-20 09:56:20 +0200noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2023-06-20 09:56:29 +0200noctux(~noctux@user/noctux)
2023-06-20 09:56:44 +0200gmg(~user@user/gehmehgeh)
2023-06-20 10:01:02 +0200tzh(~tzh@24.21.73.154) (Quit: zzz)
2023-06-20 10:06:10 +0200ft(~ft@p4fc2afc9.dip0.t-ipconnect.de)
2023-06-20 10:08:48 +0200sanjai(uid606752@id-606752.uxbridge.irccloud.com) (Quit: Updating details, brb)
2023-06-20 10:09:01 +0200daemon_(uid606752@id-606752.uxbridge.irccloud.com)
2023-06-20 10:11:03 +0200user____(~user@89.204.130.113)
2023-06-20 10:15:07 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-20 10:21:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-06-20 10:25:46 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-20 10:29:10 +0200ghostbuster(~admin@user/ghostbuster) (Server closed connection)
2023-06-20 10:29:57 +0200ghostbuster(~admin@user/ghostbuster)
2023-06-20 10:34:33 +0200ijqq(uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 10:37:33 +0200NinjaTrappeur(~ninja@user/ninjatrappeur) (Quit: WeeChat 3.8)
2023-06-20 10:37:39 +0200ham(~ham@user/ham) (Server closed connection)
2023-06-20 10:38:03 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection)
2023-06-20 10:38:05 +0200ham(~ham@user/ham)
2023-06-20 10:38:39 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-06-20 10:39:35 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 246 seconds)
2023-06-20 10:45:03 +0200[exa](~exa@user/exa/x-3587197)
2023-06-20 10:47:13 +0200NinjaTrappeur(~ninja@user/ninjatrappeur)
2023-06-20 10:47:39 +0200phma(phma@2001:5b0:211f:2f08:1cac:200:a297:82b8)
2023-06-20 10:50:50 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection)
2023-06-20 10:51:00 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2023-06-20 10:52:51 +0200ft(~ft@p4fc2afc9.dip0.t-ipconnect.de) (Quit: leaving)
2023-06-20 10:54:10 +0200MajorBiscuit(~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b)
2023-06-20 11:05:32 +0200mmhat(~mmh@p200300f1c702b018ee086bfffe095315.dip0.t-ipconnect.de)
2023-06-20 11:05:35 +0200mmhat(~mmh@p200300f1c702b018ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-06-20 11:11:46 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-20 11:13:17 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-06-20 11:14:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2023-06-20 11:14:38 +0200Lord_of_Life_Lord_of_Life
2023-06-20 11:16:15 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-06-20 11:18:10 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Server closed connection)
2023-06-20 11:18:19 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2023-06-20 11:18:23 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-20 11:18:56 +0200cfricke(~cfricke@user/cfricke)
2023-06-20 11:19:08 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-06-20 11:19:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-06-20 11:19:57 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:3ea7:94a2:aa4d:9d0b)
2023-06-20 11:21:08 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 240 seconds)
2023-06-20 11:21:19 +0200acidjnk_new(~acidjnk@p200300d6e7072f4400c7022870e66fcb.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-06-20 11:21:34 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-20 11:21:42 +0200acidjnk_new(~acidjnk@p200300d6e7072f4400c7022870e66fcb.dip0.t-ipconnect.de)
2023-06-20 11:25:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-06-20 11:30:02 +0200Luj(~Luj@2a01:e0a:5f9:9681:f71f:fbb2:cbdf:4da0) (Quit: Ping timeout (120 seconds))
2023-06-20 11:30:20 +0200Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-06-20 11:31:35 +0200user____(~user@89.204.130.113) (Read error: Connection reset by peer)
2023-06-20 11:33:02 +0200user____(~user@dynamic-089-204-130-113.89.204.130.pool.telefonica.de)
2023-06-20 11:34:00 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 11:38:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 11:41:01 +0200__monty__(~toonn@user/toonn)
2023-06-20 11:43:11 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 258 seconds)
2023-06-20 11:45:14 +0200ripspin(~chatzilla@1.145.156.212)
2023-06-20 11:45:23 +0200kimiamania6(~6790af62@user/kimiamania) (Quit: Ping timeout (120 seconds))
2023-06-20 11:46:13 +0200kimiamania6(~6790af62@user/kimiamania)
2023-06-20 11:47:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-06-20 11:52:26 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 11:53:20 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 11:54:36 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 11:55:23 +0200MajorBiscuit(~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) (Ping timeout: 258 seconds)
2023-06-20 11:57:22 +0200MajorBiscuit(~MajorBisc@c-001-031-045.client.tudelft.eduvpn.nl)
2023-06-20 11:58:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-06-20 12:01:39 +0200laxmik(~user@cfeld-pcx40162.desy.de)
2023-06-20 12:01:59 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-20 12:03:57 +0200laxmikmichals
2023-06-20 12:06:32 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2023-06-20 12:09:23 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2023-06-20 12:18:00 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-06-20 12:18:05 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2023-06-20 12:24:58 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-20 12:26:57 +0200misterfish(~misterfis@87.215.131.102)
2023-06-20 12:27:00 +0200swistak-(~swistak@185.21.216.141) (Quit: bye bye)
2023-06-20 12:28:40 +0200swistak(~swistak@185.21.216.141)
2023-06-20 12:29:20 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-20 12:30:06 +0200ec(~ec@gateway/tor-sasl/ec)
2023-06-20 12:30:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-06-20 12:35:26 +0200tubogram44711(~tubogram@user/tubogram) (Quit: Ping timeout (120 seconds))
2023-06-20 12:35:50 +0200tubogram44711(~tubogram@user/tubogram)
2023-06-20 12:38:30 +0200foul_owl(~kerry@71.212.137.212) (Ping timeout: 240 seconds)
2023-06-20 12:40:12 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-06-20 12:41:34 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-20 12:53:34 +0200foul_owl(~kerry@45.143.82.39)
2023-06-20 12:56:43 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
2023-06-20 12:58:04 +0200barcisz(~barcisz@79.191.69.198.ipv4.supernova.orange.pl)
2023-06-20 13:00:08 +0200 <zazaeil> What would you say about this piece of code:
2023-06-20 13:00:09 +0200 <zazaeil> mapMR:: Monad m => (a -> m b) -> [a] -> m [b]
2023-06-20 13:00:09 +0200 <zazaeil> mapMR f xs = go xs []
2023-06-20 13:00:09 +0200 <zazaeil> where
2023-06-20 13:00:12 +0200 <zazaeil> go (z:zs) buf = do
2023-06-20 13:00:15 +0200 <zazaeil> y <- f z
2023-06-20 13:00:19 +0200 <zazaeil> y `seq` go zs $! y : buf
2023-06-20 13:00:20 +0200 <zazaeil> go _ buf = pure $ reverse buf
2023-06-20 13:00:24 +0200 <zazaeil> what's the usecase for it?
2023-06-20 13:05:21 +0200 <probie> for making sure all the IO actions run before returning anything in the presence of `unsafeInterleaveIO`?
2023-06-20 13:06:30 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-06-20 13:07:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer)
2023-06-20 13:07:20 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-20 13:07:23 +0200 <zazaeil> probie: why would you `reverse` then?
2023-06-20 13:07:57 +0200 <probie> To get the results in the original order
2023-06-20 13:08:06 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-20 13:10:35 +0200 <ncf> go (a:b:c:[]) [] → go (b:c:[]) (a:[]) → go (c:[]) (b:a:[]) → go [] (c:b:a:[]) → a:b:c:[]
2023-06-20 13:10:46 +0200 <probie> Try something like `let prompt s = putStrLn s >> fmap (s ++) getLine in mapMR prompt ["One: ", "Two: ", "Three: "]` both with and without the reverse
2023-06-20 13:13:56 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net)
2023-06-20 13:15:14 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 265 seconds)
2023-06-20 13:16:26 +0200Guest38(~Guest38@176.122.87.241)
2023-06-20 13:17:13 +0200 <tomsmeding> probie: is this not the same as mapMR f xs = do { ys <- traverse f xs ; foldr seq () ys `seq` return ys }
2023-06-20 13:17:26 +0200 <tomsmeding> I struggle to see why all the acrobatics are necessary
2023-06-20 13:17:43 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 13:18:17 +0200 <Guest38> hello
2023-06-20 13:18:23 +0200 <geekosaur> hello
2023-06-20 13:18:29 +0200 <tomsmeding> also communicates the intent much more clearly -- it's traverse/mapM, but evaluating the spine before returning
2023-06-20 13:18:49 +0200hugo(znc@2001:6b0:17:f0a0::17)
2023-06-20 13:20:06 +0200shailangsa(~shailangs@host86-186-142-69.range86-186.btcentralplus.com)
2023-06-20 13:22:38 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-06-20 13:27:19 +0200 <Guest38> https://paste.tomsmeding.com/VlDjNyVW
2023-06-20 13:27:22 +0200 <Guest38> while the second one needs an extension?
2023-06-20 13:27:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-06-20 13:29:39 +0200 <geekosaur> because ghc is conservative when it comes to the Hskell standard, and the second one isn't part of the standard (https://www.haskell.org/onlinereport/haskell2010/)
2023-06-20 13:29:47 +0200 <[Leary]> tomsmeding: AKA deepseq`ap`pure: the Aztec god of strict IO.
2023-06-20 13:30:22 +0200 <tomsmeding> [Leary]: deepseq /= foldr seq ()
2023-06-20 13:30:43 +0200 <tomsmeding> Guest38: see also https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/constraint_kind.html#extension-Cons…
2023-06-20 13:31:10 +0200 <tomsmeding> [Leary]: foldr seq () only evaluates the _spine_
2023-06-20 13:31:35 +0200 <tomsmeding> ah, no, the spine plus WHNF of the elements
2023-06-20 13:31:40 +0200 <tomsmeding> which is proper
2023-06-20 13:31:50 +0200 <tomsmeding> deepseq would evaluate the elements to NF
2023-06-20 13:31:55 +0200 <probie> tomsmeding: I don't know why all the acrobatics are there, I was just attempting to rationalise a use for it after the fact
2023-06-20 13:32:02 +0200 <tomsmeding> yeah
2023-06-20 13:34:39 +0200 <[Leary]> Close enough. <.<
2023-06-20 13:36:26 +0200 <[Leary]> Also, the `deepseq` version is what you'd actually need to overcome lazy IO.
2023-06-20 13:36:50 +0200 <tomsmeding> in general, yes; in specific cases this one might be sufficient
2023-06-20 13:37:07 +0200 <tomsmeding> another use might be forcing some list evaluation in a lazy monad
2023-06-20 13:37:20 +0200 <tomsmeding> i.e. a monad where (>>=) doesn't seq the argument to the continuation
2023-06-20 13:42:32 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2023-06-20 13:44:39 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-06-20 13:46:09 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-06-20 13:52:55 +0200dminuoso(~dminuoso@user/dminuoso) (Server closed connection)
2023-06-20 13:53:28 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-06-20 13:54:16 +0200Guest38(~Guest38@176.122.87.241) (Quit: Client closed)
2023-06-20 13:54:36 +0200sagax(~sagax_nb@user/sagax) (Remote host closed the connection)
2023-06-20 13:54:45 +0200dminuoso(~dminuoso@user/dminuoso)
2023-06-20 13:58:44 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
2023-06-20 14:01:06 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-06-20 14:05:55 +0200Me-me(~me-me@user/me-me) (Server closed connection)
2023-06-20 14:06:35 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com)
2023-06-20 14:07:11 +0200wns(~user@103.206.114.101) (Ping timeout: 260 seconds)
2023-06-20 14:08:29 +0200Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-06-20 14:08:32 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-20 14:10:56 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-20 14:12:06 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-06-20 14:14:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-06-20 14:15:21 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-06-20 14:25:00 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 246 seconds)
2023-06-20 14:25:43 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-20 14:25:43 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Read error: Connection reset by peer)
2023-06-20 14:25:58 +0200dcoutts(~duncan@82.14.199.136)
2023-06-20 14:27:13 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com)
2023-06-20 14:30:54 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-06-20 14:41:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 14:42:35 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-20 14:45:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds)
2023-06-20 14:48:59 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-20 14:53:39 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-20 14:54:05 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-20 14:57:55 +0200fr33domlover(~fr33domlo@towards.vision) (Server closed connection)
2023-06-20 14:58:18 +0200fr33domlover(~fr33domlo@towards.vision)
2023-06-20 15:04:06 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-06-20 15:10:55 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (Server closed connection)
2023-06-20 15:11:14 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001)
2023-06-20 15:11:52 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-06-20 15:15:15 +0200amir(sid22336@user/amir) (Server closed connection)
2023-06-20 15:15:24 +0200amir(sid22336@user/amir)
2023-06-20 15:15:56 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-06-20 15:18:32 +0200acidjnk_new(~acidjnk@p200300d6e7072f4400c7022870e66fcb.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-06-20 15:19:19 +0200raehik(~raehik@82.21.176.157)
2023-06-20 15:19:19 +0200andreas303(andreas303@is.drunk.and.ready-to.party) (Server closed connection)
2023-06-20 15:19:39 +0200andreas303(andreas303@is.drunk.and.ready-to.party)
2023-06-20 15:24:21 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-20 15:25:20 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-06-20 15:26:02 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-06-20 15:28:48 +0200user____(~user@dynamic-089-204-130-113.89.204.130.pool.telefonica.de) (Read error: Connection reset by peer)
2023-06-20 15:35:26 +0200rf(~rf@2605:59c8:179c:f610:fdc:f9e0:5115:df48)
2023-06-20 15:36:51 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-20 15:36:51 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-20 15:36:52 +0200wroathe(~wroathe@user/wroathe)
2023-06-20 15:44:09 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-20 15:53:03 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
2023-06-20 15:53:20 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-20 15:53:26 +0200kimiamania6(~6790af62@user/kimiamania) (Quit: PegeLinux)
2023-06-20 15:54:55 +0200kimiamania6(~6790af62@user/kimiamania)
2023-06-20 15:57:15 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-20 15:59:16 +0200captnemo(~captnemo@193.32.127.239)
2023-06-20 16:00:00 +0200captnemo(~captnemo@193.32.127.239) (Client Quit)
2023-06-20 16:00:21 +0200kitzman(~kitzman@user/dekenevs) (Ping timeout: 255 seconds)
2023-06-20 16:02:20 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-20 16:05:33 +0200kitzman(~kitzman@user/dekenevs)
2023-06-20 16:21:40 +0200gensyst(~gensyst@user/gensyst)
2023-06-20 16:22:18 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2023-06-20 16:28:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds)
2023-06-20 16:28:00 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Read error: Connection reset by peer)
2023-06-20 16:28:48 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 16:29:06 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com)
2023-06-20 16:30:16 +0200 <gensyst> How to debug a weird issue like this?
2023-06-20 16:30:16 +0200 <gensyst> The program crashes with runtime error "thread blocked indefinitely in an mvar operation" usually.
2023-06-20 16:30:17 +0200 <gensyst> If I redirect stdout&stderr to a file, the program also crashes but with the different error: "thread blocked indefinitely in an STM transaction"
2023-06-20 16:30:17 +0200 <gensyst> And if I simply put a liftIO $ putStrLn "foo" at one place, the program stops crashing!
2023-06-20 16:30:17 +0200 <gensyst> Does anything like this sound familiar?
2023-06-20 16:30:38 +0200 <gensyst> s/usually/without any stdout/stderr redirection
2023-06-20 16:33:01 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-06-20 16:34:00 +0200acidjnk(~acidjnk@p200300d6e7072f44f8bdafc80b96a078.dip0.t-ipconnect.de)
2023-06-20 16:34:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-06-20 16:34:29 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Read error: Connection reset by peer)
2023-06-20 16:36:28 +0200arrowhead(~arrowhead@2603:7000:9b3f:6934:a971:d3cb:1596:4118)
2023-06-20 16:41:44 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 258 seconds)
2023-06-20 16:44:49 +0200arrowhead(~arrowhead@2603:7000:9b3f:6934:a971:d3cb:1596:4118) (Remote host closed the connection)
2023-06-20 16:50:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-06-20 16:51:26 +0200 <tomsmeding> gensyst: are you starting external processes, or is this just one haskell program?
2023-06-20 16:54:32 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-06-20 16:56:01 +0200k``(~user@136.56.140.2)
2023-06-20 16:56:30 +0200 <k``> Is there a way to write PatternSynonyms without ViewPatterns?
2023-06-20 16:57:03 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 16:59:03 +0200 <gensyst> tomsmeding, one haskell program
2023-06-20 17:00:20 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds)
2023-06-20 17:00:35 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com)
2023-06-20 17:01:38 +0200 <tomsmeding> k``: yes, but ViewPatterns make pattern synonyms much more expressive :p
2023-06-20 17:01:38 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Read error: Connection reset by peer)
2023-06-20 17:01:48 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-20 17:02:18 +0200 <tomsmeding> gensyst: I was thinking of this one but it's something different then possibly https://tomsmeding.com/blog/bugs/efault
2023-06-20 17:02:34 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-06-20 17:03:17 +0200 <tomsmeding> gensyst: are you using any unsafe stuff, like unsafeIOToSTM?
2023-06-20 17:04:57 +0200shapr(~user@2600:1700:c640:3100:c563:6739:a435:1e16)
2023-06-20 17:05:12 +0200 <gensyst> tomsmeding, nope
2023-06-20 17:05:41 +0200 <gensyst> the only thing i can think of is some weird/obscure GC finalization stuff (and it's coincidental that the putStrLn somehow affects GC)
2023-06-20 17:05:57 +0200 <gensyst> can't think of anything else :S
2023-06-20 17:06:02 +0200 <zero> `The record update x { field = ... } with type A is ambiguous. This will not be supported by -XDuplicateRecordFields in future releases of GHC.`
2023-06-20 17:06:05 +0200 <zero> why am i getting this warning?
2023-06-20 17:06:06 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
2023-06-20 17:07:03 +0200 <zero> is DuplicateRecordFields being deprecated?
2023-06-20 17:07:25 +0200machinedgod(~machinedg@198.53.218.113)
2023-06-20 17:08:26 +0200 <zero> As of GHC 9.4.1, selector names have to be entirely unambiguous (under the usual name resolution rules), while for record updates, there must be at most one datatype that has all the field names being updated.
2023-06-20 17:08:37 +0200 <zero> i'm not sure what this means
2023-06-20 17:12:57 +0200 <tomsmeding> zero: presumably it means in your example that there must be at most one type that has the field 'field'
2023-06-20 17:13:08 +0200 <tomsmeding> which is no advantage over plain haskell
2023-06-20 17:13:43 +0200 <tomsmeding> it becomes more flexible when you go x { a = ..., b = ... }, where there must be at most one type that has _both_ 'a' and 'b' -- there could be other types that have 'a' but not 'b'
2023-06-20 17:13:55 +0200 <tomsmeding> in short, not very useful
2023-06-20 17:14:28 +0200 <zero> i have two types with a 'field' field (i'm using Aeson with Generics) and i want to update one of them
2023-06-20 17:14:35 +0200 <zero> how should i do it then?
2023-06-20 17:15:08 +0200 <gensyst> why can't they just make it... easy lol. Like... dotsyntax. something that just works. (of course there must be good reasons for this, otherwise it would be done already)
2023-06-20 17:16:01 +0200 <zero> `x { field = ... , b = b x }` seems ridiculous
2023-06-20 17:17:09 +0200 <geekosaur> they should have implemented row types and then all of this would just work. instead we get hacks
2023-06-20 17:17:17 +0200 <merijn> geekosaur: facts
2023-06-20 17:17:25 +0200 <zero> what i have now is `x { field = ... } :: A` how is that ambiguous?
2023-06-20 17:17:27 +0200 <merijn> the whole dot field selector story is a farce
2023-06-20 17:18:14 +0200 <merijn> There's like 10 different field selector extensions and they all just make more of a mess
2023-06-20 17:19:10 +0200 <zero> i'll just make an updateField function *sigh*
2023-06-20 17:19:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 17:21:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection)
2023-06-20 17:21:35 +0200 <zero> ok that didn't solve it
2023-06-20 17:23:54 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-06-20 17:26:40 +0200 <Athas> How does the -maxN RTS flag interact with 'getNumCapabilities'?
2023-06-20 17:27:07 +0200 <Athas> I pass -maxN8, yet getNumCapabilities returns 1.
2023-06-20 17:27:23 +0200 <merijn> Athas: Does max change the actual, though?
2023-06-20 17:27:30 +0200 <Athas> If I pass -N8, getNumCapabilitiles returns 8.
2023-06-20 17:27:44 +0200 <Athas> merijn: I thought it did. The documentation implies that it's like -N, but with an upper bound.
2023-06-20 17:27:52 +0200 <Athas> Which would be a very useful thing!
2023-06-20 17:27:54 +0200 <merijn> that makes no sense, though
2023-06-20 17:28:05 +0200mechap(~mechap@user/mechap)
2023-06-20 17:28:07 +0200 <merijn> setting directly to upperbound
2023-06-20 17:28:18 +0200 <Athas> You are incorrect; it makes sense.
2023-06-20 17:28:23 +0200 <geekosaur> I would expect it to limit `setNumCapabilities`
2023-06-20 17:28:35 +0200 <merijn> Athas: What do -N8 -maxN8 and -N16 -maxN8 do?
2023-06-20 17:29:02 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-20 17:29:12 +0200 <merijn> I'm with geekosaur
2023-06-20 17:29:20 +0200 <Athas> merijn: 1 capability.
2023-06-20 17:29:50 +0200 <Athas> My use case is that I want to use a hardware thread per core, but with an upper limit of 16 (because I know empirically my program will not scale beyond that).
2023-06-20 17:30:03 +0200 <Athas> I thought -maxN was a convenient way to express that, but apparently I have to actually write code.
2023-06-20 17:32:11 +0200 <Athas> Oh, wait, this seems to also behave differently when using a runtime with profiling enabled.
2023-06-20 17:32:32 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) ()
2023-06-20 17:32:59 +0200 <Athas> Alright I don't know what the profiling runtime is doing, but the non-profiling one fits my intuition of what -maxN should do.
2023-06-20 17:34:32 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 252 seconds)
2023-06-20 17:34:35 +0200danse-nr3(~francesco@151.46.191.96)
2023-06-20 17:38:15 +0200darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Server closed connection)
2023-06-20 17:38:48 +0200 <tomsmeding> this being influenced by being in profiling mode or not sounds like a bug
2023-06-20 17:38:54 +0200darkling(~darkling@2001:ba8:1f1:f0e6::2)
2023-06-20 17:38:58 +0200 <tomsmeding> of all things that it should do, that it ought not to do, surely
2023-06-20 17:40:32 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-20 17:41:02 +0200 <tomsmeding> the documentation on -maxN is unclear
2023-06-20 17:41:26 +0200 <tomsmeding> it implies that the runtime should choose the number of capabilities, respecting your explicit upper bound as well as the implicit number-of-processors bound
2023-06-20 17:41:32 +0200 <tomsmeding> but the runtime never chooses anything
2023-06-20 17:41:49 +0200 <tomsmeding> it just does what you tell it to do (using -N or with setNumCapabilities), and doesn't budge from that
2023-06-20 17:42:01 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-20 17:42:12 +0200 <tomsmeding> so naively I'd expect -maxN to do absolutely _nothing_ -- I don't see what functionality would use an "upper bound"
2023-06-20 17:42:14 +0200 <EvanR> of all the number of capabilities you chose, that is the max
2023-06-20 17:42:29 +0200 <EvanR> it's the max of all possible worlds
2023-06-20 17:42:43 +0200 <tomsmeding> perhaps that works for someone called Max, but I'm not
2023-06-20 17:42:55 +0200 <Athas> tomsmeding: the runtime "chooses" if you use -N without an argument.
2023-06-20 17:42:59 +0200 <EvanR> -evaN
2023-06-20 17:43:19 +0200 <Athas> My intuition was that -maxN is like "no-argument -N but with an upper limit".
2023-06-20 17:43:34 +0200 <tomsmeding> Athas: I see that as "'-N' means '-N$(ncpus)'", not as "'-N' means 'the runtime chooses something with $(ncpus) as an upper bound'"
2023-06-20 17:43:38 +0200 <Athas> Originally I simply used -N but then I tried to run my program on a 96 core machine and disaster ensued.
2023-06-20 17:43:50 +0200 <tomsmeding> Athas: but no-argument -N is _documented_ as being precisely -N$(ncpus)
2023-06-20 17:44:09 +0200 <Athas> What do you think -maxN should do?
2023-06-20 17:44:23 +0200 <tomsmeding> right
2023-06-20 17:44:28 +0200 <merijn> Athas: Set the upperbound for allowed number of capabilities and not touch the number of capabilities
2023-06-20 17:44:45 +0200 <tomsmeding> you're right, the only sensible thing for -maxN<x> to mean, is -N<min($(ncpus), x)>
2023-06-20 17:44:59 +0200 <merijn> tomsmeding: why?
2023-06-20 17:44:59 +0200 <tomsmeding> given the documentation
2023-06-20 17:45:09 +0200 <tomsmeding> merijn: because that's the only sensible interpretation of the docs
2023-06-20 17:45:12 +0200 <merijn> ah, I'm only reading the channel :p
2023-06-20 17:45:16 +0200 <tomsmeding> not because that's the only sensible thing that -maxN could do
2023-06-20 17:45:18 +0200 <tomsmeding> merijn: https://downloads.haskell.org/ghc/latest/docs/users_guide/using-concurrent.html?highlight=maxn#rts…
2023-06-20 17:45:30 +0200barcisz(~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-06-20 17:45:31 +0200 <Athas> What does "allowed number of capabilities" mean? Would this be about restricting setNumCapabilities, or whatever it's called?
2023-06-20 17:45:32 +0200 <merijn> tomsmeding: That sounds like work and I'm already debugging obscure things ;)
2023-06-20 17:45:38 +0200 <merijn> Athas: yes
2023-06-20 17:46:02 +0200 <Athas> I am not convinced that is terribly useful. It seems only useful for limiting ill-behaved Haskell code, and you can always use taskset for that.
2023-06-20 17:46:03 +0200 <merijn> Anyway, I haven't read the actual docs, so... :p
2023-06-20 17:48:31 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-20 17:49:07 +0200 <tomsmeding> Athas: https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/RtsFlags.c#L1252-1270
2023-06-20 17:49:29 +0200ripspin(~chatzilla@1.145.156.212) (Remote host closed the connection)
2023-06-20 17:49:34 +0200 <tomsmeding> there's your profiling dependence too
2023-06-20 17:50:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-06-20 17:50:41 +0200isomorpheme[m](~isomorphe@2001:470:69fc:105::3:731a)
2023-06-20 17:50:44 +0200 <Athas> Right, so it's just an add-hoc hack for the profiling case. That's fine.
2023-06-20 17:50:57 +0200 <Athas> I'm guessing the profiling RTS does not handle true concurrency well.
2023-06-20 17:52:32 +0200 <tomsmeding> there's also no discussion at all about this in the original MR https://gitlab.haskell.org/ghc/ghc/-/commit/7ed0da6cde909e662d09e1f39c3fccfa10f91a7f
2023-06-20 17:53:46 +0200bilegeek(~bilegeek@2600:1008:b06e:a5ba:1ed2:b1b5:3d65:1eea)
2023-06-20 17:54:38 +0200chromoblob(~user@37.113.180.121)
2023-06-20 17:54:45 +0200danse-nr3(~francesco@151.46.191.96) (Ping timeout: 240 seconds)
2023-06-20 17:58:11 +0200Inst(~Inst@2601:6c4:4081:2fc0:9dc5:964c:79f7:7570)
2023-06-20 17:58:15 +0200 <Inst> https://techcrunch.com/2023/06/19/reddit-communities-adopt-alternative-forms-of-protest-as-the-com…
2023-06-20 17:58:20 +0200 <Inst> re the /r/Haskell fracas
2023-06-20 17:58:48 +0200 <Inst> it looks like it's more a question of whether we want Taylor / Dons / Kmett etc to remain mods and remain in control of /r/Haskell, or have it seized from us
2023-06-20 17:59:08 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 240 seconds)
2023-06-20 18:00:12 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-06-20 18:00:39 +0200 <EvanR> Moderators you better keep the community open or we will close you. Which it already is
2023-06-20 18:01:09 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-20 18:01:09 +0200 <EvanR> what the hell
2023-06-20 18:07:27 +0200 <[exa]> "seized"
2023-06-20 18:08:05 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds)
2023-06-20 18:08:55 +0200 <dolio> The prospects don't seem very good, from what I've seen.
2023-06-20 18:09:47 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-20 18:13:46 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-20 18:15:16 +0200MajorBiscuit(~MajorBisc@c-001-031-045.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6)
2023-06-20 18:15:24 +0200MajorBiscuit(~MajorBisc@c-001-031-045.client.tudelft.eduvpn.nl)
2023-06-20 18:16:12 +0200machinedgod(~machinedg@198.53.218.113) (Ping timeout: 240 seconds)
2023-06-20 18:16:50 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-20 18:17:20 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-20 18:18:23 +0200mc47(~mc47@xmonad/TheMC47)
2023-06-20 18:22:03 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 18:23:35 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:3ea7:94a2:aa4d:9d0b) (Remote host closed the connection)
2023-06-20 18:23:51 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 260 seconds)
2023-06-20 18:24:46 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-20 18:26:23 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 258 seconds)
2023-06-20 18:27:32 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds)
2023-06-20 18:30:53 +0200Sgeo(~Sgeo@user/sgeo)
2023-06-20 18:31:50 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-06-20 18:36:00 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
2023-06-20 18:39:27 +0200ddellacosta(~ddellacos@146.70.165.245)
2023-06-20 18:41:19 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-20 18:42:12 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-06-20 18:42:20 +0200user____(~user@dynamic-089-204-130-184.89.204.130.pool.telefonica.de)
2023-06-20 18:44:32 +0200raehik(~raehik@82.21.176.157) (Ping timeout: 240 seconds)
2023-06-20 18:46:44 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
2023-06-20 18:48:19 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-06-20 18:48:26 +0200MajorBiscuit(~MajorBisc@c-001-031-045.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6)
2023-06-20 18:53:13 +0200michals(~user@cfeld-pcx40162.desy.de) (Quit: ERC (IRC client for Emacs 26.3))
2023-06-20 19:02:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-06-20 19:03:34 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds)
2023-06-20 19:06:11 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-20 19:08:09 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.au)
2023-06-20 19:08:09 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.au) (Changing host)
2023-06-20 19:08:09 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-06-20 19:13:35 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Remote host closed the connection)
2023-06-20 19:15:03 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-06-20 19:17:44 +0200ai5lk(~ai5lk@209-188-121-236.taosnet.com)
2023-06-20 19:18:12 +0200ai5lkshef
2023-06-20 19:20:48 +0200danse-nr3(~francesco@151.46.190.79)
2023-06-20 19:21:56 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
2023-06-20 19:29:04 +0200smoge(~smoge@2603-7000-4b42-1100-45e9-092e-53fe-8cc3.res6.spectrum.com)
2023-06-20 19:29:19 +0200 <jade[m]1> hm, I wonder what the best way to render an animation in haskell. So far I think I could just render the individual frames unsing hip and then use ffmpeg
2023-06-20 19:29:20 +0200 <smoge> Is there a forum for haskell in arts / music ?
2023-06-20 19:30:10 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 19:30:24 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-06-20 19:31:24 +0200 <smoge> I'm just a beginner in Haskell. If someone could check this code and suggest something, I'd be very grateful.
2023-06-20 19:31:25 +0200 <smoge> https://github.com/smoge/music-types
2023-06-20 19:33:22 +0200dumptruckman(~dumptruck@143-42-239-71.ip.linodeusercontent.com)
2023-06-20 19:34:34 +0200 <smoge> Thank you
2023-06-20 19:39:35 +0200smoge18(~smoge@2603-7000-4b42-1100-45e9-092e-53fe-8cc3.res6.spectrum.com)
2023-06-20 19:39:47 +0200smoge18(~smoge@2603-7000-4b42-1100-45e9-092e-53fe-8cc3.res6.spectrum.com) (Client Quit)
2023-06-20 19:41:54 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 265 seconds)
2023-06-20 19:42:28 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-20 19:45:14 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-20 19:53:06 +0200 <[exa]> smoge: does it play sounds?
2023-06-20 19:53:46 +0200 <smoge> No, I'm just starting it. It implements a data type for music rhythms
2023-06-20 19:53:59 +0200 <segfaultfizzbuzz> [exa]: hey feel like teaching me stuff today?
2023-06-20 19:54:03 +0200 <smoge> references on the bottom of the src file
2023-06-20 19:54:38 +0200 <smoge> I'm quite new to haskell, any comment is appreciated
2023-06-20 19:55:04 +0200chromoblob(~user@37.113.180.121)
2023-06-20 19:56:32 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-06-20 19:58:42 +0200 <sm> it looks great smoge
2023-06-20 20:00:30 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 240 seconds)
2023-06-20 20:00:37 +0200danse-nr3_(~francesco@151.46.222.202)
2023-06-20 20:00:45 +0200danse-nr3(~francesco@151.46.190.79) (Read error: Connection reset by peer)
2023-06-20 20:01:05 +0200zazaeil(~user@91.234.25.217) (Remote host closed the connection)
2023-06-20 20:02:32 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142) (Ping timeout: 240 seconds)
2023-06-20 20:03:12 +0200__monty__(~toonn@user/toonn)
2023-06-20 20:06:43 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-20 20:13:36 +0200 <smoge> Is there a type of Fraction that doesn't reduce? For example, stays 4/8, and won't reduce to 1/2 automatically?
2023-06-20 20:14:53 +0200 <c_wraith> if you're looking for time signatures, just use two numbers. They're not really fractions anyway
2023-06-20 20:15:13 +0200 <darkling> Yeah.
2023-06-20 20:15:21 +0200 <darkling> You got there before me. :)
2023-06-20 20:16:32 +0200 <dolio> smoge: (,)? :)
2023-06-20 20:16:36 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-20 20:16:56 +0200jinsun__(~jinsun@user/jinsun)
2023-06-20 20:16:56 +0200jinsun(~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services)))
2023-06-20 20:16:57 +0200jinsun__jinsun
2023-06-20 20:17:12 +0200 <smoge> ok thanks
2023-06-20 20:17:39 +0200 <smoge> in some OOP those 'fractions' inherent from Rational
2023-06-20 20:17:41 +0200 <smoge> go figures
2023-06-20 20:17:43 +0200apache(apache2@anubis.0x90.dk)
2023-06-20 20:17:47 +0200jonathan__(~jonathan@c83-252-3-92.bredband.tele2.se)
2023-06-20 20:18:02 +0200ft(~ft@p4fc2afc9.dip0.t-ipconnect.de)
2023-06-20 20:18:38 +0200 <dolio> That won't get you all the arithmetic, of course. I'm not aware of any non-reduced rational that's actually an instance of all the numeric stuff in the right way.
2023-06-20 20:19:13 +0200shriekingnoise_(~shrieking@186.137.175.87)
2023-06-20 20:19:15 +0200Lears(~Leary]@user/Leary/x-0910699)
2023-06-20 20:19:35 +0200k```(~user@136.56.140.2)
2023-06-20 20:19:48 +0200nefercheprure(tma@twin.jikos.cz)
2023-06-20 20:21:00 +0200tom_(~tom@2a00:23c8:970c:4801:c75:579a:9201:4dd9)
2023-06-20 20:21:00 +0200dunj3(~dunj3@kingdread.de) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200dcoutts(~duncan@82.14.199.136) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200ghostbuster(~admin@user/ghostbuster) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200Ekho(~Ekho@user/ekho) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200TMA(tma@91.219.245.39) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200davean(~davean@67.205.182.208) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200Rembane(~Rembane@li346-36.members.linode.com) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200disconnect3d(~disconnec@user/disconnect3d) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200tom__(~tom@81.151.255.71) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200esph(~weechat@user/esph) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200apache2(apache2@46.101.137.181) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200tomku(~tomku@user/tomku) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200hpc(~juzz@98.169.35.163) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)
2023-06-20 20:21:00 +0200int-e(~noone@int-e.eu) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200reverse(~inversed@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200k``(~user@136.56.140.2) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200jonathan_(~jonathan@83.252.3.92) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200tomsmeding(~tomsmedin@23.88.109.21) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200hiredman(~hiredman@138.68.1.198) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200Teacup(~teacup@user/teacup) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200thaumavorio(~thaumavor@162.243.123.105) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 240 seconds)
2023-06-20 20:21:01 +0200shane(~shane@ana.rch.ist) (Ping timeout: 240 seconds)
2023-06-20 20:21:09 +0200monochrm(trebla@216.138.220.146)
2023-06-20 20:21:12 +0200Dykam(Dykam@dykam.nl) (Ping timeout: 240 seconds)
2023-06-20 20:21:19 +0200reverse(~inversed@188.220.172.130)
2023-06-20 20:21:26 +0200thaumavorio(~thaumavor@162.243.123.105)
2023-06-20 20:21:28 +0200Dykam(Dykam@dykam.nl)
2023-06-20 20:21:29 +0200monochrmmonochrom
2023-06-20 20:21:31 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be)
2023-06-20 20:21:35 +0200disconnect3d(~disconnec@user/disconnect3d)
2023-06-20 20:21:37 +0200ghostbuster(~admin@user/ghostbuster)
2023-06-20 20:21:38 +0200davean(~davean@67.205.182.208)
2023-06-20 20:21:46 +0200tomsmeding(~tomsmedin@static.21.109.88.23.clients.your-server.de)
2023-06-20 20:21:54 +0200dunj3(~dunj3@kingdread.de)
2023-06-20 20:21:55 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-06-20 20:21:55 +0200esph(~weechat@user/esph)
2023-06-20 20:22:01 +0200int-e(~noone@int-e.eu)
2023-06-20 20:22:05 +0200hiredman(~hiredman@frontier1.downey.family)
2023-06-20 20:22:06 +0200Rembane(~Rembane@178.79.177.36)
2023-06-20 20:22:07 +0200tomku(~tomku@user/tomku)
2023-06-20 20:22:13 +0200shane(~shane@ana.rch.ist)
2023-06-20 20:22:24 +0200 <smoge> I think they will need to have their rational number somehow integrated, so they can be ordered, compared, arithmetic operations (addition etc) etc
2023-06-20 20:22:32 +0200motherfsck(~motherfsc@user/motherfsck)
2023-06-20 20:22:52 +0200 <EvanR> time signatures don't seem to need much in the way of arithmetic
2023-06-20 20:23:18 +0200 <smoge> they are just like durations
2023-06-20 20:23:21 +0200Teacup(~teacup@user/teacup)
2023-06-20 20:23:33 +0200 <EvanR> but right now I am using rationals and debugging is though when they get reduced
2023-06-20 20:23:37 +0200 <darkling> They have additional semantics beyond duration -- phrasing, for example.
2023-06-20 20:23:49 +0200 <darkling> 6/8 is not the same as 3/4.
2023-06-20 20:24:16 +0200 <smoge> yes, although they las the same time
2023-06-20 20:24:35 +0200 <darkling> Well, physical duration also depends on tempo. :)
2023-06-20 20:24:51 +0200 <smoge> metric hierarchies would be yet another improvement, of course
2023-06-20 20:25:05 +0200 <EvanR> by duration I would think you mean a time diff, while time signature is a combination of count of beats per measure and a code for what a beat is
2023-06-20 20:25:13 +0200 <darkling> Personally, I'd just write them as a pair of (top, bottom)
2023-06-20 20:26:26 +0200 <darkling> I literally can't think of a case where I've had to do any kind of arithmetic on two time signatures.
2023-06-20 20:26:36 +0200 <smoge> Duration as in Music Notation. Duration -> Tempo -> Time (in seconds)
2023-06-20 20:27:09 +0200 <darkling> OK, but it's still just counting notes of given length. When do you need to add the time signatures themselves?
2023-06-20 20:27:35 +0200Ekho(~Ekho@user/ekho)
2023-06-20 20:28:34 +0200 <darkling> If you need to keep track of the number of beats that have elapsed since some previous event, I'd count (fractions of) beats, *derived from* the time signature, rather than trying to do anything fancy with the time signatures themselves.
2023-06-20 20:29:04 +0200 <darkling> The Western notation of music isn't necessarily the best driver of appropriate data structures for representing it.
2023-06-20 20:29:17 +0200 <smoge> With some approaches, you can start with the measure, and then subdivide it. So you need to know the duration.
2023-06-20 20:30:39 +0200 <smoge> Yes, it depends a lot of how it will be used.
2023-06-20 20:30:53 +0200 <EvanR> not enough info on what the goals are to suggest a best or even good abstraction
2023-06-20 20:30:53 +0200 <darkling> Sure, but turn the time signature into length-of-notes up front, and just work in units of length-of-notes.
2023-06-20 20:31:01 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142) (Ping timeout: 260 seconds)
2023-06-20 20:31:16 +0200danse-nr3_(~francesco@151.46.222.202) (Ping timeout: 252 seconds)
2023-06-20 20:31:19 +0200dolio(~dolio@130.44.134.54) (Server closed connection)
2023-06-20 20:31:19 +0200 <smoge> For example, it can be quite difficult to adapt a code to embrace microtones if it was not thought in advance etc
2023-06-20 20:31:53 +0200 <smoge> Euterpea is an example, I think
2023-06-20 20:32:50 +0200 <smoge>   - https://support.ircam.fr/docs/om/om6-manual/co/RT1.html
2023-06-20 20:32:51 +0200 <smoge>   - https://www.tenor-conference.org/proceedings/2017/18_Jacquemard_tenor2017.pdf
2023-06-20 20:32:51 +0200 <smoge>   - http://repmus.ircam.fr/_media/jacquemard/strn-mcm.pdf
2023-06-20 20:33:14 +0200 <smoge> The code tries to implement this idea. maybe it gives context
2023-06-20 20:33:24 +0200tomboy64(~tomboy64@user/tomboy64)
2023-06-20 20:33:59 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection)
2023-06-20 20:39:48 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-20 20:41:40 +0200dolio(~dolio@130.44.134.54)
2023-06-20 20:44:47 +0200ddellaco1(~ddellacos@143.244.47.100)
2023-06-20 20:47:32 +0200ddellacosta(~ddellacos@146.70.165.245) (Ping timeout: 240 seconds)
2023-06-20 20:48:50 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof) (Server closed connection)
2023-06-20 20:50:24 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof)
2023-06-20 20:51:41 +0200smoge(~smoge@2603-7000-4b42-1100-45e9-092e-53fe-8cc3.res6.spectrum.com) (Quit: Client closed)
2023-06-20 20:53:35 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 258 seconds)
2023-06-20 21:02:58 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net)
2023-06-20 21:03:13 +0200Guest52(~Guest52@109-206-198-75.host.skynet.net.pl)
2023-06-20 21:03:45 +0200gensyst(~gensyst@user/gensyst) (Quit: Leaving)
2023-06-20 21:05:19 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-06-20 21:16:24 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-20 21:20:46 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 21:21:32 +0200Guest52(~Guest52@109-206-198-75.host.skynet.net.pl) (Quit: Client closed)
2023-06-20 21:22:20 +0200Nokurn(~jeremiah@cpe-76-86-186-227.socal.res.rr.com) (Ping timeout: 258 seconds)
2023-06-20 21:23:11 +0200shef(~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8)
2023-06-20 21:25:51 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-20 21:27:36 +0200foul_owl(~kerry@45.143.82.39) (Ping timeout: 260 seconds)
2023-06-20 21:29:46 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving)
2023-06-20 21:34:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59)
2023-06-20 21:39:00 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds)
2023-06-20 21:41:22 +0200chromoblob(~user@37.113.180.121)
2023-06-20 21:42:33 +0200foul_owl(~kerry@94.140.8.28)
2023-06-20 21:45:08 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142) (Ping timeout: 240 seconds)
2023-06-20 21:48:45 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-20 21:55:01 +0200mechap(~mechap@user/mechap) (Ping timeout: 260 seconds)
2023-06-20 21:55:40 +0200mechap(~mechap@user/mechap)
2023-06-20 21:55:49 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-06-20 21:57:07 +0200 <[exa]> segfaultfizzbuzz: sorry I was fixing other stuff tbh
2023-06-20 21:57:31 +0200 <[exa]> segfaultfizzbuzz: questions welcome but I don't have much time
2023-06-20 22:08:56 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-20 22:09:13 +0200jonathan__(~jonathan@c83-252-3-92.bredband.tele2.se) (Remote host closed the connection)
2023-06-20 22:11:14 +0200jonathan(~jonathan@c83-252-3-92.bredband.tele2.se)
2023-06-20 22:12:25 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-20 22:15:56 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-06-20 22:17:28 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-06-20 22:17:43 +0200matijja(~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-20 22:20:40 +0200 <segfaultfizzbuzz> [exa]: no worries maybe later
2023-06-20 22:22:38 +0200matijja(~matijja@193.77.181.201)
2023-06-20 22:23:07 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142) (Quit: segfaultfizzbuzz)
2023-06-20 22:23:50 +0200bilegeek_(~bilegeek@79.sub-174-209-41.myvzw.com)
2023-06-20 22:24:25 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-20 22:24:27 +0200matijja(~matijja@193.77.181.201) (Client Quit)
2023-06-20 22:26:00 +0200bilegeek(~bilegeek@2600:1008:b06e:a5ba:1ed2:b1b5:3d65:1eea) (Ping timeout: 240 seconds)
2023-06-20 22:26:01 +0200matijja(~matijja@193.77.181.201)
2023-06-20 22:30:06 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-06-20 22:31:20 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:dc4c:5747:7214:81a1) (Quit: WeeChat 2.8)
2023-06-20 22:34:04 +0200ryantrinkle(~ryantrink@204.2.90.61)
2023-06-20 22:34:25 +0200 <ryantrinkle> is it possible to generate a valid Typeable instance for a phantom type?
2023-06-20 22:34:29 +0200 <ryantrinkle> something like what ST does
2023-06-20 22:34:36 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2023-06-20 22:36:06 +0200 <monochrom> I think it's simply "deriving Typeable" and you turn on the DeriveDataTypeable extension.
2023-06-20 22:37:44 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-06-20 22:39:07 +0200trev(~trev@user/trev) (Quit: trev)
2023-06-20 22:41:07 +0200 <hellwolf[m]> what is _other?
2023-06-20 22:43:21 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-06-20 22:54:59 +0200 <monochrom> Perhaps just an arbitrary variable name.
2023-06-20 22:55:41 +0200jonathan(~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 260 seconds)
2023-06-20 22:56:03 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-20 22:58:16 +0200user____gurkenglas
2023-06-20 23:01:36 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-20 23:01:37 +0200 <EvanR> can I buy a 'b'
2023-06-20 23:01:52 +0200 <gurkenglas> oh no if we equip [a] with lubs :: [a] -> a from Data.Lub I think it's the cocompletion of a
2023-06-20 23:05:03 +0200smoge(~smoge@2603-7000-4b42-1100-45e9-092e-53fe-8cc3.res6.spectrum.com)
2023-06-20 23:05:54 +0200 <gurkenglas> and that if we merely assume that lub exists then so is (a -> ()) -> ()
2023-06-20 23:06:32 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2023-06-20 23:06:53 +0200 <ncf> what
2023-06-20 23:09:10 +0200 <gurkenglas> ncf: like, you can use (a -> ()) -> () to represent xs :: [a] using \f -> lubs (map f xs)
2023-06-20 23:09:27 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-06-20 23:09:41 +0200 <c_wraith> monochrom: you don't even need to derive Typeable on any recent GHC. It's automatic for all data types. (you of course still need to specify the constraint at use sites)
2023-06-20 23:09:57 +0200 <ncf> gurkenglas: why is lubs :: [a] -> () ?
2023-06-20 23:10:09 +0200 <ncf> (a -> ()) -> () is equivalent to ()
2023-06-20 23:10:38 +0200 <gurkenglas> ncf: () has two (what is it called, values? elements?), bottom and ()
2023-06-20 23:10:55 +0200 <gurkenglas> ncf: lubs is [a] -> a
2023-06-20 23:11:37 +0200 <ncf> so what's the type of \f -> lubs (map f xs) ?
2023-06-20 23:12:02 +0200 <gurkenglas> (a -> ()) -> ()
2023-06-20 23:12:11 +0200 <gurkenglas> (where xs :: [a])
2023-06-20 23:12:26 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2023-06-20 23:12:30 +0200 <smoge> How do you guys set up a workspace / envr with stack? I always get into some trouble
2023-06-20 23:13:00 +0200 <ncf> and how do you get [a] back from that?
2023-06-20 23:14:09 +0200 <gurkenglas> uh, i should have noted that the order and multiplicity is lost
2023-06-20 23:15:20 +0200 <smoge> music-types> /Users/smoge/src3/music-types/music-types/src/Rtm.hs:21:1: error:
2023-06-20 23:15:21 +0200 <smoge> music-types>     Could not load module ‘Text.Parsec.String’
2023-06-20 23:15:21 +0200 <smoge> music-types>     It is a member of the hidden package ‘parsec-3.1.16.1’.
2023-06-20 23:15:22 +0200 <smoge> music-types>     Perhaps you need to add ‘parsec’ to the build-depends in your .cabal file.
2023-06-20 23:15:22 +0200 <smoge> music-types>     It is a member of the hidden package ‘parsec-3.1.15.0’.
2023-06-20 23:15:23 +0200 <smoge> music-types>     Perhaps you need to add ‘parsec’ to the build-depends in your .cabal file.
2023-06-20 23:15:23 +0200 <smoge> music-types>     Use -v (or `:set -v` in ghci) to see a list of the files searched for.
2023-06-20 23:15:24 +0200 <smoge> music-types>    |
2023-06-20 23:15:24 +0200 <smoge> music-types> 21 | import Text.Parsec.String  (Parser)
2023-06-20 23:15:53 +0200 <smoge> resolver:
2023-06-20 23:15:53 +0200 <smoge>   url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/24.yaml
2023-06-20 23:15:54 +0200 <smoge> packages:
2023-06-20 23:15:54 +0200 <smoge> - .
2023-06-20 23:15:55 +0200 <smoge> - parsec-3.1.16.1
2023-06-20 23:15:55 +0200 <smoge> - pretty-show-1.10
2023-06-20 23:16:05 +0200 <smoge> what am I doing wrong?
2023-06-20 23:17:02 +0200 <smoge> https://github.com/smoge/music-types/blob/main/stack.yaml
2023-06-20 23:17:06 +0200 <ncf> Perhaps you need to add ‘parsec’ to the build-depends in your .cabal file.
2023-06-20 23:17:31 +0200 <sclv> smoge please don't paste long sets of lines into irc. use the pastebin in the topic
2023-06-20 23:17:34 +0200 <smoge> When I do, and run stack build, it is deleted by the script
2023-06-20 23:18:14 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
2023-06-20 23:19:07 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-20 23:20:00 +0200 <sclv> smoge your cabal file is generated from an hpack file i believe and that should be named project.yaml
2023-06-20 23:20:05 +0200 <glguy> It's probably because you also have a package.yaml file. Once you delete that it will stop overwriting your .cabal file
2023-06-20 23:20:14 +0200 <sclv> er package.yaml
2023-06-20 23:20:28 +0200 <sclv> or yeah what glguy said
2023-06-20 23:21:12 +0200 <gurkenglas> but the scuffed way is, given xs_ :: (a -> ()) -> () you assume Eq a and enumeration :: [a] and you go (map (\x -> seq (xs_ (\y -> if x == y then () else undefined)) x) enumeration)
2023-06-20 23:21:32 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-20 23:21:32 +0200 <gurkenglas> it gets slightly less scuffed if we replace (a -> ()) -> () with HasLub b => (a -> b) -> b
2023-06-20 23:22:28 +0200 <gurkenglas> and the not scuffed way is to not try to recover the [a] at all but use it as one would use the cocompletion
2023-06-20 23:26:00 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-20 23:27:45 +0200 <gurkenglas> aka "values that if we actually lubbed them might error because they have no common upper bound, but we plan to process them in a way that never actually runs into this problem"
2023-06-20 23:29:59 +0200 <monochrom> Perhaps delete hpack, too. >:D
2023-06-20 23:30:08 +0200taupiqueur(~taupiqueu@2a02-8440-2440-b664-9470-bc4f-0f68-f846.rev.sfr.net)
2023-06-20 23:30:34 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2023-06-20 23:33:45 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2023-06-20 23:34:43 +0200taupiqueur1(~taupiqueu@2a02-842a-8180-4601-e4d4-f43e-9943-8902.rev.sfr.net)
2023-06-20 23:36:20 +0200taupiqueur(~taupiqueu@2a02-8440-2440-b664-9470-bc4f-0f68-f846.rev.sfr.net) (Ping timeout: 240 seconds)
2023-06-20 23:39:12 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142) (Ping timeout: 240 seconds)
2023-06-20 23:39:13 +0200taupiqueur1(~taupiqueu@2a02-842a-8180-4601-e4d4-f43e-9943-8902.rev.sfr.net) (Ping timeout: 265 seconds)
2023-06-20 23:39:18 +0200taupiqueur2(~taupiqueu@2a02-8440-2440-b664-9c72-b816-0500-13c5.rev.sfr.net)
2023-06-20 23:40:05 +0200 <smoge> thanks!
2023-06-20 23:43:43 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-20 23:47:10 +0200catch22(~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769)
2023-06-20 23:49:56 +0200acidjnk(~acidjnk@p200300d6e7072f44f8bdafc80b96a078.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-06-20 23:55:31 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-06-20 23:58:35 +0200ijqq(uid603979@id-603979.helmsley.irccloud.com)
2023-06-20 23:59:52 +0200ft(~ft@p4fc2afc9.dip0.t-ipconnect.de) (Remote host closed the connection)