formalsystem

33 ms·

301.
by formalsystem 8y ago
Thank you for posting this. Question to OP, how do the results compare to the current state of the art and what were the benchmarks used?
302.
by formalsystem 8y ago
Any thoughts from the Dota team on how drafting heroes will work by the time we get to TI? Am also curious if you've seen more experimental drafts in early results that aren't as popular in the pro scene.
303.
by formalsystem 8y ago
Depends on how much you trust your brother. But voice authentication, in general, can't be secure since your voice can be emulated to say arbitrary things given a long enough string on your part.
304.
by formalsystem 8y ago
Hey James, since you seem to know a lot about graphics and ML. Am wondering which specific problems remain open before what I mentioned becomes more feasible product wise?
305.
by formalsystem 8y ago
If any of the authors are on this thread, am wondering if there are any to plans to release source code this? This can potentially make generating environments for games or VR trivial by just taking photos IRL and then importing them into s
306.
by formalsystem 8y ago
Oh man you're missing out on the massive amounts of board games published in recent years. I would go to http://boardgamegeek.com/ to find a community of fellow board game enthusiasts
307.
by formalsystem 9y ago
Neural net layers should have been statically typed ages ago, as anyone who has struggled with mismatching array sizes in Python already knows. I'm really looking forward to a superior dev experience with writing ML code once great aut
308.
by formalsystem 9y ago
Is 1 really that big of a mistake? I understand that it's a mistake to build a fully functional game engine to then use in production but building just enough to better grok the internals seems like invaluable information to me
309.
by formalsystem 9y ago
I actually enjoyed reading this today. One highlight was the below on "reading the news every morning" " The idea of devoting to them thirty or forty consecutive minutes of wonderful solitude (for nowhere can one more perfect
310.
by formalsystem 9y ago
Wow can't appreciate this enough. You put this together really quickly!
311.
Andrew Gelman's statistics blog(andrewgelman.com)
2 points by formalsystem 9y ago|0 comments
312.
by formalsystem 11y ago
I really like wunderlist, put items in, sort them by rank, go through them one by one and tick them off when you're done. Also it can sync with your phone which is pretty nice
313.
Email notification when any update is made to your Canadian citizenship file(github.com)
2 points by formalsystem 11y ago|0 comments
314.
Microsoft's open source C# binding for Apache Spark(github.com)
6 points by formalsystem 11y ago|0 comments
315.
Gold Mine or Blind Alley? Functional Programming for Big Data and Machine Learning(kdnuggets.com)
4 points by formalsystem 12y ago|0 comments
316.
Color Theory and the Theory of Computation(marksaroufim.com)
4 points by formalsystem 12y ago|0 comments
317.
by formalsystem 12y ago
Neat article! But one point: Turing machines aren't exactly what modern computers are based on so that's why you won't see many attempts at solving problems using Turing Machines. Computers are based on the RAM model of compu
318.
by formalsystem 12y ago
Would you expect to see a for loop in a mathematical equation? You're correct in noticing that a lot of the reasons why you'd use a for loop are taken care of with basic functions such as map (to perform some action on different e
319.
by formalsystem 12y ago
He probably played it differently from most people though http://quant.stackexchange.com/questions/4201/strategies-for...
320.
by formalsystem 12y ago
He wasn't serious but he would have been interested in a quick answer. I didn't get it cause I couldn't think of a quick way to know what a reasonable upper bound for the serial number is (I believe they're printed seque
321.
by formalsystem 12y ago
I TA'd for Graham's Discrete math class at UCSD. He's still quite the character! His last lecture he juggled a handful of chalks in class and brought his deck of cards to do magic tricks. He once made me pull out a 1$ bill f