skysight-inc/HackerNews huggingface dataset:
Can you tell me why do you feel QML is superior to Qt Widgets for desktop applications?

I tried QtQuick 1 and was underwhelmed (so much glue code to link C++ and QML; the awkwardness of JS without the huge amount of libraries that save your day in web development).
In the last couple of years I have seen a lot of renewed hype about QML but I keep wondering what it's buying you over the traditional widgets in non-embedded envs (where you might want to profit from OpenGL acceleration for performance reasons).

Am I missing something? I would love to love QML, as I love Qt and I see that widgets are clearly on their way out...
I really hope this doesn't come across as brash. I don't mean it to, but I must disagree with your assertions (In my case at least). Learning advanced mathematics without university is completely possible. Because it is at your own learning pace. Not one of a University.

I graduated several years ago with a BS in Computer Science, with a Focus on Networking. And during that time, I held 3 part time jobs while also being a math tutor. Almost none of the math I use today as a physics developer was learned from schools. I also never had that piece of mind you mentioned, because I was constantly juggling several things at once while going to school. My knowledge of advanced mathematics at the time of my graduation was pretty non existent. I think the most advanced math I had was Algebra 2 or something like that, and the Professors just basically read verbatim from the book.

A few years after Uni, I started teaching myself Calc, Trig, Vector maths, Diff Eq and Physics strictly from what I have found on various sites, software and books. Because of that, I ended up getting a physics simulation developer position at a software company. Because in my companies view, being able to teach yourself all that math is much more impressive than being taught from a University.

I hated math during High School and College, but since then, I have found that I absolutely love math, and I will never stop trying to learn or do new things. My degree was two small lines on my CV, while about 50% of what I had on my CV was all learned on my free time, by myself.

So learning math without a College or University is totally possible, and in my situation, worked way better. Sites like Khan Academy, Wolfram, Youtube, etc. all give you the resources and leave it up to you to progress at your own pace, for free.
Um PCs are module because there is a history of competition going back to IBM using off-then-shelf parts. Basically everything from technology companies since is more anti-modular and anti-competative.
On the other hand, using the flavour-of-the month JS shiny thing until the CADTs jump ship is also burdensome. There is a lot to be said for stable libraries, let-alone stable ecosystems.
I, Rowboat? http://www.flurb.net/1/doctorow.htm
Hmm; I didn't think that was a good comment and am positive I deleted it.
Are we fighting them?

Those terms have very different meanings depending on the country and social level of the ones doing it.
In my use-cases, it doesn't take much work at all. That said, it took me a fair amount of time learning enough about it (D3) for that to be true.

I think we'd probably both agree what if someone just wanted to build one (simple) interactive chart and then be done, D3 is probably not a good first choice.
Doesn’t posting a link to the private key the servers are using ([0], under the Configuration heading on the linked page) compromise the privacy of everyone using the service?

[0] https://www.dns-oarc.net/files/tls-dns/pkey
>A democratic system means that 51% of the people can legally deprive the other 49% of basic liberties.

That's an implementation quirk of some democracies, not an inherent feature. Even worse: in first-past-the-post systems like the US and GB you can elect 51% of the representatives with far less than 51% of the people.

On the other hand, "basic liberties" are usually protected by some for of constitution that requires 66% of representatives to change. Sometimes protections are even more extreme: Germany is considered democratic, but its constitution contains two articles that can not be lawfully changed, no matter how large the consens (one about basic rights, one about the form of government).

Democracies can have arbitrarily strong protections for minorities and basic liberties, there is no requirement for democracies to be governed by simple absolute majorities (and few if any are).
No it's not. I see lots of Teslas around here but far more BMWs, followed closely by Audi and Mercedes. I see Priuses everywhere.

And outside of the valley Teslas are very rare by comparison with any other brand.
Agree. Highcharts is well worth the license fee to me.
> Exercising your contractual right to default on a mortgage is not corruption or cheating

But most American believe it wrong and there is a mixup between what is wrong and what is legal. Keeping it that way is a very profitable thing for financial institutions.

GP post brought banks as an example of corruption. And many would agree. However it can still be legal. At that level, those player are basically writing their own laws and regulations.
Because playing by the rules isn't always possible.

It only works in movies.
Wow. I had only mild interest in the news and was about to close this tab after I learned what the hell Philae is (without opening TFA), but this comic series made me excited about the project and made me check out the article. Good job, Randall, and thanks!
It feels complicated due to not using separate getter and setter functions. By splitting it into two functions the annotations could be reduced as well. I wonder what the reason for not taking that approach was.
Not only that, but this article's claims are nonsense:

"Such advances have made it easy for those with limited talent to sound
professional. YouTube videos abound that purport to show DJs miming
their mixes—their hands a whirl of activity over the controls, but
never actually alighting on any of them. For many, this confirms a
long-held suspicion that some now simply turn up with a pre-recorded
set, press play, and rake in the cash."

Nobody cares if the DJ's beat-matching. Any paid DJ can do so. It's about the production and entertainment.

P.S. Alighting's not a verb.

edit: Alighting CAN be a verb! ("to settle or stay after descending")
Can't bypass the paywall, but let me guess:

- It used to be the handmade art of a few select dedicated people, who were very underground
- then it became more and more diluted as technology got better and better
- first it was CD-s, then now MP3-s
- clubs are not the same as before
- now all you have to do is press the sync button and call yourself a DJ
- it lost it's value, because those "oldschool" DJ-s were so dedicated that it became art

Whether my outline is correct or not, DJ-ing was never about technology or better put, it was never about fighting with technology. Because let's admit, mixing one track's tempo to another's is just the side effect of dealing with vinyl. I can beatmatch perfectly and put on a horrible set.

I think being a good DJ is not about technology, it's transforming the vibe on the dance floor from one state to another. The DJ is a pure function (for the FP folks). It's more about knowing your tracks, your audience and having an artistic integrity. Who cares if I use a software to help me be more creative?
I recommend watching "Welcome to Sweden" ;)
Clickable: https://github.com/coolcooldee/sloth

If it meets the guidelines, this might make a good 'Show HN'. Guidelines: https://news.ycombinator.com/showhn.html
I think it is a way off from being his best book. It has, conventionally speaking, the most striking premise (for its day). Do Androids Dream of Electric Sheep is much superior.

What I found really interesting is to read his short fiction and then go back to the novels. In the stories you see his controlled, precise side and that kind changes how you feel about his longer work. I cannot recommend these enough:

Faith of Our Fathers

Upon The Dull Earth

The Electric Ant

I Hope I Shall Arrive Soon

I think reading the novels one is only seeing one side of the writer.
Betteridge's law in action.
First gravitational waves form after 10M years
This is really major news. You drop Chumak into your Erlang application and you can talk to any other ZeroMQ stack on your network.

The other native implementations are libzmq (C++), NetMQ (C#), JeroMQ (Java), libzmtp (C).

Disclaimer: I'm a shill for ZeroMQ.
They are not large. Maybe a hundred employees, eight digit revenue and very few products. In the south-west you see them at every corner, relying on word of mouth and the occasional trade fair. But they mostly have someone working on that full time nowadays.

In line with the topic I'd like to plug Mennekes (which does have a small public relations department and is larger than the companies mentioned above). They supply plugs for practically every electric car.
About the trucks, you file a police complaint, and the police goes after the thieves. They may decide to ignore your complaint if it is rare, but will almost certainly not ignore if it becomes common.

Just like they do with armed truck robberies today.
Nothing different between working at the same company for different projects, and working at different companies.

Maintenance work is easy, less time consuming, and frankly mostly requires less effort. If you fall into that trap, and end up maintaining a large system that is slowly becoming obsolete, you're not building up more skills.

A lot of older workers (and I am one of them) end up doing that cause that's the easy path, the one requiring no effort at all. And that leads you to becoming unemployable.
Memory allocator tutorial
> What facilities for data abstraction does TLA+ have?

The full strengths of set theory (sets, functions), plus sugar for sequences and records.

> How do I hide the representational choices of a module I'm not currently concerned with?

TLA+ has a simple module system. Definitions can be local or public.

> First-order logic is not “high-school math”. You can't expect most high schoolers to know how to correctly manipulate logical quantifiers.

Depends on the country I guess. But OK, first year college.

> And axiomatic set theories (such as ZF), which are built on top of first-order logic, are definitely not “high-school math”.

None of that has any bearing on specifying algorithms, though.

> That's the thing: I want to reason in a time-independent manner as much as possible. Time-invariant reasoning is simpler and mathematically more beautiful than exploring state spaces alongside with your processes.

That's only because you're used to thinking in a way that is tied to languages. I have yet to encounter a powerful type system as mathematically elegant as TLA+.

> Then in TLA+ all algorithms are expressed as imperative programs.

No. They're expressed as nondeterministic abstract state machines, written as a first order logic predicate. Each step of the machine is arbitrarily complex. You can specify a program in TLA+ that in each step solves a difficult SAT problem, or even the halting problem.

Imperative is an attribute of a programming language with programming language semantics; TLA+ is ordinary math and doesn't have any of those attributes. It's like saying that calculus is imperative. However, it certainly isn't functional because it doesn't identify the concept of a function with the concept of a computation.

I guess you could specify a functional program as a machine that computes its result in a single state (although I wouldn't). You could then model, I don't know, LLVM machine code, and shoe that the machine code algorithm is a refinement of the functional program.

> By virtue of exploring large state spaces?

I don't understand the question. The reasoning -- as any other formal reasoning -- is done by manipulating logical formulas. The state space is a property of the model, not of the logic.

> Checked by whom?

TLAPS, the TLA+ proof system.

> Type inference reconstructs type derivations all of the time.

It's done reliably because the properties they represent are kept very computationally simple. In TLAPS uses SMT solvers to reduce the effort, and where a type would be inferred, so would a proposition. The problem is with more interesting propositions.
I'm not sure what type of software updates we're talking about but BMW allows idrive updates (nav/media) via the USB port. They provide the updates for free on their site.
Narco-submarines already exist and the cost of a manned boat would likely be cheaper than an autonomous one.

https://en.m.wikipedia.org/wiki/Narco-submarine
Surely, of all the truck drivers in the nation, a small subset of them would be armed?
Google Chrome developers just made a video about it:
https://www.youtube.com/watch?v=OhPUaEuEaXk
Yeah, it is. I can't edit it anymore but thanks for adding that for memo.
He works his entire life and lives simply -- and the university uses his bequest to buy a new video scoreboard for the football stadium. Sad!
Which is exactly why he suggests that there should not be a subsidy. Subsidies exist precisely to determine for others what is or isn't worthless through monetary incentive.

You cannot reasonably tell someone that only they can choose what or is not worthwhile, while dangling a huge carrot in front of them. That you feel it is necessary to dangle that carrot says that you've already decided for them.
> A lot of older programmers seem to think they have 20 years of experience, when they only have the same year of experience 20 times.

A lot of younger programmers seems to think they have 3 years of experience, when they only have the same month of experience 36 times.

Experience is made up by the experiences you had, if you have never worked in a proper environment or never actually tried to improve your craft, years doesn't matter much.

And the myth of "being up to date", it can mean different things for different people. Sadly sometimes it just means that you need to have played with the latest fad that will disappear in a few years. In that case i'd prefer someone that's not up to date but can learn something different and it's used to do things the proper way.
That's not a very inclusive or productive thing to say, please don't do that.
It's as dead as anybody "becoming" a Google.
Deliberately inflammatory comments without substance are not OK here. Please comment civilly and substantively or not at all.

https://news.ycombinator.com/newsguidelines.html
Congratulations, and I'm glad you proved me wrong :)
> I've used a lot of psychology (based on EP, not Freud) in constructing communities that build open source software.

Very interesting. If it is not a secret, can you share a list of guidelines or tips?
A better understanding of how to get them to breed in captivity has been a big part of growing the population. I guess bootstrapping a population to be used for meat would be wildly unpopular, but it could probably be done in a way that didn't have much impact on the wild population or captive population that is used for conservation.

Which I'm not arguing it is a good idea, just pointing out that growing the population partly involved figuring out better panda husbandry, which is the same knowledge you need to produce meat.
Ridiculous question, if you ask me. Everyone has access to pen and paper, so does that mean anyone can be a novelist? Or even wants to?
From the FAQ:

Q: What is OARC's Privacy Policy for use of its testbed
nameservers?

[...] If your DNS query data is sensitive, you should
probably not be trusting it to an experimental 3rd-party
research testbed.
Well I'd say it depends what kind of game you guys have. If it's COD like in some of the comments I can understand. But in my office we mostly play goofy party game, I sometimes invite my gf over to play with us and she manages to have fun while not being a gamer as well. Here's a list I made:

So far we've really enjoyed:

* speedrunners

* towerfall

* blazerush

fun:

* lovers in a dangerous spacetime

* overcooked

* miner warfare

* clusterpuck 99 (sucks if you're not > 4)

* hidden in plain sight

* Magicka

that were fun, but got boring fast:

* duck game

* CMYW

* trine 2

* starwhal

* Nidhogg

* Porcunipine

Meh:

* Castle Crashers

* Mount your friends

* Gangbeast

* Hammerwatch

* Screencheat

* ibb & obb
Yes, 'alight' is a verb; listed by the OED as 'alight, v. 1' sense 4b "To descend and settle; (of something in flight) to land. Freq. with on, upon. Also fig.". Citations back to 1330 with ones obviously like the modern usage back in 1610, eg "c1610–15 Life Holie Hilda in C. Horstmann Lives Women Saints (1886) 57 A greate number of birds alighting in her fields of corne, and deuouring it shrewdlie." Latest cite 2006, so not obsolete or archaic.
Good points, particularly about industrial uses (I've seen impressive things for agriculture, and can see the use cases in institutions and other large buildings like hotels).

I guess that I look at the current consumer products, and they seem like isolated gimmicks. Aside from the quality of the code on the devices, there needs to be at least some kind of secure message broker and associated apps, otherwise every individual device is going want separate control apps and be spamming you.

I'm currently using a personal Slack account to manage all the notifications from cloud services etc. but it feels like a hack - a smart home with a bunch of devices probably needs a super user-friendly common interface.
Restaurant Spotlight: Kellari Taverna in New York
This option only got added in recently. I think it would have been better if this were pointed out in the post. But trying not to sound too snide there's something to be said for checking the man page before copying config off the internet.
Again: electrical problem, 100% resolvable in virtually all cases.

An arterial blockage != an electrical problem.
Maybe - but the same argument can be made for photography. In my opinion when you have more people engaging in something the bell curve tends to expand, with outlier individuals having natural talent and abilities at the highest ends being uncovered. This is similar to sports, where the genetically gifted can only be found if they participate.
> Tesla Model S Achieves Best Safety Rating of Any Car Ever Tested

So what is this?

http://www.euroncap.com/en/results/tesla/model-s/7897
Witty, but a bit contrived I think. Perhaps the book has more to say, but I was not convinced by the suggested Freudian interpretation.

Another example of a writer with a good sense of smell I think is John Steinbeck, whose first few paragraphs in Cannery Row is a marvel of the literary whiff, even without much description of the smells themselves. [1]

[1] https://books.google.com/books?id=CQmjRCj-LNsC&printsec=fron...
So about the charging stations. Is the end goal going to be charging stations all over your city for each car manufacturer? Or are they willing to copy Tesla's plug and make some kind of "charging alliance"? Tesla has released their patents[1] so this would appear possible.

[1] https://www.tesla.com/blog/all-our-patent-are-belong-you
I found project gutenber (http://www.gutenberg.org/) which has around 53K books
and they have this license: http://www.gnu.org/copyleft/fdl.html

Which allows commercial use. What do you say in this case?
Please stop. We ban accounts that continue to comment like this.
>he was talking about the French PM.

No. Forbes never rated any French PM or President as the second most powerful person.
Don't be annoyed at China. Be annoyed at human nature. The rhino gets less protection than the panda for one reason:

The rhino isn't as cute as the panda.
Another millennial here. Your S Class interior image looks great to me. I'd go black over brown but still looks great. I just looked at some pictures of the Tesla and my god that looks awful inside. The inside of a luxury car should be a lot nicer than that. Also why the giant screen? Knobs and buttons make so much more sense - they're easier to use without looking while driving. I've also heard various stories about people rebooting their cars essentially because everything is baked into that screen. It just seems like a downside to me in every way.
> how do you tell the difference between a viet peasant and a viet cong

Hasn't that question been answered already, over and over again? You don't, not really. Also: https://news.ycombinator.com/item?id=11685995
What's the holiday in US and Canada today? It is (was) a holiday in many places of India too, due to a Hindu festival called Vinayaka Chaturthi.
IMHO that's a good thing. It's not changing, works very well, has lots of plugins and is a relatively small library so you can fix it yourself. Plus a large user base, so many problems you run into are already known.
One of the most important things ive leatned is do one thing one small step at a time.

You want all of these to be a habit. It's a journey.
> The full strengths of set theory (sets, functions), plus sugar for sequences and records.

Set theory doesn't have any facilities for data abstraction. If anything, it's the antithesis of data abstraction: every mathematical object (internal to your set theory of choice) is represented as a set (or urelement, but those are even weirder) somehow, even if the encoding is irrelevant for your purposes.

> TLA+ has a simple module system.

Hierarchical modules? Parameterized module families? Multiple views of the same module, showing or hiding different aspects of it? I use this stuff everyday not only to keep my programs modular, but also to keep their proofs of correctness modular.

>> And axiomatic set theories (such as ZF), which are built on top of first-order logic, are definitely not “high-school math”.

> None of that has any bearing on specifying algorithms, though.

You were the one who originally brought up ZF, describing it as “high-school math”, so I was just refuting that.

> That's only because you're used to thinking in a way that is tied to languages. I have yet to encounter a powerful type system as mathematically elegant as TLA+.

If elegance is your only criterion, it's very hard to beat Martin-Löf type theory. Of course, usability matters too, and there MLTT fails miserably, at least for programming purposes. Higher-order dependent types don't come for free.

> It's done reliably because the properties they represent are kept very computationally simple.

That's a feature. It helps you delimit the routine stuff (and can be reliably verified mechanically, and should be most of your program, if it's designed sensibly) from what requires creativity to prove.

That being said, of course, existing type systems don't automatically verify everything that could be considered “routine”, so this is an area where further improvement is necessary.

> The problem is with more interesting propositions.

Prove them by hand. Good old-fashioned brain usage is never going away.

---

By the way, I'd like to see your full proof, for the exercise you posted a while back. (“Prove that there exists some i such that y[i] = 1 at the end of the whole computation.”) Is it as short and sweet as my proof?
Too bad they could also become 21st century's asbestos problem.

http://www.scientificamerican.com/article/carbon-nanotube-da...
Yes, both the S and the roadster.
So will this force any change in the behavior of the BND?
With Chrome apps being phased out, is a native Windows app in the pipeline?