skysight-inc/HackerNews huggingface dataset:
Puppy 1: And so, in conclusion, we have determined that Ada provides sufficient safety guarantees and features for our embedded system needs. Any questions?

Puppy 2: Yes, I have a question. Why didn't you use Rust?

Puppy 1: That's a good question. While Rust looks promising, we felt it was too immature for our needs and decided to go with the time-tested, standardized semantics and extensive tooling available with Ada.

Puppy 2: Rust has a borrow checker. That makes it 100% safe.

Puppy 1: Leaving aside the fact that no language is 100% safe, safety is a complicated topic and you can't make strong statements like that about it. Does Rust's borrow checker enforce arbitrary program invariants?

Puppy 2: ...Rust has a borrow checker. That makes it safe. Borrow semantics is the secret ingredient in the memory safety sauce.
Bill Gates is very much part of the problem.

Having fossil fuel plants that only operate when needed, but get paid more per kWh than they do now when they run all the time (since as well as fuel costs they have up front construction to cover) is not even close to being a problem. It is in fact part of the solution. What is he doing complaining about this?

Negative prices are also not the big drama he makes them out to be. Sad that he's got a reputation as some kind of genius and he's scared of negative numbers as if it's some kind of witchcraft to have too much of something and use pricing and markets to decide which providers should scale back.

Translating for those scared of negative prices: someone wants to keep providing power for some reason (maybe their setup doesn't like rapid changes in output, which would cost them money in repairs), they want to pay you $X to shut down your system instead. Do a calculation and figure out if shutting down your system is cheaper than that, if so, take the money. Market forces at work! The inflexible system don't make as much money, and the flexible systems gain it.

Or, someone with flexibility in when they need electricity says "I'll agree to heat my water tanks at the point that helps the grid most, how much will you pay me for doing that? The amount we'll pay you is the negative price, except not negative anymore".
How to Structure Your Inside Sales Process
I'd say that's a little harsh. When I'm in public spaces, I see / encounter / take notice of people doing all sorts of things that they consider enjoyment, from smoking, to skateboarding, to kicking a ball around. Drones catch attention because they are a new phenomenon. Like anything else, they can be used dangerously and disruptively, but they aren't inherently a selfish act.
Reminds me of Adobe Kuler: https://color.adobe.com/
C++ standard committee is working on an intermediate step in the right direction: module support.
I made a small mistake in the first point, got downvoted to oblivion and people seemed to stop reading there: the binary serialization indeed has backwards and forwards compatibility. However, the textual serialization lacks this compatibility. I can't remember a petty detail of a vendor specification apparently. Pedants with encyclopedic knowledge of Google are out in full force today!

I should have stopped at "coupled server and client", the point is that they both rely on an agreed upon external schema since the messages are not self-descriptive.
Getting older, I can see the draw though.

Good pay, good benefits, easy work. Something to be said about that.

I'd just have to numb myself with opiates or something in order to stay calm, non-confrontational and mediocre.
Javascript frameworks change on an annual basis if not faster.
+1. People are more used to cars, but cars have the ability to be a million times more disruptive and dangerous.
UI UX and Web Design Discord Group. Join and Chat with 100 Web Design Obsessed
I stumbled across this group and saw that there were many web developers that had many multi-disciplinary roles in regards to frontend development. Talk about project leads, tips, tricks, clients and post needs and other project requests. Definitely a joiner and Discord is a great platform for it. Use the invite code: discord.gg/QgJWHBv
Seems to me that devs would only be smart (read: not in our favor or best interest) to go where the people are; what's the ChromeOS userbase compared to that of other OSes?
Deep Video Analytics is an open source visual data analytics platform. The platform uses deep learning based indexing, detection and recognition models for visual search. Using Deep Video Analytics users can quickly load, annotate, index, images & videos. They can detect and recognize objects (such as faces) and seamlessly import and share processed datasets using Visual Data Network. Deep Video Analytics is developed using Django, Postgres, Tensor Flow & Docker to enable flexible deployment. You can find more information here: https://deepvideoanalytics.com/
The 5 Worst IoT Hacks and Vulnerabilities in Recorded History
This article is just a series of strawman arguments. It sets out misconceptions that proponents of strong AI mostly don't believe, then argues against them.

I'll be honest, I didn't read the arguments in detail (since they're just rebutting strawman arguments it hardly seemed worthwhile), but I was sort of surprised at how poorly reasoned the arguments were even for the parts I agree with.
Yeah. Mars is important, but testing stuff out where the ride home is a couple days instead of months/years seems a lot more sensible.

Sure, the Moon offers different challenges in spots, but it'll still let us validate things like growing crops, water reclamation, robotic construction, etc. with the ability to pop home if it all goes disastrously.
Patentleft is more like Free Software than Open Source.

It says if you use our patents, you must open up your own patents to be used in the same way.
I don't understand why all this types of applications assume that a have a destination and dates. I'm very flexible and I can work remotely. Surprise me with the cheapest flight anywhere. Does this kind of app exist?
Helix: Ruby extension interface for Rust
I see no reason that anyone except the people who paid into it would ever recognize such claims. I can claim your house all I want, doesn't mean anyone will recognize that I own it.
Welcome to the Poison Garden: Medicine's Medieval Roots
I actually expected someone else to do another FTFY by adding "Second commenter takes discussion to the meta level."
I don't get it.

How is something as innocent as big companies paying corrupt politicians to overturn a law that prohibited them from spying on users and blackmailing content providers is bad for startups?

/s
With H-1B under threat, Alphabet ramps up immigration lobbying
How to Create an Editorial Calendar with 7 Possible Tools to Use
> Take a look at how people who are depressed function. They measured as being more aware than (better assessment of their surroundings/relations/self assesment) people who were not.

That's interesting. Do you have a reference for that?
There are environment and protocols that don't change much. Typically the places where Ada is used.
The Israeli Startup Funding Ecosystem
Nothing against this application personally, but I still do not understand the appeal of "personal assistants." If I want the weather, I click my weather app icon and see it instantly. If I want an Uber, I click Uber and request one instantly.

I don't see the benefit of adding another layer between me and my desired action. This is especially the case when the smart personal assistant doesn't understand my request, in which case I'll usually just abandon the whole thing. Only took a few times trying to get Siri to do something and I haven't used it for anything besides timers in years.
https://www.wherefor.com/
Although I welcome them, the problem with all these AI products is the there's little promise of zero-knowledge (or whatever you wanna call it) privacy/security. Until then, I don't see myself feeding a company my information, at least not for free.
> Private companies are more likely to achieve this, especially if they are not hamstrung by regulations.

Private companies are only interested if there is short-term profit in these missions.
Much thanks. I'll add it to the immediate list.
Building a Device Lab (2015)
Wow. Should have just made a deal with the dog owners lol.
I don't follow. Are there other markup languages where you add styling to text in a way that's substantially different from span tags?
What's more interesting than vulnerabilities being found is vulnerabilities being created. I used to think they were progressively eliminated so older software is safer. But is that true? Is MS accidentally creating new ones faster than they're patching old ones? Same goes for any software.
Ask HN: What was your experience teaching at a code school?
I am particularly interested in knowing if you felt you were able to help the majority of students you trained land jobs. But I have a whole bunch of other questions I'm curious about.

What about when you transitioned back in to engineering? Did you get pushed toward management? Were you able to take advantage of the skills you gained teaching to get a senior/lead position?

Were you able to use the wide network of previous students to get placed easily? Were you able to use your expertise in explaining concepts to write a book, or speak at conferences and become a thought leader?

Are there any other considerations that are not immediately obvious?
Advanced research technology from the 90s, no doubt. Abandoned due to legal issues. Perhaps it's time to bring it back.
> Private companies are more likely to achieve this, especially if they are not hamstrung by regulations.

On what do you base this? If it's too expensive and dangerous for governments, with the ability to leverage overwhelming resources if they chose to and not care a bit whether any revenue were generated, how is it more likely that a severely resource constrained company likely limited by a profit (or at least constrained loss) motive will succeed?
a C130 does it without difficulty :)

* i never mentioned anything about commercial jets
I'm glad to see DJI getting involved on both sides of this. They should be fostering responsible use of their products and coming out against the small handful of reckless actors who are going to give everyone else a black eye. On a related note, they recently started an advocacy group too -
http://www.nodecampaign.org
All this is is a presentation with a boatload of text and absolutely NO indication of what the app looks like or how you go about using it.

Even before i saw the note about the security issues i wouldn't click on try because why should i invest my time in trying it. I have no clue what it does beyond saving markdown files to github. I've got plenty of markdown apps that I like quite a bit, and uploading my notes to github is not something i've been going "damn i wish i had an app that would do that" because anyone who knows about github already knows how to commit their files and push them up...

doing it in gists is even worse (ignoring security aspects) because at least with my manually managed notes their organized in folders, browsable, greppable, etc.
Show HN: Gruvi – Pythonic Async IO
The upcoming EU privacy rules should stop this kind of behavior. It requires companies to explain exactly how user data will be used and not hide behind a generic EULA statement such as "anonymized data may be used to improve our services".
'Textalyzer' Aims to Curb Distracted Driving, but What About Privacy?
Ask HN: Small programming projects / challenges for C beginners
Hi HN,

I've been teaching myself C programming recently. I think I have a good enough grasp of the language constructs like pointers, typedefs etc. I'd like to move beyond the usual (and frankly quite boring) hello world tutorials but I'm having trouble coming up with small enough projects that are doable and big enough that they're still exciting or would allow me to apply my recently gained knowledge.

So how did you guys learn C ? Do you have any ideas for such projects ?

Cheers
Very nice!

Is there a way to choose an image from a URL or drag and drop from web? Would like to use an image from google without having to download it first.

Using Vivaldi 1.8.770.54 fyi.
You made the point I wanted to make. The problem is Enterprise, not a framework.

I'll admit--the Microsoft stack is a walled garden. It offers some nice features like Visual Studio integrating with Visual Studio Team Services with its own issue tracker and build server and so on. If Microsoft supports your workflow or integrates with the tooling you like, awesome. If not, well, just wait and hope that it will someday support what you're looking for.

That is the frustrating part of the Microsoft stack. It can be overcome with some architecture decisions at the outset of the project. You don't have to stay in the walled garden.

But the Enterprise is where innovation dies. The Enterprise is where motivated developers' souls are sucked out as they are told "no" constantly.

.NET isn't the problem.
> Unfortunately the changes to the client and security issues tend to force node+package updates.

Are you sure that shouldn't be "fortunately?" I write 90% C# and 10% JS and I would be so happy if there was some structural reason requiring .NET apps to be updated regularly. The number of apps I've run into that are several years past EOL but the client refuses to update them because "well it works and we haven't been hacked yet" is indeed soul crushing after a while.
> The point of the first part of their post is not "we're too big", it's "a move like this would disrupt the lives of an awful lot of people."

Those are precisely equivalent.

> Again, remember that the person being punished here is not Symantec;

Yes, it is, though you make exactly the standard "too big to fail" argument. yes, customers who relied on the misbehaving CA will also incur some costs, but if misbehaving CAs don't see reduced or eliminated trust at the level of browsers and similar trust stores, the entire ecosystem -- including the good actors and their customers -- pays the price as end-user trust in the ecosystem weakens because certificates do not guarantee what they are supposed to. And if any actor is recognized as too big to fail, that creates an unlimited license for bad behavior on the part of that actor at the price of the whole ecosystem.
When asking that site for suggestions I say that I'm travelling from Birming... and it suggests:

Birmingham, Alabama, GB (BHX)

That doesn't fill me with confidence.
I don't buy their notion that IoT security is drastically different from PC security. Every IoT botnet incident I have heard of would have been avoided by placing the devices behind a non-fancy firewall that drops incoming traffic from the public Internet.
Puzzle Driven Development (PDD) collector, 0.17.5 released
Local control vs. cloud control – What fits your smart home better?
> Ada was a complicated and rigid language designed by a Department of Defense committee

Ada was designed by Jean Ichbiah, and although there was a committee he did override them on multiple occasions. So not really a design-by-committee.

The reasons it got no traction were: it was too complex/heavyweight, and too dissimilar to C to warrant a change (businesses waited for C++ instead, since it was around the corner at that time); due to its complexity it took a while for certified compilers to show up, and when they did they were quite expensive.

Since it was properly established in high margin markets, the community (mainly AdaCore, since they are the main compiler vendor) did little to improve its standing -- the only open-source projects they have pushed are all under GPLv3, which is not going to help with its popularity (not a judgement on GPLv3, it's just that basic lib are almost always under more liberal licenses, e.g. Boost). It really feels as if these OSS projects were pushed only to attract new programmers, while trying to prevent[1] an actual independent community from springing up. Odd behaviour. Every 6 months or so someone on HN or Reddit posts an Ada article that get people's interest, and then they discover they cannot write their project with it due to its licensing.

[1]: "...it is the intention of the GPL distribution of GNAT to restrict your freedom" in: http://libre.adacore.com/tools/gnat-gpl-edition/faq/
Ask HN: Computer science is too cold
I feel like the community around software, systems and computer science is too cold. It's without any feelings; cold, logic driven. Shouldn't be the developer and the user be the main focus of all our work? This is a topic I have picked up some months ago. I am also a very logical person, coding cool stuff and studying new things. One day it hit me when a friend of mine, coming from the arts, explained how much difference there is between the two fields. "Computer science is just cold. In art you put the human feelings in your work and connect with other people over these feelings. I have never seen this in your day life!".
It struck me, because I suddenly knew what I was missing all these years since entering the industry. You might say, "but exchanging over solutions is a very social activity!". Or even that the open source community goes deeper and forms friendships. But I did not see it in university and even less in the business world.

Am I the problem, giving this seems to have hit a weak point I just recently discovered? Or do you guys feel the same? Would you like to exchange more over personal feelings, talk about more than code snippets?

Maybe this is a general problem; rising isolation, competition and the increasing hardness in language we see over the web. I do NOT want to encourage any kind of safe spacing, but often problems exist and people are not aware it exists on a large scale.
Huawei admits buying a P10 or P10 Plus is a bit of a lottery
Walmart has the Microsoft Office problem.

Anything that canabalizes physical store revenue is going to have to fight beauracratic headwinds. So while Walmart online may be necessary (in the same way Office 365 / on iOS & Android was), I don't have much faith on their being able to organizationally get there in a timely manner with sufficient resources.

Far more companies seem to recognize changing marketplaces and then botch business transitions by not being aggressive enough vs simply missing the changing marketplace signals.
I can see several use-cases for this even though it can be done easily in Gimp. But this might be a faster way to subtract colours from an image.
I agree. As much as I really wanted to use gRPC on Go for a current project, this bug ultimately scared me away: https://github.com/grpc/grpc-go/issues/1043

Big kudos to everyone working on it (most of which are Google engineers, some very senior) but I can't help wonder what other issues might be lurking if that one went unnoticed for so long.
> In the end though, its absolutely about culture and Enterprise IT will suffocate you no matter what language.

This is the main issue, I have been seeing this since enterprise applications were written xBase, Turbo Pascal and C.

In the Enterprise, politics and developers being used as cogs trumps any kind of technology stack one can think of.
> That's also ignoring the fact that if the signal to a drone is lost, it's more than likely to fall out of the sky like a ton of bricks.

Consumer drones typically have well-defined and behaved signal loss behavior, which (for DJI ones at least) is even fairly configurable. Though quite often that behavior involves gaining a substantial amount of altitude (at least by default), which at an airport is actually probably worse than dropping.
>most high-schoolers don't have much experience shooting guns

Actually a lot do but probably not so much in the places that readers/commenters here live.
I agree that you need to send robots. But robots right now on Earth are not capable of operating without a little human intervention now and then. That's why you need a moon crew - albeit a skeleton crew to start off with. They'll sort things out that need to be done on-site.
Swedish Startup Uses AI to Figure Out What Dolphins Talk About
Isn't part of the investment attracted a vote in favor of this being a feasible strategy?
Scaleway ARMv8 Cloud Servers
I don't understand this, to be honest. What does type safety have to do with serialization formats or application protocols? I've used Servant (Haskell) to define the REST API for my backend, which gives me type safety, server stubs and generated client code for free. In my view, type safety is about what you internally use to represent your API, and has nothing at all to do with the underlying protocol(s). There's nothing about REST+JSON that prevents type safety, as far as I'm aware.

I plan to switch to protobuf3 for the serialization format, since this offers both a JSON and binary representation. Why would I want to choose gRPC+proto3 over REST+proto3?
I have quite a few of them running on my S3.
1. An AI might not need long exponential growth to make humans obsolete. Maybe the computing power of one data center is enough to outperform and dominate humans? Imagine if you had infinite patience, and experienced time 1000x slower than everyone else. That number might be in the millions. Or more.

2. I agree that it's a very strange and unpredictable scenario.

3. How optimal do you think humans are in the real world? In chess you have a very limited number of possible actions at each point, but in reality your possible moves are almost limitless.
Manticore: Symbolic execution for humans
The questioning you claim to be looking for starts in the second paragraph of the NPR piece and continues throughout the article. Trying reading it through and counting each time one of the scientists quoted says something like “if true”, “it's an outlier”, etc. or talks about the additional evidence they'd like to see or challenges yet to be explained.
Having been on both sides of the fence I came to realize that in spite politics, I rather work in enterprise environments than startup ones.

Maybe it is an age thing.
Public companies are only interested in short-term profits.

Technically a private company by an eccentric billionaire (musk? bezos?) could be perfectly happy to burn billions to build a moon base
> > "You can’t tell whether the end is really the end, or whether the end equals 93% followed by 7% of index and/or questions for book clubs."
> I guess, not that it's a real issue for me.

Agreed, but also, is that really not a problem with physical books? Lots of them have backmatter with preview chapters, indices, and "questions for bookclubs".
Also received a $false - BOOK.

Screenshot:
http://imgur.com/a/SGSQu
On everything that isn't backed by a highly optimized logistics chain (e.g. groceries or appliances), they're always cheaper on any random item I've compared to a physical store.

Which makes sense, because the price difference is essentially the ammortized cost of a physical store.
That seems paranoid to me, but if it's a genuine concern than you haven't gone nearly far enough. Wouldn't posting comments on a thread discussing the article be a much stronger signal than clicking the link?
> Otherwise, you'd now have two diverging human species, who might eventually not even be able to interbreed.

It's a possible outcome in a few centuries. We might get one human species that would call themselves robot-overlords, those would be born in artificial wombs have artificially enhanced brains and have very prominent positions on Earth. The plebs would sleep on the stairs and drink their soylent green.
As someone running a personal email server for >10 years I can promise you this is a legitimate problem and the false-positive issue is not even close to solved. It's just that most people use a big provider to send personal email, so nobody is incentivized to care about solving it.