skysight-inc/HackerNews huggingface dataset:
That drone is basically an ultra-light aircraft, able to carry the weight of one or two (slim) adult humans.

Vertical takeoff and landing may be overkill for that use case. They could probably get away with Ardupilot and just crash the drone...

Fortunately, most people who are able to build such a drone (I think many drone-hobbyists could) are smart enough not to go into drug smuggling.
Isn't the "benchmark" for typical propagators arc consistency?

I'm not too familiar with many kinds of constraints. But the constraints I am familiar with such as "Global Cardinality Constraint" (which is a generalization upon all_different) reaches arc-consistency after a basic "maximal flow" algorithm is applied to it.

Indeed: proving that the maximum-flow algorithm over global-cardinality-constraint (aka all_different) reaches arc-consistency proves that you can reach arc-consistency over the whole problem set by iterating over the fixed point.

-------

In effect, we quickly learn to reach arc-consistency using a different algorithm (ex: maximum flow) over the "all_different(x1, …, xn)".

You're right in that "arc-consistency classic" is not being done here. But the effect is the same. Maximum-flow(all_different(x1, x2... xn)) will lead to arc-consistency with the all_different constraint.

Now that you're "locally arc-consistent", you iterate over "a+b<=c" and make that constraint arc-consistent. If the domains are restricted again, you run the maximum-flow algorithm over all_different(x1, x2... xn) and achieve arc-consistency again. (Bonus points: the "last time" you ran maximum_flow is still relevant and serves to accelerate the 2nd run of the maximum_flow problem. That residual graph is still correct!! You just need to slightly update it given the new restrictions on the domains)

-------

In case you're curious: the all_different constraint being arc-consistent with maximum flow is pretty fun to think about. All variables are on one-side of a bipartite graph, while all assignments are on the 2nd side of a bipartite graph. Connect all variables to assigments that match their domains.

Connect a "super-source" to all variables, and "super-sink" to all values. Super-sink has a value of "1" for each connection to each variable (aka: each variable can only be assigned once).

Solve for maximum flow from super-source to the super-sink. Now that you have one particular maximum-flow (a possible assignment), it is possible to determine all other assignments by iterating the possibilities where the flow goes but remains maximum.
The technical solution is having very available, very believable lies. Something where you can "reveal" false secrets that decrypt to believable data by your attacker.

This is generally hard. Because you gotta know, at the time of being tortured, which fake secret will give believable results.
+56% vs the S&P's +36%. This does not look "suspicious", from a purely statistical point of view.
Somebody is leaking my database on a forum, what can I do?
The Salt Lake in Salt Lake City won't even exist in a few years. I think it's lost 50% of it's volume in the last 20 years.
My apologies. "The solutions are untenable and no amount of realistic effort would enable their implementation." would've been a more accurate statement.
Monorepo tooling (as opposed to a big repo with a bunch of stuff tossed into it) generally provide access controls.

Also remember that non DVCS repos generally have find-grained access controls.
Machine Learning Breakthrough Uses Satellite Images to Improve Lives
Yeah, here's another example: https://www.theguardian.com/us-news/2015/jan/13/fbi-informan...
report them
DMV in WA is fine, more private companies should run that way.

It doesn't matter, as it seems you'll just keep throwing three letter agencies at the wall until something sticks.
I think you're stopping your analysis too early. Having open or purchasable access to fine grained location data able to be cross-references with large, comprehensive datasets with no expectation of privacy or discretion is a problem.

The Grindr thing is simply a symptom.
AWS benefits heavily from a rich foss ecosystem, but foss systems also makes it easier for users to migrate to similar platforms. If they were to disrupt the foss ecosystem enough, do we enter a world of heavy reliance on proprietary cloud-based systems?

If you were intending to create a profitable business, and really wanted your product to be foss, and Amazon might just fork your project, honestly, what are your options? I'm honestly curious, it seems like such a difficult situation
Can you share the pdf? Thanks.
Thanks! Yeah, it was an extremely rude awakening, and I've lost months of logs of conversations that I thought were securely in my possession. From my point of view, if there's anything the server that can do that will cause my client to delete data, that's a security hole in the client that should be fixed—I want to run a client that is a user agent, serving my interests as a user, not a server agent, acting on behalf of the server. It seems like the authors of the spec had the opposite perspective on this?

Of course a DHTML web page is a server agent; it's just a convenient way for the server to get better responsiveness and resilience against network failures. It relies on the server completely for its integrity—the server can inject whatever code it wants. So the server-agent mindset is understandable for a team that started out developing a DHTML web page. But a phone or desktop app doesn't have to work that way; it can protect the user from malicious servers. And, I think, it should.
Presuming the wire-protocol specification contains things like schemas for Protobuf/Avro/etc. data formats (the kind of formats where most compiled-language libraries for them do compile-time code-generation against the schema to create efficient codec modules), it would be very hard to make a conforming implementation that doesn't breach copyright by embedding those schemas byte-for-byte.
I really wish it supported keyboard rebinding. I really wish this. I would happily pay for it, over and over again, but the tab key behaviour when editing structured text is just ... wrong.
Netflix’s Masters of the Universe: Revelation review: a new future
Talk about sending people to Mars...
I'll have what she's having.
network weighta are BOTH output of the network and input.

That's the feedback loop of a neural net.

The fuzzy part is if it counts as source code. for example, you can redistribute gpl code with additional proprietary data files for art.
SoftBank-backed VTEX reveals revenue surge in filing for U.S. IPO
And 87% over 15 years fail to beat the s&p500. With a >10yr investment horizon 100% in VTSAX is the way to go IMO. Then just calculate your budget and start to sell into treasury bonds at the 10 year mark based on how much money is needed.

They should probably teach FIRE in high school, but of course not you got to keep everyone enslaved to debt and learning about ancient history.
That is something that people should look at, but Agriculture and industry are the main users.
We grow crops in the desert because there is so much sun there that the crops grow faster and to a higher consistent quality, and because there is much fewer pests that damage the plants.
It's not silly. I'm sitting in a coastal tech city but with a remote job for cultural reasons, and looking at what's next after this lease and long term.

I'm not sure how I want to balance the pragmatism I can execute on with this mobility to move to somewhere tolerable in the midwest (MN comes to mind), vs. a common nihilistic trend that warming will affect everyone*, might as well live where I want to live (not MN comes to mind).

I worry we're experiencing "gradually then suddenly" trend with climate developments, but I have difficulty placing if it's a me-concern, or grandkids concern.
I haven't asked A., but as I said, I suspect she was reinstalling the server from scratch, and hadn't yet gotten to the part where she restored the database from backups. So all login attempts were failing. I didn't yet realize there was a server problem, myself. I thought Element on my phone was failing and that I was misremembering the password when I tried to log in from the browser.

Generally, though, regardless of how it happened, from my perspective it's a security vulnerability if there's anything the server can send that will wipe data from the client. So the spec doesn't seem reasonable to me. I want to use a client that keeps my data safe from server malfunctions, whether accidental or intentional.
They're about to blame China based on faked intelligence, so they're hiding the real stuff. In another month or so Biden will present some kind of Iraq War WMD stuff based on his claimed 90 day deadline.
You can trade options with just a couple of bucks or on margin. You don't need a bunch of cash. I've done it on Robinhood and bought some calls for a few hundred bucks.
We use mongodb in my current clients cloud product. I agree mongo sucks big time. It has nothing to offer for our relational data (sql please) or for our little search index (elastic, or postgres please). Except for the database, the rest of our architecture is quite alright.

What i do not agree on is that their atlas product is bad. It has a very nice and helpful dashboard. Atlas is quite solid when used from google cloud (downtime/slow performance just once in 2 years) and their consultant was very helpful. Not really fast response times, but it was not urgent. Also their offering is not super expensive, but we only have 50-100gb of data. Consultancy was good value for money.

Dont give atlas money because you probably want a relational database for relational data and use elastic (or postgres if small scale) for search or statistics. Mongodb also sucks with scaling, it suffers from the same issues as normal databases, except that they dont call it a problem. Which means, you, the developer should fix it. It also sucks with scaling, because expertise on using mongo is scarce.

Almost done at this client. Learned a lot about mongo. Would never recommend it to another client. Would recommend running managed sql databases by a cloud provider if their offering was as good as atlas.
Ask HN: Is DevOps still the highest paying sector of CS?
I remember for years sysadmin was the highest paying sector within CS jobs. That has now shifted to devops related stuff. With the huge interest in devops, Kubernetes, and cloud platforms, do you think the flood of people in that area will drive down the salary ranges and in what timeframe? The next three years, five years, or has it already happened and I’m late on the pickup?
The choice is pretty clear to me. We need a national water grid. Desalinization is great and a piece of the puzzle, but we need a way to distribute water across the country. It could also be leveraged as an energy storage device if we continue to add more reservoirs at various elevations. It's not going to be cheap or easy, but we'd be stupid not to start on it now. The climate changes, and we need to plan for it.

Places in the west have historically, long before humans started increasing carbon dioxide, seen extended droughts lasting tens or hundreds of years. Human driven climate change could exacerbate this issue. If we want to be a people that lasts thousands of years we need to plan for events that happen in a thousand years.
Wrong science fiction reference, it should be The Minority Report.

Would your prediction cause it? avoid it? It was really about to happen? If you are "testing" it, stopping the people that is about to do it would mess with the test? And not stopping them would count as unintentional murder?

My objections are not about suicides, but about predictions in general and predictions that can affect human lives in particular.
>You are suggesting that we hold him to a different standard than everyone else and give him the benefit of the doubt.

The opposite. I am suggesting we allow people to evolve over time. If someone demonstrates that the person they are today is different than the person they were 30 years ago, I think we should be more willing to forgive those 30 year old beliefs. If the person shows no indication of change, I am fine with them being made to account for those old beliefs.

>Other people have had their careers ruined for far, far less, while Jones gets a television gig and $100M for his troubles.

You are insinuating that Jones can just pocket the $100m which almost certainly isn't happening and is probably illegal depending on how all the paperwork is being done on this.
You can easily try it yourself [1]:

conda create -n intel -c intel intel::intelpython3_core

Or [2]:

docker pull intelpython/intelpython3_core

Note that it is quite bloated but includes many high-quality libraries.

You can think of it as a recompilation in addition to a collection of patches to make use of their proprietary libraries.

Other useful links to reduce the noise in this thread: [3], [4], [5], [6].

[1] https://software.intel.com/content/www/us/en/develop/article...

[2] https://software.intel.com/content/www/us/en/develop/article...

[3] https://www.nersc.gov/assets/Uploads/IntelPython-NERSC.pdf

[4] https://hub.docker.com/u/intelpython

[5] https://anaconda.org/intel

[6] https://github.com/IntelPython
This reminds me of how the glaciers were supposed to be gone by 2020[1].

[1] https://lidblog.com/national-park-service-glaciers/
We recently helped a small client of ours discover a cost increase where AWS RETROACTIVELY increased their costs for a service near the end of the month for previous days without letting them know.

We were a bit shocked to see this happen and it was a very subtle increase that was sort of hidden in Cost Explorer unless you spent hours digging into it and comparing your past invoices.

(I'm a co-founder of CloudForecast)
This easy solution is already being found by businesses everywhere.

https://www.businessinsider.com/ice-cream-shop-doubles-minim...
The treaty mentioned:

https://www.gsgp.org/media/nvzkrpyv/great_lakes-st_lawrence_...
Unless politicians outperform the market in general…

Oops. They do.
The current plan is to get rid of that piece of paper by the same time next year.
No worries, not too harsh. You are right in general, it's too huge a group. However, I still think it's right that the most poignant and relevant criticism comes from developers and people that work in the core of IT. The CCC was really a prime example of that, or just take Snowden.
coding can be slightly more comfortabale with ST depending on its plugins, for instance Julia is a treat given that VS Code can't be silenced to ST-standards [code-sensing-wise : eg ZenMode under Win may only work full-screen; attempting to switch off all code-sensing won't work, always something 'popping-in' when moving abouts in the editor -- that's how M$ is : either overdoing it and not getting the most basic things right or getting part of it right w/out providing options users desperately ask for : they decide what's best pratise for users and that >feel< is exactly not the sort of feel both, ST and BBEdit transpire]

besides, BBEdit can be incredibly fast when it comes to larger files, sorting and in particular regex-search

[never ever employed any Mac w/out ST, BBEdit, FileBuddy and DiskWarrior; HexEdit and few other free utilities, and one could get work done quite efficiently]
PolyPizza
Dook created a replacement for Google's ill-fated Poly. Focused on creative commons assets and better search capabilities.
The more projects you touch, the more approvals you need and the more tests you need to run. Some tests take a long time to run and some are flaky. And the longer to takes to do all this, the more likely there is to be a merge conflict due to other people’s commits.

If you divide it up, most commits will land quickly and without issue, and then you can deal with the rest.
It is a difference in both kind and degree.

In kind: my income is not the direct result of creating the conditions that cause others to rely on GiveWell.

In degree: sometimes the degree matters, and Bezos is a prime example of that[0]. If I give up 1% of my accumulated wealth to alleviate $1000 of suffering, that helps a small number of people and affects my lifestyle not terribly much. If Jeff Bezos gives up the same percentage of his accumulated wealth, that helps many, many, many more people and affects his lifestyle even less. The degree absolutely matters.

Among the people that could be helped dramatically would be Amazon warehouse employees.

0. https://mkorostoff.github.io/1-pixel-wealth/
You missed another sibling: Pseudo Boolean Programming
> 82% of Utah water goes to farmers.

Of the remaining 18%,

~ 8% goes to commercial/industrial use

~ 10% goes to municipal residential use (outdoor: 6%, indoor: 4%) [1]

[1] https://le.utah.gov/interim/2012/pdf/00002706.pdf
You seem to be confusing make per year, and total net worth, unless you are suggesting that at 260 million net worth he would have had to make at least 10 million a year or some such.
Well, ok, some people are casting doubts on the 150kg payload...
Nancy Pelosi is as dirty as they come. Of course she will use any advantage she can to gain wealth and power. Why this is allowed is beyond me. Martha Stewart spent time in prison for doing much less.
She is a professor at a state college. The state is obligated to follow the law, including the First Amendment to the United States Constitution, declaring that "Congress shall make now law... abridging the freedom of speech." Yes, this is incorporated against the states. Yes, it applies to state-run colleges. The firing MAY be legal if this speech is "disruptive" to the university or "subversive" of their goals; if so, the firing must satisfy a balancing test as to whether:

• the employee's speech addresses a matter of public concern.

• their free-speech interests outweigh their
employer’s efficiency interests.

The comments do seem to be on a matter of public concern, which is typically interpreted quite broadly. The criteria used to assess these efficiency interests include whether the speech:

• Impairs discipline or harmony among co-workers.

• Has a detrimental impact on close working relationships for which personal loyalty and confidence are necessary

• Interferes with the normal operation of the employer’s business.

Any litigation over this firing would focus on whether these are real factors that would disrupt teaching, or whether the university officials are just punishing her for her politics. The specific tweets are presumably not directed against any individuals who are at the college, and do not involve the college's normal operations. This does undermine the case somewhat.
The US exports massive amounts of water in the form of hay and alfalfa.[0] This practice may not survive once the reservoirs completely dry out.

[0]https://alfalfa.ucdavis.edu/+symposium/proceedings/2019/Arti...
Water supply and runoff efficiency has been quite stable over the past 50 years, according to charts in that article. The main factor in shrinking is that our water usage has ramped up dramatically as population and agriculture demands grow.

One approach might be to implement surcharges associated with water from these reservoirs, to reduce economic viability of overuse, and create incentives to enable other sources of water.
Does one have to adopt every ideal of something when founding an organization? Would that not be the point of discussing those theories? What do we like? Dislike? Want to modify/mold to fit our current system?

But given your tone, and responses to other commenters, I am 100% certain that your feet are dug in and you aren't actually open to being swayed. So, enjoy your day! :)
>As of C++ 20, there are coroutines which you should be looking at (IMO).

Ha! Maybe in 20 years. Sadly, I'm still writing new code targeting C++98 on one project. The most current project I'm a part of is on C++11.
yup, there is none. I guess just use your desktop's sound controls
Does anyone have educated views on desalinization tech? That seems to be the few ways out of this that's totally within our control. I imagine we'll rob Peter to pay Paul with it via extincting a bunch fish we didn't mean to in desal turbines or something unexpected like that, but that aside..
If the courts enforce this then this is basically death to adversarial interoperability.
14- Basic plotting in R Programming
Which purchase?
> Are you referring to incompleteness theorem?

No, I’m referring to the fundamental nature of a priori reasoning from axioms as distinct from empirical exploration of reality. Mathematics is itself the first, though it becomes useful in connection with the second.
No. The Great Lakes are not leaving the Great Lakes area. Ever.
Uber, Lyft drivers strike in Los Angeles
> There are places in the south now that need water to be delivered by trucks due to shortages. At some point it is going to be pointless to live there and housing market in those areas will collapse.

Why do you think that? They are clearly fine with the most expensive option already.

> Coastal areas will be flooded due to increasing sea levels.

No, some coastal areas will have problems with this where the inland has very little elevation gain (e.g. Florida). A house in the South Bay Area alternatively has a lower flood risk than anything near the Great Lakes (just because of the precipitation received on the eastern half of the US).

> Places with little to no rain will experience more extreme fires(happening now).

Some will. It depends on the ecology. Many of these places on fire have fire as part of biological cycle (I.e. the California forests) so if you weren’t ready for that risk you were screwed regardless of climate change.

> I'm sure Midwest will also experience more severe weather but you can make it work, living under water or without water is impossible.

And neither of those things will be feasible outcomes for those of us in the West.

Unless you’re a farmer, living near the Great Lakes for water security is pretty stupid. You have a higher chance of being killed by a tornado or a lightning strike than there being a water shortage that makes the west unlivable.

Israel desalinates ocean water and a fuckload of people still live there.
> If we die we want people to accept it. We are in a risky business, and we hope that if anything happens to us, it will not delay the program. The conquest of space is worth the risk of life.

--- Gus Grissom

I always find this quote relevant in any thread about Grissom's accomplishments because he was involved in this incident 6-7 years prior to saying it. He honestly believed that the risks were worthwhile, and he wasn't afraid to be the guinea pig to stand by that belief.
> it's a guess and can never be anything but a guess

Of course it's a guess. The question is how to make more accurate guesses.
Not all ILP can be converted to SAT, unbounded integers can not be processed in one SAT problem without Infinite formulas
If given the choice I'd rather pay zero income tax than vote, which is how it was 250 years ago, given the number of people that don't vote I'm probably a majority.
I feel like the article didn't deliver on its promise. The author never got to try out the device that's supposed to predict suicide. I was most curious about that because I find myself skeptical such a thing could work.
The Moroccan hash is not intended for Spain, but for the whole of the EU ( NL in particular ).
To me it comes down to Adam Smith, Wealth of Nations, and specialization. We live in a market economy where you trade one form of specialized goods and services for another; this being a most extreme example so still impressive. But I hear what you’re saying for sure. The relative value of all such specializations should weighed by the time commitment and expertise required for mastery and that experience measured on its own merits.