skysight-inc/HackerNews huggingface dataset:
"The letter called the billionaire’s public behavior and tweeting “a frequent source of distraction and embarrassment” and asked the company to rein him in"

Lmao thats pretty funny tbh. Employees should be allowed to say what they want but the firing was to be expected and maybe some of the employees learned unfortunately they do not have the power they thought they had.
The questions are dull and generic, but the people come onto the show with an agenda. I like hearing about what they're wanting to talk about, between instances of boring questions.
Agreed. But I’ll add another phenomenon here. A five minute build takes ten minutes, because once you start something else you’ve estimated will take five minutes, you quickly discover that it takes ten, or you forget that you were doing that other thing. So taking four minutes off of a build actually takes 8 minutes off of the expected round trip time.

And that’s not even counting the “what if it fails the first time” tax which can double it again. Especially if it fails 30 seconds in and you don’t check until the end of the expected time. That four minutes can go to fifteen minutes on a really bad day, and that bad day might be a production issue or just trying to get out the door for your anniversary dinner. These are the situations when the light bulb goes on for people.
> This is why formal specifications matter.

The most generous response I could give to that is "Maybe".

You mentioned C and C++ several times, but for C++ what actually happened is that they just shipped a half dozen distinct languages with the name C++ in different years. C++ 98 and C++ 20 are similar languages, but only in the same way that the 1998 Ford Fiesta and the 2020 Ford Fiesta are similar cars. They're occupying the same niche, some of the fittings are familiar, others are not. Many of the parts are different.

Rust has no plans to do that. If you have some code that went on the shelf in 2015 for Rust 1.0 and blow dust off it, it compiles with a brand new Rust compiler today in 2022, and works just fine along side brand new code written today. Actually almost all of it could still be pasted in to new code, although some of it would look a bit unnecessary and clunky to a new Rust programmar, "Grandad -", for example they might ask, "Why are you specifying the type here when it would obviously be inferred correctly anyway?". Well, in 2015 that type wouldn't have been inferred.

> Without a specification how do we know which Rust implementation is correct and which has bugs?

Reading exercise for you: Look up "Pointer Provenance" and read about the problem. Then, read whatever version of C++ "formal specification" you think you're relying on. Huh, it doesn't mention provenance anywhere in this document.

You may need to go back and re-read the stuff you read at this point. This is a difficult problem, and the compiler must care about it deeply to produce reasonable machine code for even fairly simple programs. But the specification doesn't mention it. What does that mean?

I'll save you some time: The compilers do not implement the standard, and they haven't for decades. What they implement resembles the specification but not very closely and never where it conflicts with their duty to generate machine code you'd actually be willing to run. Some C++ programmers are very angry about that, but WG21 shows no sign of doing anything about it decades later. C++ 23 still won't fix the provenance problem, it will once again be kicked into the long grass.

Even aside from provenance and similar issues, C++ is riddled with Soundness bugs where your program is meaningless and basically the compiler, being pragmatic, will do something but it's unspecified what. This type of problem relies on a get out in the C++ Standards Document triggered by the phrase "Ill-formed, no diagnostic required" meaning what you wrote isn't a C++ program and none of the rules in this standard apply but your conforming C++ compiler may not even warn you about this, it might compile your code anyway, even though what (if anything) it does is entirely arbitrary.
I agree. There were certainly abrasive people, trolls, cranks, and every other kind of bad behavior.

But I've known many incredibly helpful people who get called on "salty gatekeeping". In fact I've been called on that myself.
This all depends on how you're approaching the question. Why do you want to read the news?

What do you hope to get out of it? You're absolutely right that the NYT has changed in recent years, but that change has been part of systemic shifts that have affected all of journalism as it existed before the internet.

For most outlets, "the news" is now substantially more infotainment and in-group sermonizing than it used to be. Buzzfeed-y clickbait and Facebook-y rageporn juice engagement numbers like little else. Competition for your attention online is fierce and, with access to alternatives at the click of a button, audiences have very little appetite to continue reading an outlet that publishes things they don't agree with.

Are you looking to stay abreast of conversational topics in certain social circles? Are you looking for high-quality information that will help you form more accurate predictions about the world? If so, what types of predictions are most important to you? Economic? Social? Political?

Do you like your facts presented in an editorialized fashion or do you want events to be reported without being nudged to feel one way or another about them? Do you just want a news source that provides fun stuff to read? Do you read the news because you're not very into sports and books are too long? (I've been there in life.) How important are polish and sleek UIs to you? Do you want to read content that goes down easy or do you want to survey a broad set of views on subjects to know what other people are thinking even if some of that makes you angry or confused?

This is maybe not quite what you're looking for, but I'd use this decision as an opportunity to step back and reflect on the bigger question of why you want a subscription to a news publication in the first place.

Once you have the answer to some of those questions, that should help narrow down your search.

If you're interested in some articles that further reflect on changes in the news, I'd recommend these two: https://freddiedeboer.substack.com/p/its-all-just-displaceme... and https://taibbi.substack.com/p/the-news-is-americas-new-relig...
Why does organizing mean you hate your workplace?

Organizing means you want more power, more control.

Also, there are many dimensions to liking or disliking your workplace. You may love the product your working on. You may really like your colleagues. You may also love the office environment. However, you may dislike the amount of vacation days, the lack of ability to work part time or the lack of paternal leave.

Workplaces have literally hundreds of properties, each of which you may like or dislike. So organizing to tweak those you dislike (while, on balance, you actually still like most properties) is very normal.
Will there be a version of this for the College Board type of SAT?
In Canada, it is not. If you don’t join the union, you may still benefit from the union’s bargaining power so you will pay some dues to the union. I would presume this varies per region.
Ah, the ever present amusement of action and consequence.

If you criticize your employer, expect to get fired. Just got fired? What do you care, you don’t like your employer anyway. Just fired everyone smart enough to criticize you? Enjoy your dwindling years with the team of incompetent cronies.

This is a perfect snapshot of the human condition.
That other languages may or may not be as bad as .NET does not make .NET any more or less bad.
Unions !== Socialism

What an ignorant comment
I think the risk scenarios in question are more legal/political than war-related.

As others have noted, the set of safe locations to store an enormous, expensive, extremely fragile collection of uncensored material during a world war is approximately the null set.
Both employment and slavery are by degrees. I think they can be compared, but "employment = slavery" is obviously wrong.
I don't understand why everything needs a citation on every comment on the internet. Imagine you're at lunch with a coworker and they say this.

We go, "Wow, that's pretty interesting. Hope it doesn't happen" and we continue to eat our soup.

I enjoy reading stuff like this without the need for them to publish a study.
So employees compensated by their employer via stock options are entitled to attempt to sabotage their company’s leadership from within without repercussion?
I think the difficulty of following news with any sense of fluency, not to mention more in-depth technical issues like energy and ecology, makes me think that democracy is at its stressing point. Education alone cannot be the answer — unless we think we can educate people to the point of being general experts on such a broad but critical slate of issues like energy, geopolitical strategy, domestic healthcare, etc.

Perhaps the future of democracy is made of voters who subscribe to institutions of intellectual or moral credibility that tell people directly how to vote (churches, policy groups) rather than a firehose of content where you make up your own mind on how to vote. It sounds more anti-intellectual than it is, but many people are already cognitively and emotionally maxed out.
When does it fill gaps? The only way I could possibly see it filling gaps would be for completely non-technical people.
Very niche product but I was happy to find a real use case for 3D printing!
How many pageloads though? How many of the submissions and comments are coming from old reddit? How many of the votes? If you consider the usage/engagement curve is practically guaranteed to be a power curve, you might be surprised or actually not what that 4% translates to.
It was a clearance
While I disagree with the idea that high performers are "allergic" to unions, Kickstarter seems like a project that is pretty much done and is in maintenance mode. Developers are going to be seen as a lot more fungible than at a tech-focused company with hard problems that need to be solved, or lofty ambitions that require a lot of innovation. It doesn't seem like they need high performing individual contributors, they just need competent developers who are able to keep things running, fix bugs and make minor enhancements.
I read this article and a week later came across one of his works (with the signature lemon peel!) at the Met. Would not have been able to recognize him without it. I love how the NYT experiments with different mediums, like their weekly friday news quiz, their stellar cooking app, the crosswords, and now these little art explorations
Based on your comments in this thread alone, I don't think this is the site for you.
Today, yes probably a lot of people participate in hiring decisions. But in 2002, not so much.

If you're actually curious there is a good book on SpaceX early days.

Liftoff: Elon Musk and the Desperate Early Days That Launched SpaceX
https://www.goodreads.com/en/book/show/53402132-liftoff

If you read the book I think you'll agree, desperate is the correct word in the title of that book and Elon did plenty.

I still can't believe they're landing rockets backwards. When I took control systems it was the canonical example of an unstable system. Guess those books need updating. :)
Without regulation, financial systems follow a predictable boom/bust cycle, and in the "bust" phase, there's not much that any individual can do to avoid getting wiped out by cascades of counterparty default.

So, the only reasonable move for an individual is, simply don't participate in the system in the first place, keep your money in the mattress. (Crypto equivalent: hold your own coins).

The problem is, credit actually creates real economic growth. A society that encourages credit via regulation will outcompete a society that leaves it to an unregulated marketplace (and thus disincentivizes individuals from participating).
Author here, thank you for your interest! There are definitely a lot of small design decisions that add up in language design, from using `|` for match cases to avoid double-indentation, to the use of pairs over tuples, to how methods are resolved and chained, it is nice to have others appreciate the small things sometimes :).

I'll avoid posting it here but if you do want to follow ante's development the best place is on its discord which is linked on the github page.
Why would you be happy with a 3% raise any year in tech?
Are you saying the designer didn't design the case where you can uncheck the checkbox because "reasons"? Why wouldn't you be able to undo your action in a habit-tracking app, specifically?
>Disrupting those censorious efforts by firing them is Popper’s Paradox in action.

No, it isn't. Popper's paradox only applies to the speech of parties which use force, rather than speech, to suppress the free speech of others. It was written in the context of Nazi Germany, and warning about the consequences of what is now called "free speech absolutism," when that freedom is co-opted by authoritarians who don't respect it (in other words, people like Elon Musk.)

Trying to suppress speech with more speech is simply how free speech is supposed to work.
You're not supposed to look for ending parentheses in Lisp; getting the right number of them is more or less your editor's job, and they are maximally stacked together like this: )))), as much as the given nesting and indentation permit. Given some (let ..., the closing parenthesis could be the third one in some ))))) sequence; you rarely care which one. If it's not matched in that specific ))))) sequence where you expect, then that's a problem.

)))) is like a ground symbol in a schematic:

(+5V
(+10V
(-10V
(INPUT3 ...))))
----- local "ground" for all the above

(different circuit)
For this to be consistent you have to define access to a Twitter account as more important to ones future freedom of speech than being able to put a roof over your head.
I think "eco fascist" is a ridiculous, dark mirror name calling against people who resist Big Oil and all that goes with it... likely to be a rallying cry for violence against non-violent people, too.. let's be real.
> I'd recommend avoiding the news. As far as I can tell, the news exists to sell ads

The ask in this Ask HN is literally about subscription news, which rarely have ads ( for instance FT do, but they're ads for conferences and stuff they run, so it's kind of acceptable).

> That said, if you still want to read the news and have access to an Apple device, why not consider Apple News+?

Same with Google News/Play, subscribing/unsubscribing is quite easy.
YouTube’s Censorship Is a Threat to the Left
I wouldn't call it socialism, I'd call it entitlement and a misplaced notion of digital agency.

They've been raised by iPads and for reasons we'll soon discover have a disproportionate amount of trust in various "platforms" like TikTok etc.

Adults realize platforms in all forms are a farce and feign agency to attract more users. Some people do leverage things like TikTok to market services and see value add - the issue is when children with half-baked ideas of how society work equate this value add to all matter of things. Including degenerate behavior. The ball keeps rolling from here...
This is true. Job postings linger for close to a year before they can be filled, and in some cases positions will receive literally less than 10 applications over a week. It's even harder for more esoteric positions like data engineer.
Only those that relate to disclosures involving Tesla.
I would imagine the problem for offshore solar farms wouldn't be bigger as for offshore windmills? That is a relatively expensive, but also not that difficult problem today? What did I miss?
I regret making this post, with no context or explanation, and I'd like to avoid making the same mistake in the future. There is always more room to grow.
Because it's not economically viable, yet. It'll happen when it happens.
I upvoted this for contributing a valuable and insightful clarification about how those two statements relate, but the part where you attribute "tactics" and "bias" to the journalist has no direct evidence and reads like a political meme.

You may be convinced of your interpretation, but it's also likely that the journalist isn't rigorous enough to notice the distinction themselves, didn't have access to perfectly comparable figures, or had a deadline to meet and cut corners because they needed to pick up their kid from school.

Never attribute to malice that which blah blah blah...
> Replacing at-will with "just cause", progressive disciplining, with criteria for performance improvement plans.

What does "progressive disciplining" mean? I like the idea of criteria for being pipped, though I wonder if Kickstarter had a pip culture like Amazon.
I guess we should never have outlawed the addition of lead to gasoline?
Haven't met a single person who liked or respected 3ac and the founders (Su Zhu and Kyle Davies). Not only was their investment strategy incredibly irresponsible, but their business conduct was consistently shady.

Good riddance.

PS: don't really think 3ac behavior is representative of crypto trading firms as a whole (Wintermute, Jump etc). A lot of them are highly professional and responsible operations who have weathered the storm just fine and in many cases, have generated nice pnl during this event.
Wasn't this a non-public communication which was leaked?
> Minimum means the least you can do of something. For example, if the minimum amount of dollars you must pay for something is seven, then you cannot pay six dollars or less (you must pay at least seven). You can do more than the minimum, but no less. [0]

[0]: https://simple.wikipedia.org/wiki/Maximum_and_minimum
Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formalized-reasoning up to date. I will add CreuSAT shortly.
The goal is to have an overview of what is actually Rust powered.
Long term goal is to identify best practices and provide usefull common libraries.
There is no equivalency between getting fired because you insulted your boss and getting fired because 20000 hyperonline strangers didn't like your opinion about politics stated outside of work.
This article was one of the most unsatisfying things to read in a while. There's so much misdirection and fluffing up of simple concepts that by the end I just want it to be over.
"Asylum seeker" is a specific term, for example see this UN glossary: https://www.unhcr.org/449267670.pdf. In particular it's not about huddled masses, it's about people escaping violent situations and active persecution. Putting "asylum seeker" in scare quotes and conflating it with general immigration is a right-wing thing to do. If you don't want people to mistake you for a right-wing partisan then consider just saying "immigration" of whatever type you mean.
This is a lot of baseless conjecture tied up with a nice insult at the end.

> The level of entitlement it takes to expect to be paid to undermine the organization that’s paying one ought to be shocking, but it evidently isn’t.

The employees literally wrote a letter saying an individual's actions were undermining the organization. The letter is an exhortation to protect SpaceX (in terms of finance and reputation) from Musk's behavior.
i mean, if Amazon is getting more out of the worker than it costs to keep them around, that's by definition exploitation. it's silly to avoid the word, it's purely material.

how you feel about it is up to you, but the more it sucks for the worker the less they'll like it.

it's important that for most people, "voluntary" in this situation involves the threat of fairly immediate homelessness, hunger, and family separation.

maybe the market will solve this, but i think the market might have a larger appetite for hellish consequences than many of us would like, and we all have to live with them.
This feels a bit more likely to be the end than previous collapses (last time round, the ecosystem wasn't advanced/broken enough to show the sort of contagion hitting it now). On the other hand, never underestimate the ability of fools to be parted from their money; see NFTs, for instance. It's quite likely that there'll be another crypto-y... thing along sooner or later.

It's notable that classical Ponzi schemes come back in the real world from time to time; they just need a very light reskin, and people buy in again. Plausible that the same happens with crypto to some extent.
Any activity has boring aspects. Using the tool to automate such things should be encouraged.

Obviously, linters can produce many false positives--they shouldn't be used blindly.
You're joking right?
He has been killing off pipelines, suspending leases, increasing regulations.

https://www.cnbc.com/2021/01/27/biden-suspends-oil-and-gas-d...
It depends.

In many industries it's a requirement of the bargaining agreement. But many states have passed 'right to work' laws which state you can't be forced.

And still, I know of positions where there are 'union' and 'non-union' people basically doing the same job at companies. Non-union usually comes with a pay bump to offset not having the union benefits.
>But it's only an issues for other connected entities when they are using risky business practices themselves.

I think that's the thrust of the argument. We're about to find out how many DeFi companies are utilizing bad business practices.
“Most technical [documentation] style guides will recommend avoiding first person”

Not even true. They recommend against first person singular.
I think you may be surprised at how many regular everyday people would vote "no" if asked the question "are SpaceX employees members of a literal cult?" Either we're all in on the cult, or you're using hyperbole.
There are also those who simply want their company to honor it's word. The only reason I support unions in tech is that I'm tired of my company violating their own policies to screw over specific individuals (including me).

I would switch if I thought other places wouldn't lie. But it seems to me that all companies do.

You wouldn't buy a house or a new car without a contract. It seems stupid to me to enter a job without a real contract (as opposed the the ones we see now that are basically "we the company make the rules and can change them with or without notice anytime").
Is this mostly caused by people coming to grips with the fact that "crypto" is entirely speculative with no actual value?

"TradFi" at least has a real floor because "real" money (as in: currency that can be exchanged for goods and services) and "real" investments (as in: shares of companies that provide goods/services) do actually exist. Even if significant portions of the market are driven by speculation.

Are we reaching the point where people trading crypto get bored and just... stop?
YouTube’s Censorship Is a Threat to the Right... actually, it's a threat to everybody.
That list is extremely incomplete, and makes it seem like bank runs are happening more lately than ever before. In the 19th century and before they were frequent:

https://www.federalreservehistory.org/essays/banking-panics-...

And the creation of the federal reserve was in reaction to this.

Our contemporary love of deregulation is the most regressive and self-destructive push back into the bad old days I have ever witnessed. Texas, with their blackouts and water shutdowns, are showing America their future, and about half of the country seems to think that's a coming paradise.

I stopped trying to understand it years ago, for the most part. Other than through the facile P.T. Barnum framework, which I don't consider constructive or useful, as much as it seems to be true.
Engagement: Inexplicably goes up 32%
They explicitly call out that the hit box is actually the entire screen - which explains the need for anti-accidental-press guards