|
Any company that returns to full in-office will be adding to the mass resignation. Those companies that don't do this will find it becomes easier to fill open positions.
|
|
|
|
|
It might appear that the tech industry tends to gravitate towards tools, languages and frameworks that are highly flexible by design. An opinion
|
|
|
|
|
The author makes good points. But if an opinionated framework doesn't support something that your application needs, it needs to be flexible enough for you to extend it. If not, you'll have to kludge around it. The more this occurs, the worse things get.
|
|
|
|
|
The service is now generally available in 26 countries, and the company says it already has “millions of active registrations.” So, they'll cancel it soon?
Fool me once, etc.
|
|
|
|
|
Following the completion of critical mirror alignment steps, NASA’s James Webb Space Telescope team expects that Webb’s optical performance will be able to meet or exceed the science goals the observatory was built to achieve. "I can see all obstacles in my way"
|
|
|
|
|
This weekend, an astronomer spotted a small asteroid just hours before the space rock crashed into Earth's atmosphere and met its fiery demise. "You never hear the one that hits you"
|
|
|
|
|
One technique that can provide worthful feedback on the correctness of system designs is model checking. "She's a model and she's looking good"
|
|
|
|
|
Quote: Bounded model checking (BMC) is a contemporary symbolic technique that can analyze large designs in reasonable time. BMC determines whether a model satisfies a certain property expressed in temporal logic, by translating the model checking problem to a propositional satisfiability (SAT) problem, for instance.
Of course the the algorithm they're using is NP-complete[^]. So even with a GPU good luck going beyond toy implementations.
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, weighing all things in the balance of reason?
Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful?
--Zachris Topelius
|
|
|
|
|
The thing I don't get about this kind of approach is how do you know that the model is correct? Maybe it also has to be verified! It's similar to the fantasy of translating natural language specs into code: the problem simply shifts to one of writing unambiguous, correct specs.
|
|
|
|
|
The tech giant has known for years that its Prime subscription sign-up techniques were manipulative but hasn't done much of anything about it. Will they have two days to fix it?
|
|
|
|
|
Just like everybody else's sign up tricks.
|
|
|
|
|
I'd say worse, though some just automatically put you on their mailing list. I use Amazon occasionally and every time have to hunt (more than once) for how to reach the next checkout step without signing up for a free trial of Prime. Even then, they want to give you expedited shipping, so you also have to override that if you're happy to wait a couple of extra days to avoid paying extra.
|
|
|
|
|
So those who aren't signed up are Prime Prime targets?
|
|
|
|
|
So the root of this issue is right in the first paragraph of the article.
Someone at the Federal Trade Commission (FTC) has had it with free trials that turn out not to be so free months later
As I pointed out in my first response, Amazon isn't the only one who does this. Netflix, OnStar, Apple, Google, your local fitness club, etc., are all guilty of this. I hope this is just the start of a more widespread investigation into all these corporate paid signups.
|
|
|
|
|
In fairness, I've yet to see one that didn't clearly state that you'd be charged after the free trial period. When you have to submit credit card details for a "free trial", you know what's up. They're hoping you'll forget to cancel before you're charged, just like auto-renewals. The decent ones send a reminder before it happens so that you can cancel, and the shysters don't.
|
|
|
|
|
|
|
A slew of obsolete modules are slated to be dropped from Python, a possible prelude to a process for keeping the standard library cleaner. Dispose of obsolete APIs in a responsible manner. Do not throw into fire.
|
|
|
|
|
Now that Windows 11 has launched, what’s next for the hybrid office? Is hybrid work where it's only partly powered by gas?
If so, anyone want some spare cabbage and beans?
|
|
|
|
|
A new "What's new in C# 11" post explains new features available in preview with the latest tooling bits: NET 6.0.200 SDK or Visual Studio 2022 v17.1. Just a plain, ordinary attribute in a yellow box?
|
|
|
|
|
It takes only a second to crack the handful of weak keys. Are there more out there? Good thing there aren't many 379 year-old hackers out there
|
|
|
|
|
Go 1.18 marks the culmination of over a decade of design and delivers the features most demanded by developers, says Google. Here's what's new. It collected $200?
|
|
|
|
|
Microsoft packs the search box and home in Windows 10's taskbar with more content. But users can switch it off. 0 items found. Wheeeeee!
And maybe one of those slide whistle noises!
|
|
|
|
|
Careful, they might add the Debbie Downer video with the sad trombone sound.
I’ve given up trying to be calm. However, I am open to feeling slightly less agitated.
|
|
|
|
|
It’s now been 25 years since the first release of Visual Studio in 1997 and such a big milestone deserves a proper celebration. Will there be cake?
I'm sure there's a joke about C# make[^] that could be made, but not by me.
|
|
|
|