skysight-inc/HackerNews huggingface dataset:
Strawman. You are conflating denotational semantics [1] with operational semantics [2].

In the free world, a pilot is free to recognize that the 'already-defined autopilot' is doing something stupid/dangerous (despite all the green lights) and is able to take control of the system at run-time - he doesn't have the luxury of fixing this bug at compile-time.

In a free world people are allowed to "sneakily change their minds" when they see an obvious denotational error.

Beware of bugs in the above code; I have only proved it correct, not tried it. --Donald Knuth

Type safety is not the same thing as system safety. The latter cannot be formalized - that is why humans are in charge. Not algorithms.

Making laws against airplanes crashing is not the same thing as stopping airplanes from crashing.

Here is a relevant extract from this paper[3]:

"All ambiguity is resolved by actions of practitioners at the sharp end of the system. After an accident, practitioner actions may be regarded as ‘errors’ or ‘violations’ but these evaluations are heavily biased by hindsight and ignore the other driving forces, especially production pressure. "

[1] https://en.m.wikipedia.org/wiki/Denotational_semantics

[2] https://en.wikipedia.org/wiki/Operational_semantics

[3] https://web.mit.edu/2.75/resources/random/How%20Complex%20Sy...
isn't San Fran the most extreme left-ist city in the country?

By what measure? From the outside it seems like San Francisco is mostly hardcore libertarian NIMBYs.
I have measured a planned switchover on a lightly loaded system (100tx/s) at 500ms from commit to commit. On larger systems it might be a couple of seconds. Unplanned failover depends mainly on the chosen timeout. Typical used value is 30s, which gives tolerance for small network problems without causing failovers while not being excessively long.

Yes, the standby is constantly streaming and applying transaction logs from the master.
Yes, but in that case it's not the TV network that gets punished, but the advertiser. The parent is saying the same should happen here.
SEO vs. SMO: How to Drive Traffic with Search Engines and Social Media?
Indeed - but there are other ways to make money than to sell of your personal information to the highest advertising bidder.
This is a step towards creating a world of privileged censorship.

>>The ruling stemmed from a case involving an Austrian politician, Eva Glawischnig-Piesczek, who sued the social network to expunge online comments that called her a “lousy traitor,” “corrupt oaf” and member of a “fascist party.” After an Austrian court found the comments violated defamation laws,[...]

I find it concerning these comments could fall under "defamation". I also seriously doubt that an "ordinary" person can get an equivalent judgment in their favour - least of all, due to the expenses involved.

I've noticed lots of people in Europe who already make sure to precede a Google Maps review for a restaurant with "From personal experience/personal opinion" etc. as a supposed caveat lest they get sued by the place for defamation. It's a sad world for freedom of speech when you feel compelled to do this.

Court statement here: https://curia.europa.eu/jcms/upload/docs/application/pdf/201...
Not surprising. As a society we've allowed politicians to lie whenever they want. There are more laws and consequences against lying about what goes into my cereal, than there are for what comes out of politicians' mouths.

Long overdue for that to change. "Consequences at the ballot box" simply does not suffice anymore.
Plenty of GC enabled system languages have proven their value, up to building full stack graphical workstations, so far they just lacked somg big corp political and monetary willingness to push them down the anti-GC devs no matter what.

Thanfully with the likes of Swift on iDevices, Java/Kotlin on Android (with an increasingly constrained NDK), COM/UWP über alles + .NET on Windows, ChromeOS + gVisor, Unreal + GCed C++, those devs will have a very tiny niche to contend with.

I give it about 10 years time, for pure manual memory management to be like Assembly and embedded development.
'Manhattan of the desert': civil war puts Yemen's ancient skyscrapers at risk
If you start an nginx reverse proxy and it cannot reach upstream, nginx won't start at all. Only way to fix this is to pay.

Some friends got hit by this: they forgot some upstream from a domain that got removed, at the next nginx restart the whole server didn't come up.

Basically you have to pay for basic error handling. It's not "more advanced deployments" at all.
The idea is that your fingers should leave the home row as little as possible while editing. I'm not saying that you should glue your hands to your desk, I'm saying that while in the flow of editing, your hands should remain in one place.

Regular typing provides an instructive example here. Try typing a long sentence right now. If you're a touch typist, you can notice that your fingers very rarely leave the home row. Even if you're pressing shift or enter, you can basically just stretch your hand a little bit, but you can reach all the letter keys and the spacebar without moving your hands. You get into a flow where your hands remain basically fixed and the typing just flows out of you very comfortably (I'm doing it right now).

However, if you decide you need to use the arrow keys, you need to move your right hand quite a distance, and it interrupts the "typing" flow. Keyboards are designed to make this comfortable, that's why there's those little nubbins on F and J so that you always know where your home row is and where your hands are inside of it.

One of the ideas with Vim's editing commands is that editing text should become as natural as typing text is, since that's what you're doing most of the time as a coder. Imagine typing regularly and having to move your entire right hand every fifth keystroke. It would be pretty terrible.

I can personally attest that it works, and that I've very glad I rid myself of those arrow keys for regular editing. Moving to a different window doesn't happen in the middle of the "flow" (just like Alt-Tab, or changing volume or whatever doesn't), so it's fine to use them for that.

I can tell you're pretty set in your ways of how to use Vim, and that's fine: if you want to use the arrow keys, go ahead! There's no law against it, use Vim however you like. But what you're saying is essentially "all those people who say it's helpful not to use the arrow keys are lying or delusional!" I'm here to tell you that we're not. It really does work really well for us.
I've forced the habit upon myself to first compose a SELECT statement and verify that it will give me exactly the dataset that I want to run my operation on. Then I wrap that statement into a CTE and run the DELETE / UPDATE on the CTE.

It doesn't save me time, but a lot of nerves.
Acronis does online backup these days?

And they have client-side encryption? https://www.acronis.com/en-us/support/documentation/AcronisB...

And it costs $5.83/month for 500GB (not super cheap, but the 500GB offer is still doable)? https://www.acronis.com/en-us/personal/computer-backup/#buy

Neat. I'll definitely be checking this out, thanks a bunch!
Alex Azar Calls for Exclusion of Reproductive Health from UN Documents
What isn’t talked about is that the pro China people want revenge. They are seen taking photos of journalists and protestors so they can ensure those people have a hard time once the protest dies down. The anti mask law ensures they catch everyone. Most pro China people says it’s so that these protestors face justice, but their hatred for protesters is only just under the surface. You can literally tell they want to ruin these people’s lives permanently.
And so you accept the first answer. That’s fine.

Cloudflare has repeatedly said that while they operate for profit, they take the long term view. By doing the right thing now, by being privacy focussed, they will be profitable for decades to come. This seems logical to me, which makes the second answer more believable.
Something must be done, this is something, so it must be done. (Ignore the fact it won't really help)
The bigger issue, to me, is that children have no source of income and aren't always in control of getting books back on time. Some families won't pay a $.10 fine. Some families won't make sure the child physically gets to the library to return books.

If they are going to have fines, the least they can do is have ways the children can get around actually paying fines, but I also think it is more prudent to simply work around the fines and encourage folks to read and have access to library tools instead.
How the power suit lost its power
Not even in the slightest, but there was no CHINESE poster wondering why their CHINESE GDP couldn't fund bullet trains.

The poster was wondering why his/her USA GDP couldn't support bullet trains.

I was being helpful by pointing out that ~$7 trillion of USA GDP literally (in the old sense of the word) did not happen.

Unless you think that $7T of GDP that is assigned to mortgages on the half the houses in the USA that have no mortgage, bank fees on free accounts, fictitious prices of electronics, etc. are the same as the entire value of the Japanese economy…

GDP is a game that all countries play to try convince sovereign bond purchasers that the debt/GDP ratio is under control.
How does this work for a 7 year old, with no income of their own and no means of transportation?

Also, some folks are poor and simply could not afford the $10 without taking away from vital things, like food and electricity.
Do you really think the user cannot implement end-to-end encryption themselves?
Magic Cube – 3D Mind Game
True. I seldom use cron in this day, but there are so many good scheduler libraries that use its syntax.

Doing something on every friday the 13th in the summer months is hard to program and test.

The textual representation is the best way to verify the syntax.
The speed limits on European motorways are similar or higher than in the US.
As an anarchist, I do wonder when peoples worship for democracy will come to an end. It's things like this that I hope will finally do it. Who cares if a majority wants something, the question is, what is right and just.
And how would you do that? There is no copyright assignment happening here.
Lenovo Says Subdomain Takeovers Are Low Risk
The UX is not terrible though. And lack of dark patterns arguably makes it more pleassant at least in some aspects.
Rust seems to be the most successful zero-overhead language competitor to C++, though it's far not as mature as C++ yet.
Nah, I will assume it as truth only when it makes sense.
Do you happen to know whether the back-end systems would still be the systems that you used to work on? I have a feeling it never really changed...
Well, lets take climate change. Many people are 100% convinced of human induced climate changes affecting current day weather patterns. Although science may put it at about 99% (depending on the source!). Now what is a fact? What will happen with Trump denying human induced climate change on FB? It's going to be a mess.
This sort of stuff is impossible in a modern democracy where citizens and opposing interests have too much power to shoot down, infinitely delay or indefinitely increase costs of major infrastructure activities by litigation/protests/lobbying, etc.

Modern democracies simply cannot do large-scale infrastructure.
> their reasons for not resolving archive.is

They do solve archive.is. But archive.is's DNS servers have been configured to return bogus answers to queries from Cloudflare's servers.
Waive the fine if someone writes a note saying please erase my fine?
> Waze is increasingly awful and ineffective as more people use it.

Roads are increasingly awful and ineffective as more people use them.
> the Chevrolet Malibu, Honda Accord, Toyota Camry and Tesla Model 3 ... When testers drove the cars directly at a dummy crossing the road in the dark, however, the system failed not only to stop or slow the car but also to provide any alert of a pedestrian’s presence before a collision.

Oh good.
Just from the past couple of months:

• Kashmir: https://netblocks.org/reports/pakistan-shuts-down-internet-i...

• Russia: https://netblocks.org/reports/evidence-of-internet-disruptio...
• Bangladesh: https://www.economist.com/news/2019/09/04/bangladesh-bans-mo...

• Sudan: https://www.washingtonpost.com/politics/2019/06/13/end-mass-...

• London: https://www.independent.co.uk/news/uk/home-news/london-tube-...

"Shutting down digital infrastructure in response to a peaceful protest is deeply authoritarian," said Griff Ferris, legal and policy officer at Big Brother Watch."

I've heard they did not shut down internet in Hong Kong as lots of mainland China is routed via Hong Kong...
https://www.dailymail.co.uk/news/article-7523253/Photo-revea...
Direct Mail Real Cases: Strategies That Worked Best in 2019
Egypt using apps to track and target its citizens, report says
Using Lisp changed how I program (so did Prolog and OCaml for that matter). But Forth and APL changed drastically the way I _view_ programming: If we understand it as communicating our intents to the machine using a language, then abstraction should be nothing more but a function of features, performance and the number of tokens employed.

Say you "refactored" our code by implementing a design pattern straight from the GoF book, yet the number of tokens somehow increased? Sorry pal, no approval for your PR from me.
they arent as fun as some ive seen, we used to have a big box of old newspapers dating all the way back to the late 1800s, there were countless ads for booze and cigs etc, some which seemed to even show children partaking.

but going back even further to the victorian era things get even crazier one i saw was something like "Dr Allmans No 47 Throat Pastilles with Heroin and Cocaine" thats right people got a bit of a sore throat in victorian england then smack and coke were your remedy! (dont get me wrong itd be effective but a just tad extreme)
>> If you start an nginx reverse proxy and it cannot reach upstream, nginx won't start at all. Only way to fix this is to pay.

I don't understand - if my upstream is down my nginx returns the usual "503 Service Unavailable". Are there any particulars to the configuration you are describing?
Not so lucky, I think. Parmigiano Reggiano and Pecorino Romano are amazing cheeses that are already relatively expensive.
> The main reason that Cloudflare wouldn't share this info is to prevent competitors like Akamai to operate a CDN as good as them. It looks more like sabotaging competition than increasing privacy.

Exactly. Their own answers in the threads over here at HN are basically admitting as much — they claim to be working on solutions alternative to ECS, because Google and some others have more PoPs than Cloudflare does. They're obviously using this as a competitive advantage to slow down competing CDNs. And noone's talking about!
It's either a) a typo or b) this guy is following the American trend of pretending that your sex is just made up
> But the purpose of a wild animal is not to be killed and eaten. I’m not convinced you could accurately describe in words what the purpose of a wild animal is.

A wild animal doesn't have a purpose. It just is. It will die and it will get eaten anyway.

> However, it is easy to describe what the purpose of beef cattle. It is to be killed and be eaten by the same animal who has bred them to have high muscle content and caged them.

Fair enough.

> I am talking about animals bred and raised for human consumption only, and I do believe those lives are meaningless suffering based on the goal of that life.

Feeding some other being isn't entirely meaningless. Also, if the animal was living the best life it could live, is it still suffering? If so, then all life is suffering.

> Extending the argument, if a person were birthed solely to be an organ farm for a wealthy individual, that would also be meaningless suffering even if they were treated “well” for most of their life.

That's the plot of "The Island". Obviously, it sounds morally repulsive, but from the perspective of such a life lived subjectively, it's better than most lives lived throughout human history.
Points that make up real “10x engineers”
If I remember correctly Stroustrup was working at Bell labs in the initial phases of the cpp design with a formal education in CS. Hardly an amateur? Inexperienced maybe.
I must not understand, because my understanding is that lying in political ads is absolutely not illegal.
Not if the supply of housing is constrained but Labor isn’t.
>> When I was a student I did managed to buy several software packages, with student discounts, at prices that would be around 100 to 300 euros nowadays.

Did you buy all of those packages yearly and for every one of your clients?
Almost wetting myself with laughter watching communities tear themselves apart trying not to offend anyone.

A hard rain is gonna fall when people realise that you can't expect or demand everyone to address you however you would like to be addressed, much less take it as an attack when it doesn't happen.
Indeed, there are also plenty of stuff I cannot afford and have to contend with cheaper alternatives.

Just like you cannot expect people that you don't support their work, keep doing it for free ad eternum.
You have to look at Cloudflare user agreement's and texts that describe their relationship to their customers. https://www.cloudflare.com/privacypolicy/ and https://developers.cloudflare.com/1.1.1.1/commitment-to-priv...

You can only held companies accountable for the laws and explicit written promises and legally binding agreements.

Currently the price companies pay for privacy violations is low. If a company like Cloudflare writes down all the privacy promise in legally bind manner and puts themselves into legal and financial liability that is above the norm for breaking the contract intentionally it can increase trust.

Companies can do much more than they do now. They can put explicit bounties for whistle blowing them and revealing privacy violations. They can hire trusted third parties to do privacy audits and handle whistle blowing.
It's a nightmare to go between toolings and remember all their quirks.
> That's a direct benefit for your own safety, though.

Only given a crash. Better visibility improves your own safety by reducing the likelihood of a crash.

Ideally, we would analyze the whole solution and only increase the pillar sizes to the point at which more increases caused net-greater morbidity and mortality rates, both for the driver and passengers, and for others outside the car.
On day one when we launched Cronitor (in 2014) I was a Sr Engineer at a tech company and August was the 1st Engineer at a YC-funded startup. Neither of us wanted to trade on that for our side project.

Over the years, as Cronitor grew into a successful business, we've shared a lot about it publicly with our names attached but I never felt a calling to put our faces on a webpage. I have always been more eager to collect customer testimonials and share what they have to say about us. Maybe I'm just shy.
False witness: why is the US still using hypnosis to convict criminals?
Perhaps the most striking thing here is the surety of all these responses, it’s all nefarious, lies, sleight of hand.

I can at least sympathize with not being told what you did wrong, but this is still a he-said-she-said case. Until either SE or Monica releases details, the only two people who know are SE and her.
That's basically mesh opaque to visible wavelengths.

The effect would be that you can't observe limb or limb part movement inside the skirt, but only how they move and deform the skirt volume. I think that's still enough, given that gait recognition works on people in burkas or other well covering garments.
How? If your client is leaking DNS outside of the confines of the proxy you're using, you've got bigger problems than ECS.
No, one time purchases, without distribution royalties.

And? Supermarkets don't take pull requests.
I agree! I found jonesforth's literate source so exciting that I went off and implemented FORTH 83 in Julia. Sadly though, Jonesforth doesn't implement create/does...
Why Scrapinghub’s AutoExtract Chose Confluent Cloud for Their Apache Kafka Needs
Tips for Making More Money as an XSplit Affiliate
It only happens when nginx is starting and the hostname of the upstream doesn't resolve, doesn't have to be reachable.

I believe just specifying a resolver should fix it, but another common workaround is to use a variable for the hostname
This is useless black-and-white thinking.

If you really cared about not getting food poisoning, you would only eat sterilized food instead of following basic food preparation guidelines.

If you really cared about not getting an STD, you wouldn't have sex at all instead of using a condom.

If you really cared about the environment, you would be living as a forager in the woods instead of reducing your garbage footprint.

And so on and so forth...
Criminal activities are exacerbated by the internet it would be a lie to say no. But just like with cars, scooters, or any tech that's sufficiently democratized.

They need a permit for a car? Why not just steal it?

I need an identity to do shady stuff on the internet?

Why not steal it?

We cannot reason with malevolent forces, there is always going to be away,

And by that time, we compiled the data of everyone, centralized it all, and let govs that don't understand the implication collect those as if it was mere petrol or gold.

We are putting everyone's life at risk doing so, just wait until it leaks out or it starts getting sold. (ahem, oh wait !)

It is a problem, and tbh it saddens me a f* tons.
I have yet to work on a code base where this is actually true. We have some 3.5Mio LOC and about 30k warnings... We have many bugs and tried to address this but the business does not warrant the resources as the product is "good enough"

What is your real world experience in this regard?
I think the correct balance already exists.

When you connect to your bank the transmission is encrypted but your bank has the data available in cleartext.

When you use your smartphone to call someone or send a text the transmission is encrypted over the air but your operator has access to the data in cleartext, and there is in fact a system in place to duplicate traffic for police eavesdropping. You have privacy, your bank/operator doesn't abuse data they have, and the police is able to request access within the law.

This has existed for decades, it is accepted, it works.

The issue is that some tech companies (cough Facebook cough, but not only them) have abused the access they have to data and shot their reputation in the process, so now they are trying to salvage the situation by saying "Oh but we now have E2E so you can still use our services"... No-one trusts anyone, and that destroys the established balance between privacy and law enforcement/national security.
Why South Korea Is the Perfect Launching Point for Terra
Presumably you could write some basic error handling and distribute under the same or even stricter oss terms? It would be fairly simple to 'uncripple' it in other words, either with contributed code, or to wrap the upstream in haproxy itself to ensure availability.
I agree with you, but what I mean is people will be more inclined to use software that looks good - more broadly good UI/UX and I don't mean gimmicks. That's just how it is.
> how many weight loss, breast enlargement or penis enlargement Ads have you seen in the past 20 years

Pretty much none, reputable sites don’t carry them, and spam stopped being a problem a decade ago.
The problems with modules is not getting the system right, the module proposal owners are well aware how to do it.

The problem was the politcal wars of tons of companies that don't want to let go of their in-house build systems based on translation units just to make use of modules.

So the end result is a compromise to make some of those big names happy.
Embroidery Digitizing Company in California