skysight-inc/HackerNews huggingface dataset:
You're confusing superintelligent computers (something man aspires to create) with metaphysical superintelligent beings (that already exist).

™
An Introduction to Frequent Subgraph Mining
While there may be a legit point to this article, let's also keep things in perspective. In the past few weeks we've had....... 3 major hurricanes resulting in enormous damage. The NFL anthem/knee controversy. Escalating tensions with North Korea. The Catalan vote turned into military police violence yesterday. The largest mass murder in recent American history today. OJ was released from prison. More Manafort investigations. The protests/riots in St. Louis over officer Jason Stockley being cleared in the shooting. The other riots at Georgia tech where a cop car was set on fire of a different shooting. The discovery that Jared Kushner has used private email for government business. Developments in the Russia hacking scandal which may prove involvement in the election. The deadly riots in India after a religious leader was convicted of rape. A terrorist knife attacker in France yesterday. Suicide bombers in Syria today. The alleged murderers of Kim Jong-Un's half brother began their trial.

And that's just the shit I can remember! I'm afraid to think about what I have already forgotten - and that's really the point. There's really only so much any one person can focus on to any meaningful degree. I'm not a fan of the media, but I don't blame them for this one. People were sick of hurricane coverage and with all that other stuff going on, they curtailed coverage a bit to focus on some other hot button issues.
"Be the change you wish to see in the world."
There are still a few out there, but it is not nearly as popular as it once was. Even Zofo sold a story. I recall them being more popular, leading to rocumentaries and rock operas, things like that.

They do still exist, just not as frequent and not as popular, at least not from what I see.

Unfortunately, they also didn't last very long. I'd say they went fairly strong for about 2.5 decades. Their peek sort of correlated with arena rock in the 70s and 80s. There is still some arena rock, but that seems to be tapering off.
Just noticed a link in another article on the front page about Tesla: (https://news.ycombinator.com/item?id=15388034)

http://ir.tesla.com/releasedetail.cfm?ReleaseID=1042449

(third-party site, but interesting nonetheless)
To ship less code, write transpiler-aware JavaScript
It has been interesting to see the to and froing of arguments for and against static typing in the discussions here.

Though I am not a type theorist (I only dabble in compilers and language design), I have noted that many people conflate static typing and dynamic typing with other additional ideas.

Static typing has certain benefits but also has certain disadvantages, dynamic typing has certain benefits but also has certain disadvantages.

What I find interesting is that few people fall into the soft typing arena, using static typing where applicable and advantageous and using dynamic typing where applicable and advantageous.

Static typing has a tendency in many languages to explode the amount of code required to get anything done, dynamic typing has a tendency to produce somewhat brittle code that will only be discovered at runtime. The implementation of static typing in many languages requires extensive type annotation which can be problematic.

But what is forgotten by most is that static typing is a dynamic runtime typing situation for the compiler even when the compiler is written in a static typed language.

Instead of falling into either camp, we need to develop languages that give us the beast of both world. Many of the features people here have raised as being a part of the static typing framework have been rightly pointed out as being of part of the language editors being used and are not specifically part of the static typing regime.

Many years ago a similar discussion was held on Lambda-the-Ultimate, and the sensible heads came to the conclusion that soft typing was the best goal to head for. Yet, in the intervening years,when watching language design aficionados at work, they head towards full static typing or full dynamic typing and rarely head in the direction of soft typing (taking advantage of both worlds).

S, the upshot, this discussion will continue to repeat itself for the foreseeable future and there will continue to NOT be a meeting of minds over the subject.
We were talking about Cybersyn, right? Planned economies (and the merits of a particular Chilean attempt at such) was the point.

I took your post to suggest that Cybersyn used more sophisticated real-time mechanisms to run the economy and was hence quite different from other attempts at planned economies in the past. My point was that those mechanisms, in function, probably would just be an “ad-hoc, informally-specified, bug-ridden, slow implementation of a market” at best anyway.

If anything’s a straw man argument, it’s the irrelevant discussion of “military juntas”, as if military juntas are fundamentally incompatible with using 1970’s-era computers to centrally plan and control a country’s economy.
>Random thought of mine is charging becomes less of an issue when the cars range is several multiples of daily use. If say your electric car has 200 miles of range and you drive it 40 miles a day, then it needs to be charged once every 5 days. Which is in line with the US average of 12,000 miles a year. Or 230 miles a week which is about the range of a Bolt or Tesla.

The reason this line of thinking doesn't line up with reality is because of how lithium ion batteries work. Storing your car at a full charge will increase the rate of battery degradation as much as 5x. Similarly, discharging to (or near to) 0% State of Charge is stressful to the battery because you are causing voltage imbalances among the individual cells within each pack. The reality is that most EV drivers keep their cars between 20-80% at all times. This is optimal for battery health and it ends up being the most practical charging pattern for daily use as well.

With gas cars, you are forced to think in terms of "time between fill ups", but with an EV you are constantly "filling up" anywhere you go because it's so seamless to park and charge.
FitMango | Software Engineer | Baltimore, MD | ONSITE/REMOTE | fitmango.com

FitMango is transforming the fitness industry by making it easier and cheaper for gyms to offer excellent personal training for their clients.

Our SaaS platform tracks detailed client data (think EHR for fitness), replaces a trainer's notebook and stopwatch with an easy-to-use mobile app, and allows a gym to write workout templates that get customized to each client's specific and evolving needs.

One of our cofounders runs a successful boutique gym specializing in small group personal training (1 trainer : 4 clients) that doesn't compromise on customization. By automating away the paperwork and context-switching inherent in this model, we're making it possible for larger gyms to offer drastically cheaper personal training, with a view toward bringing about large-scale improvements in public health.

Our investors own various gyms in Maryland and beyond, including more than 50 Planet Fitness franchises, and we have great relationships within the industry. We're looking for fantastic developers to help us scale our SaaS process, take ownership of features for new clients, and use the data we generate to help our gyms provide more effective training.
Our front end is React and React Native with AWS Lambda and Dynamo on the back end. We're looking to hire two engineers with complementary skill sets, so whatever you're good at, send us an email at hiring@fitmango.com with a link to a project you're proud of. As employee #5 (or 6), you'll make a huge impact on our company and enjoy unlimited free personal training with a competitive salary and equity package.
FuturePet | Full Stack Developer | REMOTE (Western Canada) or ONSITE (Victoria/Vancouver)

FuturePet is in search of a Full Stack Developer to join our growing engineering team and help develop software that will bring modern practices to the veterinary world. In this role you’ll be working closely with a focused product team to bring idea’s from the experimental stage all the way to production. Great candidates for this position will know how take a feature and make it their own; seeing it through the development process backend to frontend.

This position offers a lot of professional growth as our business expands and our system scales. Right off the bat you will have an impact not only on product direction but on system architecture as well. These opportunities will only increase as we continue forward.

In the end we are looking to find someone with great communication skills and a demonstrated ability to learn. We understand technologies change often and no one knows everything, but being able to pick up things fast is what will make someone standout in this role.

What we need:
- Development experience in Javascript
- Development experience working on the backend
- Experience in an Object-Orientated Language
- Experience with relational databases
- Comfortable in a Unix environment (you know your way around a terminal)
- Excellent Communication Skills
- Exceptional attention to detail (you take pride in your work)
- Ability to prioritize competing tasks and work independently

What would be nice to have:
- Experience with a functional programming language
- Experience with Postgres
- Experience with AWS
- Experience with React
- Experience with Python
- A Github or Gitlab profile

DM myself directly or apply here: https://angel.co/l/22iXUp
They looked away when the Spanish police was using batons and tear gas on Catalan citizens, so I very much doubt they would move a finger for Internet censorship; Shame on them.
Doing studies on those things you think are stupid is the right thing to do. Counter-intuitive stuff is found all the time in science. Occasionally those alternative medicines get tested and turn out to work, in which case they become regular medicine.

By declaring something as "too dumb to study", you're a priori declaring the result, which is bad science.
Presumably not. I'd expect it to mean that the position is for someone who isn't expected to come in every day but could be available for in-person work on short notice.
Moore's Law
If you are searching for “Geary Danley” after the shooting then the result you want 99.999% would have been the 4chan article or similar.

Google gave the exact information people wanted, no? He was a meme, people searched for the meme and got it.

They offer up no evidence that this “Geary Danley” story was brought up incorrectly on other search terms where it would have been inappropriate such as "shooting", "shooter", "las vegas" etc

Do we want Google to hide a meme spreading around the community?
It would, however, have two senators likely to be Democratic.
HoneyBook | San Francisco, CA and Tel-Aviv, Israel | ONSITE

We're building a market network [1] for creative professionals. We have a workflow product that members love, and now we're working on building the network and marketplace on top. The team is great and the work is challenging, and although we're growing fast, it remains feeling small because we take care to keep it that way.

Stack: Rails, Angular, React

Info: https://www.honeybook.com/careers

Check the descriptions in the links, and let me know if you have any questions. I'm Eddie, on one of our development teams: eddie a t honeybook , com

Some key roles we're looking to fill (but there are plenty more!):

-Business Data Analyst (SF):

https://boards.greenhouse.io/honeybook/jobs/750812

-Sr UX Designer (SF or Tel Aviv):

https://boards.greenhouse.io/honeybook/jobs/143687

Also plenty on the sales, finance, and operations side too.

-- [1] https://techcrunch.com/2015/06/27/from-social-to-market-netw....
I'd be interested to hear how others are handling read/write capacity configuration for dynamo. It seems like it would be very easy to hit the account limit of 10,000 units once you are querying any significant amount of data. I've also run into issues with auto scaling where you have to endure up to 15 minutes of downtime before the scaling kicks in [0]. Even on a table with ~2000 items I've found it becomes quite slow and costly to fetch data. Also the 25 item limit on batch writes makes it pretty frustrating to edit/delete lots of data.

- [0] https://hackernoon.com/the-problems-with-dynamodb-auto-scali...
I'm more interested in solutions like Spanner and Cockroach. Different tradeoffs for different applications, but they seem to be the most general purpose of the highly scalable databases. DynamoDB is cool and I've tried to adopt it for things, but it's surprisingly hard to imagine an application where the model isn't somewhat limiting. The capacity provisioning is also quite painful, which doesn't help matters any.
> a genetic cocktail that rapidly converts skin cells into endothelial cells

> The transformed cells also appeared to secrete reprogramming materials in extracellular vesicles (EVs) that targeted deeper tissue. Injecting mice with EVs harvested from the skin of other treated mice was as effective as using the chip itself.

So... the "genetic cocktail" acts like a virus?
Also, pulling up 2-3 major news outlets right now I see that PR is mentioned on all of them, particularly because the president has announced a visit there. But still. It's on the main page of all of them this very minute.

One other thing - today is a perfect example - if it weren't for the mass shooting in Vegas, the Catalan voting violence would have been the front page news today. Maybe being in Europe it is that way, but not here in the US. Catalan was all but drowned out to the Vegas attack.
I used to be wishy washy about PR becoming a state. Now I'm 100% behind it.
This is what happens with taxation without representation. Eventually you get screwed.
The London Tube bombing. I think that was just a couple of weeks ago.

As you say, there is only so much one can focus on. I don't even try to really retain or keep up with it all. I can't and I don't care if I'm expected to.

I'd say that I also have a finite amount of empathy. It sounds bad but it gets used up quickly and I have more local things on which to spend my empathy. I know it is selfish, but that's just how it is.
Hey HN, this is my first Medium post. I got sick of trying to perfect it, so I finally hit submit. I'd appreciate some feedback - thanks!
The Media is very lazy, they'll cover anything they can drive to. Houston and Florida got tons of coverage because they were already there. Covering PR would mean significant personal discomfort for the reporters and crews, with no guarantee of being able to leave on their own schedule. There just don't seem to be many reporters of that ilk anymore.
Do you believe hate has ever been truly silenced at any point in history? Would you prefer to not know it exists and what it is saying to other people?
Code Generating a Safer Web with Rocket
You can request that limit be increased through the limit increase form.

Also, if you need to scan a ton of items to assemble your desired result, you should re-think using DynamoDB as a whole.
This isn't news, it's gossip. ~200 instead of ~1500 means the bootstrapping is a little off schedule.

It's stories like this and the attitude that they're important which gets us very destructive behaviors like putting production quota ahead of quality. Production misses are news when they're for substantial cause. Like a 10% miss for an S or X might be news.
In no small part due to years of national news pretty much ignoring the existence of Puerto Rico.
Nobody has ever established that human intelligence is not computable. Human intelligence can't solve any of the well-defined problems you mention, or transcend the limitations of any of those theorems. Don't mistake the idea of an idealized perfect intelligence with the very limited and finite ones that we actually possess. Asking what God could do always leads to madness.

Some of what you mention are what I consider non-well-defined philosophical problems, which really have no bearing on the ability to create algorithms that could pass the Turing test and are outside of the scope of a discussion on the practicality of creating AGI.
San Francisco has become polarizing over the past decade(+,) though SOMA used to be pretty much a shanty town in the 80s: http://ww2.hdnux.com/photos/42/55/37/9099221/3/rawImage.jpg

"Mayor Dianne Feinstein leads a group on a tour of Shantytown at Seventh and Berry streets in 1986. The group includes her press secretary Tom Eastham (left), Public Health Director David Werdegar and Thomas Dalton, “mayor of Shantytown.”

One more: https://www.wired.com/2015/01/janet-delaney-south-of-market/
Go to the Tesla forums. You can estimate 10 year degradation rate based on the 5 year rate.

Moderate climate probably refers to not having many freezing or >100 temp days.
Startups… not all of them can handle (let's just call it) "rejection". I've seen other reactions too, so — no, they're not all like that.
epic comment
> Nobody on this planet can produce positive value in the 112th hour worked in a week

There are a few people who do this, for whom "being awake" is basically the same as "working". Generally these few people are not employees, but part of the entrepreneurial world. However, they're outliers, and don't really counter your point.
The problem with these new giants is that people really want them around. People don't care so much that their neighbors are going out of business; they just want their crap cheap and as soon as possible. The current legislative environment is entirely ill-equipped to deal with these companies, and moreover, no one even knows how to deal with them. What is clear, though, is that the proliferation of supercompanies like Amazon is repugnant to the ideals of the free market and must be stopped.
I'll add my thanks here. I suppose thank you type posts aren't always the most productive, but I am adding it because it also serves as confirmation that my I invite was received and, of course, that I am grateful.
> Right now I'm leaning toward sticking with the QWERTY layout but only because I can't be unproductive for forever.

As opposed to what?

If you don't have strong QWERTY muscle memory using this keyboard yet, it may be a great opportunity to learn something else.

Really, any thoughtfully designed layout will do. Dvorak, Colemak, Norman, Workman, anything. Typing well with QWERTY means constantly contorting your hands, which I assume is something you would like to avoid.
Do you mean https://en.wikipedia.org/wiki/Persistent_data_structure or something more specific for this case? It's known how to only incur an O(1) cost in time and space for making a data structure persistent. So then you just need to keep a reference to all past versions of the data structure you might ever want to undo back to.

EDIT: actually reading the wiki more carefully, I think they were talking about making a BST persistent specifically rather than any data structure. In that case looking at implementations such as rrb-vectors might be more interesting: https://github.com/clojure/core.rrb-vector
LOL… when first reading the headline, my brain went "which proves KFC doesn't serve real food". ;)
Not getting paid is often a sign that the company will collapse in the near future. For the best that they left.
This is a press release which was likely delivered to wsj et al through a wire service they pay to deliver them piles and piles of press releases. Nobody quotes those as sources because nobody but news organizations that pay for them has access to them. A press release is also a rather bad primary source unlike, say, a research paper or a blog post.
They're also not taxed like a state, citizens resident there aren't taxed on income, except for social security, which they receive the benefits of. So no, they're not represented, but they also don't have the same burdens.

Edit: it does sound like they might get shorted on Medicare benefits? It's unclear.

Edit2: this article looks at the difference between spending and taxes, in 2011, for all states and Puerto Rico: https://www.economist.com/blogs/dailychart/2011/08/americas-...
Even a lot of the media has struggled a bit with it- talking about "US aid" when they mean Federal aid. They never say US aid when disaster strikes the rest of the US, they say Federal aid.

Interestingly, apparently PR is still considered "unincorporated" meaning that the US Constitution doesn't apply in its entirety there.
I think you have missed my point. I am not saying that humans are able to solve the halting problem! Nor am I saying that static verification is always better than testing. I am saying that you don't need a halting oracle to express and verify arbitrary properties in a static type system, because a static type system can and will reject programs that would not have type errors dynamically.

If you write this program in a statically checked language:

let x : int = 6
let y : int = 3
while true:
if y>x then break
if is_prime(y) and is_prime(x-y) then
x = x + 2
y = 3
else
y = y + 2
endif
x = "foobar"

I can tell you that it will not type check. And for the same reason, if you write the same program in a language that can express termination and claim that it terminates, the program will not type check until you have supplied a proof of (edit: the negation of!) Goldbach's conjecture in a form that the type system understands.
You can still pattern match when receiving, though (in fact, 'receive' in both Erlang and Elixir does pattern matching already in the same vein as 'case'); just match messages based on a tagged tuple or a record (Erlang) / struct (Elixir) signature or however else you want to define your "types".
Yes, but it is news for investors. Missing productions goals as a startup is different than missing production numbers as a public company that is arguably quite overvalued. It matters because if it effects their share price, that can have important downstream effects on their eventual ability to execute (e.g. secure more loans).

Edit: I am not trying to say that Tesla should be punished, but am specifically addressing that it is, in fact, news.
Vic 20 with no way to store any programs entered. Upgraded to a C64 with a datasette the following summer. Stacks of RUN and COMPUTE magazines.
Ask HN: Who is working on privacy these days?
I know Open Whisper Systems is, via the Signal app, and the Signal protocol. Keybase is building user friendly PKI. Tor and I2P are working on the network layer. Who are the other players working to make the web more secure and private for normal users, not just from governments, but from Google, Facebook, Comcast, and other private entities?
ZeroNet doesn't use bittorrent for file transfers. The bittorrent network is only used for the DHT to map site addresses to IP addresses (or TOR hidden service names).

File transfer is done over a service that ZeroNet runs on a particular port with its own protocol.
How to Buy Bitcoin, Ethereum, Cryptocurrencies, and What to Watch Out For
Google and Facebook have failed the Atlantic which is seizing on tragedy to imply only sanctioned media (them of course) should be available through Internet searches.

However most of the rest of us are not failed as we already know results from 4-Chan probably aren't accurate.

Please stop failing all of us with this desperate bid to get back in control of information dispersal there The Atlantic. I'd much rather see a smattering of nonsense and be able to make that determination for myself rather than you deciding what should be available for viewing.
It wouldn’t hurt that the west coast is connected to the mainland and its far easier to transport supplies to without major coordination.
Someone needs to take hold of the dystopia dial and turn it back down. Quickly. Before it becomes too late.

Wow, thanks for that brilliant suggestion, buddy. Okay, here you go... twist twist twist... all better now! Why didn't I think of that before?
Sounds like a terrible CEO. That is completely inappropriate and unprofessional.