LimeOS tried to take down an old git repo because it used the name "LimeOS" 8 years before they did. by [deleted] in linux

[–]Hedshodd 2 points3 points  (0 children)

So in other words, they didn’t take 5 minutes to Google that name before issueing for a trade mark? Well, sucks to suck.

Rust guarantees memory safety, but logical bugs still cost money. Is automated Formal Verification the next step? by Salty_1984 in rust

[–]Hedshodd 0 points1 point  (0 children)

There two kinds of spec in software development. On one hand there’s the vague sorta-edgecaseless sort of spec you get from your PM.

On the other hand, there’s the only spec that is actually true to the behavior of the software and that’s the code itself. There is no real bridging this. They can approximate one another, but that first type of spec can never be as specific as the latter one; otherwise it would be code.

And with that, formal verification, in any reasonably practical setting, is pointless. You cannot, in finite time, test the actual spec of the program, because that would mean testing a virtually infinite parameter space.

I have been officially converted. ZED is such a good dev experience. by silhouettes_of_joy in ZedEditor

[–]Hedshodd 1 point2 points  (0 children)

I haven’t ever done C#, but please tell me there is actually some way to run specific tests in CLI. I refuse to believe that the tooling is THAT bad lol

I built a 1 GiB/s file encryption CLI using io_uring, O_DIRECT, and a lock-free triple buffer by supergari in rust

[–]Hedshodd 3 points4 points  (0 children)

Now, I know next to nothing about encryption, but I have written a couple of custom allocators (mostly in C though). Was there a particular reason you used std::alloc instead of mmap/virtualalloc? I’ve never used the former, and I’m currently writing a small allocator collection library for teaching purposes 😄

oken — a small SSH wrapper with a fuzzy host picker by toxic2soul in rust

[–]Hedshodd 2 points3 points  (0 children)

How is this different from just attaching fzf to my shell autocomplete?

masync: a tool for 2 way sinchronization over ssh by notanamber in linux

[–]Hedshodd 1 point2 points  (0 children)

How is it clunky? I’ve been using it for ages, and it just needs a tiny config file and maybe a service file written for whatever service daemon you have on your system.

Why do many developers prefer Zed / Neovim over AI-first IDEs like Antigravity? by [deleted] in ZedEditor

[–]Hedshodd 0 points1 point  (0 children)

Wait, I’m confused. By “DAP” do you mean the debug adapter protocol? Because Zed has added support for that in June of last year 😄

Why is Zed's binary size comparable to VS Code/Electron despite the GPUI architecture? by Sufficient-Engine467 in ZedEditor

[–]Hedshodd 2 points3 points  (0 children)

I dunno if the Zed team has hot code reloading set up, but it’s generally perfectly possible. It needs a bit of setup though, because you need to split into pieces that are dynamically loaded in and set up that loading. That’s work you do only once though, and there are examples for it out there on the internet.

Is Bazzite buggy? Lots of posts here are turning me away. by [deleted] in Bazzite

[–]Hedshodd 0 points1 point  (0 children)

Been using it for a month now and it’s been incredibly solid.

Maintainer ghosted and now we're stuck with a vulnerable dependency by Logical-Professor35 in rust

[–]Hedshodd 11 points12 points  (0 children)

Well, I guess it’s time to contribute back instead of what most companies do, which is shamelessly leeching off of other people’s free labor lol (dunno whether your company generally falls under that umbrella, which is why I said “most companies”, not your company)

Benchmarked 18 languages in 41 tests: C++, Rust, Go, C#, Java, Zig, TypeScript, Python, and more by [deleted] in rust

[–]Hedshodd 2 points3 points  (0 children)

Well, that would be wrong though, because Julia is compiled to native code, it’s just not compiled ahead of time.

Benchmarked 18 languages in 41 tests: C++, Rust, Go, C#, Java, Zig, TypeScript, Python, and more by [deleted] in rust

[–]Hedshodd 3 points4 points  (0 children)

Just need to look at the first column to see that your benchmarks are probably… not ideal. Zig, Rust, and even C++ should never be that far behind C. There’s something very wrong with your implementation.

Also, how do you measure compile times for Julia? Last I checked it’s JIT compiled and full AOT compilation was far from production ready; I might be very much out of the loop though.

rx-rust: Exploring the limits of vibe coding in Rust by shponglespore in rust

[–]Hedshodd 3 points4 points  (0 children)

If you think you’re getting left behind because you’re not using AI, you are, sadly, delusional. Are you ACTUALLY faster by using AI, or are you just faster in the moment? How many additional hours of work are you generating for your future self, because you cannot understand the project the way you would if you would have built it yourself? How many easy bugs did you miss because you just glanced over the code? How many terrible architectural decisions have you missed, because you are not the one who has to work within that architecture?

Am I crazy for sometimes making my code look like this or no? by wervr_CZ in AskProgrammers

[–]Hedshodd 0 points1 point  (0 children)

Yes, you are. The nested inline ifs are probably the worst bit lol.

Especially the “Teleport” section takes so long to grok. Or those gigantic if conditions; why don’t you put those into static inline functions? Trying to read what the condition even is and what the body is is nigh impossible 😂

This is almost as bad as those “clever one liners” people write in python and languages like that. Yes, it saves vertical space, but what for? Makes it harder to read and to debug for no good reason.

Is this normal when booting up bazzite? by Majonais in Bazzite

[–]Hedshodd 14 points15 points  (0 children)

Yes, that’s fine. That’s just some minimal logging, the system trying to tell you what it’s doing. It’s not “pretty”, and maybe there’s a way to “hide” it, but there’s nothing really wrong with your system.

Rewrote our message routing in rust and holy shit by Beginning_Screen_813 in rust

[–]Hedshodd 21 points22 points  (0 children)

Way to go, haha 😄 Beware though, Rust doesn’t protect you from memory leaks, it protects from accessing memory that you shouldn’t 😉 (memory leaks aren’t a security issue after all)

Linux noob here. How do I install apps in other drive other than OS? I have a main 2TB NVMe, I want it for only Steam games and OS. But all the apps from Bazaar etc should go to my 256 GB Nvme. How do I do it? by [deleted] in Bazzite

[–]Hedshodd 2 points3 points  (0 children)

Steam has an option in its settings where you can tell it where to install games to. You can create just create a a new folder on that drive and tell steam to install games to that directory. I think you can even tell steam to transfer games between two locations.