SolarNet

45 ms·

631.
by SolarNet 10y ago
Except it's inverted. Shadowrun is cyberpunk with orcs and elves. This is orcs and elves with cyberpunk.
632.
by SolarNet 10y ago
I find your usage of the word static ambiguous. Also Julia is more static than you might expect, and besides it's still a compiled language, it just has a `dynamic` type (ala C# for example) as it's default type. It seems dynami
633.
by SolarNet 10y ago
Are you rendering natively or through ANGLE? OpenGL or DirectX? Which kind of NaNs?
634.
by SolarNet 10y ago
> Rather curiously, it turns "airplanes" into "knives". I do not understand why this happens. I thought it was pretty obvious. The atoms are complected (defined - by Rich Hickey of Clojure - as, basically, a semantic
635.
by SolarNet 10y ago
The diff is 6 lines (2 lines of code) and the source is there, you can fork it. Which is more than can be said for Intel (intentionally crippling icc on non-intel chips), Microsoft (UEFI), Apple (their entire OS), or most other companies pr
636.
by SolarNet 10y ago
I mean just about every thing was AI at one point; program synthesis was seen as AI (like in the 70s) right up until it wasn't after we effectively encoded it into programming languages. For example lisp it self was effectively AI rese
637.
by SolarNet 10y ago
There is a bigger problem, as well. Tracking, the glasses will need to use a lot of the GPU (and CPU) processing power for simply tracking the environment. So they don't have backgrounds, that doesn't account for much anyway, like
638.
by SolarNet 10y ago
Also, they use the same materials engineering from SpaceX designed for collisions in space. One of the reason their safety rating was so high.
639.
by SolarNet 10y ago
I think you mean testing for basic security best practices. Testing for vulnerabilities is the hard part, but having good practices is easier to test (e.g. is it a vulnerability or a feature it can't reset?).
640.
by SolarNet 10y ago
I also like how the only sci-fi conceit the book asks for (besides the antagonist aliens obviously) are the engines which are right on the edge of the theoretical maximum.
641.
by SolarNet 10y ago
I mean authors have been using that idea for years. The Red Mars trilogy for example (which was an at the time scientifically accurate example of mars colonization).
642.
by SolarNet 10y ago
I wouldn't be surprised if that was part of the choice in the name.
643.
by SolarNet 10y ago
Not directly, as other posters have said. However there are certainly important problem solving skills that you learn from playing Zachtronic games (like this one). It's not a straight up educational game (like those poorly disguised k
644.
by SolarNet 10y ago
But imagine if all of your doodle and multi-tasking can be virtual. The promise of VR is you can video conference, multi-task, and doodle with many virtual apps all at once. Or with other people. Of course the problem with that is that pape
645.
by SolarNet 10y ago
Yea that was an idea I got out of this that I think will take to heart, at the very least teams should have a couple of women in them, even if it might make one team all men (the 15% women in tech number is really annoying; the better solut
646.
by SolarNet 10y ago
I have an answer for the author. "How is this happening?" The left failed to have a backbone, failed to be as politically brutal as their opponents, their opponents who were being effective at getting their stated agenda in place.
647.
by SolarNet 10y ago
I've always thought of Biology as the largest reverse engineering project ever.
648.
by SolarNet 10y ago
I didn't mean it like that. I meant it like "you missed this parallel with the post in question" not "you missed this concept entirely". So back at ya with the mind reading.
649.
by SolarNet 10y ago
Here [0] is a concrete example of using a formal verification system ontop of C (and the blog contains many other examples) along with an excellent dialog around the example. First a caveat, this formal verification system is rather simple,
650.
by SolarNet 10y ago
You missed the even deeper point of Ghost in the Shell: The standalone complex. The original commentator described a standalone complex. Copy cats without an original.
651.
by SolarNet 10y ago
Formal verification is a bit like using a super high level strict/static/safe programming language (often in conjunction with a classic programming language providing the actual run-time description which is being formally checked
652.
by SolarNet 10y ago
Oh yea that's right, I forgot President Bush was a Democrat, silly me. Get real, both parties are at fault.
653.
by SolarNet 10y ago
It's based off of an earlier paragraph about her trading business suits for hoodies. It's self referential to a running metaphor.
654.
by SolarNet 10y ago
I think the purpose of this is to predict proofs ahead of time. Which could be useful in the management of people. As they say in the intro, given a group of specialists, this algorithm can guess, on a daily basis, which of the things they
655.
by SolarNet 10y ago
I think the google comparison is fair, but I feel like Wolfram (and let's be clear, this piece is basically a giant ad) is like an order of magnitude ahead in the search engine aspects, if the sub-field is not-web-page datasets.
656.
by SolarNet 10y ago
Well that sense would be wrong. Since this is charity. Also it seems like the problem is assuming strings are attached, so more like survival instinct.
657.
by SolarNet 10y ago
No the other option is to pick a good option. Rather than accepting corruption and cronyism.
658.
by SolarNet 10y ago
And this is the problem with choosing lesser evils.
659.
by SolarNet 10y ago
They are working on that too, albeit much slower, but they recently started opening up all the historical archives from previously censored eras.
660.
by SolarNet 10y ago
I think the point of short selling is an activist way of saying "Have a fair price or see your stock price plummet when we do it the other way."

More ›