Giter Club home page Giter Club logo

clsl's Introduction

  • 👋 Hi, I’m Kristin Rutenkolk (sometimes wiredaemon on the internet)

    I'm currently a CS phd student a the Heinrich Heine University of Düsseldorf in Germany working at the chair of Software Engineering and Programming Languages .

  • 👀 I’m interested among other things in:

    • formal methods

    • programming languages

    • functional programming

    • logic programming

    • gpu programming (Cuda, halide, OpenGL, Vulkan(not if I can choose))

    • exact real arithmetic

    • self-validating numerical methods such as:

      • Interval arithmetic
      • ball arithmetic
      • affine arithmetic
      • others

    • real constraint solving (such as ibex-lib)

    • current programming languages of choice (roughly in order):

      • f#
      • clojure
      • java
      • prolog
      • zig
      • c++

I have a twitter but I'm no longer very active there.

I mostly post stuff about what I work on and other related things on my cohost.

clsl's People

Contributors

wiredaemon avatar

Stargazers

avatar avatar avatar avatar

clsl's Issues

Infer output type

The fragment shader output type should be inferred from the type of the expression. A hardcoded type is wrong and inflexible. OpenGL is quite lax about using vec3/vec4 for example and internally converting it to RGBA is pretty much the default case.

Also the infer does not yet work in general and the type system needs to be fully implemented for this to work.

glEnable Invalid Enum

currently this call:

(glEnable GL_TEXTURE_2D)

causes an OpenGL error (1280 : Invalid Enum) to be set. Therefore as a workaround glGetError is called and the error discarded as everything works just as expected. Nevertheless this should be examined more carefully in the future. There may be a bug somewhere, or this is simply a driver issue. This should be examined on different drivers/cards.

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.