skysight-inc/HackerNews huggingface dataset:
Show HN: Convert Cloudformation Templates to Terraform
> This is not realistic. It will not happen. Elon Musk is the founder, chairman, CEO and CTO. He owns 47% of the company and 78% of voting control.

You do realize this was true of most blue chips at some point in history right? Know who those people and their cults are now? No? Right, nobody does.
I’m not familiar with WSJ, how good is there coverage on world news?
At first I thought this was a joke but looking at parent posting history, there is nothing to indicate one way or the other. Gross.
I do NYT Sunday delivery as well as The New Yorker, Economist, and The Atlantic print editions.

I think that I enjoy The Atlantic and The New Yorker the most but Economist and NYT are more information dense.

I mostly read my news in print, offline, and don't bother with the apps except I do like the live coverage on NYT app.
One man's jerk is another man's shitposter.
Thank you for your response - I have a follow-up question: Is "Treat your colleagues that may be different from you with respect" woke culture?
The Coin That Could Wreck Crypto
I'd love to hear Mr. Musk define what he means by the term. I'm not the one claiming to be a free speech absolutist, he is.

I for instance am not a free speech absolutist. I think it's okay to deplatform people who are spreading misinformation about a global pandemic, or an election. But Mr. Musk apparently thinks that's bad.

So, we get to find out where he draws the line that he claims he doesn't have.
I started with desktop linux with KDE2, and KDE3 was... seemingly perfect. I watched some colleagues move to KDE4 when it came out and it felt like a ... mess. I tried it myself for a few days and it was too foreign. Never cared for gnome as a main desktop, although I do recognize gnome foundation did provide a lot of useful software over the years, some of which I used.

Moved to mac for main desktop around 2008. I look back some times and KDE5/plasma/whatever might be worthwhile to check out again. Mac annoyances are piling up over the years, but I suspect it would be "the grass is greener" somewhere else, and I'd find a lot of the KDE annoyances which led to me leave may still be there.
By that logic, we shouldn't be concerned about people living in poverty, because there's other people being shot and killed and raped and tortured in war. How about those activists for the hungry and homeless just stop getting riled up about it, don't they know how much worse war is?
It really bothers me that anti pesticide & herbicide people choose to place their crosshairs on GMOs. The GMO isn't the problem! It's totally throwing the baby out with the bathwater and serves to muddle and confuse the conversation rather than advance their cause of reduced *icide use. There are real benefits to be had from GMO crops. If GMOs weren't demonized as a whole as a proxy for *icide usage maybe there'd have been more research or investment in more, and more useful GMO crops.

[1] Wikipedia has a reasonable listing to start with for what traits existing GMO crops have https://en.wikipedia.org/wiki/List_of_genetically_modified_c...
Okay, but now you have to look at more things.

Also, the ending paren doesn't have anything to help you see what it is on its own.
It's not about "taking their claims at face value", it's highlighting those claims because that's the one thing that might actually make this firing stick. If the claims are accurate, the employees can't claim that the letter was "protected activity" relating to workplace conditions.
Local Warming: how can natural gas utilities decarbonise?
My comment is a response to this quote:

> Define and uniformly respond to all forms of unacceptable behavior. Clearly define what exactly is intended by SpaceX’s “no-asshole” and “zero tolerance” policies and enforce them consistently.

I wasn't keying in on a word "dishonest" (though I believe he knows exactly what he's doing with his crypto/dogecoin musings). I was keying in on "no-asshole" which while subjective, started with tweets like his famous "pedo" comment surrounding the youth soccer team stuck in a cave during floodwater.

> Musk's personal Twitter account

If your tweets impact the market substantially and the majority of your wealth is tied to those stocks, it cannot be considered a personal account. At best a hybrid account of some kind.

Being a public figure is hard, and you lose privileges. Lets not act naive and pretend this is not a well understood phenomenon.
The actual name is "The REAL Green New Deal" (capitalization theirs.)

Hijacking the name of something that already exists by prefixing it with "REAL" activates my spidey-sense. As does, you know, this. Emphases mine.

> As we embark on the transition away from fossil fuels, it's crucial to understand what a renewable energy regime will look like and what that will mean for the new world.

> Contrary to the mainstream myth, what are being called "renewables" are anything but, and neither they nor actual renewable sources of energy can deliver anywhere close to the quantity or quality of energy as fossil fuels.

And this.

> Climate change isn't the problem – overshoot is.

I mean, climate change is obviously caused by something, and that something needs to be addressed. Nobody is arguing otherwise.

The phrase alone suggests some serious hijacking.
If you come for the king, you had better not miss.
No. It won't die. In the same way that memory of the Holocaust won't die (hopefully), or that memory of Putin's invasion of Ukraine won't die (hopefully), or that the memory of the corruption of Donald Trump won't die (hopefully), or the memory of the enslavement of Black human beings in the US won't die (hopefully), or the memory of corrupt policing won't die (hopefully).

“Those who cannot remember the past are condemned to repeat it.” – George Santayana

You have no idea of what tools I or anyone else on here use or don't use. You only know that I use git, which I could be using independently of everything. I could be using git to track my personal thoughts every day and nothing more. I make an effort to source everything I use as ethically as possible, though it is ridiculously difficult in the world of modern technology.
Gosh, yes, this. There was a brief era where websites loaded instantly on those fast network connections, and it was glorious.

It's bananas how slow the web is today on average when you're on a symmetric gigabit connection.
The Gtk file picker has for years offered a notoriously horrendous user experience. A lot of critical functionality is missing in the name of the GNOME people's vaunted simplicity or what-not.

... although reading superkuh's comment, maybe the explanation is more mundane (and sad) than that.
There is a really, accessible, very low hanging fruit technique for stopping weapons working inside areas marked as schools. And it will never happen, it seems.
Yeah people give him the benefit of the doubt that the is meeting his fiduciary obligations because he's CEO. They assume if the CEO does it, it's good for what he wants for his companies. We know it's more about his ego but are we going to argue that fiduciary obligation isn't enforced to people who are obviously part of a death cult?
>It's not suprising that no one from /g/ has made a patch yet.

They did. Apparently the Gnome devs didn't want it. You can get it from the AUR.

https://gist.github.com/Dudemanguy/c172394e30e1e7d0f477ad15c...

https://aur.archlinux.org/packages/gtk3-patched-filechooser-...
EESS: Eternal "Eternal September" September?

Or, to enable infix-nesting, (Eternal (Eternal September) September).

On HN, self-referential irony abides. See https://news.ycombinator.com/item?id=31781040
The EU would 100% enforce that. The EU hits them constantly for their bs.
I’d suggest rather than paying by the hour, Amazon should switch to paying workers by the task. They have the data to work out a profitable rate.

This gives workers the ability to self regulate how lazy or efficient they’d like to be.
I don't think it is zero sum?

Increasing the amount of people means more resource usage, but also more chances for innovation and economies of scale.

Much power in Trump's trade war came from the size of the consumer base
https://www.levernews.com/
While the comment you're replying to is wrong, these empirical studies are ridiculous. Every price has some elasticity, but the fact is that if a worker earns an employer $8 an hour in revenue, they're not going to pay that worker $9 an hour, and if the minimum wage was greater than $8 an hour, then that worker would be out of a job, thus making $0 an hour. The studies about the price elasticity of labor also don't bother to prove that there are real-world benefits beyond the fact that a higher minimum wage sounds good. Being unemployed is not better than making a low wage.
More simply, because I say where the application goes. It absolutely does not get a say in the matter. It's my computer.
This seems interesting, but given that the recommendations in the very first screenshot are >50% “wrong” (“HOW” is not an acronym, “tap” makes no sense in this context), I can only imagine that using this tool would be a huge distraction while writing.
The link was about probiotics causing or contributing to intestinal bacterial overgrowth. It’s a real risk.
Flip it over: if you worked for Apple and wrote and circulated an open letter criticizing Tim Cook's advocacy of LGBTQ rights, what would happen?

I bet you'd be fired.

I said the same thing by the way about the guy who got fired from Google for circulating a misogynistic rant about female engineers. That was also stupid and unprofessional at the very least.

Politics at work can be generally problematic. Political rants at work that criticize leadership or coworkers or are broadly offensive are probably going to get you fired.
I'm sure there are great teams to work for at Amazon. After all it is a large company with many different offices all over that does a lot of different things. However, my naïve estimation is that I am not very likely to land on one of these teams and much more likely to end up in a meat grinder. However, like I said, that is just my perception and I could be wrong. I just don't intend to find out.
> Canada is an interesting choice as a backup location for when the USA becomes unsuitable. Most people will use USA infra to access it, and any sort of war scenario that threatens mainland USA...

Honestly, the Internet Archive is probably toast wherever it is if there's "any sort of war scenario that threatens mainland USA."

I don't think we should kid ourselves that something like the Internet Archive will be able to be preserved over the long term. It's a kind of thing that's bug, fragile, and expensive to maintain. Most of that stuff is destined to be lost eventually, probably sooner than we'd expect.
Did i say they could "spend" that? No. I said:

> that’s $125k per employee of profit

And it is. Gross profit.

I could use one of your numbers, $33B net income, or $60B EBITDA. But using those number accepts the premise that all of that money was allocated correctly, and it's just the 33B left over that is free to be distributed.
I don't think it's that. The government doesn't have an emporium to buy things from. Sometimes they have a real choice like between Amazon and Azure, but most of the time it's one vendor and a few far second place hopefuls.
Yes this was my “trick” before. Right before my NYTimes subscription ends I always take on their $0.25 per month offer but I am not sure if they’re gonna introduce it again this time. Thank you for the advice, I have an Athletic subscription and no idea it is already included in NYTimes. This is a game changer for sure.
+1 They are horrible to work for as an SDE.

I regret my 3 years at Amazon, and wish I had left sooner. When I left for G, ~15 people called/emailed to tell me how I was going to a much better company, including my own manager.

People love to say that its manager dependent, but IMO the default at amazon is the horrible, employee-exploiting culture. So a good team/manager is the exception, and thing will eventually turn to shit.
Yikes, I did. Talk about coasting on autocomplete/correct:)
I was definitely there, as were a bunch of the rest of us. Your experiences are not universal.
Does the proof encompass some sort of proof of amount of RAM consumption in it, presumably bounded by some characteristic of the problem presented?

Regardless, this is very impressive, and one of the first things to raise my eyebrows w.r.t. formal proofs being possibly useful in the real world in a long time. If safe Rust can function as the bridge between the "practical" world and the world of proofs, that alone would be enough to justify Rust's existence.
SpaceX isn't a public company.
Thanks for the correction. I think the overall point still stands though. Maybe the reason we think that mostly only assholes are game changers is because they pushed aside, or wrote out of history, equally capable non-assholes. It's definitely the kind of thing an asshole would do.
In fairness, that explanation also agrees that Musk's extension of "free speech absolutist" extends to apolitical speech and an rights to be heard on social media no matter what corporations might think is inconsistent with his longstanding policy of punishing and trying to silence internal and sometimes external critics of his company...
Which is pretty illiberal.
This is take I don't agree with on a real problem, which is the usefulness of data science in modern business, and for which processes in the business.

I try to explain.

Recommender systems add tremendous value, millions when not billions in revenue, to any retail business, streaming business. Is it by chance that all the online retailers had to set up a recommender system?

A/B tests are not needed? If A/B testing and actions taken looking the results would not be useful, don't you think that business would know it?

Forecasts in business are nearly irrelevant, or rubbish, you say.
Like in the sense that in complex systems is irrelevant to know what's going to happen next, that is better just to play it along at best?
Having worked in companies in media, retail, healthcare, and telco for which forecasting is crucial for planning the use of resources, negotiation of contracts etc., this comment is off-base.

Going from abstract to practical, I have worked recently with one telco giant on one of the services they offer.
Their forecast of subscribers done by drawing a straight line that follows the latest data is making them leave tens of millions on the table each year.
I proposed to make some A/B testing on their "coupon" strategy and they were not interested, preferring to send a "coupon" to everybody and their grandfather because they did not want to study for a week how to set up an experiment.
It is mostly laziness. Clearly to know if A/B testing is working or not (say increase engagement, revenue etc.), one has to try it. But they don't, because they are mentally lazy.

One thing I agree with is that most legacy business are not ready to adopt a data-driven modern way of doing business, due to stiff processes, old-timers that would like to go on with their business like they were doing 30 years ago, and general fear of changing.

The fact that the legacy businesses are still "working" may give the impression that all these data-driven "baloney" is subtracting rather than adding to the business. Why do we need forecasts, they say, I cannot believe that these people want to use data, isn't our expertise enough? Don't you see we are the still among the 5 top companies that do what we do?

But their position in the market is not due to sound business practices, but due to their dominant position in the market. But then the dominant position goes away and the old-timers finally recognize that A/B testing, forecasting etc. combined with domain-knowledge are a plus for the business.

Maybe you don't need 1,000 DS, maybe you need 20 (practitioners, not "researchers"), that depends on the business. Clearly the mom and pop business does not need any data science.
I wish real projects were so simple!

Guidelines like this are operating on something like the Platonic ideal shape of problems. In any real world project, you need to consider the cost of handing a malformed `data` blob downstream, as it's never free.

Architectural model or pattern might be a better word than guideline. You benefit by collecting a catalog of patterns more than you do by trying to internalize guidelines.
> In this case, people fired from SpaceX are still free to speak out about Musk's brand and its influence on SpaceX. Their speech has not been restricted.

The people banned from Twitter are still free to speak about whatever as well. Frankly I think SpaceX's actions limit speech more than a Twitter ban. Ex-Twitter users just have to find a new platform, at their convenience. Fired employees have just had there livelihood taken away and have to drop everything and find something new before their savings run out.

To be clear I think SpaceX was well within it's rights to fire these people, but as consequences go I see firing as far more consequential than a Twitter ban.
Lol what?

I don’t have any obligation to disclose anything, nor is it “prudent”.

Take my comment as you will, from a random person on the internet. I provided context in the quotes and citations I left — none of which you commented on..?

To the point, what are you adding to the discussion with this? Not trying to come across snarky, but I don’t understand.
Subscription to your regional or local newspaper will help you connect more with your community. We have so many wonderful regional newspapers. You can choose from your region.

- Los Angeles Times
- Chicago Tribune
- The Boston Globe
- San Francisco Chronicle
- Miami Herald
- Dallas Observer
- Houston Chronicle
- Denver Post
- Star Tribune
> Firefox Focus, Firefox Suggest, Leanplum or the TV series Mr. Robot extension
It’s worse than addictive, it’s requisite for live in many parts of the US. That didn’t happen by accident.
> - the (all too well-known) file picker issue where when you type something it interprets it as file name filter rather than, you know, the file name you want to save under

I deeply hate this one, it always gets me when I'm saving in a hurry.

And let's not forget about buttons on windows title bars. Someone please tell GTK developers that most of us aren't using tablets; computers with actual keyboards and mice are here to stay for a long time.
No, it does not. This is mentioned as a limitation in the paper (it does, however, handle things like integer overflows correctly). I believe with some suitable extensions, it would be possible to prove invariants like this as well, but IMO functional correctness is a pretty good start!
Hello HN,

I'm back with another side project. This time with a CLI written in python that can aid you in converting Cloudformation Templates to Terraform. It can do about 70% of the work for you and I hope to further improve this percentage if there is interest from the community.
circulate a document criticizing leadership and how they're all wrong.

It didnt say Elon was "all wrong"... it criticized 1 or 2 things. For all we know they agree with the other 99%.

This is a common in these responses defending Elon. They take the letter, turn it into something much much worse.. and then say: dont they deserve to be fired?

The version of the letter youre describing does not exist.
I was wondering why the dot product wasn't 32! Good thing I checked. Also this seems like a cool new language, I need to learn a functional language, I wonder how far this language will go in development.
> hierarchy doesn't exist arbitrarily

Yes, it does.
You are absolutely not allowed to express your thoughts and opinions free of consequence.

I think Elon's a tool, and this is a bad move, but to think someone should be protected from consequence of what they express is absurd.

It's his company, he makes the decisions. The market should respond if that's a big enough deal, and I'm 100% sure that's starting to happen (though it's exceedingly slow in the space domain).
Isn't this just "Freedom of speech is not freedom from consequences"? No one is restricting their ability to speak, they are just restricting their ability to work at SpaceX.

What's the alternative? Does a free speech absolutist need to never make judgements on what he hears from someone's free speech? If I hear a person say he wants to murder me and my family, do I still need to invite him over for Thanksgiving dinner? Aren't I exerting some form of control of over him if I say you can't come into my home?

I think your view of the term "free speech absolutist" may make sense when analyzing the individual word meanings, but doesn't make sense as a phrase, and doesn't align with how self described free speech absolutists view themselves.
Except John Wick has been better than all the Matrix movies but the first
BS. There’s a been a long history of criticizing Musk. His political stance is nothing new.
Do internal survey results and their "anonymous" verbatim count?

I have seen plenty of examples of scathing verbatim against leaders at several different companies. Not to mention poor and declining scores on questions like "I trust my leadership blah blah" year after year on internal employee surveys. Were those people fired, no!
Your conclusion doesn't follow from your premise.

What does follow is that apps should have a library available which allows them to express their positioning desires while accounting for the complications and corner cases.

Even if positioning were centralized, apps should still have been able to tell the WM "This is what I want to happen w.r.t. positioning, try to accommodate me".
There has been supply restrictions caused by older folks not selling and moving to assisted living due to COVID risk and increasing value. Now it's clear value is declining I expect a large chunk of folk who were holding off will sell.
As someone who lives in the US, your description is extremely hyperbolic. If you believe what the news cycles have to say after every incident, sure, but it doesn't really affect everyday life for most people.
This discussion is also interesting wrt the rust verification: https://news.ycombinator.com/item?id=30174827 . Creusot author did comment on it.

Seems like there finally will be alternatives to Ada SPARK.
People who ignore the parts of Europe between the Oder and the Urals when contrasting US and European politics.

Disclaimer: Trying to use this definition prior to the year 2000 is unsupported and will result in some really weird shit.
> Hiring the right people to push the success of SpaceX and Tesla?

I'm obviously not a fan but I agree he likely deserves a lot of credit for this. But at the same time, don't a lot of people participate in hiring decisions throughout a company? The board? Other executives?

It irks me that Musk should get all the credit of what is undeniably a team effort.
> Seems like a channer problem.

Whether you like 4chan or think anybody who goes there is the devil incarnate, using 4chan as your excuse for dismissing such basic functionality as thumbnails in a file picker is deranged. Why not abolish file pickers entirely, since 4chan uses it? In fact lets ban drinking water too, I hear nazis like to drink it. Ban air too, we wouldn't want anybody using it to say something hateful. Is there any insanity "but 4chan exists!" can't be used to justify?
> on two fingers

In which base? Can I use my knuckles?
Intel’s Netburst: Failure Is a Foundation for Success
Wow awesome, I'll try that