Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
User23
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
22 ms
·
331.
▲
by
User23
2y ago
So you are saying people don’t deserve the right to build on public ideas without, ultimately, having armed men use violence to take money from them or forbidding them altogether? Because remember when you say an author “deserves” to be pai
332.
▲
by
User23
2y ago
Not only that but even if you somehow prove it, no lawyer will take the case for actual damages. So the discrimination has to be so egregious that there’s a high likelihood that a jury will award punitive damages and that they will survive
333.
▲
by
User23
2y ago
Also, conveniently, freezer temperature is 0F not 32F.
334.
▲
by
User23
2y ago
It’s been tried. The “rational” calendar reform was something of a failure.
335.
▲
by
User23
2y ago
List and scalar context make plenty of sense once you wrap your head around them. Of course it took me learning XS and using Perl as an extension language (Lua was brand new and the Python GIL was a dealbreaker) to fully understand Perl lis
336.
▲
by
User23
2y ago
We also talk about someone’s first day at work during that day.
337.
▲
by
User23
2y ago
Bone density is definitely an adaption from resistance exercise. I don't know any specific studies, but I would expect that the bone density improvements are in some sense systemic in that the metabolic changes that increase bone densi
338.
▲
by
User23
2y ago
You have (or had?) the realschule too. In German society "technical" skills of that sort were considered second class really behind the gymnasium.
339.
▲
by
User23
2y ago
Neal Stephenson put this to good work in his novel Anathem.
340.
▲
by
User23
2y ago
Given the dearth of bears in Wales I suppose it’s an acceptable risk.
341.
▲
by
User23
2y ago
Looks promising!
342.
▲
by
User23
2y ago
I like it, but like every other keyboard that I’ve ever seen the modifier keys are in the wrong spot. As John Napier shows in his masterwork Hands , the hand is created such that the thumb easily and precisely works in opposition to the fi
343.
▲
by
User23
2y ago
California’s legislature declared that they were contrary to public policy. It wasn’t an executive or judicial decision nor should it be. In the American system the legislature is the policy making body as well it should be on account of be
344.
▲
by
User23
2y ago
Have you happened to have read Visual Complex Analysis ? If not I think you might like it. And a tangent from your username: I quite like how complex numbers and functions like CIS made it into Common Lisp.
345.
▲
by
User23
2y ago
One of my favorite parts if the excellent book Visual Complex Analysis is where he explains that e is defined in terms of the derivative of the exponential function. E is e because that’s what it has to be for the exponential function to
346.
▲
by
User23
2y ago
Absolutely. And frankly I think that’s very exciting. If I had to lay a wager I reckon if those problems will be solved by a human intelligence, the most likely method will be through taking advantage of that correspondence and proving some
347.
▲
by
User23
2y ago
> ‘Correct'? In what sense? 'Correctness' and halting have little to do with each other. Confident ignorance isn’t a good look. To help you out, here you go from the wiki[1]: Within the latter notion, partial correctne
348.
▲
by
User23
2y ago
I read once that the root word that evolved into all the modern Indo-European variants of bear began as a euphemism to avoid having to say the creature’s name and risking summoning it. It meant something like “the brown one.”
349.
▲
by
User23
2y ago
> I would like to add that I believe that most people will not and should not do 1rm tests. More so, most people don't even know how. It's something you'll absolutely want a good coach for if you aren't a thoroughly e
350.
▲
by
User23
2y ago
> In general, it absolutely does. I'm not sure what you're trying to say. I can see that you don't so I'll try to be clearer. For any given program one might choose there is no reason in principle why a competent co
351.
▲
by
User23
2y ago
It's a little more impactful than that. Have a look at Z3, Boogie, Dafny, and similar technologies to see practical application of what I mean. It boils down to there being "non-general" algorithms that still work for virtual
352.
▲
by
User23
2y ago
It’s worth noting that the undecidability of the halting problem doesn’t prevent computing scientists from proving that a program halts or has some other nontrivial property.
353.
▲
by
User23
2y ago
The difference between small arms and artillery is absolutely enormous. Handguns and rifles make loud popping noises. Exploding artillery shells are concussive bombs that produce brain rattling blasts.
354.
▲
by
User23
2y ago
Every state has their own laws. Interestingly some states advantage squatting with a colorable claim of title. For example if your uncle John leaves you real property in his will that he doesn’t have title to and you notoriously occupy and
355.
▲
by
User23
2y ago
This is normal NY politics. They were perfecting their corruption skills before Chicago was even blueprints. None of that money was “wasted.” The nominal objective was never the primary purpose of the project; it was always to enrich the po
356.
▲
by
User23
2y ago
> But I quickly learned that the ability to spread out a map, that might be many square meters, and see everything happening on it at once, without having to slide a monitor's viewport around (or zoom in and out) has a number of mas
357.
▲
by
User23
2y ago
2016 was absolutely fascinating because, while it’s possible it was a double fakeout, it really looked like the first shoot in presidential politics in my lifetime. Insofar as there is a script, it sure does look like The Nameless One went
358.
▲
by
User23
2y ago
In that case what’s the explanation for clear air turbulence events having an exactly proportionally lower rate of causing damage and injury such that the rate has remained flat despite the increase in events? What’s making turbulence safer
359.
▲
by
User23
2y ago
Even if that’s true (and you may be more often than you realize), you still rely on a great deal of code that does, like searching and sorting. It is a little disappointing how few programmers know how to construct a nontrivial loop that bo
360.
▲
by
User23
2y ago
Break also considerably complicates loop semantics. For example you can no longer rely on the loop condition being false on loop termination. Instead you have to do a flow analysis of every loop and conditional leading to the break to deter
More ›