Josef

Improve function argument type inference with runtime information.

1

Currently, Ghidra uses nothing but static analysis to decompile executables. However, the assembly is not the only source of valuable information. The other source is the runtime of the executable...

Building a vcpkg manifest cmake project with the tripplet `x86-windows-static` gives the following errors: ``` [build] libzippp_static.lib(libzippp.cpp.obj) : error LNK2038: mismatch detected for 'RuntimeLibrary': value 'MTd_StaticDebug' doesn't match value 'MDd_DynamicDebug'...

A prototype of visualizer of abstract algorithm. Its current form is not optimal, since the plotting library is not very fast and the layout algorithm does not take previous positions...

Y combinator has INET normal form!

8

evaluating `/Y id` reduces to ``` 0 '1:1 0:1 0:2 0:0' 1 '1:2 0:0 1:0 3:1' 2 3 4 5 6 7 8 9 ``` evaluating `Y` reduces to ```...

Could abstract algorithm use information from type system to improve evaluation?

8

Lets take fusion as an example: 1. this fuses ```elm @List.fmap #f /Y #fmap #xs #c #n //xs #x #xs //c /f x /fmap xs n ``` 2. this does...

Improve memory allocation and deallocation strategy.

2

The memory representation can become very sparse after while. You can evaluate `200` with `--dump` to see for yourself. This memory won't be deallocated until the program ends. Thus huge...

Download links not working.

1

Hi, I tried to download your dataset, but none of the links are working for me. It downloads only empty zip archives. Google drives returns 404.

Is it possible to change FPS limit?

3

Based on my observations, openrndr limits its frame rate to 60 FPS. Is it possible to modify this limit?

I have added `targetAll()` into `build.gradle.kts`, and ran `gradlew installAndroidDebug` in root folder. That failed with: ``` > Task :android:processDebugMainManifest [androidx.vectordrawable:vectordrawable-animated:1.0.0] E:\Users\Me\.gradle\caches\transforms-3\ad47d5d093ee26185217a5f91dd5dc1f\transformed\vectordrawable-animated-1.0.0\AndroidManifest.xml Warning: Package name 'androidx.vectordrawable' used in: androidx.vectordrawable:vectordrawable-animated:1.0.0, androidx.vectordrawable:vectordrawable:1.0.0....

Use hlint without adding it to PATH?

1

Could you make it possible to use hlint without adding to path? For example by calling stack exec ? I tried to add ` "haskell.hlint.executablePath": "stack exec hlint"` into my...