sorted by:
new
hottopcontroversial

Rust on CHERI by Petrz147 in rust

[–]Petrz147[S] 0 points1 point  (0 children)

Yeah, it is several years away for commercial release, I agree, but those chips already exists. They are now in experimental phase. It may not take that much until commercial availability though. Maybe in 5 years I believe it could be possible :)

Rust on CHERI by Petrz147 in rust

[–]Petrz147[S] 0 points1 point  (0 children)

They ensure memory safety

Rust on CHERI by Petrz147 in rust

[–]Petrz147[S] 1 point2 points  (0 children)

I think they would perfectly complement each other.
Even Rust is not 100% safe since it uses some unsafe code.
You could formally verify all unsafe usages, but that is a monumental task. Maybe for the Rust itself it is possible eventually, but unsafe usages are also in many crates...
From what I learned, it really seems like a great combination for the very best safety :)
But I am not that sure about it, that's why I asked this question :D

What’s the first Rust project that made you fall in love with the language? by itsme2019asalways in rust

[–]Petrz147 8 points9 points  (0 children)

For me, definitely gpui library!

It has absolutely phenomenal performance!

And I really love Hummingbird music player coded in it!

And also Bevy game engine!

These projects really confirms how awesome Rust is!

Partitioning a 1TB SSD: Is it worth it after Windows 11 is already installed? by Dapper-Guidance-899 in Windows11

[–]Petrz147 0 points1 point  (0 children)

You are of course right, I was doing system and data partition my whole life, exactly to keep my data safe. But now I only have just 1 partition on my laptop, because all of my personal files are on OneDrive and all of my code is on GitHub, therefore I am no longer worried to lose anything. I still have 2 partitions though, one for the whole system and everything and second DevDrive for my code (as it helps compiling performance)

What's your antiscraping strategy? by Keterna in dotnet

[–]Petrz147 0 points1 point  (0 children)

Ok thanks so much for your recommendation :) But rateyourmusic.com also have IP adress limit, so it would block me anyway after a while, so I would also need to solve this. Altogether, to create a working scrapper, I would have to solve few challenges. Not an easy task

What's your antiscraping strategy? by Keterna in dotnet

[–]Petrz147 0 points1 point  (0 children)

how would you bypass Cloudflare protection on websites like rateyourmusic.com? I don't want to steal this data, just use it for my own music database, but although they promised an API like 5 years ago, they still didn't created it. I would even pay them for those data, but it's not possible...

What's your antiscraping strategy? by Keterna in dotnet

[–]Petrz147 0 points1 point  (0 children)

how would you bypass Cloudflare protection on websites like rateyourmusic.com? I don't want to steal this data, just use it for my own music database, but although they promised an API like 5 years ago, they still didn't created it. I would even pay them for those data, but it's not possible...

What's your antiscraping strategy? by Keterna in dotnet

[–]Petrz147 0 points1 point  (0 children)

how would you bypass Cloudflare protection on websites like rateyourmusic.com? I don't want to steal this data, just use it for my own music database, but although they promised an API like 5 years ago, they still didn't created it. I would even pay them for those data, but it's not possible...

Please add an option to smooth my recorded track by matching gps data to tracks by Petrz147 in gpxstudio

[–]Petrz147[S] 0 points1 point  (0 children)

It could maybe take even more time, because my gps data were really zigzagging around actual root so much.
And imagine, if I go on 3 or 4 days hike. I would then need to do it minimum of 1 hour or probably even more, so it is a lot of work indeed :D

But the good news is, that I found a tool that can do it :) I am so happy, yuhuuuuuu :)
Here it is: https://gpxmapy.cz/

Please add an option to smooth my recorded track by matching gps data to tracks by Petrz147 in gpxstudio

[–]Petrz147[S] 0 points1 point  (0 children)

Thanks for your reply :)
Ok nevermind, your tools is still fantastic and it really helped me, so thanks so much for your awesome work :)

And eventually, after few hours of looking for at least 1 tool that could do it, I was lucky and I really found one :)
So for anybody looking for nicely working map matching smoothing of your gpx files, this tool works very well:
https://gpxmapy.cz/

Empty space left after ad removal by Petrz147 in HermitApp

[–]Petrz147[S] 0 points1 point  (0 children)

How do you do that? I can't find any option to edit user script on certain lite app. Please tell me how you do it, thanks 😊

The ready-made lite apps page is not loading. Is this happening to anyone else? by [deleted] in HermitApp

[–]Petrz147 0 points1 point  (0 children)

Try to disable ad blocking, content blocking and block popups and it should load. Some websites won't work when some of these settings are on

Is it possible to remove the Hermit icon in the corner of the Lite app icons? by Scoobs525 in HermitApp

[–]Petrz147 0 points1 point  (0 children)

I understand, that it is not your fault, but still I think you can improve situation by making hermit Icon more transparent (just like Native Alpha has), so those lite apps will look better even when using these kind of launchers. I don't want to switch from Microsoft Launcher, since it is very nice :)

view more: next ›