Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
foxes
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
90 ms
·
421.
▲
by
foxes
8y ago
>The launcher makes an encrypted local copy of your localconfig.vdf Steam file. This should not be done preemptively.
422.
▲
by
foxes
8y ago
Why sqrt(2) \pi^4?
423.
▲
by
foxes
8y ago
Google (and others) should support hashing/obfuscation the unique part, for example john@gmail.com -> (some unique symbol to denote hash, say +)(hash)@gmail.com It wouldn't be complicated for them to implement, and give everyon
424.
▲
Can entangled qubits be used to probe black holes?
(phys.org)
4 points
by
foxes
8y ago
|
1 comments
425.
▲
by
foxes
8y ago
>trashification of printed material Surprisingly for them, the opposite happened, computers were trashified.
426.
▲
by
foxes
8y ago
To an extent I disagree. Yes, drawing diagrams can be useful, but simply solving lots of problems is honestly the best way to learn maths. I also much prefer reading from a physical book. Im not sure simple animations will improve things ma
427.
▲
by
foxes
8y ago
What native apps are you running have advertising built in? That sounds horrifying.
428.
▲
by
foxes
8y ago
ublock origin reports 13 blocked requests on the very same page. This includes requests to facebook and google for tracking.
429.
▲
by
foxes
8y ago
Aren't most popular ml libraries declarative, e.g. keras, you aren't exactly specifying how to transform the state (for example all the specific matrix multiplication is hidden), rather you are declaring the logic of the computati
430.
▲
by
foxes
8y ago
On the contrary I don't have a problem with the syntax at all. You can almost treat it like a symbolic functional language. All the usual functional programming constructs are there like map/fold/lambdas (mathematica calls th
431.
▲
by
foxes
8y ago
Mathologer has a nice video explaining how to solve a cube, and they are really using group theory :), https://youtu.be/-NL76uQOpI0 . The key take away is that all you need to do is find a few basic operations (swapping an e
432.
▲
by
foxes
8y ago
This isn't a proof.
433.
▲
by
foxes
8y ago
I feel like it is a very "physics" motivated approach to at least "investigating" this theorem. Calculating probabilities is a line of thinking Feynman would be familiar with (quantum mechanics). Physics is often respons
434.
▲
by
foxes
8y ago
This is a good idea. I think it should be mandatory to publish your code, dataset (or at least a sample of the verification data), and then the trained model weights if you are publishing a neural network "application" paper. It&#
435.
▲
by
foxes
8y ago
I can understand the argument, but what other methods do we have to test particle physics other than building larger and more powerful colliders? Are there some new designs that would make it cheaper? Otherwise I don't mind spending mo
436.
▲
by
foxes
8y ago
Why can't a free open source book be equivalent to or better than a more traditional book? First of all the release cycle of the free book should be much faster. Edits and alterations can be incorporated much more rapidly. Giving publ
437.
▲
by
foxes
8y ago
Why are people such fans of Ddg and not searx.me? searx is entirely open source and you can run your own instance. Ddg reportedly does collect some information (?), and their core is closed source.
438.
▲
by
foxes
8y ago
If you aren't already aware, 3b1b made a super cool library [0] to help make the animations in their videos. [0] github.com/3b1b/manim
439.
▲
by
foxes
8y ago
Continuous growth is not possible on a finite planet.
440.
▲
by
foxes
8y ago
You are not guaranteed to find optimal solutions (although you might find local minima) For constrained optimisation ideally you should be using Lagrange multipliers. But even then there are `abnormal` cases where the Lagrange multiplier fa
441.
▲
by
foxes
8y ago
That seems naive at best. How can you even judge what is effective with out some sort of metric? Seems like it would lead to alot of wasted effort. As an aside,usually the tools and techniques used to solve a well defined problem become pre
442.
▲
by
foxes
8y ago
For something a bit different calculate the gcd (although doing Euclid's algorithm is more expensive?). https://haskell.godbolt.org/z/m7IY8U .
443.
▲
by
foxes
8y ago
To be specific r1,r2,r3 are roots of a+bu+cu^2+u^3, Cleaning up the output a bit, you get (2 (b c EllipticF[ArcSin[Sqrt[(-u+r3)/(-r2+r3)]],(r2-r3)/(r1-r3)] (u-r2) (u-r3) Sqrt[(-u+r1)/(r1-r3)]-9 a d EllipticF[ArcSin[Sqrt[(-u+r
444.
▲
by
foxes
8y ago
Integrate[Sqrt[a + b u + c u^2 + d u^3], u] Produces a huge expression which is a sum of EllipticF[ArcSin[#]] terms. I think it would be better to try and numerically compute the integral.
445.
▲
by
foxes
8y ago
Why don't people push Microsoft to open source Edge?
446.
▲
by
foxes
8y ago
So this has become a problem in optimal control, and we have to boundary conditions (input/output data)? Specifically, find a control function (so the weights of the activation function) which maps the system to your desired output? Th
447.
▲
by
foxes
8y ago
Leapfrog is also conservative - it's a symplectic integrator. It's also stable for oscillations for a sufficiently small time step. However I think it requires a constant step size, its not adaptive.
448.
▲
by
foxes
8y ago
But now we are allowed continuously many sides..
449.
▲
by
foxes
8y ago
Anyone can post on arxiv. Quantum computation is reversible in terms of applying unitary gates to qubits. However doing IO - breaking entangled states, or interacting with the outside world, is not reversible in a practical sense.
450.
▲
by
foxes
8y ago
i^i is actually multi valued - it depends on which branch of log(z) you choose. The rotation analogy is still correct.
More ›