skysight-inc/HackerNews huggingface dataset:
Hoogle is the way to go, man. https://www.haskell.org/hoogle/
Azure PowerShell/.NET Community Standup (20170302)
Re "sold out": I explained this in other comments [1], [2].

I believe more and more people are using Macs, especially among my (narrowest) target audience (programmers). That's why I'm seeing ratios different from the average.

[1]: https://news.ycombinator.com/item?id=13777696

[2]: https://news.ycombinator.com/item?id=13778808
They responded to me in less than an hour.
Also keep in mind Tesla exists now and they do push the envelope. If this tech has any merit I would expect them to jump on it.
"This could be either a no-true-Scotsman, or a tautology."

It's even worse!

I am saying that working in terminals, with strings of text and non-binary-format config files ... and all of the tools built around that ... is an end in itself.

Every single "broken" example in the OP is something that I find non-remarkable and, in fact, makes perfect sense to me.
Re: the leather jackets, I think you might be underestimating the ability of people to be simultaneously stubborn and incompetent. I don't find that story to be at all unbelievable.
Node.js is 2x more popular in India than in the US
Interesting footnote: "The UT Austin Office of Technology Commercialization is actively negotiating license agreements with multiple companies engaged in a variety of battery-related industry segments."

I recommend the book "The Powerhouse: America, China, and the Great Battery War"[1], it goes into some detail about the legal issues around (one) li-ion design and Thackary's work with/without Goodenough and attribution.

[1] https://www.amazon.com/Powerhouse-America-China-Great-Batter...
Progress in this field is astonishing and it really propagates to the masses in the form of easy-to-use black boxes with a pinch of undergraduate-level maths. Just wow!
The main advantage is of course that the system provides apis for using the registry and all programs use them. But another is that the format does not provide for comments. This means that it is easy to automatically manipulate unlike the unix text files.
So... these are too heavy for use in cars etc, too low-voltage to displace Li-ion in ¿many situations?, but would last a long time?

What applications, if any, would this kind of battery be useful for then?
50 Years of APL Datatypes (2016) [pdf]
This broke apt-get update on my system, by adding an https update method. I assume the author must have apt-transport-https installed, or something.
Triggr Health | Full Stack and Data Engineers | Chicago | ONSITE

Triggr Health is the first predictive system of care for addiction recovery. We are a world-class team of engineers, designers, doctors, and researchers from institutions such as Stanford, Google, UCSF School of Medicine, UPENN, Northwestern, and Rackspace. We are currently working with many of the top treatment providers, government initiatives, health systems, and academic research programs in the world. Our core platform utilizes phone sensors and phone data to predict the state of an individual’s recovery in real-time, enabling the right care to be delivered proactively the moment it is needed. Imagine if you could predict risk factors that lead to regressive behavior, such as when someone is angry; when they are experiencing a craving; when they are not sleeping well; or when they are falling off their continuing care plan. Now imagine doing all of this without self-reported data.

We are building apps on both Android and iOS, a customer-facing web application, a robust web services API, machine learning-driven analytics, and large-scale data processing. Our tech stack includes NodeJS and MongoDB on the backend, Backbone on the frontend, React Native, Swift and Java for mobile, and Python 3 for machine learning.

If you want to work with a highly driven, mission-oriented team that enjoys working hard, has fun together, and embraces quirkiness, contact us at talent@triggrhealth.com with a resume, why you are interested in this position, why you want to be a part of solving this problem, and a picture of your favorite dog or cat breed (bonus points if it’s yours!).

Sr Full Stack Engineer Jr Full Stack Engineer Data Engineer

Full job descriptions here: https://angel.co/triggr-health/jobs

At Triggr Health we value diversity and endeavor to treat everyone with respect, no matter their age, gender, race, ethnicity, or sexual, cultural or ideological preferences.
Why not both? And throw in Link's Awakening too, which was a fantastic title in its own right.
Storage of collected solar energy perhaps?
Do you have some sort of notification on Gitlab mentions in HN comments? :)
You have missed an important point: Your technology is not yes/no/dunno, but yes/no/dunno/loop. Turing-completeness implies Rice's Theorem, which is basically a fancy way of saying that you can't escape Turing's results just by claiming that you're solving an "easier" problem as long as that problem is still non-trivial.

I'm sorry that you think that our amazing farsighted glimpse of the edge of computational infinity is "short-sighted", but in reality these upper bounds are very useful for reminding us of the certain futility of certain tasks.

Moreover, I am also happy to point out that a problem not need be Turing-complete to be computationally intractable even if decidable. Compilers happily cheat on optimizations, register layout, etc. if it means not having to run expensive algorithms. When a type-checker is accidentally quadratic-time, people roll their eyes and fix it; when it's intentionally exponential-time, people will avoid it entirely.
Slightly off-topic; the "FakeHtop" element on the page is mesmerizing.
I agree that autonomous doesn't have to be perfect, it just has to be better than humans (by how much we will leave to regulators) but it's not clear that the actual safety of these systems has kept up with the marketing around them. I would love to see the evidence.
Interesting comment. Got to say I agree with the direction of it, to some extent - stable and powerful over newfangled and weak / unstable / buggy / done for glory rather than substance.

Do you know about the Royal Enfield Bullet [1] from India?

It is not at all as technologically sophisticated as the bikes you mention and others, but it is a fantastic bike to ride.

They are selling it in the West, too, from some years. Originally from the Enfield company, UK, then was manufactured in India for many decades (maybe starting around WWII), as the same standard model. Then a decade or more back, the new managing director invigorated the company with better quality, newer models, higher engine capacity (cc) models (like 500 cc), etc. - though I would not be surprised that some fans prefer the old one still - maybe me too, except not ridden it enough, I rode a 250 cc Yezdi much more - also a great bike, almost maintenance free, a successor to the classic Ideal Jawa bike from Czechoslovakia, and also made in India for many years. Yezdi was stopped some years ago, last I read, but the Bullet is still going strong and even being exported, a good amount, to the West.

[1] https://en.wikipedia.org/wiki/Royal_Enfield_Bullet

https://www.google.co.in/search?q=royal+enfield+bullet

A Swiss guy, Fritz Egli (IIRC), was/is a fan and modified some of them (Bullets) over there. It was the subject of a magazine article.

I first rode a Bullet in my teens. A real thumper.
> What about the personnel costs?

I have no idea where people came from when they moved to AWS/etc but I always have (and still do) picked up the phone and got someone on the line who usually fixes whatever the issue is with me on the phone.

As far as demand spikes - even smaller hosting companies will have hardware they can spin up pretty quick.
"and the large individual donations from manufacturers,"
This, FWIW, is in fact the case with the brady groups as well.

Honestly:
It's just that companies tend to donate more to individuals. That seems normal.

"I agree though 'more or less' overstates that relationship, I was wrong. I'll amend that to: the industry has influence over the policies the NRA advocates for, and benefits from those policies appearing to come from their large member base.
"
I think you have the arrow of causation backwards.
How do you now know that it isn't "NRA individual members want to make sure industry does not get screwed, so NRA works with industry to formulate policies that help the industries, to help their members"
?

Cause otherwise, i could argue the same thing about the brady groups.
"The non-lethal weapon industry has influence over the policies the various brady groups advocate, and benefits from those policies appearing to come from their large member base"

(substitute non-lethal-weapons from any of a number of industries that benefit here. there are plenty on both sides of this coin :P)

I believe, without evidence otherwise, that the arrow of causation is "members want industry to survive and thrive, so mother org works with industry policy wise".

Note that your arrow of causation is applicable to roughly any major org.

IE industry donates heavily to EFF, in large amounts (though not, AFAIK, larger than user base, much like the NRA). Therefore "industry has influence over the policies EFF advocates for, and benefits from those policies appearing to come from their large member base".

(as you can see, this argument line can be applied to any association accepting corporate contribution :P)
I did similar with cars, though I still have the ECU to deal with. Eventually I'll replace that with a Megasquirt, because I can repair/replace all the components and know how the whole system works.

When I thought I wanted a bike, I looked around for a Condor A350.
Interviewed with Snapchat about 3-4 years ago (sub-100 employees). Did not get an offer, but their interview process was pretty standard and professional. They were giving out 0.001% equity at the time. I'd say it would come out to 250k-500k, but it's very hard to extrapolate.

They were already a mega hit with like 10 employees so I doubt anyone that hasn't been there super early (like first 5 employees) will become a millionaire off this IPO.
> I'm aware of runC but don't know if Docker images are realistically portable

Until recently Cloud Foundry ran Docker images with a custom runtime backend (garden-linux). It's since switched to using runC (garden-runc). So in principle it was always possible to do this.

A major reason for the switch was to reduce duplicated effort.

Disclosure: I work for Pivotal, a major contributor to Cloud Foundry. Insofar as Docker move towards the value line, we're competitors.
I'm more surprised by THPS2 having 3 different editions in the top 13 games. It's a great game, but feels weird considering it one of the greatest games of all time.
Pretty sure he means OpenBSD and I'm in the same boat.

Also, Erlang and Elixir run out of the box on it, so it's suitable for nearly all of my personal projects.
'social influencer' sounds so much better than 'celebrity', 'front man', 'personality', 'trend setter', or 'pitchman'.

This is like the 3rd or 4th oldest profession. An outgoing person has a conversational style that, combined with a media delivery platform, people actively seek them out. Think Oprah Winfrey here. She "connects" with people and she had a talk show that delivered that connection. People tune in and listen to what she says. Groups of people start adding "did you see what happened on Oprah?" to their conversations and that creates a bit of a tertiary effect where third parties listen/follow in order to having something they can relate with. Sort of "Everyone gets their arrowheads from zog, not only does he knap a mean flint that won't break hitting even the hardest bison, he knows everything that is going on around the campfire and has great stories."
Same piece, right? Or was there a mini-series?
Influencer marketing is a thing, people do this on every major social network. I wouldn't be surprised if people do it here on hn too.
For SPEC, you can't edit the source code of the unit under test. Only the compiler and host hardware count. Some components of SPEC have been "broken" by compilers in the past, by implementing some optimization or other that suddenly made that particular test code much faster. But you don't ever get to re-write the benchmark itself, you can't replace a 2^N path with an N^3 path or anything like that. So these kinds of breakages have almost always been restricted to benchmarks that are reducible to one or two relatively tight inner arithmetic-heavy loop(s).

If someone managed to make an optimization that could suddenly make GCC 2x faster without humans editing GCC's source, that would be a major CS breakthrough :)
I would guess that microfractures in the glass would impede the movement of charge carriers, even if it didn't shatter outright.

It wouldn't be good for the battery to hit it with a hammer, I think, but that really applies to any high-energy-density battery. Not all glasses are created equal, either. It all depends on the composition and the cooling regime. Some glasses can shrug off small-caliber bullets, and others will crumble under your fingertips.
That just seems....inflexible. I definitely see where the reasoning comes from (it's not fair for deaf or similarly disabled people who pay taxes to these public schools to not be able to receive the same benefit as everyone else) but the lack of wiggle room sucks.
$OS_VENDOR most likely only ships Docker the container runtime, not Docker all the other shebang.
Why arm?
> The main limit on specific energy(kw/kg) for this battery and for solid state batteries in general is voltage. Li-ion is 3.7v nominal, this battery is 2.5v nominal.

Forgive my limited electronics knowledge, but would something simple like throwing a boost converter on the end of this not be sufficient for many applications? Is the maximum current output too low to reach sufficient voltages too?
I was thinking about this when I read about the perfect scores from GameSpot and Giant Bomb today. That review basically created Giant Bomb...or at least helped him leave GameSpot later on.
Well, if you think that a plant only produces fruits for animals to spread seeds...
Docker is trying to alleviate this concern by spinning out and trying to foster alternative runtimes, check out containerd and runc:

* https://blog.docker.com/2016/12/introducing-containerd/
* https://runc.io/
I don't think this is a good idea.

It's easy to write JS once you have the basics of Java. Not the other way around.

I find that the 'loose' nature of JS, combined with the very odd/unique prototype-chain paradigm makes for a ton of bad habits.

When I refactored a project from JS to Typescript - beyond the obvious typing issues, I realized how poorly I was doing some things and was rather forced into a tighter compliance by the new paradigm, though not just a strictly typing issue.

I think Java is a really great all round language for learning - you don't get caught up in some ugly things that C/C++ exposes, meaning you can 'get going' and learn concepts without the hurdles.

Python might be another better learning language, in fact, maybe the best for algorithmic stuff.
Both are available in some regions, for example Australia
I was watching a Nova episode on batteries and they showed a new type of Lithium Metal battery that used a plastic material that separated the positive and negative halves. The unique thing about this new Lithium Metal battery was that it was not prone to the existing problems of Lithium Metal batteries and did not catch fire when punctured. They even started cutting portions of the battery off with a scissor and it continued powering an iPad.
Here's what I do in these situations:

1) determine the email pattern for gm employees, usually it is something like john.doe@gm.com
2) find the head of every major department related to my issue as well as the CEO and add their addresses to an email
3)provide documentation of all attempts to correct the issue and if you use outlook, request read receipts just to be 'that person', send an email highlighting your multiple attempts to correct this, how you are willing to escalate it to x,,y, or z. Media, government agency, etc. if it is not dealt with appropriately.
4) success

I've received gift cards, emails from CEO's apologizing, finally got removed (after 6 months of emails to regular staff trying to stop it) from an automated Dell email invoicing the wrong company, etc.
What I've noticed after using paredit is that I'm doing a lot less paren matching (well none) and a lot more white space clean up, so I think such a function would be very useful to run as a hook on insert char. Since the program is always syntactically correct, it might almost work...

And @sedachv, thanks for Parenscript. It makes Javascript almost...well, now I can work it it :) Much appreciated.
We called it Igor because it was a friend of Jenkins. It's named after https://en.wikipedia.org/wiki/Igor_(character) . There is another service internally called Woodhouse
Why do you want to keep your phone and laptop? At least to my ears, that sounds odd. Why should they not want to use that for your replacement?
>> If you're buying a desktop quadcore processor in 2017, you're doing it wrong. May as well buy a laptop.

Not true, IDEs, web browsers, office tools need single core performance and not 4+ cores. A laptop is more expensive, will make more noise when loaded, is harder to upgrade, is less customizable, has less ports, is more expensive to expand (ThunderBolt devices are not cheap at all). What are you talking about?

>> Intel's margins and lineup are utterly destroyed especially once you consider how expensive Intel HEDT boards are on top of it all.

There are few people who build workstations for themselves(even among software developers). HP and Dell haven't announced any Ryzen systems as far as I'm aware. Right now AMD's new chip will have minimal impact on Intel profits. Only if AMD can remain competitive on stability, performance and price for a few years will Intel start loosing major chunks of income and market share.

>> Kabylake sucks as a workstation chip but is ok for gaming if your PC is solely a glorified Xbox.

PCs are universal machines, you can play games AND do work on the the SAME PC ;-)

>> Vast majority (90%+) of gaming rigs are GPU-bound. Think very carefully before giving up 8 cores and 16 threads at the same price.

GPU-bound does not mean all CPUs produce the same framerates on a given GPU.

I personally do hate Intel and nVidia monopoly and hope AMD can increase their market share, but your points are very weak.
Occasionally when I run out of analogies for why convoluted systems are not 'flexible', I reach for a half-remembered homage, that I encountered as a teenager, about the Chevy Straight 6.

This was not a fancy engine. It was not a particularly powerful engine. Not a single thing on it or about it was exceptional. Because it was easy to work on and with add-ons and modifications it could be coaxed into doing things it wasn't really meant to do. It was just solid and got out of your way. So engineers and hobbyists tinkered and tinkered and got something over 2.5x the original horsepower out of the thing.

Unix commands might be solid, but the 'get out of your way' bit is what troubles me. People will lament otherwise good engines that are hard to work on because of a design flaw or the way they're laid out. Unix is falling down here. It's just that everyone else is at least as bad. But a guy can dream.
I'd have gone with "facades" or "partitions" personally, because I'm seeing it as the divisions of your identity. But I'm thinking to a user they don't think about how the site sees them, they think about how they see the site, and keep their set of sites in boxes.
> For GUI programs, menus / toolbars used to be the concept guide

This simple fact seems like the key to getting the masses into computing. For something like 6 years (say 12-18) GUIs were the way I interacted with computers. Need to do something and learn about it? Go and explore the UI until you find the option. If the option has a shortcut printed, you will remember it eventually.

Sadly, GUI design is a quite separate discipline from software design. This means much open source software is missing GUIs. Those who write the software aren't always GUI designers. This also creates the mismatch between composing software and composing GUIs. As they are different disciplines, what it means to combine them means different things.

A decent stopgap is massive frameworking and standardization on GUI to make it easier for devs to get a GUI.
To get the really good stuff, commercial entities have the best position. They need their stuff to be usable by everyone, and this finances the hiring of GUI people.

There is the rare gen of a developer that can also do GUI right, but that only has value in the case of small projects. When projects grow, unless all devs have the GUI knack, you're gonna need some dedicated GUI people.

It would be great if we could get more GUI-oriented people into open-source stuff but it seems like they aren't as attracted to open-source as devs are. It might be because devs can be at the ground floor of a project, and GUI, almost by neccesity, comes later.
It's interesting to compare the two IPOs. Twitter opened at $26 and closed at $44 at a valuation of $25bn. Twitter had $650M revenue in 2013 for EBITDA of -$525M. Snap closed at $28bn valuation, had $404M in revenue in 2016, and EBITDA of -$460M. Twitter had roughly 100M DAUs and 230M MAU whereas Snap has 150M DAU and over 300M MAU. Snap is also 2 years younger than Twitter was and the number of minutes spent on the platform per user is much higher.

So, all the numbers are wacky and who knows.
I don't mean this as an attack, but I really just don't get this attitude unless you're buying a laptop primarily as a social symbol or display piece.

I use a laptop as a tool, and suspect that's true for more people here than not. I would argue that for a tool the primary element in design execution is achieving fitness for purpose. You want an aesthetically pleasing tool too, but no amount of pretty makes up for inferior function.

It's debatable where macbooks fall on the fitness for purpose scale, and if they are the best solution to your needs, then by all means use them. But I don't understand how you can evaluate that and come to a conclusion just by looking at a picture on a marketing bit.
Article seems like clickbait.

Plus, Snapchat has never been about "creators" anyway (there's no discovery, for one), it's about your close circle of friends. Sure it's fun following like Dj Khaled or something, but most snap views and snap sends are from people to their friends.
DIY Weather satellite V-dipole receiver antenna
Of interest, SAP is a Platinum member of the Cloud Foundry Foundation and has a certified CF distribution, SAP Cloud Platform.

Disclosure: I work for Pivotal, another Foundation member, which also sells a commercial CF distribution.
Sorry about that :/ It adds /etc/apt/sources.list.d/fman.list so you can update fman with apt. Isn't non-https unsafe?
> What is the other reason to ask someone their religion at the border?

To determine their eligibility to enter. Much like figuring out political views, it can open up avenues of discussion which may flag problems.
When I got my current monitor I noticed it had a dead (on) bright red pixel. I was originally extremely upset with this and it was super distracting, but then 2 days later I didn't notice it anymore, and now I can't even remember where it is. That was like 3+ years ago I think.