skysight-inc/HackerNews huggingface dataset:
Andrew, I perfectly see what you're saying, but I am telling you it is absolutely no problem that there's a false statement.

Remember that we are arguing from the false assumption that you start with the finite set of all primes, up to some largest prime, L. Call this false assumption A. It's fine to make false statements that follow from A, no problem at all. Indeed this is the point.

One definition of a prime is that there are no primes smaller than it in its prime factorization. We'll call this definition NSPIPF - no smaller prime in prime factorization. Is NSPIPF an OK test for primality? Sure.

So when you get to new_number, produce the prime factorization. Does it meet the definition of NSPIPF? Yes, because we made it relatively prime to every prime (under assumption A).

It passes primality test NSPIPF. Under A. And therefore is prime. Under A. (This is the part you and others object to, but it's absolutely flawless application of the NSPIPF primality test.) It doesn't matter that in some other way I could also get to a contradiction. For now this is what we do.

Under A, using NSPIPF primality test, we just proved new_number is prime.

Next we show that this new_number definitely wasn't in the set of all primes, since it's larger than L, having had L and a bunch of other positive integers as factors and then one added to that for good measure. It is at this point that we show explicitly that A cannot be true, because we used A to produce a prime that wasn't in the set of all primes.

It doesn't matter if that was a false statement!

I think all this is in my original comment and it is a flawless proof by contradiction. I asked you to "Suppose there are just finite primes, up to some largest" and you gave up when you started seeing false statements, rather than at the end of the paragraph where I presented the conclusion in black and white.
HomeLight | Real Estate | Software Engineers | ONSITE (PHX/SF/SEA) | Full-time
HomeLight is building the destination for home sellers on the internet. We aim to be the resource for everything you need to consider when selling your home by providing information, tools, and services to make the process as easy as possible. Real estate transactions are generally the largest financial transactions of peoples lives and to date it's been an old, slow, murky process. HomeLight is making the industry better and we have a lot of awesome things to build.

Our engineering values include being product minded, taking ownership of your work, collaborating across the org, being pragmatic and creative, and having low ego and low drama.

Our stack includes the following technologies: Ruby, Rails, Python, Ember, React, Cordova, Postgres, Redis, Heroku, Docker, EC2, RDS, ElasticSearch, and more.

SF - Downtown office near the salesforce tower. Looking for Full Stack and Data Engineers

PHX - Scottsdale. Full stack engineers with strong ruby/rails experience

SEA - Downtown. Full stack engineer with strong ruby/rails experience and a frontend/mobile app focused engineer.

Process: Phone screen, 2 hour real world take home, onsite, offer. PHX/SEA hires will get to make a trip to SF for an onsite here.

https://www.homelight.com/careers

Feel free to shoot me an email at mike AT homelight.com as well.
DeepPhys:Video-based measurement of heart and breathing rate using a deep CNN
Do you think if the complaint went to a government official in the EU they would throw down the hammer on a site that was up for all of a couple days in GDPR time?

I have my doubts.

I've got a handful of sites (ultimately for portfolio / coding practice type stuff) out there. Honestly it wouldn't take me too much to respond to someone's letter considering the simplicity of the site(s), not that anyone uses them.

I also really wouldn't expect any EU official to throw down the hammer on me. Personally I wouldn't panic, and I'd at least wait for the EU official to weigh in before panicking.
True. You can also just make a budget for the fines, block days per month for compliance, and remove all contents that displease EU residents. Easy. /s
Athene (athene.com) | Actuarial Data Experts | Base $100k+ and bonus | Des Moines | ONSITE | FILL-TIME | https://www.athene.com/careers
Athene is a leading retirement services company that is building a foundational framework to encompass the full complement of our data. We are looking for skilled data architects/developers/scientists who have fixed annuity business domain knowledge and experience with data aggregation and preparation for actuarial usage. The Athene data team is integrating and conforming data from multiple systems into a dynamic and scalable set of data marts. We use Postgres and Python.
We are hiring in beautiful Des Moines, Iowa and offer relocation. If you are interested please email SKoogler (at) athene (dot) com
I spent a few years in SE Asia and saw some abuse of stray street dogs in the city. Then I realized why the dogs were so calm/shy around humans.
>If you want none of your personal info on the web, I have a suggestion: Don't participate in forums, social media, etc.

Facebook and other data aggregators build profiles of you even if you don't participate directly in those services. The web is different now than it was in 1996.
Please no. I spent months to find strategies to limit my google product usage between mails, search, phone, calendar, contacts, maps, streaming, dns, adsense, cdn and analytics. It's a struggle. They are everywhere. I really hope they don't eat github too.
Ideal | Toronto, ON | Full-Time | OnSite | https://ideal.com

Ideal is an exciting technology company in Toronto that develops AI for HR and recruiting, generating massive efficiencies for our customers. We use machine learning to detect patterns in resumes and interview data to spot the best possible job applicants. We are young and growing fast and need someone to work with our incredibly passionate team.

We are hiring full stack software developers

Technologies:

Node.js, Python, Postgresql, AWS, Git, Linux, Vue.js, All types of machine learning/AI tech

Does this sound like you?

https://ideal.applytojob.com/apply/GzAyEXzvtO/Software-Devel...
Since the Core era, not all .NET applications are built for Windows either.

Considering you bring up the second part, it makes me wonder if maybe outside of the obvious (owning GitHub), perhaps they're after the extra talent to bolster their SharePoint product.
The original article says they're not using CloudFlare's normal DNS-over-HTTPS endpoint, so this is probably specific to Firefox.

Edit: according to https://www.cloudflare.com/privacypolicy/ the normal privacy policy applies to users of CloudFlare's DNS.
deelowe is right, this has not to do with routing, but to answer your question is spirit: yes, GCP machines user 1e100.net for their PTR records, Try pinging snapchat.com
I've heard that they [sometimes] visit but don't index, is that true?
I've managed to trigger Google's bot detector too while trying to find documentation for a certain bank api (legitimate reasons, we were supoosed to integrate and their docs didn't make sense).
You forgot the really important ones, I think. Trucktober and tailgating. It does raise the interesting question of why Dropbox does not celebrate Trarch.
I think they are solving the wrong problem. It's not the chair it's the space between them.
Microsoft has been the largest contributor to Git for a while. Getting to a point where all of Windows is building out of Git repos has caused them to solve problems that Git has never faced previously.
I guess posts are considered 'User Generated Content' which I think falls under the directive.

Does that also mean then that quoted content counts? What if another user merely copies/pastes text someone said into their own reply (like you have to do on HN)?
Theres an @. macro that will broadcast all the following operations. ie.

exp.(v.^2) .+ (10 .* u)

can be written as

@. exp(v^2) + (10 * u)

with no added runtime cost.
The nightmare letter is bogus scaremongering bullshit. THe forum owner should just i) post a link to the privacy policy (which surely explains things like legitimate needs) and ii) supplies a copy of the data being held.
The Two-Napkin Protocol (2015)
Everyone was saying that you don't need to worry about GDPR unless you are a scumbag that is selling user information. This open source project owner must have been doing something unethical if they are shutting down their forum due to GDPR.
Hospitals are cesspools for infections of all kinds. They are best avoided unless your life is in imminent danger.
Why would the processor architecture change your mind about it?
I'm referring to CSS media queries in HTML/CSS, which don't have a nearly as clean equivalent for applications. Even then, I've done better with React. If I had to build native apps today, I'd look for a React Native adapter for whatever platform or reach for electron first.
That’s roughly how the Cuban system works although I think representatives are chosen by groups much smaller thank 10k and there are more of them.
Markets don't need to be 99.9999% efficient either. Central planning can have a wide variance in efficiency. It could be substantially more efficient or extremely inefficient. If markets are able to reliably produce more efficiently year after year, even at the cost of lower peak-efficiency, then markets can still triumph in the long run.
Yeah i'm familiar with that. I was wondering if that was the exact request. It's not clear to me that the dude got that exact request.

It's also not clear to me that anyone getting that letter must do what that letter says to the letter else face consequences. We haven't seen that situation tested yet (although I can get why someone might not want to test it them self) all we've seen are letters being sent from individuals to individuals. Now how any enforcement would actual play out IRL.
Interesting, sounds like it is more widely accepted than I thought after all.
Maybe you do business with someone that does have a footprint in the EU? They can put the screws to them I guess.

I imagine visiting an EU member would be unwise as well.
Wow, look how easy it is to put the small Internet business out of business now. Well played 9.9%.
They aren’t attempting to enforce legislation globally. If a company operates in the EU, it has to comply. For companies that don’t operate in the EU and have no EU customers or traffic, they don’t. Simple
Blizzard games no longer use BitTorrent but a proprietary http-based protocol called ngdp. BitTorrent was causing a lot of issues with firewalls so users were disabling it, so they had added http mirrors to them... And then CDNs became a thing, the rest is history.

I'll be happy to give more details on ngdp if you are curious.
Hold the line. This one we can still win. Hold the line.

https://spideroak.com/articles/why-we-will-no-longer-use-the...
I happen to like TFS, specially the triggers to prevent commits on broken unit tests.
> But if they then said that I need to remove _all of their posts_, that's really shitty.

Why do you think GDPR forces forum owners to delete posts? Which bit of GDPR do you think introduces this requirement?
Sometimes languages get stuck by their history, and (without really becoming a rather different incompatible language) the only way forward is to start from scratch.
Also, Julia is good at letting you use those old ecosystems, C and Fortran libraries, Python, Java, R, all from the comfort of home (Julia)
First, that is the maximum. Second, no one scare mongered about the old maximum fines of £500k (which BTW were never used).

https://government.diginomica.com/2017/08/10/ico-maximum-fin...
Scooters are interesting on roads.

They are dangerous and reckless on sidewalks. Sidewalks are used by all sorts of people: from healthy adults to a wide spectrum of mobility, sensorily and developmentally impaired people.

Case in point: handicapped folks, elderly, and children.

A 75 year old woman out walking her dog is unlikely to have the situational awareness (visual, audio, and cognitive degeneration) nor the quickness of reflexes to respond to scooters on sidewalks.

A collision between a 170lb male on a scooter going 10mph and a 130lb elderly person is going to lead to extensive injury, potentially life threatening, injury to the adult.

A pelvic fracture is not an uncommon injury from falls in elderly and is associated with a notable increase in probability of death.

Scooters on sidewalks are dangerous and should be immediately banned.
One would expect that this is some kind of very hard to anticipate cascading failure in a distributed system. I find it hard to believe that it would be possible for something affecting all Visa transactions in a region would be deployable by a individual or without extensive integration testing.
In that sense, is hn not GDPR compliant?
what does "good for the country" mean?

If welfare helps people in the short term, but reinforces cycles of poverty is that good for the country or not?

If nationalized medicine helps people in the short term, but eliminates the incentive for medical innovation is that good or bad?
Omaha Steaks is the king of hidden shipping fees. Cause they have these $49.99 and $99.99 packages, but shipping costs can easily exceed $20. I cut them a little slack because they ship frozen goods, but man!
60k FCAs plus 20k Jaguars x 50 trips per day (Waymo's estimate) = 4 million trips a day.

While there are all sorts of funky technological and regulatory factors to consider, unimpaired this is enough to displace the entire rideshare/taxi industry across the southwestern United States.
No. They're unlikely to do anything. If they did do anything it would be to post a link to current best practice advice.
Hope there's nothing stationary in front of them.
Is that competitor for Nextdoor? It would be interesting to see Nextdoor's reaction to this launch.
> The programs unanimously approved Thursday by the California Public Utilities Commission focus on creating the infrastructure to support charging stations particularly for electric trucks and buses, in contrast to previous expenditures, which have focused more on cars.

Interesting that they're focusing on these high-utilization vehicles, you'd have thought that a percentage of bus transport and a percentage of freight or delivery transport would already fit the right profile for electric vehicles. For instance UPS or DHL must have some routes which have a lot of deliveries in a small area, in the centre of towns or cities, which are stop start for deliveries and for traffic. Using electric vehicles under those circumstances seems like an open goal.
It definitely would be different because the focus would shift from the popular candidates who are clearly going to get in to the ones who are right at the cut off. Depending upon the spread, if a lot of candidates are at the 'barely enough' line, it would mean major swings in policy driven by a small population shift, as long as the general population doesn't shift as well.

I'm guessing the numbers won't be known until after the voting is done, meaning a lot of effort will be spent finding out where the line is at.

I kinda want to simulate it for a few elections to see what happens, but there isn't any sufficient simulation.
One (admittedly theoretical) way to get companies to reveal the cost is to tax them based on the self-declared value of the data. The lower value they declare, the less taxes they pay, but the cheaper they have to give it away. One could do this for either personal requests, or even more radical, force the companies to sell the data, at the delcared price, to competitors.

I think this is pretty much suggested by Eric Posner in his book Radical Markets.
Maybe I misunderstood the original comment, but the claim was that frameworks are leaky (this I wholeheartedly agree with, and this of course leads to impedance mismatches, after all, pixels on the screen are very different from an SQL DB, but that's why we have the libraries and frameworks, to help us do this translation from one layer to the other, to glue together very different functional components of systems). But then follows it up with talk about data. How JSON and SQL is not a great match. Which is nonsense. You can losslessly represent the same data in both JSON and SQL, you can engineer a perfect system for handling data (you use the same field and column types, lengths, constraints, validation, and so on on both the front- and the backend, and it works), the mismatch is not around data.

The problems are about development trade offs (TypeScript vs JS, small library - few features, complexity - code modularization + chunked lazy loading, optimization - script load time vs development time, and throw in cross browser compatibility; supported features vs complexity - HTTP/2 is nice, and fast, but it's more complex plus you need HTTP1.1 too for old clients, and maybe your API somewhere doesn't support prefetch, or you can't hint your backend to push that to the client, or you can't access the raw request after the framework extracted the request attributes, blablabla), visual communication (current/modern components vs old jQuery sprinkled DOM result in different sites; mobile first, mobile browsers, React Native and Ionic). And these trade offs are different over time. So we get different frameworks over time. And since the change in browsing is very fast, and the effort to start a new framework is small, we get a lot of new unstable frameworks. (And since those frameworks rarely mature really, we get a lot of new ones, because there's not really a "sunk cost" for developers when abandoning the old ones. And it's easy and hip to pick up new skills, and try them out on a new project, etc.)

Also, you can put the "business logic" into one place, and represent it and then push that representation to the client. (GWT, Scala.js, or crude autogenerated forms, point and click website/workflow builders, and so on). Of course, if you want to change the system, then it might be a big pain in the ass to represent something very different than what it was designed for, so these kinds of entombed vertical complexity barriers lead to a metastable state - when you hack something quick on the layer most accessible for you with respect to the task, instead of properly implement it in the whole vertical stack, and these hacks grow and the elegant single source representation of business logic goes out of the window. (Or if you implement everything in one place, you are destined to implement a very powerful - or verbose - DSL to describe the "front end logic" - which should be CSS, and the DB optimization logic
- which should be SQL, and so on.)
How many hours should this person put in to respond to the request?
I regularly hear "what if the stock market goes down 80%?" Then I'm totally screwed anyway, whether I'm in the market or not, because everything else will collapse as well.

So there's no point in worrying about such scenarios.
I didn't read the whole thing, but the part where the troll says he believes the site is in violation and makes threats but doesn't have any actual proof that there is a violation sounds like a good indication.
I think where we are having a disconnect is that what Matt posted works when Tor is working as expected. Software has bugs. Tor has not been an exception to this. I watch their change logs for alpha and there are often bugs that affect this overall concept. They are patched quickly, but Tor nodes are not forced to update, nor is there a safe way for them to do so.

My point is that is a single point of success. Any other web service I would cut some slack. In the case of Tor, it is marketed as a means by which dissidents may communicate safely. Putting peoples lives on a single point of success is not appropriate, especially when there are technical means to mitigate the risk.
Well, HN is meant for quality discussions of things we find interesting. Sometimes politics is relevant to us (or at least to enough of us to qualify).

The trick is to keep it a quality discussion, rather than letting it degenerate into a flame war. That's not easy. But if it can't happen here, where can it? (And if the answer is "nowhere", well, I'm not sure that the answer is wrong, but that's one of the most cynical statements possible about the current state of politics.)
Google has been doubling down on the q&a approach of asking users common questions and turning those into datasets and features. This follows suit.
> If someone can take advantage of something, it will happen.

Who do you think can take advantage here?
Great name. /s
> 230 direct-current fast-charging stations, which can add 50 to 70 miles of range to a car’s battery in 20 minutes

Not quite a supercharger, but not too shabby. Faster than my Level 2 home charger.
A better fit would be Docker. Totally unrelated but I can see that as a better fit with Azure rather than invest on the dev community around Github.
> The sad thing is that one email came from the co-founder of a Startup out of Germany.

They should definitely name and shame them.
So Nextdoor will have a competitor soon. I was honestly wondering when this would happen because the geographic based reviews and advertising approach totally aligns with the type of service that Google would NOT kill after a couple of years.

Maps, business reviews and advertising...only makes sense.
I would never be comfortable getting a refund and keeping the item. Cause the cost just gets passed onto the next person. I would return the item if I got a refund. I either agree to all of your terms and do business with you or I don't agree to all of them and you lose my business.
Similarly, things like: /^Top \d+/, /^Best \d+/, /^Worst \d+/, /\d+ Things You (May|May Have)? Miss(ed)?/
I can think of 10,000 of something that I'd like a bank to send me for free.

Smart move on the bank's part to block it's email relays from sending to that domain, then buying the domain itself.
Go fuck yourself shill
I assume this is a response to NextDoor?

I look forward to the next 'bear in the neighborhood' scare hosted by Google ;)
The reality is you need to increase your top line earning power. Working for decades earning average compensation for your location will get you an average outcome (which means a late in life, short retirement, at best). You need to super charge your earnings and savings for a number of years. Ideally through doing higher value work, as opposed to simply working more hours.

If you’re not making enough, and having financial flexibility is important to you, then considering a career change is in order. You might need to go down before you go up. Invest in yourself through education and experience and leverage that to get into a higher paying path (see more on this here: https://ramenretirement.com/2018/04/30/wealth/)

Once you have some real savings and wealth, then it’s all about investing it properly to generate inflation protected passive income (IPPI). I prefer real estate for this (see here for more on RE investing: https://ramenretirement.com/2018/03/18/ultimate-guide-to-rea...). I don’t think enough people consider alternative investments. Putting all your eggs in public markets is a low cash flow proposition, along with lower long term returns (see how returns compare here: https://ramenretirement.com/2018/03/18/ultimate-guide-to-rea...). If you have excess savings, you don’t need all that liquidity and should consider less liquid investments that might have higher returns: https://ramenretirement.com/2018/02/23/youre-too-liquid/

Lastly, people talk about the 4% rule, but that’s bullshit for a whole host of reasons: https://ramenretirement.com/2018/01/21/4-percent-rule/

Save money. Build wealth. Invest it wisely, considering alternatives other than the stock market. That’s the path. Simple, but not necessarily easy.
Interesting - and on the same day as another (hyper?)local app: https://techcrunch.com/2018/05/31/area-120-subway-pigeon/
The owner of the forum received the "Nightmare letter" [1] which he is legally obligated to respond to, which as an open source project does not have the resources to be able to respond to them.

[1]: https://www.linkedin.com/pulse/nightmare-letter-subject-acce...