skysight-inc/HackerNews huggingface dataset:
Check out High Scalability's Real Life Architecture section[1], they have similar articles to what you're describing.

[1] http://highscalability.com/blog/category/example
Elon musk want only his car to sell in the state of California. People are upset now cause Trump wants things to be fair.

Edit: LOL at the hate for Trump. He is the only guy who wants to stop the consistent H1B misuse but people here are to dumb/sensitive to support him.
The lack of regulations regarding car emissions imposes an unfair burden on California's air breathing residents, who must live on the same overheating planet as the other 49 states without any power in the voting booth to make them employ more planet-friendly transportation systems.

By keeping the exemption, the state is making things more fair for its residents :)
Please correct me if I'm wrong, but don't the other states only have a say, and not a vote? It's ultimately California's decision what they must accept.

Edit: Looked it up, no other states have a vote. 12 governor appointed members and 2 elected members of the CARB board decide.
This is totally tragedy of the commons reasoning. There exist big cars on the road, so I need a bigger one to protect myself against them. I'm half-surprised that no one is selling civilian-use APCs at this point.
Other states can adopt the California standard or the Federal one, and 14 other states and the District of Columbia has done so.

What they’re not allowed to do is to set their own standard, because 300,000 people in Wyoming is just too small of a market.
Why? Min wage uses the same concept. Feds set the bottom threshold and states can make it higher.
Yeah, I think the ad spending as % of revenue is a serious problem. When the economy goes into the next recession I can see google getting crushed as companies cut their ad spend.
According to https://en.wikipedia.org/wiki/United_States_emission_standar..., https://en.wikipedia.org/wiki/List_of_U.S._states_and_territ..., and some arithmetic, about 36% of the US population lives in CARB states.
> The reasoning was that he impacted markets by not having to buy wheat and therefore he should be fined for violating farming restrictions

I see the government is familiar with interaction-free measurements of quantum systems.

But seriously, it sounds like people will "interpret" anything in any way that is most convenient to them. I almost wish we had a formal system of language so these sorts of things would not occur. Of course, then we would have bugs in that system that would miss important edge cases...
If you have been in manufacturing, you will know that building 2 differently spec'ed cars is much more expensive than have an assembly line with a same spec'ed car. And California has a large population to be a lucrative market. In essence, that means that car manufacturers have to build to California's emission standards and distribute the costs to all users (even those who aren't in California).
Canadian here. The CRA has called me about their criminal warrants for my arrest many times. The Chinese consulate keeps telling me to call them back.

But these are all on my work-phone and government agencies don't pay taxes anyway.

My personal phone has been relatively safe for unknown reasons that I'm happy about.
Yeah, that seems true.

That said, in practice I'm not sure it is too useful (this is a slightly different question to the one originally asked, though). My understanding is the proof of decidability is essentially a pigeonhole principle argument based on LBA having a finite number of states: run the LBA for that many steps, if it hasn't halted, then it has looped. Even if a program is running on a system that only allows programs to use 1GB of memory, there's 2^(2^30*8) (approximately 10^(2.6e9)) states.
> We were very enterprise focused, but it just didn't work.

How was that focus manifested? What is your focus now?

I ask because I would love to pay for an email client that has the single feature I most need. But the Hiri website only lets me know that the software:

* Helps me conquer my inbox. How? I have no idea.

* Removes unnecessary clutter from my inbox. I actually don't want anything removed from my inbox.

* Accesses Office 365 and Exchange calendars, and a bunch of other Active Directory integration features. I already have that with Lightning.

I'm currently using Thunderbird with an extension that provides the feature that I need, and I've donated to both the Mozilla foundation and the developer of said extension. What unique features does Hiri provide that Thunderbird does not? What can I do with Hiri that I cannot do with Thunderbird and Lightning?

Lastly, why is it $120? I'll pay $10 without a second thought. I'll pay $20-$40 if it really scratches an itch. But I won't even consider $50 for an email client at all. $120 is absolutely ridiculous. I won't consider the one-year plan, nor is it even clear what is a one-year plan that includes indefinite access to updates and new features. What happens after one year?
Device Twins in Industrial IoT Solutions
Business idea: shared phone assistants. Whenever someone calls your number, the assistant answers only "hello?", they have to speak to your assistant and ask for you by name and/or passphrase to be connected to you.

You can add some prestige to calling someone (having a human answering and screening your calls for you) at a pretty low cost (1 minute per call? 2-3 cheap workers could cover the whole biz, could share lines between ~ 50-100 people with distinct sounding names). eliminate all unsolicited calls for the customer.
I've just tried to install it as a VirtualBox VM, and it kinda works! I had to select a different network adapter for the network to work, and the screensaver screen made the system unresponsive. But it's still impressive.

I totally love it that it has a 50/50 chance of getting stuck in the login screen like a Windows 98.
Trivially solved if the bus has a digital display - just show “out of service” in the front bus once bunching starts to occur.
Keep in mind, a huge company is also just a collection of people.

As far as I understood, this project is from the developers working on the gdpr-originating user export functionality. Maybe they've just been passionate about it and had a vision for a more user friendly solution and managed to push it through somehow.
What would fuel efficiency standards look like under a strict interpretation of the commerce clause?
Yes. It’s called market forces. You can make a bespoke edition for Wyoming, but are you going to bother.

For another example, see textbooks and the Texas Board of Education. https://www.nybooks.com/articles/2012/06/21/how-texas-inflic...
this is a huge use case for blockchain. Just try Brave browser to see for yourself
Here's some previous research by Homeland Security [1] showing that generators can be destroyed remotely, from 2007.

[1] http://www.cnn.com/2007/US/09/26/power.at.risk/index.html
For another dawn-of-the-computer account, The Digital Computer: Where does it go from here?, by Willis H. Ware of RAND. (1954)

https://www.rand.org/pubs/papers/P608.html

(I've been on a bit of a RAND archive kick recently.)
Recipes for Honey-Drinks in the First Published English Beekeeping Manual
This is just nonsensical saber-rattling without Congressional action that stands approximately zero chance of taking place.

The relevant portion of the law [1] is pretty clear. The "waiver" granted to California is automatic, with no discretion for the EPA, "if the State determines that the State standards will be, in the aggregate, at least as protective of public health and welfare as applicable Federal standards", unless the standards are "arbitrary and capricious" or not needed for "compelling and extraordinary conditions". If they go to court with the current law, they'll get laughed at and then either give up or get an early 2020s Supreme Court to upend over two hundred years of federalism jurisprudence. Good luck with that.

[1] https://www.law.cornell.edu/uscode/text/42/7543
DHS: Russian Actors Infiltrated Electric Grids, Possibly Causing Blackouts
Because those states haven’t sought an exemption, but there’s no reason to believe they couldn’t have gotten one. The notion that power not reserved default to states is enshrined in the American constitution.
I have seen this happen sometimes, but there are always passengers who forget to signal and then run to the front shouting for the driver to stop. Not worth the hassle.
Could 2018 finally be the year of the Linux Desktop? /s
How to connect and communicate with Ethereum geth node
Commerce clause has needed an amendment for almost 200 years.
Maybe the EU can adopt the California standards.
what if two higher tax states both claim they are your home state because they want to fight over your taxes. this must happen. that's different than moving 'mostly' to a lower tax state. and then what's the threshold for ny claiming you moved there? what a mess.
But you’re right, there are exceptions, although far in between
I really don't care how problematic you find it. No one should be forced to breathe your dangerous diesel particulate emissions regardless of which state you live in.
The WebUSB angle is interesting - hadn't thought about that. I remember hearing about this during a Chaos Communication Congress talk last December. It only required one wrong click from a Chrome user to authorize exposure.
Another trivial solution would be to offer some sort of voice CAPTCHA for phones - get asked question and provide answer in order to connect. Someone on here posted awhile back that they implemented their own and said it completely eliminated robocalls.
> Windows 10 is already better

I strongly dislike the flat UI theme of W10.
Maybe he is "alluding" at dismantling the Euro?
I've heard the slightly terrifying proposal that Ambien actually doesn't help you sleep at all, it just gives you sleep paralysis and fucks you up enough that you're unable to remember having spent the entire night awake and delirious.
I fear the times when they can't achieve those 20% and the winds start to change massively.
TOTP can protect against knowledge leakage as it is a second factor. For example, it will prevent someone successfully using a shared password a LinkedIn, associated with a corporate email address, to log into Gmail/O365.

It doesn't prevent any sort of active phishing campaign, because the login process can just ask for and immediately use the TOTP credential. User gets a possible failure (or just content based on what they thought they were accessing), phisher gets account access.
Bernie Sanders needs to add this sad statistic to his spiel about how America isn't doing well. It fits in perfectly between "We have more people in jail than any other country on Earth" and "Only major country that doesn't guarantee right to health care".
They're not rules. They are laws. US is a Federal Republic. Each member of the federation (aka State) has the right to enact it's own laws, whether they conflict with the Federal Government or not.

And anyone can challenge the legality of a law by filing a suit; then it's left to the courts to ultimately decide whether the challenge has merit or not.

The federal government may not prevail in court, so it exerts it's influence elsewhere, typically by with holding federal funding, or refusing to provide federally backed services.
You picked the smallest US state to compare with, but if it's only market size, why not Texas with 29M or Florida with 21M compared to CA's 39M?
The reality is that the world is complicated. Some calls asking for money are completely legitimate, and if you don't act, bad things will happen. Others are total scams.

If you're new here, they both sound the same because they are: People asking money for stupid reasons. E.g. mis-applied payments, a "1st-world" banking system where payments take several days, lack of chip-and-PIN resulting in overdrafts and failed bill payments.

In some places, if a reporter stops by your work to ask you questions, you'll lose your job if you don't answer them, because the newspaper is the government. In the USA, it's usually the opposite.

It takes a while to sort it all out.
One thing to keep in mind is that California is possibly uniquely effected by smog. It doesn’t rain for months at a time, it’s hot, it’s heavily populated, and LA is surrounded by mountains so the LA area is especially impacted. As a result I think Californians are more effected by the smog than people in most of the rest of the country.
Well, duh. Swimming pools are dual use.
There was another comment claiming this is what happened last month, and there was a rebuttal saying that this interpretation of the case is wrong.

See here: https://news.ycombinator.com/item?id=17396635
The article isn't quite correct there.

CA only has a by-name carveout for non-public-road vehicles. For cars, they get the same automatically granted formality of a waiver to exceed the standards that any other state can. Indeed, something like 15 other states adhere to the stricter California standard via that process.
At work I switched from Outlook 2013 to Thunderbird, we only have linux mail servers although we run Windows on clients, but I needed to access an Exchange email. I solved it by installing Davmail locally, which translates exchange commands in IMAP commands. Otherwise I would have been forced to use Outlook only for that exchange mailbox.
There is nothing preventing it, they've all just decided California rules meet their same goals, and it is more advantageous for them to share the same rules than expand further.
Given the justification for plea deals is the crowded dockets, alternatively, you could talk to your representatives to reform the laws so fewer acts are crimes that get people arrested in the first place.

Also alternatively, instead of using life-ruining threats to 'incentivize' defendants, the only actors in the system being strong-armed here, into 'reasonable' capitulations to do whatever the prosecutor wants, you incentivize prosecutors to better behavior by abolishing plea deals so they have to focus finite resources on prosecuting only the most important cases against the most dangerous individuals, and not to add as many people as possible to the USA's disproportionately massive prison population. [0]

Also also alternatively, instead of fretting about a zero-sum game where defendants suffer from 'delayed justice' due to other defendants enjoying their right to a day in court, you could try to eliminate cash bail and let people back into the community until they've actually been convicted of a crime, so they don't have to await their trial from a jail cell. [1]

And being stubborn, illogical, mistrusting, or giving an abstract concept the metaphorical middle finger is one of the weakest possible reasons to punish someone with excessive jail time that you actually know they don't deserve, in an unaccountably secretive, opaque legal game of chicken where you're trying to make the defendant blink first.

[0] https://www.prisonpolicy.org/reports/pie2018.html

[1] https://reason.com/blog/2018/01/25/government-is-gutting-the...
About half of the people I exchange email with are @gmail.com It means that Google reads and possibly sell half of my email conversations even if I don't use Google as email provider. The same probably happens to you. Our choice is limited to not to send email to people with some addresses. Tough luck.
There can still be a semantic change, even if conditions are unchanged and valid.
I don't disagree with you - what I am trying to say is that perhaps it's difficult to know for sure that you will be happy with the type of people you will meet in a certain place.

That's why it's difficult for me to even think about moving back to Italy eventually: I am not sure I will like it there.
You certainly cannot determine that two programs do or do not have the same behaviour in the general case.

In specific cases, the proofs can be pretty trivial:

https://tinyurl.com/ycx2245q - proof your two programs are different

https://tinyurl.com/y7lcv3re - proof 'y + x' is the same as Version 1.

These proofs weren't automatically discovered, though for such simple programs I'd expect an SMT solver to be able to find the proof or a counterexample easily enough.

But even proving they're the same value for all inputs isn't all that helpful, because of lazy Haskell code like:

version 1:
fib :: Int -> Int
fib n = if n < 3 then 1 else fib (n - 2) + fib (n - 1)

version 2:
fib :: Int -> Int
fib n = let fs = 1:1:zipWith (+) fs (tail fs) in fs !! n

They're (provably) the same for all (positive) input values, but if you call version 1 with n greater than, say, 35, you'll be waiting quite a while for an answer, while version 2 will be very snappy for the first few hundred thousand values of n, at least, after which the size of the answer will be a bottleneck.

If a library switched from the latter to the former, it'd have a good chance of breaking code.

While obviously exponential code is obviously exponential, this sort of behavioural change can show up in less obvious ways - a change in memory usage might blow your heap after a supposedly minor version change, eg.

In the end I don't think the value judgement of 'breaking' or even 'significant' is computable, and you'd need to rely on a human doing something that approximates to 'right' for your world view with their version numbering.
I have done this. I have my own VoIP system. One of my DIDs picks up and is a recording of me saying "I'm screening my calls for telemarketers and scams. enter code 5300 any time to be connected to $myname". If 5300 is entered, it dials out to the DID for my cellphone and transfers the call. No code, or no action, call goes nowhere.

You can fairly easily make the code whatever you want or make it a multi step process.
Regarding your latter part, do read the “define: CTO OpenAI” (don’t have link I’m on mobile) - author has fascinating insights on just how important engineering of the specifics you describe is, for ML work to progress and show results.
I get it, but it's just not my problem. If they want to figure out how to do 2 lines cheaper or whatever, that's up to them or the competitor that puts them out of business. I think what they actually do (just keep it standard) makes sense and I'd probably do the same, but on principle it's not our problem how they choose to comply with relevant laws.
no, unless Everything else in your system retains state, that includes all the registers in every single chipset/controller/processor.
That's an interesting discovery. Thanks for the link.
It’d be hilarious if Google started donating to the project. No endgame in mind, just trolling to get a paranoid reaction out of Microsoft.

I’ve heard that Steam OS was partly created to nudge Windows out of its windows gaming intiative during the Windows 8 era.
> C# has the internal scope for each assembly, but this breaks in combination with unit tests placed in seperate testing assemblies.

That is what [assembly: InternalsVisibleTo()] is for.
What? If you google his name it says the Indian government caught him in Dubai last year and he’s been sitting in jail ever since
Fantastic! I have never heard of it.

> In a quote from the developer, Chris Park, "'There are a ton of RTS games out there that are fun to play...The key weakness that they almost all share, in my opinion, is AI that falls apart in advanced play."

Exactly this!
Surprised not more people mentioned or recalled this, its perfect for phishing. one click, thats it.
Hello,

The main idea compared to stdweb is to have the ability to call into javascript dynamically but without having to write actual embedded javascript.

From what I've seed stdweb exposes a js! macro with some features to conveniently pass around rust values back and forth.

Also from my understanding of it stdweb also features some abstraction layers of common js APIS based internally on that js! macro.

Ultimately I'd say compared to stdweb, wasm_val aims to provide access to javascript via an API as compared to writing actual embeded js like stdweb does or by writing or generating bindings as wasm-bindgen does.

Edit: Also since wasm_val encapsulates js access in an API it provides additional type-safe guarantees (such as when coercing a JsValue into a rust type)

Also wasm_val does this dynamically, so you could potentially do some stuff during runtime that you couldn't in stdweb due to it using code generation as well.

Hope this answers your question.
So your solution is to remove California's emissions standards, killing Angelenos with smog? What gives you the right to socialize the cost of your pollution?
Yeah, I know. However I'm pretty sure that you're not sending your personal identifying information to them. But yeah, minding your privacy often means discomfort, that's just how it is - again, same with people that don't like FB, but their friends use FB messenger. You can use encryption, btw.
The rescheduler in Borg isn't a scheduler -- it just evicts pods, and then they go into the regular scheduler's pending queue and the regular scheduler decides where to schedule them. (At least that's how it worked at the time I left the project -- I assume it hasn't changed in this regard, but I don't know for sure.)

Because the name is confusing, we called the Kubernetes version of the Borg rescheduler the "descheduler" (https://github.com/kubernetes-incubator/descheduler) to make it clear that it doesn't actually schedule, just evicts. (There actually is something in Kubernetes called the "rescheduler" (https://kubernetes.io/docs/tasks/administer-cluster/guarante...) but it's a long story and we never should have named it that).
Still, I can't see anyone thinking that the Ethiopian central government had a less firm hold on Eritrea than Mogadishu has on Somaliland.
> How about reducing carbon footprint? For example - wash our dishes in cold water?

I've never lived in the US, so anyone, please correct me if i'm wrong, but anecdotally I have heard that Americans don't generally have (or use) outdoor clothes lines to dry their washed clothes, rather they just use a dryer. I live in Australia and when I learned this I was floored. That approach is unthinkable in Australia due to our astronomical energy costs (South Aus, where I live has the highest energy cost in the world).

With our high prices, we only very occasionally use dryers which are a horribly inefficient way to dry clothes.

Maybe the solution to affect peoples' behaviour is to dramatically increase the cost of (dirty) energy.
When I had to get the right people for a job, I made the sifting assignment simply: write an app that consumes a JSON API. I got an Indian guy with a long CV who never even tried, and a guy who machine translated the Dutch ad and sailed through this question. Guess who got the job...
Yes there is, 49 states must seek policy exemptions from the EPA and win approval for them, while California has no such burden. CA gets a perpetual exemption allowing them freedom no other state gets.

Edit: I was actually wrong here, no other state may even ask for a waiver.

> This power is reserved alone for California, and it only covers pollution from cars. No other state can ask for a waiver. (In all of federal law, this might be the only time that a specific state is given special authority under such a major statute.)

https://www.theatlantic.com/science/archive/2017/03/trump-ca...
I have a very basic Gtk-rs based project with one dialog that takes about 15 minutes to clean compile an un-optimized debug build from scratch.

The C++ version of it, using Gtkmm, is done in a couple of seconds, a few minutes optimized.

Although I guess the Pango bindings are the ones to blame, as they seem to take ages to be done.