skysight-inc/HackerNews huggingface dataset:
>was invented by the White American colonists

By the 14th Amendment in 1868? The Naturalization Acts of 1790 and 1802 don't mention birthright citizenship. Children born to foreigners only became citizens once their parents did.
Don't blame Bank of America. For that matter, any bank. One day, we all realize that Stasi is better than the current regime of electronic surveillance.

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.

FINCEN assumes that every untraceable monetary instrument (cash, cashier checks, money orders, bank checks, etc) is DIRTY by default. If a bank doesn't know enough details (dob, citizenship, driver license number, ssn, passport number, etc) about controlling parties of any account (LLC, sol prop, C-corp, S-Corp, individual accounts), such accounts are seen as DIRTY. In other words, these are seen as potential sources of money laundering.

FINCEN makes banks responsible for spying and reporting any suspicious activity. Banks spend $100B a year on this compliance. There is a $2B software industry behind this (AML compliance software). These software companies hire ex-regulators from FINCEN etc.
Interesting. I used to live in the US some years ago and I still have my BoA account. It doesn't cost me anything and it is useful once in a while and who knows, I may need it some time in the future. Nonetheless I called them once to explain that I wasn't living in the US anymore and that I wanted to close my account but they advised me to keep it.
Is there any chance you could find that link again?
Other uses of salt are in coffee, with tequila and salad. Salt reduces any of the bitterness in those things. It's why a salad is called a salad since the Romans salted the bitter greens they ate to reduce the bitterness.
How Robot Hands Are Evolving to Do What Ours Can
>US will likely due to tax / deficit issues, not so different than the French aristocrats who refused to pay taxes in run-up to the revolution.

Or you could see it as being like the USSR which drove itself into the ground by spending everyone's money (trying to keep up with the US) faster than everyone could create it.

Tax/deficit problems can not be considered just tax problems or just spending problems because the amount of input is not meaningful except in relation to the amount of output. It's like how diet and exercise need to be considered together if you want to make a plan for meaningful weight loss. If we stopped playing world police (or just did it less) and made the government gravy train more efficient (i.e. less of a gravy train, which sounds easy but it's actually hard because nobody wants to stop pissing money away on their pet program/subsidy) we could probably have both good social safety nets and less taxes.
Companies don't pluck candidates out from an unbiased set at random. Companies that are attractive to women get top tier women to apply which means they're able to select their 50% from the top 5% of women. And guess what, a major factor in a company being attractive to women is a culture where women have a voice roughly equal to men.

Increasing your percentage of women increases your candidate quality, not decreases it, because it forces you to address all the issues that make it challenging for you to attract/retain women in the first place.
The last two points are particularly key. If your company fails to outline the hiring process to the candidate (or maybe your process doesn't even have an outline) and if people regularly get "lost in the shuffle," not only is your hiring practice broken but that's probably an indicator that there are deeper organization problems.

A manager that I adored that I had silently chosen not to accept the offer because I didn't show up on my first day. Turns out the recruiter had told me a different start date. And this happened twice more with new people that started, just HR bungling the process and seeming to reinvent it with each new hire.
From the perspective of impacted Mexican populations I imagine it would seem heartless, but it's not an unprecedented sort of action. Economic sanctions are a common tool of governments and have a similar impact on various populations around the world.
It might be more accurate to call it a coup rather than an election.
> But..., I don't think people really understand what this means. One thing it means is larger corporations. The first thing that happens when a market regulates is usually "consolidation."

Consolidation is the natural trend of all businesses, regardless of regulation.

Adam Smith in the 1700s said "People of the same trade seldom meet together, even for merriment and diversion, but the conversation ends in a conspiracy against the public, or in some contrivance to raise prices."

Business owners have a lot in common with owners of similar businesses, so it's pretty natural for them to know each other, get along, and have aligned goals. From there, it's a pretty short step to cooperation. Why make your business a zero-sum game by competing when you can make it non-zero-sum by cooperating?

So cartels and monolithic businesses form all the time and have all the way batch to the Dutch East India Company (though that also had government support too).

Remember, anti-trust regulation is a kind of regulation too.

> I'm not suggesting that banks should be a unregulated, just that quality matters. Quality is inadequate, currently.

I agree, completely. One of the things I've always found dumb is arguments around big government versus small government. What really matters is smart versus stupid. People seem to assume that it's simply impossible to change how well a government works. So small government people "solve" poor government by minimizing it while "big government people" generally think government works pretty well, at least relative to profit-driven enterprises.
That’s “the question”. I will do my best to bluff through it.

Engineering team size: you have teams large enough (~3-4) to own and iterate on a subset of related functionality for the long term.

Tooling: you have a builder tools type team that provides a tooling and observability happy path.

Traffic scale: you have functionality that operates at 2 or more order of magnitude higher that the rest of your application.

Decoupled: you have functionality that can be decoupled from your main app and, most importantly, isn’t required for your main app’s uptime. Like a search service or something.

A combination of the above.
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.

There are lots of ways around KYC laws for the criminally inclined. The most straight forward would be simple identity fraud with stolen documents. Ironically, the more accustomed people become to uploading photos of their passport online, the easier it becomes for criminals to phish for the exact information they need for identity fraud.

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.
I don’t think that follows. You don’t become a citizen merely by being adopted by citizens. You can eventually become naturalized if you fit the criteria, but having entered illegally tends to be a huge obstacle to that.
Jetbrains seems to be having a large sale
I strongly agree and I can't recommend it enough. It's not a good first book, though - it's not meant as an introduction to Common Lisp (for that it, in fact, recommends Practical Common Lisp). It's best read if you can already find your way around Common Lisp REPL, and write some basic programs - it systematizes the knowledge, explores various quirks of the language, and shows you practical solutions to common problems.

As for introduction, another nice book is Land of Lisp - it introduces you to most of Common Lisp by means of writing games of increasing complexity.
Hasn't an autocratic surveillance state been tried before?
OK, that makes sense. I'm sure you've thought of this, but you are inline with your lead generators terms of service by charging for your product? I'd hate to see you get in trouble since you are getting some social traction here.
Not negative at all Oras. I understand there is a lot of questions that might need answering.

This is a research project - as such, the results are stripped of the personal data of responders.

You can often see that influencers are people high in the social ranks by reading their comments. Not always, but often they will give invaluable information. One that would be unseen from a regular member of the niche.

How do I get people? Well, I simply text them in a nice way. Explain that we are a small consulting firm that is helping this business to enter the market. And that his input would be invaluable. We contact rather a large number of leads to get guaranteed minimum responses.
I think it’s perfectly reasonable given their domain. If you’re in a technology-frontiering business, of which serverless most certainly qualifies for, you need management that’s going to support engineering through the litany of challenges they will face. I’ve seen founders get cold feet and cut corners or pivot away from things when the engineering side seems daunting.

The other side here is your customers are likely engineers themselves. You need to build products that connect with them and genuinely make their lives easier... if your leadership is too far removed from that you’ll end up with a product platform shapes via a game telephone...

With that said, some strong hires early on can make a real difference here.
For those interested in a more technical discussion by lawyers of Superman's legal status, check out this post on "Law and the Multiverse" [1].

[1] http://lawandthemultiverse.com/2010/12/22/superheros-and-imm...
Yep, you can alternatively use unique types (https://en.wikipedia.org/wiki/Uniqueness_type) to do IO while still maintaining referential transparency. Clean, Mercury, and Idris does this.
Salt to hypertension thesis has been hit with a number of problems recently. As have many other "known" results in dietary and epidemiological studies.

Current research suggests that while salt is bad for people WITH hypertension the causal link between elevated consumption and hypertension isn't what was earlier believed. One study here https://www.medicalnewstoday.com/articles/317099.php
Yes, and you're right, of course. There is certainly a lot of blatantly incorrect tabloid-esque stuff floating around today that people take as fact at the headline-level. I suppose, in my defense, that it's easy to forget those sorts of things exist in digital form if you don't come across them frequently.
Everyone knows that the United States of America, like almost every nation and people on earth, has a violent past filled with ethnic cleansing, wars, and genocide. Are you suggesting that inherited citizenship should be done away with?
go to ER now.
trying to have an informal discussion

That's fine, but you express yourself in a way that sounds like you have a deep understanding of LL, and its relationship to other subjects such as programming languages and economic games. You have gotten a lot of pushback here for this reason, I'm just expressing myself more bluntly than other. Sorry, but you don't currently have this knowledge, and that might be misleading to others. I recommend to take this criticism constructively, and deepen your knowledge of logic (linear or otherwise), and there is only one way of doing this, which is to go beyond intuition and informality, and "do the math".

How many people do you think are familiar with it?

A lot on HN. Including myself, having written several papers on the subject, and discussed LL on numerous occasions with the world's leading researchers in the area, including Girard himself and several of his students.

HOTT states nothing about optimization.
None of the foundations of mathematics
really tackle optimization.

This is a complete misunderstanding of the foundations of mathematics. ZF(C) doesn't mention the natural and real numbers either. You can construct the rational and the real numbers in all foundations of mathematics
(and this is typically done in undergraduate maths see e.g. [1] where I learned the construction from).
Notions of minimun/maximum as well as related concepts can be expressed, too. This means that all mathematical optimisation as conventionally understood is trivially expressible in e.g. ZFC.

There is such a thing as linear types

I know, I coauthored some of the early papers on linear types.

Linear types let you to trully distinguish
between values and references.

No, linear types let you distinguish between values that are guaranteed to be used exactly once, and values that may not be used exactly once. Note that Rust (at least last time I looked -- the language evolves fast) has more like affine rather than linear types (guaranteeing use at most once).

that our current understanding of math is really
"all there is".

Nobody says this, indeed this is an immediate consequence of Goedel's incompleteness results.

[1] Yiannis Moschovakis, Notes on Set Theory (https://www.amazon.com/Notes-Theory-Undergraduate-Texts-Math...)
Again, this is a type of snobbery, it's just encoded into law. The product tastes like a cheese. It contains the components of a cheese. It is used in applications where a cheese is used. It's not a great cheese, nor a traditional cheese, but it is in every way, functionally, a cheese.

As long as consumers are clearly informed about what they are eating (via labeling) and the food is safe for humans to consume, constructing a legal definition of products like 'cheese', 'ice cream', etc. just seems like pandering to interest groups.
شركة نقل عفش من السعودية الى الامارات
Yes, that is allowed. I can sell results, not actual data. No risk for me whatsoever as long as I make sure no personal data of leads is given to the end customer.
I'm pretty sure he's talking about the testability of science; when you have a theory, it's not science until it becomes a testable observation. At one point, presumably, the early model of physics allows "naturalists" to make predictions on the color of gold based on the information of chemical elements. And the color was supposed to be platinum.

Therefore, the theory was not quite right, and naturalists of the time could conclude that their model was incomplete. I don't think anyone was ever doubting the true color of gold.
Um, I don't remember it this way, at least not from the 1978 movie. How would they legally adopt him when his origin was completely unknown (well, the Kents couldn't exactly tell the county officials about finding him in an object from space that landed in their back yard...)? They didn't get into the legalities in the movie, but presumably they just claimed they had him naturally. Of course, this is lying, but as far as the government is concerned, he should be legal.
Dont be ignorant. That's like saying movies dont need special fx. Story is all you need.
I understand why people don't trust bankers.

I don't understand why they trust regulators.

They same asshole who would ruin your life at a bank can get a job as a regulator and ruin your life from there.

And while you can switch bank, you can't switch regulator.
This is a weird and unrelated comment.
For a lot of teams, S3 is a data warehouse, and you can treat it just like HDFS for the most part with most things in the big-data ecosystem. Presto works well for letting you access it from these locations without having to explicitly import it (assuming it's in a traditional data warehouse or a common SQL DB).
Agreed. I did operations mgmt for a travel agency for two years. Maintaining their Sabre system was the worst part of my job.
Telling that the summary advice is “change the default password”, even if some of the other ideas are deployed user involvement is near zero if not completely zero. I wonder how impactful it would be to roll out a totally read-only router, or if the necessity of updates and maintenance would generate too much headache for the user
We can, and will do better in the areas you’ve mentioned. I’ve been bitten by that same search bug :-(. I’ll cut a ticket for that.
Like a lot of things for this kind of software it required both culture (tab stops were a legacy from physical typewriter) and RTFM to understand how Microsoft designed the ergonomics under Word. As a noob I need only a simplified version of it (static tabs) and the full fledged caused a lot of reflex behavior from Word that threw me off. Not helped by the fact that word tables (another alignment trick) was random as ..
If ever there was an abject lesson on the importance of strong borders...
This assumes that the space at Harvard is currently constricted by the budget rather than other factors.

That doesn't appear to be a good assumption given Harvard's current budget situation.

And really begs the question, given Harvard's current budget situations, why haven't their practices created significantly more spots.
> The incomprehension of the newbies is matched in intensity only by the smugness of the experts.

Oh good. A write up that’s aware of how unapproachable monads seem. Maybe this will actually be a good, plain-English breakdown.

Four paragraphs later:

> Monads, as a mathematical concept, can be always used as a part of the semantic model, but whether they transpire into the type system of the object language is a matter of design choice.

Oh... well, never mind.
I dont have a problem with this. Seems like a reasonable measure. People illegally here in our country should not be allowed to have a US bank account. It's as simple as that.
I haven't used heroku for a year, my impression then was that Salesforce wasn't putting much energy into it.

Or is it more spritely now?

Also is there a new no-configuration server option now? Specifically where you can have a postgres database, background tasks, and a decent sized community?

There are a big class of web apps that this was a perfect fit for. (And where managing a Kubernetes cluster is too much work)
https://news.ycombinator.com/item?id=17624761
Why anyone uses a big bank is beyond me. Credit unions all the way.
This seems to me to open a big can of worms, and goes to the heart of the identity problem space. There are any number of ways to spoof identity with paper- and card- identity-based systems, and if I'm an organization that has to know the physical person standing in front of me is some person in my database records, I don't know how I could realistically constrain spoofing to a 1:1,000,000 level or better.

Short of only authorizing on entire pairs or groups of people vouching for each other at the same time, like missile launch officers or bigger groups, it seems a really tough problem to comprehensively solve if you are only given a plastic card and one person standing in front of you (literally or figuratively) to base your decision upon.
Once again proving that customer acquisition is the main bottleneck to acquiring customers, not solution quality.

There are places that give away free stuff right now on this planet that people won't even ever feel an impulse to acquire.

But because of Elon Musk's appeal and cult-status, Tesla customers feel a strong impetus to purchase something they likely will never use. It's sole utility is being a collector's item and potentially granting access to a high net worth community through a strange quirk of biology that we call "signaling".
He set the bar very high.
Now we are talking! Check out the paper "Stochastic Interaction and Linear Logic" by Lincoln, Mitchell, Scedrov
Reading this: https://wiki.haskell.org/IO_inside did not make me come to that conclusion.

The IO monad is noncommutative, and thus controls sequencing of operations, because of data dependencies, more or less hidden.

A "Haskell wizard" tried to tell me the ordering of operations was implemented through low-level magic a few weeks ago. The fact is that whatever ultimate form GHC might compile your code to, the sequencing is expressible in the semantics of Haskell code. Getting sequencing into the semantics is one of the problems which monads solve.
Great, sounds like you found a perfect product for your use case.
I’m not sure I follow, since the implementation details of any given monad have very little to do with monads. It’s the fact that IO/Continuations/Etc can be just another monad that was interesting when it was discovered. It’s cleaner to have 1 pattern/framework for N domains than to have N for N.
Well yes, if you prevent even your own site (self) from accessing a feature then obviously third-party scripts running in the same context as your site won't be able to access it either.

Your previous comment however was talking about a situation where your conferencing site needs access to the webcam and mic. In that situation, you _have_ to specify the "self" permission for `camera` and `microphone`, in which case any script embedded in your page (regardless of where you loaded it from) also has access to those features.

I see nothing in the original article suggesting otherwise ('origin' refers to the origin of the browsing context, not the origin the script was loaded from). If the article _does_ say otherwise, then the article is wrong. The Feature Policy spec ( https://www.w3.org/TR/CSP3/ ) refers to "browsing contexts", not "the origin a particular script was loaded from".
I think I can be pretty confident in saying that a global super power not founded on enlightenment ideas will be an objectively worse place to live.
> Seems like a big gamble to build a complete screen capturing app around a minor feature that’s easily implemented by your competitors

It wouldn't need to record or compete with existing screen capturing tools.

It would just be something that restricts windows sizes and your mouse cursor from being able to escape a rect of your choosing. The tricky part would be also supporting built in Windows functionality like maximizing and splitting windows.

It would be something you'd use in addition to existing screen recording tools.
This is just an old-fashioned surfboard with Tesla esthetics. It may add some positive association to the Tesla brand. I think it would have been much more interesting if Tesla had come up with a motorized foiling surfboard.

Marine engines are another market that is ripe for electrification: most boats are relatively insensitive to the added weight of batteries.
Just saw on the wiki:

"The book presents an overview of the operations of a major commercial airport, much of which is still applicable over 40 years later. Several major and minor characters appear, illustrating the vast complexity of the airport and its operations, including customs officers, lawyers, airport police, doctors, clerks, snow clearers, et al."

Seems like it's still relevant :)
> My employer offers FaunaDB with a pay-per-request pricing model.

Tried FaunaDB few month ago the latency was beyond 200ms for a simple a read , and beyond 600ms for an insert.

Would not recommend it at this point.
I agree with that if you would be learning a language. But even then, being bothered by indenting, alignment, spacing etc gets tiresome and the small amounts of time lost accumulate over the day.
indeed. the world 200 years from now will be as unrecognizably different as today from 1818.