Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
murbard2
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
28 ms
·
211.
▲
by
murbard2
10y ago
The focus on "totality" undersells one key advantage of the restrictions in this language. You gain the ability to easily prove general properties about your program. This is not a consequence of totality. There are total progra
212.
▲
Smart-contracts: Turing completeness and reality
(medium.com)
2 points
by
murbard2
10y ago
|
0 comments
213.
▲
by
murbard2
10y ago
Even if it doesn't protect yourself against some transistor level NSA backdoor, that doesn't mean it can't thwart other attackers who would usually take advantage of physical access.
214.
▲
by
murbard2
10y ago
I love your work on #2, it's a really interesting avenue, but I wonder if both approaches are close to the point where reasoning about the sentence and its meaning becomes necessary anyway if we want to go beyond the current state of t
215.
▲
by
murbard2
10y ago
I'm aware. I'm pointing out that using the word "pardon" is pretty Orwellian given that in normal parlance it means forgive and thus implies fault.
216.
▲
by
murbard2
10y ago
Pardoning Snowden implies he did something wrong. apologizetosnowden.org
217.
▲
by
murbard2
10y ago
To add to the confusion, a good way to implement dynamic programming is lazy evaluation.
218.
▲
by
murbard2
10y ago
I don't get it, how is that better than just doing an injection with a pre-filled syringe? I see the point of the Epi Pen, but not of this.
219.
▲
by
murbard2
10y ago
So for example, the Javascript rules are no more problematic than the casting rules in other languages, they're just different?
220.
▲
by
murbard2
10y ago
No, well functioning exchanges affect the amount of capital that gets invested in ventures not how well it is allocated.
221.
▲
by
murbard2
10y ago
Markets do not allocate capital, they provide liquidity for investors making them more likely to invest during stock offerings in the first place.
222.
▲
by
murbard2
10y ago
You're not crazy http://www.isoaker.com/Info/2013/01/20130107-when-and-how-di... This is incredible... I can't find a single decent air pressure water gun on Amazon.
223.
▲
by
murbard2
10y ago
They shouldn't be uncorrelated given x . https://en.wikipedia.org/wiki/Berkson%27s_paradox
224.
▲
by
murbard2
10y ago
I get the regularization part, but don't you get essentially the same regularization from using a sparse autoencoder? If the encoder realizes it doesn't have much information, it will turn on few units. What I don't really in
225.
▲
by
murbard2
10y ago
What puzzles me with the variational autoencoder is that there is no reason to expect the covariance of p(z|x) to be diagonal. This sounds like such a crude approximation that there ought to little benefits to even treat it as a distributio
226.
▲
by
murbard2
10y ago
A common gotcha with linear regression. Imagine that your data points look like they roughly fit the shape of a tilted ellipsis. The linear regression will not run along the axis of the ellipsis, the slope will typically be smaller. This
227.
▲
by
murbard2
10y ago
You're right, I used $2T for the federal budget incorrectly, it's $4T
228.
▲
by
murbard2
10y ago
Income can also be chosen to a large extent. You can work more, work less, do a harder job, do an easier job. Basing taxes on income suffers from the problem you describe. A flat annual fee, as suggested by Proudhon, would be much more fair
229.
▲
by
murbard2
10y ago
And your parent's point was that: "These types of companies do not dislodge so easily such that they get "eaten for lunch" in the mere span of ten years."
230.
▲
by
murbard2
10y ago
Agreed, I was just trying to point out that it's not uncommon for very old companies to still be giants in the economy. Even older companies I forgot to include: Citigroup, the NYSE.
231.
▲
by
murbard2
10y ago
Standard oil, founded 1870, is worth well over $600 if you count the companies it was broken into (ExxonMobil, Chevron, Amocco before its purchase...) Cargill, founded 1865, makes over $120B of revenue annually. (That's half of Apple,
232.
▲
by
murbard2
10y ago
It in fact decreases exponentially
233.
▲
by
murbard2
10y ago
If you try rejection sampling in 300 dimensions, you're gonna have a bad time.
234.
▲
by
murbard2
10y ago
If you want to generate vectors uniformly on a n-dimensional unit sphere, generate them as i.i.d vectors of n standard normal variates and renormalize. x = np.random.randn(300) x /= np.sqrt(np.sum(x*x)) To see why consider
235.
▲
by
murbard2
10y ago
Surely this can't be the firs time someone thinks of making a gold titanium alloy. What did the previous attempts miss?
236.
▲
by
murbard2
10y ago
This has the advantage of working as a sampling strategy, not just an optimization strategy. It is useful when the mass of your distribution is concentrated in a region that may be hard to find with a random walk. https://en.wiki
237.
▲
by
murbard2
10y ago
There is another advantage to cap and trade as opposed to tax. With cap and trade, you may have a politically motivated allocation of emission rights initially, but it's a one-off transfer and soon enough they end up the hands of the p
238.
▲
by
murbard2
10y ago
Puppies growing in open fields sounds adorable. But in all seriousness, no those activities do not generate "liquid cash" (if anything they're more likely to use physical cash as storage and withdraw it from circulation) and
239.
▲
by
murbard2
10y ago
It creates administrative jobs that politicians can use to reward political allies.
240.
▲
by
murbard2
10y ago
Law used to define some people as property. It's extremely reductive to equate the concept of property with what the law happens to say.
More ›