Viewing profile — bmc7505

Cool to think this demo would have been possible over fifty years ago. I wonder what someone from 1975 would have said if you had shown this to them back then.

This topic recently came up at the FLANN workshop [1], and seems to periodically be rediscovered [2,3,4] in different contexts. While some have speculated about the biological role…

I've recently been using this plugin [1], which is still under development but is an adequate stopgap until a better solution comes along. [1]: https://plugins.jetbrains.com/plugin…

As foretold six years ago. [1] [1]: https://breandan.net/2020/06/30/graph-computation#roadmap

Fast matrix multiplication would be a more useful benchmark: https://fmm.univ-lille.fr/

17k TPS is slow compared to other probabilistic models. It was possible to hit ~10-20 million TPS decades ago with n-gram and PDFA models, without custom silicon. A more informativ…

There are a few approaches if you want to write a new language. One, as the author argues, is to write a library in an existing language, which may require sacrificing ergonomics t…

Interesting. I wonder if mqjs would make it feasible to massively parallelize JavaScript on the GPU. I’m looking for a way to run thousands of simultaneous JS interpreters, each wi…

You could argue that since automatic differentiation and symbolic differentiation are equivalent, [1] symbolic AI did succeed by becoming massively parallelizable, we just needed t…

> The solvers participating in this track will be executed with a wall-clock time limit of 1000 seconds. Each solver will be run an a single AWS machine of the type m6i.16xlarge, w…

The difference is that SAT/SMT solvers have primarily relied on single-threaded algorithmic improvements [1] and unlike neural networks, we have not [yet] discovered a uniformly ef…

The correct way to do this is with finite model theory but we're not there yet.

Gingsberg stole it from Yeats — “the best lack all conviction…” / “the best minds of my generation…” — many similar verses, e.g., “what rough beast…” / “what sphinx of cement…” htt…

https://cstheory.stackexchange.com/questions/632/what-is-the...

Called it three years ago: https://news.ycombinator.com/item?id=30142353

https://dl.acm.org/doi/10.1145/3704837

Depending on how comfortable you are with model theory you might also enjoy Dzhafarov and Mummert’s textbook, which first brought the subject to my attention.