skysight-inc/HackerNews huggingface dataset:
"Evidence" of what? A line drawn by Argentina around territory they want to take over? I'm going to assume you're kidding.

a) anyone can claim any territory they like; that doesn't automatically make the claim legitimate or credible

b) claiming a territory is academic unless you can actually enforce your claim

c) Britain claimed the Falklands (decades) before "Argentina" even existed in any form as an independent country

d) if a "British" claim and presence on islands with no native population is illegitimate, what does that make a "Spanish" claim and presence on land taken from the native population that is now called "Argentina"?

Maybe the people of the Falklands are going home when the people of Argentina do.

> No, they did not claim it before that year.

https://www.google.com/search?q=1765+falklands+claim

https://www.google.com/search?q=argentine+independence

Even after so-called "Argentine independence" - half a century after Britain claimed the Falklands - "Argentina" didn't exist even remotely like the country we know today.

In fact even by 1865 - 100 YEARS after the British claimed the Falklands, and 15 years after "Argentina" relinquished claims in the treaty of Arana Southern - this is what "Argentina" looked like:

http://www.davidrumsey.com/luna/servlet/detail/RUMSEY~8~1~21...

So who do the British owe the Falklands to again? Buenos Aires? United Provinces of the River Plate? Argentine Confederation? Chile? Uruguay? Araucania and Patagonia? Spain?

Tell me again the one about returning stolen land.
Is it crazy to have research separate from government, and enforcement the job of the "real" EPA? I'm thinking something like how the FCC and FTC work. They do very few studies on their own; they evaluate evidence, make binding resolutions, and enforce rules.
We have it since Eiffel and Common Lisp, but not all mainstream languages were keen on adopting design by contract.

On .NET it is a plain library, which requires the VS Ultimate editions to be useful and on Java it was mostly third party libraries.

C# design team is considering adding proper support as language feature, but it seems to be a very far away feature still.

C++20 might get contracts, but C++17 just got ratified, so who knows.

D, Ada 2012 and SPARK do already support contracts.
In practice, testing _all_ possible inputs is usually not a feasible goal, and often downright impossible (since it would mean solving the halting problem).
While there are some languages and problem domains where formal verification methods are a possibility, for most of software development the best you can do is reducing solution space.

A sane type system would be a start for example.
And it's no coincidence that functional programming and practices with emphasis on immutability are on the rise; Rusts ownership system is a direct consequence as well.

TDD _is_ important, if simply for enabling well-factored code and somewhat guarding against regression bugs.
But - decades after Dijkstras statement (which someone has already posted in this thread) - the code coverage honeymoon finally seems to be over.
If you're trying to claim dogs have more rights in Islam than women or that such a ridiculous comment is a basic property of Islam then there's not much hope for you mate.
Laura Poitras Does Not Want to Talk About Marlow Stern's theory "that there is a relationship between WikiLeaks and Russia".
Latest HVLP Spray Gun Kit Available in Market
> the correct solution is to use a constraint to enforce the uniqueness

That would of course be correct for a natural key. It seems that you too recommend using natural keys and I agree with you on that point. Natural keys are required so that a database can represent the real world accurately and enforce essential business rules. We all rely on websites to enforce the uniqueness of user names; we all expect our bank to enforce the uniqueness of account numbers.

Those who live in an ivory tower where data quality doesn't matter don't like natural keys; those who write applications that have to work in the real world know how foolish it is to leave out natural keys. Those older and wiser heads will have seen and dealt with the serious practical consequences of shoddy databases where natural keys weren't implemented. I think that is the problem being referred to in this thread.
Wooooooooshh
Yeah I don't care how much Joe Rogan tells me everyone sees elves, I did DMT twice and never saw any elves or felt any presence.
Show HN: Job Collections – Find a startup job you'll love
Hi HN

Today I'm launching Job Collections. It's a new way to browse job openings around a certain topic rather than just position and location.

My thinking is that if you're say a developer in San Francisco, there's plenty of options for you to choose from so it doesn't make sense to search for "developer in san francisco" and then wade through every job listing hoping to find something you fancy.

Instead, you want to say "I want to learn more about Blockchain. What job should I get?" – Job Collections now make that possible. You can browse all jobs at Blockchain-related startups.

We also have collections for jobs at "Startup Tools" (e.g. Invision, Stripe, etc), Travel Startups (Booking.com, Couchsurfing, etc), and a ton more.

Last, but not least we also turned the 'Breakout List' into a collection so you can easily find a job at one of the fastest growing startups.

Curious to hear your feedback and if there any collections you'd like to see.

https://betalist.com/jobs/collections
well I think a big minus in the ecosystem is that many projects (including something popular like NHibernate) actually pulled themselfs too much into the framework, they didn't created their own (which of course wasn't/isn't bad) but it tangled it, with a lot of implementation from microsoft (which microsoft now breaks).
I always was very curious why that happened. I mean .NET has something like DataTable/DataReader, classes that were fully!!! implemented. In Java for SQL access you just gotten some interfaces and a Socket, the rest was up to you. (and somehow that worked, we have drivers for every major database in Java). Actually besides some java.io.InputStream/java.io.Reader there weren't such high level classes used/are used in these drivers. I mean since java8 we now have some nio classes that makes byte manipulation a lot of easier, but most stuff is still implemented by the driver and not any framework at all. (even ResultSet/Connection/DataSource is just an interface)
Hundreds of Android Apps Silently Track Users with Ultrasounds
User-Defined Types in C++
I inherited a code base with LOTS of test coverage.

Made one small change and everything broke.

Looked into the tests, oh the humanity!!!

Dropped the test suite entirely, haven't had any issues since.

We have VERY good logging and notifications though so anything goes wrong we know all about it.
Or

dictAB = dict(dictA, **dictB)

in Python 2 and 3.
> A few years down the line, you now have more choice, Netflix has improved without raising prices,

Netflix has raised prices[1]. They raised it from $8.99 to $9.99 (+11%) - they even scrapped the previously grandfathered $7.99 subscription from early adopters.

1. http://money.cnn.com/2016/04/19/technology/netflix-prices/
Hmm...true 100% input coverage? Including the time domain? (Order dependency, Idempotence, etc...) :)
Interesting links, thanks. I would like to point out though that since it asks for (though doesn't demand) email addresses to keep up with the book's progress, Tringas's book is not entirely without a profit for him. (Based on the assumption that a mailing list is highly valuable for these kinds of entrepreneurs.)
Any data on BBR vs Reno and Vegas sharing?

Link capacity estimation is easy. It's the co-existing gracefully with all other flow control options that's tricky.
Sorry, I meant harry8's scenario, not cup's
Join the 11th International Conference on Risk Analysis and Hazard Mitigation
Microsoft Issues Emergency Patch for Critical RCE in Windows Malware Scanner
A Good Zero Knowledge Proof
I think you've intentionally taken what I said to an extreme that makes it absurd. Of course I wasn't saying people should comb through a program until it's bug-free before releasing it.

That said, no one (in their right mind) intentionally releases buggy code. They may release incomplete or under-tested code, of course. But that's not what I'm talking about.

I'm saying that when someone feels like they're "done" (in a reasonable amount of time), some people will end up with more bugs than others. If the trade-off is 3 more hours of work for 1 fewer bug, that's an incredible economy.

And, of course, no metric is perfect or comprehensive. But "bugs per hour" is much better than LoC per hour.
Youtube is probably not a sound example here as posting a trove of copyrighted content was a deliberate strategy in the larger scheme of having youtube bought by a giant actor for a hefty sum of money by a group of people from the paypal mafia with experience in this shady business.

From the get go the exploitation of illegal content (and other shady tricks) was made for the sole purpose of personal profit and had no intent on making the world a better place.

In other words youtube has been evil from the start, with evil intent, using evil tricks as part of an evil agenda. There was no room for ethics there.

Unless proven otherwise, IPFS seem to not have such a nefarious purpose even to work towards a greater good, due to its nature will hardly ever be made up for sell and has to leverage different mechanisms due to being a protocol and not a website in need of registrations.
See https://github.com/dotnet/netcorecli-fsc/wiki/.NET-Core-SDK-... for quickstart and info for F# on .NET Core.

VSCode (with ionide), vim (vim-fsharp binding), emacs (fsharp-mode) already support it, with full intellisene.
VSCode also support debugging.

About the aspnet stack, same future limitation of C#, as discussed on the post.
But there are also alternative web stack, like Suave.
This is already a problem in other parts of the world.

The Japanese government has rules on which IME (The software that sits between the alphabetical keyboard and the thousands of Japanese characters that are needed in normal text) public employees can use, since some of them draw on remote data and ML algorithms.

Baidu has a really good and popular Japanese IME which uses a large server side dataset and is problematic in official use for obvious reasons.
Maybe it's a joke? Or some kind of hint about testing "frameworks" being too complex? Personally I think this is hilarious because I honestly cannot understand how people even need a library to do testing in the first place.
Hello, my name is Sander and I’m a workaholic
I’ve just read a great article that points out I can be a workaholic. And so can you…

At least, that’s the answer I got from the test created by researchers from the University of Bergen in Norway.

Can I trust this test? Well, it’s rather more complex than that. Especially as I’ve always been suspicious of this being a possible case.

Of course, there are days when I’m lazy as hell. Getting out of the bed way after any working person should. Not being able to get anything done within the awake hours. We’ve all been there!

At other times, I’d rather spend the whole day crawling through catacombs and escaping from an exit room. Going to cinema and playing boardgames through the night. Something I let myself do only couple of days ago.

Yet, all this doesn’t mean I’m not a workaholic.

Moreover, I’ve been pushing myself hard this past month to live such a life. For a change. To charge my batteries after a long period of only working has come to an end.

So what shows that I’m a workaholic?

This test uses seven basic criteria to identify work addiction. All by scoring responses to the statements on the scale of (1) Never, (2) Rarely, (3) Sometimes, (4) Often, and (5) Always, as follows:

* You think of how you can free up more time to work.

* You spend much more time working than first intended.

* You work to reduce feelings of guilt, anxiety, helplessness and depression.

* You have been told by others to cut down on work without listening to them.

* You become stressed if you are prohibited from working.

* You de-prioritize hobbies, leisure activities, and exercise because of your work.

* You work so much that it has negatively influenced your health.

The researchers suggest that if you respond with “often” or “always” to at least four of the seven items, you may be a bona fide workaholic.

In my case, I got the jackpot.

More on that in my blog: https://medium.com/sander-gansen/hello-my-name-is-sander-and-im-a-workaholic-6bbb263846ca
I would certainly go with ignorant. I stay away from Windows and, in
consequence, from .NET. I've heard about NuGet, but I haven't used it, so
I don't know if it is any good.

On the other hand, I've seen both strategies (large and small packages) in
use, and the better dependency resolution mechanisms and package building
tools, the better small packages work. I don't need to install plethora of
GNOME and Python packages, I just run `apt-get install exaile' and have it
installed. From programmer's perspective this works equally well; I may want
to include some specific part of Boost library, but I can also run `apt-get
install liboost-all-dev' and be done, and leave detecting the actual
dependencies to package builder's tooling.
Usually the culture on the .NET side of the fence tends to be more practical code oriented for quick solutions to daily use cases, than the enterprise solutions targeted to every possible use case one might eventually encounter.

I love working on both sides, but sometimes we get into these kind of issues.

On Java side I never liked that Sun engineers never grasped the expectations of what being a desktop developer actually means (AWT, Swing, Java 3D, JAI, JDI...). Which is an area, where Oracle actually managed to handle slightly better, but lets see.
The article illustrates what happens when you have inexperienced or poor developers following a management guideline.

To see how 100% coverage testing can lead to great results, have a look at the SQLite project [1].

In my experience, getting to 100% takes a bit of effort. But once you get there it has the advantage that you have a big incentive to keep it there. There is no way to rationalise that a new function doesn't need testing, because that would mess up the coverage. Going from 85% to 84% coverage is much easier to rationalise.

And of course 100% coverage doesn't mean that there are no bugs, but x% coverage means that 100-x% of the code is not even run by the tests. Do you really want your users to be the first ones to execute the code?

As an anecdote, in one project where I set the goal of 100% coverage, there was a bug in literally the last uncovered statement before getting to 100%.

[1] https://www.sqlite.org/testing.html
Different instances have different terms for things, some more sensible, some less so. On cybre.space you don't "toot", you "Ping!", and there's another instance where you "Awoo".

Yes, the terminology doesn't help, but used to be stupid to say that you would "tweet" something.
So generally, I write a test when I want to make an assumption an certainty.
If I can't be certain that something is doing what it's supposed to I write a test for it, make sense?

So

```
Int => add(x, y) => x + y;
```

Doesn't get a test, however

```
Int => formulateIt(x, y) => (x * y)^y
```

Does
In their own blog post they specifically mention that (https://content.citymapper.com/news/1800/introducing-the-cit...)

> London is actually not that badly served, but other cities have major gaps
Did anyone manage to figure out a simple powershell-incantation to figure out if a system is properly patched/secure?

https://technet.microsoft.com/en-us/library/security/4022344

Simply lists: "Verify that the update is installed

Customers should verify that the latest version of the Microsoft Malware Protection Engine and definition updates are being actively downloaded and installed for their Microsoft antimalware products.

For more information on how to verify the version number for the Microsoft Malware Protection Engine that your software is currently using, see the section, "Verifying Update Installation", in Microsoft Knowledge Base Article 2510781.

For affected software, verify that the Microsoft Malware Protection Engine version is 1.1.10701.0 or later."

As far as I can figure out, if:

Get-MpComputerStatus|where -Property AMEngineVersion -ge [version]1.1.10701.0|select AMEngineVersion

prints something like:

AMEngineVersion
---------------
1.1.13704.0

according to MS one should be patched-up and good to go? (The command should print nothing on vulnerable systems).

However a hyper-vm last patched before Christmas (it's not networked), lists it's version as: 1.1.12805.0 -- which certainly seems to be a higher version than 1.1.10701.0?

I'll also note that using "[version]x.y.z.a" apparently does not force some kind of magic "version compare"-predicate, based on some simple tests.

Any powershell gurus that'd care to share a one-liner to check if one has the relevant patches installed?

Am I looking at the wrong property?
> Kinetic Weapons?

If the US has kinetic weapons in space, I very much doubt they would plan to use them against North Korea. NK is decades behind in military technology, and the US/SK forces would have air supremacy over NK in a matter of hours, with the capability to pummel anywhere in the country with conventional weapons with relative impunity.

If they have them, using them would almost certainly tip their hand to Russia / China etc, and lose them a significant strategic advantage in any future conflict. Trump and his cronies have been talking tough about China (Bannon literally said 'We're going to war in the South China Sea ... no doubt') and while it is a) doubtful that this will happen, given the recent warming of relations with China (mmmm... chocolate cake) and b) in the event it does happen, unlikely to escalate to the use of previously undisclosed super-weapons, it still makes sense to keep this hypothetical weapon secret from larger, more-powerful potential adversaries, just in case.

Also, if they're rearming with Kinetic Weapons it suggests they've already fired a few

> Power supply for electronic warfare sources?

Since you mention a power supply, I'm going to assume you don't mean dropping EMP bombs, which, even if they exist would be more easily dropped from high altitude aircraft, and would likely be less effective against such an outdated military.

I'm going to assume instead you mean some kind of cyber-weapon. The alleged cyberwarfare campaign against NK's ICBM programme most likely takes the form of malware (like stuxnet) introduced through conventional hacking methods or even on-site deployment. Sure, you can send someone a phishing email from space, but it's not any more effective than sending it from an office somewhere.
David Lynch on the return of Twin Peaks and why he will never make another film
Edit Premiere Video to Windows Movie Maker
> The worse the developer, the more tests he'll write.

As always, generalization is the tool of the fool (sorry for the fool part, but it rhymes ;) ). Writing pointless stubs / mocks and testing execution order of statements is definitely a bad pattern, writing many and good functional, e2e and integration tests however is not.
I'm jus going to name-drop Felienne Hermans, who did an entire PhD on bringing proper software tools and best practices to Excel:

http://www.felienne.com/publications

Here is one of her more recent versions of the talk she gives on the topic:

https://vimeo.com/162206549

I think she raises especially important points when she mentions that Excel is used everywhere, that it suffers from all the technical debt problems that regular software development suffers from, and that buggy Excel sheets have big consequences (the austerity paper bug comes to mind[0]). So even if "real" programmers don't want to program in it, it still should be taken seriously given its place in the world.

https://www.bloomberg.com/news/articles/2013-04-18/faq-reinh...
The big error being made in this article (and most of the comments here) is the assumption that the purpose of unit tests is to "catch bugs." It isn't.

The purpose of unit tests is to document the intended behaviour of a unit/component (which is not necessarily a single function/method in isolation) in such a way that if someone comes along and makes a change that alters specified behaviour, they are aware that they have done so and prevented from shipping that change unless they consciously alter that specification.

And, if you are doing TDD, as a code structure/design aid. But that is tangential to the article.
Hypothesis – Haskell QuickCheck Like Testing for Python
To be fair to the original commentor: All these 2.0 names (.NET standard 2.0, .NET Core 2.0 and ASP.NET Core 2.0) make it hard to understand what sometimes is talked about. I also first understood that ASP.NET Core 2.0 is now dependent on .NET standard 2.0. This have caused no problems for desktop, because .NET FW 4.6 implements .NET standard 2.0 as far as I understand.
Generic Python App Structure
Fact Based Human Resources at ABN AMRO Bank
I think the old rule of waiting till version 3 for Microsoft products applies here.
The greater sin is not failing, as failing is expected on the road to success. The greater sin would be to not jump when the opportunity presents itself.

Maybe look at it from a different point of view, if to someone in Turkey trying to access wikipedia it makes a difference then it's already a success.

It's a question of where you want to dray the line, and maybe the consequentialist drawing the line when ipfs takes over the world and gets 3 billions daily users is far fetched.
I wonder how does it affect Azure? Can such security hole affect Azure security?
As someone from the UK I always find it astounding that Americans are used to paying money to.. withdraw or deposit their money. How did this become the norm? I find it a bit disgusting actually.

The only cash machines that charge over here that I've seen are rented ones at packed events (clubs, concerts etc).
On top of that this statement will lead (some) new developers to just say "oh yeah I don't need tests because the gosus write only a few tests as well". Same pattern can be observed in DOTA or other games where newbies say "oh I don't need wards/intel because pro players don't need it either". The difference is that pro players already know what's going on.

Also worth a read while we're at it: https://www.linkedin.com/pulse/20140623171038-114018241-test...
How to grow as a tester
Curious as to when you had this problem, I thought the manual was fairly descriptive: https://nim-lang.org/docs/manual.html#types-reference-and-po...

I'm sure your original question was more nuanced, but for anyone wondering about this basically any ref type is heap allocated, and you do this by calling new, so:

type MyType = ref object
var myHeapObject: MyType
new myHeapObject

Pretty much anything else is stack allocated and doesn't need the GC if I remember right.
Free VPS Control Panel