• opens file in nvim, can edit code immediately, code is processed in the background and info appears after ~30 seconds
• opens Idea project, everything is unresponsive for a minute

Yep, I will stick to nvim.

Romanes eunt domus!

You spelled vim wrong.

But you need 2024 phone to run it.

Yep, I started seeing the new silly puzzle based capcha and even after solving it the page often says ‘you’ve been blocked, fuck off’.

This was written by someone who never dealt with user requests. Typical user not only doesn’t know how to define requirements in a clear way, they also don’t understand limitations of the technology, side effects their changes can cause or different aspects of usability, compatibility and accessibility.

Those are the abilities that limit who can contribute to projects, not coding skills.

So for example you want an adaptive rewind time. Is it on by default? Where is in the settings? How does it interact with current auto-rewind feature (can you enable both at the same time?)? How do you name it so that typical user knows what it does? It’s not that those are difficult questions to answer. It’s that you need think about all that before you start changing code other people will use. Typical users don’t have the knowledge or experience required to do it. And it gets way more complicated with bigger changes.

a >= 0, b >= 0, c >= 0, d >= 0

I think that’s the issue, in the second possible solution one of the parameters is negative :)

This looks great, I didn’t even know it’s possible to solve it this way. I’m glad someone dedicated some time to it. Let’s see if anyone will try solving it in other way.

Yep, that’s correct. I never heard about Z3 and I did it by reverting all the operation. It takes couple of seconds of computer time to solve my way but it took me closer to 7h to figure it out. 1h is impressive.

There are actually two possible solutions because some bits are lost when generating numbers. Can Z3 account for lost bits? Did it come up with just one solution?

It’s locked.

Not a lot of math in this one. At least not in the way I did it.

I was fully expecting to see this https://www.youtube.com/watch?v=4JkIs37a2JE

This is already done in other areas. In many places each bank offering has a single digit risk score. It’s based on your exposure and how volatile the instruments it’s investing in are. Savings account will be 1, stock market closer to 10. You’re signing really complex contract with the bank but the risk can be objectively verified. Same could be done for ToS.

installed a Windows update, (…) and I have Google Chrome set as my default browser

It’s subtle but if you look closely and read between the lines you can see what the real issue is.

There are degrees of privacy.

And what did I say? “Just get extra phone and use some fake google account for android auto and you should be fine”. Kind of like I’m saying that while total privacy is not possible you can find a good compromise, wouldn’t you say?

Privacy and cars are mutually exclusive. If you want privacy use public transport and pay in cash. With cars you have licence plate scanner, cameras and tollbooths everywhere (no to mention that most people drive with their phones on them). “They” will know where were you driving no matter what car you use. The question really is what data are you trying to hide and from who? The obvious thing to do is not to give your data to advertisers. Selling you shit is the whole point of most of the data collection. Just get extra phone and use some fake google account for android auto and you should be fine here. As for car companies all they will gather is some generic data about your driving habits but guess what? Everyone knows this already because driving is not private (again, if you want to hide this use public transport). So yeah, it would be nice for car companies to be more transparent about the data they gather and how they use it but it’s really not a big issue. If you’re paranoid about it then don’t drive. If you’re driving the data your car is leaking though analytics is not your biggest problem.

Even more alternate take: Ukraine got a sympathy win like in Eurovision?

Who even operates them?

You’re not going to believe it but it’s Donal Trump.

You’re mixing AR and VR all the time. VR has a lot of entertainment potential that will be realized once the tech gets better and cheaper, probably fairly soon. For AR to be useful for normal users it will have to replace phones, not PCs. I can see people using it on the subway to browse isntagram or while walking for navigation and answering calls. For this it will have to become super small and light, just like normal glasses. Vision pro is 600g + battery pack. We’re decades away from something that will be able to compete with phones.

Ok, I see how you could get confused and think we’re talking about some non-existing, future product instead of the device this post is actually about. No problem, this happens.

When it comes to AR in general Magic Leap was pushing it hard for a very long time and after they released actual device their value quickly dropped. AR for general public is a gimmick, it doesn’t solve any problems, no one wants it. It has very interesting applications in some very specific fields and definitely will find it uses with professionals but when it comes to your dream of looking at 15 4k screens while sitting on a toilet most people are happy with just their phones.

Sure as long as ‘all the virtual monitors you might ever want’ is exactly one monitor. You do know that Vision Pro can only simulate one display when working with a Mac? We’re talking about specific device not some imaginary thing Apple will release 10 years from now. Jesus, Mac fanboys are just the worst…