Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Kranar
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
25 ms
·
271.
▲
by
Kranar
3y ago
Because the original comment was about the appropriateness of writing Python code according to the reference implementation as opposed to writing Python code strictly according to the reference document. Some people are arguing that the ref
272.
▲
by
Kranar
3y ago
Yes the C++ and Java implementations do exactly what is in the language specification. The C++ specification explicitly allows languages to do more, but it can not do less. I believe Java has a similar clause but I'm not sure. The grou
273.
▲
by
Kranar
3y ago
Haha, no they don't all meet the language reference you linked to and if you used them you'd know that! Python is a lot more like LISP than it is C++. There are many flavors of Python, from MicroPython to GraalPython to Cyston and
274.
▲
by
Kranar
3y ago
Plenty of languages have a specification. C++, Java, C# all do. Some languages do not, such as Python and Rust. The ISO C++ committee even uses quite strong language about the C++ standard and makes it a point to differentiate between the C
275.
▲
by
Kranar
3y ago
I never mentioned any advantage or disadvantage. I am only stating a fact about the current state of Python. Python does not have a specification or a standards document, it has a reference that describes how Python happens to work and the
276.
▲
by
Kranar
3y ago
Absolutely, but note what your very quote says "describes ... the language" rather than "prescribes ... the language". A standards document or specification's purpose is to "prescribe" how a system shall w
277.
▲
by
Kranar
3y ago
250k is not top dollar for programmers, but it is top dollar in absolute terms. The point is that you don't incentivize better work by paying top dollar. Taking a mediocre developer and paying them more doesn't make them a better
278.
▲
by
Kranar
3y ago
You are correct. The closest thing there is is called Centaur Chess where a human and computer work together. At least as of 2021, a human and computer combination could outperform just a computer indicating that a human still provides valu
279.
▲
by
Kranar
3y ago
That is not a specification. A specification is a prescriptive document of how a system is required to work whereas a reference is a descriptive document of how a system happens to currently work. Python has a reference, in fact it has many
280.
▲
by
Kranar
3y ago
Python's semantics do not have a standards document or specification. It's based on its reference implementation (CPython) and different variations of Python even have different semantics (Jython, IronPython, PyPy). The library is
281.
▲
by
Kranar
3y ago
I would differentiate between entertainment and gambling. Sports and media get revenue from a massive audience of people who pay to watch it, and that revenue pays to promote solid talent within the field itself. If playing sports required
282.
▲
by
Kranar
3y ago
I don't have the greatest references available, but a naive Google search brings up quite a few sources from databases and surveys that say that while 30% of poker players do better than break even, only 18% of actually manage to make
283.
▲
by
Kranar
3y ago
Thanks for that link, much appreciated.
284.
▲
by
Kranar
3y ago
Certainly in France there were a group of intellectual elites who supported Mao, especially since Mao's Cultural Revolution was directly inspired by France's own Paris Commune as well as the fact that many CCP leaders were educate
285.
▲
by
Kranar
3y ago
Yes actually, they were factory workers and often times minorities. In the U.S. some of the biggest supporters of Maoism were actually the Black Panthers. https://www.marxists.org/history/erol/ncm-1/maoism-us.
286.
▲
by
Kranar
3y ago
Fail to build yes, but I don't know that it can cause failure to run. LTO can identify existing issues as you point out which will cause a failure to build, but if it does build then it would not introduce any new issues that weren
287.
▲
by
Kranar
3y ago
Yes I love that feeling. The Witness also does this on a much grander scale.
288.
▲
by
Kranar
3y ago
It was an amazing place to work back in 2006, but yeah it's gone downhill since then. It seems like Google is kind of in an internal cultural battle with itself about what exactly it's trying to become.
289.
▲
by
Kranar
3y ago
DHTML as a term was introduced in 1997 by Microsoft to refer to the use of HTML, style sheets and JavaScript in Internet Explorer 4. https://en.wikipedia.org/wiki/Dynamic_HTML
290.
▲
by
Kranar
3y ago
Your comment is self defeating. The reason people are aware of these complaints is because they keep being brought up, over and over. This is a serious wart on language design and while I can agree that it's likely too late to fix it f
291.
▲
by
Kranar
3y ago
Don't forget that C++ features are also often rolled out before anyone even really understands them, and then after they are rolled out people find all kinds of footguns and issues with them. The C++ committee basically evaluates featu
292.
▲
by
Kranar
3y ago
No at all, you are absolutely correct and what you describe is known as omega-consistency! https://en.wikipedia.org/wiki/%CE%A9-consistent_theory However, your description is just another way of saying what I'm sa
293.
▲
by
Kranar
3y ago
As has been pointed out, there are copies of it that contain the unprintable sections. With that said it's worth mentioning that many laws, even in the U.S., aren't exactly printed or documented per say. Plenty of countries have u
294.
▲
by
Kranar
3y ago
>It's easy to see that the largest such value is an upper bound on BB(745), but even that isn't worth much. Having an upper bound on the value of a BB(N) is all you need to solve BB(N). Why? Because if you have an upper bound c
295.
▲
by
Kranar
3y ago
No, C++ developers generally use it to avoid garbage collection.
296.
▲
by
Kranar
3y ago
Sure you are right there would be at least two propositions with different values of n_1 and n_2 that are independent of ZFC. But this does not mean that BB(745) has two values that are actually true, it just means that ZFC is unable to det
297.
▲
by
Kranar
3y ago
It's true that it's been a decade since I used SVN so I could be misremebering, I just remember branching and merging being a much larger pain than in git.
298.
▲
by
Kranar
3y ago
Yes there absolutely is nuance. The mathematics used to determine whether a quantum system has a gap or not is indeed undecidable, but that undecidability only kicks in as the size of your system approaches infinity. For any finitely sized
299.
▲
by
Kranar
3y ago
Just being able to create a local branch, experiment with some changes and then either scrap the whole thing or merge them back is a big productivity boost. I feel like with SVN making a branch was like a "big deal" and something
300.
▲
by
Kranar
3y ago
We'll agree to disagree on this point then. My stance is you're using the word construction in a more layman like manner whereas I am using it in the more formal sense. It's not a particularly big deal either way.
More ›