I know and what I’m saying is that all those project are moving very slowly while projects like GraphneOS/LineageOS already offer open, privacy oriented phones with good hardware and lot’s of apps. This is simply where more effort is going, where we’re seeing more progress and our best chance at getting “Linux phones”.

AOSP. Sad but true.

When first pinephone came out I really believed it’s heading somewhere. It thought that it will be kind of like raspberry Pi (fun, cheap platform to play with) and that we’ll quickly see copycats and it will slowly grow the way Linux on desktop did. AFAIK nothing like this happened. You still can’t get a phone with decent Linux support which for me shows that we’re stuck with android. I think most people that would help Linux phone happen are simply satisfied with LineageOS so there’s no incentive to put as much effort into it as it requires.

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

Eating less. When making dinner I wold make half of what I usually made, for lunch I would only have small things like a salad or soup, I stopped supplementing during/after training with gels and recovery drinks, cut out desserts. Went from 68kg to 63kg in couple of months.

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

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.

You have to many usable laptops laying around. Put an ad on craiglist or something and give them out. I once put an ad like that and exchanged old laptop for a really good chocolate.

I’m never sure if Castro is dead or not. I was sure for very long time that he died already but it would turn out that he’s still there. I also don’t remember any events specifically related to his death. His brother (?) took over and he kind of fizzled out before he died. Or maybe he’s still there? I’m never quite sure. I mean, it’s 2024 now, he’s definitely dead. Or is he?

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 not going to flip. Tolleys derail all the time (ask people living in Wrocław). They can’t go fast enough to flip. It will just stop after couple of meters.

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

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…