ampdepolymerase

13 ms·

721.
by ampdepolymerase 7y ago
Not to mention the entire T-series of virii.
722.
by ampdepolymerase 7y ago
To clarify, does that mean you can continuously train a model for e.g. hundred of hours or are you still limited by the 24 hours notebook limit?
723.
by ampdepolymerase 7y ago
In theory Flutter allows you to do that. (With the caveat that you have to write a ton of custom code due to the lack of libraries).
724.
by ampdepolymerase 7y ago
Pay math majors to manually (or with software assistance to help maintain rigor) prove the correctness of open source software Infosys-style. Get paid by enterprise customers. You don't need math majors per se just people with some mat
725.
by ampdepolymerase 7y ago
For those who are interested, Petri nets have a lot of applications in CS, for example, spiking neural networks.
726.
by ampdepolymerase 7y ago
Isn't this the same technology as Focals by North?
727.
by ampdepolymerase 7y ago
Given enough time the industry would accumulate institutional knowledge that creates a massive moat. The knowledge and experience is siloed up. Better have boring academia where everyone benefits than to continue feeding corporate titans.
728.
by ampdepolymerase 7y ago
And that is basic research. It may be dry, boring, and tedious but somebody has to do the legwork. Throwing machine learning at it won't change things much either. Applied ML has a last mile problem - eventually you still need somebody
729.
by ampdepolymerase 7y ago
And luck too can be bought. With enough capital you can afford to play the game again and again.
730.
by ampdepolymerase 7y ago
The issue is that the structures to handle streaming are not often first class (in languages other than Go, Rust, and JavaScript). And when they are, the the third party interfaces are not. Eventually your data will have to reach the DB and
731.
by ampdepolymerase 7y ago
Are SMT solvers insufficient?
732.
by ampdepolymerase 7y ago
The secret solution is called Z3.
733.
by ampdepolymerase 7y ago
A more precise but more expensive method would be to use phase array mics with license plate recognition cameras and just create a nominal fine.
734.
by ampdepolymerase 7y ago
Another issue is the obsession with regulating implementation, there really should not be any other terms to follow beyond power and general FCC interference guidelines. The stuff on encryption is obsolete and puts up unnecessary barriers i
735.
by ampdepolymerase 7y ago
Are they not law enforcement?
736.
by ampdepolymerase 7y ago
This is like a modern day Access right?
737.
by ampdepolymerase 7y ago
The expensive bits are mainly the arms. Strictly speaking there is nothing stopping you from running it on one of those sub-hundred bots from AliExpress.