skysight-inc/HackerNews huggingface dataset:
No one complains about cars and wants to restrict them the same way drones are treated. DJI has an interest in making sure that their drones follow the law. The entire drone industry and their lawful users also have an interest in making sure that no one is giving drone pilots a bad reputation. DJI is part of this and wants to spend their money to make sure that people know that unlawful flights are not tolerated by any drone users. I don't think anyone would be complaining if Ford put out rewards for information on hit'n'run drivers.
For Microsoft/Hotmail, you'll want to register your IP with their feedback loop (Junk Mail Reporting Program):

https://postmaster.live.com/snds/JMRP.aspx

It's free. A bonus of this is that you get reports about emails from your IP that their users mark as spam.
A few weeks ago I monkeyed around with PlantUML in Emacs org-mode using babel. It's a great diagramming tool as an abstraction over Graphviz...it does not have to be used within the context of UML.

I found the PDF version of the PlantUML documentation a useful way to achieve noise reduction, http://plantuml.com/PlantUML_Language_Reference_Guide.pdf
A monoid (weaker than group: doesn't need to have an inverse) is an example of a category, with a single object G (namely the underlying set) and a lot of arrows from G -> G.

If you take the natural numbers N = {0, 1, ...} as a set and + as a binary operator forming a monoid (N, +, 0), then the arrows would correspond to (. + 0), (. + 1), (. + 2) etc. Here (. + 0) can be seen as the identity arrow, and composition of arrows (. + a) and (. + b) yields a new arrow (. + (a+b)).
Apollo built a whole Unix-like in Pascal that ran on their workstations.

https://en.wikipedia.org/wiki/Domain/OS
Net impact on society: You and all your friends use UberPool to get around San Francisco for a few bucks one way. No more car insurance or car lease payments for 24 year olds. Now the Uber riders can afford their medical bills or college tuition. Uber is bad, right?

Very few people care about the direct negative externalities you mentioned, including here in HN.
The "regulate it like water" argument is less persuasive since we found out that many of our water utilities are making our children retarded because of lead poisoning.
> For example, if you lie to your employer on your time and attendance records and, unbeknownst to you, he submits your records, along with those of other employees, to the federal government pursuant to some regulatory duty, you could be criminally liable.

This blows my mind. I have a pretty dim view of lying in general - I've railed on HN against "padding" one's resume in any way, but I for one had no idea you could lie to your employer (decidedly not a criminal act), then through no action of your own your employer could turn around and make you subject to Federal prosecution.
I reinvented (wheel) Topological sort for parallel scheduling
Allows clients to use the same APIs as backend services.

Whether this counts as a bug or a feature depends on your APIs. I'm currently unfucking a suite of applications which bought into "your SPAs can just call backend services directly!" without getting a better security model - so the SPAs use hard-coded tokens that don't do any authorization, just like the backend services... facepalm
Couple of hints:

- consider the flight times (you don't want to arrive at your next location on 23:00)

- only search continental destinations, this does not work that well for many destinations.

- consider the distance from airport to city (airport of paris is 2 hours traveling)

- have a backup plan (rental car)
if the robots breakdown somewhere that's out of the way, just send replacement robots.

and when there are too many littering the place send astronauts to move them out of the way.
Origin Ventures raises $80M to lead investments in startups
Whitepapers about DevOps, Digital Transformation, IT, AIOps, and More
Nah we just send a couple hundred clones
Even with very expensive risk avoidance these kind of missions can be ridiculously failure prone. Just look at how many Mars missions have been lost. Is there really much difference between a process that produces a 20% failure rate and one with 80%-100% (lost all your data)? This would seem like a difficult balance to strike.
I'm feeling it's an earnest attempt by someone to set up a p2p email system (that will also send email normally), that wasn't quite finished (like: how will we handle certs, what about dynamic IPs) but was picked up by someone good at marketing who convinced then it was awesome and has created a tidy looking package, etc..

I actually like the idea: a plug-and-play email device that will do p2p with your known contacts.

Just needs more development to make it work, and then some more to make it work securely!?

With IPv6 some issues could be solved.

Are there other examples of similar systems?
drag & dropping image from another tab works here (vivaldi 1.9.818.22)
Ok, I do agree that it's not a black/white thing, it's a spectrum. If that was the point you were trying to make, then we're on the same page. In my personal case, I think I am pretty consistent on where I am in that spectrum. I might wiggle a bit, but it's more like measurement noise, not swings up and down from one end to the other. For example, I just can't recall the last time I genuinely enjoyed a big event with tons of people.

To your point about labels, I guess some people do label themselves in an "exclusively A or exclusively B" manner, but I think there's also a lot who say "I'm an introvert/extrovert" as short hand for "I'm on that end of the spectrum", it's just more convenient, if technically a bit unclearer.
Abstracting the Clojure def-macro pattern
I love C#, .Net for server side work. My old project was C# servers on Windows Servers and it worked great. I much prefer to C# to Java & Python which is what I do now, I'd even go so far to say as our Windows Blades were more reliable and easier to maintain than our current Linux ones.

The biggest problem with .NET and why I switched is that Linux is free and now has biggest mindshare. Most free and opensource products really are Linux first platforms.

It used to be that you couldn't get fired for choosing Microsoft, but its flipped that free software is so good you feel silly paying for commercial products like Windows.

I can't see much future for the Windows platform which is why I changed. So I think the headline is wrong - any good developer can be happy in C# and write great .net apps - so the good .NET developer does exist. But its also kinda true because the balance has shifted and great new applications are now on new platforms.
I'd imagine the rate is more or less constant, with the exception of very new software.
It's not about your "full right". It's about whether or not it leads to civil discussion.

The biggest problem with discourse is that we think we know what the other person is thinking.
> If you think Let's Encrypt is an acceptable solution for all the affected organizations,

I think the world is changing in ways which may cause the affected organizations to reconsider what they consider an acceptable CA solution.
IMO, TCP/IP Primer is really good.
NFC Cassette Music Tape Sticker
Any chances we could read more about this somewhere? Sounds very interesting.
Scenario 1: Your solar power is used near the site of the power installation. In this case, there must be people living near the site in order to use all that power. Those people require freshwater. Therefore, there will be a means to transport water to the site.

Scenario 2: Your solar power is used elsewhere. In this case, there must be a means to transmit power to the people who will use it. Those people are likely to live near seawater. The closest such people are also likely to have a limited supply of freshwater.

You are already either transporting water to the solar site, or transporting power away from it to somewhere else. So the idle capacity of the solar plant will be usable for desalination and/or wastewater reclamation. And I think aqueducts, particularly seawater aqueducts, are cheaper than you realize. The majority of energy required is in increasing the elevation of the water, and that can be done with surplus power, too.
Yes, there is a theoretical limit for temperature.

https://en.wikipedia.org/wiki/Absolute_hot

For all intents and purposes, however, it is preposterously enormous.
With mainstream programming jobs that can't happen. Any proficient JavaScript developer can pick up in matter of weeks/days any JS framework, or would you like to keep on insisting, e.g. on Angular?
If you were primarily a .NET developer for the last three years, and then you switch the stack for a year/two, would you miss out something from the .NET world? Hardly. The foundation and good programming practices change slowly. The previous experiences are burned in in the memory and don't seem to fade.
The 3-D Printer That Could Finally Change Manufacturing
> If you're an ebook reader, you may also have noticed that Amazon has significantly raised prices on e-books in 2016. 25-50% on average it seems to me, and I often now see ebooks that cost the same as physical books. Now, I'm not going to buy a physical book because my ebook price has increased, but I do buy slightly fewer ebooks now.

When I first bought my kindle, I could get tons of ebooks for a dollar or two less than paperback. Now the ebooks are often a dollar or two more than the paperback. Occasionally, I have run across books where the hardcover was cheaper than the ebook.

Fortunately, I can just use Overdrive[0] via my library to get books delivered to my kindle now.

[0]: https://www.overdrive.com/
Statement from the company: https://blog.bitmain.com/en/antminer-firmware-update-april-2...

tldr; Code left behind from abandoned feature implementation to allow owners to remotely shutdown miners that have been stolen/misappropriated. Our bad... sorry.
http://archive.is/intetics.com

maybe HN should have a bot that creates an archive.is dump for any submitted short-URL?
If you're using a configurable logging library like logback for Java, it is fairly easy to have your application support both structured logging directly to Elasticsearch, and logging a more human readable format to disk or stderr for development.

It would be nice if there was a standard format you could just ship to a logging service, but the closest seems to be syslog, which is somewhat janky.

Re-parsing logs after they have been formatted for human consumption feels like an anti-pattern motivated by anemic logging libraries.
Most consumer hard drives (and indeed bays) are not designed for hotswapping and it can cause damage (though maybe modern build quality is good enough that you'd be lucky most of the time). "Downtime" on your home server in your closet is a minor inconvenience at worst.
Weipoint – A Search Engine for the Decentralized Web
No it wouldn't for the same reason the article isn't a good introduction -- it relies on concepts that a naive reader doesn't understand. In your example the aliens are unfamiliar with kitchens, but the text mentions kitchens without ​any explanation. Similarly the article mentions and uses "sort" without any explanation. It seemed to be a fundamental concept but without any idea what a sort was I gave up. Every article on category theory does this.
> would be praised for cheating the government at a grand scale while our society is busy watching what poor people buy with EBT

The former happens so rarely it doesn't get much attention at all.
Definitely. The problem is that consumers (especially small business) so often end up buying an overpriced and badly configured black box, when a decent expert would have been able to set up the same software properly.
>Was it a necessary insult?

Arguably, yes.
> you can use the atmosphere of Mars to slow down

Is that true? Because my understanding is that Mars have just enough atmosphere to cause troubles but not enough to help.
Hence the tumbler design of smaller spacecraft landing on it and insanely complicated landing of Curiosity which is larger.
Is this using skyscanner API?
I got a $false result when putting Miami origin and Osaka, tokyo, lax (no direct flights).
Bad optics. H-1B is mostly used by Indian outsourcing companies to help hold down wages and implement age discrimination against US workers. Why not let them do their dirty work?
Both profit-motives and a re-election motives can disrupt efforts. But I think being small is significant leverage for achieving new things, and small + technology is compounded leverage.
Cyber Attack Holds High School Hostage – $37K Ransom
I like the movie Moon. It deals with sending robots and people to mine Helium-3.
Looks great! I would alter the look slightly to ensure the atomic numbers are closest to the symbols they refer to. At the moment, your atomic numbers for one line seem to be closer to the symbols of the next line; this might be confusing at a glance.
If he had flamed out, we'd probably hear a sob story about the oppression of student loans.
This has to be the case. Professionally, I've always found myself lacking in advanced projects to cut my teeth on, but also too time constrained doing the routine work to be pursuing anything "interesting."

I don't blame the company, of course, but I wonder if it isn't sound in terms of business to amortize some of that risk by considering that risky projects let employees self-train and learn new skills that could be of value.
Something like obfsproxy[0] or a straight up http proxy wrapped in SSL and a VPN service that acquires and rotates new IP addresses regularly would prevent this. It would be an expensive game of wack a mole for the ISPs at least, personally I'd just set up a digital ocean droplet for my traffic. Less technical users can employ Streisand[1].

[0]https://community.openvpn.net/openvpn/wiki/TrafficObfuscatio...
[1]https://github.com/jlund/streisand
Cloud offering here: we run ECC memory on all our servers, natch. It's not turtles quite all the way down.
They sure do like spikes... whatever that means.
What is this actually doing? It's a good idea and the UI is great, but the colors it recommends are ... wrong? I used an image with 6 strong colors in it[1], set it to pick 6 colors, and while I got red, orange and yellow as expected, I didn't get purple or bright blue. Instead I got a grey and two different greens. I guess that might be because those colors wouldn't work in a palette but it's a little odd that it missed them out.

[1] http://www.soapqueen.com/wp-content/uploads/2015/06/Color-Pa...
I like this approach much better https://github.com/n8fr8/talks/blob/master/onion_things/Inte...

There is no need to rely on closed source third party services and the security model is very robust.
The FCC regulated dsl as a telecommunications service until 2004. But dial up and cable internet were not.

That's part of the reason why cable internet is so dominant. Dsl companies were required to let competition use their last mile. So nobody wanted to invest.

It was only after telecoms got the gIt assurances that the FCC wouldn't unbundle fiber that Verizon and att started expanding.
Euginia Cheng, a category theorist, has written Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths, and How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics.
I am not sure why, i started VB.Net and somehow i dont like any other language i can write an app (CRUD) in a week. Never had an issue , help is available code is like english to me most of the time.
Sadly I'm quite sure that these issues are always solved by force. I simply cannot imagine that countries with the means to get to <valuable space resource> will abide by the decisions of a foreign organisation which has just given said resource to your frenemy.
SiriusXM Acquires Automatic Labs Inc
The Martian atmosphere is commonly used to aerobrake. If you can use parachutes in the Martian atmosphere (at least to some extent), you can sure as hell use it to slow a spacecraft.

https://mars.nasa.gov/mro/mission/timeline/mtaerobraking/

https://mars.jpl.nasa.gov/mgs/sci/aerobrake/SFMech.html

https://mars.nasa.gov/odyssey/mission/timeline/mtaerobraking...

etc.

Curiosity's complex landing system had little to do with the atmosphere, and a lot more to do with a) not wanting to land the thing on a hillside or in a crater it couldn't get out of (which nearly happened to Opportunity - http://www.space.com/36587-mars-rover-opportunity-landing-si...) and b) the much larger size than previous rovers, making airbag bouncing less suitable.
https://en.m.wikipedia.org/wiki/Depressive_realism
6 Brilliant Blogs Every Programmer Should Read
Important terminology nit: subtypes and derived types are two different things in Ada. A "subtype" is essentially a local new name for an existing type (it makes little sense to export subtypes). A derived type is a new type that is based on another type, but can be restricted to a subset of values of the original type, and cannot be interchanged with the original type.
Why would anyone even bother to respond to a statement "Why you can't be a good .NET developer."? A person saying this is obviously deranged. And why is it worth having this on hacker news? Someone seems to be boosting this blog lately. Another useless blogpost on top of hacker news.
Agner's new idea: Re-linkable libraries
i did post it in a few places...
Please define "good pay" and "good benefits". For me, the "pay" part would have to be substantial. The tangible benefits I currently have are average. The flextime is fantastic though (I work remotely at least once or twice a week and there is a very flexible notion of "business hours").
The idea of "getting rich" as a sign of gods favor was probably started in modern USA by the Pentecostal and charismatic movements probably around the 50s. It is called prosperity theology and Calvinists have been some of it's most notable opponents. Famous modern Calvinist preachers like Paul Washer and John Piper have made a name for themselves by criticizing prosperity theology.

That said, even prosperity theology, as perverted as it is in my opinion, still sticks to basic Christian tenets like "blessed are the poor" and the importance of charity to the poor.
how do the devices connect to the Cloudflare network? IPsec/GRE? TLS VPN? other?
I can't disagree with that. But there are ways to make the best of a less-than-ideal situation.

I've seen many situations like this and I didn't want MakeThingsWork to feel like he has no leverage here. He probably does. That will help if he wants to negotiate a resolution.
Knowing the language grammar and semantics is one thing.

Knowing the language grammar and semantics, standard library, good quality third party libraries, database drivers, official build tools, IDE and VIM/Emacs plugins, best practices, main blogs,tooling for native applications, tooling for web applications, backend servers, .... is another matter altogether.

Now multiply this per each language.

I rather constrain myself to JVM/.NET stacks, with a little C++ on the side for pure native stuff. That is already a lot to keep on my head.

Everything else is nice to dabble on rainy weekends, but that is about it.
I think what they mean is by defining the contract first as a .proto file, and by having type-safe languages automatically read them and generate code, they are able to have a sort of cross language type safety.

If you create a method like

double GetThing();

and then you want to change it to:

int GetThing();

All you have to do is change it in your proto, then both the typescript in the browser and the go code in the server will adapt, and shout at compile time if the types don't match. This wasn't the case when the server was sending JSON to a web listener. You'd have to hunt down the dependency to that method and change it.
Lose More, Win Big: The Power of High-Failure Strategies
Interesting, I'd never really looked into that...perhaps someday we'll figure out a good solution for thermal neutrons.
Along with "Of or pertaining to papal bulls".
> There's nothing about REST+JSON that prevents type safety, as far as I'm aware.

Well, except for the fact that JSON is pretty much untyped? I don't understand what there is to not get. If you want type safe RPC you have to use an RPC system that at least has types! What stops me sending `{ name: 12, age: "Hello"}` to your JSON RPC system?
Personally I consider it a bug, but I was trying to avoid being too dogmatic in my comment, given it's clear i'm already decidedly biased in favour of GraphQL.
The idea is that, in the majority of markets where a single ISP has an effective monopoly, that ISP can do what it damn well please within the limit of enforceable law and regulation, and there's not a whole lot that can be done to prevent it.

The idea is further that, not only does it make pragmatic sense for so favorably positioned an ISP to act aggressively in defense of that position, but such ISPs have been observed to do so, as for example with AT&T's successful defeat of the recent municipal broadband expansion bill in Tennessee. AT&T's position is that taxpayer money should not be used to fund competition with private industry, which all sounds very fine and upstanding, except that the private industry has already stifled any possibility of competition by means of the sort of monopolistic activity which US governments spent much of the early 20th century working to restrict, in order to prevent the unsavory outcomes that such activity has been observed to produce in direct proportion to the degree in which it's successfully pursued.

So, sure, they can charge high rates for traffic if they want, in addition to charging more or less whatever rates they please simply to provision backhaul in the first place. They can impose a $20/month, or higher, charge for reliable access to video streamed from services other than those they themselves run. They can do whatever they're able to get away with - and in an environment of permissive and favorable legislation and no effective private competition, they get away with a hell of a lot.

In case it matters, I'm really not progressive, and I understand business reasonably well - I've been in private industry my entire career, with no one doing me any favors, and if I didn't have at least a generally accurate idea of how things work, I wouldn't be able to support myself. In particular, I find the current attitude held by the federal, and many state, governments, toward small business enterprises, absurd and execrable - and I've seen the onerous burden such an attitude inflicts on people who go into business for themselves. But the current attitude toward large business is a whole 'nother matter entirely, and I see nothing of value to our polity as a whole in the results of such gross permissiveness. Expanding such permissiveness still further strikes me as very much the wrong thing to do.
I cannot upvote you enough.

From my personal experience producing "enterprise" code for the past 20 years with languages starting at Fortran and ending up with VB.net with all the Python/C/C++/Visual C++/Delphi etc. in the middle, the language/stack choice is orthogonal to the quality of the code base.

You can find wonderful code in VB.net and pure crap in Ruby and vice-versa. This is the company/coder culture which influences the most the end result. Blaming the tools in this case is for me the mark of a lack of experience both in programming and long term software development.
What makes you think "small + technology" is an advantage in this space?
Angular is actually a modern stack in enterprise projects.

Only this month I became aware of RFPs for a JSF one and a ASP.NET MVC 4 one.
"A spike is a product-testing method that is used to determine how much work will be required to solve or work around a software issue." [1]

[1] https://en.wikipedia.org/wiki/Spike_(software_development)