Stephan Gocht

"Den Reflexionsstrah r, der auch für rekursives Raytracing verwendet wird." Es gibt doch auch bei Brechung einen reflektierten anteil (Stichwort Fresnel-Effekt) diesen muss man ja mithilfe eines neuen Strahls (rekursiv)...

In 2D hat man einfach ein einfach kästchenpapier und darauf dreiecke. Für jedes kästchen merkt man sich welche dreiecke dort sind: Das kästchen liegt komplett im Dreieck oder eine Kante...

Die Inverse von matO2W ist doch gerade matW2O, sie muss also nicht berechnet werden. Aber es ist wirklich nicht ganz klar ob das transformationsmatrixen für normalen oder vektoren sind.

Just bumping the version number https://github.com/loiclec/fuzzcheck-rs/blob/9077693abd90bb44955ed008749b5902acfa65bd/fuzzcheck/src/code_coverage_sensor/llvm_coverage.rs#L710 does not seem to be sufficient.

In case it is of interest I made a python implementation for PB + CNF that also supports padding and length information so that the solutions can be checked against...

By default, functions are assumed to have no side effect. You are not using the return value of printf. Hence, the programs are equal because the side effect of printing...

You can probably just setup a reverse proxy with nginx or the like, there is usually no reason to implement this kind of stuff on the application side.

I also think this is a good feature, I started using xournal++ to draft calculations and figures for my papers and exporting selections would make it easy to integrate these...