idontgetoutmuch

I used to version the documentation for a big project with the git commit hash. Maybe we can add a tag (a good idea anyway) with the release version and...

I have experimented with https://research-information.bris.ac.uk/ws/portalfiles/portal/262220394/2012.14881v1.pdf So here is algorithm 1 https://github.com/tweag/monad-bayes/blob/Generalising-the-sampler/src/Control/Monad/Bayes/Traced/Common.hs#L126 I modified it slightly https://github.com/tweag/monad-bayes/blob/Generalising-the-sampler/src/Control/Monad/Bayes/Traced/Common.hs#L137 Here's the function sampling from the conditional distribution https://github.com/tweag/monad-bayes/blob/Generalising-the-sampler/src/Control/Monad/Bayes/Traced/Common.hs#L150 And here's the density of...

Do we need `statistics`? Would `mwc-random` be enough? I am sure @Shimuuar would accept a PR to generalise the types e.g. here https://hackage.haskell.org/package/mwc-random-0.15.0.2/docs/System-Random-MWC-Distributions.html provided we didn't affect performance. BTW we...

> `mwc-random` also pins the implementations of the distributions to `Double`. I understand but I think the maintainer would be sympathetic to generalising it provided we did not impact performance.

I also tried to do this but without type families but have so far not succeeded. Here's a gist containing everything necessary in one file: https://github.com/tweag/monad-bayes/blob/Generalising-the-sampler/test/gist.hs. I did also try...

@Gabriel439 I am now wondering what the best way of commenting on this tutorial is. Any ideas?

@PierreR then it should say so but I disagree as I think with a little bit of effort this could go from being a good tutorial to being a great...

@PierreR Here's a start: https://github.com/Gabriel439/haskell-nix/pull/39/files

I too have this problem. I will try the manual instructions you have given. I am following the instructions here: https://github.com/lean-dojo/LeanCopilot and have updated my lakefile.lean to be ``` import...

> The entire repo, you can directly `git clone`. Which repo? I am looking here: https://huggingface.co/kaiyuy but ``` git clone https://huggingface.co/kaiyuy Cloning into 'kaiyuy'... Username for 'https://huggingface.co': ``` I don't...