skysight-inc/HackerNews huggingface dataset:
What kind of false positives are you seeing with gcc?

Personally I have never seen gcc spitting out a false positive. IMO it's always a good idea to explicitly downcast even if you know that it's 'safe'. That way someone else will see instantly what's going on. The fact that Rust requires it should tell us something.
Surely inexpensive global high speed internet access is a tangible benefit. Even seems to offer a tangible benefit on that camping trip by increasing likelihood that you could contact someone in an emergency. Cell towers for hiker safety could be put in current dead zones. Not to mention as pointed out elsewhere, these aren't visible all the time so you could still enjoy the stars.
> your only storage option is an SD card for primary storage

Hasn't been true for a while now. The Pi 4 can boot from USB storage.
I'll tell ya...whenever I look at that spaceship...

Just to make it official, they should have two circular blast deflectors, on opposite sides of the gantry.
> Which raises the question of why anyone would work, if doing whatever you want and still living a comfortable life was an option.

Let's say you got $20k/yr[0] for free. Do you think you could live comfortably on that? Would you be willing to work to improve your comfort level?

[0] full time US minimum wage with no time off is about $15k/yr
I cooked in professional kitchens for years before becoming a software engineer.

For me, the cumulative stress of the software industry is a lot higher. I can never quite "turn off" and in the long-run it's a lot harder for me to control my psychological stress, than when I was working in a kitchen.

(And of course these are highly subjective, I'd expect nothing less from a psychological phenomenon. Anecdotes will likely be all over the place.)
I knew someone who was mad at their partner because their partner was a software engineer and "didn't work as hard as they do" at a lower skill job, and yet made a lot more money.

I'm not sure where this idea comes from that hard work is as valuable/more valuable than skilled work. But it seems to be a pervasive idea.
I go to a breakfast shop a lot, they lost around 1/2 of their staff permanently due to COVID, It majorly jostled the restaurant sector around here. I asked the owner, "Well, why'd they leave?". He claims "They're getting more on unemployment than if they worked."

Well, why is that the case? Don't you provide them with enough to live on? If they're getting $500 a week from unemployment, that would mean you're paying people less than $24k to work for you, without healthcare or retirement benefits, might I add.

He later stated if minimum wage was $15 an hour, he'd have to raise his prices and lose some staff who aren't efficiently employed time-wise. He stated this like it was a huge negative, but to me, he should pay great employees a great wage to work hard, not have extra employees all of whom are paid poorly to stand around a bit on the downtimes. And anyway, as a customer, I'd happily pay $10 instead of $5 for breakfast, if I had the option to support the employees properly.

$5 vs $10 for us in technology? Many of us make $30 hour, or FAR more, so these $5 differences are much smaller to us than to restaurant workers.
I imagine those who are making 100k (if any) are not the ones leaving.
Anyone who is old enough has seen the misinformation surrounding cannabis and the damage that has caused against people of color.
And how about Christa McAuliffe? She was a career school teacher who had the opportunity to fly on the Challenger. But she was also titled an astronaut.
Flutter vs. React Native vs. Kotlin: Which One Is Driving 2021 and Why?
That's not clear to me; I am not a researcher within the linguistic field.

What is clear is that the hypothesis cannot be some strawman like "every corner of the Japanese language exhibits hard/soft sound symbolism: every grammar construct, every vocabulary item, ...".

How much there has to be to separate a trend from coincidence is beyond me, but ways of quantifying it suggest themselves. For instance, frequency of occurrence of sound-symbolic constructs in speech.

Some pretty common devices fit this pattern. Another one is kara (strong assertion of causality) versus no de (weak assertion of causality). Words like koto, kara, keredomo and the question particle ka come up all the time, as do no, node, noni and so on.
One reason I often hear astrology is not taken seriously by the scientific community, as in findings like 'athletes often have aries rising on their birth chart' are ignored and not evaluated further, is because there is no empirical foundation for the communication of the effects.

https://en.wikipedia.org/wiki/Astrology_and_science
I interpret the author’s difficulties and frustration as a byproduct of a particular misapprehension of Buddhist teachings in modern society. Many modern-day practitioners, both in the east and the west, are under the impression that simply by mechanically practicing mindfulness meditation they will eventually reach a state of enlightenment. Unfortunately, this is a misunderstanding that the Buddha himself addressed in the teachings. The Noble Eightfold Path is at the heart of Buddhist practice, and it’s structured such that “right view” comes in first place, while “right mindfulness” and “right concentration” come at the very end. According to these teachings, it’s impossible to attain the right kind of mindfulness conducive to the cessation of stress without first satisfying the precondition of right view. Without right view, the practitioner is essentially flying blind. The modern mindfulness movement in its zeal to secularize these practices is incapable of accepting the proposition that the right teaching has to be first grasped before embarking on the practice, as this contradicts the purely empiricist approach of mechanically practicing mindfulness with the expectation that this leads to enlightenment. The author’s comments such as “I thought awakening was right around the corner and now feel broken and betrayed” are indicative of such an expectation being broken. The Buddha explains the danger of misconceiving the teachings using the snake simile, in which the Buddha compares the teachings to a snake that has to be first grabbed by the head and then tail. Trying to grab the snake by the tail first will only result in being bitten. This simile can be applied quite literally to the structure of The Noble Eightfold Path, where right view can be interpreted as the head of the snake, and right mindfulness/concentration as the tail.
Well, it's the only thing like it in the world! We are the only country that has a highway network (as in, multilane, graded, exits, safety areas, services, etc.) that runs "from sea to shining sea" and top-to-bottom as well. Literally every city in America can be reached from it and, paramount in its construction, every military base. A design requirement was that military airplanes be able to land on major highways if necessary for military maneuvers.

The interstate helped make America what it is. It created a massive westward expansion even greater than the railroads. It turned San Jose from prune and peach trees into Silicon Valley. It turned Florida from a useless swamp into Miami. It enabled the escape from Detroit that led to that city's bankruptcy. It wiped out countless communities (especially communities of color and rural farm communities) when it skipped over them in its development, or put a pylon right through a local neighborhood.

I think the history of the interstate and what it's become is fascinating. This fab promo video from the construction era shows some of the PR they used to sell it to the public: https://www.youtube.com/watch?v=wnrqUHF5bH8
Thanks for your wishes!
For ratios, We love Alpha Vantage. They are great value for money.
> You (generally speaking) cannot get infected with STIs, pregnant, assaulted, raped, drugged, stabbed, murdered, convicted, jailed - for being a camgirl.

Yes, you can. Plenty of camgirls who start off doing exclusively solo work progress to other types of shows involving other people, which involve all the risks of in-person sex work (because it is that) as well as all the special risks of online sex work (because it is that, too), and presumably they do so because of the systematic incentives of the industry.

> Camgirls - and models - calling themselves "sex workers" is like calling yourself black when you had a great-grandfather who was black.

Given the continued influence of the one-drop rule on views of race by race essentialists on the White side, and that from the Black side the shared identity is mostly one of shared experience of white racism, that's perfectly normal.
Folks are nervous and tense. It was a tense year.
Note that there is a very important property of entangled particles that is hardly ever mentioned in this kind of exposition, which IMHO casts a lot of light on what is really going on, and that is that entangled particles do not self-interfere the way non-entangled particles do. For more details see:

https://flownet.com/ron/QM.pdf
That's a false dichotomy, because those people can go and do something else.

Even if we make an assumption that it IS a zero sum game (and that there are no other jobs), then we're into a wildly different conversation around how we deal with allocating finite resources in a culture that supports property rights, and no one is going to solve that in a hacker news comment chain.
i imagine building the more direct route in the 1970s would have been much cheaper, even after adjusting for inflation
I think that the leverage of automation is so high that we can afford it. Look at how much money the top founders of companies have...

FTR I also think the social safety net should be bare minimum existence, for a single person something like a bunk bed, 3 minimum nutrition meals (simple food like beans, rice etc not steaks...), clothes from a thrift store etc. -- It's more complex when kids are involved because you have to consider that you're essentially growing the future generation so have to consider the repercussions of underinvesting in formation.

This bare minimum would still leave lots to be desired and thusly incentivized (such as money for weed and a tv/netflix) ... But they'd have the time and basic support to do something contributing that only humans can do (at the moment at least) .
It's not clear to me how the OP has interacted with his wife in reality, and I don't have interest in judging them.

In the abstract, though, I think yes, if you see someone being abused repeatedly and you support and encourage them to continue going back to the abusive relationship, you are enabling the abuse.
Three*? That doesn't seem that much of an indictment

* Well four, but one of the mentions of "custom x" is talking about k8s way of doing things.
Are you sure this is true? You can frequently see satellites in the dead of night. Further, they show up quite plainly in non-visible wavelengths like radio or infrared even during the day.
I think you are speaking to one of the core tensions in formal methods. The difference between a specification and an implementation can get blurry. Where formal methods get interesting is statically proving properties about the specification. Take a simple example of a sorting algorithm. The two most commonly proved properties of these algorithms are that they 1) return a permutation of the input list (no items removed or duplicated) and 2) that the output of the list follow some sort of ordering.

One way to look at things is to say the permutation and ordering property checkers are the specification and the actual sorting algorithm is the implementation.

To your point about the specifications being Turing complete, some tools will put restrictions on the specifications to make function termination highly likely. COQ for instance requires that recursive functions be "decreasing in their inputs" AKA that subsequent calls to the same function are passed fewer items or elements than the parent.
Well, if we have a morality of "work is virtue" then obviously it's best to spread that virtue to the most. If we want to spread wealth to the most to avoid social upheaval in the context of that morality, then more people employed would be better over fewer with a living wage.

Of course UBI or other safety net would be a good way to avoid social upheaval as well.
And perhaps that's something that needs to be discussed. I would absolutely love to see street lights be given a sort of 'shield' that reflects them downwards towards the ground. I'd also figure it could require them to use less energy if it reflected downward since so much of the light wouldn't be escaping. Could also go for red wavelengths like they do in some towns near where turtles hatch, so that they don't miss the moonlight needed to guide them to the water. I think there's many ways we could make cities darker while still keeping it light at ground level for pedestrians.

Granted, these are all just speculations on my part, but I feel there's a way somehow.
It’s neither rational nor fact based. The government isn’t “paying people to sit at home” it’s providing the bare semblance of a social safety net (kind of, not really) in the middle of an unprecedented pandemic. Hopefully these changes become permanent because automation continues to decrease the need for workers and wealth inequality continues to pressure the working class at historically high levels.
Good. Kubernetes is a swiss army knife, and I just need a fork and a spoon. Sure, the swiss army knife comes with a fold-out fork and a spoon, but then I have to build up institutional knowledge around where they are, and how to avoid stabbing myself with the adjacent blades.
A 16-Year Old Printer Driver Bug Puts Millions of Windows Users at Risk
I worked in one of the largest grocery store chains in the US for about 8 years before going full time into a PhD program. Almost very problem we had to deal with was caused by one of three things: not enough work hours scheduled, supply chain issues, or not being able to say no to a customer. I actually really liked my job - I got a lot of joy out of making nice displays (I worked in produce), cleaning, organizing, etc. But being forced to be a servant to every customer, no matter how rude, abusive or unreasonable they were, and never being able to confront them without first talking to management was the most dehumanizing part of any job I’ve ever had.
Some folks would say the same thing about software development sucking.

I think it probably depends on which restaurant you work at and on your skill set and ability to thrive in that fast paced environment.

The difference is that software is easier money if you have the knack for that type of work.

But it’s like anything: you have folks who are passionate about cooking but not business savvy. They might be excellent cooks but the potential customers just eat greasy shit and don’t appreciate nuance of vegetables and spices—and so the chefs are at the mercy of substance-less customer demands. How can one be excited about that?

Anyway, I don’t think the folks quitting their jobs fit this category because talented chefs can make a lot more than minimum wage. But it’s still relevant as one must be excited to go to work in the morning.
I think it's also worth noting the extent of time and focus he dedicated to this practice before the negatives appeared.

Putting in 10% of what this guy put in would likely give you measurable benefits without the disassociation risks, unless you already have some mental peculiarities.
Not true. There are multiple grades of water that are used in a semiconductor plant and not all of it needs huges amounts of treatment (like process cooling water). However extracting the heat out of that water tends to cause a lot of evaporation, especially in high temperature climates...thus a lot of makeup water. Some fabs have a goal of 100% recycle, but that is not going to happen. Even small fabs tend to use and discharge hundreds of thousands if not millions of gallons per day.

https://www.oregonlive.com/silicon-forest/2017/08/intel_wate...

Intel in the Portland area uses over 2 billion gallons of water in a single year. Even with their latest recycle plant online, that only cuts their usage by half.
Well, this post is on the top of HN right now.

I think the investment has already paid for itself.
I believe he's making a mistake of separating the liberal arts from professional education.

I was really struck by his quotes from Reagan ("shouldn’t be subsidizing intellectual curiosity") and Obama ("We need more folks in engineering, math, science, technology, computer science"). Don't you want your engineers to be intellectually curious? Are mathematicians really in it because they want to invent new consumer products?

Sure, some do, but a lot of math and hard science are purely functions of curiosity. We spent billions on the Higgs boson, and it's never going to produce anything of value -- except maybe for spinoff of the engineering process.

He seems to want to separate a "how we do it" education from a "why we do it" education. And people with just the former tend to make mediocre engineers. We surely need at least some of them, but the most desirable ones are the ones who want to learn.

And especially, want to learn more about their fellow humans. You don't just write software; you write software for people. We programmers hold the highest respect for the people who write the software for us -- the OS writers, the compiler writers, the algorithm theorists -- and the lowest for the code monkeys who just plug things together.

Even now, there's a lot of discrimination against people who go to coding camps and vo-tech schools. Partly it's because we think of that as the lazy route, it's "lazy" because they haven't done the rest of the crap that a four-year education provides.

I'm all for finding routes around the overwhelming cost of a four-year college education. For starters, move it online -- but not to MOOCs. Move it to live discussion forums where students communicate with each other about the things they're studying -- art, history, language, anthropology, etc etc etc. That can be done at a tiny fraction of the cost and 99% of the benefit.

That massive cost savings could save the humanities degrees. And then we can get into the thornier problem of getting employers to recognize what those graduates can do.
I was acquainted with the person who ran the event and website and let them know about the vulnerability and bought the tickets at the appropriate price after.

He was also storing passwords as plain text (they would email your password when you clicked "lost password?")... which is pretty troubling for a site that was also taking credit card payments.
> In a 2019 Vice article, Davidson suggested that those who have meditation-related difficulties simply aren’t meditating correctly.

> “I think that many of the people who are having difficulty and who are reporting that their problems are exacerbated by meditation are not meditating correctly, to put it simply and coarsely," he said, "Some might even say that they're not meditating. That they think they're meditating, but they're not really meditating.2”

> His notion, contradicted by historical and contemporary accounts, is a fusion of victim-blaming and fundamental attribution error. Unable to entertain the possibility of deficiencies in the mechanism, he blames the meditator.
Shout out to Zig, which requires explicit casting also.
Coordination-Free Database Query Sharding with PostgreSQL
Well, that and also a "nice" programmatic interface.
That wealth increase came from acute government intervention and was mostly ephemeral (look at inflation in car/house prices).

Outside the West, 2020 represented the decisive death of neoliberalism. No one is looking to America for the future anymore.
Yeah, CVS/etc are a special kind of case. They have a lot of the same products as a big box store, even alcohol, (but a limited variety). Because they're so much smaller, they can't justify dedicated resources for loss prevention.

Often times when I visit one of these stores, they have 1 or 2 employees working in the entire store, maybe 3 or 4 during a shift change or busy time. Never more than 2 people on a register.

I think these companies could alleviate the theft problems with more employees, but they don't want to pay the labor costs.
This is why furlough schemes (done for ages in Germany, and much of Western Europe during the pandemic) are a good idea.
Is that worse than the current situation where you accidentally infringe on a dozen patents from the megacorp's warchest and get sued to oblivion if you don't quietly agree to their favorite terms? Is that worse than all the innovation being stifled by agreements requiring work on your own time and dime to belong to your employer? Are first-mover advantages and other sources of natural monopolies not really that important in building your moat? Is intellectual property the right mechanism for limiting megacorp power?

I'm open to the idea of some intellectual property rights remaining (like the "natural rights" you see in a lot of the world, or retaining current trade secret laws), but I still think we'd be in a better place than we are now if the current system were completely abolished.
The idea that companies shouldn't be given the right to business association because their civil rights are less important that the civil rights of others is a moral one.

Civil rights are always in conflict, and which ones you prioritize and how is a moral decision. You can't abdicate that responsibility.

Put another way, why does it violate civil rights to offer a service conditionally, but not to refuse to offer the service at all?

Or in the reverse, why is the government able to regulate my offering of a service conditionally, even though you seem to believe that them compelling me to offer the service in general is a violation of my rights?

Or yet another way: why do you believe that the right of association is less important than the right of speech?

Those are all ultimately moral or ethical questions.
America simply has an issue with construction costs, look at say the big dig in terms of millions per mile. HSR along reasonably flat terrain like most of the US isn’t that expensive. The real issue is it’s very easy to cut from budgets. Unlike highways you don’t connect every city let alone town which makes it extremely unpopular at the state level.
I worked in very busy bars for a number of years. It’s hard sometimes back breaking work but it was certainly much more “fun”. Up until the point where you end up working for penny pinching gradgrinds who see your “fun” as an externality to be eliminated. At least as a software developer I’ve a good bit more leverage around matters of occupational convenience.
More likely Adobe don't want to do the Linux because they would need to have a support department for Linux, it is more money for them to pay the employees to provide technical support for Linux.

Keep in mind, Photoshop been around more than 30 years. They likely to have legacy codes in the software that can turn ugly in Linux. PS have a behemoth codebase, it will take them a while... a long while to port to Linux along with the plugins and everything else.
Fascinating, do you know if protons can exist within neutron stars? That would make it each one an element, right? Or if not, they would all be isotopes of Neutronium?
Statistically speaking, if you have an idea for an app, and there aren't already apps for it, you have an idea that there is no way to make money with.

I'm sure there's a lot of spaces where there's room for a better app, but I can't imagine there's much space left for money-making apps that have no competition today. I believe there are such spaces, but we're probably talking species-wide blind spots at that point, and you probably aren't the first to penetrate whatever the veil is.
No-Code Automation Bridges the Security-Threat Intelligence Gap
Political Science Lab Leaks: Ideas that escape academia can be dangerous