skysight-inc/HackerNews huggingface dataset:
I rather like Ada. It certainly does have some issues, but I'm not sure I agree completely with all of your points anymore. I have had similar thoughts in the past though.

- In practice I don't find the case insensitive identifiers to be much of an issue. GNAT (and perhaps other compilers?) will check for consistent casing if you ask. I'm pretty happy with that middle ground - things that look different are different, and you don't have identifiers that vary by case only.

- You're right that it was designed to be able to accept a garbage collector, but it was never intended to be required either. If you really wanted it, you could try targeting the JVM. I haven't found anybody with much experience with it, but it does look like an option. Apparently there is also a 13 year old patch for GCC GNAT [1] but I imagine that's mostly a historical curiosity.

- I've gone back and forth on this one. It basically treats classes as any other type, which I like. It would seem pretty strange if you had to change to completely different syntax structure for declaring a tagged or non-tagged type. So if you wanted to do a more traditional 'class' syntax for tagged types, you'd need them for non-tagged types too. That could be both strange and nice. But that wouldn't really fly with the way primitive operations work right now - it can be primitive for more than one non-tagged type, so where does it go? It's actually a pretty complex issue that would have a large impact on some core parts of how the language works. The rules around this sort of stuff are probably some of my least favorite parts of Ada. It's a lot more implicit than the rest of the language, which has gone out of the way to be explicit. I don't think it has an easy syntax-level fix though.

Hopefully Nim works out for you, but I found it seemed to mostly be inspired by a few of the complaints you just raised about Ada. It also seems to lack the things I enjoy most about it.

[1] http://www.enyo.de/fw/software/gnat-gc/
"Eben Motown" was Android's autocorrect's fault. I know it's Eben Moglen.
"
A leader in space technology, S3 aims to make space more accessible by creating low-cost, reusable satellite launchers, a development not welcomed by all in the industry.

Last year the company’s base in Payerne was broken into and equipment damaged, said the Tribune."

Scary! Is there any more info on these attacks?
Booo, what's up with the negativity? :)

I would love to see more of these stories but not just for Go, pretty much for anything under the sun, especially "old and boring" languages and technologies. I want to know in which situations people still choose C++ or even C for new projects today, I want to see who's using Pascal (and what for?), I want to see if anyone is dumping, say, Postgres in favor for Oracle.

At my previous job (Rackspace) I had the awesome unexpected benefit of sitting on sales calls with our enterprise team, listening to what well-known tech companies are doing "under the hood" and what problems they're facing and what solutions they're considering. On a number of occasions I've heard folks say "this is super, you should blog about it", so I say: the more the better!

It's just another opportunity to learn, not about "fluffing"
By severely flawed metric, I meant,

> Presumably both the MS-SIM metric and humans would judge RNN better for these portions.

doesn't remotely hold for detailed/high contrast. If I can see a huge difference, and vastly prefer one over the other, the metric is not useful by its definition. Please don't get emotional about figures of merit.

I'm guessing a genuinely useful figure of merit would have put both file sizes a bit closer together, and the NN would have shined, especially since it works so well in low contrast areas.
The property of being zero knowledge is entirely separate from properties of the implementation; side channels were simply absent from the original model. Either way, for every zero knowledge protocol, side channels are relevant only on the prover's side; verification cannot allow anyone to learn any information about the witness underlying the proof (other wise the proof is not zero knowledge).

Sure, attacks can motivate some of the theory that is created, but most theory work only very loosely uses these attacks as motivation. A number of strengthening of the attack model are simply questions of curiosity: if we strengthened the threat model in this way, what guarantees do we have. Very rarely is it motivated by an actual attack.
The consistent, long-term revenue for a series comes via syndication, which typically becomes feasible for a 30-minute sitcom around 100 episodes (can vary by format, however).
I see in the screenshot of the settings at the bottom "Finder Toolbar" set to On. Is that not how you disable this?
Yes, exactly. I would not have come across this had the editorialized title not gained more traction.
Agreed, and they frequently make changes without warning, then send out an email, "sorry if you didn't receive notification this was happening". They make it sound like it's my fault I didn't hear them, when I'm pretty sure they just never said anything to begin with.

Azure has been more reliable, faster, more convenient, and cheaper.
The barrier to entry is still fairly high. ML still lacks a "PHP". But not for a long time. Hardware and software will eventually catch up and offer easy ti use components (something im researching).
just name the wifi network "password-is-foobar" or something like that.
You bet it will. If MS does not revoke them, it will reflect very badly on the security of their program.
I didn't know about the Lewy body disease, so here is a link to the Lewy body dementia association https://www.lbda.org/category/3437/what-is-lbd.htm
Surgical Strikes: First Major Use of Cartosat Images for Army
PlaceTrump – Make Placeholders Great Again
https://en.wikipedia.org/wiki/Cartosat
On my first attempt of ketosis I underate fat. But that was many years ago. Now I eat about 1:1 ratio of protein and fats in grams. About 150gr each. And 10-20gr max carbs all from veggies.
I assume that is USD? That amount is mind boggling to me. I am making 50k usd (45k eur) with a few years experience. You pay more tax than I earn.
- case insensitivity

I'm not sure it was clear in 1983 that programmers preferred one way or the other. Most languages were case sensitive because it was easier to write the compiler that way and I think programmers "prefer" it now because it's what they are used to. Personally I find the different syntax and conventions as one of the fun things about learning different languages

- no GC

This is a consequence of the level of abstraction Ada is operating at. Actually I think it's one of Ada's greatest strengths because Ada does a really amazingly good job of implementing the pattern C++ programmers call "RIAA". Ada calls it Controlled Types and it puts the power to manage memory in the hands of the programmer without making it unsafe or prone to bugs. RIAA is implemented so messily in C++ and explained so poorly in the community that I've spoken with C++ programmers who agree that the best way to learn to write good C++ is to learn Ada.

- OO Syntax

Yeah I agree with your assessment. I think the problem was that Ichbach wanted to make an OO language originally but felt that some OO features (inheritance, dispatching) weren't appropriate in a high-integrity language in 1983. So he ended up making a language that was 80% OO. Then in 1995 it was clear that the language was worse for not having those features so they were shoehorned in.
Hopefully such a drone is hack-proof...
DIY Home Automation Dashboard (wall mounted tablet)
There are some grammar errors on the homepage, e.g.

* "Convert your leads to customers using more effective way"

* "Protect servers repute"

* "Get rids of the duplicate emails to contain only unique addresses"

* "We offers 100 free checks while the great service"
I suggest using LIRE. You may study my use case here. http://www.semanticmetadata.net/2016/03/04/lire-use-case-wha...
Also the sixth browser vendor in the CAB forum.
Ivy Lee's 100 year old method for productivity
I attended this years annual American Academy of Neurology meeting in Vancouver and Susan Schneider Williams talked briefly at one of the plenary sessions. Her speech was shorter than what was in this text and yet had a similar message.

It was pleasant overall as it gave the plenary session that day a more humane feel. It is very easy to get wrapped up in the biochemical underpinnings of diseases and all the hype of the clinical trials being presented. We were reminded briefly of how their is a person behind all those symptoms and how the condition can affect the family as well.
Had the same thought. Looking at the headers they serve the file with a mere 30m expire time.
You can't have the Play Store if you don't abide by a set of rules. Having Google Search as default is part of those rules. If you have Bing as default, you don't get the Play Store or the rest of Google Android.
I still see it. Is it possible you (your browser) is part of an A/B test?
Show HN: Owlorbit – Know where your coworkers are and keep your business running
I will grant that I was severely underweight when I started lifting at 6'6", 205lbs (well, underweight by the standards of strong people; most people would probably say I was a better weight when I started), but I have gained weight at around that rate for sustained periods multiple times in my lifting career.

10/10/13 - 12/11/13, 205lbs - 235lbs, 3.75lbs per week

4/24/14 - 9/12/14, 235lbs - 275lbs, 2.2lbs per week

4/29/16 - 8/22/16, 385lbs - 315lbs, 2lbs per week

I don't know exactly what my body fat % is, but I do have the healthy layer of fat that you would expect of somebody who is "bulking". My gut feeling is that my body fat % is similar now at 320 to what it was at 245.

I followed Starting Strength's gallon of milk per day recommendation and generally ate as much food as possible. Lots of carbs, didn't really pay much attention to my protein intake, though I eat a "normal" amount of meat.

I should say, though, that my gut feeling is that I could have grown faster in the last two spurts. Gaining has, so far, never felt difficult and, as a father of two small children , my lifestyle is not really compatible with optimizing recovery. I've been super stressed through a lot of my training and I'm a notorious insomniac even on nights where kids don't keep me up.
Next up - Dropbox starts conditionally disabling features if it detects that the user is a developer (i.e. XCode is installed or Terminal.app is in the list of running processes).
Think of this as Slack with maps integration.

Users can create chat-rooms and see where everyone is on the map. You can get routes, create meet-up points, hide your visibility on a per-channel basis, have quick access to call or email the users. Search for common-points of interests and create a meet-up point there. From the consumer POV, it'd be really interesting if users started using the software for geo-caching. You can search for people too, which would also be interesting if certain communities joined the platform e.g. Food Trucks, Jogging Groups, or if celebrities who were doing book-signings.

In terms of security, I am storing only the very last longitude/latitude that the user sends to me and clearing previous locations. That means I am not building up a history-log of locations.

This will be free for consumers, but I will eventually charge businesses as this potentially could help bosses keep tabs on their employees or help organize companies in the event of a disaster.

So definitely sign-up as soon as possible! I'll be locking up open-beta in a few days and registration will switch to invite-only (where only registered users can invite other users).
Surveillance can solve a lot of problems. If you have a drone following everyone and rapid response teams you can literally stop crime. You can then start working on analysing all the data and working on pre-crime, ml and smart prediction.

Millions of freedom loving software developers can be gainfully employed working on this.

Let's get real, the average person does not commit crime, nor do they have any real need for privacy or freedom of speech. Are they activists, or protestors? So what use privacy or free speech fo the general person going about life? Why not trade it for the posssibility of improving safety and quality of life for everyone?

It's of course not compatible with a modern democratic state but that's just idealogy. Safety first.
> He never said he had hallucinations. [...] it became evident that most likely he did have hallucinations, but was keeping that to himself.

I do not know if I would tell people about hallucinations. It is bad enough to be out of control of your function, but to have no trust in your experience is terrifying. I wouldn't be surprised if I convinced myself I didn't have them in order to feel in control.
Which, due to the drag over several miles, would be an impossible shot.

I've not heard of subsonic rounds being used at distances over five hundred yards, and even that is a very difficult shot for that low velocity.
Well they did screw up by losing Coscto.
How is Apostrophe better than Keystone or Relax?
Perhaps an exchange.
Hope they never hear of youtube-dl.
>If you were any other company, you would be liable for a lawsuit for hacking. Please stop using your position as a company to hack our systems.

This post is full of ridiculous hyperbole, and it really detracts from the actual message.
There are plenty of other ways to get a free certificate, e.g.

Let's Encrypt

AWS Certificate Manager

cPanel's AutoSSL

CloudFlare

Symantec Encryption Everywhere

Not to mention the certificates that can be bought very cheaply through resellers e.g. PositiveSSL.
Increased student loans decreases demand for houses.

Okay...but doesn't this affect demand in general...cars, boats, houses, cruise tickets, etc.?
I saw the other title and skipped it. I think this one is fine as is.

ETA: I suppose "The terrorist in Robin Williams' brain" would be a fair compromise.
Taking into account his profession you have to wonder to what extent he was shielding his loved ones from how bad it really was. Poor man.
I'm not disagreeing ... The original title didn't result in a discussion here. I purposely said "normalized" for this reason (maybe the original title with Robin Williams in parenthesis after Husband).
If anything, I'd expect code signing certificates to be at more risk. Usage of these certificates is inherently much more difficult to track, as signed executables are much harder to discover than web servers. As such, even if there were a "certificate transparency" process for code signing certificates (which I don't believe there is), it'd be difficult to prove it was being operated honestly.
I think it might mean something. But ultimately, yes, it was an anecdote. I never pretended otherwise.
Stronger people are harder to kill. And more useful.
Have fun wirh real time players
> Because of the revenues generated from higher-spending Cardmembers, Amex has the cash to invest in more attractive rewards and other benefits to Cardmembers

That's sort of bogus, and more than offset by the the high interest rates charged by Visa and Mastercard issuing banks to subsidize their respective rewards programs.
and I wasted time not eating enough to start with

If you wouldn't mind, I'd be interested in more explanation of this comment, because it's possible that I'm in the same situation you were in when you were "wasting time" and don't realize it. What did you discover about an old guy putting on muscle without putting the lost (non-muscle) weight back on?
That wasn't present in 11.4, so that seems like a good bet. Still seems like a useless feature.
When I heard Robin had passed I had assumed it was from depression, but what does that even mean? This essay has really challenged me to go deeper on what mental illness is- a disease just like cancer that has causes which can be mechanical.

It's heart-breaking to think of a person with no way out of rapid decline other than to check out early.
> A deprived port city

As a current resident of Oakland I'm not sure I'd describe the city as 'deprived,' but please, do continue BBC...
One of the few plus sides (debatable) of being governed by morons is that they are not capable of coming up with clever solutions to the problems they make.
You can't geoblock an MP3
The last couple seasons are still decent, but because of the on again, off again nature of the series that rollercoaster is quite uncomfortable to ride.
Why does concentration of jurisdiction inherently lead to expansive patent readings?
One issue I see is there is no mention of security/privacy? Do you store the emails input?
Yeah I think they're doing a hell of a job with their Instagram stories. I've been observing how people are sharing less content on Snapchat stories nowadays
1,400 Rectangles
Some people like to buy from the leader and some don't. Position your product as the alternative to theirs.
There are plenty of android devices that are sold in emerging markets that do not come with the Play store.

Africa, China and India are doing it.

Nothing prevents vendors from selling devices without the Play store, and some devices like Samsung ones come with their own App Store in addition to Google Play.

Nokia also had a close store.

Also you can side load apps on android devices without rooting them.
Most of females are into the types of Brad Pitt and David Beckham, who are definitely fit, but thin (Beckham is outright scrawny, Pitt used to be "cut" when he was young, not so much now)

So definitely the "left" type. A lot of women say they are intimidated by too much muscle.
Add IMDB Ratings to Google Movies Listings
Yes, thanks. Have thought about many of these things. Need to see if I can find the time/energy/resources to do some of them.
I've been with drramhost for at least 10 years, but Im about to move everything because of their recent move from open source webmails to only atamail or whatever the new one is called. I spent a lot of time locking down my squirrelmail install, only to login one day and be greeting by a completely different client. Sure they had warnings, but none of those warnings clearly stated the forced move, I thought I could opt out.

As for the rest of their service, Their actual server performance is decent, but their VPS offerings dont seem competitive these days, so Im strugling to find a reason to stay.
From this angle it will be interesting to see why someone should be responsible for protecting someone else property. For example parking owner that is not having security being sued by a stolen (downloaded) car owner.
I'm surprised the article talks about dual-use since at least 2005 but the wikipedia article read "[the satellites] were specifically launched for Earth’s resource management and monitoring." and only mentions "strategic" usage.
That's not true. Lots of countries allow software patents. The rules are sometimes stricter than in the US, but they definitely exist and are considered valid by the courts in the UK, the EU, Canada, Japan, and South Korea, among others.
In the 90s minimed brought insulin pumps to market. It was one of the first stock I ever bought and it blew up. They regularly wrote about their primary goal of creating an artificial pancreas. Eventually they were bought by Medtronic and I sold my shares. Glad to see they are finally achieving their long term goal... nearly 20 years later.
Well I'm 45 and in hardware with 20 years experience; $148k + 13% bonus. I didn't make near, at 30, the quoted figures here. I guess software really does pay well. If my employer thinks they pay me too much, they can bugger-off.
AFIAK you would need some kind of monster megawatt laser to do that. Those do not fit in tote bags.
I apologize, I didn't intend to give the impression my post was limited to addressing Theo. I expressly avoided addressing an individual, but clearly that wasn't enough.
I've been using Go for 4 months now and I'm loving it.

The syntax is elegant, concurrencies consume an order of magnitude less in the memory stack and it has such a good performance benchmarking.

What excites me the most though is the TensorFlow wrapper for Go that Google has recently stated it's developing. It's a huge advance towards high-scale, real-time deep learning.

BTW, in a few days I'm giving an introductory workshop to backend development using Go, I'll talk about some of the examples mentioned for sure.

However, I know that Dropbox is one of the biggest Go users and it isn't in this success stories list. Anyone knows more about it?
No one, including Musk, says that colonizing Mars is a "good" idea economically or practically. This guy's arguments are fundamentally missing the point.

But here's one advantage Mars does have- it's far from other humans. And humans, not asteroid strikes or supervolcanoes, are the most worrying potential source of the catastrophic events we want to protect our civilization from.
I heard... the Israeli's might not be happy about an Israeli company going to the US for launching their satellites.

Personally, I'm highly skeptical that this was anything but a mechanical problem with a new rocket.
Agreed. The relevant part of the post seems to be the UX issues.
How does requiring passwords tie the user to the device? Sure, in a house for example, you have assurance that the only people connected are your family (or friends). But if you're at, say, Starbucks (and they change the pass every day), the only thing you'll know is that people connected visited that day.

If you require a username and password to access, then sure, you could track who is visiting what websites (provided you don't allow guest/guest like my high school did).
"Your honor, the defendant installed a hacky UI overlay element on my system."

stunned silence in the courtroom
It's kind of detailed and murky, but I dug up a couple of links to look at:
http://www.open-electronics.org/from-arduino-to-genuino-the-...

http://hackaday.com/2015/03/12/arduino-v-arduino-part-ii/

For a long while, most people didn't understand the turmoil in the arduino market. The competing arduino.srl tried to fork the ide and even the history of the project.

Here's a direct statement from Banzi Massimo:
http://makezine.com/2015/03/19/massimo-banzi-fighting-for-ar...
Dropbox will never learn their lesson if it's not in their interest (cf. Upton Sinclair).

For instance, client side encryption? Mwahahaha. Studiously ignoring that for the better part of a decade, why change now?

Valuation is OK, ain't it? Doing fine, then.
What does it mean when code is “easy to reason about”?
And that's how that guy whose face appeared a few times in ImageNet became the world's most wanted terrorist, on the run for thousands of crimes.
Extremely trivial pet peeve, but I hate the word "democratize". In what way does this introduce a democratic voting system to AI? Why do they use this word? Because it summons vague positive connotations people have with "democracy"?
WW3 IS THE ISLAMIC INVASION OF WEST SUPREMITY
By the Indian army. Other militaries have been using satellite footage for decades.
Wouldn't you just use libc directly from Rust if you wanted that?

(I agree that it's a tradeoff generally, I'm just not sure this example is particularly motivating.)
As I said last time this argument came up, you can write INTERCAL in any language. And ultimately, and language that tries to make it hard to write bad code (ada, Java, Pascal, etc.) merely walls off one option. There are always other ways to write code badly (frequently, by making it overly baroque. My rule of thumb as to make the code as simple as you can get away with, avoid doing anything obviously stupid, and fix anything that goes wrong. I'm not in industry yet, so I can get away with it).
It's becoming too much about the main characters, there's little detective work, it's too connected (I'm getting lost, especially with story arcs-spanning seasons), and it's too much about the main characters self-destructive tendencies rather than compelling whodunnits.