skysight-inc/HackerNews huggingface dataset:
Because it seemed like a legitimate misunderstanding rather than a complete unwillingness to even glance at the NSAs mandate.
This would be such a massive change to the world economy that I'm not sure present day prices for anything are even relevant.
You mean once again. It has been #5 before.
It's all good, just be careful with words like "standard" and phrases like "like most people". They can subconsciously hinder learning.

This is a subject that has been hashed to death online, especially in Vim vs Emacs discussions. Emacs behaves more like an IDE, as an environment rather than a tool. Vim is further along the tool side of the spectrum (though I sense Plan 9's Acme is even further along; Vim is actually pretty moderate, believe it or not). Gvim tries to bisect the difference, but I find it to be the worst of both worlds: not as nice an experience as say Idea or PyCharm, but also encouraging "bad habits" from the terminal point of view, such as using the mouse. Or navigating where you are in the system from within the editor rather than the shell.

I actually do use multiple windows and Alt-tab between them. It's just that most of them are terminal/shell/tmux windows. I do use other apps too (like a web browser). But for text processing and navigation the shell is what I like best.

Anecdotally Vim users seem more sensitive to even small latencies, and GUIs invariably seem to introduce lag. Though I'm finding that I'm more tolerant of lag in my non-shell windows. Using VimAnywhere has made that clear because it causes the "universes to collide".

This whole question is actually not that important, in my opinion. You were right above that it's mostly about what way you start out in. If you're reasonably effective with one set of tools, to try to switch is to bait big to catch small. There's far better uses of your time out there. Perhaps the only thing to learn is that there are many ways to skin the cat. There, now move on.
11foot8 bridge
Well you sure convinced me, champ.
Given that someone got his macbook stolen and nobody nudged, I would not rely a lot on security cameras.
Here's what works on my Mac, compiled with clang -m32.

#include <stdio.h>

int main() {
int i; // Another stack variable
printf("%s\n", **(char ***)(&i + 8)); // argv[0]
return 0;
}

Of course, this won't work at all on x86_64 because arguments are passed on registers instead of the stack.
This looks like it's (going to be) about a theory of programming languages as based on some form of the lambda calculus. I think it doesn't get pointed out enough that this is not a descriptive science but more of a normative theory with mathematical elements. It doesn't try to analyze and compare existing programming languages. It asserts how they ought to be and derives consequences from this. In this sense, it's less like the theory of evolution and more like a political or aesthetical movement.

Wadler himself seems to dislike calling this "computer science": "You don't put science in your name if you're a real science." I'm quite sure he meant it differently, but it fits my argument to quote him out of context :)

The book itself is still unfinished obviously. Most of it seems to be a formalization of the absolute basics of constructive logic currently. I'm also not sure how far they are really going to go here; feasibly formalizing the meta theory of agda (Martin-Löf type theory) in agda itself seems to be an open problem. Yes, seriously.

I found agda much less opaque than coq and especially isabel. It seems much more cumbersome to work with in practice though. I doubt agda will ever be used for serious proofs beyond hello world or very specialized areas as long as there is not more automation... at which point you're back at a variant of coq.
My experience differs: using Google stuff on Chrome is worse. Occasionally one or another of my Gmail tabs jumps off into space on Chrome on my Mac and pins a core.

Chrome on Wayland, with GNOME 3 in particular, pretty much always pins a core too, but not for Gmail-related reasons.
I see. I am guessing for your app (record entry) it didn't matter that they were uninterested in those features.

I'm working on an app that is highly reliant on push notifications (like chat). So if I made it a PWA, it would be DOA if my customers didn't hit 'install to homescreen'.
>Of course, the phrasing was meant to be a little aggressive, otherwise it isn't memorable.

That is totally true and was something I missed. A law is of no value if no one remembers it. I bet we could even find one of Akin's laws to explain why that is the case.

Side note, HN blows my mind sometimes in that I can make a comment on a term and within minutes the guy who coined the term is on here responding.
https://servers.lol/ is a one resource at a very high level to see if EC2s or Lambda is a good fit for the use-case you are looking at.

The site gives a cost estimate and an application score comments (latency, burstiness, function execution time)
The concept of prison the way we intend it is relatively new (let's say a couple of hundred years). So I am not surprised to see that there are still some references to slavery here and there, because that was actually the punishment back then.

The reason we have more blacks than white in prison is for dozens reasons:

- legacy
- cultural differences
- social injustice

Etc.

Don't solve problems, ignore them, expect that people behave the way you want, wait until someone screws up here and here, let it escalate, ignore again and/or apply short term solutions, mix all this stuff, fast forward all of it, and you have the current situation.

Just be lucky to be on the right side and have good parents.
Sure, the name is 'UpTime - Web Browser', link below, and it does support Firefox.
https://itunes.apple.com/us/app/uptime-web-browser-with-keyb...
Why, exactly? Be specific.
My experience in here in the 'States exemplifies your comments "that I am surrounded by people who think like I do and value the things I value".

But this does not lead to healthy social communities. We as a country are drunk on the idea that our friends are people who think and act like us, when this is only part -- IMO, a very small part -- of group chemistry that this outlook overlooks. Group interaction is so much more complicated and beautiful than that. At least in my case, my best friendships are with people very much unlike me.

If you look at the current political situation here we are all banding together along lines of common interests and beliefs, and not things like proximity, or economic need, or other factors. And one wonders why we are so divided, when nobody wants to find common ground...

I hate to use the word diversity but it's as important in life as water, now more than ever.
Can Canadian programmers good enough to be hired by FAANG be paid similar salaries in Canada?
time to buy AMD
many people who are not getting H1B are going to Canada through express entry program. They plan to return to USA again after getting Canada citizenship on TN visa.
Show HN: Million Dollar App – Games, Camera, Action
I think it's also important to know when this occurred. I've found there's a general tendency among software engineers to (surprise!) believe that it's easier/cheaper to solve the problem of scale in software rather than hardware, and it's often fueled by the misconception that the alternative to doing so is a complex, distributed system.

This is a false dichotomy.

Maybe during the days of the dot-com boom, it was was true enough because scaling a single server "vertically" became cost prohibitive very quickly, especially since truly large machines came only from brand-name vendors. That was, however, a very long time ago.

A naive interpretation of Moore's law implies CPU performance today is in the high hundreds of times as fast as back then. Even I/O throughput has improved something like a multiple of mid-10s, IIRC. More importantly, cost has come down, too.

The purchase price premium for getting the highest-performance CPUs (and mobo they need) in a server over the lowest cost per performance option is about 3x. Considering that this is, necessarily, a single [1] server, the base for that premium isn't exactly tremendous. The total cost would seem to be on the same order of magnitude as a team of programmers.

Of course, in the instant example, the database was particularly specialized, including what strikes me as a unique feature, a lossy index. I'd expect data integrity to be one of the huge challenges of databases, which, if relaxed, makes writing a custom one a more reasonable proposition.

[1] Or a modest number, on the order of a dozen, for something like read slaves, rather than the multiple dozens if not hundreds the distributed system.
There is no way to know. Apple makes it intentionally difficult to add a website to the home screen.

Furthermore, tons of users are on chrome or browsing from an app like Twitter, but the "add to home" functionality is only available from Safari.
Yeah I think I forgot to account for not ending up on your cycle in the 99 case (i.e. you're in the 99 but you chose the 1), so it should be .4901 or .4951 or something even in the 99:1 case.
Read my comment above as an answer to yours. Sorry, but I don't like this sort of nonfictional books.

They kind of miss the point, in my opinion.
One of my constraints is that I have to provide IT support for my very non-technical spouse. That is a very severe constraint. Linux is not an option for her, and Windows is not really an option for me. That leaves Macs.
> Though I suppose some of the upvotes may have come in after this information was available. (Edit: I checked and it doesn't look like it.)

Oh, man. It would be so fun to run vote analysis on comments over time. I'm jealous now. :)
Yeah... not a good sale here. I've already opened Photoshop (native app), Photoshopped my face laughing at this unto the loading screen, and saved it. And it is still loading...

edit: minutes later and it is still loading. And i'm on a symmetric 1Gbps connection, with latest firefox, on a 48-core machine with 64GB of RAM.

Definitely better than a native app. Uh huh.
That isn’t true. A friend of mine told me that Kai Fu (the Paul Graham of China) said something to the effect that Chinese VCs for a long time had focused on copying because they were much more risk averse than western VCs (copying an existing business model was a more sure bet than doing something new). It has only been in the last few years that they have been breaking away from that.

As for Chinese taking risks, I think you have to look at the alternative safer investments that basically don’t exist, you have no choice but to take risks in China, or in most other developing econonies for that matter.
> Therefore being Chinese and being risk taking are definitely not in conflict.

I think the author is pointing out that being a Chinese/Indian immigrant is in conflict with risk taking.

You don't have to look too hard for this. Most Chinese/Indian immigrants gravitate to low-risk jobs, specifically at larger companies, usually for visa/immigration related issues.
How the Black Point Message Crashes Android Apps by Tom Scott
You seem to be an example of survivorship bias. The majority of startups fail within 4 years, so your experience made you more marketable towards enterprise work as you progressed.

Your experience is not the norm for people working at startups, so you actually have an upper hand, just not necessarily in the smallest of places. Look for companies that are undergoing a rapid growth, just past the make-or-break point. These places need people who are experience working with problems regarding scale, and solutions that they require.
The usual phrase is "psychologically conservative." Sticking to the comfort zone. Therefore, a psychological conservative who grows up in a politically Marxist household will remain Marxist, and of the same stripe of Marxist. They'll never consider political Conservatism seriously as a worldview, or switch to that.
sogo stable builds are closed.
Wasn't the reporting about it being NSA + Israel all from Kaspersky or did any non-biased researchers confirm?
Glaring omission that is built in to Chrome: https://www.betterads.org. one might hope it's not as much of a racket, but the conflict of interest exists.
The trade-off is cost. The article even mentions they drove down the operational cost at least 70%. You can still run whatever open source library in the lambda that you need (still need to ask, is it with the extra bytes), but yea, you are betting big with AWS. GCE serverless is way behind right now.
"belie (trasitive verb)

1 a : to give a false impression of: "Her gentleness belies her strength."

b : to present an appearance not in agreement with: "His manner and appearance belie his age."

https://www.merriam-webster.com/dictionary/belie

To say "it's mostly upper middle class whites" does give a false impression of what the study said.

Do you have other sources that support that statement?
You'd have hard time finding an acceptable house that size for less than 1.5M USD in Toronto. Vancouver is slightly higher.
Take a look at Cloud Foundry, especially the Container Runtime.

The Application Runtime (CFAR) is like an OSS Heroku, installable on AWS, GCP, Azure, vSphere, and OpenStack. Then just push your app and scale it out. It was first built as an enterprise Heroku competitor, and the commercial flavors power a bunch of big companies’ infrastructures. It even uses the same “buildpack” model that Heroku uses to provide language and framework dependencies.

The Container Runtime (CFCR) packages k8s in a way to make it easier to deploy, maintain, and scale, and it also deploys and manages the health of the underlying VMs. It originated in collaboration with Google.

Source: I’m a Cloud Foundry Foundation project lead.
The value of chips may not be fixed, but their amount is. And the more people visit the casino the better.

As for the "stranger" part - "stranger" is just a friend you haven't gotten to know yet! :D
protonmail won my business (which is extremely hard to do because I'm a cheap) and I've been using the internet since 1992. I use to run elm on a terminal. They also have a VPN and when you email support, you basically get a 3rd level engineer response within an hour. I forward all my gmail mail to my proton account, and use it for personal and one of my business. I keep banking and bills on gmail for now.
So is this like the Million Dollar Homepage?
> very short running

Let's be clear that we're talking about minutes not milliseconds.
I'd replace redacted fields with [redacted], or maybe U+2588
stifle innovation in favor of incumbents, and put regulatory barriers in the way for entrepreneurs

As a Canadian I'm a little shock by this description. Stifle innovation? The gov't ran the phone system in Alberta until the 1990's (or so). There was no innovation because it was determined "that's the job for the gov't, not private businesses" and they did it terribly.

Look at the cellular phone networks in Canada. Nothing changes unless the CRTC OKs it. Those companies would be eaten for lunch without the gov't backing them.

My own experience in the US is that things change much quicker when it comes to innovation. Are their stupid regulations? Sure, but they seem to change pretty quickly down here when people get pissed.
Ummmmm. How do they achieve that by tapping 500 million local calls?
Let me guess, the locals call rest of the world.
> A friend of mine waited 3 months to get police to read his report about an e-robbery despite presenting concrete info about the robber.

Isn't that outside of the police reach? I mean, unless you are in danger, or want to report the crime just for report sake, why would you call the police? Shouldn't your friend already hire a lawyer and go through court?
5th largest in the world and yet where is all of the money going? California is in a huge deficit.
Well it's a thing. But the optimization problem needs to be stated clearly. And I think it is the solution to some optimization problems. Some analysis around that would be interesting.
If you're asking this seriously... yes it is a barrier, but not as great as Immigration/moving to a completely new country.

Which is not to discount California's tremendous housing crunch. I am merely pointing out that its a much lower risk for a young single US citizen to just move to CA, try it out for a few months, if they can't get a job or make it, then just drive back. It is much harder for people from outside the country to do the same.
They also show for Edge, of course. And don't go away no matter how many times you dismiss them. Firefox is currently my main browser, and there are only two things left on the Internet which truly annoy me.

- "Upgrade to Chrome?"

- "Subscribe to YouTube TV?"

No matter how many times you say "No", they'll both come back. And you know that's not bad code, because YouTube literally said it was part of business plan to annoy people until they pay up.

https://www.theverge.com/2018/3/21/17147800/youtube-streamin...
Lessons in third-party platform promises, this time from Snap Inc
I've done it in Heathrow several times. Never had an issue..?
Here's the most comprehensive list of lists I know, with accompanying license terms: https://filterlists.com
> old-time request-response style of a website with a session managed by the server

Breaking news: your app still does this. You just moved the responsibility of request/response elsewhere.
A coworker did but for an embedded device. It worked well but we did spend a lot of time debugging the networking.
i can't see a business model - the scientist is already paying with their time to get something working that is just good enough for publication. all the problems you describe are down the road and scientists kick that to 'industry'. unless your 'right way' is also easier to boot, why would they add to their time?
Agreeing here. If you can't run your code without AWS or whatever your vendor is, you got bigger problems.

I'm talking about the core business code. Ops is important but replaceable.
It doesn't. They don't.
My wife has a Mac, but when it dies, I'm going to persuade her to try Ubuntu. She only uses the Mac for Facebook and occasional Word/Excel. I think LibreOffice and Firefox should have her covered.
```
Human API | Frontend Engineer, Full Stack Engineer, Data Engineer, DevOps | San Mateo, CA | ONSITE, https://humanapi.co/careers

We're helping to fix healthcare, by building a platform that allows developers to build health and fitness apps that make peoples' lives better.

Some of the things you'd be working on:

- Mapping, modelling and indexing the world's healthcare data
- Building UIs to allow users to manage and visualize their health
- Scaling and optimizing our external and internal APIs
- Scaling our data ingestion pipeline from thousands of sources
- Data engineering, ETL and building tools for data science

Open positions:

- Full Stack Engineer, Data Network Team (node.js, MongoDB, RabbitMQ)
https://jobs.lever.co/humanapi/f35d3379-1220-4cf1-a117-d1dc06778459
- UI Engineer, User Team (node.js, React, MongoDB, ElasticSearch)
https://jobs.lever.co/humanapi/2f06fc23-327c-48d9-b646-545b33b0cef1
- Data Engineering Lead (node.js, Python, Kafka, Cassandra)
https://jobs.lever.co/humanapi/6a1d2a62-5561-4ba3-818a-adb0017c6f36
- DevOps Engineer (Ansible, Packer, Terraform, Docker, Mesos)
https://jobs.lever.co/humanapi/c74886f1-1e50-4323-a846-7ccac5855164

More information here: https://humanapi.co/company/careers

The process: a quick phone screen, a technical interview, then an onsite to meet with the team and pair with someone on a problem. E-mail jobs@humanapi.co for more information.
```
Yeah you would. IBM was doing it in the 1960s pre-SQL.
I think the appropriate term here is "diversity of thought" which is sort of opposite to the unqualified "diversity" which usually means diversity of genetics and uniformity of thought.
The legal immigration system is long overdue for some reform. Especially w.r.t the long waiting times for people from India. I expect it to change in the next couple of years but who knows.
Personally I think my attention is a lot more valuable than my money, so I'd prefer to waste the latter.
That doesn't seem to be true at all: Wikipedia says there was around 4 million slaves in the 1860 census while the total number of incarcerated Americans in 2010 doesnt reach 2.5 millions.
The US government doesn’t care about deficits, so it would seem.
Protonmail has no full-text search nor spam detection.

Which you probably don't notice because you forward Gmail -> Protonmail. ;)
Terrorism is the justification for recent astronomical military/defense budgets. It is a convenient basis for infinite war and surveillance; it is conveniently poorly defined. At face value, the people generating the most domestic terror appear to be the politicians and internet trolls....

Even if you accept and desire the NSA for the purposes of sigint, it makes no sense to pretend they can combat terrorism any better than any human can. They should stick to nation states. That we can’t easily discern whether or not they are spying on US citizens should be a red flag, even to lovers of spy games.
To landlords, mostly. If you look at the numbers, the deficit has mostly shrunk after some truly huge ones.
Those signs say stop on the other side and are used in conjuction with someone on the other end of the construction holding up the opposite sign so that a single lane can be used to handle traffic in two directions. That job would need to be automated with a traffic light.
Meh, it's just the search in the settings page (see https://code.visualstudio.com/blogs/2018/04/25/bing-settings...), and there's a setting to disable it: https://github.com/Microsoft/vscode/issues/49161
Ironic that scientists are not conducting any testing.
Richard Spencer's Website Has Been Pulled Offline by GoDaddy
> I suspect they're performing a full-take of the call contents as well, just not through the PINWALE/MARINA ingestion system.

What is the basis for this suspicion? If it were true, that's what people would have reported on from Snowden's millions of leaked documents instead of simply metadata (call data records).
LaTex?
California budget deficit: $1.6 billion

California GDP: $2.7 trillion

I think California will be fine.
My wife is a writer who is, sadly, heavily invested in MS Word.

We are also both heavily invested in iPhoto (which is why all our machines still run Mavericks).
Interesting - this article seems to say the opposite:

https://www.wsj.com/articles/jerry-browns-legacy-a-6-1-billi...
No reason to use a paywalled version of this AP story

https://www.apnews.com/dfe5adff6d3640249e63f5637dfeb995
>A lot of the alternatives to ad models aren't great (e.g. paywalls everywhere)

Crowd-funding models don't necessarily require paywalls. Many creators release their primary content for free.

>selling sponsorship opportunities that aren't ads

How can a sponsorship not be an ad?

>I don't think there is a viable alternative and they will simply cease to exist.

I think if you can't get people to pay for it, it probably wasn't that valuable anyway.
It does a lot more than just a webpage. It's a full app, it has games, and it allows for content moderation.
"Their resentment may even cause them to push for keeping the icon after it has proven not to be the right thing for your product."

Either Kara is more than one person, or this is a grammatical error. It may be an intentional grammatical error but an error nonetheless.
If i felt comfortable discussing that in public i'd already have done so.

My point is that the state of things here is silencing voices who simply stop bothering to post, while you let toxic people and their posts remain after a slap on the wrist.
”to search for prime number sequences, sequences of numbers with many prime numbers along them, the classic example being the Mersenne primes, of the form 2^n - 1.”

Many? The 34th mersenne prime has n > 1,000,000, the 47th n > 40,000,000 (https://www.mersenne.org/primes/), we know of only 50 ones, and that might even be all of them (we don’t even know whether infinitely many exist)