skysight-inc/HackerNews huggingface dataset:
Kentik | Software Engineer | San Francisco | Onsite/Remote | Full-Time | kentik.com

Who wants to build a database? A specialized database. Kentik is a tool to ingest and process network metadata: how many bytes, how many packets, are your tcp sessions suddenly seeing an uptick in re-transmits, how does your window size look, are you under attack, did you just get BGP high-jacked?

We wrote a custom database in go, which at its heart works by taking a time range, storing all events by time-slice and then at query time querying each time segment in parallel. This is hidden behind a Postgres front end using the foreign data wrapper interface PG provides. A data visualization layer on top distills the inputs down into actionable intelligence.

The end result of all this is that when anything changes on your network you get a slack message.

Interested? We're hiring for multiple roles, including:

* Full stack JS engineer working in a react code base. Work up from postgres -> node -> client browser.

* System engineer fluent in go and/or rust. Build fault tolerant distributed applications capable of handling billions of data points per day.

* Product manager. You are working with customers and employees to influence product strategy and shepherd projects to completion.

https://www.kentik.com/careers to apply. We are a split team 50% based in SF and 50% full time remote.
Zipcar and Maven manage to do it just fine.
Ouch, which university is that? I've heard of universities negotiating deals to get student discounts with certain vendors, and others requiring students (normally in engineering programs) have laptops meeting certain requirements, but this is the first time I hear of students having to purchase underpowered laptops.
I found this article extremely persuasive, and it matches my own experiences with asyncio: The performance gain might be there if most of what you do is waiting for a network response, but even a small amount of data processing will make your program CPU bound pretty quickly.

http://techspot.zzzeek.org/2015/02/15/asynchronous-python-an...
> Thus we get quotes from them like "overpopulation on Mars"

Context, please? :)
In theory yes, but back in the PPC days a lot of stuff was not available even though theoretically it could have been.
If you can’t, the results are invalid.

I can give you data that say anything. The reproduction that counts is where you obtain similar data independently.

If you want to validate that my claims are justified BY MY DATA then you need my data.

If you want to validate that my claims are justified by the universe, you need to get your own data and should avoid being polluted by mine.

Having said that, I competely
support publishing data by default. But not for the reason you state.
Close, but Apple already produces it's own WiFi/BT chipsets (the S1/S2 etc SOCs in Apple watches for example, and the W1 chipset in AirPods and new Beats headphones), and is rumored to be working on an LTE/GSM chipset.

I think Apple is intensely interested in controlling the entire stack.
Beryllium supply does seem like a serious issue. I've often criticized renewables for battery raw material limits and those aren't near as bad.

I think lead does the same thing for neutronics...somebody educated me once on why it's not a viable option but I forget the details.

Maybe somebody can find a better way to purify 6Li.
> They could offer it to their employees in exchange for a salary reduction totaling those $34M/year.

It doesn't really matter. If the business is unsustainable then all such moves won't cut it anyway. Businesses typically lay people off when things aren't going well, and things aren't going well for snap.

They could pay them that money today but what about tomorrow?
The Computer Nonsense Guide (rc2)
Appreciate you taking the time to comment. I don't plan to lawyer up, but I think you're probably correct that it's not healthy to continue working there barring a change.

My father's stance is very perplexing to me as well. He's a great guy, but when it comes to business, I'm sometimes surprised by the ruthlessness.
> the famous switch from PowerPC to Intel happened when the desktop was the king,

I though one of the major reasons for the switch to Intel was the power consumption and performance on laptops.
As a warning that if we do our jobs sloppy there will human life loss.
This is no surprise, it's in Apple's culture to want to own the stack completely. I wonder how they will execute on this however, Apple's design team is pretty good.. but who do they have doing pre and post silicon validation? Will they go the extra mile someday and build their own fab? There are lots of intricacies to consider when trying to make your own chip. I guess the biggest question is how far is Apple willing to go to have complete control over their product, microprocessors are probably the most capital intensive part of their product.
There's no better example than this of technology's unintended consequences. Tech has two sides but we only like to focus on the good one. We don't like to face the hidden beast.

We all need to keep that in mind.
To play devil's advocate.. While you may trust them more, you can't deny they have had many significant software security issues of late. How could consumers trust the security of their chips?
I had assumed that was sarcasm.
I did not know. I haven't done anything with bridges in 20 years. Thanks for the info.
> Correction: Purported formal proofs often actually aren't formal proofs. It is not a proof if it is wrong.

Yes, in the strictest sense an incorrect proof is not a proof. But at the same time, people often call either flawed proofs or purported proofs formal proofs in a looser sense. You cannot be unaware of this point. You must have understood what was being conveyed. Yet, instead you decided to engage in a nitpick over the meaning of the phrase "formal proof"

Furthermore, your claim that "If you actually come up with a proof, you are completely guaranteed that the proven statement is true." is utterly unhelpful. You know that my point was that a manually verified proof might still be wrong. And yet rather than addressing that point you decide to evade it by an ill-considered nit pick on whether an incorrect proof is still a proof.

So at this point, you are not discussing the questions in good faith, and I'm done with this conversation.

(And no, I'm not backing off my position.)
It seems more likely that the people of Myanmar turned into a beast, and Facebook reflects that. It's not some fringe ideology. Everyone from politicians to monks have voiced their support for this.
WRT Taxes, they’re seen as a necessary evil. They are necessary for a government to function, and that function should be to protect an individual’s rights (among those property rights).

WRT helping the poor, and those down on their luck; this is out of scope. It is of course our moral responsibility to help those less fortunate, as humans. You can and should give to the needy. However, being coerced into donating to a homeless shelter is not donating at all.

Libertarians take the optimistic and perhaps misguided view that humans are inherently good people. Crazy, I know.
> High Sierra is the last macOS release to support 32-bit binaries

"Without compromise". We'll see what this means later, but most likely it'll mean that macOS won't ship with a 32-bit runtime and you'll be able to download as you do with Java.
One of the issues is that many ISPs don't actually run their own recursive DNS servers... They outsource to companies which provide a "monetized solution," operating the recursive resolvers and paying the ISP in exchange for the customers' data, which they sell. This will become an illicit activity shortly in Europe, as the GDPR comes into effect, but there are many ISPs that have become very used to receiving those payments. And most of them already don't admit to selling their customers' privacy.

So privacy is why many of the people who use a different recursive nameserver are doing so... In order for that to work, you need to use one of the ones which support link-level encryption, like Quad9 (DNS-over-TLS) or OpenDNS (DNScrypt). Other reasons are performance (which at least in Quad9's case should be no worse than your ISP for real-world queries, since it's back-to-back with many of the authoritative servers already, and all of them will give you a large pool of other users sharing the same cache, which helps performance immensely), and security... Going back-to-back with the authoritative servers also collapses the attack surface between them, minimizing the possibility for MITM attacks between the recursive and authoritative servers.
"A couple of hours outside Yangon, the country’s largest city, U Aye Swe, an administrator for Sin Ma Kaw village, said he was proud to oversee one of Myanmar’s 'Muslim-free' villages, which bar Muslims from spending the night, among other restrictions.

'Kalar are not welcome here because they are violent and they multiply like crazy, with so many wives and children,' he said.

Mr. Aye Swe admitted he had never met a Muslim before, adding, 'I have to thank Facebook because it is giving me the true information in Myanmar.'"

https://www.nytimes.com/2017/10/24/world/asia/myanmar-rohing...
Quoting the OP:

> By the same logic we can also blame the internet as a whole.

It may be trendy to hate on Facebook right now, but this kind of hand-wringing is ultimately an argument for internet censorship.
Arizona GOP Blocks Cities from Implementing Transparent Elections
Caper (YC W16) | Machine Learning Engineer | $100k-$150k + equity + benefits | Fulltime | ONSITE in New York | CaperLab.com
Caper Labs (Y-Combinator W16, www.caperlab.com), focuses on compacting Amazon-Go's technology (image recognition, sensor fusion and AI) into a smart shopping cart, allowing each shopper to toss their groceries into our smart cart and self-checkout. Help us transform physical retail!

What we want:
- Lead Computer Vision and Deep Learning development, architecture design and implementation.
- Design and implement custom computer vision algorithms and architectures
- Collaborate with hardware team to better apply CV and DL technologies into embedded system.

About you:
- MS/PhD degree in Computer Science, Math, related technical field or equivalent practical experience.
- One year of CV and DL experience or equivalent and built at least one CV/DL system before.
- Familiar with CV and DL fundamentals like feature extraction, convolutional neural network, supervised machine learning, transfer learning etc.
- Familiar with one of the the DL frameworks and tools like Tensorflow, Keras, Caffe etc. + OpenCV.
- Understand GPU and CUDA.
- Share our vision!

https://www.caperlab.com/head-of-computer-vision

We are also hiring a full stack engineer: https://www.caperlab.com/full-stack-engineer.

Lets chat or grab a coffee! Drop us a line at jobs@caperlab.com and we will take it from there.
Now you've finally made your position and opposition clear: you believe "ethics" is interchangeable with "religion." I would not to work alongside an autonomous machine designed by someone who dismisses all ethics as nothing more than superstitious mythology. I think your view is a great example of why AI ethics should be examined by outsiders.
If they could just turn up the TDP and clock speed on their chips and get 2x the performance of Intel's best chips that easily- they would already own the entire desktop market.
you're correct that there's a similar process in real life as online. the issues are that online (a) these effects are more automated and distributed online than in real-life (Toyama nicely summarizes this as "technology as amplifier" [1]) and that (b) the methods of automation and distribution are (by design and intent) less visible online than in real-life.

People have little ability to change A, but could exert influence on companies to combat B if sufficient pressure were exerted...

[1] https://www.theatlantic.com/education/archive/2015/06/why-te...
I am not sure what your point is. A thing can be both symbolic and physical. Let me know what you want me to clarify. I thought I was pretty clear in the above comment.
Memrise | Software Engineers, Data Scientists, Designers, Product Manager | London UK | Full-Time, Onsite, Visa sponsorship and relocation available | https://www.memrise.com

Memrise gives people learning superpowers. We aim to help anyone achieve confident, real-world language skills in just a few short months; our product is innovative and fun, and it delivers the goods.

Last year, we won the "App of the Year 2017" at the Google Play Awards. With near zero marketing spend we've grown organically to tens of millions of users, and we're already profitable with a team of 55 (comprising 37 nationalities).

Engineering-wise, we are a small but very ambitious team and value generalists that like working end-to-end, across the stack, owning their services in production. We have unique and interesting problems to solve in scalability, big data, machine learning, and interface design.

We are expanding and looking to fill the following roles immediately:

* Senior Software Engineer (x2)

* Senior iOS Engineer

* Senior Android Engineer

We use Python 3.6 / Django / MySQL running on Kubernetes for the backend and React/Redux on the frontend. The iOS and Android apps are regularly featured native apps written in Obj-C/Swift and Java.

We are also hiring data scientists, marketers, designers, and product managers.

If you're interested in any of these jobs - or if you are just awesome and think we'd be a good place to show off your talents - please apply at https://www.memrise.com/jobs/

If you don't see a specific role on the jobs page that you fit, please apply for the "Speculative Application".
I sometimes wonder why Apple would do this. I mean:
i) the end-users frankly don't care. Seriously.
ii) 90% (if not 99.99%) of dev would not (be able to) care

I mean, I doubt if more than perhaps 5% of Apple internal dev can take advantage of "tight integrat[ion] of new hardware and software." This integration probably takes form of either some specific app (think Pixel camera phone), some specific library, or compiler optimizations. The first one (specific app) can be accomplished much cheaper through add-on chips (guess what, that's what Pixel does). The 2nd and 3rd can be done much more effectively through a generally available chips (like, well, Intel's chip) since more people, from vendor's engineers to researchers to random open source ninjas, would be able to experiment and help out.

In other words, from a purely technical point of view, there is absolutely zero reason to do this. Whatever happens, Intel is among if not the best capable chip producers. And Apple is not "disrupting" (i.e. focuses on unaddressed aspect), but merely directly competing with Intel's core competencies. It's not Amazon entering details against WalMart's. It's Target's competing against WalMart's, except they don't have Target's existing competencies. Which, again, makes no technical sense.

On the other hand, if they want to completely lock in users......
I find it extremely sad that us developers really have no idea what our sites are used on.

Works great on my iPhone X and iMac Pro? Perfect!
Ask HN: Creating Business Processes?
When a company is young, everything seems chaotic. As the company grows, it needs some type of business process to start to tame the chaos.

I am new to the topic of business processes, and I am curious what resources have helped you most when you first started learning about them and how to create them?
Here's how simple I think it is:

Out (but not gone/forgotten): Win32 (hand-coded C, C++ MFC, C++ ATL and related alphabet soup [aka back in the day the choice wasn't easy, either], VB6, .NET WinForms, etc), WPF/Silverlight (a .NET only XAML platform)

In: UWP (C++ with XAML, C#/.NET with XAML, JS with HTML/CSS)

Just three UI platforms to consider (Win32, WPF, UWP), two of which are mostly deprecated and not recommended if you are building a fresh application or porting one to a new UI. The remaining platform (UWP) gives you language choice (C++, C# or other .NET languages, JS), but not UI design framework/markup language choice (XAML, unless JS and then HTML).

If you are doing a fresh port of a C++ application from another platform, the choice seems pretty simple to target the UWP and use XAML to define your UI.
> I keep hearing statements like "Docker is basically

> just cgroups", "Docker is just chroot on steroids",

> which is totally incorrect.

But this project basically proves that the characterization is pretty accurate.
A container is launching a process in a way that the kernel lets it believe it can be root, have any illusion of a filesystem and network connectivity that you want it to believe, and be fooled into thinking it is the only process running on this kernel.

Therefore, it is as light weight as launching a process?

Is that about right?
I don't think most investors or executives care about employee morale. "The beatings will continue until morale improves."
Not that I feel strongly either way, but deliberately advocating for a strong, centralized, negative propaganda campaign against a company you don't like doesn't seem ethical to me.
Heartbeat | Software Engineer, Marketing Lead, Chief Operating Officer | New York | Onsite | Full-Time | https://heartbeathealth.com

We believe in redesigning the field of cardiology to be more inclusive and improve quality of life at any age. Our practices focus on early diagnosis and management that empowers people to feel better, live healthier, understand their heart, and most importantly — have access to a trusted clinical team anywhere. We are a multidisciplinary team of doctors, educators, engineers, and researchers making prevention as simple as getting your heart checked.

The first step to protecting your heart is to understand it inside and out. We offer a suite of comprehensive tests and services for your heart that you can book now — no referral needed. Our clinical team follows data-driven methods, uses the latest diagnostic techniques, and is committed to communicating with you on an ongoing and personal level. Pricing is competitive and transparent to make preventive care accessible.

https://bit.ly/heartbeat-engineering |
https://bit.ly/heartbeat-operations |
https://bit.ly/heartbeat-marketing

or apply on Angel.co - https://angel.co/useheartbeat/jobs
> is going to require significant work by third parties outside Apple who haven't even heard of the possibility of this happening until today

I don't see recompiling their next release with a different version of Xcode qualifying as "significant work".
Yes. That means that in a school of of 360 kids (30 students * 3 classes * 4 grades), ~36 of them are now nicotine users through vaping. You may as well dedicate an entire classroom to holding detention.

The US was slowly reducing the number of middle schoolers who smoke cigarettes. According to the CDC, cigarette use dropped from 4.3% in 2011 to 2.2% in 2016. [1]

This would be a 5x reversal in less than a year. That's huge.

[1] https://www.cdc.gov/tobacco/data_statistics/fact_sheets/yout...
Another data point on why you should not take money or sell your business to Chinese investors. Their price points for pricing companies is strange (e.g. a lot higher than western pricing) and it would make sense that they're doing it for other, perhaps more nefarious, reasons.
> Schools Struggle with Vaping Explosion

I find this title confusing - I thought it meant that vapes were physically exploding.
Anon AI | Data scientists, Developers, Privacy experts, Customer success | Mainly on site in London, some dev roles Remote

We’re using AI to automate data anonymisation. We’re hiring across a range of technical and commercial roles.

If you want to help develop a tool that’s going to help people treat data responsibly whilst still getting their jobs done, drop me an email: thruflo@anon.ai
American Scientist looks promising, I was so disappointed when Scientific American lowered their standards and simultaneously became obsessed with climate change coverage at the expense of the previous diversity and depth they were so wonderful at. I love reading back issues from the 80s and earlier (my earliest copies from 1956 are a joy).
"just like nature intended."

:)
Works fine in Safari here. Wondering if your request is being intercepted by one of the many network devices out there which hijacks 1.1.1.1 for its own use.
And what do you do when your customer wants to use on the same machine two professional apps from different vendors?

How do you reconcile Adobe Linux for After Effects/Photoshop/Premier with Autodesk Linux for Maya/...?
They can also send those messages with phone calls, SMS, ordinary mail, some guy yelling in the street, or whatever else. Facebook doesn't seem particularly worse than the other alternatives.
> Mr. Aye Swe admitted he had never met a Muslim before, adding, 'I have to thank Facebook because it is giving me the true information in Myanmar.'"

There are so many things wrong about this single sentence.
I think this was sarcasm :)
The beast is always there in people if you look on a large enough scale.

People managed to spread hate even before Facebook, but Facebook and other new communication platforms have made it dramatically easy. The same way guns were a dramatic improvement over swords and arrows. Guns are regulated one way or the other all over the world.

We shouldn't single out Facebook here, as the same could have been achieved using any alternative like WhatsApp or Telegram.

The problem is, these platforms with their tremendous benefits have presented society with a new problem which society should acknowledge and fix somehow.
Buying AMD is an option if they really need x86... either short term or long term.
A bit of a late reply, but in case of bank transfers proof of transaction is actually an interesting topic. You use PageSigner[0] to make a cryptographically secure webpage screenshot of your bank statement. I'm still a bit confused about how TLSNotary (underlying technology) works, but apparently it does.

[0] https://tlsnotary.org/pagesigner.html
Pretty sure "last time" refers to the transition from Power PC to Intel.
That is too strong a conclusion. People with nut allergies already have procedures for knowing if nuts are in food, for example, asking the restaurant or preparing food their self.

Without knowing if his app was accurate, we cannot say whether building or not building the app was the right decision.
> Imagine an in person rally of 10k people. It would be a huge event both and get huge coverage. Bigger rallies will have even more. So some local media or local government has a chance to counter the falsehoods and make people aware.

In Myanmar, as in most other cases, the government was an active belligerent; they wouldn't have been a check in any case. Genocides are usually conducted by groups that are already dominant in government, media, and society in general, so the kind of social institutions you point to are usually subverted before rallies (physical or virtual) directed imminently at violence occur.

So, it's quite unlikely that those institutions will check in-person rallies; more likely they will be organizing them and spreading their message.
Seeing as nicotine is a known risk, but the carrier fluids and flavorings are a mostly unknown risk, isn't higher nicotine concentration better? You can get the same dose with less exposure to the unknown risks.
It's incredible how fast the sentiment has changed regarding Facebook. Back in 2010/2011 Facebook was being praised for fueling the Arab Spring, which toppled dictators and spread democracy (also lead to the horrific war in Syria).

Today, stories bounce from fake news, to Russian propaganda, to user data mishandling, to fueling genocide in Myanmar.
I'm thinking that in this case "desktop" is cast in opposition to tablets and cell phones and laptop computers can be considered "desktop" devices.