Christian Zimmerer

Hi, when I try to add this project as a dependency, I get this error: ``` Error: Error during execution of `cargo metadata`: Updating git repository `https://github.com/yewstack/yewtify` Updating git submodule...

Increase maintainability

2

**Is your feature request related to a problem? Please describe.** I have recently started to use Plover and like it quite a lot. But it has a few problems, thus...

Indirect Branch Tracking is a mitigation against ROP/JOP (Return / Jump oriented programming). It works by only allowing a program to jump to valid branches (to endbr32/endbr64 instructions). Maybe I'll...

Vega 56 crash when using OpenCL

1

When mining with XMRig 6.21.3 on Vega56, the GPU crashes after about 10 seconds. Start xmrig with the following config: ``` "opencl": { "enabled": true, "cache": true, "loader": null, "platform":...

Radxa Zero 3w spec mismatch

1

I read on the Radxa Datasheet that the HDMI out officially only supports up to 1080p60. Do people still get reliable 1080p120 output or are there issues?

signing command mysteriously removes matched square brackets and everything in between

1

### OS Windows 10.0.26100 ### Programming Language any ### VPK Version 0.0.1298 ### Library Version any ### What happened? When signing our own library, we sign our library with a...

Improve performance of CreateSharedString by using std::unordered_set instead of std::set

2

The current implementation of CreateSharedString uses `std::set`, which has logarithmic `find` runtime. In practice, this is very slow and infeasible if used for many strings. In contrast, `std::unordered_set` has an...

When using e.g. Lean4-mode, it is often the case that one wants to update the proof state window by moving the cursor without changing the source. This is way less...

When the log level is not one of [Verbose, Debug, Information, Warning, Error, Fatal], the input file cannot be parsed and the user is presented with an endless spinner. **To...