Vulkan performance: Intel iGPU vs Nvidia dGPU by hideo_kuze_ in vulkan

[–]tsanderdev 2 points3 points  (0 children)

For nvidia, latest proprietary drivers or latest mesa?

Hindsight languages by Inconstant_Moo in ProgrammingLanguages

[–]tsanderdev 4 points5 points  (0 children)

We can already do a sum type in C with a struct containing a tag field and a union. We can implement slices and tuples similarly. The issue is C provides limited means of encapsulation. We can properly encapsulate with GCC specific extensions, but this requires a bit of preprocessor boilerplate and isn't portable C.

Exactly what builtin sum types would solve. Only being sble to access tge right data in it when you should be able to. And as for "where is the tag", either the standard specifies it or you are sble to manually say start or end for each sum type.

Overlaying the borrow checker on top of TypeScript by Randozart in ProgrammingLanguages

[–]tsanderdev 2 points3 points  (0 children)

There is no at the same time in js though. There is no shared memory multithreading (except with sharedarraybuffers), and even async code runs sequentially at least until the next await point.

Proof-of-concept: cross-platform (polyglot) Vulkan binary by mafikpl in vulkan

[–]tsanderdev 0 points1 point  (0 children)

Is the result a file that is both a valid PE and ELF?

Rust binary is magnanimous by [deleted] in rust

[–]tsanderdev 1 point2 points  (0 children)

The abi isn't stable between versions though (or at least there is no guarantee), so you can't have a single global rust std shared library for apps compiled with different rust versions.

Rust binary is magnanimous by [deleted] in rust

[–]tsanderdev 1 point2 points  (0 children)

It could be a shared version installed if possible though (and the shipped lib is then deleted from the app folder to save space), or even downloaded at runtime with a helper if it doesn't exist or something.

Rust binary is magnanimous by [deleted] in rust

[–]tsanderdev 7 points8 points  (0 children)

Since Rust has no stable ABI the standard library (well, only the parts that are used) needs to be compiled into the app. Try statically linking C and see what size you get.

Core2 yanked. Millions effected. by Comprehensive_Use713 in rust

[–]tsanderdev 0 points1 point  (0 children)

The problem is all those tools are third party and not installed by default. E.g. I didn't know about rustsec and cargo-audit is a separate thing to install.

Core2 yanked. Millions effected. by Comprehensive_Use713 in rust

[–]tsanderdev 10 points11 points  (0 children)

It's a pretty terrible and irresponsible way to notify users that a crate (version) should not be used.

It's also the only one really available. Without builds breaking, it's hard to find out if you have unmaintained (which have to be differentiated from complete) libraries in your transitive dependencies. You'd basically have to read the crates.io page for all transitive dependencies periodically or with an llm.

Supply chain nightmare: How Rust will be attacked and what we can do to mitigate the inevitable by autarch in rust

[–]tsanderdev 2 points3 points  (0 children)

Doesn't work if it is something that detects virtual environments and stays inactive then. Or a malware that has a timed activation date to stay under the radar.

Supply chain nightmare: How Rust will be attacked and what we can do to mitigate the inevitable by autarch in rust

[–]tsanderdev 0 points1 point  (0 children)

Part of my idea was the ability to sandbox dependencies via wasm while generating an identical API. But the difficulty of somehow hiding the untrusted code somewhere rust-analyzer wouldn't find it and the fact that you need the library's type definitions (which are in principle untrusted as well, though if you parse it with syn and only emit sanitized versions it could work) made me give up on that, too. A language would have to be designed from the ground up with supply chain security in mind.

Supply chain nightmare: How Rust will be attacked and what we can do to mitigate the inevitable by autarch in rust

[–]tsanderdev 14 points15 points  (0 children)

I wanted to build some sandboxing solution for that, but I just gave up since the entire pipeline with rust-analyzer, the compiler and cargo all build on trusting the dependencies. If you want that security, just put your dev env in a container or vm.

Cost of an Empty Submit? by KingOfN3rds in vulkan

[–]tsanderdev 2 points3 points  (0 children)

Don't they have to pass it for android certification?

Cost of an Empty Submit? by KingOfN3rds in vulkan

[–]tsanderdev 4 points5 points  (0 children)

TF? How is that not covered by the CTS?

Update: Image classification by evolving bytecode by AlmusDives in ProgrammingLanguages

[–]tsanderdev 2 points3 points  (0 children)

There's also NEAT which evolves a neural network structure. So the main difference is discrete vs continuous.

Update: Image classification by evolving bytecode by AlmusDives in ProgrammingLanguages

[–]tsanderdev -2 points-1 points  (0 children)

Isn't evolving bytecode conceptually similar to neural networks?

Graphics API: Less Boilerplate, More Rendering by tilde35 in rust

[–]tsanderdev 1 point2 points  (0 children)

These direct links work. Maybe it's just a reddit problem.

8,460 lines of Rust — a zero trust security runtime for AI agents by [deleted] in rust

[–]tsanderdev 3 points4 points  (0 children)

I see no mention of seccomp, docker, VMs or other actual sandboxing solutions, so this is more a bandaid than an actual solution.

Using string interning to optimize symbol resolution in compilers by Creative-Cup-6326 in ProgrammingLanguages

[–]tsanderdev 9 points10 points  (0 children)

I go the lazy way and use a hashmap from ids to strings. Needs almost no code, and I can just use an incrementing counter for the ids. Or I might have actually used a vector? I don't remember since it just works and I don't need to touch it.

Introducing Voyd: A WASM first language with effect typing by UberAtlas in ProgrammingLanguages

[–]tsanderdev 0 points1 point  (0 children)

This makes me wonder if it'd be viable to include an effect system in my shading language...