2021/11/07

2021-11-07 00:00:08 +0100 <gentauro> does anybody in here have a `macOS` with a M1-CPU?
2021-11-07 00:00:16 +0100 <gentauro> and uses `stack`?
2021-11-07 00:02:46 +0100 <gentauro> it's like `stack install` doesn't care about the `arch: aarch64` value in the `.stack/global-project/stack.yaml` file
2021-11-07 00:04:10 +0100 <gentauro> `ld: warning: ignoring file /Users/.../.stack/programs/x86_64-osx-nix/ghc-8.10.7/lib/ghc-8.10.7/Cabal-3.2.1.0/libHSCabal-3.2.1.0.a, building for macOS-arm64 but attempting to link with file built for macOS-x86_64`
2021-11-07 00:04:14 +0100 <gentauro> :-\
2021-11-07 00:04:30 +0100ubert(~Thunderbi@p200300ecdf4fca30e019fddc82d0353e.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-11-07 00:04:34 +0100 <sclv> thats a shame
2021-11-07 00:06:27 +0100 <maerwald> gentauro: afaik there's no M1 stack binary
2021-11-07 00:06:37 +0100 <gentauro> maerwald: I know
2021-11-07 00:06:40 +0100 <maerwald> so you're probably running via rosetta, which means it picks x86 toolchain
2021-11-07 00:07:28 +0100 <gentauro> but if you specify in your projects `stack.yaml` -> `arch: aarch64`, then it builts a binary for ARM (which is nice)
2021-11-07 00:08:07 +0100 <maerwald> there's some magic going on with rosetta afaik, so if your invoking binary is x86, then you it picks x86 toolchain
2021-11-07 00:08:08 +0100 <gentauro> but it seems that it only works for local `stack.yaml` files, but not for the global (I'm trying to install the haskell-language-server)
2021-11-07 00:08:32 +0100 <Franciman> good luck to SPJ
2021-11-07 00:08:49 +0100 <Franciman> can't wait for his new language
2021-11-07 00:08:49 +0100 <maerwald> and I wasn't able to build a native stack binary
2021-11-07 00:09:04 +0100 <maerwald> haskell-tls is broken on M1 afair
2021-11-07 00:09:11 +0100 <gentauro> maerwald: :o
2021-11-07 00:09:22 +0100 <maerwald> the `security` binary is missing I think
2021-11-07 00:09:56 +0100alzgh(~alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-11-07 00:10:19 +0100 <gentauro> maerwald: hmmm, what does that mean?
2021-11-07 00:10:43 +0100 <gentauro> Franciman: link?
2021-11-07 00:10:55 +0100 <Franciman> https://discourse.haskell.org/t/an-epic-future-for-spj/3573
2021-11-07 00:11:23 +0100 <maerwald> gentauro: https://gitlab.haskell.org/maerwald/stack/-/jobs/756968#L3070
2021-11-07 00:11:27 +0100 <gentauro> thx
2021-11-07 00:12:02 +0100 <gentauro> :o
2021-11-07 00:12:10 +0100 <gentauro> is he going to work on Fortnite? :o
2021-11-07 00:12:22 +0100 <Rembane_> Dang! That's odd.
2021-11-07 00:12:43 +0100 <maerwald> https://github.com/vincenthz/hs-certificate/blob/a899bda3d7666d25143be7be8f3105fc076703d9/x509-sys…
2021-11-07 00:12:49 +0100slack1256(~slack1256@191.125.227.73) (Remote host closed the connection)
2021-11-07 00:12:58 +0100 <maerwald> also, terrible code
2021-11-07 00:13:23 +0100 <maerwald> one of the reasons I stay away from all of cryptonite and friends :p
2021-11-07 00:13:47 +0100 <maerwald> `pems <- either error id . pemParseLBS <$> LBS.hGetContents hout`
2021-11-07 00:14:43 +0100 <gentauro> maerwald: :o
2021-11-07 00:14:51 +0100 <gentauro> indeed, that is some pretty bad code ..
2021-11-07 00:14:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 00:15:18 +0100 <maerwald> do you have `security` binary on your M1?
2021-11-07 00:15:20 +0100 <gentauro> btw, is `vincenthz` the only person in the world that can write TLS libs? He also worked on the ones for OCaml
2021-11-07 00:16:05 +0100 <gentauro> maerwald: si -> `/usr/bin/security`
2021-11-07 00:16:09 +0100 <maerwald> odd
2021-11-07 00:16:19 +0100 <maerwald> they are not on the darwin builders
2021-11-07 00:16:51 +0100 <gentauro> `darwin` = Intel CPU?
2021-11-07 00:16:57 +0100 <maerwald> no, aarch64
2021-11-07 00:17:14 +0100 <maerwald> maybe it's this nix nonsense
2021-11-07 00:17:23 +0100 <gentauro> maerwald: in order to install `stack` I had to enable roseta
2021-11-07 00:17:26 +0100 <gentauro> could it be that?
2021-11-07 00:17:45 +0100 <gentauro> with regard of `nix`. I'm just relying on `home-manager` to deal with stuff
2021-11-07 00:18:20 +0100 <maerwald> I don't know, maybe I'll try again
2021-11-07 00:18:32 +0100 <gentauro> but the creator of `home-manager` told me that I should be looking into `niv` -> https://github.com/nmattia/niv
2021-11-07 00:18:47 +0100 <maerwald> also nix
2021-11-07 00:18:52 +0100 <gentauro> to hanlde dependencies in a `declarative` way
2021-11-07 00:18:55 +0100 <maerwald> lol
2021-11-07 00:19:21 +0100 <maerwald> if nix is declarative, then C is functional
2021-11-07 00:19:32 +0100 <gentauro> maerwald: xD
2021-11-07 00:19:46 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 260 seconds)
2021-11-07 00:19:52 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-11-07 00:20:24 +0100aqua0210(~user@101.85.11.168) (Read error: Connection reset by peer)
2021-11-07 00:20:43 +0100aqua0210(~user@101.85.11.168)
2021-11-07 00:23:09 +0100 <maerwald> since there's no public CI that supports aarch64, the only way for stack to build the binaries would be gitlab.haskell.org
2021-11-07 00:23:25 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-07 00:23:51 +0100alzgh(alzgh@user/alzgh)
2021-11-07 00:23:55 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) ()
2021-11-07 00:24:02 +0100 <maerwald> I've had a lot of trouble getting the test suite to work there
2021-11-07 00:24:23 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-07 00:25:03 +0100acidjnk(~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-07 00:25:17 +0100 <gentauro> maerwald: have you tried this? https://ghc.dev/
2021-11-07 00:25:33 +0100 <gentauro> I will give it a try :)
2021-11-07 00:25:57 +0100 <maerwald> gentauro: huh?
2021-11-07 00:26:02 +0100 <maerwald> I can't follow
2021-11-07 00:26:18 +0100fluffyballoon(~user@131.93.208.196) (Ping timeout: 260 seconds)
2021-11-07 00:26:20 +0100 <gentauro> just build GHC from scratch
2021-11-07 00:26:25 +0100 <gentauro> as described there
2021-11-07 00:26:28 +0100 <maerwald> I'm talking about stack
2021-11-07 00:26:35 +0100 <gentauro> ahhhh
2021-11-07 00:26:42 +0100 <maerwald> the integration tests
2021-11-07 00:26:46 +0100zmt01(~zmt00@user/zmt00)
2021-11-07 00:27:27 +0100Kaiepi(~Kaiepi@156.34.44.192) (Ping timeout: 256 seconds)
2021-11-07 00:28:05 +0100 <gentauro> it's getting to late (been going on with the `mac` since 04:00 AM and it's almost 00:30 AM ...)
2021-11-07 00:28:12 +0100 <gentauro> I guess I need some rest + food :)
2021-11-07 00:28:54 +0100zmt01(~zmt00@user/zmt00) (Client Quit)
2021-11-07 00:29:13 +0100zmt01(~zmt00@user/zmt00)
2021-11-07 00:29:41 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2021-11-07 00:30:26 +0100 <maerwald> I'm trying with brew: https://gitlab.haskell.org/maerwald/stack/-/jobs/848842
2021-11-07 00:31:09 +0100michalz(~michalz@185.246.204.58) (Remote host closed the connection)
2021-11-07 00:31:32 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-07 00:32:27 +0100Kaiepi(~Kaiepi@156.34.44.192)
2021-11-07 00:33:13 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-07 00:34:02 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2021-11-07 00:35:00 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (ERC 5.4 (IRC client for GNU Emacs 28.0.60))
2021-11-07 00:35:06 +0100vysn(~vysn@user/vysn) (Ping timeout: 260 seconds)
2021-11-07 00:35:24 +0100darkstarx(~darkstard@185.226.144.76)
2021-11-07 00:37:58 +0100darkstardevx(~darkstard@50.39.114.152) (Ping timeout: 260 seconds)
2021-11-07 00:39:23 +0100alzgh(alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-11-07 00:40:25 +0100darkstardev13(~darkstard@176.113.72.221)
2021-11-07 00:42:03 +0100max22-(~maxime@2a01cb0883359800ab19ff1ba7c64c00.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-07 00:43:02 +0100darkstarx(~darkstard@185.226.144.76) (Ping timeout: 260 seconds)
2021-11-07 00:43:42 +0100alzgh(~alzgh@user/alzgh)
2021-11-07 00:45:38 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-11-07 00:48:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-11-07 00:48:24 +0100darkstarx(~darkstard@50.39.114.152)
2021-11-07 00:50:56 +0100darkstardev13(~darkstard@176.113.72.221) (Ping timeout: 245 seconds)
2021-11-07 00:55:54 +0100jess(~jess@libera/staff/jess)
2021-11-07 01:06:16 +0100 <sm> gentauro: 20.5 hours ?
2021-11-07 01:06:46 +0100syntactic_sugar(~amoljha@2601:644:8601:2e30::822c)
2021-11-07 01:07:06 +0100 <geekosaur> there was a time when I was young and could pull that kind of shit off
2021-11-07 01:07:21 +0100jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-11-07 01:07:42 +0100 <maerwald> I'm glad when I can code for 4 hours straight lol
2021-11-07 01:08:10 +0100 <sm> that's too long
2021-11-07 01:08:40 +0100 <maerwald> yeah... I mean, I used to do it for 12 hours straight
2021-11-07 01:09:51 +0100jpds1(~jpds@gateway/tor-sasl/jpds)
2021-11-07 01:09:58 +0100darkstardev13(~darkstard@89.47.234.174)
2021-11-07 01:11:09 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds)
2021-11-07 01:11:11 +0100aqua0210(~user@101.85.11.168) (Ping timeout: 264 seconds)
2021-11-07 01:12:26 +0100darkstarx(~darkstard@50.39.114.152) (Ping timeout: 260 seconds)
2021-11-07 01:13:01 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-11-07 01:13:47 +0100zebrag(~chris@user/zebrag)
2021-11-07 01:14:47 +0100smimagines the impact of 20 straight productive, on-target hours
2021-11-07 01:15:54 +0100jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-11-07 01:16:19 +0100jpds1(~jpds@gateway/tor-sasl/jpds)
2021-11-07 01:17:13 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-11-07 01:17:29 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-11-07 01:20:15 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Read error: Connection reset by peer)
2021-11-07 01:20:16 +0100 <maerwald> 1 ibuprophen per 4 hours... so 5 in total
2021-11-07 01:22:41 +0100mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2021-11-07 01:24:35 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-11-07 01:24:55 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-07 01:24:58 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2021-11-07 01:25:06 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2021-11-07 01:25:53 +0100Lord_of_Life_Lord_of_Life
2021-11-07 01:28:26 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-11-07 01:28:54 +0100 <sm> I mean, on the backlog
2021-11-07 01:29:33 +0100 <sm> fantasising a little. There are some people who can maintain perspective and stay on target and productive for long periods..
2021-11-07 01:30:41 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-07 01:34:03 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-07 01:34:26 +0100mc47(~mc47@xmonad/TheMC47) (Ping timeout: 260 seconds)
2021-11-07 01:35:17 +0100TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-11-07 01:35:58 +0100aeke(~a@p200300ef973db1af4086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-07 01:36:25 +0100gg(~gg@88.160.100.84) (Remote host closed the connection)
2021-11-07 01:42:51 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 256 seconds)
2021-11-07 01:46:56 +0100 <justsomeguy> The problem that I run into is that I never know what tasks I have to do until I start trying to solve a problem, then they just arise as I break things down, ususally in a fractal kind of way. I guess that's where experience and organization come into play.
2021-11-07 01:48:45 +0100aqua0210(~user@101.85.11.168)
2021-11-07 01:53:58 +0100aqua0210(~user@101.85.11.168) (Ping timeout: 260 seconds)
2021-11-07 01:57:14 +0100SeungheonOh(~Thunderbi@2600:1700:5168:1400:d4ca:d37:8a2:b653)
2021-11-07 01:59:43 +0100SeungheonOh(~Thunderbi@2600:1700:5168:1400:d4ca:d37:8a2:b653) (Client Quit)
2021-11-07 02:00:36 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-11-07 02:01:10 +0100alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-11-07 02:03:23 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-11-07 02:09:02 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net)
2021-11-07 02:12:41 +0100 <koala_man> what's the preferred practice for choosing a Stack resolver? I'm about to push a new version of ShellCheck and it's currently using lts-13.26
2021-11-07 02:13:25 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-11-07 02:14:31 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-07 02:15:47 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 02:16:49 +0100hiruji(~hiruji@user/hiruji) (Ping timeout: 256 seconds)
2021-11-07 02:19:17 +0100 <dsal> I guess it got complicated. I used to just take whatever latest LTS was, but it seems like the haskell.nix stuff may have drifted form something sensible. I don't know the details, though.
2021-11-07 02:19:32 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2021-11-07 02:24:50 +0100khanred(~khanred@user/khanred)
2021-11-07 02:34:27 +0100hiruji(~hiruji@user/hiruji)
2021-11-07 02:34:29 +0100hiruji(~hiruji@user/hiruji) (Remote host closed the connection)
2021-11-07 02:34:47 +0100hiruji(~hiruji@user/hiruji)
2021-11-07 02:34:52 +0100hiruji(~hiruji@user/hiruji) (Remote host closed the connection)
2021-11-07 02:35:17 +0100hiruji(~hiruji@user/hiruji)
2021-11-07 02:35:24 +0100hiruji(~hiruji@user/hiruji) (Remote host closed the connection)
2021-11-07 02:35:30 +0100xff0x(~xff0x@2001:1a81:52b1:3000:7ef:3640:6d4d:8cb8) (Ping timeout: 260 seconds)
2021-11-07 02:36:19 +0100xff0x(~xff0x@2001:1a81:52b1:3000:4e58:263b:7745:5105)
2021-11-07 02:37:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-11-07 02:40:50 +0100 <sm> koala_man: do you mean in the stack.yaml in the source tree ? that matters only to contributors, right ?
2021-11-07 02:41:33 +0100 <koala_man> anyone who builds from source using stack presumably
2021-11-07 02:42:49 +0100 <sm> yes, some version of the latest lts is a good choice
2021-11-07 02:44:04 +0100machinedgod(~machinedg@24.105.81.50)
2021-11-07 02:44:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-11-07 02:44:08 +0100hiruji(~hiruji@user/hiruji)
2021-11-07 02:44:40 +0100 <sm> if you're actively developing and updating, a recent nightly is also a decent choice, that way you're always ready to be in stackage
2021-11-07 02:45:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 02:49:32 +0100aqua0210(~user@101.85.11.168)
2021-11-07 02:51:13 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-11-07 02:53:21 +0100darkstarx(~darkstard@gateway/vpn/pia/darkstardevx)
2021-11-07 02:53:49 +0100Lycurgus(~juan@98.4.112.204)
2021-11-07 02:54:42 +0100 <Inst> does anyone use capi here?
2021-11-07 02:54:47 +0100aqua0210(~user@101.85.11.168) (Ping timeout: 256 seconds)
2021-11-07 02:55:55 +0100darkstardev13(~darkstard@89.47.234.174) (Ping timeout: 256 seconds)
2021-11-07 02:56:05 +0100 <Inst> capi ffi? or is anyone in general familiar with capi ffi?
2021-11-07 03:12:48 +0100xff0x(~xff0x@2001:1a81:52b1:3000:4e58:263b:7745:5105) (Ping timeout: 268 seconds)
2021-11-07 03:13:30 +0100xff0x(~xff0x@2001:1a81:52b1:3000:5297:4b75:9c14:f5c1)
2021-11-07 03:16:10 +0100zer0bitz(~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) (Ping timeout: 260 seconds)
2021-11-07 03:16:25 +0100aqua0210(~user@101.85.11.168)
2021-11-07 03:18:58 +0100darkstarx(~darkstard@gateway/vpn/pia/darkstardevx) (Remote host closed the connection)
2021-11-07 03:19:21 +0100darkstarx(~darkstard@gateway/vpn/pia/darkstardevx)
2021-11-07 03:19:22 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-07 03:19:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-07 03:24:43 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2021-11-07 03:28:48 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-07 03:30:02 +0100aqua0210(~user@101.85.11.168) (Remote host closed the connection)
2021-11-07 03:41:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 03:41:04 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 03:41:04 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 03:44:06 +0100xff0x(~xff0x@2001:1a81:52b1:3000:5297:4b75:9c14:f5c1) (Ping timeout: 260 seconds)
2021-11-07 03:45:42 +0100xff0x(~xff0x@2001:1a81:52ec:e600:32d8:d60b:eef6:92ba)
2021-11-07 03:45:56 +0100mmhat(~mmh@55d4b9d8.access.ecotel.net) (Ping timeout: 245 seconds)
2021-11-07 03:57:11 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 245 seconds)
2021-11-07 04:00:17 +0100mmhat(~mmh@55d4aeaa.access.ecotel.net)
2021-11-07 04:04:35 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-11-07 04:10:07 +0100mmhat(~mmh@55d4aeaa.access.ecotel.net) (Quit: WeeChat 3.3)
2021-11-07 04:30:19 +0100 <arahael> Is it possible to have a Text type contain haskell code, which I then interpret and produce a result?
2021-11-07 04:30:31 +0100 <arahael> Basically I want to do: print foo; eval foo.
2021-11-07 04:32:57 +0100 <koala_man> what does lambdabot do?
2021-11-07 04:34:31 +0100khanred(~khanred@user/khanred) (Ping timeout: 256 seconds)
2021-11-07 04:36:47 +0100 <arahael> koala_man: Ok, ok, I'm aware it's /possible/. But is there an easy, convenient way to do this?
2021-11-07 04:37:15 +0100 <koala_man> looks like it uses 'mueval', and is meant for sandboxing and not arbitrary use
2021-11-07 04:38:18 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-11-07 04:38:18 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-11-07 04:38:18 +0100finn_elijaFinnElija
2021-11-07 04:38:38 +0100shailangsa(~shailangs@host86-185-98-19.range86-185.btcentralplus.com) ()
2021-11-07 04:39:43 +0100 <koala_man> arahael: what kind of context and interop are you hoping for?
2021-11-07 04:40:36 +0100 <arahael> koala_man: Literally the two functions I was suggesting. Ideally, 'eval foo' would modify the current program, registering any new functions, so probably would require template haskell.
2021-11-07 04:42:35 +0100 <koala_man> I don't know what I'm talking about, but I imagine that's only an option in an interpreted mode like with ghci
2021-11-07 04:46:12 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-07 04:50:04 +0100 <arahael> I suppose I could always give this a play: https://hackage.haskell.org/package/plugins-1.6.0/docs/System-Eval-Haskell.html
2021-11-07 04:50:35 +0100syntactic_sugar(~amoljha@2601:644:8601:2e30::822c) (Quit: WeeChat 3.3)
2021-11-07 04:53:20 +0100dsrt^(~dsrt@h50.174.139.63.static.ip.windstream.net)
2021-11-07 04:54:21 +0100Lycurgus(~juan@98.4.112.204) (Ping timeout: 256 seconds)
2021-11-07 04:54:41 +0100 <koala_man> doesn't look like it'll let you modify a running program, but I'd be interested to know how it goes
2021-11-07 04:55:36 +0100 <arahael> It seems it does - at least, it'll register the new code.
2021-11-07 04:56:22 +0100 <arahael> Ah, probably not, but even so, hopefully it returns a function I can call.
2021-11-07 04:56:56 +0100 <koala_man> that seems more likely, yes
2021-11-07 04:57:45 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-11-07 04:58:40 +0100 <arahael> Alternatively, I could just load the module source, strip out the imports, and use that as the string.
2021-11-07 04:59:04 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-11-07 04:59:24 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 05:00:40 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 05:01:27 +0100 <arahael> What I want to do is literate programming with haskell, but not with the usual html output.
2021-11-07 05:05:22 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-07 05:05:48 +0100x6C697370(~michael@2600:1700:7c02:3180::44) (Read error: Connection reset by peer)
2021-11-07 05:06:01 +0100 <arahael> Well, sorta - I also want to have the program output interpsersed with that literate code.
2021-11-07 05:09:09 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-11-07 05:11:17 +0100 <arahael> Nice - found this: https://hackage.haskell.org/package/markdown-unlit (which is almost what I want), now I mostly just need to figure out how to evaluate the code so that the output is shown in the markdown output.
2021-11-07 05:12:35 +0100 <arahael> Perhaps I should have a mulitple-stage build? 1. Compile program, 2. Generate literate documents, with placeholders 3. Post-process those as a template and update them filling in the placeholders...
2021-11-07 05:14:26 +0100lavaman(~lavaman@98.38.249.169)
2021-11-07 05:15:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 05:16:37 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-11-07 05:23:02 +0100 <koala_man> that's definitely sounds more straight forward than full eval support
2021-11-07 05:25:15 +0100 <arahael> Hmm, ok!
2021-11-07 05:31:41 +0100ubikium(~ubikium@i223-218-66-82.s41.a013.ap.plala.or.jp)
2021-11-07 05:34:16 +0100beka(~beka@104-244-24-117.PUBLIC.monkeybrains.net)
2021-11-07 05:34:56 +0100 <sm> waay easier
2021-11-07 05:36:59 +0100 <sm> I believe there's a tool that'll insert program output and maybe test it for you, but that's all I remember
2021-11-07 05:38:50 +0100 <sm> maybe https://hackage.haskell.org/package/readme-lhs is one
2021-11-07 05:39:53 +0100smunix(~smunix@lnsm1-montreal02-142-122-74-243.internet.virginmobile.ca)
2021-11-07 05:43:24 +0100 <sm> quite hard to get your head around this, but I suspect it's good
2021-11-07 05:43:30 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds)
2021-11-07 05:44:10 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-11-07 05:44:13 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds)
2021-11-07 05:45:26 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-11-07 05:46:06 +0100 <sm> https://hackage.haskell.org/package/numhask, interesting
2021-11-07 05:46:54 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2021-11-07 05:47:28 +0100 <c_wraith> that has the typical problem mathematically accurate class hierarchies usually do
2021-11-07 05:47:41 +0100shailangsa(~shailangs@host86-185-98-19.range86-185.btcentralplus.com)
2021-11-07 05:48:16 +0100 <c_wraith> It has classes which have laws but no members
2021-11-07 05:48:52 +0100 <EvanR> as god intended
2021-11-07 05:49:00 +0100 <c_wraith> while that's not a huge conceptual problem, it does result in inference reporting the wrong thing
2021-11-07 05:50:06 +0100 <EvanR> i thought you were going to say it was the unicode operators
2021-11-07 05:50:11 +0100 <EvanR> (⊕) :: a -> a -> a
2021-11-07 05:50:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-07 05:50:42 +0100 <arahael> sm: That looks like what I want, might be worth playing with that.
2021-11-07 05:53:51 +0100 <sm> c_wraith: https://hackage.haskell.org/package/numhask-0.8.1.0/docs/NumHask.html#g:4 seems to be touching on that (inference)
2021-11-07 05:54:28 +0100 <c_wraith> sm: that's not what I'm talking about.
2021-11-07 05:54:36 +0100 <sm> ah
2021-11-07 05:55:22 +0100 <c_wraith> I mean: what's the type of (1 + 2) * 3?
2021-11-07 05:55:47 +0100 <c_wraith> You really want it to be Ring a => a
2021-11-07 05:55:53 +0100 <c_wraith> But that isn't what it will infer
2021-11-07 05:58:28 +0100 <c_wraith> And because the Ring class adds laws, there's a difference in expectation between something that says it is a ring and something that says it's a multiplicative group and an additive group
2021-11-07 06:12:08 +0100Everything(~Everythin@37.115.210.35)
2021-11-07 06:15:19 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2021-11-07 06:23:18 +0100acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 260 seconds)
2021-11-07 06:26:24 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-11-07 06:26:45 +0100smunix(~smunix@lnsm1-montreal02-142-122-74-243.internet.virginmobile.ca) (Remote host closed the connection)
2021-11-07 06:30:17 +0100smunix(~smunix@static.26.70.12.49.clients.your-server.de)
2021-11-07 06:34:48 +0100Guest55(~Guest55@lnsm1-montreal02-142-122-74-243.internet.virginmobile.ca)
2021-11-07 06:41:26 +0100EvanR(~evan@2600:1700:ba69:10:75fc:f740:4c21:d03d) (Ping timeout: 260 seconds)
2021-11-07 06:43:00 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 06:47:23 +0100mbuf(~Shakthi@122.178.124.224)
2021-11-07 06:51:34 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-11-07 06:51:34 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-11-07 06:51:56 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-11-07 06:52:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-11-07 06:53:38 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-07 06:56:38 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-11-07 06:56:48 +0100Guest55(~Guest55@lnsm1-montreal02-142-122-74-243.internet.virginmobile.ca) (Ping timeout: 256 seconds)
2021-11-07 07:00:53 +0100 <mjrosenb> @dj Maybe a -> [a]
2021-11-07 07:00:53 +0100 <lambdabot> Maybe you meant: djinn djinn-add djinn-clr djinn-del djinn-env djinn-names djinn-ver do
2021-11-07 07:01:03 +0100 <mjrosenb> @djinn Maybe a -> [a]
2021-11-07 07:01:03 +0100 <lambdabot> Error: Undefined type []
2021-11-07 07:01:26 +0100 <mjrosenb> this is probably just a library function that I should use hoogle for.
2021-11-07 07:02:28 +0100 <mjrosenb> maybeToList... what a name.
2021-11-07 07:05:17 +0100hiruji(~hiruji@user/hiruji) (Ping timeout: 268 seconds)
2021-11-07 07:11:31 +0100 <arahael> mjrosenb: Heh, indeed. Makes sense though!
2021-11-07 07:13:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 07:13:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 07:13:27 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 07:18:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-07 07:19:39 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3)
2021-11-07 07:22:53 +0100 <ubikium> From typeclassopedia https://wiki.haskell.org/Typeclassopedia#Definition_5 , I read this line: sconcat reduces a nonempty list using (<>). For most instances, this is the same as foldr1 (<>), but it can be constant-time for idempotent semigroups.
2021-11-07 07:23:23 +0100 <ubikium> Is it wrong? The constant time optimization should be for `stimes` right?
2021-11-07 07:26:14 +0100johnjay(~pi@192.142.100.50) (Ping timeout: 260 seconds)
2021-11-07 07:29:09 +0100johnjay(~pi@192.142.100.50)
2021-11-07 07:35:38 +0100johnjay(~pi@192.142.100.50) (Ping timeout: 260 seconds)
2021-11-07 07:38:45 +0100johnjay(~pi@192.142.100.50)
2021-11-07 07:39:17 +0100 <mjrosenb> I could imagine there being degenerate semigroups that sconcat is constant time for
2021-11-07 07:39:29 +0100 <mjrosenb> but I'm not too sure why you would use them for anything.
2021-11-07 07:39:57 +0100 <mjrosenb> and the definition of idempotent semigroup definitely fits with stimes being constant time
2021-11-07 07:41:04 +0100 <mjrosenb> since x*x == x implies stimes n x = x
2021-11-07 07:41:19 +0100 <mjrosenb> although what is stimes 0?
2021-11-07 07:41:46 +0100beka(~beka@104-244-24-117.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds)
2021-11-07 07:42:17 +0100 <mjrosenb> and it looks like the docs linked agree.
2021-11-07 07:46:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 07:49:33 +0100 <c_wraith> degerate like First?
2021-11-07 07:49:45 +0100 <c_wraith> err. *degenerate
2021-11-07 07:50:07 +0100 <c_wraith> But the thing is... foldr1 (<>) over a list of First is also constant-time
2021-11-07 07:50:43 +0100 <ubikium> For n <= 0, it errors out: https://hackage.haskell.org/package/base-4.9.0.0/docs/src/Data.Semigroup.html#stimesIdempotent
2021-11-07 07:51:31 +0100 <mjrosenb> what is First?
2021-11-07 07:51:35 +0100 <ubikium> I'll go ahead and edit it. Btw, there are so many dead links in the typeclassopedia
2021-11-07 07:52:20 +0100 <c_wraith> mjrosenb: defined in the same module as Semigroup: https://hackage.haskell.org/package/base-4.16.0.0/docs/Data-Semigroup.html#t:First
2021-11-07 07:52:56 +0100 <ubikium> ok, I have to go through the mailing list for wiki account creation. Maybe someone with an account can help with this.
2021-11-07 07:57:19 +0100vysn(~vysn@user/vysn)
2021-11-07 07:57:45 +0100 <mjrosenb> is it just sconcat [First 1, First 2, First 3,...] == 1
2021-11-07 07:58:27 +0100 <c_wraith> yes, more or less. (There's a First on the output)
2021-11-07 07:59:12 +0100 <ubikium> but foldr1 (<>) on First (Maybe a) is not constant time?
2021-11-07 07:59:27 +0100 <c_wraith> On the First from Semigroup, it is
2021-11-07 07:59:34 +0100 <c_wraith> (Not on the First from Monoid)
2021-11-07 08:01:32 +0100 <ubikium> oh, I see
2021-11-07 08:03:17 +0100 <mjrosenb> why is the First from Monoid different?
2021-11-07 08:03:30 +0100 <mjrosenb> the only difference is that it has mempty, right?
2021-11-07 08:03:35 +0100 <c_wraith> it's a different type
2021-11-07 08:04:01 +0100 <c_wraith> Data.Semigroup.First a is a wrapper for a. Data.Monoid.First a is a wrapper for Maybe a
2021-11-07 08:04:11 +0100 <mjrosenb> ahh. that would do it.
2021-11-07 08:08:28 +0100 <mjrosenb> it can be constant if the first element is Just, but it can also take linear time if it has N Nothings at the head of the list, right?
2021-11-07 08:09:04 +0100 <ubikium> But the wiki line is still wrong? Not all idempotent semigroups have constant `sconcat`?
2021-11-07 08:09:41 +0100 <ubikium> They all have constant time `stimes`, so maybe it's a mistake.
2021-11-07 08:12:39 +0100beka(~beka@104.193.170.240)
2021-11-07 08:15:27 +0100orhan89_(~orhan89@151.91.188.35.bc.googleusercontent.com) (Ping timeout: 260 seconds)
2021-11-07 08:15:56 +0100xff0x(~xff0x@2001:1a81:52ec:e600:32d8:d60b:eef6:92ba) (Ping timeout: 245 seconds)
2021-11-07 08:16:55 +0100xff0x(~xff0x@port-92-193-130-240.dynamic.as20676.net)
2021-11-07 08:17:24 +0100Sgeo(~Sgeo@user/sgeo)
2021-11-07 08:17:47 +0100Sgeo_(~Sgeo@user/sgeo) (Ping timeout: 264 seconds)
2021-11-07 08:21:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-11-07 08:21:25 +0100mei3(~mei@user/mei)
2021-11-07 08:22:12 +0100x6C697370(~michael@2600:1700:7c02:3180::44)
2021-11-07 08:23:53 +0100Lycurgus(~juan@98.4.112.204)
2021-11-07 08:24:11 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 08:28:14 +0100Lycurgus(~juan@98.4.112.204) (Client Quit)
2021-11-07 08:50:43 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 08:51:29 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-07 08:52:04 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 08:52:16 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-07 08:56:01 +0100ubikium(~ubikium@i223-218-66-82.s41.a013.ap.plala.or.jp) (Quit: Leaving)
2021-11-07 09:00:20 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 09:03:53 +0100Sgeo_(~Sgeo@user/sgeo)
2021-11-07 09:05:46 +0100alzgh(~alzgh@user/alzgh)
2021-11-07 09:06:45 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 268 seconds)
2021-11-07 09:13:02 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-11-07 09:15:03 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-07 09:15:40 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 09:20:41 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-07 09:24:46 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 09:25:05 +0100Lycurgus(~juan@98.4.112.204)
2021-11-07 09:29:16 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-11-07 09:30:57 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-07 09:32:35 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-07 09:39:58 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-07 09:45:25 +0100x6C697370(~michael@2600:1700:7c02:3180::44) (Quit: WeeChat 3.3)
2021-11-07 09:53:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-11-07 09:56:07 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-11-07 09:56:21 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2021-11-07 09:57:24 +0100Lord_of_Life_Lord_of_Life
2021-11-07 10:05:29 +0100hendursa1(~weechat@user/hendursaga)
2021-11-07 10:08:42 +0100hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-11-07 10:10:16 +0100v01d4lph4(~v01d4lph4@122.177.85.95)
2021-11-07 10:10:16 +0100v01d4lph4(~v01d4lph4@122.177.85.95) (Changing host)
2021-11-07 10:10:16 +0100v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-11-07 10:10:19 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-07 10:10:58 +0100 <mc47> Hey, just to be sure, is STM supposed to work with forkProcess? (probably not, right?)
2021-11-07 10:11:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 10:11:29 +0100kuribas(~user@ptr-25vy0i9stc21zae4wv3.18120a2.ip6.access.telenet.be)
2021-11-07 10:11:52 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-07 10:13:40 +0100hiruji(~hiruji@user/hiruji)
2021-11-07 10:14:34 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl)
2021-11-07 10:15:25 +0100acidjnk(~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de)
2021-11-07 10:15:36 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-11-07 10:25:17 +0100beka(~beka@104.193.170.240) (Ping timeout: 256 seconds)
2021-11-07 10:27:42 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-11-07 10:29:38 +0100vysn(~vysn@user/vysn) (Read error: Connection reset by peer)
2021-11-07 10:30:38 +0100MoC(~moc@user/moc)
2021-11-07 10:38:49 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 10:43:14 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 260 seconds)
2021-11-07 10:45:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-07 10:47:04 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 10:52:06 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-07 10:53:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-11-07 10:54:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-11-07 10:54:30 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 10:54:51 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-07 10:55:03 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-07 10:55:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-11-07 10:57:51 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-07 10:58:47 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-07 10:59:11 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-11-07 11:00:04 +0100trainlag1602(~saroa@user/trainlag1602)
2021-11-07 11:00:07 +0100justUnited(~justache@user/justache) (Remote host closed the connection)
2021-11-07 11:00:34 +0100Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-11-07 11:01:03 +0100justUnited(~justache@user/justache)
2021-11-07 11:01:28 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-07 11:03:04 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-07 11:04:48 +0100cosimone(~user@93-47-231-203.ip115.fastwebnet.it)
2021-11-07 11:06:06 +0100aeke(~a@p200300ef973db1af4086f0a6a24fc4dd.dip0.t-ipconnect.de)
2021-11-07 11:07:59 +0100fendor(~fendor@178.165.196.101.wireless.dyn.drei.com)
2021-11-07 11:17:58 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 11:22:31 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-11-07 11:27:37 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-11-07 11:27:52 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-07 11:28:24 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-07 11:29:28 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 11:31:20 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-07 11:31:26 +0100fr33domlover1(~fr33domlo@angeley.es) (Remote host closed the connection)
2021-11-07 11:32:54 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-07 11:34:37 +0100mmhat(~mmh@55d4aeaa.access.ecotel.net)
2021-11-07 11:35:00 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-07 11:35:30 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-11-07 11:37:01 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-07 11:37:12 +0100__monty__(~toonn@user/toonn)
2021-11-07 11:43:22 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-07 11:45:56 +0100bliminse(~bliminse@host86-185-253-43.range86-185.btcentralplus.com)
2021-11-07 11:46:59 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-07 11:47:36 +0100Vajb(~Vajb@85-76-35-211-nat.elisa-mobile.fi)
2021-11-07 11:47:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-07 11:49:16 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-07 11:49:17 +0100Vajb(~Vajb@85-76-35-211-nat.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-11-07 11:50:10 +0100bliminse(~bliminse@host86-185-253-43.range86-185.btcentralplus.com) (Client Quit)
2021-11-07 11:50:15 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-07 11:52:41 +0100bliminse(~bliminse@host86-185-253-43.range86-185.btcentralplus.com)
2021-11-07 11:53:07 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-11-07 11:53:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 11:53:50 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-07 11:58:19 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-07 11:59:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-11-07 12:00:51 +0100alx741(~alx741@181.196.69.19)
2021-11-07 12:02:38 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-07 12:06:37 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-07 12:09:16 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2021-11-07 12:12:56 +0100AlexNoo_(~AlexNoo@94.233.240.96)
2021-11-07 12:15:56 +0100AlexZenon(~alzenon@94.233.241.187) (Ping timeout: 245 seconds)
2021-11-07 12:16:06 +0100Alex_test(~al_test@94.233.241.187) (Ping timeout: 260 seconds)
2021-11-07 12:16:34 +0100AlexNoo(~AlexNoo@94.233.241.187) (Ping timeout: 260 seconds)
2021-11-07 12:19:02 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-07 12:20:01 +0100Alex_test(~al_test@94.233.240.96)
2021-11-07 12:20:10 +0100AlexZenon(~alzenon@94.233.240.96)
2021-11-07 12:25:50 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 260 seconds)
2021-11-07 12:26:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 12:30:31 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-11-07 12:30:39 +0100haskl(~haskl@user/haskl) (Read error: Connection reset by peer)
2021-11-07 12:31:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-07 12:33:00 +0100haskl(~haskl@user/haskl)
2021-11-07 12:36:23 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 12:36:41 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-07 12:36:43 +0100Neuromancer(~Neuromanc@user/neuromancer)
2021-11-07 12:37:31 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-07 12:38:09 +0100hololeap(~hololeap@user/hololeap)
2021-11-07 12:39:27 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-07 12:41:21 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-11-07 12:47:49 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-07 12:48:35 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-07 12:50:01 +0100trainlag1602(~saroa@user/trainlag1602) (Quit: Leaving.)
2021-11-07 12:54:06 +0100fef(~thedawn@user/thedawn)
2021-11-07 12:56:33 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-11-07 12:56:35 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 13:00:16 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-07 13:00:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 13:00:56 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-11-07 13:01:55 +0100deadmarshal(~deadmarsh@95.38.117.144)
2021-11-07 13:03:33 +0100unmanbearpig(~unmanbear@user/unmanbearpig) (Ping timeout: 268 seconds)
2021-11-07 13:04:29 +0100unmanbearpig(~unmanbear@user/unmanbearpig)
2021-11-07 13:04:34 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-11-07 13:06:53 +0100MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-11-07 13:07:30 +0100 <deadmarshal> How can i use read :: Int here? https://paste.tomsmeding.com/am0cThuf
2021-11-07 13:09:08 +0100 <Rembane_> > map read $ map fst $ map (span (isDigit)) $ words "72olle 103doo 100ya"
2021-11-07 13:09:09 +0100 <lambdabot> [*Exception: Prelude.read: no parse
2021-11-07 13:09:28 +0100 <Rembane_> > map fst $ map (span (isDigit)) $ words "72olle 103doo 100ya"
2021-11-07 13:09:29 +0100 <lambdabot> ["72","103","100"]
2021-11-07 13:09:41 +0100 <Rembane_> > map (read :: String -> Int) $ map fst $ map (span (isDigit)) $ words "72olle 103doo 100ya"
2021-11-07 13:09:42 +0100 <lambdabot> [72,103,100]
2021-11-07 13:10:38 +0100 <Rembane_> deadmarshal: Like that. :D
2021-11-07 13:10:40 +0100 <gentauro> maerwald: do you also get this warning message when you build for the M1? -> `'apple-a7' is not a recognized processor for this target (ignoring processor)`
2021-11-07 13:10:54 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-07 13:10:54 +0100 <Rembane_> deadmarshal: Sometimes read needs some help to figure out which type is needed.
2021-11-07 13:11:08 +0100 <maerwald> gentauro: not sure... I only build on CI
2021-11-07 13:11:26 +0100 <gentauro> maerwald: roger that
2021-11-07 13:13:35 +0100deadmarshal(~deadmarsh@95.38.117.144) (Ping timeout: 256 seconds)
2021-11-07 13:20:39 +0100AlexNoo_AlexNoo
2021-11-07 13:22:29 +0100deadmarshal(~deadmarsh@95.38.117.144)
2021-11-07 13:24:36 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 13:29:22 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 260 seconds)
2021-11-07 13:32:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-11-07 13:36:49 +0100deadmarshal(~deadmarsh@95.38.117.144) (Ping timeout: 256 seconds)
2021-11-07 13:38:41 +0100wonko(~wjc@user/wonko)
2021-11-07 13:38:56 +0100Nolrai2(~Nolrai2@c-76-27-202-218.hsd1.or.comcast.net)
2021-11-07 13:43:57 +0100deadmarshal(~deadmarsh@95.38.117.144)
2021-11-07 13:48:24 +0100EvanR(~evan@2600:1700:ba69:10:f8b2:4afa:5a7f:3188)
2021-11-07 13:48:31 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-11-07 13:52:59 +0100machinedgod(~machinedg@24.105.81.50)
2021-11-07 13:53:06 +0100EvanR(~evan@2600:1700:ba69:10:f8b2:4afa:5a7f:3188) (Ping timeout: 260 seconds)
2021-11-07 13:54:07 +0100bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 268 seconds)
2021-11-07 13:58:15 +0100 <hpc> deadmarshal: you can also just use acme-php, which has instance Num String :D
2021-11-07 14:10:40 +0100bjobjo(~bjobjo@user/bjobjo)
2021-11-07 14:11:18 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2021-11-07 14:15:42 +0100bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 268 seconds)
2021-11-07 14:17:05 +0100bjobjo(~bjobjo@user/bjobjo)
2021-11-07 14:18:54 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-07 14:23:56 +0100 <gentauro> hpc: `…-php`? That sounds horrible xD
2021-11-07 14:28:53 +0100deadmarshal_(~deadmarsh@95.38.113.241)
2021-11-07 14:28:57 +0100deadmarshal(~deadmarsh@95.38.117.144) (Ping timeout: 256 seconds)
2021-11-07 14:32:53 +0100 <hpc> give it a look, but don't read the hackage docs because they contain spoilers :D
2021-11-07 14:34:27 +0100 <geekosaur> it says something about haskell that you can stretch it that far :)
2021-11-07 14:36:58 +0100 <hpc> i think it says more about haskell that it can only be stretched that far
2021-11-07 14:37:03 +0100 <gentauro> hpc: this? https://hackage.haskell.org/package/acme-php-0.0.5/src/docs.html
2021-11-07 14:37:06 +0100 <gentauro> is it a joke?
2021-11-07 14:37:49 +0100 <geekosaur> the whole acme- hierarchy is jokes
2021-11-07 14:38:19 +0100 <gentauro> geekosaur: that's a lot of jokes -> https://hackage.haskell.org/packages/#cat:Acme
2021-11-07 14:38:22 +0100 <gentauro> :o
2021-11-07 14:38:38 +0100 <geekosaur> yep
2021-11-07 14:39:02 +0100 <hpc> acme-schoenfinkel is my favorite, unless there have been any new ones lately
2021-11-07 14:40:01 +0100 <gentauro> https://hackage.haskell.org/package/acme-io-0.1.0.1/docs/src/System-IO-Unsafe-Really-IMeanIt.html#…
2021-11-07 14:40:04 +0100 <gentauro> WTF
2021-11-07 14:40:29 +0100 <hpc> okay, acme-mutable is my new favorite
2021-11-07 14:40:49 +0100 <hpc> er, acme-mutable-package
2021-11-07 14:43:28 +0100 <gentauro> hpc: now that is bad
2021-11-07 14:43:46 +0100 <gentauro> no wonder SPJ moved to Epic Games to play Fortnite all day
2021-11-07 14:44:10 +0100 <hpc> gentauro: acme-io is a reference to https://hoogle.haskell.org/?hoogle=reallyUnsafe
2021-11-07 14:44:34 +0100 <hpc> which manage to be even worse than unsafeCoerce
2021-11-07 14:44:48 +0100dsrt^(~dsrt@h50.174.139.63.static.ip.windstream.net) (Remote host closed the connection)
2021-11-07 14:45:32 +0100 <gentauro> hpc: I <3 that it is `SAFE` inferred xD https://hackage.haskell.org/package/acme-io-0.1.0.1/docs/System-IO-Unsafe-Really-IMeanIt.html
2021-11-07 14:45:49 +0100 <gentauro> Haskell, more like HaskLEL, packages are a shit show right?
2021-11-07 14:45:57 +0100lbseale(~lbseale@user/ep1ctetus)
2021-11-07 14:46:49 +0100 <gentauro> would love to see some `semantic / syntactic` versioning on the `AST` of the libraries.
2021-11-07 14:47:23 +0100 <gentauro> a bit like `elm`, but not being superficial (baed signatures)
2021-11-07 14:47:39 +0100wonko(~wjc@user/wonko) (Ping timeout: 256 seconds)
2021-11-07 14:48:40 +0100wonko(~wjc@user/wonko)
2021-11-07 14:52:45 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 256 seconds)
2021-11-07 14:52:53 +0100_ht_(~quassel@193.9.114.4)
2021-11-07 14:58:14 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 15:00:17 +0100lbseale(~lbseale@user/ep1ctetus) (Quit: Leaving)
2021-11-07 15:00:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 15:01:58 +0100bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 268 seconds)
2021-11-07 15:02:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-11-07 15:02:58 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2021-11-07 15:08:10 +0100bjobjo(~bjobjo@user/bjobjo)
2021-11-07 15:11:19 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-11-07 15:11:19 +0100bjobjo(~bjobjo@user/bjobjo) (Read error: Connection reset by peer)
2021-11-07 15:12:29 +0100 <maerwald> cabal says 'rejecting: network-3.1.2.5, network-3.1.2.2 (constraint from user target requires ==3.1.2.1)', although 1. there's no upper bound in .cabal and 2. there's a 'network ==3.1.2.5' constraint in cabal.project.freeze
2021-11-07 15:13:10 +0100bjobjo(~bjobjo@user/bjobjo)
2021-11-07 15:14:25 +0100 <geekosaur> usually means some dependency of your target needs 3.1.2.1. cabal's kinda bad at reporting those things, mostly because it's too busy trying to solve goals to try to track where all the constraints come from
2021-11-07 15:15:23 +0100 <geekosaur> cabal's trying to be a general constraint solver without having a real constraint solver at its disposal
2021-11-07 15:15:43 +0100 <maerwald> well, cabal.project contains 'allow-newer: *'
2021-11-07 15:16:07 +0100 <maerwald> so this makes no sense
2021-11-07 15:17:27 +0100 <gentauro> maerwald: I added that to my `stack.yaml`
2021-11-07 15:18:23 +0100 <maerwald> what even is "user target"
2021-11-07 15:19:08 +0100 <maerwald> so the solver is broken and allow-newer is broken too?
2021-11-07 15:20:57 +0100aleator(~aleator@178-55-209-25.bb.dnainternet.fi)
2021-11-07 15:22:17 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-11-07 15:26:09 +0100hendursa1(~weechat@user/hendursaga) (Remote host closed the connection)
2021-11-07 15:26:54 +0100hendursa1(~weechat@user/hendursaga)
2021-11-07 15:30:08 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-07 15:30:23 +0100aleator(~aleator@178-55-209-25.bb.dnainternet.fi) (Ping timeout: 260 seconds)
2021-11-07 15:32:11 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-11-07 15:32:59 +0100jpds1jpds
2021-11-07 15:33:44 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 15:33:59 +0100kuribas(~user@ptr-25vy0i9stc21zae4wv3.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-11-07 15:38:39 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds)
2021-11-07 15:40:31 +0100f-a(f2a@f2a.jujube.ircnow.org)
2021-11-07 15:41:01 +0100 <f-a> t:cabal where are translations files (.po, .msg, etc.) going? in extra-source-files?
2021-11-07 15:41:25 +0100bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 268 seconds)
2021-11-07 15:45:35 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-07 15:47:06 +0100unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2021-11-07 15:50:18 +0100deadmarshal_(~deadmarsh@95.38.113.241) (Ping timeout: 260 seconds)
2021-11-07 15:52:32 +0100euandreh(~euandreh@2804:14c:65c9:5161:4d0f:6b02:d329:b5d2) (Ping timeout: 268 seconds)
2021-11-07 15:54:36 +0100neurocyte0132889(~neurocyte@45.14.190.246)
2021-11-07 15:54:36 +0100neurocyte0132889(~neurocyte@45.14.190.246) (Changing host)
2021-11-07 15:54:36 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-07 15:54:55 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-07 15:55:11 +0100 <[exa]> f-a: you might check reverse dependencies of i18n package, they should have the files managed somehow
2021-11-07 15:55:50 +0100 <f-a> sensible idea
2021-11-07 15:56:09 +0100 <[exa]> not that I'd know how to find the revdeps.. :D
2021-11-07 15:56:19 +0100 <maerwald> I have ~/.cabal/store/ghc-8.10.7/pandoc-2.10.1-48ded60d178790735dbd0b77b1694f289c1776562a1f42674a2e135256d36a1d/share/data/translations
2021-11-07 15:57:04 +0100 <maerwald> pandoc.cabal specifies 'data/translations/*.yaml' in data-files
2021-11-07 15:57:11 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Client Quit)
2021-11-07 15:57:20 +0100 <maerwald> so data-files go to share
2021-11-07 15:57:25 +0100sprout(~quassel@2a02:a467:ccd6:1:907f:6d38:50a3:cb6a)
2021-11-07 15:57:27 +0100 <geekosaur> https://packdeps.haskellers.com/reverse
2021-11-07 15:57:32 +0100 <f-a> he put in in data files yeah
2021-11-07 15:57:50 +0100 <[exa]> geekosaur: oo nice
2021-11-07 15:58:00 +0100bjobjo(~bjobjo@user/bjobjo)
2021-11-07 15:58:21 +0100 <maerwald> extra-source files don't get installed I think, that's just for sdist to include them
2021-11-07 15:59:50 +0100 <unit73e> I remember reading that recently
2021-11-07 16:01:01 +0100neurocyte0132889(~neurocyte@45.14.190.246)
2021-11-07 16:01:01 +0100neurocyte0132889(~neurocyte@45.14.190.246) (Changing host)
2021-11-07 16:01:01 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-07 16:01:10 +0100sprout_(~quassel@2a02:a467:ccd6:1:49b2:5c3a:dea0:5ca1) (Ping timeout: 268 seconds)
2021-11-07 16:01:40 +0100 <unit73e> I read all that here: https://cabal.readthedocs.io/en/3.6/cabal-project.html
2021-11-07 16:01:46 +0100 <unit73e> because other-modules wasn't collaborating
2021-11-07 16:02:11 +0100bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 245 seconds)
2021-11-07 16:03:11 +0100bjobjo(~bjobjo@user/bjobjo)
2021-11-07 16:04:05 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Client Quit)
2021-11-07 16:04:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-11-07 16:04:54 +0100EvanR(~evan@2600:1700:ba69:10:8ec:144d:564b:ca12)
2021-11-07 16:05:02 +0100EvanR(~evan@2600:1700:ba69:10:8ec:144d:564b:ca12) (Changing host)
2021-11-07 16:05:02 +0100EvanR(~evan@user/evanr)
2021-11-07 16:05:04 +0100be1m0nt(~be1m0nt@pool-100-37-244-180.nycmny.fios.verizon.net)
2021-11-07 16:05:27 +0100be1m0nt(~be1m0nt@pool-100-37-244-180.nycmny.fios.verizon.net) ()
2021-11-07 16:05:39 +0100neurocyte0132889(~neurocyte@45.14.190.246)
2021-11-07 16:05:39 +0100neurocyte0132889(~neurocyte@45.14.190.246) (Changing host)
2021-11-07 16:05:39 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-07 16:10:18 +0100aeke(~a@p200300ef973db1af4086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-07 16:10:41 +0100aeke(~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de)
2021-11-07 16:13:53 +0100 <fryguybob> mc47: In case no one else answered you question, STM does not work across processes.
2021-11-07 16:15:06 +0100_ht_(~quassel@193.9.114.4) (Ping timeout: 245 seconds)
2021-11-07 16:15:38 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-11-07 16:15:53 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-07 16:22:40 +0100 <maerwald> gentauro: https://gitlab.haskell.org/maerwald/stack/-/jobs/849239/artifacts/browse/.local/bin/
2021-11-07 16:22:49 +0100 <maerwald> there's a stack M1 binary
2021-11-07 16:29:41 +0100CiaoSen(~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-11-07 16:34:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 16:34:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 16:34:26 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 16:35:00 +0100carbolymer_carbolymer
2021-11-07 16:35:05 +0100 <gentauro> maerwald: nice !!!
2021-11-07 16:35:51 +0100 <gentauro> maerwald: any chance that `fpco` will merge this in version `2.5.x`?
2021-11-07 16:36:01 +0100 <gentauro> :)
2021-11-07 16:36:27 +0100 <maerwald> merge what?
2021-11-07 16:37:07 +0100 <gentauro> maerwald: your changes into their branch -> https://gitlab.haskell.org/maerwald/stack/-/commit/948db274fce49c3fa9607dcfea7d446e9ffdf223
2021-11-07 16:37:23 +0100 <maerwald> oh lol, probably not
2021-11-07 16:37:29 +0100 <gentauro> maerwald: xD
2021-11-07 16:38:15 +0100timCF(~timCF@m91-129-97-132.cust.tele2.ee)
2021-11-07 16:38:57 +0100 <gentauro> could you try to do a `stack install haskell-language-server` to see if it builds :)
2021-11-07 16:39:23 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-11-07 16:40:43 +0100 <timCF> Hello! Let's say I do have `newtype A = A B`, and module does not export A constructor. Can I still implement somehow Coercible inside the module, to be able to use `coerce :: A -> B` outside of the module?
2021-11-07 16:42:08 +0100 <hpc> yes
2021-11-07 16:43:18 +0100 <dmj`> instances in Haskell are always exported and imported between modules
2021-11-07 16:48:00 +0100justUnitedjustCity
2021-11-07 16:48:20 +0100dsrt^(~dsrt@h50.174.139.63.static.ip.windstream.net)
2021-11-07 16:49:27 +0100cosimone(~user@93-47-231-203.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
2021-11-07 16:50:08 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-11-07 16:51:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 16:51:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 16:51:38 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 16:52:50 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-11-07 16:54:10 +0100fendor_(~fendor@77.119.198.57.wireless.dyn.drei.com)
2021-11-07 16:56:39 +0100fendor(~fendor@178.165.196.101.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-11-07 16:58:43 +0100kadir(~kadir@78.178.105.36)
2021-11-07 16:58:50 +0100acidjnk(~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-07 17:00:08 +0100mbuf(~Shakthi@122.178.124.224) (Quit: Leaving)
2021-11-07 17:00:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 17:03:04 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-07 17:03:07 +0100 <mc47> fryguybob: thank you, I should've read the docs more closely
2021-11-07 17:03:40 +0100 <mc47> one of the few times where a haskell program complies but doesn't do what you think it does
2021-11-07 17:07:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-07 17:10:01 +0100 <geekosaur> uh, wait. Coercible is not implementable, it's generated by the typechecker. and one of the rules for generation is the ocnstructor must be in scope
2021-11-07 17:10:50 +0100 <geekosaur> I believe yoou will get an error if you write instance Coercible A where
2021-11-07 17:12:34 +0100peutri_peutri
2021-11-07 17:15:04 +0100 <lyxia> Yeah, Coercible is not a regular class, it's its own construct with special semantics.
2021-11-07 17:17:10 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 17:18:15 +0100 <timCF> I guess than I just have to use exported function-accessor instead of coerce
2021-11-07 17:19:35 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2021-11-07 17:20:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-11-07 17:24:23 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
2021-11-07 17:24:28 +0100Nolrai2(~Nolrai2@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Client closed)
2021-11-07 17:26:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-11-07 17:26:46 +0100zmt00(~zmt00@user/zmt00)
2021-11-07 17:31:35 +0100srk_(~sorki@user/srk)
2021-11-07 17:32:26 +0100srk(~sorki@user/srk) (Ping timeout: 260 seconds)
2021-11-07 17:32:30 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-07 17:33:08 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 17:34:13 +0100srk_srk
2021-11-07 17:34:52 +0100kadir(~kadir@78.178.105.36) (WeeChat 3.3)
2021-11-07 17:36:22 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 17:36:22 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 17:36:22 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 17:37:05 +0100fluffyballoon(~user@131.93.208.196)
2021-11-07 17:37:46 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-11-07 17:40:12 +0100sprout_(~quassel@2a02:a467:ccd6:1:e9:abf1:b887:13fa)
2021-11-07 17:40:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 17:40:50 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-11-07 17:40:52 +0100neurocyte0132889(~neurocyte@45.14.190.246)
2021-11-07 17:40:53 +0100neurocyte0132889(~neurocyte@45.14.190.246) (Changing host)
2021-11-07 17:40:53 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-07 17:41:13 +0100mei32(~mei@user/mei)
2021-11-07 17:42:25 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-07 17:42:55 +0100sprout(~quassel@2a02:a467:ccd6:1:907f:6d38:50a3:cb6a) (Ping timeout: 268 seconds)
2021-11-07 17:43:53 +0100hololeap(~hololeap@user/hololeap)
2021-11-07 17:44:47 +0100mei3(~mei@user/mei) (Ping timeout: 264 seconds)
2021-11-07 17:44:47 +0100mei32mei3
2021-11-07 17:45:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-11-07 17:45:10 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 17:51:32 +0100CiaoSen(~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-07 17:57:50 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-07 17:58:26 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 17:58:30 +0100zincy(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65)
2021-11-07 18:05:07 +0100Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 268 seconds)
2021-11-07 18:05:19 +0100zincy(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection)
2021-11-07 18:06:28 +0100zincy(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65)
2021-11-07 18:08:38 +0100Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2021-11-07 18:10:05 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-07 18:10:35 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds)
2021-11-07 18:10:56 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 18:15:54 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-07 18:21:59 +0100zincy(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection)
2021-11-07 18:22:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 18:22:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 18:22:21 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 18:22:36 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-11-07 18:23:02 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 18:23:10 +0100vysn(~vysn@user/vysn)
2021-11-07 18:24:21 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-07 18:26:10 +0100Vajb(~Vajb@2001:999:66:281c:27a0:1549:39e5:8b1a)
2021-11-07 18:26:42 +0100aeke(~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1)
2021-11-07 18:28:07 +0100zincy(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65)
2021-11-07 18:30:01 +0100kuribas(~user@ptr-25vy0i98iduiysh23zp.18120a2.ip6.access.telenet.be)
2021-11-07 18:30:01 +0100Vajb(~Vajb@2001:999:66:281c:27a0:1549:39e5:8b1a) (Read error: Connection reset by peer)
2021-11-07 18:30:10 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-07 18:31:13 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-07 18:33:05 +0100pfurla(~pfurla@189.122.164.244)
2021-11-07 18:33:16 +0100zincy(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection)
2021-11-07 18:36:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 18:36:28 +0100 <awpr> timCF: do you want _only_ `A -> B` and not the other direction, e.g. because `A` has extra invariants?
2021-11-07 18:37:36 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-07 18:39:20 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2021-11-07 18:42:26 +0100pfurla(~pfurla@189.122.164.244) (Quit: gone to sleep. ZZZzzz…)
2021-11-07 18:44:42 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-11-07 18:45:39 +0100mark___(~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de)
2021-11-07 18:45:54 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-07 18:47:01 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-11-07 18:48:36 +0100deadmarshal(~deadmarsh@95.38.113.241)
2021-11-07 18:48:38 +0100 <mark___> Is ghc-vis maintained? When I try simple stuff like view ("hello" :: String) "hello" the repl dies and it says "double free or corruption (fasttop)"
2021-11-07 18:50:16 +0100 <Inst> i'm just
2021-11-07 18:50:23 +0100 <Inst> going to admit i'm embarrassed
2021-11-07 18:50:32 +0100f-a(f2a@f2a.jujube.ircnow.org) ()
2021-11-07 18:50:47 +0100Guest2727(~Guest27@2601:281:d480:2ce0::93bd)
2021-11-07 18:50:49 +0100 <Inst> i can't get foreign import capi "toyfunction" to work
2021-11-07 18:51:59 +0100aleator(~aleator@37-136-225-173.rev.dnainternet.fi)
2021-11-07 18:52:39 +0100thblt(~thblt@user/thblt)
2021-11-07 18:54:02 +0100 <Guest2727> When using the Continuation monad is there ever a reason to replace the 'r' in 'Cont r a' with a specific type?
2021-11-07 18:54:34 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-11-07 18:54:43 +0100 <int-e> :t runCont
2021-11-07 18:54:44 +0100 <lambdabot> Cont r a -> (a -> r) -> r
2021-11-07 18:56:48 +0100 <int-e> Not usually, no. Though it is worth noting that newtype ContT r m a = ContT {runContT :: (a -> m r) -> m r} is based on replacing `r` by the more specific `m r`.
2021-11-07 18:57:14 +0100 <int-e> and that allows you access to effects from m
2021-11-07 18:58:07 +0100 <hpc> sometimes if you're doing something domain-specific you might want a specific r
2021-11-07 18:58:40 +0100 <hpc> but i don't think i could come up with an example
2021-11-07 18:59:19 +0100econo(uid147250@user/econo)
2021-11-07 18:59:26 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 18:59:27 +0100 <Guest2727> OK, thanks for the answers
2021-11-07 19:00:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 19:00:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 19:00:23 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 19:00:32 +0100 <thblt> Google is failing me: is there an easy way, with cabal or stack, to generate complete documentation for a project's dependencies? To have them in one place, browsable offline?
2021-11-07 19:03:34 +0100 <sm> stack haddock --open
2021-11-07 19:03:35 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-11-07 19:03:41 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 244 seconds)
2021-11-07 19:04:35 +0100aleator(~aleator@37-136-225-173.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2021-11-07 19:05:29 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-07 19:09:59 +0100 <Inst> i've been at it for like 24 hours, and i give up
2021-11-07 19:10:27 +0100 <monochrom> I use Cont for shift/reset http://www.vex.net/~trebla/haskell/cont.xhtml so r gets monomorphized all the time.
2021-11-07 19:10:35 +0100 <Inst> if someone would like to help me get a native file dialog written in C FFI-ed into Haskell
2021-11-07 19:10:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-07 19:10:44 +0100 <monochrom> I no longer use callCC in fact.
2021-11-07 19:10:45 +0100 <Inst> please query me, if you want money, I can pay for it
2021-11-07 19:10:54 +0100 <thblt> sm: indeed, thanks. cabal was unhappy with my executable-only package, stack is less picky.
2021-11-07 19:11:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 19:11:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 19:11:14 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 19:11:58 +0100 <kronicmage> hey folks, I've implemented a pretty naive implementation of extended euclidean algorithm using hylo from recursion-schemes here: https://paste.tomsmeding.com/fc3bcFyu
2021-11-07 19:12:01 +0100 <Guest2727> monochrom: interesting, I'll check out that page
2021-11-07 19:12:09 +0100 <kronicmage> my question is: is there a better way to do this, without needing the extra data type?
2021-11-07 19:15:20 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 19:15:34 +0100Sgeo(~Sgeo@user/sgeo)
2021-11-07 19:16:05 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2021-11-07 19:16:05 +0100Codaraxis_(~Codaraxis@user/codaraxis)
2021-11-07 19:18:48 +0100khanred(~khanred@user/khanred)
2021-11-07 19:18:53 +0100khanred(~khanred@user/khanred) ()
2021-11-07 19:18:59 +0100kuribas(~user@ptr-25vy0i98iduiysh23zp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-11-07 19:19:30 +0100She(~she@user/thedaemoness)
2021-11-07 19:19:39 +0100Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2021-11-07 19:19:56 +0100pfurla(~pfurla@189.122.164.244)
2021-11-07 19:20:05 +0100pfurla(~pfurla@189.122.164.244) (Client Quit)
2021-11-07 19:20:33 +0100CiaoSen(~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-11-07 19:20:44 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 244 seconds)
2021-11-07 19:21:16 +0100pfurla(~pfurla@189.122.164.244)
2021-11-07 19:21:57 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2021-11-07 19:24:00 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-11-07 19:25:52 +0100beka(~beka@104.193.170.240)
2021-11-07 19:30:34 +0100mark___(~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1)
2021-11-07 19:30:54 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-07 19:31:55 +0100pfurla(~pfurla@189.122.164.244) (Quit: Textual IRC Client: www.textualapp.com)
2021-11-07 19:32:09 +0100hololeap(~hololeap@user/hololeap)
2021-11-07 19:33:36 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net)
2021-11-07 19:35:01 +0100 <dolio> kronicmage: You could just define EuclideanStructureF, since that's all you use, right? And then that can technically be assembled out of other functors, although it might not be a lot nicer.
2021-11-07 19:36:11 +0100 <dolio> The value case is `Const Natural` and the sum case is `(,,) Natural Natural`
2021-11-07 19:36:38 +0100 <dolio> So you just need a + on functors.
2021-11-07 19:36:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 19:37:26 +0100 <awpr> GHC.Generics.:+:
2021-11-07 19:37:45 +0100 <awpr> or Data.Functor.Sum.Sum
2021-11-07 19:38:23 +0100slack1256(~slack1256@191.125.227.73)
2021-11-07 19:39:19 +0100thblt(~thblt@user/thblt) (i)
2021-11-07 19:41:11 +0100yauhsien(~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-07 19:41:33 +0100Guest41(~Guest41@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-07 19:41:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-11-07 19:51:33 +0100_xor(~xor@72.49.199.147) (Read error: Connection reset by peer)
2021-11-07 19:54:52 +0100EvanR(~evan@user/evanr) (Ping timeout: 268 seconds)
2021-11-07 19:55:59 +0100_xor(~xor@72.49.199.147)
2021-11-07 19:57:32 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-07 20:01:03 +0100Guest2727(~Guest27@2601:281:d480:2ce0::93bd) (Ping timeout: 256 seconds)
2021-11-07 20:03:12 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-07 20:04:41 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
2021-11-07 20:04:44 +0100deadmarshal(~deadmarsh@95.38.113.241) (Ping timeout: 268 seconds)
2021-11-07 20:07:36 +0100CiaoSen(~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-11-07 20:12:46 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-11-07 20:15:34 +0100ec_(~ec@gateway/tor-sasl/ec)
2021-11-07 20:19:42 +0100fef(~thedawn@user/thedawn) (Ping timeout: 276 seconds)
2021-11-07 20:25:42 +0100xff0x(~xff0x@port-92-193-130-240.dynamic.as20676.net) (Ping timeout: 268 seconds)
2021-11-07 20:26:37 +0100Guest99(~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net)
2021-11-07 20:28:58 +0100Fusion_(~Fusion@2a02-a44c-e6e5-1-5cf9-2256-6303-4118.fixed6.kpn.net)
2021-11-07 20:30:15 +0100 <Inst> hmmm
2021-11-07 20:30:24 +0100 <Inst> I finally got CApiFFI to work
2021-11-07 20:30:30 +0100 <Inst> in a limited, bugged form with a toy program
2021-11-07 20:30:35 +0100slack1256(~slack1256@191.125.227.73) (Remote host closed the connection)
2021-11-07 20:31:02 +0100 <Inst> basically, if I run it in GHCi, it works, in GHC, it just hangs, in prat because the toy program has no main
2021-11-07 20:31:10 +0100 <Inst> I can break out, it executes the prompts (but doesn't accept input)
2021-11-07 20:32:11 +0100 <geekosaur> can you show us the bugged program? also if it has no main then ghc should refuse to link it
2021-11-07 20:32:11 +0100xff0x(~xff0x@2001:1a81:52ec:e600:16f0:b06d:ec81:fca7)
2021-11-07 20:32:44 +0100 <geekosaur> and may refuse to compile it if it finds a module Main (or a module with no header) that doesn't have `main` defined in it
2021-11-07 20:33:44 +0100 <Inst> check haskell beginner geekosaur
2021-11-07 20:36:49 +0100_xor(~xor@72.49.199.147) (Read error: Connection reset by peer)
2021-11-07 20:37:12 +0100_xor(~xor@72.49.199.147)
2021-11-07 20:39:57 +0100fluffyballoon(~user@131.93.208.196) (Remote host closed the connection)
2021-11-07 20:42:35 +0100hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-11-07 20:43:07 +0100hendursaga(~weechat@user/hendursaga)
2021-11-07 20:43:35 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 268 seconds)
2021-11-07 20:45:16 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-07 20:45:42 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-07 20:46:16 +0100max22-(~maxime@2a01cb08833598005dc77d164ebe8446.ipv6.abo.wanadoo.fr)
2021-11-07 20:46:38 +0100hololeap(~hololeap@user/hololeap)
2021-11-07 20:47:53 +0100[Kalisto](~nico@user/kalisto/x-8968079)
2021-11-07 20:53:01 +0100wonko(~wjc@user/wonko) (Ping timeout: 245 seconds)
2021-11-07 20:53:21 +0100ec_(~ec@gateway/tor-sasl/ec)
2021-11-07 20:53:33 +0100mjacob(~mjacob@adrastea.uberspace.de)
2021-11-07 20:54:15 +0100[Kalisto](~nico@user/kalisto/x-8968079) (Ping timeout: 244 seconds)
2021-11-07 20:57:46 +0100xff0x(~xff0x@2001:1a81:52ec:e600:16f0:b06d:ec81:fca7) (Ping timeout: 260 seconds)
2021-11-07 21:00:11 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-11-07 21:00:35 +0100ec_(~ec@gateway/tor-sasl/ec)
2021-11-07 21:05:18 +0100juhp(~juhp@128.106.188.220) (Ping timeout: 260 seconds)
2021-11-07 21:05:26 +0100 <maerwald> I'm playing with hsseccomp and I wish there was a high-level library
2021-11-07 21:06:47 +0100zebrag(~chris@user/zebrag)
2021-11-07 21:07:33 +0100juhp(~juhp@128.106.188.220)
2021-11-07 21:09:48 +0100xff0x(~xff0x@2001:1a81:52ec:e600:16f0:b06d:ec81:fca7)
2021-11-07 21:11:35 +0100Fusion_(~Fusion@2a02-a44c-e6e5-1-5cf9-2256-6303-4118.fixed6.kpn.net) (Quit: Leaving)
2021-11-07 21:12:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-07 21:12:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-07 21:12:00 +0100wroathe(~wroathe@user/wroathe)
2021-11-07 21:13:39 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-07 21:14:54 +0100 <maerwald> also https://lwn.net/Articles/799557/ meh
2021-11-07 21:16:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-07 21:19:16 +0100Guest99(~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds)
2021-11-07 21:19:24 +0100deadmarshal(~deadmarsh@95.38.113.241)
2021-11-07 21:21:03 +0100ec_(~ec@gateway/tor-sasl/ec)
2021-11-07 21:23:45 +0100deadmarshal(~deadmarsh@95.38.113.241) (Ping timeout: 256 seconds)
2021-11-07 21:26:17 +0100beka(~beka@104.193.170.240) (Ping timeout: 244 seconds)
2021-11-07 21:31:22 +0100Inst(~Inst@2601:6c4:4080:3f80:40a:9f91:8f3e:4f02) (Remote host closed the connection)
2021-11-07 21:31:46 +0100Inst(~Inst@2601:6c4:4080:3f80:f571:277c:e0b0:82b9)
2021-11-07 21:31:49 +0100jassob(~jassob@h-98-128-167-112.NA.cust.bahnhof.se)
2021-11-07 21:35:51 +0100glguy(x@libera/staff/glguy) (Quit: Quit)
2021-11-07 21:36:06 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-11-07 21:36:24 +0100glguy(x@libera/staff/glguy)
2021-11-07 21:36:31 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-11-07 21:39:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-07 21:41:24 +0100acidjnk(~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de)
2021-11-07 21:42:15 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-07 21:44:54 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-11-07 21:46:38 +0100ec_(~ec@gateway/tor-sasl/ec)
2021-11-07 21:47:11 +0100sprout_(~quassel@2a02:a467:ccd6:1:e9:abf1:b887:13fa) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-11-07 21:47:32 +0100sprout(~quassel@2a02:a467:ccd6:1:e9:abf1:b887:13fa)
2021-11-07 21:49:22 +0100 <maerwald> and seccomp-notify looks complicated
2021-11-07 21:49:37 +0100 <maerwald> https://brauner.github.io/2020/07/23/seccomp-notify.html
2021-11-07 21:51:13 +0100tabemann(~tabemann@2600:1700:7990:24e0:25bd:a66c:dc78:d416) (Remote host closed the connection)
2021-11-07 21:51:25 +0100tabemann(~tabemann@2600:1700:7990:24e0:c9ce:7077:ec0c:a794)
2021-11-07 21:54:05 +0100brettgilio(~brettgili@x-node.gq) (Quit: Leaving...)
2021-11-07 21:56:16 +0100acidjnk_new(~acidjnk@p200300d0c7404a39d4d6bc989f421ded.dip0.t-ipconnect.de)
2021-11-07 21:56:36 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-11-07 21:58:51 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-07 21:59:52 +0100brettgilio(~brettgili@x-node.gq)
2021-11-07 22:00:03 +0100acidjnk(~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-07 22:06:12 +0100xsebek(~xsebek@176.74.150.21)
2021-11-07 22:08:36 +0100Codaraxis__(~Codaraxis@user/codaraxis)
2021-11-07 22:08:46 +0100jassob(~jassob@h-98-128-167-112.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2021-11-07 22:10:22 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-11-07 22:10:51 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-07 22:11:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-11-07 22:12:16 +0100Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 244 seconds)
2021-11-07 22:14:51 +0100mei3(~mei@user/mei) (Ping timeout: 244 seconds)
2021-11-07 22:16:09 +0100hendursaga(~weechat@user/hendursaga) (Remote host closed the connection)
2021-11-07 22:16:14 +0100hendursaga(~weechat@user/hendursaga)
2021-11-07 22:21:24 +0100xlei(znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer)
2021-11-07 22:21:24 +0100Guest278(~Guest27@2601:281:d480:2ce0::93bd)
2021-11-07 22:22:53 +0100cjb(~cjbayliss@user/cjb)
2021-11-07 22:23:49 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds)
2021-11-07 22:28:04 +0100cjb(~cjbayliss@user/cjb) ()
2021-11-07 22:29:10 +0100Pickchea(~private@user/pickchea)
2021-11-07 22:29:30 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-11-07 22:30:33 +0100xlei(~akans@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-11-07 22:30:51 +0100EvanR(~evan@2600:1700:ba69:10:7dba:d155:3b0e:7b4c)
2021-11-07 22:31:03 +0100cjb(~cjbayliss@user/cjb)
2021-11-07 22:31:15 +0100EvanR(~evan@2600:1700:ba69:10:7dba:d155:3b0e:7b4c) (Changing host)
2021-11-07 22:31:15 +0100EvanR(~evan@user/evanr)
2021-11-07 22:31:20 +0100zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-11-07 22:31:21 +0100pavonia(~user@user/siracusa)
2021-11-07 22:31:39 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-07 22:31:53 +0100fendor_(~fendor@77.119.198.57.wireless.dyn.drei.com) (Remote host closed the connection)
2021-11-07 22:33:58 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-07 22:37:46 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-11-07 22:43:32 +0100 <maerwald> gentauro: https://gitlab.haskell.org/maerwald/stack/-/jobs/849559/artifacts/browse/.local/bin/ here's an M1 HLS binary
2021-11-07 22:45:56 +0100zebrag(~chris@user/zebrag)
2021-11-07 22:46:12 +0100zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-11-07 22:50:15 +0100zebrag(~chris@user/zebrag)
2021-11-07 22:52:53 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-11-07 22:53:57 +0100Guest99(~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net)
2021-11-07 22:57:41 +0100zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-11-07 23:00:05 +0100emf(~emf@163.114.132.5) (Ping timeout: 256 seconds)
2021-11-07 23:00:50 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal)
2021-11-07 23:01:46 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-07 23:01:55 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-11-07 23:02:14 +0100emf(~emf@2620:10d:c090:400::5:d546)
2021-11-07 23:05:14 +0100zebrag(~chris@user/zebrag)
2021-11-07 23:07:33 +0100yauhsien(~yauhsien@61-231-16-137.dynamic-ip.hinet.net)
2021-11-07 23:07:35 +0100burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 264 seconds)
2021-11-07 23:10:13 +0100 <hololeap> what's a good way to implement a binary tree with a static shape and O(1) lookups and updates, given a "path" e.g. [GoLeft, GoRight, GoLeft, ...]
2021-11-07 23:10:41 +0100 <hololeap> well, the shape is determined at runtime but doesn't change after that
2021-11-07 23:11:42 +0100 <geekosaur> can that even be O(1)? wouldn't it still be O(log N) even given a path to walk instead of needing to search?
2021-11-07 23:12:46 +0100 <hololeap> well, if the shape is known then you could give each node a unique key and then put it all into a vector. that was one option I was exploring
2021-11-07 23:15:07 +0100 <hololeap> another thing I considered was to wrap each node in a TVar and then have a separate lookup table via a (Map Path (TVar (Node a)) or something
2021-11-07 23:17:48 +0100 <hololeap> what I am aiming for is making the thing a Representable with O(1) lookups/updates so I can plug it into Control.Comonad.Representable.Store
2021-11-07 23:18:13 +0100yauhsien(~yauhsien@61-231-16-137.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-07 23:18:29 +0100 <hololeap> it's for this programming challenge: https://www.hackerrank.com/challenges/the-tree-of-life
2021-11-07 23:18:45 +0100yauhsien(~yauhsien@61-231-16-137.dynamic-ip.hinet.net)
2021-11-07 23:18:46 +0100 <geekosaur> then you're just hiding the big-O in the Map, I think
2021-11-07 23:19:19 +0100 <geekosaur> this all sounds to me like trying to be too clever without actually solving the big-O problem
2021-11-07 23:19:24 +0100 <hpc> yeah, you can only get O(1) with a fixed-size data structure
2021-11-07 23:19:42 +0100 <hpc> like particular types of hash table, or arrays
2021-11-07 23:22:26 +0100 <hololeap> I've implemented the standard GoL with vector-sized and Representable. this is a bit different because of the binary-tree shape of the thing, and also hackerrank doesn't have a ton of libraries available so things like finite-typelits are out
2021-11-07 23:23:26 +0100yauhsien(~yauhsien@61-231-16-137.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-07 23:26:15 +0100 <hololeap> but, yeah I could be painting myself into a corner here with my assumptions about how it needs to be done
2021-11-07 23:28:02 +0100 <hololeap> since the whole tree has to be traversed to updated the alive/dead status of each cell, perhaps just a regular tree traversal is good enough
2021-11-07 23:29:10 +0100 <hpc> yeah, log factors are smaller than you probably are thinking they are
2021-11-07 23:29:12 +0100jassob(~jassob@h-98-128-167-112.NA.cust.bahnhof.se)
2021-11-07 23:29:52 +0100 <hololeap> I'm just a bit worried about the corner cases when they have huge trees and 1000 life cycles
2021-11-07 23:30:29 +0100 <hpc> they would have to be truly huge
2021-11-07 23:30:35 +0100 <Guest278> log scales really well with large numbers
2021-11-07 23:30:42 +0100 <hpc> if you have a tree of 1000 noddes that takes 1 second
2021-11-07 23:30:48 +0100 <hpc> to make it take 2 seconds needs 10000 nodes
2021-11-07 23:30:53 +0100 <hpc> 3 seconds, 100000 nodes
2021-11-07 23:30:56 +0100 <hololeap> that's true
2021-11-07 23:31:15 +0100 <hpc> (plus or minus memory bandwidth, cpu cache, etc)
2021-11-07 23:31:18 +0100 <Guest278> it's why stuff like git-bisect can cut through literally thousands of commits so easily
2021-11-07 23:32:04 +0100Guest99(~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) (Quit: Client closed)
2021-11-07 23:32:17 +0100Guest99(~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net)
2021-11-07 23:34:11 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-07 23:34:45 +0100 <Guest278> plus looking at the problem it's a CA update? in which case you're traversing the whole tree anyway and you'd ideally have every neighbor available
2021-11-07 23:34:53 +0100max22-(~maxime@2a01cb08833598005dc77d164ebe8446.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-11-07 23:35:03 +0100 <EvanR> exponential growth, reach any level soon. log growth take as long as you need, you won't run out of levels
2021-11-07 23:36:34 +0100machinedgod(~machinedg@24.105.81.50)
2021-11-07 23:37:06 +0100pieguy128(~pieguy128@bas1-quebec14-67-70-102-17.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-07 23:37:27 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca)
2021-11-07 23:38:47 +0100 <hpc> there's a joke about those sorts of big-Os
2021-11-07 23:39:02 +0100 <hpc> there's an algorithm with a big-O of the inverse ackermann function, and people say it's O(4)
2021-11-07 23:39:24 +0100 <hpc> because there's no way you're ever getting an input big enough to beyond that
2021-11-07 23:39:39 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-11-07 23:40:41 +0100 <dolio> There's also log*, which is like 5 or 6.
2021-11-07 23:41:10 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 260 seconds)
2021-11-07 23:45:16 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Quit: Leaving)
2021-11-07 23:46:28 +0100lagash(lagash@lagash.freeirc.org)
2021-11-07 23:47:05 +0100timCF(~timCF@m91-129-97-132.cust.tele2.ee) (Quit: leaving)
2021-11-07 23:49:12 +0100vysn(~vysn@user/vysn) (Ping timeout: 268 seconds)
2021-11-07 23:52:07 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-11-07 23:53:31 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-07 23:54:09 +0100 <hololeap> when is it a good idea to properly fill out the other-extensions field in a .cabal file?
2021-11-07 23:54:52 +0100 <hpc> probably never? i like seeing them at the top of every source file so i know what i am getting into
2021-11-07 23:55:23 +0100 <hpc> imagine if cabal files had an other-imports field
2021-11-07 23:55:34 +0100 <geekosaur> other-extensions is just documentation. it may be helpful to review what extensions you're using anywhere, but I'm not sure that's a serious use case
2021-11-07 23:55:49 +0100 <hololeap> ok
2021-11-07 23:56:18 +0100 <geekosaur> it might be helpful for hackage to more easily figure out compiler version compatibility, but I'm not sure it uses it for that
2021-11-07 23:56:34 +0100 <hpc> oh, i was thinking default-extensions
2021-11-07 23:56:56 +0100 <geekosaur> yeh, I figured
2021-11-07 23:56:58 +0100 <hololeap> geekosaur: that's what I thought it might be for, but that isn't really relevant to my use-case ATM
2021-11-07 23:57:25 +0100 <hpc> apparently other-extensions is useful though
2021-11-07 23:58:00 +0100 <hpc> the docs say cabal knows what ghc versions can use what extensions
2021-11-07 23:58:25 +0100 <zzz> what's a good example of the tardis monad usefulness?
2021-11-07 23:59:22 +0100xsebek(~xsebek@176.74.150.21) (Ping timeout: 260 seconds)
2021-11-07 23:59:30 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3)