skysight-inc/HackerNews huggingface dataset:
I don't think you want to go down this path. The majority of the workers would likely be a net loss with gains attributable to a much smaller set of workers. I don't think people would like their income clawed back because they didn't end up generate excess wealth for the company.
I got used to type slash(/) which opens file input field when ever I'm pasting file.
You very much CAN send electricity long distance and there's been serious discussion of providing electricity for Europe from north Africa.

Producing hydrogen near the ocean and shipping it on a tanker is another realistic alternative.
Democracy needs no apologies. You are denied choices everyday because society and government have agreed upon those choices. There will always be those upset because they feel their rights are infringed upon.
>the statement from op to be subordinate no matter

"being insubordinate is not a protected class" does not mean "be subordinate no matter what"
What (legal) orders did they defy?
This works in every Finder window; if there's a window with files you can use Quick Look. I'm not sure if it's documented anywhere anymore, but it's been around 15 years.
It's an area of open research, but especially if it doesn't cover 100% of the water body it's fairly benign: https://www.sciencedirect.com/science/article/pii/S136403212...

For instance, birds perch on the panels, turtles loaf on the floats, fish hide from predators under them. It changes the water body, but not in a way that would be different from, say, trees that have fallen halfway into the water and are shading part of the surface.
> ocean currents complicate linking these things together or with big cables back to land

They would be connected by cables to the ocean floor (depends on depth I presume). But the currents shouldn't be an issue. Storms unless there is debris should also be fine (but I don't know what ocean weather is like).

Cables back to land are indeed an issue, especially with high energy. Maybe we'll come up with efficient energy guns, or create fuel on said platforms (hydrogen?).
This simple and unbeatable rule will make you retain employees no matter what:

Treat employees like humans and pay them fairly.
It actually does, if you own the single dominant platform in the space where the conversations are happening.

Speech isn't just about the act of saying, but also being able to be heard. Anyone can whisper to themselves in bed, but that is not speech in the political sense. Being able to speak where nobody hears is doesn't mean you have free speech.
This was asked in the Rust Zulip as well, and is actually the original idea which this thesis evolved from (Xavier said something along the lines of "My supervisor and I have talked about how cool it would be to have a solver which verifies itself").

The short answer is that it should be possible to write a Why3 driver for CreuSAT which allows it to handle basic propositional reasoning, and that one would probably need to add some theories.

The a bit longer answer:

Getting it to work as a backend should probably not be all that hard, and it should probably be possible to make it able to prove some things as well. Getting it to verify itself would probably be very hard. As it stands, the proof needs Alt-Ergo, CVC4 and Z3 (all of which are really good) to pass, and some of the obligations take a long time. A solver capable of verifying itself would (I imagine) have to put much more emphasis on having only simple proofs which were solvable using a minimal amount of theories, and would probably have to run for a very long time. I dunno, would be a fun project, and I guess one could decide after having tried to prove for instance Friday (the super naive solver) if it is at all worth pursuing.
I think the workforce being highly specialized is where this gets tricky. In principle I think firing someone for causing internal strife in someone's judgement as a manager is in accordance to how our economy is structured and is to be expected. We may disagree with the judgement, but it isn't a free speech issue if that person can just go get another job. The 'consequences' to their speech are inconsequential enough that their ability to express themselves is not prohibited even if inconvenient.

But if they can't work anymore because they got fired from the one employer of their skill the consequences are quite severe. They have to learn a new field! Ideally I'd say people with this specialized skill set form a guild or union. The same thing that makes them vulnerable makes their employer vulnerable--the workers of that industry are highly concentrated, with high investment in skill development. Absent that, it's a tricky issue and I think it would be fair to say that at least a warning would have been in order before dismissal.

I don't know if the people Musk fired are in this category or not. If it were an office manager, for example, seems fine. if it is an engineer on some space ship esoterica, ouch.
Erik Brynjolfsson on automation, productivity, work, and the future
People point cameras at their 3d printers for fire safety. A stove is far more dangerous.
Transmission from Arizona or Nevada to California looks reasonable. The cost may be reasonable, too, at least the Nevada part.
Yes. It seems not appreciated by some that price need not move continuously, but it can jump, and it can also go to zero (or if it cannot: no buyer can be found at the smallest possible positive price).
I understand how things get this way, but it is a super easy problem to fix:

1. spin up a new file picker: GTKFilePicker.c

2. add a deprecation warning to gtkfilechooserwidget.c

3. wait 20 years, then git rm gtkfilechooserwidget.c
Now that's interesting, it does look like we can fairly credit Biden for that whole bleach thing. The Trump Curse strikes again!
There never was a leopard fence, though. Capricious firings being the norm have been par for the course in this country for as long as it's been one.

The solution is, of course, employment protections and unionization, but 'free-speech liberals' aren't actually very liberal, and dogmatically hate both of those things.
Yes, their comp plans have changed in the last couple years because the stock isn't as exciting as it used to be. A couple years ago, it wasn't like this.
> In fact, basically I would say that if you're going to claim that the US laws and legal system won't give you a fair trial, you're essentially saying that there is no legal system in the world where you can get a fair trial

Team america, world police.
Yeah, although the negotions between insurance companies and providers theoretically should approach a functioning market.

It painfully obviously does not. It is literally a market with both buyer and seller colluding to raise the prices!

Why? A few reasons. Insurance profit is capped as a percentage of expenditure, so if they think there is more money they could extract from the insurance customers total if things cost more, it is in the insurance company's interest for prices to go up. Providers are not going to balk at getting mopre money.

This is only one of the many ways the system is screwed. The fact that medical billing coders need to customize the codes they submit for the exact same procdure to depending on what insurance company it is being sent to (for example, this is common for a procedure that is not a perfect fit for any standardized codes, or where some insurers are still using the older revisions of the medical coding standards, etc) and other similar nonsense also artificially inflates costs.

Basically everything about the system from top the bottom seems to be designed to prevent market based price discovery from working well.
Trump is a one-and-done I hope. He is not playing on anyone's team other than his own and Putin's.
Yeah I actually read their shareholders letter, it seems that their Net loss is ~400mil. Which to be fair doesn't seem to be alarming since they were still in their hyper growth phase in Q1. I'd assume their revenue will go down from 1bil to like 650mil at the worst, and their general costs will probably go down too, to around 1bil maybe a bit less too but who knows.
I created a `beep` alias that just does `echo "\x07\x07\x07"` which triggers the system notification sound three times.

Then if I have a command that will take a while, like a stupidly long `git status`, I do `git status && beep`.
Their current minimum is 0%. I suspect "you get a 3% raise this year" will be treated the same way "you get a 0% raise this year" is.
The final version will have passenger windows, this is just a prototype.
I would love this in cars one day. Getting into an unbearable hot car on a summer day would be a thing of the past.
How many pro immigration leftists live their life as if its no more valuable than anyone else's? .001% maybe.If you wanted to help the global poor sending them American dollars would go a lot further in their own country
> I really don't see what good that is when considered in the greater context of the Linux desktop paradigm, wherein any application running under your user almost certainly has write access to your entire $HOME, including the ability to tamper with your shell configuration, edit your $PATH, and do all manner of nasty subversive shit. To get any real security benefit from Wayland over X, you'd have to abandon the entire Linux desktop paradigm and use a completely new ecosystem as different from the traditional linux desktop as Android is.

It doesn’t require changes as deep as you’re implying (although I would say moving away from the traditional UNIX permissions model would ultimately be a good thing). It can be beneficial with existing application confinement mechanisms like Flatpak. You can restrict a Flatpak app from accessing your $HOME, but if it’s given access to your X server it has a lot more access than it likely needs. My understanding is the situation is better with Wayland, provided you only give it access to the Wayland socket and not the X11 socket.
even that is gone. when montreal and ontario offers significant tax rebates, it just doesn't make sense to do it in vancouver
4T is a big number but when I look at the details it all seems very reasonable: https://en.wikipedia.org/wiki/Build_Back_Better_Plan#Origina...

Honest question: How are we supposed to maintain our civilization without some government spending?

Is climate change going to fix itself? Is our infrastructure going to modernize itself? We need to migrate to EVs and build out energy infrastructure.

What is going to happen to aging and disabled people? The current answer appears to be to have them live in the streets.

The country's 1% currently own 70% of the wealth. I think they can handle some taxation, especially when those taxes are going to be used to modernize our infrastructure.
That's a problem with elected officials/regulatory agencies.

I'm a strong believer that government's number one priority should be to maintain a competitive market, as in the long run that produces the best outcomes for broader society.

Unfortunately they've failed quite badly at it. Especially in regards to big tech.

Important to direct ire towards those that are responsible, representatives need to be held accountable
Wow, the hover states in the second link are incredible. They feel "just right".

> I also happen to be quite proud of the hover states on my own site

Those are nice as well, though I'm not sure why the button animation is so delayed. It felt like I missed the button with the cursor until it suddenly started wiggling.
The Economist and only read the print edition.
Congratulations you are the 1 millionth person on Hacker News to say "speed run the history of traditional finance"
> Yes, programs such as this, like in Switzerland (well, I think you gotta do it yourself there, still), have totally ended the homelessness and drug addiction problems.

Eh, we're not there yet in any locale. Assisted suicide in certain limited cases can only be a first step, and it may take quite long time for similar solutions to roll out and be common in other areas.
Genuinely asking - any reading on the (scientific) understanding of organisations / collective action? (actually writing a book on software literacy and this is cropping up)
We're not allowed to know if food has Roundup in it. The only clue is that if it is not GMO it probably doesn't have Roundup. If you're pro-GMO you should be pro-labeling of agricultural chemicals in foods.
> you'd need to use kilotons of water a day, which is usually hard in a desert

North Africa, India, Australia and other have deserts right next to the ocean.
> Can you provide links to websites that engineers get paid 100k in Germany?
>
> My impression is that it’s around 50k. That’s what, for example, car companies or top R & D places pay the best graduates from TUM (I am talking about PhDs with years of experience in advanced engineering).

I am not familiar with the German market so I wouldn't know. I lead software engineering at a small startup in the US and talk with other CTOs. I think at this point, a lot of US startups will consider any talent anywhere in the world and the exception being legality (for example, companies with clients in the public sector). Salary-wise, it depends on seniority. A very senior engineer could reach Bay Area salaries and I know a few (exception?) who far exceeds those levels. Due to the nature of remote work, junior engineers will have a tougher time so location will definitely be a factor.
The republican committees spent YEARS and 10s of millions of dollars trying to get something solid and failed miserably beyond painting her as the average democrat politician. I found it both sad and hilarious.
A bunch of crypto fintechs had lent to 3AC are in a spot of bother.

https://www.ft.com/content/126d8b02-f06a-4fd9-a57b-9f4ceab3d...
Holy crap those are some insane dues! I had a similar experience working for a grocery store at that age. I am pro-union since I have seen the good it does for trades, but it seemed scummy trying to convince me to join the union as a kid who was on his parents insurance at the time and didn't need benefits.
>figure out that they are getting a bad deal.

That's not what it's "really saying". That's you adding analysis.

I think hourly workers are perfectly capable of figuring out if a job is a good or bad deal for them.

They have bills and payments that must be made or they will suffer real consequences. They aren't making employment decisions based on free soda, foosball tables, and the political affiliation of the CEO.
You're certainly glad that your uber driver can't be suddenly promoted to airline pilot though, right?
Prototype can hold 6 passengers. The design can scale up to 19, but "the low-drag laminar flow model relies on a width-to-length ratio that'd be impractical in a bigger bird" so it won't work for airline use.
Yep it’s a churn n burn shop.
The downside is that novel technologies (eg. GMOs) take forever to get approved.
This is 75% housing prices, 24% people leaving who never wanted to be there in the first place but moved for tech jobs, and 1% human excrement.

You can't fool me about Boise. I've been there.
I had the exact same reaction. This needs to be about 3 times faster in order for me to not to be annoyed by it, and that's why gamifying things that aren't games is usually obnoxious. If this is an interface for an actual game, meant to entertain, fine. If this was in some productivity software, it would annoy me at first, and then really piss me off after the 10th time I saw it or had to get past it to do what I want.

It reminds of Apple's Siri and its grating cuteness in failure modes. Or of the Wordpress login box that gives me a cute shaking animation if the input is wrong.
> I think this is related to racism.

I don't know the author's cultural background, although I would guess they are from either the U.K. or France (their name is Breton in origin). It is at best straining the definition of racism to claim that it is racist to be more familiar with one's own culture (including it's historical influences) than with a foreign culture.

It is sad to hear that you were belittled for your name (that is racist) but it is not because of racism that Westerners are generally unfamiliar with the gods of the Aztec.
> Criticize internally all you want, and influence the changes that you want to see happen

Which is what they did.

All indications point to Tesla and SpaceX not being very open to 'change' initiatives that are employee-initiated.

Good job firing the employees that actually try to give a damn. The yes people are quiet and will stay. That's how you kill a company, slowly.
> If the whole union will quit unanimously if they do that, then they have effective monopoly power over labor for the company.

This is no different from having to accept any other company policies.

A company has a monopoly on its own policies, including whether joining a union is required.
There are extradition treaties between all those countries so yeah extradition happens lmao.
Yeah honestly, I feel like it has been handled the best with the public perception, and the way the twitter fiasco has been handled. However, I really feel the CPO (Chief Product Officer) really needs to get through some more concrete expectations and roadmaps. With the amount he's being paid his general perception around the company doesn't seem to be too hot.
Maybe I misunderstood.
After rereading, I think so...

I thought you wanted to distributed a shared library im one package and then have other packages depend on that.

So it's not clear to me what your actual Situation is
Some passenger jets have had this for a while, giving you various views from the seatback screen. Not sure which airlines or jets but I've definitely heard of it.
Keep in mind just how limited those protections are in a ton of states. FL might as well not have an unemployment program for how much that has been gutted and made almost impossible to access.
that's the thing, they don't break free without some exogenous factor that forces a total reckoning. e.g. China with opium, getting humiliated by western powers in the opium wars. this sort of thing always marks the end of a declining empire. even after the opium wars, it took a century before resurgence. stuff like trafficking drugs in China now are punishable by death, they've learned their lesson for sure.
Gens A-Z would all like to be selectively anonymous, and pseudonymous, and untracked online. I remember when Facebook declared very early on that they were going to solve the ‘problem’ of anonymity online, and I could not believe that people thought that this was a good idea. I realize that advertisers asked for it, and Investors demanded it, but I don’t see how it even helped them. For all their expensive and elaborate Orwellian surveillance capitalism, their ads still don’t work, and search keyword or content-based ads still do.
"Power flows from the barrel of a gun": broke
"Power flows from not being chatty with your coworkers": woke
Huh, I didn't know that was a thing. At a super high level glance I suspect yes.
It's a funny point. If I were having some argument with the neighbor and the plumber gave me shit about it...to be honest, I'd be super-annoyed and while I wouldn't fire the plumber (it's difficult to get plumbers on site!), I probably wouldn't have him back.

Your point is a good one though, to continue the analogy, the plumber shouldn't want to come back. Erratic and volatile bosses are best avoided. I prefer it when they do this stuff loudly and in public so I can know to avoid them.
UK plan to scrap cookie consent boxes will make it ‘easier to spy’ on web users
>>“If we continue business as usual, Amazon will deplete the available labor supply in the US network by 2024”

At what price point?

Offering what working conditions?

>> "...the Amazon Way of management, which emphasizes worker productivity over just about everything else and churns through the equivalent of its entire front-line workforce year after year."

Perhaps they should stop doing business as usual and pay better wages, and benefits?

Perhaps they should stop doing business as usual and make better rules that are not attempting to run employees like running machines at 105% of redline for every shift, e.g., so they don't have to make a choice between making their performance numbers and urinating in a bottle in the delivery truck?

These are likely seen as crazy ideas, but perhaps they should get ahead of the curve and make an attractive place to work instead of trying to treat Charlie Chaplin's movie Modern Times as a "How To Manage" work...

The combination of arrogance and utter out-of-touch cluelessness of management/MBAs, thinking everything runs just on their numbers, never ceases to amaze. Just because you can optimize one or two numeric parameters does not mean you are getting closer to your goal.
I suspect compliance for federal workers is very high, pardon the pun. Your average Joe fed is not going to be treated the same if they are caught using drugs vs elon being caught using drugs.
It seems openly is just a folder with rules on your hard drive. Vale is also offline ... don't really understand your comment.

I would not use anything closed source and bloated as Word. I wrote my BSc. thesis in it in the 2000s. Could not open it correctly anymore after 5 years. It took ages to open.

Switched to vim and latex for my master and phd thesis. Never looked back ...
And the right to determine the terms with with you negotiate away your labor is among the most sacred.

Letting others do that for you is much closer to indentured servitude or slavery.

The problem with all of these collectivsts' arguments is that they all believe themselves to be in their utopia's social planning committee rather than themselves a laborer. And that's if they made it past the "shoot all the troublemakers" phase of their revolution.
This actually seems like a structural weakness in cloud, where so much of revenue comes from the relatively few customers who are very deep in their usage. On the other hand, you can usually rely on close relationships with those customers to identify their significant needs. However, it might be harden to implement them without the bench of deeply knowledgeable engineers.
Jai has this as an explicit goal.

Zig has closely aligned goals.
I've had a 7T since they came out. I've never had it crash or do anything super odd. The one OS complaint I've had since day one is the auto-dimming being way too agressive and never "learning" what I want. Annoying for sure, not sure its a bug though.

As to charging, think they were one of the first (maybe the first) with the high speed charging. But I can charge it from any old charger, just not as fast.
"Maybe we'll come up with efficient energy guns"

Very likely not. Creating fuel seems more practical, but anchoring floating objects is a known problem as well.
Should hot girls be forced to date ugly guys?
>Proofs are (currently) based on resolution

Proofs are actually based on a practical version of extended resolution [1] called DRAT. Extended resolution is an extremely strong proof system, and research on techniques that are not efficiently modelled by resolution are in fact being prioritised (see for instance [2]). This is not to say that CreuSAT is not very impressive, but just a correction on the current state of the things.

[1]: https://en.wikipedia.org/wiki/Frege_system#Extended_Frege_sy...

[2]: https://link.springer.com/chapter/10.1007/978-3-642-31365-3_...
California address.
That only matter for the productivity team and that group gets fired because they are below their metrics. The hiring group just raised wages and they are doing all they can. The profitability group needs to get the numbers back on track and does the firing.

Isolated the decisions make sense.
As a technical writer, I use Vale every day. It helps protect consistency and style. I wrote a brief tutorial here: https://passo.uno/posts/first-steps-with-the-vale-prose-lint...
In my experience, also with some older hardware: Windows 10 is not happy with just 8 GB of RAM, much less 4 GB.

I mean, everyone uses a browser, even if they use nothing else, and browsers gobble up RAM like crazy.