skysight-inc/HackerNews huggingface dataset:
Appreciate the kind words. I plan to get back to experimenting myself. One of my ideas is coding in both Rust and Ada/SPARK to let borrow checker catch temporal errors while Ada/SPARK handles the rest. Optionally a C version or use an Ada-to-C compiler if Taft's is still available to throw every free analyzer or tester for C at it. Far as apps, check out Ironsides DNS that was done in SPARK. Borrow-checking and testing it will be my first project if it get back into Ada.

Note: There's also work right now on a verified front-end for SPARK to integrate it into CompCert. Then, the ASM is verified as well. Exciting times. :)

EDIT to add: Yeah, that Rust would've caught it was a bit annoying. Worst was them saying it was first, safe, systems language. pjmpl and I demolished that one, though. Now we just get the other one which is at least accurate if it's memory bugs. Progress. (Shrugs)
Characterizing Habitable Earth-Like Planets
Can confirm, the community tools are awesome. If someone is only playing using ingame, without any of the external stuff, I feel they are missing a large portion of the game.
Well, the issue with the galaxy has more to do with general relativity than the number of stars. The issue right now isn't bottlenecked in any single place like that.
That was my thought too, I'm sure there's many cities to market his product. He needs to get on his GaryVee train and start calling every city until he finds places to land. Bring it up to Vancouver, most of our downtown is low rise and would probably make this ideal. And making $400,000 means he could probably take a year off as well.
Ok, it's happening at the office. So how is it interfering with anyone's work?
Depends on the camera settings too. Older movies with mostly white casts messed this up a lot, by not properly calibrating for the darker skinned characters. Conversely, movies with all black casts get this right: they tune their camera/color settings to make the faces more distinguishable.

I ran into this a few weeks ago where I took a picture of a couple friends. The camera decided to pick the friend with dark skin, resulting in him looking great, and my white friend (who isn't even super pale or anything) getting washed out.
I've stopped paying attention ever since he spoke of breaking into the tunnels business.
Jeez, how many style transfer papers have there been in the last year? It's awesome, but what an odd thing to become its own subfield.
Here's a fun story about union influence in NYC (with a little twist I hope you'll indulge[1]):

In 2005, I moved into a 19th-floor apartment in lower Manhattan. My girlfriend and I spent about 12 hours at IKEA getting everything needed to furnish the place. By the time we finished taking (2!) taxies back from Jersey with all my stuff, it was about midnight on a Friday night. It took another hour or so to schlep everything up in the elevator - everything, that is, except for a sofa, which we'd tied to the roof of one of the taxis and which was now the last thing between us and sleep.

We were just about to load it into the elevator for the last run of the night, but _not so fast!_, said the doorman: that's the passenger elevator, and you aren't allowed to use it for furniture.

We pointed out that the sofa, at about 80-100 lbs, weighed quite a bit less than the full elevator cars-worth of stuff we'd already brought up, but he was undeterred. He could lose his job, he explained, because the building's contract with the labor union prohibited use of the passenger elevator for "furniture".

OK, I said, not really understanding what that had to do with unions, where's the freight elevator?

It's locked, he said, because you aren't allowed to use it.

Why not?

Because the building maintenance union regs say nobody who isn't in the union can touch that elevator, and require the use of union labor to move anything in or out via that elevator. (At something like $160/hr, iirc.)

And since it was a Friday, the sofa would have to sit in the building lobby until 10am on Monday, at which point we could get in touch with the labor union to get the Appropriately Licensed and Bonded Personnel to load the sofa into the freight elevator. (Assuming the members of the sanitation engineers' union hadn't already decided it was trash and carted it away -- and yes, he did warn us about this.)

Counting PATH train and taxi rides etc, we're now about 14 hours into the furnishing-my-apartment project. We haven't eaten in about 10 hours, it's the middle of the night, and I am beyond frustrated at this point.

I don't want to get arrested though and the guy is clearly not going to give in, so I'm not really sure what to do. I half jokingly ask the guy: well, what about the stairs? Do the union regs prohibit the stairs too?

He laughs. No, do whatever you want in the stairs, he says.

I look at my gf. She looks at me. _Well? You want to?_, she says. Remember: 19 floors. I think: I can't believe we're going to do this.

But we do. ~40 flights of stairs later, we both look like we just climbed out of a lake, and are breathing like horses. And though I'd already had a pretty strong suspicion in this direction, at this point I was certain: I had to marry this girl.

I still don't think much of unions, but 11 years and 2 kids later, I'm grateful every day that I ended up with such a strong and capable partner. <3

[1](Sorry for the autobiography but I thought folks might appreciate the story. And it really is on-topic... sortof.)
The full standard library is a work in progress; at the moment, there's only a couple of key parts of sys, os, and the like. But Ouroboros (https://github.com/pybee/ouroboros) is a project to develop a full standard library that can be integrated into any Python implementation. Effectively, you can use all the bits of the standard library that are written in Python by just compiling them; the rest requires native integration (which is the work in progress).
This looks great!! Will have to peek at it more myself.

As you can tell, I'm a vanilla fan myself. Although I do think the DOM is still unnecessarily verbose - that aside, `innerText` still is not cross browser, so for that reason alone I recommend jQuery `$("#id").text("foo")` to discourage use of `.innerHTML` :( .
‘Your animal life is over. Machine life has begun.’ the road to immortality
I'm not saying that it was difficult to get up and running, my point of contention was sane defaults.
Thanks. I've only worked at companies where the median age is well over 30, and when I read horror stories it often sounds like the problem mostly stems from overall immaturity, in both age and management experience. I'm sure age is no magic cure for all the assholery in this world, but the correlation between "family dad" and "decent, professional coworker" seems to fare nicely.

Since this is the only advice to women I can come up with, I'm glad to read that it worked out for one person at least.
Learning how to use the Closure compiler
That last one being especially out of mankind's reach
I believe what you are describing is the Texas sharpshooter fallacy https://en.wikipedia.org/wiki/Texas_sharpshooter_fallacy
Nokia reveals major IoT device security vulnerabilities
Well, a resting human body generates 4x more heat per volume than the fusion reaction at the core of the Sun.

https://en.m.wikipedia.org/wiki/Nuclear_fusion#Astrophysical...

But why didn't the machines just build geothermal generators? I guess it's not much of a story then?
Of course it shouldn't be the only thing we do, far from it, but as Sun Tzu said:

"If your opponent is of choleric temper, irritate him"
Yeah I tried to go that route but acting upon knowledge of the future is a narrative slippery slope. It's valid for a story setup I think, but not for explaining details. The movie acts like memories of the future are not fully under one's control and, with that imperfect knowledge, you can't expect humans or aliens to make perfect plans or optimal choices. But when memories come right when needed to solve situations like Chang's ultimatum, well, no more suspension of disbelief for me.
Check out HN search for "front end development" from 7 years ago:

https://hn.algolia.com/?query=front%20end%20development&sort...

Three pages of low vote threads with the occasional mention of front-end development.

There wasn't much of a term of front-end development 7 years ago. It's a new thing.

You had back-end devs who would do some funky front-end stuff with often atrocious UIs and a bunch of designers who would hack together some jQuery plugins badly.

The highest voted story from 7 years ago is talking about converting PSD to HTML/CSS, which many of us back then would have sneered at being called development.
latex in a document editor, holy smokes batman, how do they come up with these crazy ideas!
The size is much smaller.

As for downloading multiple times: I don't think it's happening though it looks like it.

The server is sending 206 Partial Content for the video. This is why the file downloads multiple ranges if the page is left open for a while. The first response if for a chunk of the file. The next few are for different chunks. Then it repeats.

~8 Mins on the page and I have 5 downloads of the hello-world_2.mp4 that went to the server. I have 4 that were able to be served from the disk cache.
Really? A 50-year ban to self-driving cars in New York?
Looking at the crane though. Approving it as a mobile crane seems a bit on the bonkers side. Mobile cranes are self contained units and provide their own stability through mass. This bolts to the building. Which, if memory serves, was where building cranes were failing a few years back.
Nope, but pretty sure this is https://news.ycombinator.com/item?id=13972548
Is that a sign that the good kind of consolidation hasn't happened yet or are all of these competing systems justified?
Now who's betting this quote won't be cited in a court of law one day? Maybe shortly after they straighten up the law on "patent misuse," for example.

(Which doesn't mean I didn't like or don't agree with the article.)
I'm looking forward to the day when browsers support LaTeX content without any special plugins or libraries. Until then I use server-side MathJax to support my site's technical pages. MathJax is a terrific piece of software, but its popularity is an implicit argument for a generic browser feature that does the same thing.

If that became the norm, I could switch to LaTeX right now and HN readers would see a result any mathematically literate person would hope for.

For a while Reddit supported a plugin that rendered LaTeX by way of an external server called "CodeCogs." Eventually CodeCogs realized they were being exploited with no compensating gain, so they blocked all Reddit accesses.

Here's a concise definition of pi --

\displaystyle \pi = 2 \int_{-1}^1 \sqrt{1-x^2} dx

-- I mean, if only you could see it. Here's how e is formally defined:

\displaystyle e = \lim_{n\to\infty} (1+\frac{1}{n})^n

I've been suggesting this for longer than I can remember. Meanwhile, here's my online LaTeX editor:

https://arachnoid.com/latex/
This version has three phases: http://socialcredit.schooljotter2.com/resources/social-art/m...
Because it would be completely horrible awful if programmers were making $500k/year (convert to your local currency as you see fit) like 'effing crane operators? :)
How do we know that? I'm not sure identity as we know it is required for intelligent life to develop. We know other mammals share it but they're pretty close to us evolutionary speaking. Eusocial intelligence (ant-like) wouldn't need that, because they're not individuals, and each colony or group of colonies form one big organism. Could eusocial intelligence develop to the point of being capable of interstellar travel? It seems plausible under the right circumstances. Such an intelligence probably wouldn't understand the concept of individual identity...
Actual article link:
http://www.theverge.com/2017/3/27/15077864/elon-musk-neurali...
Water supply lines are easy, sanitary waste lines are harder and messier. A location that will support a few 2" sanitary waste lines connecting to a 4" will support a 1" supply line.
In firefox developer edition (probably regular firefox dev tools as well) one of the dozen or so settings is to disable caching while dev tools is open...
Ok. What laws do we need to pass and enforce to allow us to collect and share that evidence? Would any such legislation pass?
There was a computer system featured once on Beyond 2000 that could recognize and mimic your facial expression.

But it was developed by Japanese and tested only on Japanese people. The host had to wear a black wig to make it work.
Not to steer this conversation into campaign finance waters, but...

I'm not sure its accurate to depict constituent communication as market research, as the constituents are not always/not usually the market elected representatives are catering to. The people they need to please are the people who pay for their campaigns, rather than the people they try to reach with those campaigns.
When will it optimize, or will it? I'd like to see some benchmarks on the main page for a couple of algorithms like Fibbonaci in both Red & Red System compared to a popular scripting language like Python and a popular office language like Java. I would hope Red is close to Python in speed and Red System to Java. Obviously it won't be yet, but performance is important and if it isn't a priority, I'll look elsewhere (note that I don't mean that negatively...I'm very impressed with the Red community, I just want to have my 1929 Latour with my Kobe beef riding in my personal spaceship alright ;) ). Forgive me.
In a world without work, being busy will be the new status symbol
I don't have a choice of ISP.

I can (trivially!) choose not to use Google's services, including their DNS servers.
Ratings, Reviews, and Responses on the App Store
Lack of leisure: Is busyness the new status symbol?
Bizwhoop – Articles to Help Entrepreneurs and Startups Get Business Done
This is why it's so important to have government regulation, so that an interested party can use their political connections to guarantee themselves monopoly profits.
When a corporation does it we blame the government.

When a union does it we blame the union.

It's a double standard. Worse, theoretically rent seeking by unions should be more tolerated than by corporations. We should minimize all forms of rent seeking, but some forms are worse than others. The rent seeking profits of unions are distributed to many more workers than of corporations, notwithstanding the fanciful image we have of the corrupt union boss.

Except for those on the far left, people generally perceive corporations as amoral. But almost all Americans, right and left, not only judge unions by a different standard, they're typically cynical about unions. Even well paid union members are cynical! It's... incredible.
I think it could extend battery time for large format tablets and car computers.
As noted in the article, its only a violation if you fail to identify yourself after being arrested. What is not clear to me is whether it is sufficient to just give your name? I often go out without my wallet and I'm not sure why there would be any legal presumption that a citzen would produce some type of government document to serve as "ID".
Good call on the footnote. The Facebook 10K [1] clarifies the definition of DAU:

"The numbers for our key metrics, our DAUs, MAUs, and average revenue per user (ARPU), do not include Instagram, WhatsApp, or Oculus users unless they would otherwise qualify as such users, respectively, based on their other activities on Facebook."
-> This clarifies that they are measuring users without considering any Instagram, WhatsApp or Oculus uplift.

"We define a daily active user as a registered Facebook user who logged in and visited Facebook through our website or a mobile device, or used our Messenger application (and is also a registered Facebook user), on a given day."
-> This clarifies that they only count if the login happened that day or they did a visit during that day. Not passive open tabs.

It does also have this note "For example, while user-provided data indicates a decline in usage among younger users, this age data is unreliable because a disproportionate number of our younger users register with an inaccurate age."
-> This might be some of what people are experiencing. A shift in demographics to older people.

[1] https://www.sec.gov/Archives/edgar/data/1326801/000132680117...
Has anyone figured out how to create lambdas? I can't seem to create one via the CLI because I don't have the correct IAM role setup?
I know very well how tough it is... but for a lot of guys, things like that are not a priority. For different reasons... I personally believe this is what makes the difference between women and men. Women tend to appreciate real things like family, kids, healthy lifestyle more than the geeks who are fine with staring a screen all day long.
Even if it was no-one's intent that the system is racially biased, allowing such a system to continue operate after learning of such a bias is a racist act.
Nice try Elon. I've read the Avery Cates series. You aren't "monking" me!
I've seen this kind of situation unfold before in a tech community. Without picking a side here, I will say that one thing that really bothers me is the lack of transparency. The whole concept of being able to publicly shame/expel someone without providing real evidence to support that action because of "privacy" seems extremely unfair.
If most pages get single digit views you should look into your SEO. I wrote blog posts regularly for my last employer.

We didn't promote them at all, but they got 30-500 views a month just from Google search. A lot more when someone linked them.
actually, a track record of 20+ years of burning investors money.
He hasn't made any investor a single penny since over 20 years, and probably never will.
The Xbox camera also had trouble tracking African Americans.
It's generally never a good idea to upgrade immediately to the new versions of iOS, as there are invariably problems.
> Also I have heard of managers who don't promote women as tech / team leads for fear they'll get pregnant and be on leave for 2-6 months taking care of their child. I literally told a guy at my last job that was not cool when he said that.

Has this ever made sense considering the ammount of turnover in tech circles. A guy promoted to tech lead for six months can probably get a decent salary bump elsewhere with that on his resume. And unlike the pregnant women, he isn't coming back with his knowledge and a newfound interest in job stability.
We're not talking about "most violent people" or regular domestic violence. We're talking about someone who ran random pedestrians down on purpose on a footpath and stabbed a police officer for no reason. This is an outlier.

Even though it doesn't fit your ridiculous PC SJW agenda, I would be willing to bet he's got some kind of mental health issue. I don't think that's a controversial opinion to hold.
If it was created by humans then that would constitute a racist act. This system was created by humans.
How do you know it isn't the placebo effect? I once had one of my customers saying that a certain feature in my product was faster after an upgrade, but I hadn't actually touched that feature...
I call bullshit.

It's physics, not racism. Darker colors absorb more light and reflect less. In a photo the contrast is difficult to bring out with darker subjects.

I know this because I had a black dog and all her pictures came out like crap until she got old and turned salt and pepper.

Some people just have to see racism everywhere. That's too bad because it takes meaning away from real racism.
My wife and I watch a movie together a few nights a week. That's my primary use for Netflix. I don't think "binge-watch" is a very accurate way of putting it.

We used to have a really long list, and still we'd find stuff that wasn't on the list that we decided to watch instead because it all sounded good. Over time, we only got to watch a a fraction of the stuff we'd added to the list, with the rest simply disappearing.

This isn't just a "feeling," it's both an actual phenomenon and to some degree a deliberate choice on the part of Netflix, which wants to focus on its own stable of Netflix Original content that it won't have to renegotiate for every few years. See, for example: http://screencrush.com/yes-netflixs-film-catalog-has-gotten-... (and note that the "before" number in that article is from after Netflix lost the whole Starz catalog!)
I think you've put your finger on it. Funny thing that there are laws imposing standards on so many other technologies... but not software, even re basic file formats. Hmmm. Nobody thinks software is without economic consequence, yet this remains so. Hmmm.

For example, once upon a time screws were made however anyone wished to make them (and railways were whatever width the company wished.)

"In 1918 Congress passed a law establishing an organization called the National Screw Thread Commission, with the goal of ascertaining consistent standards for screws. The goal of this effort, which you might guess given the timing of the law's passage, is military-related: As you might guess, the military uses a lot of screws, and inconsistencies were apparently bad enough after World War I that Congress had to do something about it.

John Q. Tilson, a Connecticut congressman, argued that the measure was necessary due to the problems a lack of consistent screw thread were creating. He also made the case for businesses—who he argues also will benefit from screw compatibility."

http://tedium.co/2016/09/15/screw-history-standards/
Cool, but that's an incredibly boring comment so I made it better. I am confused why you did not accept this pull request.
I'm all for learning and experimenting, but is it ethical to do it at the expense of paying customers (including employers) on business critical systems, without their explicit and informed consent?
That's the thing about "motives", that you can't never prove or disprove one unless confessed by the "motivator" right?. So the only way to gather "evidence" would be to test the system and see if its actually dangerous or if its all bs.
Next time carry it up one flight of stairs and put it in the lift out of sight of the doorman.
Ask HN: Is it time for the Gmail web GUI to change?
Compression-Oriented Programming
British television (or Media in general) has released some very interesting shows
Oh? What subsidy program is he exploiting now?
I just have to say that a mere upvote does not convey the level of my enthusiasm for what you linked me. I'm so glad someone else thought of it too.
Logo Design Service – Flat Fee Based
Very cool. I wrote a SSR React + TypeScript boilerplate [0] and have been trying to keep it updated, but I just found out next.js has a TS example[1] so now I think I'll switch over.

[0]: https://github.com/styfle/react-server-example-tsx

[1]: https://github.com/zeit/next.js/tree/master/examples/with-ty...
The reason I ask is that the sheer puny proportion of the web view devoted to (a) the actual text of the message, when viewing a message, and (b) the text of a message when one is composing a message, are both infuriatingly small. Terrible by "design" standards.

I can haz a better looking Gmail interface?

I know one can use other mail clients with Gmail, e.g. Apple's Mail.app, but wouldn't it be nice if Google itself improved the situation using Google's own web interface?

Curious what people think.
California Bill to Ban “Fake News” Would Be Disastrous for Political Speech
There are some mental illnesses for which are associated with violence, but much violence is not associated with mental illness.