skysight-inc/HackerNews huggingface dataset:
"..it felt quite empowering to have the confidence that, supported by type-checking and a few well-thought-out tests, my code was doing what it was meant to. "

Does this mean that on what software is "meant to do" type checking covers most test cases and only few additional is needed to ensure iy does what it's meant to do?
According to this [0] you can also try

calculator
color picker
unit converter

I didn't find anything about the other features mentioned here though.

[0] https://support.google.com/websearch/answer/3284611
> Tangerang is a suburb of Jakarta

No it's not? It's true that the cities are basically connected by urban sprawl, but administratively it's definitely a separate entity.

A case could be made that it's part of Greater Jakarta but that's a pandora's box of definitions and interpretations...
Yes - depth and water speed. There's also the issue that the road may have subsided or completely washed away.
Kind of ironic given Bush and Obama were the ones to expand the surveillance state, Hillary demonised the shit out of Russia to try create an enemy/scapegoat, and here Trump is, only a few days in power, not having done anything particularly bad.

Also, I should add - for Democrats out there who keep trying to compare Trump to Hitler, say he's fascist, etc... That weak rhetoric is what gave you guys your worst election result in what, 80 years? The more you cry foul over nothing, the less people will actually believe it. Just an outsider's opinion after an entertaining and somewhat perplexing election.
"Failure to give up business interests is breaking precedent and confounding ethicists, but also doesn't seem to be illegal."

It is not "breaking precedent". George Washington kept his farm.

It's entirely unreasonable to expect a regular citizen to give up his business simply because he's elected to public office. Trump has taken many steps to ensure there's no conflict of interest.
The threshold is at 500 karma points.
Found the /r/AskHistorians moderator. ;)

You're either crazy fast with your research, or you have really looked into this in some depth. Great write-up, thank you.
I've you've never seen template programming, but just C with classes, then yes, I can see how you arrive at this conclusion. C++ in 2017 is very different from what it was in 1996.
Nice game,I appreciate the artwork in the background. The operator button could be make a little bigger though, and the balloon font could be more readable.
Also I always have a hard time killing the first balloon of the level because I take a long amount of time to get acquainted with the numbers. Maybe the first balloon could wait a bit so you have time to look a the new numbers? This will also allow the player to make a little pause.
This is the ToC from the developer to architect tutorial (I thought it was a learning path):

Architectural Patterns

- Design Versus Architectural Patterns,
- Layered Architecture
- Event-Driven Architecture
- Service-Oriented Architecture
- Microkernel Architecture }

Pitfalls

- Architecture Anti-Patterns, Part 1
- Architecture Anti-Patterns, Part 2
- Tooling and Documentation

Soft Skills

- Architectural Decisions
- Architecture Refactoring
- Meeting Hacks

Continuous Delivery

- Continuous Delivery Defined
- Deployment Pipelines
- DevOps

The "Design Versus Architectural Patterns" section is comes from the book "Pattern-Oriented Software Architecture". Other sections are cherry picked from books and videos.

The best part (for me) is that all sections have an estimated time you need to read / watch the content.

Hope this helps
Van Jacobson's network channels
Ask HN: Would Americans be happier if the US was several independent countries?
Interested in hearing perspectives from the HN community.
In 2017, people have to rely on anchoring their sexual meanings based on male/female electrical adapters.

Yep, 1984 is here.
"This is probably a good time for people to be reading 1984."

The best time to have read 1984 was before the 0bama years.

Trump at least seems to have America's best interests at heart.
Which makes me wonder : anyone knows what's the progress behind the "android" folder in the swift project ?
Read better into your wikipedia articles. This is how your #2 continues:

> It is a coherent set of signs that transmits some kind of informative message.
I don't know if it understates the status of these new breeds. They haven't been proven, yet. It could be 50 years before it's clear that they are resistant.

My parents are also doing this on their property, it is exciting, and I hope this new breed is resistant to the fungus.
I was thinking of something like Missile Command, originally.
I don't disagree - my statement was also directed to people new to this field.

The overhead for existing C++ teams is learning the language, and (potentially AFAIK) interfacing with C++ code that has no good C style API. But Rust seems to tackle even the latter quite well. I don't think you'll get around the learning curve for a new language.
Actually, their report is much more credible because they note the difference between TorGuard (and a few similar apps) vs normal VPNs. To actually quote the report[1]:

67% of Android VPN apps claim to provide traditional VPN services (labeled here as “VPN clients”) including enhanced security and privacy, anti-surveillance or tunnels to
access geo-filtered or censored content. Note that we consider Tor clients (e.g.,
Orbot, Globus VPN] and TorGuard VPN client) as a separate category.

That seems a pretty fair distinction.

Notably, the report doesn't include the word "onion" in it at all, so I'm not sure where you got "[they] think it's related to the onion router" from.

[1] https://research.csiro.au/ng/wp-content/uploads/sites/106/20...
I think you need over 500 karma to downvote. I couldn't downvote for my first few years here (and I probably only downvoted posts once or twice since I could)
I have a similar impression; and based on the people I've met, it's somewhat accurate. People with higher education in CS I know tend to go more towards full stack or back end work, while web front end devs often are career changers.

The entry barrier for web technologies is just rather low. This is probably the main reason for Node's huge growth in the past years: It's just the path of least resistance to get into back end development.
I think the author is talking more about UI changes than these core things that need updating.
"MacBook Pro laptops with touch bars are supported"
Could someone with knowledge kindly explain to me why this is mentioned? Isn't the support -for modern OS's- supposed to be for the OS layer and not the hardware directly?
I've created a simple website that showcases the Battery API if you wanna see if you're affected or not: https://r3bl.me/battery/

Done locally in JavaScript, info is not stored anyway (and, of course, you can see that for yourself here: https://github.com/aleksandar-todorovic/battery).
Both were influenced by _We_ by Yevgeny Zamyatin.
I'm really not proficient with the jvm ( my only experience with it has been slow start time and huge memory consumption).

Could you give some example oF unique features of the toolsuite around the jvm ?
The Tink landing page just launched
No, "Despite its members being appointed by parliament, the committee is a private body tasked with awarding a private prize" - https://en.wikipedia.org/wiki/Norwegian_Nobel_Committee
The Debian upstream is crazy out of date for almost everything. I get why, I understand the thinking, but they have a point.

At some point vendors - especially open source vendors with limited (volunteer) resources have to call time on supporting older versions. If you're running an unsupported version, and the new version is free to download and install, why would they go out of their way to support you? Their thinking is quite reasonable: it's your choice to use a distro that doesn't track releases frequently, pull down and build a later version from them.

And looking at the release notes 6000+ changes have probably happened since your release. How can they possibly support you and a few thousand Debian users in that scenario with such a small team so focused on so much work?
> I really hate this attitude. Programming languages should be designed to be safe and strict by default, but with easy outs. I utterly reject the notion that we should design languages first and foremost to protect us from people can't program that well or aren't careful when they write code.

I don't think the author has a beef with easy outs, but with accidental outs. Specifically with regards to the JVM, too, there are some practical security ramifications, with regards to running plugins.
There's also no indication that they'd be able to get enough Democratic support for it.

I would hope so, because frankly Trump is such a loon that I would rather Mike "electrocute the gay away" Pence, but...

Sigh.
As I pointed out at https://news.ycombinator.com/item?id=13397381 , you forgot rtprio, idprio, chrt, and numactl; the s6, perp, daemontools-encore, and nosh toolsets; and execline. And TCL and the Thompson shell.

* http://wiki.tcl.tk/15088

* http://jdebp.eu./FGA/daemontools-family.html

* http://v6shell.org/
How tech companies are shaped by programming languages
The cynical among us have been saying that nothing presented by the White house (and any other government institutions) can be trusted at face value for years. I guess now is the time where everyone becomes a cynic.

But is that such a bad thing?

They say access journalism is dead, but access journalism is just repeating stuff said by people with power. Making them accountable is a good thing.

Trump may have unintentionally restored investigative journalism...
True, but not less brave than those that ventured into the endless oceans, when everything everyone knew was only Europe.
"plus the chance that Trump might nuke someone."

You're delusional if you think Trump will perform a first strike. That's complete nonsense.

He's a businessman, not a warmonger. His rhetoric is entirely along those lines as well.
NO WAY is C++ harder to learn than Rust

I've been programming C++ for 16 years, it's the main language at my day job, and I won't even begin to think I understand templates. But you'll see codebases that use it regularly. Const correctness? rvalue vs lvalue? ODR? SFINAE? RVO? exception safe code? template argument deduction? Then you have C++11, C++14, C++17...

Despite this, I still regularly write code that has memory, string, concurrency and bounds bugs. So does everyone else in the industry, including smarter people with more experience.

It's possible that the parts of Rust I'm not familiar with (e.g. unsafe code, macro system) turn out to be similar sinkholes, but so far, that doesn't seem to be the case.
> It's extremely satisfying to know that your browser will receive those important security updates quickly.

Apple has shipped plenty of Safari security updates outside of the OS update cycle. Feature releases of Safari are tied to the OS update cycle, not security updates.
Awesome feedback! I will consider all of these.
Yea, I know that's the official line. But it would be fairly easy for a lawyer to argue otherwise.
Racket includes an IDE as part of the language. I imagine this has to do with that.
I use the old joke that there are three types of mathematicians: those who can
count and those who cannot.

Doing arithmetics in memory has little to do with being apt at mathematics.
"The reason people believe he should give up his business is because there is a conflict of interest. He does business in countries where many of the corporations his company could deal with are owned or operated by the government at least in part. You can't be sure he is making a decision that is best for the people of the US if he stands to personally gain from it."

Are you aware that all profits from his foreign holdings are going to the federal treasury?

If not, rethink.
Use irb.
People care because the White House was seen to be lying in one of the first statements made to the press.

If, instead, they'd just said n-thousand people attended, and made some comment about bad weather, the attention would have moved on to the next thing a lot sooner.
There was only one Objective-C presentation at WWDC 2016, the content was related to improvements done for better Swift interoperability.

Also Apple is very clear about that in their documentation.
The general form of this question (are people happier if they're in smaller communities) inspired this other post of mine [0]. As far as the answer: the short answer is yes. The long answer is, "it depends" [1]. Personally, I believe the ideal community size is 100 - 1000 people. One where you know at least intimately 10% [2] of the population and have hard of 100%. I also think a small community is ideal for proper implementation of democracy. Mainly because it's easier to ensure education parity in a small population, meaning the democratic process is fairer.

My tangent aside, to answer your question, I think it would be no. Any happiness increase of the people living in the new United State(s) will surely be negated by the huge pain and suffering required to create them. If you discount that, the answer to that is also probably yes.

[0] https://news.ycombinator.com/item?id=13468508

[1] http://www.citylab.com/design/2011/10/urban-rural-happiness-...

[2] https://en.wikipedia.org/wiki/Dunbar's_number
Looks like a smart hack to deploy to production on every commit, but while it gives the illusion of continuous delivery, it is actually a terrible idea since there is nothing to catch a regression before it goes to production.

In the Java world is common to use tools like Jenkins for your continuous delivery pipeline. You can have a Jenkins job triggered by a Pull Request, so you can validate the build passes and perform code reviews. Then you can have another hook for merging the PR which can perform additional integration tests, stress tests etc and deploy to artifactory (or other), and if everything passes you can finally deploy to production.
That extension is called Vimari[0] for Safari. It's literally the first thing to show up if you search for "Safari vimium".

[0]: https://github.com/guyht/vimari
He was elected months ago. Even so, responsible campaigns start working this stuff out even before the election. Teambuilding should not be left until the last minute.
Break Python programs with a simple import
Is a "business person" going to be so dreadfully harmed by placing his business interests under the control of someone else, without knowing the holdings so as to avoid creating the impression that he is using the Presidency for his own financial goals, for all of four or eight years? Will he merely have to go back to a pile of money instead of a bunch of hotels afterwards? The horror.

This isn't "crazy hate", this is wanting to know who is pulling my President's strings.
He's taken the appearance of many steps.

Owning a farm is a little different to being involved in sprawling international ventures that leave you open to pressure from foreign powers.
Can you elaborate where you are seeing this? Is this as the post-secondary level or lower? I worked in higher-ed in the US and almost uniformly our institution and those we talked to in mailing lists were adamantly anti-blocking. Remembering back to when I was in HS and our library was outfitted with a few donated computers that shared a 56k connection, I know they had a net-nanny installed, but that was quite some time ago.
The most amazing thing to me is that the 0bama administration was very good at Orwellian manipulation, yet it was rarely remarked upon.

I mean, the guy got a Nobel Peace Prize, then proceeded with eight years of undeclared war on many different countries. "Droning" became a verb...
Cmon Ruby People (or N+1 is not a feature)
The biggest commercial contributor to Wine is CodeWeavers: https://www.codeweavers.com/

Fantastic and very sympathetic small company which offers a next-next-finish installation of Wine. Excellent if you run a Linux desktop in a corporate environment that expects the ability to run Windows stuff.
I think their point of view is to use the OS Accounts, (Talking about macOS) where the browser is focusing only on specific things, while the OS takes care of things like "Accounts".
Note that you would achieve the same thing by pushing more power back to the states. This is the way the country was designed -- citizens retain most all of the power. They give some of that power to their state. Their state then gives some of that power to the nation. The nation ensures free trade among the states, defends against any foreign enemies, and provides basic nation-keeping duties: border, customs, etc. (One might even imagine addressing pollution and other externalities issues as being in the basic nation-building category)

My answer is yes. The more we centralize powers that used to be local, the more we end up in this winner-take-all thing we have going on, where rules are made in a one-sized-fits all manner. That's bad for a multitude of reasons. As much as possible, distributed, self-optimizing systems out perform command-and-control systems. (But not always. When that paradigm doesn't work, the fallback should always be a federated, staggered and layered system)
I'll also point out that Trump lost the popular vote by almost 3 million votes (2%), which makes it really stretch the imagination to even call it a "near-landslide".
Thanks, I did add s6 in response to your comment, but it wasn't meant to be exhaustive, so I left out the others. I didn't add Linux "perf" or a whole host of other such tools either.

I'm not sure how TCL and the Thompson shell relate though.
Really interesting post, cheers. Believe it or not many people are still unaware of this... i'll send it around.
Free Wedding Lightroom Presets
The Scala compiler is indeed slow, mostly because it has to do a lot more work than the Java or Go compiler. However, in my experience Sbt's incremental compilation works well for small to medium sized projects. Beyond that we need a bigger hammer, and we're working on a parallel (and later, distributed) Scala compiler [1].

Full disclosure: I'm one of the founders.

[1] https://triplequote.com/hydra.html
What you said is equivalent to a Python programmer saying that adding semantical value to the “end” keyword in Ruby is unnecessarily awful because you can achieve the same by giving meaning to the indentation level. It’s an entirely subjective matter.

I would also like to point out that Erlang has also very good support and has seen adoption in some very critical systems as opposed to CRUD web applications which is the main domain of Elixir. Most of Ericsson’s products use Erlang to a certain degree, there are a lot of banking systems and aviation systems which make use of Erlang as well, quite a few Internet companies use it to great success, and many more.

And by the way, the semantic meaning of “;” and “.” is an awful lot similar to their use in the English language, you are blowing it out of proportions. This is a trivial thing which you learn after a 10 minutes introduction to Erlang. For me, personally, if one has a problem understanding the meaning of “;” and “.” or learning a new syntax for that matter, I can easily conclude that I probably should not give that person any decision power in designing systems.
i think it's perfectly appropriate to call a true statement vacuous. for instance, a counterfactual conditional is always true; that fact makes the particular truth of a particular counterfactual conditional completely uninteresting, or vacuous. it's true, but in a hollow, empty, vacuous way. what use would there be calling a false statement vacuous?
The Alien Style of Deep Learning Generative Design (2016)
Keep in mind that some of them are using libwine ;)
Top comment alleges the code in question was GPL'd and that the firm stripped the license headers and replaced it with their own copyright:

https://www.reddit.com/r/programming/comments/3cgck1/former_...
giving some alternative facts again are we?
Well, technically you can easily get the majority of the world without the US, but I do agree with you that this does appear to be a step backwards.

A huge problem with climate change is that the CO2 we add to the atmosphere today doesn't have an immediate impact on the climate. It just adjust the balance between energy being added to the earth (mostly visible sunlight and UV) and the energy being radiated away (mostly heat). It takes time - decades potentially - to reach a new steady state. That's why you hear that even if we stopped ALL CO2 release today (which is obviously impossible), warming would continue for a period of time.

The end result is, even let alone the difficulty in perceiving global shifts in average temperature amidst the significant noise, we shouldn't even expect to see the majority of the shift immediately. But it appears that isn't fully understood, so many people take the lack of an obvious difference year to year as evidence against climate change.
They look like the old League of Legend patch notes:
http://na.leagueoflegends.com/en/news/game-updates/patch/pat...

I like LoL's current ones better: http://na.leagueoflegends.com/en/news/game-updates/patch/pat...
Yikes @ the mental health conclusions
Adobe Creative Cloud Is Coming to Chromebook
Looks awesome. A few points though... on the demo pages you have up, make them more realistic. You want to be showing potential clients exactly what it could and will look like if they work with you.

The idea is sound - and you obviously have the skills needed to provide it. Just put more emphasis on how it will look and work, show off everything you can do on the landing page.
Or better extend the language to allow making code partially safe in many ways. This would make the wrappers much better.

Make it easy to reason about useful kinds of partial safety. Make it easier to define properties of external systems that Rust does not control.
Is there any historical evidence suggesting that democracy can make enough people happy enough (to justify the pains of political negotiations) at the size/scale of the U.S?
Yes, it's very interesting to see them apply even more of the same logic that failed miserably last year. Also in other countries with the same tendencies, they still don't seem to get that crying about how terribly racist and fascist these people are doesn't actually reach the intended audience.

Maybe we can blame echo chambers for this...
What documentation would be more documentation?
The Youtube channel Charisma on Command has interesting videos explaining Trump's success.

https://www.youtube.com/user/charismaoncommand/search?query=...
D-Wave's $15M quantum computer runs a staggering 2,000 qubits
> That's just common sense, not gaming the system.

I bet about 95% of people would disagree with you. This is a very dark pattern, few people are engaging in it, and if you told me non-anonymously that your app does it I would put you and your app on my blacklist of "not to be trusted, ever".
Great post. Recommended.
That's strange, I just bought the book off Amazon yesterday. Coincidences, coincidences.
Ex-Goldman programmer's code theft conviction revived by New York court
One example of Trump acting against free press was his refusal to answer a CNN reporter's question because he didn't like their coverage of the golden showers thing.

That said, parent didn't say Trump is already doing all these things; they said that people fear he will, based on his actions and statements so far.