I'm sorry, but what exactly is the problem with the code? I've been staring at it for quite a while now and still don't see what is counterintuitive about it.
Take enough moments and you'll be able to differentiate any distributions.
I think you vastly overestimate the capacity of Python typing.
Typing still sucks big time. Same for perf, unless you are working with numerics that fit with something like NumPy or JAX.
No, it's generally not valid -- it will depend on the specifics of the test (especially if the test is valid only asymptotically). You need some method that supports sequential inference. Nowadays your best bet is…
Hard disagree. There are a lot of implementation "details" that, if you want to do properly, are a lot of hard work and very much nontrivial. For example, do try to write a compiler with efficient incremental…
I've never seen this done in a research setting. Not sure about how much of a standard practice it is.
It has `catch_unwind` [1], but that still retains the panicking runtime, so not sufficient in the context of the post. [1] https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
Yeah, I'm fairly sure that there is such a flag/toplevel attribute... and if there isn't, there should be one. It also feels like most of the pains on avoiding panics centers around allocations which, though a bit…
Can we please rename this submission? This is excessively grandiose, way over the top......
If I'm not mistaken, the treatment of forward declarations proposed in the article actually breaks the C standard, which would be a rather pressing concern. As far as I am aware, that is the reason why things are the…
If thresholding of P-values is the issue, E-values -- a recent, much more elegant, easier to work with, and more robust alternative to P-values -- solve this. https://arxiv.org/abs/2312.08040…
I've used Quiver a number of times now, and all of them were great experiences. Kudos to the authors!
(Side note) That's odd, lobste.rs seems to be down for me, and has been like that for a couple of months now -- I literally cannot reach the site. Is that actually just me?? EDIT: just tried some things, very weird…
Well, yes, but that's an extremely low bar!!
I find it odd that all of the mathematicians cited at the end are actually pretty much CS people, working on proof assistants. Kinda renders that section pointless, IMO (though the comment by Isabelle's author was…
Theory-wise, I'm not convinced that the models have good approximation properties (the Kolmogorov-Arnold / Kolmogorov Superposition Theorem they base themselves on has quite a bit of nuance), and the optimization…
Ah, Kolmogorov Arnold Networks. Perhaps the only model I have ever tried that managed to fairly often get AUCs below 0.5 in my tabular ML benchmarks. It even managed to get a frankly disturbing 0.33, where pretty much…
Yeah, I know the account you are talking about, it really is a bit over the top. It's a shame, I've met a bunch of people who mentioned that they were actually turned away from Conformal Prediction due to them. > But…
That's a particular form of Conformal Prediction, called Split Conformal Prediction. Incidentally, it's also one of the best ones (i.e., most extensible, strongest guarantees, easiest to implement, remarkably…
Bayesian Neural Networks just seem like a failed approach, unfortunately. For one, Bayesian inference and UQ fundamentally depends on the choice of the prior, but this is rarely discussed in the Bayesian NN literature…
And the potential outcomes framework (Neyman-Rubin) is even more general :) Either way, Holland's 'Statistics and Causal Inference' paper (1986) is a nice read on the different frameworks for causality, especially in…
> All know 20 year old latex documents will be compilable in 20 years. Except it's not. For example, in 2021, the NeurIPS template compiled differently in different versions of TeXLive…
Because a library in a programming language would be madly inconvenient? I can't see something like this being pleasant to use: document( paragraph("blah blah blah"), math("sum_(i=1)^n i = (n (n+1))/2"), paragraph("foo…
I'm sorry, but what exactly is the problem with the code? I've been staring at it for quite a while now and still don't see what is counterintuitive about it.
Take enough moments and you'll be able to differentiate any distributions.
I think you vastly overestimate the capacity of Python typing.
Typing still sucks big time. Same for perf, unless you are working with numerics that fit with something like NumPy or JAX.
No, it's generally not valid -- it will depend on the specifics of the test (especially if the test is valid only asymptotically). You need some method that supports sequential inference. Nowadays your best bet is…
Hard disagree. There are a lot of implementation "details" that, if you want to do properly, are a lot of hard work and very much nontrivial. For example, do try to write a compiler with efficient incremental…
I've never seen this done in a research setting. Not sure about how much of a standard practice it is.
It has `catch_unwind` [1], but that still retains the panicking runtime, so not sufficient in the context of the post. [1] https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
Yeah, I'm fairly sure that there is such a flag/toplevel attribute... and if there isn't, there should be one. It also feels like most of the pains on avoiding panics centers around allocations which, though a bit…
Can we please rename this submission? This is excessively grandiose, way over the top......
If I'm not mistaken, the treatment of forward declarations proposed in the article actually breaks the C standard, which would be a rather pressing concern. As far as I am aware, that is the reason why things are the…
If thresholding of P-values is the issue, E-values -- a recent, much more elegant, easier to work with, and more robust alternative to P-values -- solve this. https://arxiv.org/abs/2312.08040…
I've used Quiver a number of times now, and all of them were great experiences. Kudos to the authors!
(Side note) That's odd, lobste.rs seems to be down for me, and has been like that for a couple of months now -- I literally cannot reach the site. Is that actually just me?? EDIT: just tried some things, very weird…
Well, yes, but that's an extremely low bar!!
I find it odd that all of the mathematicians cited at the end are actually pretty much CS people, working on proof assistants. Kinda renders that section pointless, IMO (though the comment by Isabelle's author was…
Theory-wise, I'm not convinced that the models have good approximation properties (the Kolmogorov-Arnold / Kolmogorov Superposition Theorem they base themselves on has quite a bit of nuance), and the optimization…
Ah, Kolmogorov Arnold Networks. Perhaps the only model I have ever tried that managed to fairly often get AUCs below 0.5 in my tabular ML benchmarks. It even managed to get a frankly disturbing 0.33, where pretty much…
Yeah, I know the account you are talking about, it really is a bit over the top. It's a shame, I've met a bunch of people who mentioned that they were actually turned away from Conformal Prediction due to them. > But…
That's a particular form of Conformal Prediction, called Split Conformal Prediction. Incidentally, it's also one of the best ones (i.e., most extensible, strongest guarantees, easiest to implement, remarkably…
Bayesian Neural Networks just seem like a failed approach, unfortunately. For one, Bayesian inference and UQ fundamentally depends on the choice of the prior, but this is rarely discussed in the Bayesian NN literature…
And the potential outcomes framework (Neyman-Rubin) is even more general :) Either way, Holland's 'Statistics and Causal Inference' paper (1986) is a nice read on the different frameworks for causality, especially in…
> All know 20 year old latex documents will be compilable in 20 years. Except it's not. For example, in 2021, the NeurIPS template compiled differently in different versions of TeXLive…
Because a library in a programming language would be madly inconvenient? I can't see something like this being pleasant to use: document( paragraph("blah blah blah"), math("sum_(i=1)^n i = (n (n+1))/2"), paragraph("foo…