| 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 +0100 | ubert | (~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 +0100 | alzgh | (~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 +0100 | slack1256 | (~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 +0100 | merijn | (~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 +0100 | johnny_sitar | (~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 260 seconds) |
| 2021-11-07 00:19:52 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-11-07 00:20:24 +0100 | aqua0210 | (~user@101.85.11.168) (Read error: Connection reset by peer) |
| 2021-11-07 00:20:43 +0100 | aqua0210 | (~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 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-11-07 00:23:51 +0100 | alzgh | (alzgh@user/alzgh) |
| 2021-11-07 00:23:55 +0100 | ees | (~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 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-11-07 00:25:03 +0100 | acidjnk | (~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 +0100 | fluffyballoon | (~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 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2021-11-07 00:27:27 +0100 | Kaiepi | (~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 +0100 | zmt01 | (~zmt00@user/zmt00) (Client Quit) |
| 2021-11-07 00:29:13 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2021-11-07 00:29:41 +0100 | zmt00 | (~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 +0100 | michalz | (~michalz@185.246.204.58) (Remote host closed the connection) |
| 2021-11-07 00:31:32 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-11-07 00:32:27 +0100 | Kaiepi | (~Kaiepi@156.34.44.192) |
| 2021-11-07 00:33:13 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-11-07 00:34:02 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-11-07 00:35:00 +0100 | ees | (~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 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2021-11-07 00:35:24 +0100 | darkstarx | (~darkstard@185.226.144.76) |
| 2021-11-07 00:37:58 +0100 | darkstardevx | (~darkstard@50.39.114.152) (Ping timeout: 260 seconds) |
| 2021-11-07 00:39:23 +0100 | alzgh | (alzgh@user/alzgh) (Ping timeout: 256 seconds) |
| 2021-11-07 00:40:25 +0100 | darkstardev13 | (~darkstard@176.113.72.221) |
| 2021-11-07 00:42:03 +0100 | max22- | (~maxime@2a01cb0883359800ab19ff1ba7c64c00.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-11-07 00:43:02 +0100 | darkstarx | (~darkstard@185.226.144.76) (Ping timeout: 260 seconds) |
| 2021-11-07 00:43:42 +0100 | alzgh | (~alzgh@user/alzgh) |
| 2021-11-07 00:45:38 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-11-07 00:48:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-11-07 00:48:24 +0100 | darkstarx | (~darkstard@50.39.114.152) |
| 2021-11-07 00:50:56 +0100 | darkstardev13 | (~darkstard@176.113.72.221) (Ping timeout: 245 seconds) |
| 2021-11-07 00:55:54 +0100 | jess | (~jess@libera/staff/jess) |
| 2021-11-07 01:06:16 +0100 | <sm> | gentauro: 20.5 hours ? |
| 2021-11-07 01:06:46 +0100 | syntactic_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 +0100 | jpds1 | (~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 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2021-11-07 01:09:58 +0100 | darkstardev13 | (~darkstard@89.47.234.174) |
| 2021-11-07 01:11:09 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
| 2021-11-07 01:11:11 +0100 | aqua0210 | (~user@101.85.11.168) (Ping timeout: 264 seconds) |
| 2021-11-07 01:12:26 +0100 | darkstarx | (~darkstard@50.39.114.152) (Ping timeout: 260 seconds) |
| 2021-11-07 01:13:01 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-11-07 01:13:47 +0100 | zebrag | (~chris@user/zebrag) |
| 2021-11-07 01:14:47 +0100 | sm | imagines the impact of 20 straight productive, on-target hours |
| 2021-11-07 01:15:54 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-11-07 01:16:19 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2021-11-07 01:17:13 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2021-11-07 01:17:29 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2021-11-07 01:20:15 +0100 | ByronJohnson | (~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 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2021-11-07 01:24:35 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-11-07 01:24:55 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-11-07 01:24:58 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2021-11-07 01:25:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2021-11-07 01:25:53 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-11-07 01:28:26 +0100 | raehik | (~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 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-11-07 01:34:03 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-11-07 01:34:26 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 260 seconds) |
| 2021-11-07 01:35:17 +0100 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-11-07 01:35:58 +0100 | aeke | (~a@p200300ef973db1af4086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-11-07 01:36:25 +0100 | gg | (~gg@88.160.100.84) (Remote host closed the connection) |
| 2021-11-07 01:42:51 +0100 | fuzzypixelz | (~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 +0100 | aqua0210 | (~user@101.85.11.168) |
| 2021-11-07 01:53:58 +0100 | aqua0210 | (~user@101.85.11.168) (Ping timeout: 260 seconds) |
| 2021-11-07 01:57:14 +0100 | SeungheonOh | (~Thunderbi@2600:1700:5168:1400:d4ca:d37:8a2:b653) |
| 2021-11-07 01:59:43 +0100 | SeungheonOh | (~Thunderbi@2600:1700:5168:1400:d4ca:d37:8a2:b653) (Client Quit) |
| 2021-11-07 02:00:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-11-07 02:01:10 +0100 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
| 2021-11-07 02:03:23 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-11-07 02:09:02 +0100 | gdown | (~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 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-11-07 02:14:31 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-11-07 02:15:47 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 02:16:49 +0100 | hiruji | (~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 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2021-11-07 02:24:50 +0100 | khanred | (~khanred@user/khanred) |
| 2021-11-07 02:34:27 +0100 | hiruji | (~hiruji@user/hiruji) |
| 2021-11-07 02:34:29 +0100 | hiruji | (~hiruji@user/hiruji) (Remote host closed the connection) |
| 2021-11-07 02:34:47 +0100 | hiruji | (~hiruji@user/hiruji) |
| 2021-11-07 02:34:52 +0100 | hiruji | (~hiruji@user/hiruji) (Remote host closed the connection) |
| 2021-11-07 02:35:17 +0100 | hiruji | (~hiruji@user/hiruji) |
| 2021-11-07 02:35:24 +0100 | hiruji | (~hiruji@user/hiruji) (Remote host closed the connection) |
| 2021-11-07 02:35:30 +0100 | xff0x | (~xff0x@2001:1a81:52b1:3000:7ef:3640:6d4d:8cb8) (Ping timeout: 260 seconds) |
| 2021-11-07 02:36:19 +0100 | xff0x | (~xff0x@2001:1a81:52b1:3000:4e58:263b:7745:5105) |
| 2021-11-07 02:37:59 +0100 | albet70 | (~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 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-11-07 02:44:06 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-11-07 02:44:08 +0100 | hiruji | (~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 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 02:49:32 +0100 | aqua0210 | (~user@101.85.11.168) |
| 2021-11-07 02:51:13 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-11-07 02:53:21 +0100 | darkstarx | (~darkstard@gateway/vpn/pia/darkstardevx) |
| 2021-11-07 02:53:49 +0100 | Lycurgus | (~juan@98.4.112.204) |
| 2021-11-07 02:54:42 +0100 | <Inst> | does anyone use capi here? |
| 2021-11-07 02:54:47 +0100 | aqua0210 | (~user@101.85.11.168) (Ping timeout: 256 seconds) |
| 2021-11-07 02:55:55 +0100 | darkstardev13 | (~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 +0100 | xff0x | (~xff0x@2001:1a81:52b1:3000:4e58:263b:7745:5105) (Ping timeout: 268 seconds) |
| 2021-11-07 03:13:30 +0100 | xff0x | (~xff0x@2001:1a81:52b1:3000:5297:4b75:9c14:f5c1) |
| 2021-11-07 03:16:10 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2021-11-07 03:16:25 +0100 | aqua0210 | (~user@101.85.11.168) |
| 2021-11-07 03:18:58 +0100 | darkstarx | (~darkstard@gateway/vpn/pia/darkstardevx) (Remote host closed the connection) |
| 2021-11-07 03:19:21 +0100 | darkstarx | (~darkstard@gateway/vpn/pia/darkstardevx) |
| 2021-11-07 03:19:22 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2021-11-07 03:19:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-11-07 03:24:43 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2021-11-07 03:28:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-11-07 03:30:02 +0100 | aqua0210 | (~user@101.85.11.168) (Remote host closed the connection) |
| 2021-11-07 03:41:03 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 03:41:04 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 03:41:04 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 03:44:06 +0100 | xff0x | (~xff0x@2001:1a81:52b1:3000:5297:4b75:9c14:f5c1) (Ping timeout: 260 seconds) |
| 2021-11-07 03:45:42 +0100 | xff0x | (~xff0x@2001:1a81:52ec:e600:32d8:d60b:eef6:92ba) |
| 2021-11-07 03:45:56 +0100 | mmhat | (~mmh@55d4b9d8.access.ecotel.net) (Ping timeout: 245 seconds) |
| 2021-11-07 03:57:11 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 245 seconds) |
| 2021-11-07 04:00:17 +0100 | mmhat | (~mmh@55d4aeaa.access.ecotel.net) |
| 2021-11-07 04:04:35 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-11-07 04:10:07 +0100 | mmhat | (~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 +0100 | khanred | (~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 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-11-07 04:38:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-11-07 04:38:18 +0100 | finn_elija | FinnElija |
| 2021-11-07 04:38:38 +0100 | shailangsa | (~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 +0100 | ees | (~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 +0100 | syntactic_sugar | (~amoljha@2601:644:8601:2e30::822c) (Quit: WeeChat 3.3) |
| 2021-11-07 04:53:20 +0100 | dsrt^ | (~dsrt@h50.174.139.63.static.ip.windstream.net) |
| 2021-11-07 04:54:21 +0100 | Lycurgus | (~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 +0100 | ees | (~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 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-11-07 04:59:24 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 05:00:40 +0100 | yauhsien | (~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 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2021-11-07 05:05:48 +0100 | x6C697370 | (~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 +0100 | kupi | (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 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-11-07 05:15:56 +0100 | merijn | (~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 +0100 | ubikium | (~ubikium@i223-218-66-82.s41.a013.ap.plala.or.jp) |
| 2021-11-07 05:34:16 +0100 | beka | (~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 +0100 | smunix | (~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 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds) |
| 2021-11-07 05:44:10 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-11-07 05:44:13 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 2021-11-07 05:45:26 +0100 | slowButPresent | (~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 +0100 | ByronJohnson | (~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 +0100 | shailangsa | (~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 +0100 | merijn | (~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 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2021-11-07 06:15:19 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2021-11-07 06:23:18 +0100 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2021-11-07 06:26:24 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-11-07 06:26:45 +0100 | smunix | (~smunix@lnsm1-montreal02-142-122-74-243.internet.virginmobile.ca) (Remote host closed the connection) |
| 2021-11-07 06:30:17 +0100 | smunix | (~smunix@static.26.70.12.49.clients.your-server.de) |
| 2021-11-07 06:34:48 +0100 | Guest55 | (~Guest55@lnsm1-montreal02-142-122-74-243.internet.virginmobile.ca) |
| 2021-11-07 06:41:26 +0100 | EvanR | (~evan@2600:1700:ba69:10:75fc:f740:4c21:d03d) (Ping timeout: 260 seconds) |
| 2021-11-07 06:43:00 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 06:47:23 +0100 | mbuf | (~Shakthi@122.178.124.224) |
| 2021-11-07 06:51:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-11-07 06:51:34 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2021-11-07 06:51:56 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2021-11-07 06:52:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-11-07 06:53:38 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2021-11-07 06:56:38 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2021-11-07 06:56:48 +0100 | Guest55 | (~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 +0100 | hiruji | (~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 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 07:13:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 07:13:27 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 07:18:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-11-07 07:19:39 +0100 | waleee | (~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 +0100 | johnjay | (~pi@192.142.100.50) (Ping timeout: 260 seconds) |
| 2021-11-07 07:29:09 +0100 | johnjay | (~pi@192.142.100.50) |
| 2021-11-07 07:35:38 +0100 | johnjay | (~pi@192.142.100.50) (Ping timeout: 260 seconds) |
| 2021-11-07 07:38:45 +0100 | johnjay | (~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 +0100 | beka | (~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 +0100 | merijn | (~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 +0100 | vysn | (~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 +0100 | beka | (~beka@104.193.170.240) |
| 2021-11-07 08:15:27 +0100 | orhan89_ | (~orhan89@151.91.188.35.bc.googleusercontent.com) (Ping timeout: 260 seconds) |
| 2021-11-07 08:15:56 +0100 | xff0x | (~xff0x@2001:1a81:52ec:e600:32d8:d60b:eef6:92ba) (Ping timeout: 245 seconds) |
| 2021-11-07 08:16:55 +0100 | xff0x | (~xff0x@port-92-193-130-240.dynamic.as20676.net) |
| 2021-11-07 08:17:24 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-11-07 08:17:47 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
| 2021-11-07 08:21:07 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-11-07 08:21:25 +0100 | mei3 | (~mei@user/mei) |
| 2021-11-07 08:22:12 +0100 | x6C697370 | (~michael@2600:1700:7c02:3180::44) |
| 2021-11-07 08:23:53 +0100 | Lycurgus | (~juan@98.4.112.204) |
| 2021-11-07 08:24:11 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 08:28:14 +0100 | Lycurgus | (~juan@98.4.112.204) (Client Quit) |
| 2021-11-07 08:50:43 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 08:51:29 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-11-07 08:52:04 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 08:52:16 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-11-07 08:56:01 +0100 | ubikium | (~ubikium@i223-218-66-82.s41.a013.ap.plala.or.jp) (Quit: Leaving) |
| 2021-11-07 09:00:20 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 09:03:53 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2021-11-07 09:05:46 +0100 | alzgh | (~alzgh@user/alzgh) |
| 2021-11-07 09:06:45 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 268 seconds) |
| 2021-11-07 09:13:02 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-11-07 09:15:03 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-11-07 09:15:40 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 09:20:41 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-11-07 09:24:46 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 09:25:05 +0100 | Lycurgus | (~juan@98.4.112.204) |
| 2021-11-07 09:29:16 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2021-11-07 09:30:57 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-11-07 09:32:35 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-11-07 09:39:58 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-11-07 09:45:25 +0100 | x6C697370 | (~michael@2600:1700:7c02:3180::44) (Quit: WeeChat 3.3) |
| 2021-11-07 09:53:57 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-11-07 09:56:07 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-11-07 09:56:21 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2021-11-07 09:57:24 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-11-07 10:05:29 +0100 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-11-07 10:08:42 +0100 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-11-07 10:10:16 +0100 | v01d4lph4 | (~v01d4lph4@122.177.85.95) |
| 2021-11-07 10:10:16 +0100 | v01d4lph4 | (~v01d4lph4@122.177.85.95) (Changing host) |
| 2021-11-07 10:10:16 +0100 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-11-07 10:10:19 +0100 | mc47 | (~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 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 10:11:29 +0100 | kuribas | (~user@ptr-25vy0i9stc21zae4wv3.18120a2.ip6.access.telenet.be) |
| 2021-11-07 10:11:52 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-11-07 10:13:40 +0100 | hiruji | (~hiruji@user/hiruji) |
| 2021-11-07 10:14:34 +0100 | johnny_sitar | (~artur@078088015209.bialystok.vectranet.pl) |
| 2021-11-07 10:15:25 +0100 | acidjnk | (~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) |
| 2021-11-07 10:15:36 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-11-07 10:25:17 +0100 | beka | (~beka@104.193.170.240) (Ping timeout: 256 seconds) |
| 2021-11-07 10:27:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-11-07 10:29:38 +0100 | vysn | (~vysn@user/vysn) (Read error: Connection reset by peer) |
| 2021-11-07 10:30:38 +0100 | MoC | (~moc@user/moc) |
| 2021-11-07 10:38:49 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 10:43:14 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-11-07 10:45:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-11-07 10:47:04 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 10:52:06 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2021-11-07 10:53:45 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-11-07 10:54:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 2021-11-07 10:54:30 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 10:54:51 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 2021-11-07 10:55:03 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-11-07 10:55:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-11-07 10:57:51 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-11-07 10:58:47 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-11-07 10:59:11 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-11-07 11:00:04 +0100 | trainlag1602 | (~saroa@user/trainlag1602) |
| 2021-11-07 11:00:07 +0100 | justUnited | (~justache@user/justache) (Remote host closed the connection) |
| 2021-11-07 11:00:34 +0100 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2021-11-07 11:01:03 +0100 | justUnited | (~justache@user/justache) |
| 2021-11-07 11:01:28 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-11-07 11:03:04 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-11-07 11:04:48 +0100 | cosimone | (~user@93-47-231-203.ip115.fastwebnet.it) |
| 2021-11-07 11:06:06 +0100 | aeke | (~a@p200300ef973db1af4086f0a6a24fc4dd.dip0.t-ipconnect.de) |
| 2021-11-07 11:07:59 +0100 | fendor | (~fendor@178.165.196.101.wireless.dyn.drei.com) |
| 2021-11-07 11:17:58 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 11:22:31 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-11-07 11:27:37 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-11-07 11:27:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-11-07 11:28:24 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-11-07 11:29:28 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 11:31:20 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-11-07 11:31:26 +0100 | fr33domlover1 | (~fr33domlo@angeley.es) (Remote host closed the connection) |
| 2021-11-07 11:32:54 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-11-07 11:34:37 +0100 | mmhat | (~mmh@55d4aeaa.access.ecotel.net) |
| 2021-11-07 11:35:00 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-11-07 11:35:30 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-11-07 11:37:01 +0100 | mc47 | (~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 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-11-07 11:45:56 +0100 | bliminse | (~bliminse@host86-185-253-43.range86-185.btcentralplus.com) |
| 2021-11-07 11:46:59 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-11-07 11:47:36 +0100 | Vajb | (~Vajb@85-76-35-211-nat.elisa-mobile.fi) |
| 2021-11-07 11:47:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-11-07 11:49:16 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-11-07 11:49:17 +0100 | Vajb | (~Vajb@85-76-35-211-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-11-07 11:50:10 +0100 | bliminse | (~bliminse@host86-185-253-43.range86-185.btcentralplus.com) (Client Quit) |
| 2021-11-07 11:50:15 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-11-07 11:52:41 +0100 | bliminse | (~bliminse@host86-185-253-43.range86-185.btcentralplus.com) |
| 2021-11-07 11:53:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-11-07 11:53:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 11:53:50 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-11-07 11:58:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-11-07 11:59:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-11-07 12:00:51 +0100 | alx741 | (~alx741@181.196.69.19) |
| 2021-11-07 12:02:38 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-11-07 12:06:37 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-11-07 12:09:16 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2021-11-07 12:12:56 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.96) |
| 2021-11-07 12:15:56 +0100 | AlexZenon | (~alzenon@94.233.241.187) (Ping timeout: 245 seconds) |
| 2021-11-07 12:16:06 +0100 | Alex_test | (~al_test@94.233.241.187) (Ping timeout: 260 seconds) |
| 2021-11-07 12:16:34 +0100 | AlexNoo | (~AlexNoo@94.233.241.187) (Ping timeout: 260 seconds) |
| 2021-11-07 12:19:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-11-07 12:20:01 +0100 | Alex_test | (~al_test@94.233.240.96) |
| 2021-11-07 12:20:10 +0100 | AlexZenon | (~alzenon@94.233.240.96) |
| 2021-11-07 12:25:50 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 260 seconds) |
| 2021-11-07 12:26:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 12:30:31 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-11-07 12:30:39 +0100 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2021-11-07 12:31:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-11-07 12:33:00 +0100 | haskl | (~haskl@user/haskl) |
| 2021-11-07 12:36:23 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 12:36:41 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-11-07 12:36:43 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2021-11-07 12:37:31 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-11-07 12:38:09 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2021-11-07 12:39:27 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-11-07 12:41:21 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-11-07 12:47:49 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-11-07 12:48:35 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-11-07 12:50:01 +0100 | trainlag1602 | (~saroa@user/trainlag1602) (Quit: Leaving.) |
| 2021-11-07 12:54:06 +0100 | fef | (~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 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 13:00:16 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-11-07 13:00:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 13:00:56 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-11-07 13:01:55 +0100 | deadmarshal | (~deadmarsh@95.38.117.144) |
| 2021-11-07 13:03:33 +0100 | unmanbearpig | (~unmanbear@user/unmanbearpig) (Ping timeout: 268 seconds) |
| 2021-11-07 13:04:29 +0100 | unmanbearpig | (~unmanbear@user/unmanbearpig) |
| 2021-11-07 13:04:34 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-11-07 13:06:53 +0100 | MoC | (~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 +0100 | fuzzypixelz | (~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 +0100 | deadmarshal | (~deadmarsh@95.38.117.144) (Ping timeout: 256 seconds) |
| 2021-11-07 13:20:39 +0100 | AlexNoo_ | AlexNoo |
| 2021-11-07 13:22:29 +0100 | deadmarshal | (~deadmarsh@95.38.117.144) |
| 2021-11-07 13:24:36 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 13:29:22 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-11-07 13:32:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-11-07 13:36:49 +0100 | deadmarshal | (~deadmarsh@95.38.117.144) (Ping timeout: 256 seconds) |
| 2021-11-07 13:38:41 +0100 | wonko | (~wjc@user/wonko) |
| 2021-11-07 13:38:56 +0100 | Nolrai2 | (~Nolrai2@c-76-27-202-218.hsd1.or.comcast.net) |
| 2021-11-07 13:43:57 +0100 | deadmarshal | (~deadmarsh@95.38.117.144) |
| 2021-11-07 13:48:24 +0100 | EvanR | (~evan@2600:1700:ba69:10:f8b2:4afa:5a7f:3188) |
| 2021-11-07 13:48:31 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-11-07 13:52:59 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-11-07 13:53:06 +0100 | EvanR | (~evan@2600:1700:ba69:10:f8b2:4afa:5a7f:3188) (Ping timeout: 260 seconds) |
| 2021-11-07 13:54:07 +0100 | bjobjo | (~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 +0100 | bjobjo | (~bjobjo@user/bjobjo) |
| 2021-11-07 14:11:18 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-11-07 14:15:42 +0100 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 268 seconds) |
| 2021-11-07 14:17:05 +0100 | bjobjo | (~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 +0100 | deadmarshal_ | (~deadmarsh@95.38.113.241) |
| 2021-11-07 14:28:57 +0100 | deadmarshal | (~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 +0100 | dsrt^ | (~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 +0100 | lbseale | (~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 +0100 | wonko | (~wjc@user/wonko) (Ping timeout: 256 seconds) |
| 2021-11-07 14:48:40 +0100 | wonko | (~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 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 15:00:17 +0100 | lbseale | (~lbseale@user/ep1ctetus) (Quit: Leaving) |
| 2021-11-07 15:00:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 15:01:58 +0100 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 268 seconds) |
| 2021-11-07 15:02:57 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-11-07 15:02:58 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2021-11-07 15:08:10 +0100 | bjobjo | (~bjobjo@user/bjobjo) |
| 2021-11-07 15:11:19 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-11-07 15:11:19 +0100 | bjobjo | (~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 +0100 | bjobjo | (~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 +0100 | aleator | (~aleator@178-55-209-25.bb.dnainternet.fi) |
| 2021-11-07 15:22:17 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-11-07 15:26:09 +0100 | hendursa1 | (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-11-07 15:26:54 +0100 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-11-07 15:30:08 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-11-07 15:30:23 +0100 | aleator | (~aleator@178-55-209-25.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2021-11-07 15:32:11 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-11-07 15:32:59 +0100 | jpds1 | jpds |
| 2021-11-07 15:33:44 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 15:33:59 +0100 | kuribas | (~user@ptr-25vy0i9stc21zae4wv3.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-11-07 15:38:39 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2021-11-07 15:40:31 +0100 | f-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 +0100 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 268 seconds) |
| 2021-11-07 15:45:35 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-11-07 15:47:06 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2021-11-07 15:50:18 +0100 | deadmarshal_ | (~deadmarsh@95.38.113.241) (Ping timeout: 260 seconds) |
| 2021-11-07 15:52:32 +0100 | euandreh | (~euandreh@2804:14c:65c9:5161:4d0f:6b02:d329:b5d2) (Ping timeout: 268 seconds) |
| 2021-11-07 15:54:36 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) |
| 2021-11-07 15:54:36 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) (Changing host) |
| 2021-11-07 15:54:36 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-11-07 15:54:55 +0100 | max22- | (~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 +0100 | neurocyte0132889 | (~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 +0100 | sprout | (~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 +0100 | bjobjo | (~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 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) |
| 2021-11-07 16:01:01 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) (Changing host) |
| 2021-11-07 16:01:01 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-11-07 16:01:10 +0100 | sprout_ | (~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 +0100 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 245 seconds) |
| 2021-11-07 16:03:11 +0100 | bjobjo | (~bjobjo@user/bjobjo) |
| 2021-11-07 16:04:05 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Client Quit) |
| 2021-11-07 16:04:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-11-07 16:04:54 +0100 | EvanR | (~evan@2600:1700:ba69:10:8ec:144d:564b:ca12) |
| 2021-11-07 16:05:02 +0100 | EvanR | (~evan@2600:1700:ba69:10:8ec:144d:564b:ca12) (Changing host) |
| 2021-11-07 16:05:02 +0100 | EvanR | (~evan@user/evanr) |
| 2021-11-07 16:05:04 +0100 | be1m0nt | (~be1m0nt@pool-100-37-244-180.nycmny.fios.verizon.net) |
| 2021-11-07 16:05:27 +0100 | be1m0nt | (~be1m0nt@pool-100-37-244-180.nycmny.fios.verizon.net) () |
| 2021-11-07 16:05:39 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) |
| 2021-11-07 16:05:39 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) (Changing host) |
| 2021-11-07 16:05:39 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-11-07 16:10:18 +0100 | aeke | (~a@p200300ef973db1af4086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-11-07 16:10:41 +0100 | aeke | (~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 +0100 | justsomeguy | (~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 +0100 | CiaoSen | (~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-11-07 16:34:25 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 16:34:26 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 16:34:26 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 16:35:00 +0100 | carbolymer_ | 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 +0100 | timCF | (~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 +0100 | wroathe | (~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 +0100 | justUnited | justCity |
| 2021-11-07 16:48:20 +0100 | dsrt^ | (~dsrt@h50.174.139.63.static.ip.windstream.net) |
| 2021-11-07 16:49:27 +0100 | cosimone | (~user@93-47-231-203.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-11-07 16:50:08 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2021-11-07 16:51:38 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 16:51:38 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 16:51:38 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 16:52:50 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-11-07 16:54:10 +0100 | fendor_ | (~fendor@77.119.198.57.wireless.dyn.drei.com) |
| 2021-11-07 16:56:39 +0100 | fendor | (~fendor@178.165.196.101.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-11-07 16:58:43 +0100 | kadir | (~kadir@78.178.105.36) |
| 2021-11-07 16:58:50 +0100 | acidjnk | (~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-11-07 17:00:08 +0100 | mbuf | (~Shakthi@122.178.124.224) (Quit: Leaving) |
| 2021-11-07 17:00:35 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 17:03:04 +0100 | werneta | (~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 +0100 | merijn | (~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 +0100 | peutri_ | 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 +0100 | yauhsien | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2021-11-07 17:20:00 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-11-07 17:24:23 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 2021-11-07 17:24:28 +0100 | Nolrai2 | (~Nolrai2@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Client closed) |
| 2021-11-07 17:26:07 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-11-07 17:26:46 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2021-11-07 17:31:35 +0100 | srk_ | (~sorki@user/srk) |
| 2021-11-07 17:32:26 +0100 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2021-11-07 17:32:30 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-11-07 17:33:08 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 17:34:13 +0100 | srk_ | srk |
| 2021-11-07 17:34:52 +0100 | kadir | (~kadir@78.178.105.36) (WeeChat 3.3) |
| 2021-11-07 17:36:22 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 17:36:22 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 17:36:22 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 17:37:05 +0100 | fluffyballoon | (~user@131.93.208.196) |
| 2021-11-07 17:37:46 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-11-07 17:40:12 +0100 | sprout_ | (~quassel@2a02:a467:ccd6:1:e9:abf1:b887:13fa) |
| 2021-11-07 17:40:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 17:40:50 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-11-07 17:40:52 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) |
| 2021-11-07 17:40:53 +0100 | neurocyte0132889 | (~neurocyte@45.14.190.246) (Changing host) |
| 2021-11-07 17:40:53 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-11-07 17:41:13 +0100 | mei32 | (~mei@user/mei) |
| 2021-11-07 17:42:25 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-11-07 17:42:55 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:907f:6d38:50a3:cb6a) (Ping timeout: 268 seconds) |
| 2021-11-07 17:43:53 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2021-11-07 17:44:47 +0100 | mei3 | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2021-11-07 17:44:47 +0100 | mei32 | mei3 |
| 2021-11-07 17:45:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-11-07 17:45:10 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 17:51:32 +0100 | CiaoSen | (~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-11-07 17:57:50 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-11-07 17:58:26 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 17:58:30 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) |
| 2021-11-07 18:05:07 +0100 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 268 seconds) |
| 2021-11-07 18:05:19 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection) |
| 2021-11-07 18:06:28 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) |
| 2021-11-07 18:08:38 +0100 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2021-11-07 18:10:05 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-11-07 18:10:35 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds) |
| 2021-11-07 18:10:56 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) |
| 2021-11-07 18:15:54 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2021-11-07 18:21:59 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection) |
| 2021-11-07 18:22:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 18:22:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 18:22:21 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 18:22:36 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-11-07 18:23:02 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 18:23:10 +0100 | vysn | (~vysn@user/vysn) |
| 2021-11-07 18:24:21 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-11-07 18:26:10 +0100 | Vajb | (~Vajb@2001:999:66:281c:27a0:1549:39e5:8b1a) |
| 2021-11-07 18:26:42 +0100 | aeke | (~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 2021-11-07 18:28:07 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) |
| 2021-11-07 18:30:01 +0100 | kuribas | (~user@ptr-25vy0i98iduiysh23zp.18120a2.ip6.access.telenet.be) |
| 2021-11-07 18:30:01 +0100 | Vajb | (~Vajb@2001:999:66:281c:27a0:1549:39e5:8b1a) (Read error: Connection reset by peer) |
| 2021-11-07 18:30:10 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-11-07 18:31:13 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-11-07 18:33:05 +0100 | pfurla | (~pfurla@189.122.164.244) |
| 2021-11-07 18:33:16 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection) |
| 2021-11-07 18:36:22 +0100 | merijn | (~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 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-11-07 18:39:20 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2021-11-07 18:42:26 +0100 | pfurla | (~pfurla@189.122.164.244) (Quit: gone to sleep. ZZZzzz…) |
| 2021-11-07 18:44:42 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-11-07 18:45:39 +0100 | mark___ | (~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de) |
| 2021-11-07 18:45:54 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-11-07 18:47:01 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-11-07 18:48:36 +0100 | deadmarshal | (~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 +0100 | f-a | (f2a@f2a.jujube.ircnow.org) () |
| 2021-11-07 18:50:47 +0100 | Guest2727 | (~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 +0100 | aleator | (~aleator@37-136-225-173.rev.dnainternet.fi) |
| 2021-11-07 18:52:39 +0100 | thblt | (~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 +0100 | wroathe | (~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 +0100 | econo | (uid147250@user/econo) |
| 2021-11-07 18:59:26 +0100 | yauhsien | (~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 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 19:00:23 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 19:00:23 +0100 | wroathe | (~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 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-11-07 19:03:41 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2021-11-07 19:04:35 +0100 | aleator | (~aleator@37-136-225-173.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2021-11-07 19:05:29 +0100 | wroathe | (~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 +0100 | merijn | (~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 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 19:11:14 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 19:11:14 +0100 | wroathe | (~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 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 19:15:34 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-11-07 19:16:05 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2021-11-07 19:16:05 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2021-11-07 19:18:48 +0100 | khanred | (~khanred@user/khanred) |
| 2021-11-07 19:18:53 +0100 | khanred | (~khanred@user/khanred) () |
| 2021-11-07 19:18:59 +0100 | kuribas | (~user@ptr-25vy0i98iduiysh23zp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-11-07 19:19:30 +0100 | She | (~she@user/thedaemoness) |
| 2021-11-07 19:19:39 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2021-11-07 19:19:56 +0100 | pfurla | (~pfurla@189.122.164.244) |
| 2021-11-07 19:20:05 +0100 | pfurla | (~pfurla@189.122.164.244) (Client Quit) |
| 2021-11-07 19:20:33 +0100 | CiaoSen | (~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-11-07 19:20:44 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 244 seconds) |
| 2021-11-07 19:21:16 +0100 | pfurla | (~pfurla@189.122.164.244) |
| 2021-11-07 19:21:57 +0100 | whatsupdoc | (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 +0100 | beka | (~beka@104.193.170.240) |
| 2021-11-07 19:30:34 +0100 | mark___ | (~a@p200300ef973db1424086f0a6a24fc4dd.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 2021-11-07 19:30:54 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-11-07 19:31:55 +0100 | pfurla | (~pfurla@189.122.164.244) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-11-07 19:32:09 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2021-11-07 19:33:36 +0100 | yauhsien | (~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 +0100 | merijn | (~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 +0100 | slack1256 | (~slack1256@191.125.227.73) |
| 2021-11-07 19:39:19 +0100 | thblt | (~thblt@user/thblt) (i) |
| 2021-11-07 19:41:11 +0100 | yauhsien | (~yauhsien@118-167-41-229.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-11-07 19:41:33 +0100 | Guest41 | (~Guest41@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-11-07 19:41:46 +0100 | merijn | (~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 +0100 | EvanR | (~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 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-11-07 20:01:03 +0100 | Guest2727 | (~Guest27@2601:281:d480:2ce0::93bd) (Ping timeout: 256 seconds) |
| 2021-11-07 20:03:12 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-11-07 20:04:41 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-11-07 20:04:44 +0100 | deadmarshal | (~deadmarsh@95.38.113.241) (Ping timeout: 268 seconds) |
| 2021-11-07 20:07:36 +0100 | CiaoSen | (~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-11-07 20:12:46 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 2021-11-07 20:15:34 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-11-07 20:19:42 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2021-11-07 20:25:42 +0100 | xff0x | (~xff0x@port-92-193-130-240.dynamic.as20676.net) (Ping timeout: 268 seconds) |
| 2021-11-07 20:26:37 +0100 | Guest99 | (~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) |
| 2021-11-07 20:28:58 +0100 | Fusion_ | (~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 +0100 | slack1256 | (~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 +0100 | xff0x | (~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 +0100 | fluffyballoon | (~user@131.93.208.196) (Remote host closed the connection) |
| 2021-11-07 20:42:35 +0100 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-11-07 20:43:07 +0100 | hendursaga | (~weechat@user/hendursaga) |
| 2021-11-07 20:43:35 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 268 seconds) |
| 2021-11-07 20:45:16 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-11-07 20:45:42 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 2021-11-07 20:46:16 +0100 | max22- | (~maxime@2a01cb08833598005dc77d164ebe8446.ipv6.abo.wanadoo.fr) |
| 2021-11-07 20:46:38 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2021-11-07 20:47:53 +0100 | [Kalisto] | (~nico@user/kalisto/x-8968079) |
| 2021-11-07 20:53:01 +0100 | wonko | (~wjc@user/wonko) (Ping timeout: 245 seconds) |
| 2021-11-07 20:53:21 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-11-07 20:53:33 +0100 | mjacob | (~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 +0100 | xff0x | (~xff0x@2001:1a81:52ec:e600:16f0:b06d:ec81:fca7) (Ping timeout: 260 seconds) |
| 2021-11-07 21:00:11 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-11-07 21:00:35 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-11-07 21:05:18 +0100 | juhp | (~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 +0100 | zebrag | (~chris@user/zebrag) |
| 2021-11-07 21:07:33 +0100 | juhp | (~juhp@128.106.188.220) |
| 2021-11-07 21:09:48 +0100 | xff0x | (~xff0x@2001:1a81:52ec:e600:16f0:b06d:ec81:fca7) |
| 2021-11-07 21:11:35 +0100 | Fusion_ | (~Fusion@2a02-a44c-e6e5-1-5cf9-2256-6303-4118.fixed6.kpn.net) (Quit: Leaving) |
| 2021-11-07 21:12:00 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-11-07 21:12:00 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-11-07 21:12:00 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-11-07 21:13:39 +0100 | ec_ | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-11-07 21:19:16 +0100 | Guest99 | (~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-11-07 21:19:24 +0100 | deadmarshal | (~deadmarsh@95.38.113.241) |
| 2021-11-07 21:21:03 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-11-07 21:23:45 +0100 | deadmarshal | (~deadmarsh@95.38.113.241) (Ping timeout: 256 seconds) |
| 2021-11-07 21:26:17 +0100 | beka | (~beka@104.193.170.240) (Ping timeout: 244 seconds) |
| 2021-11-07 21:31:22 +0100 | Inst | (~Inst@2601:6c4:4080:3f80:40a:9f91:8f3e:4f02) (Remote host closed the connection) |
| 2021-11-07 21:31:46 +0100 | Inst | (~Inst@2601:6c4:4080:3f80:f571:277c:e0b0:82b9) |
| 2021-11-07 21:31:49 +0100 | jassob | (~jassob@h-98-128-167-112.NA.cust.bahnhof.se) |
| 2021-11-07 21:35:51 +0100 | glguy | (x@libera/staff/glguy) (Quit: Quit) |
| 2021-11-07 21:36:06 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-11-07 21:36:24 +0100 | glguy | (x@libera/staff/glguy) |
| 2021-11-07 21:36:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-11-07 21:39:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-11-07 21:41:24 +0100 | acidjnk | (~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) |
| 2021-11-07 21:42:15 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 2021-11-07 21:44:54 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-11-07 21:46:38 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-11-07 21:47:11 +0100 | sprout_ | (~quassel@2a02:a467:ccd6:1:e9:abf1:b887:13fa) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-11-07 21:47:32 +0100 | sprout | (~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 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:25bd:a66c:dc78:d416) (Remote host closed the connection) |
| 2021-11-07 21:51:25 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:c9ce:7077:ec0c:a794) |
| 2021-11-07 21:54:05 +0100 | brettgilio | (~brettgili@x-node.gq) (Quit: Leaving...) |
| 2021-11-07 21:56:16 +0100 | acidjnk_new | (~acidjnk@p200300d0c7404a39d4d6bc989f421ded.dip0.t-ipconnect.de) |
| 2021-11-07 21:56:36 +0100 | eggplantade | (~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 +0100 | brettgilio | (~brettgili@x-node.gq) |
| 2021-11-07 22:00:03 +0100 | acidjnk | (~acidjnk@p200300d0c72635825cb0fefbc648f0e4.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-11-07 22:06:12 +0100 | xsebek | (~xsebek@176.74.150.21) |
| 2021-11-07 22:08:36 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
| 2021-11-07 22:08:46 +0100 | jassob | (~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 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 2021-11-07 22:11:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-11-07 22:12:16 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 244 seconds) |
| 2021-11-07 22:14:51 +0100 | mei3 | (~mei@user/mei) (Ping timeout: 244 seconds) |
| 2021-11-07 22:16:09 +0100 | hendursaga | (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-11-07 22:16:14 +0100 | hendursaga | (~weechat@user/hendursaga) |
| 2021-11-07 22:21:24 +0100 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-11-07 22:21:24 +0100 | Guest278 | (~Guest27@2601:281:d480:2ce0::93bd) |
| 2021-11-07 22:22:53 +0100 | cjb | (~cjbayliss@user/cjb) |
| 2021-11-07 22:23:49 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2021-11-07 22:28:04 +0100 | cjb | (~cjbayliss@user/cjb) () |
| 2021-11-07 22:29:10 +0100 | Pickchea | (~private@user/pickchea) |
| 2021-11-07 22:29:30 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-11-07 22:30:33 +0100 | xlei | (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-11-07 22:30:51 +0100 | EvanR | (~evan@2600:1700:ba69:10:7dba:d155:3b0e:7b4c) |
| 2021-11-07 22:31:03 +0100 | cjb | (~cjbayliss@user/cjb) |
| 2021-11-07 22:31:15 +0100 | EvanR | (~evan@2600:1700:ba69:10:7dba:d155:3b0e:7b4c) (Changing host) |
| 2021-11-07 22:31:15 +0100 | EvanR | (~evan@user/evanr) |
| 2021-11-07 22:31:20 +0100 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-11-07 22:31:21 +0100 | pavonia | (~user@user/siracusa) |
| 2021-11-07 22:31:39 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-11-07 22:31:53 +0100 | fendor_ | (~fendor@77.119.198.57.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-11-07 22:33:58 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-11-07 22:37:46 +0100 | kupi | (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 +0100 | zebrag | (~chris@user/zebrag) |
| 2021-11-07 22:46:12 +0100 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-11-07 22:50:15 +0100 | zebrag | (~chris@user/zebrag) |
| 2021-11-07 22:52:53 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-11-07 22:53:57 +0100 | Guest99 | (~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) |
| 2021-11-07 22:57:41 +0100 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-11-07 23:00:05 +0100 | emf | (~emf@163.114.132.5) (Ping timeout: 256 seconds) |
| 2021-11-07 23:00:50 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal) |
| 2021-11-07 23:01:46 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-11-07 23:01:55 +0100 | burnsidesLlama | (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-11-07 23:02:14 +0100 | emf | (~emf@2620:10d:c090:400::5:d546) |
| 2021-11-07 23:05:14 +0100 | zebrag | (~chris@user/zebrag) |
| 2021-11-07 23:07:33 +0100 | yauhsien | (~yauhsien@61-231-16-137.dynamic-ip.hinet.net) |
| 2021-11-07 23:07:35 +0100 | burnsidesLlama | (~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 +0100 | yauhsien | (~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 +0100 | yauhsien | (~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 +0100 | yauhsien | (~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 +0100 | jassob | (~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 +0100 | Guest99 | (~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) (Quit: Client closed) |
| 2021-11-07 23:32:17 +0100 | Guest99 | (~Guest99@pool-100-8-45-127.nwrknj.fios.verizon.net) |
| 2021-11-07 23:34:11 +0100 | justsomeguy | (~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 +0100 | max22- | (~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 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-11-07 23:37:06 +0100 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-102-17.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-11-07 23:37:27 +0100 | pieguy128 | (~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 +0100 | gehmehgeh | (~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 +0100 | johnny_sitar | (~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 260 seconds) |
| 2021-11-07 23:45:16 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2021-11-07 23:46:28 +0100 | lagash | (lagash@lagash.freeirc.org) |
| 2021-11-07 23:47:05 +0100 | timCF | (~timCF@m91-129-97-132.cust.tele2.ee) (Quit: leaving) |
| 2021-11-07 23:49:12 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 2021-11-07 23:52:07 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-11-07 23:53:31 +0100 | geekosaur | (~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 +0100 | xsebek | (~xsebek@176.74.150.21) (Ping timeout: 260 seconds) |
| 2021-11-07 23:59:30 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3) |