skysight-inc/HackerNews huggingface dataset:
If your AC is producing 25-degree air, it'll be quite dry, which London is not. (But Harare is, I believe.) That said 25 should still be fine, but there are days which are 30 & humid, which are pretty uncomfortable. Not so many, but more than 1% I think.

Most buildings there are also designed much more for winter. The windows seal well but often don't open that wide, and there will be a fire door making sure you can't get cross-ventilation, etc.
Sounds a lot like cycling and cyclists. We call it "funemployment".
if the checker can prove that the state of A is not important to B, then it can check them independently.

this is the biggest difference between relatively naive checkers like tla+ and your brain. you don't think about all the states at the same time. I do not of a model checker that does this.

symmetry was kind of explained by the other commenter. in short, you often have sets of things that have the same allowable states, and the order of these items is irrelevant. e.g. you have several worker nodes... they have state, but if two of them instantly swap states, it's possible that nothing really changed
> very likely breaks constitutionality... they can track you without any probable cause... they no longer have to get warrants.

Does anything in Palantir's database require a warrant? Law enforcement can absolutely follow your car without a warrant, check if you've come up on a license plate reader, call another department and see if they have your phone number, list of associates, ect. Point being, police don't need a warrant to investigate you. I don't know if they even need reasonable suspicion or probable cause. You might be able to claim harassment if they interfere with your life. Otherwise, constitutional protections apply to restricting your freedom (eg. detaining/arresting you), ceasing/searching your property, and monitoring your private life (eg wiretaps, bugs, ect). It seems like what Palantir's doing is making it easier for departments to share information that would normally require lots of digging.

I'm not defending the practice at all. I despise this kind of mass surveillance, and am particularly concerned that it's being done in secret. My opinion is that we don't have enough, or practically any, privacy protections in the USA; at least on public property. Might sound like a contradiction, but we spend much of our lives in public, and shouldn't have to hide in our homes to prevent mass surveillance. I don't think the constitution goes far enough to protect us anymore. The founding fathers could not even imagine the world we live in today. Even George Orwell couldn't conceive of the capabilities we have today when he wrote 1984. Yet we've done close to nothing to rein in these capabilities, and all the movement is in the wrong direction.
> Kennedy’s assassination on 22 November 1963 scotched the plan

Not just that plan, but quite many other options.

Whoever did this was knowing quite well where we were going…

"cui prodest" is the answer I think.
If you are using Redis and ruby, Sidekiq offers scheduling. I am unsure why a lot of startups insist on using the far inferior resque instead.
> wouldn’t the energy companies eventually do this, which, given macro market laws of supply and demand, would eventually cause the price of electricity to go dramatically down for their end consumer, thus eliminating the financial benefit of privately installed roof top solar for homeowners?

No, because your local utility is a monopoly, albeit a regulated one. Local utilities may be interested in solar if it generates supply at lower cost compared to legacy sources, but the cost of supply is completely independent from the question of retail pricing. Utilities are not required to pass savings onto consumers; in markets, pressure to do so is caused by competition, which is non-existent here because the utilities are monopolies.

So the question you're really asking is whether governments will use their regulatory power over utilities to pressure them into dropping prices as their costs go down. An optimist will answer you yes, political pressure will force regulators to force the utilities to pass savings along to the customers. A pessimist will answer you no, the utilities will come up with whatever reason du jour why they can't drop prices - rising labor costs, infrastructure maintenance costs, administrative costs, expansion costs, building up a warchest, whatever, and regulators will permit them to pocket the difference. A realist will answer you with a question: given that you have a stable price on achieving certainty / stability (the cost of a rooftop installation), would you rather pay the price to get stability or take a bet and risk losing some multiple of the initial outlay in the difference over the years you'll be a homeowner?

Given that homeowners are statistically more likely to prefer stability (comes with the commitment of signing multi-decade mortgages), it doesn't take much to understand why rooftop solar is popular among homeowners. Stop wondering about how people make rational decisions and start understanding that most people make emotional decisions and then use the online calculators etc. to justify the emotional decision they made.
On the bad side: the MPAA lobbies heavily for continually enlarging copyright protection (e.g. the DMCA) and aggressively pursues legal action against individuals. Netflix has deep pockets, so its membership provides the MPAA with increased funds for lobbying and legal muscle.
To Tune or Not to Tune? How About the Best of Both Worlds?
Death throws of a dying and unnecessary industry.
Who created the Happy Meal? It's complicated, even 40 years later
Are you seriously suggesting that the removal of basically every compound in tobacco found to be cancer causing and the addition of ones with a much lower likelihood of harm that have already been in use for well over a decade is going to be more dangerous?

With the exception of certain nasty flavoring agents and such, I think this is quite unlikely. There's certainly no evidence to support it.
the current state is far from optimal. Some less AWS options are:

- Use DynamoDB TTL to trigger a delete and listen the dynamodb stream.

- Use step functions and pause execution for up to a year (1 million max concurrent executions)
Furthermore, plenty of platforms will remove EXIF data.

I made a LaTeX equation rendering script that embedded the source LaTeX in EXIF data, the idea being that you could edit the equation after the fact without having to save the source. But practically every tool I used would strip the EXIF data - so I moved to storing the source in the least significant few bits of the pixel values. This worked much better with the places I was uploading the images to (google docs mostly). Obviously fragile to image format conversion though.
Most humans aren't cold thinking machines,so... mistakes are made.
The tower at PNC in Pittsburgh is a new skyscraper that has a similar solar chimney model and relies on passive aircon for 42% of the year.
https://www.architectmagazine.com/awards/r-d-awards/award-th...
Sounds kind of like the recent global Cloudflare outage. That outage started with a regex (WAF rule) being pushed out that immediately exhibited pathological backtracking behavior and "caused CPUs to become exhausted on every CPU core that handles HTTP/HTTPS traffic on the Cloudflare network worldwide."

https://blog.cloudflare.com/details-of-the-cloudflare-outage...
I wonder if it was worse? I think there are more distribution mediums for art available now than when that film was made that are less beholden to content rating.

Perhaps the new specter is YouTube and its recent banning of security videos?
Imaging Bell-type nonlocal behavior
Many modern buildings are indeed wasteful, maybe they could use half the AC. But comparing to traditional buildings which were grand public spaces may be a bit misleading -- that mosque in Cairo may well occupy the space of 100 apartments, and provide cool shady space where the occupants of 10 of them can sit, and zero bedrooms.
In the sense that $5B almost certainly dwarfs by orders of magnitude any revenue Facebook would have earned from lax API controls and sales of data to analytics and adtech companies (gross as those practices were, they are not Facebook's core business) and thus is wildly out of proportion to the offense and thus unfairly high, yes, I agree.
All the same questions, would love to hear answers to other questions here...
I'm building something with Airtable now, but definitely see the need to move away from it quickly. More than anything, I just like the appeal of the web UX to get started in designing the data model. It allows me to work with an 'excel guy' in order to figure out what we need for our application.

The API, which is very well documented, is far from marvelous. For example, there is no way to use a transaction to update two (or more) tables at the same time. It is also rate limited to a tiny 5 requests per second, even under paid plans. The API also does not allow you to request relational data in one request. You make a request to get the parent id, then all the children, by parent id, in a separate request.

I'll also say that the company feels a bit dead. You look at the changelog and they add a couple features here and there, while other features, such as barcode scanning (probably a weekend hackathon feature) languish by the wayside. They respond quickly to support requests with answers like 'we will add that to the long list of things we want to do'... riiigght...
Good, time to end this
Yeah, kinda sad it only made orbit once. Buran is at least mentioned every once in a while, though obviously not as often as Sputnik, Gagarin and the like. Youtube has a bunch of hits for it, while in contrast to what there is barely anything at all in english for "Luna 16". I also vividly remember this photo series about remaining Buran mockups [0].

[0] https://imgur.com/gallery/b70VK
at some point they removed the "show users link he clicked before" and that makes the start of Google usefulness. you used to get Wikipedia and stack overflow reliably on top in 2014, then by 2015 it stopped, where by Google choice of by content farm Henning better at gaming the system idk, but the key was removing history from result bias
How many years will John Corzine or Ken Lewis spend in jail?
Sounds like she wrote him into the game, not that he wrote the game.
That's a reasonable conclusion. I guess then my concern would be: what guarantee is there that the US won't be one of the underfunded socialized healthcare systems. In fact, it seems almost inevitable that it would be as soon as the Republican party gained control.
Agreed completely, programming patterns are just like anything else, timing is everything. I thought that ESB pattern was cool in the early 00s, today that pattern has touched off and evolved a robust ecosystem. It’s totally fair to rebrand it as a descendent of ESB, it’s fair to point out the lineage, but ecosystem evolution + pattern refinement is a distinct thing to get excited about.
I can’t tell if by “dying industry” you mean universities or journal databases.
> What’s a good alternative?

Go outside. Read a book. Spend quality time with your family.
Honest question: why do commenters here frequently seem to bear a chip on their shoulder when it comes to institutions of higher learning?
Google Photos is making photos semi-public
I can see this being an extremely valuable tool for preventing identity theft on the site. One of my teachers had been the victim of a scammer who had cloned her profile and was reaching out to everyone on her friend list. When the fake profile was reported, it was taken down very quickly, which I imagine could have been done programmatically with this data on the photos.

There's speculation that FB could infer relationships with this. If you've ever shared memes, you'll know this this is unlikely to be effective.

At the end of the day, in an age of reverse image search and public profiles and commodity facial recognition, what is actually the threat model here? That someone is able to tie an unattributed photo back to the URL it was downloaded from? That if someone downloads your photo without permission (why did you upload it in the first place?) and they share it but don't say where they got it, someone else can potentially find out where it came from?

It's unclear whether this ID even uniquely identifies the uploader or downloader publicly. If it's a random UUID, then what? Facebook doesn't reasonably need it to track you (they could use the hash, face recognition, your session, etc). I honestly can't think of a case that would make this valuable to a malicious third party. Beyond content moderation (and maybe saving some CPU time), I can't see much of a use case for Facebook either.
> scaled to the offense, not the offender

So how big is the offense? 80 million people directly just in the Cambridge Analytica case, plus how many hundreds of millions indirectly through the resulting election hijinks?

Facebook was already sanctioned under the consent decree, and they deliberately and recklessly disclosed user data, and then tried to cover it up.

Scaling to the offense, I'd say that a fine of far less than $100 per user is extremely lenient under these circumstances.

And just wait -- months or years from now we'll learn that Facebook didn't even pay the full $5B, but had a large portion deferred or possibly even structured with bogus "in-kind" payments.
Among other things he is famous for what came to be called Gustafson’s law:

http://www.johngustafson.net/pubs/pub13/amdahl.htm

“Speedup should be measured by scaling the problem to the number of processors, not fixing problem size”
Are we looking at the same thing? It’s definitely a post-fix stack based language. It just also has strong ML-like types.
Best of both worlds: combining quantum and classical hardware
Collecting telemetry against user's will is not a legitimate traffic.
You either die a hero, or live long enough to see yourself become the villain.

- Harvey Dent
Very cool. It was always a bit too safe to be able to see chat go up by 20 and know a 20 ship fleet had entered the zone.
Value Is Dead, Long Live Value
I don't. I dislike tracking, but I am choosing my battles. Tracking won't stop. It will mutate with regulations. We cannot fight it. We need to understand it and educate those who are not technical about it. There are 3 sides to each coin. Yes tracking is bad. Granted. The flip side will be argued that tracking is a part of what pays for all the content we consume and create (advertising). The third side is that there are scenarios where being able to trace back a digital asset might be a good thing. It's not black and white. All i'm saying is that as long as we look at tracking/adverts as a single source of evil without understanding all aspects of it from both sides we'll never achieve anything. If it won't go away, then there has to be a compromise in the middle. We only appear like a lot of people here in our HN bubble. But we are nothing. We are maybe the 1% of internet users. The other 99% don't care, not aware. Our "needs" and whims are insignificant. Maybe because we're loud and appear bigger from a distance when stink is raised it is looked at and inspected. But no matter how loud we'll shout, ads and tracking will stay. So there has to be a compromise. and you as an individual with knowledge have ways to circumvent that tracking and adverts. We know about printer watermarks so a savvy journalist can use a non watermarking printer. We know about facebook image tagging and watermarks - a whistle blower worth his salt can remove them. But that guy who ruined a girl's life by posting some pictures will face consequences because he had no idea about anything. We can't win every battle and nor should we. There has to be balance.
Spending on the homeless in SF was just recently increased to $600,000,000.
Aaaaaannd I just canceled my Netflix subscription. For months I’ve been on the fence (and wasting money) attempting to figure out if it’s actually worth it to me.

Thanks Netflix for making the choice easier.
Steam at least used to include the metacritic score on the storefront page (though never as prominently as their own tomatoes-esque system).
*throes
He was born in Oakland.
The advent of helicopter-hailing apps
If this trend continues, I really expect there to be a massive bidding war for Tesla before too long. When bears/shorts on tesla Complain about Tesla’s market cap, they seem to always forget the fact that Tesla is well ahead of any of these players in terms of both deployed hardware and data collection. This merger and investment brings Argo’s valuation up to you around $8 billion.
Past discussions:

- https://news.ycombinator.com/item?id=20344705
- https://news.ycombinator.com/item?id=20360060
IIRC, 6000 bitcoin would have been worth less than a million dollars when this occurred.
The fact that this guy was acquitted in the first place just points to what an utter joke the legal system and the "thin blue line" can be
This happened in my home town so I’ve been following this story. Let’s just say I’m not surprised. The police in Mesa have always been a problem.

It’s mentioned in past stories that this cop had a track record of hurting people. They also mention briefly that he had customized his weaponry etc. From where I’m sitting it looks like a guy who got into that line of work so he could hurt people without consequence. It makes me very angry and this guy should be in jail. Not taking tax payer money collect a pension.
Fraud and embezzlement are fraudogenic because people often make the choice to continue the game rather than accept a punishment for X, which requires putting a discoverable lie on the record and then increasing the stakes (and the rate at which the shadow liability grows). This causes frauds to often expand until they implode.

This is covered at length in a great book, Lying for Money. Specific examples in Bitcoinland include Mt. Gox, which survived through fraud for 3 years after it needed to wind up, and Bitfinex/Tether, which has not yet collapsed from the billion dollar fraud they are perpetuating.
I think that under the current system most of the rationing is in the form of people who don't have insurance not being able to afford care. Therefore, I think convincing the people who do have health insurance to take on some of the rationing will be a tough sell. Many people in the middle class would probably perceive it as "potentially sacrifice your health for the good of society".
That is the same Christopher Knight that the article talks about.
How does Netflix joining MPAA make them a sell out? Do you mean as a tech company? I'm honestly curious. I think this buys them (literally) legitimacy in Hollywood and enables them to get MPAA to lobby on their behalf. Whether I think it's good or bad is a different case
This reminded me of drafting electric diagrams in plans and elevations. And of course the notions of a 'plan' and and 'elevation' are also front and center.

Why were not graphs embraced by other domains? Plan and elevations by definition are constrained view points. (Hint: for the same reason the highly available and highly consistent flavors of graph databases require paid licenses :)

Graphs make for difficult decomposable 'unit' assemblies. Plans and elevations are 'standard units'. (Again: it may help to think of as plans and elevations as tables and reverse indexes, respectively.)

Note requirements such as e.g. "show directions from one entity to another" are also present for documenting the electrical systems, or HVAC, in a building.

A modular system for representing graphs of arbitrary scale is the minimal and trivial 'one node per modular unit'. The alternative is throwing huge amounts of processing power to allow arbitrary views into a graph at any scale.

IoT, as an 'integrated component' of building systems, will find a very happy place on plans and elevations.
my family loves watching movies.
Sounds like everyone at UC is going to use SciHub now, and most likely won't switch back once access gets restored?

This seems like a self-defeating move on Elsevier's part?

Incidentally, I heard from someone who worked at Elsevier around four years ago that the working environment there was terrible, and she couldn't wait to leave. That doesn't seem surprising.
Compare this to Postgres where the timeouts are implemented on the server-side. Eg. statement_timeout.

https://www.postgresql.org/docs/current/runtime-config-clien...
My guess is programming is one of the rare white-collar jobs where a non-negligible amount of people don't have college degrees. So there's some resentment/contempt/regrets from seeing people who spent massive amounts of money and four years of their lives end up doing the same quality work as highschool drop-outs.
I think if you email a photo on gmail it strips the meta data from the photo.

I had this problem when I was trying to use the meta data to get the orientation.
So where do you think most of their mainstream movie library came from if not MPAA members? Netflix has been giving MPAA money from the beginning of its existence.
Netflix has deep pockets? Have you seen their balance sheet and debt obligations?
> I certainly would never recommend such a thing, myself. If I were paranoid about 3rd party access to my extension to the point I felt I needed to compile by own browser

That's exactly the point, you shouldn't need to compile your own browser to use a private extension!
So like just about every movie you've seen has their logo on it - do you get to the end credits see the MPAA logo and scratch your eyes out and say I just wasted my money!!!!
> Companies are just too risk averse

The risk calculation is: expected cost minus expected reward. The expected reward is astronomical (no pun intended!), so you're simply restating my point: fusion is not likely to work regardless of how much money we throw at it. Amazon's R&D annual budget exceeds $20b. That's one company spending half an ITER a year. The private sector has no problem coming up with those sums for ideas it deems promising. The problem is that industry has decided, quite rationally in my opinion, that fusion power is not one of those ideas.
Shame they didn’t do anything like this in 2008.
I realize that is the prevailing opinion. I think it's wrong. No incumbent out there has has yet made an electric vehicle that can even match Tesla's 2012 model S on range and performance. The electric cars they have come out with are money losers for them. Fiat's CEO famously told people he hoped no one bought the Fiat 500 Electric because the company loses $14,000 on every sale.
Apache Maven Wagon 3.3.3 Released
> After the theft, Montroll transferred some of his own bitcoin holdings to conceal the losses, according to the DOJ’s complaint.
> https://www.cnbc.com/2018/03/05/founder-of-defunct-bitcoin-e...

Perhaps he thought he could just cover it up by using his own funds to cover the losses.

perhaps
Wouldn't the resentment be going the other way then?
Netflix disrupted blockbuster, which is long gone. They aren't different from other producers, except that they also have a proprietary distribution channel.
Well, they've been maintaining access for institutions that cancelled their subscriptions for presumably this reason pretty often already, but as more and more institutions jumped on the train, that's not really tenable: why would others keep paying subscriptions if you're not going to cut off access if they don't?

But of course, if it turns out that access is not that necessary anyway, people will stop paying too. But well, that's the risk if you're not adding that much value. And by now, Elsevier has seen this coming long enough that they've hedged their bets well enough not to be reliant on journal subscriptions alone any more. In fact, I'm sure they'll have considered the past few years in which subscriptions hadn't yet massively been cancelled as being a windfall.
So now instead of supporting the MPAA you are supporting the book publishing industry that has the same goals...