skysight-inc/HackerNews huggingface dataset:
Looking to upgrade an app from 2.3. What is the upgrade path? Can I just go to the latest version? Should I be watching for any regressions? Where would I find breaking changes?
Stop contacting them via email. Start using certified mail. Also talk to a lawyer and have them decide what your certified mail should be communicating.

Don't talk to the company or CFO by phone or in person.
Yeah this was what after 5 years and not saying much other than Russia is corrupt. And if he keeps it up then he may be sent to the US at any point.
After creating a category I still can't select it when creating a product.
> But my objection to rent control has always been that it is wealth distribution by lottery.

There's a lot of luck in how wealth is distributed already.

1. Being born into a wealthy family.

2. Being born into an area with good schools.

3. Being born with good genes that kept you healthy (lower cost of health care)

4. Winning the lottery (powerball or say immigration)

5. Starting 10 startups in the hope that 1 of them will make it big.

6. Funding 10 startups in the hope that 1 of them will be the next unicorn.
Why aren't the batteries hot swappable?
At scale, recruiting is often about marketing. It's about conveying a compelling story that pulls people in.
The article is about research that shows the key isn't sleep.
The SBIR process is based on solicitations. Each solicitation is associated with its own instigators, and there are also a multitude of USGov entities that participate in the program. It's entirely possible for what you experienced to be true and also for other solicitation processes to have been conducted as ethically as one would hope.
1000 times this. One of the other problems with having 'the idea guy' as a partner is that they don't have as much to lose because they haven't actually put and blood and sweat into your startup.

This might result in loss of interest before you actually finish or even derailing the current idea because success isn't happening fast enough.

I've tried to partner with different friends over the years and its unbelievable to me the amount of people that think running a company is essentially coming up with the ideas and having other people execute them for you.

We all shouldn't forget the richest ideas guy: Sean parker.
The theme looks a lot like Solarized dark but with a little more blue. I don't really "get" why I should prefer this theme to any of the many other color themes out there.
Apple and Qualcomm's Billion Dollar Stare Down
While banner blindness has been a thing for some time, this takes it to a new level. Apparently years of "You've won a £50 Amazon Gift Card!" and fake software update bottom-of-the-barrel advertisements have engendered a broader disregard of genuine alert messages than previously understood.

This seems to invite its own study.
The Making of Saudi Arabia's Ruthless Crown Prince
Interestingly enough, programs which generate output always seem to have a "special exception" in their license which disclaims any and all copyrights to the output of the program.

https://www.gnu.org/software/bison/manual/html_node/Conditio...
Any reason you wouldn't use resource groups and db/collections for segregation instead of encoding into the collection name? I believe all of that hirearchy ends up in the resource URI if you really need it encoded there.
Firefox's fascist leadership has previously decided to make sideloading all but impossible to """protect us""". It's clear that it was a plain powerplay.

Here are the official installation instructions for dissenter for firefox

1 Download the extension and unzip it. Find "dissenter_extension_firefox_v015" folder.

2 Go to about:addons in the URL bar.

3 Find the small gear icon within the Addons page. Click it the gear button. Find "Debug Add-ons" from the dropdown menu. Select that option in order to navigate to this page: about:debugging#addons.

4 Click on the "Load Temporary Add-on..." button in the top right of the extensions page.

5 After clicking "Load Temporary Add-on...", the file opener opens, select the extension's manifest.json file within the "dissenter_extension_chrome_v015" folder, then click "Open".
I've seen research tools to extract "real programs" from TLA+. But on the whole not having synthesis as your default case has two major advantages:

1. You can choose the level of modeling, so you can quickly spec out the high level and find bugs in that before moving on to the low level (if you want)
2. It doesn't tie you to an implementation language. So you can use it even if you're implementing in COBOL, JavaScript, or Brainfuck.

Of course extraction has its own benefits. Coq is a pretty cool tool :)
This is America!

That intern got a good recommendation!
> No where other than this conversation have I ever seen someone claim that going to someone else's land and taking doing what I want is sovereignty.

I've seen it elsewhere on this site (I think from rayiner?).

It's plausible that it's actually used that way in some contexts (legal, maybe?), but I agree that's not what most people think of. The whole concept of "violation of sovereignty" would seem to rely on there being some limits to what countries can do to each other. If it's simply a matter of "what a country has the power to do" - otherwise sovereignty could not be violated, only demonstrated lacking.
Compiler developers do care about the C language. They just care about it as it's actually used. In real-world C, people write "for (int i = 0; i < array->length; i++)". The Linux kernel might not, but that's a choice the Linux kernel developers have made. Lots of C code uses different idioms from the Linux kernel, and users expect that code to run fast. Slowing down that code out of a notion of language purity (especially when "Friendly C" isn't even defined) does a disservice to users.

I can't speak for anyone but me, but I read the opposition to doing these kinds of optimizations in that Gist as preferring compiler warnings to suggest users use size_t when appropriate. This would be great, but I'm skeptical that, for example, Linux distros would be happy about that. Most Linux distributions consist of packages of vast amounts of unmaintained or mostly unmaintained C code. There simply isn't the manpower available to fix all that code to be properly 64-bit optimized (which is in fact why int is 32 bits on x86-64 Linux in the first place).
Implementation defined behavior isn't actually any easier to reason about. Compilers are free to choose "assumes this never happens" as their behavior, as there is no limit on what can happen. This is different from implementation defined value or unspecified behavior (which generally has a list of options).
> I think that in computer science in general and formal methods in particular, temporal logic is more well known than all other modal logics combined (and probably more than even the name or concept of modal logic).

Man it'd be super fun to write an overview essay on all the kinds of modal logic used in CS that _aren't_ temporal logic.
With both this article and the propranolol one, it sure seems that resting (both short breaks and full sleeps) really help a lot.

Wonder why every CEO's boasting 4 hour nightly sleeping schedules?
It was only a matter of time!

I imagine using a standard text field and then hiding it using css probably works much better than setting a type=“hidden” field. I also usually use something like name=“phone” and then just naming the actual phone field something else, if needed.
The actual title is: 1,060-hour image of the Large Magellanic Cloud (LMC) captured by Amateur Astronomers

It should probably be changed to a shortened form of that.
an effect I've noticed on this forum is that people come out against something just for the sake of making an argument. I've done it. so to get a gauge on a true measure of sentiment you need to correct for that effect. my guess is about 80% of the negative bluster is argument based and not sentiment based. meaning that if you could measure the same people's true feelings on the matter in another context when removed from the motivation to argue I think you'd see at least 80% reduction in negative sentiment on any topic. the medium of this forum is just polarizing but don't be swayed by that. The truth is much closer to the center on many issues I think.
Wasn’t that guy Correa’s (prev prez) Vice President as well as anointed successor? Did they have a falling out of some sort?
I'd love to print this on 15 foot wide wallpaper for the kids bedroom.
I would love to see a version of this with the "noise" of the stars cleaned up and the brightness/saturation of the clouds increased.
Launches are very often cancelled due to weather, and launch windows are usually limited due to the physical location of the launch pad.

Stratolaunch solves both those problems.
An important advantage of this grain is that there is no temptation to douse it with Roundup two weeks before harvest so it dries on the stalk. Unlike (e.g.) oats and chickpeas, for which things made of organic flour are increasingly hard to find.

The Roundup is not rinsed off, because the whole point was to cheapen drying it. So it is ground right into the flour.
Full image http://www.cielaustral.com/galerie/photo95.htm?fbclid=IwAR3G.... (Linked in article) Really incredible.
Which is worse, this or Google's hamburger disaster?

https://www.theverge.com/2017/10/30/16569346/burgergate-emoj...
Yup. That's what I learned first. Mycin being the first, success story I read about.

https://en.wikipedia.org/wiki/Mycin

I tried some quick DuckDuckGo-ing to see if anything new turned up. Drowned out by unrelated stuff. I did find what looks like a great, quick overview of expert systems for folks unfamiliar with them. Might be new, default link I share about how they historically were perceived. What you think of this one?

https://www.tutorialspoint.com/artificial_intelligence/artif...
Seems like the crow is "just" solving the problems independently (with which it has previous experience), rather than thinking multiple steps ahead.
Who should have affordable and predictable rent? Everybody? We're not getting that from rent control, because it only applies to a subset.

Those who need it? We're not getting that from rent control, either, because many people suffer from high rent who don't have a rent-controlled apartment. Some of this may be due to those who don't need it getting it, but I suspect the numbers of such cases aren't enough to account for all those who need it who don't get it.

> someone occupying an apartment at a low margin is only really a problem if we can't produce more apartments, or more opportunities, at the same price.

That's exactly the problem with rent control. Let's say that there are a shortage of apartments for $100/month in NYC. Who is going to try to build more apartments in NYC for $100/month? Anybody who tries is going to lose their shirt. We can't produce them at that price. Rent control doesn't make that problem go away.
The word "objective" is problematic here. Normally people mean by this term "explainable by some quantitative criteria". In the case of AI this is technically true, but seems to lack substance. the workings of a neural networks for facial recognition could be decomposed to some god-awful switch statement involving all the pixels of the input picture (after all, this is exactly the structure of the resultant machine instructions), but how would one go about justifying any of the individual branches of such a structure? In other words, could you comment the code? I'm not 100% disagreeing with you, I just think it is problematic to call a statistical process "objective".
Don't really like the way the US has conducted themselves, particularly with healthcare, and I have a family which makes things more complicated.
Luckily for the rest of us the new airport should be ready by 2012.
I love this, whether the conclusions are valid or not, using science to troll big tech where they live. ouch, right in the feels.
As a player, having the same iconography in each game sounds terrible and would result in an almost clinical experience.
Everything to Know About Anthos – Google's First Enterprise Data Center Offering
When talking about brain power like this, I don't often see people mention the costs of simply driving a more complicated body. Birds are physically simpler than humans (no hands, fairly simple feet/legs) so maybe they just spend less overhead on motor skills and associated control?
You might be a little quick with your cavalier dismissal.

https://www.businessinsider.com/miami-floods-sea-level-rise-...

Miami is already being impacted by sea level rise. It is not ridiculous, at all, to think that in <30 years areas of Miami will be uninsurable, and therefore unmortgageable, and the water supply for the entire area will be threatened.
I'm confused, were they not monitoring for wash sales even within Wealthfront controlled accounts? I can see it happening if you had external accounts (and I think usually these kinds of services warn you against that) but within Wealthfront itself is pretty weird.
> Television stations are responsible for what is televised

This is news to me.
Hi, I am from Azure Cosmos DB Engineering Team.

Please feel free to send us the details of your workload that suffered from poor performance to AskCosmosDB@microsoft.com (it is a direct way to reach the engineering team and it does not cost anything), and we can help determine why and provide with the recommendations.

For best practices and performance optimizations, the following links will help:

https://docs.microsoft.com/en-us/azure/cosmos-db/sql-api-que...

https://docs.microsoft.com/en-us/azure/cosmos-db/performance...

https://docs.microsoft.com/en-us/azure/cosmos-db/performance...

https://docs.microsoft.com/en-us/azure/cosmos-db/performance...

Also, the following conceptual docs will help:

https://docs.microsoft.com/en-us/azure/cosmos-db/partitionin...

https://docs.microsoft.com/en-us/azure/cosmos-db/partition-d...

https://docs.microsoft.com/en-us/azure/cosmos-db/request-uni...

We are doing a full refresh of our docs (rewriting a lot of the older content and adding new technical content). We welcome feedback on how we can make the docs better and invite everyone to contribute via public PR/Github. If there are any topics that are missing in our docs or are not easily discoverable, please let us know. We will make sure to address it.

We are committed to building a great community. As a relatively young database, we have ton of work ahead, but we are super committed to making sure we make developers successful.
Assuming you’re talking about Florida car-under-semi and California car-into-divider (the only Tesla fatalities that come to mind) I think you have an incorrect understanding of those incidents. Those were not cruise control and both were driver error.
It seems so :

"(Moreno) He was nominated as the candidate for Correa's PAIS Alliance, a center-left, democratic socialist[1] political party, in the 2017 presidential election and won a narrow victory in Ecuador's second round of voting on 2 April 2017.[2] However, after his election Moreno radically shifted his political stance, breaking with Correa's legacy and making radical changes to both internal and foreign policy.

...

Within months of winning the election, Moreno started moving away from his election platform,[18] thus igniting a feud with ex-president Rafael Correa.

Later that same year, through a referendum,[19] Moreno reversed several key pieces of legislation, passed by the Correa administration, that targeted wealthy individuals and banks, reversed a previous referendum allowing indefinite re-election, thereby blocking future electoral bids by Correa, and established the Consejo de Participación Ciudadana y Control Social [es] (CPCCS-T), which has supra-constitutional powers,[20] to "evaluate control authorities and judges", with the aim of removing what remains of Correa's influence."

https://en.wikipedia.org/wiki/Len%C3%ADn_Moreno
hundreds of years? No, by 2050 Miami will be uninhabitable. (https://www.miaminewtimes.com/news/united-nations-climate-re...) Rate of sea level rise is accelerating. (https://climate.nasa.gov/news/2680/new-study-finds-sea-level...) It is not a linear growth curve. Miami is a city scale game of musical chairs. The question is who will be left holding the land when there are no buyers?
Beyond the very real intersectional problems highlighted . . .

The fact that the Amazon gender classifier miss-identifies 7% of white females as male, but 0% of white males as female is very odd. That seems like a JV level bias tuning mistake. That's not systemic violence so much as it is just sloppy.
Ask HN: What do you use to find non-tech news?
It is, but they are not full spectrum dependent types, as far as I know. ATS doesn't have a Rust-style region system either, as far as I'm aware. It's very cool though, and quite inspiring, if a little unfriendly UX wise! :)
Thanks for your thoughtful reply. I assumed that steve19 probably doesn't understand what "trolling" means, but didn't think it would be useful to debate it.

I think we need to make a distinction between Hitler's personal religion, which although he was raised a Christian, was some crazy amalgam that he mixed up himself, and the faith of essentially every SS member and ordinary German citizen who closed their eyes to the brutality visited upon the Jewish minority: they were all Christians. Hitler may not have remained, personally, a Christian, but the Holocaust was only possible because of the way that Christians were trained to think about Jews. In my own lifetime, in the United States, I've heard Christians seethe with hatred against the "Christ killers"; imagine 1930s Germany. Martin Luther, the founder of German protestantism, wrote obsessively about how vile and filthy the Jews were, that their synagogues should be burned, their property seized, and even that they should be slaughtered. The Holocaust was a systematic, literal prosecution of Luther's program for the Jews. Hitler and the top Nazi officials frequently quoted Luther, and Hitler admired him in his autobiography. If the Nazi movement and the Holocaust were not Christian, why were the Jews, then, in particular, the targets?
You say that as if Miami's current popularity will preserve through global climate change. I don't think Miami can "defend" against the earth's inevitable climate change for better or worse.
EdTech: People You Have
Depends on what you mean by "actual transaction". Every TLA+ behavior is describable as a series of "next-states", where _usually_ (not always, but _usually_) one action is true. In which case you'd model the transaction by determining the changes that the overall transaction makes and then declaring them all as part of a single action.
The Legend Of Jacinto’s Gold
"Look carefully at the URL" has never been a legitimate solution for phishing. And it's completely unfair to use it as a way to blame users.
Anecdotally found this to be totally true, particularly with muscle-memory. I’m currently learning to play the drums, and I could be beating my head against a wall trying to get a certain fill down over and over with no success, but the moment I get up and take a walk around the room, I sit back down and nail it!
Nice annotated map on Wikipedia. https://en.wikipedia.org/wiki/Large_Magellanic_Cloud#/media/...
This is easy peasy elementary stuff my friends: two wrongs don't make a right.

And, yes, I personally do speak out when CEOs and such take credit. [The Google Android project head is one example from recent memory].
Are print shops responsible for the leaflets printed in them? Are phone companies responsible for the content of the conversations that take place over their lines?
I agree.

It was crabbed a few degrees to its left while aligned with the runway (3:24 - 3:33 in GP's video). That would indicate crosswind from the aircraft's left.
> The if statement compiled to 3 important instructions, mov, cmp and jg. Mov will load some memory into a register, cmp will compare two registers and set another based off the result and jg will do a conditional jump based off the value of another register.

Interesting puzzle. Is it possible that asking the compiler to make this jump likely or unlikely (GCC's __builtin_expect) to be taken might help?
sure, but I don't think that's her intention. she's just refitting an old already polarizing topic as a vehicle to troll big tech. polarizing topics like these are like performance-enhancers for messaging if you can weave them into your narrative.
I have a habit of continuing to drink when I have a glass of water in my mind. It refreshes my mind. So everytime I pick up the bottle, I drink nearly half of it just because it completely refreshes me.

So, its not really sipping but massive gulps every 10/20 mins or so.
Television and radio are heavily regulated in part because there is limited spectrum set aside for broadcasts. Television, radio, and newspapers exert a great amount of editorial control.

Common carrier is a great model for this. AT&T isn't responsible for the content of phone calls, and they also don't exert any editorial control over them. Many popular platforms are kind of trying to be free to do whatever, but also exert editorial control, which seems untenable.

Disclaimer: i work for a silicon valley company; opinions are mine, not my employers.
Teaching Tech Together
That would be Cobalt2 which is another fantastic blue-based theme :)
> There's a lot of luck in how wealth is distributed already.

I totally agree (all of your examples are good). But how do we improve the situation by also making regulatory policy luck based?

If Social Security worked by giving large pensions randomly to 1 out of every 100 enrollees, and leaving the other 99 with nothing, that might better reflect how wealth is already distributed, but I would argue it is a horrible idea.

I would argue that regulatory policy should attempt to smooth out the distribution of wealth, not make it more erratic.
This was made with 3936 photos taken between July 2017 and January 2019, each of up to 20 min long, looking at several parts of the spectrum. Amazing!
The Unix Heritage Society has a fun wiki where they delve into some older code bases: https://wiki.tuhs.org/doku.php

Here's a paper of theirs where they dig into a 'first edition Unix': https://www.tuhs.org/Archive/Documentation/Papers/1eUnix_cre...
if you want to get into software development, just go to any so called "boot-camp" class for few couple months.

Then you know how to write some webpages with new shiny JS framework, congrats you are a "qualified" software guy. Now go to write those sh*ty code ............

Math? what math?
CS background? algorithm? if you are not going to challenge FAAG why bothered?

if you just want to code few pages, writing some sql query, there is no need for that. and for 80% of enterprises, they need only CHEAP engineers.

sorry for the rant, just another morning with lots of idiots bothered me.
Potential cultural impact of extraterrestrial contact
Corporate propagandists may not be the very lowest of the low, but they're certainly in unflattering company.
I think your last line is spot on. He's 2 now, so it's not so bad. By the time he is 5 or 6, he'll be on the tablet from dawn to dusk if you allow it. I use Screen Time on our kids' iPads to keep the usage down (1.5 hours a day max) and apps under control, and it is still a bit of a battle. We also blocked youtube altogether unless mom or dad are in the room to supervise, because while they haven't watched anything overtly inappropriate, they've watched a few things that set off my internal warning bells without me being able to say exactly what is wrong, just that it's off somehow, in an uncomfortable way. Good luck with your parenting, it's a big PITA as you well know :)