Git Product home page Git Product logo

mpr's People

Contributors

mkeeter avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

mpr's Issues

Oracle on the gpu

@mkeeter thank you for publishing this paper and code. On your "future work" slide, you mentioned blackbox oracle support. Would oracle just be a custom shader that bypasses interval evaluation and tape shortening?

Idea: Use uint32_t instead of uint64_t for opcodes

Hi Matt. First of all, impressive work you're doing here :)

I suspect that performance could be improved considerably if each opcode was 32bit instead of 64bit. It seems like the reason they're 64bit is to encode immediate floats or jump positions. What about switching to 32bit opcodes and when an immediate value is expected, the interpreter steps one word forward and reads the immediate at that location, before continuing with the interpreter loop as usual?

mpr/inc/clause.hpp

Lines 22 to 23 in eb63def

#define IMM(d) (((float*)(d))[1])
#define JUMP_TARGET(d) (((int32_t*)(d))[1])

I might try this out soon, but until then this issue can be a place for discussion..

Submodule clone fails

When cloning the repository with all submodules, I get the following error:

C:\Code\mpr2>git clone --recursive https://github.com/mkeeter/mpr
Cloning into 'mpr'...
remote: Enumerating objects: 2693, done.
remote: Counting objects: 100% (2693/2693), done.
remote: Compressing objects: 100% (779/779), done.
Rremote: Total 2693 (delta 1923), reused 2678 (delta 1908), pack-reused 0eceiving objects:  99% (2667/2693), 1.48 MiB | 2.94 MiB/s
Receiving objects: 100% (2693/2693), 1.82 MiB | 3.18 MiB/s, done.
Resolving deltas: 100% (1923/1923), done.
Submodule 'libfive' ([email protected]:libfive/libfive) registered for path 'libfive'
Cloning into 'C:/Code/mpr2/mpr/libfive'...
[email protected]: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
fatal: clone of '[email protected]:libfive/libfive' into submodule path 'C:/Code/mpr2/mpr/libfive' failed

Is the intention to use a git account with a username "git"? Or is there a typical use case I'm unaware of?

Running the following commands on a fork allowed me to pull the submodule without errors:

git config submodule.libfive.url https://github.com/libfive/libfive

git submodule update --recursive --remote

I would make a PR but this modifies .git/config and I'm unsure if/how those sorts of changes can be merged. There also might be another step necessary to push the results to the remote, I'm not sure.

Really nice paper by the way, I'm excited to try out the technique ๐Ÿ™‚

Error: unknown error ../gui/tex.cu 29

Hello! Thanks for your excellent work. I don't know much about your research, but I'm very interested in that. I tried for two days and finally managed to compile and run the code you provided. However, I got stuck in using the gui demo. I compiled and got the 'demo' file. When I run it, I got:

Error: unknown error ../gui/tex.cu 29

which corresponds to the source code

cudaGraphicsResource* register_texture(GLuint t)
{
    cudaGraphicsResource* gl_tex;
    CUDA_CHECK(cudaGraphicsGLRegisterImage(&gl_tex, t, GL_TEXTURE_2D,
                                      cudaGraphicsMapFlagsWriteDiscard)); // this line
    return gl_tex;
}

I tried to delete the function CUDA_CHECK( ) and successfully opened the gui window! But it seems to be all black and no any model. Is this because I deleted that function? What should I do next?
image

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.