skysight-inc/HackerNews huggingface dataset:
I ultimately got booted off twitter for a tweet that said:

"Dear @AmazonUK AI, please kill yourself now".

This clearly wasn't aimed at a human but their Artificial Intelligence.

Attached to the tweet (to provide the tweet with some context) was a screenshot of it recommending a whole bunch of those Hello and Chat type B-list celeb trash gossip mags. Items I swear I have never browsed for on Amazon, let alone a newspaper.

I was reported, possibly by @AmazonUK, or detected by Twitter's own idiot AI for "promoting or encouraging suicide or self-harm". FFS.

Despite my attempts to appeal I gave up. It counted towards my three strikes (one was a Frankie Boyle kinda joke about why no-one had had a pop at trump with a gun, buggered if I can remember the other, I think I may have used the "c" word).

Turns out I need to tailor things I say, that wouldn't be considered offensive in a Scottish pub, to Twitter's puritanical view of the world. But it's their shitshow and @jack can go fuck himself.

Edit: just to be clear, I've never encouraged anyone to kill themselves or "die in a fire". The Trump tweet was clearly a bad joke and in no way could be construed as encouraging anyone to try and assassinate the US President, nor anyone else. The "c" word was not aimed at anyone in particular other than the Scottish Conservative and Unionist party, who're pretty much considered fair game in Scotland.
The B52 first was first rolled out for production use on 18 March 1954. The "...long-rifle of the air age..." -- Nathan Twining. It has not been manufactured since 1962. They are still in active military service, the ones that remain, and continue to see upgrades and evolving mission scope. 100 years of service is feasible.

Cost per flying hour of a modern B52: $70,000 [1]

1. https://www.airforcemag.com/article/re-engining-the-b-52/
Launchbar and Dash on the mac both have great clipboard features. I use it many times a day. For example, a snippet to drop a markdown formatted link with the title from the first clipboard stack entry and the URL from the second clipboard stack entry.
So an article that gives reason and background as to "why one should retrain the way they think" is instantly disqualified because of a singular sentence that is perhaps a bit hyperbolic? Ah, the literal mind!
> You are still free to pick any one of thousands of other options and you are free, even encouraged, read their terms before signing any contract.

Right, again, there aren't thousands of other options. If you want to host your site, you need a domain. That limits yourself to a hand full of registrars. And you need somebody to transmit traffic, if you hold any kind of controversial opinion, you need DDOS-protection. That leaves you with another hand full of corporations. Otherwise you're offline, as in, unable to speak.

> People have chosen for decades to register their own domains to avoid needing to update addresses and outside of uncommon legal situations this will avoid needing to do so.

How do you handle email on your domain when the registrar decides to drop your domain? And why shouldn't it, it's a private company, it can do whatever the hell it pleases.
I think you've hit the problem of "why it isn't adopted" really well. Most people seem to have learned formal methods as "prove this source code does exactly what it should based on the spec", but formal methods don't have to apply at just that level.

Formal methods can be applied at the specification level, instead. This can be much simpler as you get to ignore a lot of extraneous details. This is also important because many real-world problems are not because the code is implemented correctly, but because the code implements a bad specification (the spec doesn't do what they think it does).

Using something like TLA+ or state diagrams or other things which can be executed (in a sense), which are formal representations of the specification, you can find the issues in the specification before you even touch the code. I've also used it as a way to "debug" by taking the ideal, creating the spec and showing it does work correctly, then weakening the constraints in the model until it behaved like the implementation, which gave an idea of where to check in the implementation (which found the problem, but was hard to debug because it was an embedded system).

A (more) concrete example: We had an embedded system with multiple nodes running internally and concurrently that communicated via a shared memory system. You may have already guessed that this could lead to race conditions, and that's what we found. But in trying to sell TLA+ to a colleague, I showed a model of how they were using the system for a part that was constantly giving them errors. We were able to create a much simpler model than the code (which had become several thousand lines in each of two nodes). The model was maybe 100 lines long and focused strictly on how they communicated. We dropped out the message contents (irrelevant) and only modeled the size (variable, but we simplified to 1-10 or something like that) and the buffer size (for the model this was configurable) and the list pointing to where in the buffer messages started (list length was configurable), and a few other details. In making the specification it became clear where the problem was and we didn't even have to run the model checker.

If they'd started with modeling that specification more formally (what they had was all prose and tens of pages long in two specification documents), they would've saved months of headaches cleaning up the numerous issues with it.
> half a day per week on programming tasks

You probably mean on average, and yeah, I agree. But the literal reading of programming half a day per week feels horrible.
Do you honestly believe that it’s a good faith argument that housing affordability is not under control of local governments?

Almost all of the “other states send their homeless to SF” stories are primarily tall-tales. I’ve yet to see anything document it as a major source of SF’s ills with anything even approaching hard data and not anecdotes.

That some of the infrastructure projects receive Federal funding does not excuse the local control of those projects being massively over budget and/or behind deadlines. Not to mention the cost differential as compared to infrastructure costs in other developed countries.

Are state budgets and pension obligations now primarily the realm of Federal control as well?

What if I add in education outcomes? https://www.economist.com/special-report/2019/06/20/public-e... Is this also outside of state control? What is inside state control that could be referenced to understand the successes/failures of state governments?
That’s not material to whether Facebook has a lord/vassal relationship with the users. Benevolent monarchs and/or docile subjects do not change the facts about an organization‘s structure.
Entire books and philosophies talk about "retraining the way you think".
Not sure, if the author was hiding under a rock, dropped some acid and came with this earth-shattering realization.
But ahem, he supposedly has a PHD, so he can get away with it.
Most happy people are happy because they have gratitude for the daily things, they don't let negative emotions pull them down and just look at the world with a "glass half-full" view.
Does anyone remember when Linkedin used to upload your entire phone book, no questions or permissions asked just a few years ago?

That kind of stuff is not beyond them.
The number of McDonald's in Europe makes me doubt your words.

In fact, here we are at visible status markers again. "My ingroup does this high status display, but your ingroup (my outgroup) has low status and we would never do that (despite the fact that we secretly do that when you think we can't be seen)."
Don't throw a steak, you're barbecuing, at the face of the Goddess of love. They'll be consequences.

12 beers, and 12 prostitutes, repeated for 12 nights, is the civilizing process. As Enkidu discovered and Gilgamesh already knew.

Take the stairway of a bygone era, draw near to Eanna, the seat of Ishtar the goddess, that no later king could ever copy! Climb Uruk's wall and walk back and forth! Survey its foundations, examine the brickwork! Were its bricks not fired in an oven? Did the Seven Sages not lay its foundations? [A square mile is] city, [a square mile] date-grove, a square mile is clay-pit, half a square mile the temple of Ishtar: [three square miles] and a half is Uruk's expanse.
It's a really odd social phenomenon. It's one thing to say "We don't like X and find it in poor taste. Please don't do that"

I don't like it when folks say such things, but I understand it. Instead, what many folks seem to be saying is that based on one thing they can tell what the person is like inside. It's an amazingly-broad generalization and people seem to be enormously confident of themselves when they make it. I can look at your shoe or color of your shirt and conclude that you are a bad person inside.

I don't find that to be especially rational, but what is one to do?
How to detect machine-translated webpages
A common disease, I think. The builder we used in Xbox did this. It was a real pain in the fundament when things went sideways.
I’ll be showing my age here - but is TikTok so important that it’s worth the risk? I know teenagers aren’t going to care but are people on HN still using this thing on their phones?
I don't get why algolia exists and why people pay for it
> Vague speech laws plus a great degree of prosecutorial discretion is exactly how a lot of brutal regimes oppress dissenters while justifying their actions.

Sure, but it's also how a lot of non-brutal regimes keep laws from growing out of control with silly edge cases.

If you are harassing someone, law enforcement doesn't have to consult the legislated list of 23,784 actions that constitute harassment. That seems reasonable.
Almost as if he'd been the target of a nearly-non-stop decade of constant hostility and abuse or something.
And related: touchscreen, purely-software UIs can be developed in parallel with the rest of the device, possibly by a different team or a subcontractor, which saves further manufacturing costs.
There are quite literally millions of people who qualified for the stimulus, but didn't receive it. I know several of such people.
How do you even do it? My biggest compliant about the mobile site.
Frankly it's to us Canadians to start asking our lawmakers to force better pricing, at least in metro areas where the population density is similar to Europe.
747 has been continually updated but the all modern airliners still have the same fundamental design.

> "Also nobody should be sorry that elites have to sit on long overseas flights just like we do."

Anyone can fly as long as they can pay for the ticket. First-class passengers subsidize economy seats for most flights, and new tech generally starts with wealthier early-adopters before it becomes accessible for everyone.

By the way, if you live in the West then you're an "elite" compared to billions. Let's drop the classism.
The Easiest Pancakes Recipe
Assuming happiness and working backwards sounds like a great idea, thanks! I'm going to try it right now. Happy me would write this comment and then go hang out with my wife.
Agree with the larger point being made.

However, the attitude of muslims & Christians towards nonbelievers, idol worship and the historical violence and destruction wrought on them plays a bigger role.

A modern western atheist might carry the same "all gods are false", the vast majority of the Hindus will not have any problem with that.
Not sure which Central Park you are referring to but in New York City the private Central Park Conservancy raises the vast majority of the park's normal operating funds and over the last 30 years has provided virtually all of the capital for renovations.

https://www.city-journal.org/html/set-parks-free-11996.html
Scala is pretty slow even with the build server up, and honestly it is a noticeable tax on my productivity/iteration time.
My point is that it is material to whether Facebook has a lord/vassal relationship with the users.

If the majority of users was like you, Facebook's behavior would have to change. The unfortunate reality is that the majority of users is NOT like you.

Ask yourself: if Facebook, acting in its capacity as a supposed "monarch", began charging $50 for its product, do you think users would silently just accept that and pay up? They are vassals after all, right?
Venturo
>but the author is chasing the wrong story. When the government is willing to bail you out when you make risky bets, then the government screws up the way the market is supposed to work.

The author explicitly addresses this point when he argues that the free-market deregulation led to industry consolidation which led to the very policy environment you're critizing.

Capitalism isn't a system of profit and loss, it's whatever capitalists make of it and if you hand them enough power they'll eliminate the loss.

This is pretty much the very obvious insight of the last few decades. The system of deregulation and neoliberalism is contradictory because it destroys the tools it depends on, akin to how the laissez-faire attitude on speech which was supposed to strengthen democracy has in fact led to mass abuse, foreign interference and a general suspicion of free expression.

What the people like Hayek didn't get (probably because they were too busy complaining about socialism all day long), is that their system is fundamentally contradictory if left to its own devices and that functioning markets are socially constructed, and rely on being nurtured and maintained by principles that aren't found in the markets themselves.
And how about dialing malware that connected your modem to a very coslty phone number. Was that a thing in other countries? in Germany quite a few people got ripped off this way and I always disconnected my modem whenever I wasn't online.
The A380 is as good as retired. Production was scheduled to stop in 2021 since 2019 [0]. It seems to have been advanced by the coronavirus crisis [1].

Air France has stopped flying the A380 [2].

[0] Airbus announces stopping production of A380 in 2021: https://www.capital.fr/entreprises-marches/airbus-annonce-la...

[1] Coronavirus gives the final blow to the A380 https://www.lefigaro.fr/flash-eco/le-coronavirus-donne-le-co...

[2] Air France flies the A380 for the last time https://www.lefigaro.fr/societes/air-france-fait-voler-l-a38...
I’ve used Loki as more of an in memory db in the Browser, never with the assumption of using it as real storage.
Having done a little bit bricklaying during my years in construction and seeing adjustments being made after each visual hint,I can safely conclude that any reasonable size wall would cost a small fortune just on labour costs.
lmao wth, that interface looks exactly like zoom's.
> we need a new way to do peer review ... so that papers can be upvoted/downvoted

This one managed to get 700 upvotes on HN and still be meaningless.
I use my mobile browser to read Reddit threads posted on HN. Not terrible but I don't know in which ways the app is better.
https://cms.prod.nypr.digital/images/62499/fill-661x496/

Found this on Gothamist. Can you point to the swastika?

Or is this a different NYC Subway campaign for The Man in The High Castle?
It's often referred to as mindfulness, and it falls under cognitive behavioral therapy. I've had trouble finding useful links, so I'll repeat the practical info I was taught.

Pretend your active focus or attention is like a fishing line. Pick a single thing, usually a physical object like a tree, and "cast" your focus onto that. Focus on specific parts of the tree, the bark, leaves, how the wind moves through it, how it makes you feel, etc. This will cause your attention to wander. Being aware that this is happening is crucial. "Reel" your attention back in and focus on just the tree again. Repeat this for roughly 15 minutes, at least once per day. If you can only manage 5 minutes at first, that's still a great start.

You are effectively training your brain to be aware of it's own attention. The idea is not to prevent wandering or emotions, but to be mindful of how those thoughts got there, and what you are thinking and feeling. In essence, how could you possibly control your thoughts if you aren't even aware of them?

Your zombie comment was something I was worried about at first. Spoiler: you're still free to act on those emotions or thoughts, but now with undivided attention!
It was banned because it's a racial slur. It was always near the top of the list for any permanent banning. Mark Rosewater has gone on record about not printing it further because of this more than 5 years ago. https://markrosewater.tumblr.com/post/106100301518/

All seven recently banned cards are indefensible in both casual or competitive play.
> Or, they could just stop the advertising because of budget issues.

Oh, certainly. My point isn't that they're doing it because of principles. The companies do it because they want to save money. But offering them an out that allows them do press pause but not say "we have bad sales" and gets them lots of good will in important media circles, that's a good play imho.

Especially the very limited length looks like that to me. Had they said "to boycott Facebook ads", no large business in their right mind would've gone through with it. Even with "boycott FB for a year", I don't think so. But for a month, while business has slowed down significantly and you're happy to cut back in spending? That's an easy yes.

And for the organizers it's a win as well, as they can say that they got some large companies backing their cause. It's a smart play.
>And of course, sometimes jokes are a little off - that's comedy and it's ok. In what world do we start banning gags for this reason?

This one. To be honest, I'd be real careful right now to pick any hills to die on right now with respect to language, humor, and various other things unless you're really prepared to die on those hills.
Seems like it is impossible to verify whether it is true because we cannot see exactly what they are doing. We are just taking their word for it. It can be nothing more than a "promise" because we are not the ones responsible for carrying out the encryption. We have to trust both (a) the encryption software, which we can examine, and (b) the third person doing the encryption, who is unfortunately operating outside our view. Even if the third person is trustworthy, if they make a mistake, they are not liable for anything. They are not even obligated to tell us they made a mistake.
Usually when we trust people to do something important for us, we have some recourse against them if things go south. It is more than just a promise. They have skin in the game.
Canli Radyo – Kent Fm Kayseri
You are not wrong in general. But we are all fairly busy around here, I imagine (at least I am). I'd like an article to win me over in the first paragraph.

First impression matters. Call it literal if you will, but to me it's rather a bad first impression.
> My comment was targeted at the claim that mild censorship on privately owned platforms should be regulated in such a fashion, because their users depend on it.

If this incident happened in a vacuum, I would agree. Unfortunately that isn't the case. The censorship ranges from mild to extreme these days, and now even the mild cases drive the wedge deeper. The unrest in the US is only just beginning I think.

Anyway, the post to which I initially replied is a common response to private censorship, and the irony of arguing that private companies should be able to do anything with their private property apparently escapes most people who make it. "Oh, private property, right. So let's eliminate the minimum wage then, because that money they wouldn't otherwise pay to fill a role is the corporation's private property. No? Is private property suddenly not the only thing that matters?"
Okay then why bring up the abuse from the production at all? Just review the film as-is? It sounds like not a very good film and the more interesting story is the story of its making, which this article brings up multiple times throughout.
It’s not “stupid”, it’s reasoned out based on premises that you disagree with. The rest of your argument is weakened by that opening, even if it’s a point worth considering.
I have an ornate frame hanging on my wall. I picked it up for like thirty bucks at a used furniture shop. It’s a big chunk of molded plastic with gilt paint here and there on it, and it frames an empty space on the wall.

Or, more precisely, it frames the empty space on the wall that my projector is aimed at. And it has a special power: everything displayed in it is, most assuredly, Art, because why would there be a frame around it otherwise?

With this simple act, I have settled the “are video games art” debate forever.
I love this! "The jamminest two minutes of trailer time that ever hit a theater. It's 7.5 megs, it's Quicktime, and it's worth it. Click the graphic to download..."
Android also had permissions from the beginning.
> So everyone thinks everyone else is arguing in bad faith, nobody believes anything anyone else says, some of the people are actually lying and arguing in bad faith and we're all arguing against caricatures of our opponents.

That pretty much sums up most modern sociopolitical discouse right there.
The Body Keeps the Score
The project is 2 months old and they say nothing about its readiness for production, simply that it _could_ be used for a REST backend or similar. They also say that it could be used for a quick PoC. I'm not quite understanding how either of those claims are wrong. Why are people torching a young project that someone is releasing publicly for free? Again, if you don't want to use the project, nobody is forcing you to.
I vote for pi hosting :)
Besides the other facts mentioned by the other commenters, Vim has a sort of geek-chic aspect to it. It's "cool" to be a Vim user in certain circles. That inflates the numbers plus it also causes a "New Year's resolution" effect where someone would say they use it just because they know :wq and this year they're really, really going to go to the gym, oh, sorry, going to use Vim proficiently for a real project.
The music and movie industry were a mafia of media executives who squeezed artists and fought technological progress even as distribution methods were changing the fundamentals of the business. I don't feel particularly bad for their loss.
We've loved algolia for the 2-3 sites we've used it for. The speed is unbeatable.

I wish we could've used it for one of our HIPAA use cases (patient data). I could've rolled out powerful search for an internal site in a day, but instead I'm having to build in postgres full text search and looking longingly at them.
Glad Apple added this feature, it seems to work well as it exposes these issues.

He's typing IN the LinkedIn app though, right?
Can apps read the clipboard when running in the background too?
Yeah, I'm not sure what the author[0] means there either. I looked through the latest Census and I couldn't find any sufficient data on "hippies", as there was not a question for that[1]. If there is no data on it, how can one make the dubious claim that one is "full of"[2] them? I really wish this article was more well researched[3].

[0] by author I am referring to the author of the article which this thread is talking about

[1] https://data.census.gov/cedsci/

[2] by "full of" I assume a simple majority

[3] https://en.wikipedia.org/wiki/Research
Well, the linked equator (Q23528) has a geoshape which defines what it is.
> This clipboard scandal is unacceptable.

What do you expect when the CEO holds an MBA?
Though not just for these companies take a look at this link [1] to search for companies based on different parameters you specified.

[1]:https://www.keyvalues.com/
Heated seats as a service? BMW wants to sell car features on demand
It's funny because the people who kicked and screamed when China did the same thing are the same people who think it's okay when their country does it.