Alexey Radul
Alexey Radul
I tried to define a function specialized to a flat array with an anonymous (unknown) size, like so: ``` def fin_mean (xs: (Fin _)=>Float) : Float = mean xs ```...
The trick is that the footnote definition is separated from the text that refers to it by a blank, which the Dex notebook treats as a block boundary and ends...
For example, one might type ``` my_name = some_irritatingly_named_prelude_function ``` or ``` my_name = flip something_with_bad_argument_order ``` etc. Status quo is that, if either of the right-hand sides is polymorphic,...
Reproduction ``` def foo (a: Float) (b: Float) : Float = (b, z) = if (a < b) then (True, a * b) else (False, a * 2) if b...
I anticipate this turning into a performance bottleneck sooner rather than later (though the engine cache does help). Adding a `include_dataset` argument to `State.to_metadata` (and appropriate follow-on changes) should essentially...
There is a generic way to sample exactly from the local posterior of a 1-D continuous-valued variable. To wit: - Numerically integrate said local posterior from -inf to +inf to...
When testing Mite, Anthony wrote this nice abstraction: ``` from nose.tools import make_decorator def gen_for_each(items): def wrap(f): @make_decorator(f) def wrapped(): for item in items: yield f, item return wrapped return...
Why is this support there? History. Don't ask. Process: hardcode the persistent_inference_trace option of creating a RIPL to True, and then eliminate all the code that this now kills.
There are integration tests that amount to testing that they do not crash on startup: run them under "timeout" and check that they indeed time out. Subproblems: - Don't want...
Does Venture's CRP exhibit https://github.com/probcomp/metaprob/issues/27, otherwise known as the table-skipping problem? We should at any rate add a test case that checks for it under single-site mh and gibbs.