Lukas Tenbrink
Lukas Tenbrink
> Any feedback on this? I feel like I've had too many pending PRs and I'd like to clean up some. Can I do something to get it merged? As...
> What kind of proof are you expecting? I definitely cannot formally verify these code. 😅 Here's what I would do: - Find an example of a function (ideally an...
> I think `LocalVector` is more "correct" than `List` in these place I'm not sure I follow, can you explain why List is incorrect? So far youve only talked performance...
You are making some interesting and valid points. If this is the primary concern behind your PRs, i recommend you gather evidence and / or articles for this to link,...
Superseded by https://github.com/godotengine/godot/pull/113288. Thanks again for all the hard work!
> Here's a profile. Notably I'm finding that a lot of small functions aren't getting inlined .. turns out it is likely because of thread guards, which I created an...
Small update, someone I talked to on Discord (Cre8or) had the same reload issue on Linux, where using absolute `.gdextension` paths broke hot reload (and using relative paths worked around...
Your second suggestion is what I meant (pass the information explicitly from `run-benchmarks.sh`). But I suppose it also doesn't matter that much since the benchmark join script is only executed...
Needs rebase after https://github.com/godotengine/godot-docs/pull/11188.
For quick reference, here's the (current) new version: