It’s a cultural thing. In Poland because of the climate, central heating and probably some other habits everyone has a carpet so you take your shoes off because carpets are hard to clean. In Spain because of the climate you don’t have carpets because stone floors help cool the apartment down. Bare stone floors are easy to clean and are cold during winter so you keep your shoes on.

Depends who’s protesting and what’s the support for the protests among general population. The problem with most of the protests you see is that the people that do the protesting are the same people that oppose the government. So yeah, no government is going to react to protests done by people that don’t vote for it, no matter how big. If the actual people that got the government elected protest or support the protest then they listen. Of course most of the time people know what they are voting and the government is doing exactly what it promised so they will not protest.

• 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.

Languages don’t care about complexity. Look at Polish. It’s like it makes things complex on purpose. Language evolution is not only about simplifying thing. It’s also about conveying meaning and will adapt to the culture that uses it.

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.

Reminds me of a joke: A guy walks down the street and mumbles to himself angrily: You cook every fucking day but no one ever calls you a cook. You fix your car all the time but people never call you a mechanic. You have a small garden and grow your own food but when people see you they don’t say “Hey, farmer!”. But you rape someone one single time…

But seriously, for the same reason you don’t ban drunk drivers from driving for life or shoplifter from shopping. People have to function in society somehow, even if they did terrible things in the past.

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.

It’s been a month but for anyone finding this thread… Pocketbook is a good alternative (pocketbookstore.com). I had one for years and it was doing great but I stepped on it like an idiot… The base model is cheaper than Kobo and has all the same features + buttons.

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.

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…

read some news, take some notes, write them into a document… while still sipping your coffee,

Because I cannot sip at my coffee while looking at my monitor? What a strange idea.