skysight-inc/HackerNews huggingface dataset:
How silly of them to fail to account for the Chinese being a bunch of thieves.
I think the beef is with the idea that police have a trusted role in society, that is incompatible with being "goons for hire"
Oh, noted, my bad. Yeah, that's not the read I got from the website, but I appreciate the correction. Definitely aware of those resources now though!
> I wonder if that makes Slack a more likely acquisition target.

M&A guy here. Sure, this is nice, but the answer is pretty much no.
Your program may be able to formally prove that the code corresponds to the TLA+. It may be able to generate tests to show that the code does what the TLA+ says it should do. But a program can't prove that the TLA+ is correct[1]. The most it could prove is that it is not self-inconsistent.

So now you move from debugging the production code to debugging the TLA+. That's still an improvement.

[1] Unless you take the TLA+ code to be the definition of "correct". That's a possible position, but I don't adhere to it. It seems to me more reasonable to be able to say that the spec is wrong if it doesn't correspond to what is actually needed, and the TLA+ is wrong if it doesn't accurately encode the spec. (For example, the MCAS software did exactly what the spec said. But the spec was wrong.)
Not true.

Most successful people come from successful families. They sought comfort for the basics so they didn’t have to worry about the game.

Hard work is necessary for a lot, but it’s usually a low-cost-of-failure work. Failing at a startup usually means getting a well paid job.
If we're going to talk about the formality of methods, let's remember that "collection of positive anecdotes with back-of-envelope guesstimates" is not what's meant by a "business case".

An ROI or IRR calculation might not have anything like the elegance of a proof, but it's a method and it's formalised.
I mostly write stuff for others, and they do what they want with it. Or for GitHub.

But my own stuff only goes on Tor onion sites. So it's strict HTML, because Tor's latency punishes client-server dialog. And also because people will hate on you for scripts.

Also, I thought that this might be about WebGUIs. Such as the pfSense WebGUI, which still amazes me in its depth and usability. Or indeed, that you can route the WebGUI of a remote pfSense VM as a Tor onion service, and manage it just as easily as the box in the closet.
This probably helps: "Several companies have even benefited from the widely-accepted Japanese practice of adopting adult male workers into the family bloodline to ensure an unbroken succession for the business"
Average person though, no? Im not sure even half the people in the 97th percentile having one watch or piece of jewelry worth $50K.
Show HN: A Simple Rpn Calc
Left Facebook 4 maybe 5 years ago now can’t remember. No instagram no snap no WhatsApp.
Not all bad news is actually true, useful, or even news.
Meanwhile, AMD's Navi doesnt have stable drivers...
When Facebook pays me for my supplied content I would think about going back. But I am not interested in making someone else rich using my data.
It already exists (not with TLA+ but for other formal systems). This is bog standard code synthesis. Problem is that it does not scale very well.

There is a better way:

https://news.ycombinator.com/item?id=22278363
Tangentially related, reminds me of how most scifi books and movies add all sorts of insane tech, yet leave out competent AI (in e.g. battle scenes, piloting vehicles, etc.) which would utterly obliterate anything human controlled.
So does Google, and a thousand other companies.

That has nothing to do with Facebook or social media.

I would love if someone passed a law or made some relevant and intelligent regulations concerning this, but's completely beyond Facebook making a dating app.

Facebook is not a malicious company. They're just a big social network with all the crap that comes along with that.
It's a sorting network, invented in the 1950s.
Different people have different needs. There’s also room for many different people to work on different problems at the same time without imposing constraints on each other.
This is an interesting comment to me. Your conscious mind says you received no value, when reflecting. Yet your behavior indicated that you got enough value to create a compulsion.

What a funny world we live in, in our heads.
click the timestamp of a comment to always reply
Then I'm afraid I don't understand what point you're trying to make.
The upgrading stuff in computer when it’s sent in is not uncommon though.
I'm currently working on a project where some people had a bright idea of implementing this exact <If /> via a component instead of babel transform, so not only it looks like shit, it also breaks if you mention something that doesn't exist at this point...
It would mostly lead to distortions between workers with different commutes. The overall average compensation would change much, but you'd change the distribution between workers.

Germany has a system a bit like what you are describing, only that it's the government giving you tax rebates for long commutes. It's not a good idea.

Ponder the opposite: why not subsidize short commutes instead and give people assistance to pay the higher rent closer to the place of work? That would be much greener, too.

Just to be clear, that would be silly as well. Let workers and employers negotiate what they want to compensate and how much.
If you're into this, I would suggest looking into the still-developing story of the defunct Fabula Nova Crystallis project (as well as FFXIV). What can be gathered heretofore is wild.
I doubt they’ll adjust the wages, if only because of the bad PR that would result.
I've read all of the blog posts about the Windows Command Line [1] and the following posts and it still boggles my mind how long it's taking Microsoft to overhaul their command line and create a decent terminal emulator. They're on year 6 of this effort, if you didn't know. I don't think people at MS are stupid or anything - I obviously have no idea of the real complexity underpinning this stuff. But holy cow. This is a problem that's long been solved on other platforms and it just seems ludicrous.

1. https://devblogs.microsoft.com/commandline/windows-command-l...
I think that was true earlier even though there were smaller players like JCB, Discover etc. But now Mastercard and Visa are facing stiff competition in India and China, where they've already been crowded out by the local players:

https://digital.hbs.edu/platform-digit/submission/visa-and-m...
Emoji Frequency
While there's a lot of value in the rationalist literature, there's also a lot of, well, words. The standard "sequences" take up nearly a million words, and the introductory fanfic ("prereq material") spans 2/3 of a million. The combined literature is longer than War and Peace plus the entire Bible plus my bloated summary of most of physics, combined.

People with technical backgrounds (scientists, engineers, etc.) have already internalized many of the key ideas as part of their education. It should be possible to convey 99% of the remaining value to us with only 1% of the wordcount. Has anybody worked on making such a resource?
Labour's share of GDP has been reasonably stable over the centuries.
How does this fare against Python's famous Timsort (used by several languages and systems)? How about the dual-pivot quicksort used by Java for primitive arrays?

Someone has to have put together a nice benchmark for comparing many sorting algorithms. I wish that the author had done some benchmarking first, so that the proposed algorithm can properly be positioned w.r.t. state-of-the-art techniques.
>However, less than 9% of China's population are members of the CCP. The other 91% of China's people are locked out of any form of government representation.

I wonder how this form of representation is distributed. In a democracy, theoretically everyone is represented equally. In the CCP, how much say do the lowest members have? Are they yes men all the way up?
Same experiences here. Ever since they went to the kind of free-for-all approach it's not been a good experience going to a store. I miss the days too when they actually had a checkout counter. Way easier than trying to flag someone down.
It isn't. Sorting networks (https://en.wikipedia.org/wiki/Sorting_network) provide the best possible in-place sorting combinations for N elements, where N is currently < about 11. If somebody could find a way to generalize the sorting network algorithm for any number of input elements, they'd be settling the issue of sorting things pretty much forever.

At lazy glance, it looks kind of like Quadsort has re-derived a variation of the 4-element sorting network.
Multiple Buttons in SwiftUI List Rows
I thought this was the common thing to do now. I don’t go out to stores too much. But Target and Best Buy were my last two and both have sections on side for pick up.
Without a reference, this comment doesn’t indicate anything.

If I asked you to abstain from any behavior for a week to see if it would improve your life... I bet most studies would show abstention helped.

The relevant question is how this intervention helped, compared to other interventions that could be seen as similar. Eg, if you didn’t watch tv for a week, how would you feel?
Back End AWS API Gateway Integration OpenAPI Extensions
I've worked at jobs where this same exact scam was done for three orders of magnitude less profit, this seems totally reasonable.
Nothing is truly Scandinavian – top Nordic airline SAS declares
> deplorables

Isn't this a pretty mean thing to say? Just making an account from tor is enough to get you shadowbanned in hn.
“Tarpitting” is a specific type of network-layer defence which is not related to degradation of service. A tarpit will typically stretch out response time to network-layer and some application-layer communications in order to waste wallclock time of spammers.
It does look like it, but isn't it based on electron? Personally I like this, but all the environments I've had to use windows on can't use this because they use an ancient windows LTS release. In an enterprise setting where I mostly see windows I always end up having to use a linux VM.

Actually in those environments I've had success using Electron[1]. But well, that's electron...

[1] https://eugeny.github.io/terminus/
I'm using nextdns.io and no-script with firefox, it works quite smooth when you accumulate the settings.
You can export/import the no-script settings and merge with meld to keep the setting in sync between your PCs and laptops
This technique has saved monarchies (and "lesser" families) around the world for millennia.
The transport systems around the world are already many tiered. Unless everyone walks on their own two feet, that's pretty much a given.
Do you remember Ship of Theseus? The thought experiment about if a ship which has been fully rebuilt bit by bit is it still the same thing?

Japan appears consistent in saying, yes, rebuilding or swapping out components keeps the identity. You see this attitude in "Japan's oldest temple, burned to the ground and rebuilt every 20 years". In the west we might argue that burning a building and rebuilding, would count as a new building.

Similar in Japan's family business the lineage can be preserved by adopting a adult man capable of continuing the business. It needs not be common, but it does serve to ensure family businesses will not end due to a failed marriage or lack of kids. In the west this would just come across as giving your business away to another person, yet in Japan it is considered a valid continuation of the family.

I do not think this is the single biggest reason Japan has such old businesses, but I think it is a key tool which has preserved many.
> "The author postulates the growth of a "military–coinage–slave complex" around this time.

I'm trying to get a sense of where to put this on a continuum between "I could imagine things happening this way" and "here are contemporary records in which the king specifically states that the new tax is needed in order to get people to accept the new coins".

Postulation isn't really what I'm usually looking for in a historical work.
I know some of those words... Sounds really neat. Hope it goes well.
Or that people who perceive themselves as doing something unhealthy may feel better in a short window after they make a change they think will makes them happier?

How can we distinguish the effect from a general “I’m making a change” groundswell of feel goodery?
Why would Apple even waste their time arguing this? They're obviously wrong: change the policy and move on
Waiting for final release of this (and wsl 2) to switch to Windows from my Linux.
The problem with that is how common the original Xbox is. In North America, at least, the system was fairly popular; even if it made Microsoft very little to no money at the time.
> I thought the previous record was a Japanese temple building company that was around for 400+ years before having to close during the global financial crisis a decade ago?!

There are banks in Europe older than 400 years as well.
Yes, it's a very solvable problem. You just vaporize all the debris in your way and clear a path.

It's only unsolvable in the current context that a nuclear bomb going off in MEO or GEO is worse than some space trash. If the situation became dire enough that we couldn't get off the planet, then you could just detonate some high yield explosives in orbit.
It would definitely be helpful to have more context. I know some bash, but I'm far from an expert. The first thing I see on the page is a list of flags, but no clue what commands these flags are used with. A few usage examples would help a lot.

For example "-e checks if files exists" How? -e filename ? This doesn't work?
>Are you listening, Tim? Probably not.

This is a question for Jeff Williams, COO at Apple. I am often surprised with the amount of 3rd parties that Apple interacts with and the lack of integration between each group. Apple is the company of seamless integration after all...
Tesla's handbook tells workers they can contact Elon himself if they need to
This reminds me of a programming exercise I was asked to write when I first learned programming: write a sorting program generator that given N, generates a program that sorts an array of N elements optimally: the generated code has N! branches, one for each possible permutation. With some CSE help from the compiler, it can be really quite fast at the expense of code size.

The author's explanation isn't entirely clear, but it seems similar to the above construction with a fixed N and then a merge sort afterwards.
I think equating fb to other social media misses the point. It's specifically the privacy violations, whether indirect (people reporting they can no longer make their profiles unsearchable, or posts they thought were private suddenly surfacing) or direct (like "your friend just commented on this post"). None of this can be turned off. Do they not ever think? Use their heads?
> Furthermore I don’t want to risk some rogue employee’s goons taking it to the next level by physically attacking me and robbing me on the way to my car.

I don't think this is the right mindset—theft from your own employer is a white-collar crime. The type of people who would even be morally okay with stealing iMacs out of people's hands wouldn't be bothering to work for the store in the first place; they'd be bribing security to get in and then shuttling boxes into a van. Or holding up a delivery truck full of iMacs.

Also, getting a job specifically to steal from your employer is a pretty long-term strategy; it doesn't pay off if you only do it a couple of times. If you're doing this, you're probably doing it because you have a specific play that allows you to do it over and over without increasing the compound probability of getting caught—i.e. one that doesn't really generate any evidence personally implicating you (like the testimony of hired goons when later caught by the police), only equivocal evidence (like the fact that the person who came in to buy an iMac is a friend of the employee.) Really, generating negative utility for any individual (rather than just a corporation) in your theft, is a pretty surefire way to have someone (e.g. that same individual) take a look into what's going on.
Looking at the first line, "37 Ways That Words Can Be Wrong", one wonders to what degree these are not logical fallacies enjoying a tryst with Zen loans.
My work dictates that I use an issued Thinkpad or a Macbook Pro, and we are not allowed to install our own OS choices on those. I like the Thinkpads they give us more, especially since the Macs have the widely reviled touch bar. WSL and the new Windows Terminal have been great tools for me.
I'm pretty sure it's in-place, thus the need for "swap space" to hold the values that are being moved.
Um, polymer bills rip too.
The ADA obviously requires them to make accommodations.
SpaceX to launch another 60 Starlink satellites Sunday
It may be art, but being art doesn't make it deep or emotionally impactful. Even the people who like mumble rap often say they just care about the beat, not the vocals.

That, to me, means it could probably be generated by an AI. And I'd say the same of any genre for which repetition matters more than lyricism or storytelling. I could see a machine coming up with Lil Pump's Gucci Gang[0] much more easily than Wu Tang's Triumph[1].

[0]https://www.youtube.com/watch?v=4LfJnj66HVQ

[1]https://youtu.be/cPRKsKwEdUQ?t=51
Maybe someone here can help. I have a major usability problem with this. It actually seems to be a regression from cmd.exe.

I often like to run `cls; build -with -long -output;`. And then I scroll to the top to see the first build error. With this, when you issue a clear, it only blanks the visible viewport, and you can still scroll back through all the old stuff.

https://github.com/microsoft/terminal/issues/1305

There's a lot of information here that's over my head about how this actually isn't a bug, and different pieces of trivia and history. But I still can't use it for my use case, which is a thing I do often.
You'd be surprised how unsophisticated it actually is for the rich. I have a friend who has this taxi driver guy go buy everything she needs out on the town and deliver it to her. Yes, a yellow cab driver. Groceries, clothing, a new laptop, whatever. He brings it and she pays him well.
yeah, everyone is missing my point with this statement which is pointing out that it's never going to happen
It's only in the github version due to play store rules. And it's a global DNS based blacklist.

I wish there was global or group based ip rules though, since there's no way to whitelist DNS per app or temporarily, without completely turning off filtering.

It's kind of a pain, honestly. Some of the developers decisions seem pretty arbitrary to me. It's so close to being a must have app. I wish I had time to get familiar with the code.

That said, it's still my favorite option since losing adhell3 again.
Scam to create MSFT lock in. Devs are too smart to get snookered.
This sounds pretty terrible when you think about how arbitrarily websites can determine you're a "bad user", but then again I like the idea of doing this programmatically for sites I myself want to stop using.

Either that or a plugin to encourage productivity.

Don't block social media sites, just turn them all into slow ineffective shitty websites.
What were the pain points getting it set up? Is this frontend or backend web dev?
Could you expand? What exactly do you mean what would people be betting on?
I worked at K-Mart part time during college. On the closing shift they would lock us in the store and not let their employees out until after the managers in the cash cage finished counting. But they wanted us to clock out the second we hit the end of our scheduled shifts. So we would be expected to stay locked on premises for anywhere from 15 to 30 minutes unpaid. But they tried all sorts of sketchy things that probably violated labour laws. Changing schedules without notice, scheduling people to close then open with less than 8 hours between shifts. Not publishing the scheduled for the next week until Saturday afternoon.
Less than 1% of Americans elected Moscow Mitch. Now they are locked out ....
I find this argument really compelling. But, I also find it interesting to contrast this with HN's reactions to a court declaring web scraping legal a couple of weeks ago: https://news.ycombinator.com/item?id=22180559
You don't get to be the richest company in the world by paying your workers well.
Perhaps they should keep a few staff in reserve as the equivalent of "tier-2 technical support", such that those people never deal with the mundane stuff, and so never get driven to distraction by the inanity of it.

Oh, wait, that's the Apple Store Business team, isn't it?
That might be the case for the companies, but what about the rest of us?

There's two ways this can end:

1. China becomes the global #1, we all get social credit scores, etc

2. Something is done to stop the ascendancy of China

Our losses far exceed the companies' short-term gains.
I'd say Facebook brings out the Narcissus in all of us. Narcissus was cursed by Nemesis to become a flower.

from wikipedia:

> One day Narcissus was walking in the woods when Echo, an Oread (mountain nymph) saw him, fell deeply in love, and followed him. Narcissus sensed he was being followed and shouted "Who's there?". Echo repeated "Who's there?" She eventually revealed her identity and attempted to embrace him. He stepped away and told her to leave him alone. She was heartbroken and spent the rest of her life in lonely glens until nothing but an echo sound remained of her. Nemesis (as an aspect of Aphrodite[4]), the goddess of revenge, noticed this behaviour after learning the story and decided to punish Narcissus. Once, during the summer, he was getting thirsty after hunting, and the goddess lured him to a pool where he leaned upon the water and saw himself in the bloom of youth. Narcissus did not realize it was merely his own reflection and fell deeply in love with it, as if it were somebody else. Unable to leave the allure of his image, he eventually realized that his love could not be reciprocated and he melted away from the fire of passion burning inside him, eventually turning into a gold and white flower.
FWIW, geostationary orbital velocity is like 3km per second.

I'm not sure that being stationary relative to the ground is very relevant since we are talking about stuff colliding in space. The more stable orbits seem like they might be less prone to issues, though.
> If Esper and Mattis have to testify, they will say that the contract was awarded fairly and based on a neutral and thorough review of both proposals, and that Microsoft's offer fulfilled the needs of the DoD better.

You are making the assumption that Trump didn’t actually interfere, or that if he did, Esper and Mattis would lie under oath to protect him.

Everything we know about Trump says he would have no problem interfering. He asked Comey to dismiss the case against Michael Flynn. He ordered OMB to halt disbursement of military aid for his personal political purposes. He was obeyed and if not for a single whistleblower almost got away with it.

Why would we assume he wouldn’t order DoD similarly?
I’d just open carry my .45 into the Apple store. Probably wouldn’t go over well with the typical Apple crowd, but guarantee you won’t be robbed.
Because we have obligations to each other because we live in a society?

Because it's fucking wrong to do it?
Yeah, so what I was wondering is, if you have asthma do you get paid for the time you spend waiting to be searched?