skysight-inc/HackerNews huggingface dataset:
> But tofu and the like can taste amazing on its own merit.

Pretty much most people I know (read: non-veggies) agree with you on this point. The harder they try and imitate meat the worse the quality of food tends to be imo.
> The tyrannical powers in control of China at the moment

At the moment? Do you mean the past 70 years?
Motivated Reasoning
I don't have an ethical problem with the concept of charging interest for loans, and I don't think they're automatically predatory.

I think the problem comes when you are giving loans (and particularly high interest loans) to people who have little to no hope of being able to repay them.
Running for X opcodes isn't too difficult, but isn't immediately straightforward either. Instead of calling a function with lua_pcall, start a coroutine using lua_resume. Then, you can have a callback using lua_sethook and the LUA_MASKCOUNT option, which triggers the callback after a fixed number of opcodes. Inside the hook, you make a call to lua_yield. That forces the coroutine that was running to yield control to the outer app. The outer app can then resume the coroutine if desired.

There was a while that I wanted use this to design a programming-based video game, where simulated agents worked in real time. Most of the programming games I have seen use a fixed timeout, and kill any scripts still running after that time. What I was thinking was to instead have the script constantly running, and any slow scripts continue running on the next frame (e.g. all players get 100 opcodes per frame).
"Awesome" and "Aweful" have similar etymologoies: both mean, "Inspiring or creating awe". But one has morphed into, "really good", and the other into "really bad".
It’s probably mentioning Trump that gets you downvoted. He definitely leans authoritarian on many issues, but so do most of the democrats he’s running against in 2020. Where these two flavors of authoritarian differ is the issues they are authoritarian on. Whether or not someone downvotes you probably has most to do with which issues they are most concerned about with respect to the authoritarian we get. If someone is more worried about Democrat authoritarians than Trump-flavored authoritarianism then it’s likely they’d downvote you.

Having lived in China for several years, my opinion is that Warren and Sanders are probably the two politicians pushing big government ideas that if unchecked are most likely to devolve into something resembling Chinese style authoritarianism. Both are the "I know what's best for you" central planner fallacy. Unfortunately, that that think they know what's best for you are never the ones that pay the price for being wrong. China is a place where big government is never wrong and the population is disarmed just in case they disagree with the government.

Anyways, that’s my theory on the downvoting you’re getting. That said, I wouldn’t worry too much about downvotes on HN these days. It’s become far more ideological on here in the past few years, that it's highly likely that you’re going to encounter downvotes out of disagreement. With tech being mainstream and a major social justice battleground, the HN on yesteryear is long gone. We've had several years of eternal september by now.
is killing not cruel? is it practical for everyone to raise their own cow?

kosher is no more ethical: https://www.youtube.com/watch?v=Qp8B4vSd6h0
It may be an abuse of the law, but the fact is that it is common practice. First result on google:

https://crabgrass.riseup.net/assets/138965/120313+manifestan...

Giorgos, militant anarchiste, avait été placé en garde à vue lors d’une manifestation à Montpellier en octobre 2010. Il avait été accusé par les policiers d'avoir, avec d'autres manifestants, renversé des poubelles. Une poursuite classée sans suite pour cause d’« infraction insuffisamment caractérisée ». Mais il avait eu le tort de refuser qu’on lui prélève ses empreintes génétiques et a été condamné en première instance à un mois de prison avec sursis par le tribunal correctionnel de Montpellier.

Translation: Giorgos, an anarchist militant, was arrested during a demonstration in Montpellier in Oct 2010. He was accused by the police, along with other demonstrators, to have knocked over bins. The case was dismissed because the offense "was insufficiently characterized". But his fault was to refuse to have his DNA taken and was sentenced for that to a month of suspended jail term by the Montpellier court.

I read similar stories in other demonstrations.
Why would you do that? The promise of IPv6 to me is that all devices gets their own IP address, enabling us to move away from the server-client architecture of the internet. Allocating all IPv6 addresses to commercial server operators would require us to continue using NAT, so then we might as well continue using IPv4.
I think the criticism is moral, rather than legal.
An Early Bitcoin Millionaire Loses His ‘Love for the Industry’
>Over the past ~25 years, a document delivery system has been perverted into a application delivery system.

...and a protocol for inter-object communication. That's probably the most important part, because that's what creates most of the complexity and security holes today. There is no end to this in sight.

Alan Kay warned web developers about this in 1997:

https://www.youtube.com/watch?v=oKg1hTOQXoY

Nobody listened. The majority of web devs still don't get it. (Can't wait for the arrogant replies here.) We ended up reinventing and re-implementing "internet objects" in the shittiest way possible.
From a high-level: the Iranian state hasn’t apologised for the 1970s US/Iran hostage crisis, nor its stated anti-Israeli position (see also: AIPAC lobbying), but most ostensibly because the IRGC continues to fund terrorism around the world - especially against US, European, Israeli, and Saudi interests.

SA escapes criticism because ostensibly they’re an ally(TM) of Israel and the US - and SA hasn’t committed state-sponsored acts of terrorism against western interests (9/11 wasn’t backed by the Saudi state - just by non-executive members of the extended royal family) and the economic and geopolitical leverage they get by being hosts of large numbers of US bases and getting OPEC to agree to use the Petrodollar which cemented the US at the centre of the world’s economy.
Ensuring that a class gets taught well isn't just a matter of standing up in front of them from 8 to 3; any teacher can tell you about the amount of random surprise work that needs to get done at a school. You can call that work exploitation if you want, but the bottom line is still that someone has to do it.
Unfortunately, I'm pretty jaded on our outrage culture when it comes to tragedies. It seems like people are great at virtue signaling through a tweet, an article, a public statement or a sign, but what change are we really willing to affect in the world? How many people who were outraged about this story did anything to change the world beyond saying how bad it was? What was someone willing to risk in order to stand their ground on this issue?

Same goes for other tragedies as well. A lot of talk and no action.
Modern passenger jets are incredibly efficient. 1000-mile rail ROWs take a ton of resources to maintain and capacity does not scale well, especially as speed increases.
Why the way we talk to children matters
Statistics for Engineers: Applying statistical techniques to operations (2016)
Please don't compare the Chinese government's actions to the Trump administration. They're not even remotely close.
> What is the impact of the inline CTEs?

It depends greatly on the size of the data and the nature of the query inside the CTE. Sometimes it'll make no difference at all, of course. Sometimes it could mean the difference between scanning an entire table and being able to perform index seeks. As the result is materialised in earlier versions this could mean a fair chunk of write IO as well as read IO if the result is too large to just keep in RAM. Even worse for recursive CTEs the process could be repeated at every level of the recursive depth.

Of course the query planner will still need to do that for bad queries or queries against structures that need better indexing, and there may be many situations out there where a better query/schema wasn't created because before v12 it would make no difference anyway so some rewriting is needed to take advantage of the new optimisation potential.

If the innermost CTE contains filters that significantly limit the data and there are sufficient indexes to support that filtering, or if the data is small to start with, then this change will likely make little or no difference.
How do you ethically and without cruelty keep then kill an animal that doesn't want to die usually 20% or less into its natural life span?

> That said, when you raise a cow and you know you are going to eat it most folks aren't so cruel. Kosher meats ( i have heard this ) are harvested with ethical methods.

https://kb.rspca.org.au/knowledge-base/what-is-kosher-slaugh...

> For meat to be Kosher, the animal must be slaughtered in a particular way, so the Rabbi in a Kosher abattoir is a specially trained religious slaughterer. A very sharp knife is used to cut the oesophagus, the trachea, carotid arteries and jugular veins in one smooth action. There must be no pause during the action nor excessive pressure on the blade. Failure to meet these specific requirements renders the animal unkosher.

If that's correct, how is that not cruel? Animals don't want to die.
At least the Verge has the less clickbait headline, mentioning that it was contractors. The original source mentions Google in the headline but the rest of articles only refers to Randstad.

One part that is a bit confusing to me is, the original source makes no references whatsoever to any consent form. Usually you can't collect this sort of data without signed consent, and previous reports [0] do mention such a form. I know most people don't read the form, but I'm curious how you can get away with telling someone you're just playing a game and lie so much when the form should clearly state what you're collecting.

Still, there should definitely be better vetting of contractors and stories like this definitely look very bad, even if the intentions were actually to help reduce ML bias.

[0] https://www.engadget.com/2019/07/29/google-paid-for-face-sca...

EDIT: The original article does indeed mention an show a picture of the "agreement".
But the beneficiaries are, in theory, the people of the state.

In the Obama/Trump drone equivalency case -- or pick another president and some other war -- one might argue that the people are more culpable because we have a democracy. Note that given our vantage point, we might be inclined to make fine distinctions: popular vote vs electoral college, or 52% of the support etc.
I could have swore I saw this story float around a few days ago. I searched to see if it was in fact a re-post.

I did a search of the url https://legalhistorymiscellany.com/2018/08/17/a-jewish-woman... into the hackers news search and got this:

https://i.imgur.com/XyoqA83.png

I clicked on the 1 comment on the article from two days ago and it now says it was posted 2 hours ago and shows the comment from a few minutes ago.

https://i.imgur.com/Knfp1be.png

Is this normal for re-posts on HN? First time I've seen the date something was posted change upon clicking the comments, however I'm pretty new to this space so it may be a glitch in the matrix that is known.
Companies are mixing static and running analysis more than they used to. Most static analyzers look at just the code itself, build models of it, check their properties, and report the presence/absence of errors. First links were more about effectiveness on C. I just dug around in search to find you something that explains it, shows its effectiveness, and threw in a case study you might enjoy:

https://www.cs.colorado.edu/~kena/classes/5828/s12/presentat...

https://cacm.acm.org/magazines/2010/2/69354-a-few-billion-li...

Here's the main competition evaluating them so you can see criteria and current state-of-the-art:

https://www.sosy-lab.org/research/pub/2019-TACAS.Automatic_V...

The provers do something similar but with more manual effort and logic-based approach. Frama-C and SPARK Ada are interesting in that they use programmer annotations plus supporting functions (eg ghost code). These are converted into logical representation (eg facts about the program), fed into logic solvers with properties intended to be proved, and success/failure maybe tells you something. Like with static analyzers, you get the results without running the program. A recent, great addition is that, if proof is too hard, the condition you didn't prove can be turned into a runtime check. You could even do that by default only proving the ones that dragged performance down too much. Flexible.

The best methods are a mix. I've always advocated mixing static analyzers, dynamic analysis, fuzzing etc since each technique might spot something the other will miss. They also cover for implementation bugs each might have. That adding runtime analysis can improve effectiveness does not negate my original claim that static, non-runtime analysis of C code can tell you a lot about it and/or find a ton of bugs. I also agreed with one point you made about it not conveying enough information: these clever tools pull it off despite C lacking design attributes that would make that easier. SPARK Ada is a great example of a language designed for low-level, efficient coding and easy verification. Although, gotta give credit to Frama-C people for improving things on C side.
Whole books could be written on the terribleness of Lotus Notes. For those too young to remember the 90s, LN really was as bad as everyone says, turning what should be simple (email, maybe a few custom forms) into swampy morasses of pain.

When intranet webapps came along everyone breathed a huge sigh of relief.
Racism is one of the most profoundly transformational forces in human history, and yet it is entirely contrived, arbitrary, and voluntary.
Stories I've heard of southern cuisine describe meat dishes with a side of more meat.
I would call this sampling that could turn into a race condition if it stops being treated as sampling.
> It's a kind HN received wisdom that all psychology studies are false or invalid.

Not ALL, but the replication crisis has demonstrated that at least 2/3 of such studies can't be replicated.

If you had a communication channel where 2/3 of your packets failed to deliver, I'd say a statement like "this channel isn't reliable" is very justified.
I second this and would like to add that Persians are one of dozen of ethnicities that make up Iran including Turks/Azeris, Kurds, Arabs, Baluchs, Turkmens, Lors/Lurs, etc. [1] Referring to it as Persia/Persians is akin to ignoring vast majority of the people living there imho.

"Iran" has been the term people used inside to refer to the land/people for a very long time, but Shah officially requested the change from foreign governments in 1935.[2]

[1] https://en.wikipedia.org/wiki/Ethnicities_in_Iran

[2] https://en.wikipedia.org/wiki/Name_of_Iran
So because nature does it, we should do it too?
I think GP is saying the opposite, namely that they set themselves up to be an enabler of state control, with their centralised gatekeeping model.
> You did not address my point that if there is no way to stop people from getting illegal loans (loan sharks), it's better to give them loans at the market rate

I don't think this is a good argument at all. In both instances, vulnerable people are being hurt. Arguing that it's OK for you to hurt them because you'll hurt them less than the other guy seems dubious to me.
The bulk of real Haskell programs do not choose such granular restriction of side-effects that it's unmaintainable. As always, there are tradeoffs. In most applications, the code at application boundaries live in some Monad that are based on IO.

For Example, Yesod gives you the Handler monad, which is based in IO, and really just exists to provide access to runtime/request information, so at the API handler level you can do anything you need to. But what's nice is that not everything has to live in IO, and so in places where it makes sense, such as a parser, we can say that parser doesn't need IO, because that wouldn't make sense.

And my point here is that just having the ability to separate between IO and non-IO is very useful; we also do not have to split every single effect down into it's own special, separate type; in many cases that would just be overkill.
Show HN: Lockdbox - a secure wallet for any kind of data
Colleges got $60M-plus from OxyContin family
China exerting pressure on Cookie’s supply chain.
That’s how the cookie crumbles

#WishJobsWasGeneral
Plastic waste: Rome metro offers tickets for trash
I've worked at multiple Haskell shops. They've all had problems. None of the problems were actually attributable to Haskell..but Haskell was an easy target for blame by management. I'd say that's Haskell's biggest problem in a professional setting.

I know Haskell and Go about equally. Meaning I know all the language features & common libs & have a grip on their runtimes. Go on day 1 was way easier to write and understand than Haskell on day 1. Now that I've normalized their learning curves, Go didn't get much easier to work with. Haskell did - I use my brain way less when writing Haskell than when writing Go.

But even then, Haskell or Go. It's all just the same stuff.

I've pretty much given up talking on the Internet to people about Haskell. Arguing against some of the pts in this thread about how Haskell isn't good for production.

I'll continue to write Haskell for pay for the foreseeable future. If I'm lucky, I'll do it the rest of my career. I don't see any reason why not.
Microsoft Courier dual screen concept (2009) [video]
"Sorry, I understood the words but not the sentence"
Could ask the same about humans. Do you really think it's better to give a kid a good life and then off them at age 10 because something else thinks they taste good? Seems like a pretty simple ethical question: no.

You could extend this anywhere. Pussy feels great. Rape doesn't kill anyone. We could keep some women around and give them great lives as sex slaves. Surely nonexistance is be worse than that! I could even give my harem a much better life than any animal can experience.
According to the release notes, dump/restore is not necessary to get to 12 — pg_upgrade works.
I agree that it's quite clear that environmental externalities per dollar GDP (and per dollar of exports) are massive. At the same time consider that as median incomes increase, marginal utility of clean(ish) environment vs income increases, public pressure mounts, and countries do tackle environmental externalities.

That's the story of every country's industrial development since the British industrial revolution. Bread comes first, clean water and air come second. For rich western countries to forget that and demand that China and India put environment ahead of pulling people out of poverty is myopic at best and, realistically, highly hypocritical.
Just to make sure I get this right - to make sure their team wouldn't get overwhelmed with work (how exactly? It's not like the demand for cable wiring would be too different at the end of a year in a frictionless system) they not only decided to create busywork for other departments, but this design also blew up impacting the entire company?
Do you know if there were any consequences for whoever created this monstrosity?
Can you give an example of what you mean by "extensible" here?
Forecasting revenue without using a satellite
Deepfakes: The next big enterprise cyberthreat vector?
I don't see how this is a good change, it's like, back to 1994 utf-8
Mock meat foods are a great way for restaurants to easily serve vegetarian or vegan plates with a simple substitution. They also make a massive number of recipes accessible to vegetarians or vegans. They also lower the barrier to entry for meat eaters to convert to eating less meat. I think they're really great in many ways.

Downsides: they are highly processed, currently expensive, and of questionable nutritional value.
Living in Russia is always associated with the Soviet union, like China is always associated with the Communist government. But communism has formed a very small part of these countries' histories. I wonder why the focus on just the communist aspects of these countries.
It's not just semantics. A "corporation" is a very specific thing which operates in a certain way because of the way it is defined legally. Without the legal fiction of the "corporation" groups of people could (and would) still cooperate to form businesses, but now the individual owners would not be artificially shielded from legal liability for the outcomes of the businesses actions.

IOW, if you, me and 10 other people get together, start a business as a "partnership" and build a bridge that collapses and kills a bunch of people, each of us, as owners, can be held liable individually for the damage/deaths involved. If we form a corporation, references to "piercing the corporate veil" aside, none of us stand to lose anything more than the amount we invested in the corporation. "Corporations" where created specifically to enable businesses to have larger numbers of owners ("investors"), and part of that was achieved by placing that artificial limit on the liability of the individual owners[1]. The reason for this was nominally a Good Thing, because it allowed larger businesses that could take on risks that smaller businesses would not be able to handle. But one can certainly question if that trade-off was justified... and as I argued before, as a distortion of true "free market" principles, this construct would not exist in a world which strictly held to pure laissez-faire / free-market capitalist ideals.

That said, I will say that there is a semantic aspect to all of this... the term "corporation" has a particular legal meaning in modern times, but the word in the popular vernacular, it is used differently in different parts of the world, and the meaning has changed over time. So just to be clear, when I say "corporation" I specifically mean the modern shared-stock / limited-liability corporation which is a legal fiction created by the State, upon registration by the owners.

[1]: https://en.wikipedia.org/wiki/Corporation#Limited_liability
I sympathise, but for better or worse the OED reports that people have been using "literally" to mean "figuratively"* since at least 1769:

> 1769 F. Brooke *Hist. Emily Montague* IV. ccxvii. 83 "He is a fortunate man to be introduced to such a party of fine women at his arrival; it is literally to feed among the lilies."
> 1801 *Spirit of Farmers' Museum* 262 "He is, literally, made up of marechal powder, cravat, and bootees."
> 1825 J. Denniston *Legends Galloway* 99 "Lady Kirkclaugh, who, literally worn to a shadow, died of a broken heart."
> 1863 F. A. Kemble *Jrnl. Resid. Georgian Plantation* 105 "For the last four years..I literally coined money."
> 1876 ‘M. Twain’ *Adventures Tom Sawyer* ii. 20 "And when the middle of the afternoon came, from being a poor poverty-stricken boy in the morning, Tom was literally rolling in wealth."

[*] Or as they, put it, "Used to indicate that some (frequently conventional) metaphorical or hyperbolical expression is to be taken in the strongest admissible sense"
Slight follow up, if you click on the person who posted this article it states they posted it 1 day ago.

Which is it, 2 days, 1 day or 2 hours? #confused

https://i.imgur.com/hxvgh3l.png
Same goes for religion, I guess. Often hard to separate the two, though.
very strange game
I am assuming you mean some sort of Western vegetarian food culture. Vegetarian food cultures that have lasted thousands of years feature everything you've mentioned as lacking.
Has a date been set for when IPv4 will stop being routed?