skysight-inc/HackerNews huggingface dataset:
As a US expat I'm on the fence as to whether to close accounts when they mess up (or comply more than needed) with these processes imposed on them by a state that is a domestic abuser and considers me its property..

On the one hand, I would want to not do business with an institution that makes things even more unsavory, on the other hand, most foreign institutions don't actually want "US person" customers and benefit from less paperwork and risk if they convince US citizens to go to another one..

Ultimately, I think too much focus on the finance institutions is wrong. These laws are absurd invasions of everyone's rights under a bizarre premise that the US can make us all do it's foreign policy and enforce its bizarre law enforcement plans as unwilling deputies.

I don't really see a positive future while any one of the superpowers continues to exist. Personally, I don't think a reform eliminating their special status in the UN would be much, but it would be the first message in a new path.
Can you post your papers on linear logic?

> Notions of minimun/maximum as well as related concepts can be expressed, too.

Exactly. There are two types of minimum and maximum, something that isn't expressible in any of the current foundations of mathematics. There is your minimum and maximum, and my minimum maximum. This is exactly what linear logic is about.
It's worth noting that the IO monad implementation is very much compiler magic and can't be done in library level haskell. Evaluation order without IO/ST is undefined in Haskell. This is similar to write barriers, you need a magic primop to specify external data dependencies.

Without that magic the compiler may inline everything, drop the 'uselss' state token and happily move your buffer freeing before the allocation - or drop it entirely.

Alternatively you could mark every function as noinline and end up with fantastically slow code.
Why is this a link to a cnet.com?

Direct link: https://www.youtube.com/watch?v=sbNv9MP27xE
This outcome looks positive for their Lipton brand. They might have a good viral marketing department, but that's none of my business.

Unilever's tea beverage market share worldwide is estimated to be 11.1 percent in 2016. Source:Statistica
I am saying that grades and SATs are just two factors in predicting potential. Saying that we should only use those two factors when we have a wealth of other factors to complement them is sheer naivety.
Biochemistry doesn't interact with higher cognitive function, and its very common to describe tasks like software bug hunting, or sitting in a loud open office grinding out boring code monkey stuff like very light agricultural work.

Certainly for the average office drone today, spear chucking muscles are atrophied, yet the thrill mood of hunting down and eliminating software bugs remains, pattern matching previous hunts, soaking in the environment, looking for signs, tracking, going in for the kill, the happy drudgery of dragging the kill back to the tribe or the paperwork of closing the bug out in the tribe's bug tracker and doing some git merges. Or tapping out calm tranquilized grind of endless lines of boilerplate java code feels like harvesting endless rows of cultivated berries. I wouldn't say the mood of labor has changed very much in some millennia, although the exact ratios of who's permitted the thrill of the hunt has varied over economic eras.
if a = foo()

versus:

if (a = foo())

Sometimes idiomatic patterns vary based on things which are not amiable to mechanical correction.
I am homeless and due to the patriot act. I am unable to
open a bank account as the bank without a utility bill is unable to determine that I am not a terrorist. The banks words.
https://store.liftfoils.com/products/efoil
The problem with KYC is the same as the problem with many laws: it’s an inconvenience for the good guys, and only stops the dumbest of the bad guys.

It's not just an inconvenience for the good guys. For community banks, the penalties for messing up are a much bigger deal than for an HSBC or a Bank of America. The problem isn't the stupidest of the bad guys. The problem are the still-stupid bad guys who have a modicum of ability. For smaller banks, who have to pick from borrowers who can't get a loan from the big banks, there are also marginal good guys who can get themselves into trouble, financial and/or legal.

With more banks closing branches and allowing opening of accounts online, and an increasing number of online “KYC compliance solutions” with dubious security, this problem will only get worse IMO.

Agreed. It's very difficult to solve and will be very important. Therefore, this is a possible opportunity?
Podcast: Snapchat Playing Catch Up, Spotify Is Beating Apple, Alexa Gets Smarter
"Don't blame Bank of America. For that matter, any bank. "

I absolutely can and will, because those banks are run by people. People who are capable of telling right from wrong.

"Bank Secrecy Act, Patriot Act, etc are behind this. Now know the power of administrative state: when laws are passed, much of the content of these laws are filled up by regulatory bodies. In this case, FINCEN is responsible for filling up this content."

No. Neither of those requires this course of action.
Lawson Craddock's Amazing Last-Place Finish in the Tour De France
If you think "China sucks for Chinese people", please explain why you also seem to believe they would treat others any better than their own?
It's a path that unifies several very formally related. The unification itself isn't fully formalized, you need to look at the symmetries in the well formalized subparts.
Yes, it seems to be one of their best deals.
No, but we have a really responsive customer service team that watches the Goodreads feedback group very closely.
Why? How's it going Tesla's cash crunch? If it won't, stop distracting the company, Elon
... while knowing perfectly well that without nukes in Western Europe there was nothing to stop the Third Shock Army pouring through the Fulda Gap and conquering the West by entirely conventional warfare. So you are being disingenuous.
Nobody is capable of invading China, that is true. But American mainland is a lot more secure than China's. Any military conflict will be fought near China and have direct costs to China. For example, a blockage of the strait of Malacca will cripple China.

As to the economy, as long as China grows faster than 3%, it will gain relatively to the US.
> The tone of the tweets changed, and spelling errors started to arise

Must be a native English speaker because they can't spell for shit.
It really depends on the programming languages that you're comfortable with. The biggest one that I personally would suggest is the .net ecosystem. You can use Xamarin to build your mobile apps, asp.net/asp.net core to build your web application/rest api, and a lot of the things that you're looking for can easily be added using nugets (.nets package manager) all by knowing C#. If you like single page applications look into https://blazor.net/ which is a pretty new SPA framework (still in early testing/concept) using C#/Web assembly on the front end. Like I said personally .net is one of my favorite stacks. The other is Django which is also a great framework for building web apps/apis. Recently I've been playing around with a web ecosystem in golang called Buffalo which seems pretty promising if you like go.
I opened my first bank account 20 years ago. On my lunch break. At my school. In one of the classrooms, where the local branch of Midland Bank (which is now HSBC) was running an in school "office" with Business Studies students working as "tellers". They accepted the front cover of one of my school notebooks as ID.
The only question I have with some of them is what role outside of marketing does Unilever play with some of these brands?

Also, wow I am surprised at how much of the Ice Cream industry they own.
Technology Is Making Cities ‘Smart’, but It’s Also Costing the Environment
It's balance. I don't see many hit movies these days because they recycle very primitive ideas while slamming the audience with as dazzling visual effects as seemingly possible. It's all designed to fool the mind into believing it's seeing something new by appealing to its sense of novelty and primitive desire. But that doesn't mean it's being given anything of new substance.

Much is the same with a lot of today's application design. I don't think the author of the article would say to never use animations under any circumstance. They just need to be used sparingly to properly communicate ideas rather than merely dazzle. Material Design is probably the worst offendor as it's convinced designers to not be original and to instead rely on sets of splash/wave effects and slide animations that don't communicate but instead dazzle. I know some of this has to do with creating Android- compatible interfaces, but a lot of it ia undoubtedly caused by dazzlement and the desire to be like Google.

A related aspect of modern design is the fact that so much of it has become color palette porn, using pretty, flat colors to create graphics that would look great in a physical magazine or poster, but do almost nothing but dazzle in graphical interfaces, rather than draw the attention of users to important parts of the application. Material Design helped popularize this trend, but it was in the works before it became a thing.

Such design is massively overused and should instead be used sparingly, just as modern movies really don't need the sheer amount of CGI crap they spew if they had good ideas to communicate.
Do people still hand over their vault password to access the site?
The best practical description of monads I've heard, with apologies as I do not remember the quote's author:

What if, in C++, the semicolon was an operator you could overload?
I am homeless and due to the patriot act. I am unable to
open a bank account as the bank without a utility bill is unable to determine that I am not a terrorist. Their words.
Try drinking just the hot water by itself. It's surprising and amusing how much of the effect you get. Pretty sure it was a Paul Graham tweet that pointed this out to me.
For front-end the community seems to have landed todo lists as "the project".
> Of course you don't do that. You look to see what orchestras they were in as a kid, what competitions they've won, etc. You'll immediately see that most people who list music as an extracurricular are decent, but nothing extraordinary. If you are really good then you can meet with someone at the music department at the university you're applying to, perform for them, and if they think you're good enough they'll tell the admissions department and give your application a boost.

Compare with:

Of course you don't spend 3% of the process critically reading essays. You look to see what writing groups they were in as a kid, what essay contests they've won, etc. You'll immediately see that most people who list writing as an extracurricular are decent, but nothing extraordinary. If you are really good then you can meet with someone at the English department at the university you're applying to, let them read your entrance essay, and if they think you're good enough they'll tell the admissions department and give your application a boost.

The difference is that we presume the OP did take the time to critically read those essays. Imagine if OP had written, "I didn't see much in the way of extra-curricular writing activities, so I can assumed those 600 essays were boring." It's not a serious statement.

Presumably there is a web portal for retrieving the essays, reading them in the browser, making comments, etc. Presumably that web portal exists because admissions can assume with impunity that admissions officers are literate and can critically read and rate an essay according to some predetermined rubric.

We don't have that same kind of API for musical excerpts because we don't have the same rate of musical literacy we have for reading literacy. That's unfortunate because an admissions officer could tell a lot about the applicant's propensity for risk taking, sense of humor, and a lot of other important characteristics that are difficult to convey in test scores and essay form.
Here's the problem. Uptime pingers work great if you have a low volume service. You keep 1, 2, or maybe 3 instances of the function warm, and you don't have to deal with cold start times. But there's 2 places that idea falls seriously flat.

1. This doesn't work if you were actually trying to build your API as microservices. You might have 60+ functions, some which call each other, and keeping them all warm is not really a good option.

2. Keeping a minimum number of instances warm fails to account for half the point of using serverless architectures: being able to scale. Sure, if you have little to no traffic, you can keep a couple instances warm and be up, but if your app needs to scale to 5 or 10 or more instances to handle bursts of traffic, the surfers who hit that cold start end up dealing with an extremely bad experience.

More importantly, as Lambda gets more popular, uptime pingers get less and less useful because of tragedy of the commons. The reason for needing cold starts at all is that AWS is rotating out instances to be able to keep up with overall demand with limited resourcs. If only a few people are sending heartbeats to their instances, their instances stay in rotation because other people's get rotated out instead. If everyone is sending heartbeat requests, some of them will still end up getting rotated out, and therefore everyone will need to increase the frequency of the heartbeat requests to keep their functions warm. It's not a sustainable solution, and I'm baffled that AWS tacitly promotes it as a resolution to the problem they themselves have caused.

It's been years. AWS needs to fix Lambda VPC cold starts.
Credit unions are still subject to the same regulations.
That’s good to hear! The underlying architecture project has been in motion for a few years. We’re excited that it’s out.
I would argue that, more than anyone else, the US is laying the groundwork for a post-American world order. It has been on that course since the post-9/11 insanity, and the trend has only accelerated since.
> Must be a native English speaker because they can’t spell for shit.

I’m not sure I understand your comment. Are you saying native English speakers are more prone to misspelling than those that speak it as a second or third language?
Dystopian hyperinflation. So basically it’s electronic gold. Congrats.
> Rapid used 6144 CPU cores and 8 GPUs to train our policy, collecting about one hundred years of experience in 50 hours.

That seemed an order of magnitude higher than I expected. Is training usually this computationally expensive?
Yes, you'd have to be insane to invade China. Their massive army makes it mass suicide.

Maintaining that deterrence is the the actual disadvantage to China - not the risk of invasion, but the cost of preventing invasion.
One of China's biggest demographic and economic problems is that it employs a million people to mine coal and steel. http://fortune.com/2016/03/22/mounting-debts-china/
The article finishes with

> She is a last, lonely piece of Empire, in a Super-powered sky.
While you have a point, I don't think the exception should disprove the rule. Even if a few specific style patterns can't be automated, the bulk can be and it's probably better to have them enforced at the pre-compile stage.
Times change. I would have opened that account in, let's say 1991 soon after the bank was founded. At that time I was a teenager living with my parents. I probably gave them:

A working postal address

An account name

A purported signature

An initial deposit

From a banking point of view this is fine. They're not planning to lend me a lot of cash or anything out of the gate, there's no obvious reason to assume fraud, so why ask for more? And perhaps as importantly - why keep records, even if I gave them something else they've no reason to do more than glance at it and OK the account.

But twenty five years later this same account now had a completely different postal address in another city. Large volumes of money moved through the account, and associated accounts had been created for the same customer, entitling them to a credit card, savings accounts and so on.

For example about $200k was transferred through the account in one afternoon. What's that all about? By this point the KYC regulations say accounts need to trace back to actual government ID, a passport, a driving license, something. And definitely there shouldn't be accounts able to move six figures in an afternoon based on the fact that twenty five years ago some kid posted back a piece of paper...
Half the world's launch facilities are in former British colonies.
> If their ad platform falls short, they should shop around for a better alternative.

That's like suggesting users not use the app store anymore because sometimes malware slips through the review process.

All major ad networks will occasionally have ads which violate their written policies. Google, for example, bans millions of ads every year for that reason ( https://www.blog.google/technology/ads/how-we-fought-bad-ads... ). The solution to that isn't to just ditch those ad platforms entirely.
There are definitely signs of decline; I'm with you there. The problem is that there have been signs of decline before - leading up to the Civil War, the Great Depression, Vietnam. The question is, is this negative derivative at the moment the start of the Big Decline, or is it just a temporary downtrend?

I also fear that it's the start of the Big Decline, but I'm far from certain of that...
How to Install Eclipse Oxygen on Ubuntu 18.04 LTS
Show HN: Make a Fake GitHub Commit
> my uncle was conscripted as a mechanic on the Starfighter for the Royal Norwegian Air Force in 1979-1980

Fascinating! Did you get any cool tours as a child?
> I don't know any young people who learn it anymore, and I haven't met a startup building their product in PHP in many years.

That's a poor metric for whether you should use it though, as both groups tend towards over-focusing on new "cool" tech stacks. I bet Vue would come up as the top framework amongst these groups but it is certainly not yet battle-tested.
Still haven't even used Typescript. What's the draw?
I would disagree in many cases, and even consider it a potentially dangerous philosophy.

Doesn’t this come close to veering into what WP says is a “well known as a fallacy”? (and what we all learned in whatever class that was in college? https://en.wikipedia.org/wiki/Argument_from_authority).

Does this fit your example: My first job out of school was as a developer on WordPerfect for Windows.

In short order I came to believe there were strategic mistakes being made (not the mistakes we made in code, mistakes at the exec level), as if there were a bubble or echo chamber around certain decisions, and that these strategic errors were an existential threat to the company.

Dozens of highly paid people working on OS/2 ports, and other non mainstream platforms. Not paying enough attention to performance even as it started to hurt product reviews, because Microsoft steadily invested tons of time into optimization. Many other similar things.

I asked for sit downs with some execs to offer alternative viewpoints on a few of these issues as food for thought. They listened, and watched, a early 20’s kid who looked 18, articulate these points.

Should I have not tried to be an “expert” with three months of experience? Should they have at least allowed a second, broader meeting with key people to air out contrarian ideas? Surely I wasn’t the only one who saw these things. Could they have avoided wiping a billion dollars in value off the books if they had more seriously listened to a more diverse set of opinions and ideas?

To be clear, sometimes less experienced people come with crazy, clearly impractical, even arrogant ideas that are not fully thought through. These should be constructively criticized and usually dismissed. Just remember, it’s not that unusual for experienced professionals to do the same thing.

How is experience relevant at all except probabilistically? Ideas and approaches speak for themselves. They either have merit or they don’t.

Should we ignore someone who keeps talking about how he can make a strong case for redefining our fundamental knowledge of physics? I mean the hell he’s not even a physicist he’s just a patent clerk without a PhD (not 100% certain but if I recall correctly there were interesting results before that degree was earned). More than one person had a chance to listen and didn’t.

Of course my experiences and biases over the years have lead to this opinion, but I will never dismiss out of hand an argument that at first glance seems to be made in good faith, and appears to have had careful thought put into it.

Moreover, if the argument has these attributes, and is also contrary to what I believe while a being business critical.topic, I’m more likely to read or hear it, at least until I’m sure it’s not a perspective I have already thoroughly considered.
Thanks for the tips. Anyway, I think that if all that is needed is to learn the latest web framework and measure code by lines of code/hour that knowledge is of little use. Now going to gym, just to stay in good shape. I see you are brave by your name.
But Russia is who we need to be concerned about, right?
Airliner pilots don't wear parachutes, and can't jump off.

Military aircraft personnel, and pilots and passengers of very light civil aircraft (think Cessna), do wear them.

</offtopic>
The IRS will send a letter, but it may arrive by regular USPS, not certified mail.

I know this because regular USPS is how the IRS contacted me and my SO regarding filing errors.

EDIT: typo
This is a perfect example of how AI is taking over the world by storm. I don't know how people don't realize that there will be no jobs left for billions of people.
Yes, billions. Not Millions.

I don't quite get the "New Jobs will be created" fallacy.

Let me explain:
What is job? An Abstract way of looking at it: A job is something that requires a set skills to accomplish a task.
What most politicians don't get: Researchers like OpenAi teach machines SKILLS not jobs.

A little thought experiment:
Let's say humans are capable of 100 skills.
Skills can be anything from: driving, seeing, hearing, reading, walking, carrying, drawing etc.

Usually, a low paying job requires little to no traning.
For example: Someone in a warehouse that picks the stuff you have ordered. The skill that are required are: walking, picking and using a device.
A High paying jobs usually requires more skills and/or experience.

We train machines to see better, hear better, sort faster etc.
Any new job will require some sort of skills out the set of skills that can be trained.
But the moment you create this job, it will be automated, because a machine can do it better and faster.

We need to adress this now, otherwise i don't see a bright future for the generations to come.
If people didn't have to sell most their lives just to barely make it maybe they would read more.
The hand itself is an incredible piece of machinery.
If you have the means, it's helpful to have redundant bank accounts, especially for travelers, as this ratchet seems to only tighten. There's a couple sailing the world that had some snafus that required a flight back to the U.S. which they describe in detail: https://www.gonewiththewynns.com/travel-money-international-...
VLB was the hotness of the time. Cheap, fast, and widely available. It's success brought about the AGP and other faster pci variants.
Yet more proof that though we have some really awesome people-of-color and women moving far up into the higher reaches of global wealth, there is still an incredible amount of work to do. 50 years ago in the United States, it wasn't too difficult to start a small business.

Nowadays, statistics and anecdotes say you need to have oodles of money and failure is a near-certainty.

Disclaimer: I am a white millenial male, working entry-level sales, graduated non-STEM at UNC