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

What you said (if I understand you correctly, you didn’t give any examples) boils down to breaking standards established by the current browsers. The standards that web developers and servers universally follow. If you want to build browser that will not follow standards you might just as well render HTML in non-standars ways. Most pages will not work anyway.

What is it about then? Rendering HTML and CSS in a new, fun way?

Ok, so what do you want your 4th, new browser to do differently? What’s so different about it that you can’t build it on top of Gecko?

he internet is in desperate need of an alternative to the Chrome/Mozilla/Safari trio.

No it’s not. You have lots and lots of different browsers. Do we need another browser engine? Also not. They all do the same thing so while it’s good to have some competition we definitely don’t need yet another one.

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

I used rust as a backend for a simple web app (axum and sea-orm), did some scripting for integrating couple of service (simple REST calls and some data processing) and recently I’ve been learning to build desktop apps using Tauri and Leptos. All personal projects so far but I contributed to one Leptos library a bit. Lemmy looks like interesting next step but there’s always another project I would like to do and not enough time :)

Sounds interesting. I’ve been programming in rust for some time now but didn’t get to looking at lemmy’s codebase yet. This would motivate me to do it.

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.

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.

You don’t know what effort is needed to update an app for Vision Pro. For most apps it’s probably just marking a checkbox in the XCode and releasing an update. What special features will you add to PCalc? It will just float in front of you like every other app. Do you need to write any special code to make it work on Vision Pro?